commit 3dc4f36d151ff7acc94e66af31a5364956bd5377
Author: Denis Buzdalov <public@buzden.ru>
Date: Wed Dec 30 19:21:19 2020 +0300

Patch was removed because is was merged to the upstream.

commit e7def2a36bee47ca11743d9d4102cb5901e8682d
Author: Denis Buzdalov <public@buzden.ru>
Date: Tue Oct 6 13:44:08 2020 +0300

Idris2-vim was updated a bit.

commit a35bee5d3c188f633d4f5d13449a190706791a80
Author: Denis Buzdalov <public@buzden.ru>
Date: Tue May 19 18:53:19 2020 +0300

Vim mode for Idris 2 was added.