nix

Author: gares

.nix/coq-overlays/coq-elpi/default.nix

@@ -10,6 +10,7 @@ with builtins; with lib; let
     { case = "8.16"; out = { version = "1.17.0"; };}
     { case = "8.17"; out = { version = "1.17.0"; };}
     { case = "8.18"; out = { version = "v1.18.1"; };}
+    { case = "8.19"; out = { version = "v1.18.1"; };}
   ] {} );
 in mkCoqDerivation {
   pname = "elpi";