diff options
| author | Enrico Tassi <Enrico.Tassi@Inria.fr> | 2022-06-30 13:40:36 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-08-31 19:00:56 +0200 |
| commit | e50697278bf4ff7a1dfc30cbb44f17832d1d1250 (patch) | |
| tree | 626a7ae013b5d084d99ead919675b36cf4707932 /pkgs/development/coq-modules/mathcomp/default.nix | |
| parent | 658cde9a8bc2faa14b9ac0612dc0b1c33575f5c3 (diff) | |
| download | nixpkgs-e50697278bf4ff7a1dfc30cbb44f17832d1d1250.tar nixpkgs-e50697278bf4ff7a1dfc30cbb44f17832d1d1250.tar.gz nixpkgs-e50697278bf4ff7a1dfc30cbb44f17832d1d1250.tar.bz2 nixpkgs-e50697278bf4ff7a1dfc30cbb44f17832d1d1250.tar.lz nixpkgs-e50697278bf4ff7a1dfc30cbb44f17832d1d1250.tar.xz nixpkgs-e50697278bf4ff7a1dfc30cbb44f17832d1d1250.tar.zst nixpkgs-e50697278bf4ff7a1dfc30cbb44f17832d1d1250.zip | |
mathcomp: 1.14.0 -> 1.15.0
Diffstat (limited to 'pkgs/development/coq-modules/mathcomp/default.nix')
| -rw-r--r-- | pkgs/development/coq-modules/mathcomp/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/mathcomp/default.nix b/pkgs/development/coq-modules/mathcomp/default.nix index a5cef76a6d7..7be30844eb0 100644 --- a/pkgs/development/coq-modules/mathcomp/default.nix +++ b/pkgs/development/coq-modules/mathcomp/default.nix @@ -19,6 +19,7 @@ let owner = "math-comp"; withDoc = single && (args.withDoc or false); defaultVersion = with versions; switch coq.coq-version [ + { case = range "8.14" "8.16"; out = "1.15.0"; } { case = range "8.11" "8.15"; out = "1.14.0"; } { case = range "8.11" "8.15"; out = "1.13.0"; } { case = range "8.10" "8.13"; out = "1.12.0"; } @@ -30,6 +31,7 @@ let { case = range "8.5" "8.7"; out = "1.6.4"; } ] null; release = { + "1.15.0".sha256 = "1bp0jxl35ms54s0mdqky15w9af03f3i0n06qk12k4gw1xzvwqv21"; "1.14.0".sha256 = "07yamlp1c0g5nahkd2gpfhammcca74ga2s6qr7a3wm6y6j5pivk9"; "1.13.0".sha256 = "0j4cz2y1r1aw79snkcf1pmicgzf8swbaf9ippz0vg99a572zqzri"; "1.12.0".sha256 = "1ccfny1vwgmdl91kz5xlmhq4wz078xm4z5wpd0jy5rn890dx03wp"; |