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/bignums | |
parent | 75b1ba928a1c76f566699fa123ff6d6c2fd74a69 (diff) | |
download | nixpkgs-de8205f8bb2c6ca14730b00ba3a280db1d364b40.tar nixpkgs-de8205f8bb2c6ca14730b00ba3a280db1d364b40.tar.gz nixpkgs-de8205f8bb2c6ca14730b00ba3a280db1d364b40.tar.bz2 nixpkgs-de8205f8bb2c6ca14730b00ba3a280db1d364b40.tar.lz nixpkgs-de8205f8bb2c6ca14730b00ba3a280db1d364b40.tar.xz nixpkgs-de8205f8bb2c6ca14730b00ba3a280db1d364b40.tar.zst nixpkgs-de8205f8bb2c6ca14730b00ba3a280db1d364b40.zip |
coq_8_13: init at 8.13+β1
Diffstat (limited to 'pkgs/development/coq-modules/bignums')
-rw-r--r-- | pkgs/development/coq-modules/bignums/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/bignums/default.nix b/pkgs/development/coq-modules/bignums/default.nix index 7246382c9ae..f0434c4ae47 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 |