Commit 1932f502 authored by Pierre Roux's avatar Pierre Roux
Browse files

Fixing coqPackages_8_19.coq-elpi 

Was missing the elpi version
parent b5989696

pkgs/development/coq-modules/coq-elpi/default.nix

+1 −0
Original line number Diff line number Diff line
@@ -10,6 +10,7 @@ let 
    { case = "8.16"; out = { version = "1.17.0"; };}

    { case = "8.17"; out = { version = "1.17.0"; };}

    { case = "8.18"; out = { version = "1.18.1"; };}

    { case = "8.19"; out = { version = "1.18.1"; };}

    { case = "8.20"; out = { version = "1.19.2"; };}

  ] {} );

in (mkCoqDerivation {