diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-01-20 12:35:41 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-01-25 15:24:08 +0100 |
| commit | 4b7398fe10b631aa31eefcbfa711cd694c1ce04f (patch) | |
| tree | 7e42f50b8ffaeab0cb8696de8131a9f23a351254 /pkgs/development/coq-modules | |
| parent | f18e7420793666fa52d832145f7d33ea7b51d2e6 (diff) | |
| download | nixpkgs-4b7398fe10b631aa31eefcbfa711cd694c1ce04f.tar nixpkgs-4b7398fe10b631aa31eefcbfa711cd694c1ce04f.tar.gz nixpkgs-4b7398fe10b631aa31eefcbfa711cd694c1ce04f.tar.bz2 nixpkgs-4b7398fe10b631aa31eefcbfa711cd694c1ce04f.tar.lz nixpkgs-4b7398fe10b631aa31eefcbfa711cd694c1ce04f.tar.xz nixpkgs-4b7398fe10b631aa31eefcbfa711cd694c1ce04f.tar.zst nixpkgs-4b7398fe10b631aa31eefcbfa711cd694c1ce04f.zip | |
coqPackages_8_15.equations: init at 1.3+8.15
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/equations/default.nix | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/pkgs/development/coq-modules/equations/default.nix b/pkgs/development/coq-modules/equations/default.nix index f563d172874..16b358b7377 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.14"; out = "1.3-8.14"; } - { case = "8.13"; out = "1.3-8.13"; } + { case = "8.15"; out = "1.3+8.15"; } + { case = "8.14"; out = "1.3+8.14"; } + { case = "8.13"; out = "1.3+8.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"; } @@ -44,10 +45,12 @@ with lib; mkCoqDerivation { 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"; - release."1.3-8.13".rev = "v1.3-8.13"; - release."1.3-8.13".sha256 = "1jwjbkkkk4bwf6pz4zzz8fy5bb17aqyf4smkja59rgj9ya6nrdhg"; - release."1.3-8.14".rev = "v1.3-8.14"; - release."1.3-8.14".sha256 = "19bj9nncd1r9g4273h5qx35gs3i4bw5z9bhjni24b413hyj55hkv"; + release."1.3+8.13".rev = "v1.3-8.13"; + release."1.3+8.13".sha256 = "1jwjbkkkk4bwf6pz4zzz8fy5bb17aqyf4smkja59rgj9ya6nrdhg"; + release."1.3+8.14".rev = "v1.3-8.14"; + release."1.3+8.14".sha256 = "19bj9nncd1r9g4273h5qx35gs3i4bw5z9bhjni24b413hyj55hkv"; + release."1.3+8.15".rev = "v1.3-8.15"; + release."1.3+8.15".sha256 = "1vfcfpsp9zyj0sw0cwibk76nj6n0r6gwh8m1aa3lbvc0b1kbm32k"; mlPlugin = true; preBuild = "coq_makefile -f _CoqProject -o Makefile"; |