diff options
author | Cyril Cohen <cohen@crans.org> | 2020-03-03 14:10:12 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-03-03 14:57:42 +0100 |
commit | 66a7f5d4e2f6a1eb9d28c0de18b11917dd64d9ad (patch) | |
tree | 324ad34764679bacc874ab0887bd8857cb0e1246 /pkgs/development/coq-modules/coq-elpi | |
parent | 4c00e6f654a7cf3c40eab91f1b9a079660d87988 (diff) | |
download | nixpkgs-66a7f5d4e2f6a1eb9d28c0de18b11917dd64d9ad.tar nixpkgs-66a7f5d4e2f6a1eb9d28c0de18b11917dd64d9ad.tar.gz nixpkgs-66a7f5d4e2f6a1eb9d28c0de18b11917dd64d9ad.tar.bz2 nixpkgs-66a7f5d4e2f6a1eb9d28c0de18b11917dd64d9ad.tar.lz nixpkgs-66a7f5d4e2f6a1eb9d28c0de18b11917dd64d9ad.tar.xz nixpkgs-66a7f5d4e2f6a1eb9d28c0de18b11917dd64d9ad.tar.zst nixpkgs-66a7f5d4e2f6a1eb9d28c0de18b11917dd64d9ad.zip |
elpi: 1.7.0 -> 1.10.2; coq-elpi: 1.1 -> 1.3
Diffstat (limited to 'pkgs/development/coq-modules/coq-elpi')
-rw-r--r-- | pkgs/development/coq-modules/coq-elpi/default.nix | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/coq-elpi/default.nix b/pkgs/development/coq-modules/coq-elpi/default.nix index 56aa005c4a9..0dd8817ab3f 100644 --- a/pkgs/development/coq-modules/coq-elpi/default.nix +++ b/pkgs/development/coq-modules/coq-elpi/default.nix @@ -2,9 +2,14 @@ let params = { "8.10" = rec { - version = "1.1.0"; + version = "1.3.0"; rev = "v${version}"; - sha256 = "06jyw7n27ylg02jvlaa3hs13hg8qgx47yn4dxhg9as1xri9a2rvm"; + sha256 = "1bbadh4qmsm0c5qw41apf4k8va6d44rpw294mc6pg556nmma87ra"; + }; + "8.11" = rec { + version = "1.3.1"; + rev = "v${version}"; + sha256 = "06dg0i1jay9anhx68jfki5qs2g481n3s4q3m124qniyadlx80bh3"; }; }; param = params.${coq.coq-version}; |