diff options
| author | Lars Rasmusson <Lars.Rasmusson@ri.se> | 2021-04-14 10:57:51 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-04-14 13:45:56 +0200 |
| commit | 7fc935db120dd1d88e95f5de127478a469b99eb3 (patch) | |
| tree | 1cd85f8f51a6a372db11ba5c8c4ee3e2b6b30767 /pkgs/development/coq-modules | |
| parent | 950e92cac195f15a5be1f83ed164325f2ef6dab3 (diff) | |
| download | nixpkgs-7fc935db120dd1d88e95f5de127478a469b99eb3.tar nixpkgs-7fc935db120dd1d88e95f5de127478a469b99eb3.tar.gz nixpkgs-7fc935db120dd1d88e95f5de127478a469b99eb3.tar.bz2 nixpkgs-7fc935db120dd1d88e95f5de127478a469b99eb3.tar.lz nixpkgs-7fc935db120dd1d88e95f5de127478a469b99eb3.tar.xz nixpkgs-7fc935db120dd1d88e95f5de127478a469b99eb3.tar.zst nixpkgs-7fc935db120dd1d88e95f5de127478a469b99eb3.zip | |
coqPackages.equations: 1.2.3 → 1.2.4
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/equations/default.nix | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/equations/default.nix b/pkgs/development/coq-modules/equations/default.nix index 352222e8aa6..d19d3826c74 100644 --- a/pkgs/development/coq-modules/equations/default.nix +++ b/pkgs/development/coq-modules/equations/default.nix @@ -6,8 +6,9 @@ with lib; mkCoqDerivation { repo = "Coq-Equations"; inherit version; defaultVersion = switch coq.coq-version [ - { case = "8.12"; out = "1.2.3+coq8.12"; } - { case = "8.11"; out = "1.2.3+coq8.11"; } + { case = "8.13"; out = "1.2.4+coq8.13"; } + { case = "8.12"; out = "1.2.4+coq8.12"; } + { case = "8.11"; out = "1.2.4+coq8.11"; } { case = "8.10"; out = "1.2.1+coq8.10-2"; } { case = "8.9"; out = "1.2.1+coq8.9"; } { case = "8.8"; out = "1.2+coq8.8"; } @@ -36,6 +37,12 @@ with lib; mkCoqDerivation { release."1.2.3+coq8.12".version = "1.2.3"; release."1.2.3+coq8.12".rev = "v1.2.3-8.12"; release."1.2.3+coq8.12".sha256 = "1y0jkvzyz5ssv5vby41p1i8zs7nsdc8g3pzyq73ih9jz8h252643"; + release."1.2.4+coq8.11".rev = "v1.2.4-8.11"; + release."1.2.4+coq8.11".sha256 = "01fihyav8jbjinycgjc16adpa0zy5hcav5mlkf4s9zvqxka21i52"; + release."1.2.4+coq8.12".rev = "v1.2.4-8.12"; + release."1.2.4+coq8.12".sha256 = "1n0w8is464qcq8mk2mv7amaf0khbjz5mpc9phf0rhpjm0lb22cb3"; + release."1.2.4+coq8.13".rev = "v1.2.4-8.13"; + release."1.2.4+coq8.13".sha256 = "0i014lshsdflzw6h0qxra9d2f0q82vffxv2f29awbb9ad0p4rq4q"; mlPlugin = true; preBuild = "coq_makefile -f _CoqProject -o Makefile"; |