summaryrefslogtreecommitdiffstats
path: root/pkgs/development/coq-modules
diff options
context:
space:
mode:
authorCyril Cohen <cohen@crans.org>2020-08-08 00:36:01 +0200
committerVincent Laporte <vbgl@users.noreply.github.com>2020-08-11 13:49:51 +0200
commit084d5c0b8c1ca63330538e26a5a7870b5e2f8862 (patch)
tree8200546ef01d96731eaf5f79bb3edc854f4441c9 /pkgs/development/coq-modules
parentca9cd4e7b8b5faba27da476e4d79ffb258794212 (diff)
coq-elpi: 1.4.1 -> 1.5.1
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r--pkgs/development/coq-modules/coq-elpi/default.nix9
-rw-r--r--pkgs/development/coq-modules/hierarchy-builder/default.nix9
2 files changed, 12 insertions, 6 deletions
diff --git a/pkgs/development/coq-modules/coq-elpi/default.nix b/pkgs/development/coq-modules/coq-elpi/default.nix
index 3857146ea605..e58e51c63aee 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.11" = rec {
- version = "1.4.1";
+ version = "1.5.0";
rev = "v${version}";
- sha256 = "12jwldcianai62y9jnghsjfya5dj6fvc6ilf37c7w037kylx45sd";
+ sha256 = "0dlw869j6ib58i8fhbr7x3hq2cy088arihhfanv8i08djqml6g8x";
+ };
+ "8.12" = rec {
+ version = "1.5.1";
+ rev = "v${version}";
+ sha256 = "1znjc8c8rivsawmz5bgm9ddl69p62p2pwxphvpap1gfmi5cp8lwi";
};
};
param = params.${coq.coq-version};
diff --git a/pkgs/development/coq-modules/hierarchy-builder/default.nix b/pkgs/development/coq-modules/hierarchy-builder/default.nix
index ed14217d4f35..9be8459ee9f0 100644
--- a/pkgs/development/coq-modules/hierarchy-builder/default.nix
+++ b/pkgs/development/coq-modules/hierarchy-builder/default.nix
@@ -2,14 +2,15 @@
let
versions = {
- "0.9.1" = {
- rev = "v0.9.1";
- sha256 = "00fibahkmvisr16ffaxfrc00gcijsv9rgk4v8ibmy1jv0iyk875b";
+ "0.10.0" = {
+ rev = "v0.10.0";
+ sha256 = "1a3vry9nzavrlrdlq3cys3f8kpq3bz447q8c4c7lh2qal61wb32h";
};
};
version = x: versions.${x} // {version = x;};
params = {
- "8.11" = version "0.9.1";
+ "8.11" = version "0.10.0";
+ "8.12" = version "0.10.0";
};
param = params.${coq.coq-version};
in