diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-05-07 08:38:46 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-05-10 18:57:58 +0200 |
| commit | bcbf6aafbd02538567f818649b0897b03784ed0c (patch) | |
| tree | 9ab711214ba66ea8b60412f80ac0e2008fbd5d13 /pkgs/development/coq-modules/metalib | |
| parent | 67dfd53485b93995048dfe5e1f32b8b57a77005a (diff) | |
| download | nixpkgs-bcbf6aafbd02538567f818649b0897b03784ed0c.tar nixpkgs-bcbf6aafbd02538567f818649b0897b03784ed0c.tar.gz nixpkgs-bcbf6aafbd02538567f818649b0897b03784ed0c.tar.bz2 nixpkgs-bcbf6aafbd02538567f818649b0897b03784ed0c.tar.lz nixpkgs-bcbf6aafbd02538567f818649b0897b03784ed0c.tar.xz nixpkgs-bcbf6aafbd02538567f818649b0897b03784ed0c.tar.zst nixpkgs-bcbf6aafbd02538567f818649b0897b03784ed0c.zip | |
coqPackages.metalib: enable for Coq 8.13
Diffstat (limited to 'pkgs/development/coq-modules/metalib')
| -rw-r--r-- | pkgs/development/coq-modules/metalib/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/metalib/default.nix b/pkgs/development/coq-modules/metalib/default.nix index 3ce3c625d26..14f1bab574a 100644 --- a/pkgs/development/coq-modules/metalib/default.nix +++ b/pkgs/development/coq-modules/metalib/default.nix @@ -4,7 +4,7 @@ with lib; mkCoqDerivation { pname = "metalib"; owner = "plclub"; inherit version; - defaultVersion = if versions.range "8.10" "8.12" coq.coq-version then "20200527" else null; + defaultVersion = if versions.range "8.10" "8.13" coq.coq-version then "20200527" else null; release."20200527".rev = "597fd7d0c93eb159274e84a39d554f10f1efccf8"; release."20200527".sha256 = "0wbypc05d2lqfm9qaw98ynr5yc1p0ipsvyc3bh1rk9nz7zwirmjs"; |