1 files changed, 1 insertions, 0 deletions
diff --git a/build b/build
index 712d39d0..77f97eb3 100755
--- a/build
+++ b/build
@@ -196,6 +196,7 @@ PACKS="
   haxe:yaymukund/vim-haxe
   html5:othree/html5.vim
   i3:mboughaba/i3config.vim
+  idris:idris-hackers/idris-vim
   jasmine:glanotte/vim-jasmine
   javascript:pangloss/vim-javascript:_JAVASCRIPT
   jenkins:martinda/Jenkinsfile-vim-syntax