diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-12-09 08:32:51 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-12-15 21:13:40 +0100 |
| commit | de8205f8bb2c6ca14730b00ba3a280db1d364b40 (patch) | |
| tree | 8ba5dfed4fbf69b5c4001b0113ac571f12e8fce2 /pkgs/development/coq-modules | |
| parent | 75b1ba928a1c76f566699fa123ff6d6c2fd74a69 (diff) | |
| download | nixlib-de8205f8bb2c6ca14730b00ba3a280db1d364b40.tar nixlib-de8205f8bb2c6ca14730b00ba3a280db1d364b40.tar.gz nixlib-de8205f8bb2c6ca14730b00ba3a280db1d364b40.tar.bz2 nixlib-de8205f8bb2c6ca14730b00ba3a280db1d364b40.tar.lz nixlib-de8205f8bb2c6ca14730b00ba3a280db1d364b40.tar.xz nixlib-de8205f8bb2c6ca14730b00ba3a280db1d364b40.tar.zst nixlib-de8205f8bb2c6ca14730b00ba3a280db1d364b40.zip | |
coq_8_13: init at 8.13+β1
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/bignums/default.nix | 4 | ||||
| -rw-r--r-- | pkgs/development/coq-modules/mathcomp/default.nix | 4 |
2 files changed, 7 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/bignums/default.nix b/pkgs/development/coq-modules/bignums/default.nix index 7246382c9aed..f0434c4ae471 100644 --- a/pkgs/development/coq-modules/bignums/default.nix +++ b/pkgs/development/coq-modules/bignums/default.nix @@ -29,6 +29,10 @@ let params = { rev = "V8.12.0"; sha256 = "14ijb3qy2hin3g4djx437jmnswxxq7lkfh3dwh9qvrds9a015yg8"; }; + "8.13" = { + rev = "V8.13.0"; + sha256 = "1n66i7hd9222b2ks606mak7m4f0dgy02xgygjskmmav6h7g2sx7y"; + }; }; param = params.${coq.coq-version}; in diff --git a/pkgs/development/coq-modules/mathcomp/default.nix b/pkgs/development/coq-modules/mathcomp/default.nix index 8cf502a1943b..542fac861c58 100644 --- a/pkgs/development/coq-modules/mathcomp/default.nix +++ b/pkgs/development/coq-modules/mathcomp/default.nix @@ -66,6 +66,7 @@ let ####################################################################### # sha256 of released mathcomp versions sha256 = { + "1.12.0" = "1ccfny1vwgmdl91kz5xlmhq4wz078xm4z5wpd0jy5rn890dx03wp"; "1.11.0" = "06a71d196wd5k4wg7khwqb7j7ifr7garhwkd54s86i0j7d6nhl3c"; "1.11+beta1" = "12i3zznwajlihzpqsiqniv20rklj8d8401lhd241xy4s21fxkkjm"; "1.10.0" = "1b9m6pwxxyivw7rgx82gn5kmgv2mfv3h3y0mmjcjfypi8ydkrlbv"; @@ -76,6 +77,7 @@ let }; # versions of coq compatible with released mathcomp versions coq-versions = { + "1.12.0" = flip elem [ "8.13" ]; "1.11.0" = flip elem [ "8.7" "8.8" "8.9" "8.10" "8.11" "8.12" ]; "1.11+beta1" = flip elem [ "8.7" "8.8" "8.9" "8.10" "8.11" "8.12" ]; "1.10.0" = flip elem [ "8.7" "8.8" "8.9" "8.10" "8.11" ]; @@ -96,7 +98,7 @@ let # mathcomp preferred versions by decreasing order # (the first version in the list will be tried first) version-preferences = - [ "1.10.0" "1.11.0" "1.9.0" "1.8.0" "1.7.0" "1.6.1" ]; + [ "1.12.0" "1.10.0" "1.11.0" "1.9.0" "1.8.0" "1.7.0" "1.6.1" ]; # list of core mathcomp packages sorted by dependency order packages = _version: # unused in current versions of mathcomp |