diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-09-28 09:08:28 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-10-05 13:38:03 +0200 |
| commit | a2c917865f4939150fef94f2323148e0d1e0e5bb (patch) | |
| tree | 29daf685c82489c767e9ae3d8ae2da231eae615a | |
| parent | 8f8a7d89b6f3be2189ac4621f4c00efc3cfd10aa (diff) | |
| download | nixpkgs-a2c917865f4939150fef94f2323148e0d1e0e5bb.tar nixpkgs-a2c917865f4939150fef94f2323148e0d1e0e5bb.tar.gz nixpkgs-a2c917865f4939150fef94f2323148e0d1e0e5bb.tar.bz2 nixpkgs-a2c917865f4939150fef94f2323148e0d1e0e5bb.tar.lz nixpkgs-a2c917865f4939150fef94f2323148e0d1e0e5bb.tar.xz nixpkgs-a2c917865f4939150fef94f2323148e0d1e0e5bb.tar.zst nixpkgs-a2c917865f4939150fef94f2323148e0d1e0e5bb.zip | |
coqPackages.mathcomp-word: 1.1 → 2.0
| -rw-r--r-- | pkgs/development/coq-modules/mathcomp-word/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/mathcomp-word/default.nix b/pkgs/development/coq-modules/mathcomp-word/default.nix index 69735c801ed..5f34434b50f 100644 --- a/pkgs/development/coq-modules/mathcomp-word/default.nix +++ b/pkgs/development/coq-modules/mathcomp-word/default.nix @@ -10,12 +10,13 @@ mkCoqDerivation { releaseRev = v: "v${v}"; + release."2.0".sha256 = "sha256-x9AEFadlYiIIOxAhjv4Vc/dxdRZC7AdWQ6AByvLOFDk="; release."1.1".sha256 = "sha256:0jb28vgkr4xpg9d6k85rq7abpx5ch612iw9ps5w8q80q1jpjlc4z"; release."1.0".sha256 = "sha256:0703m97rnivcbc7vvbd9rl2dxs6l8n52cbykynw61c6w9rhxspcg"; inherit version; defaultVersion = with versions; switch [ coq.version mathcomp.version ] [ - { cases = [ (range "8.12" "8.16") (isGe "1.12") ]; out = "1.1"; } + { cases = [ (range "8.12" "8.16") (isGe "1.12") ]; out = "2.0"; } ] null; propagatedBuildInputs = [ mathcomp.algebra mathcomp.ssreflect mathcomp.fingroup ]; |