diff options
Diffstat (limited to 'pkgs/development/coq-modules/metalib/default.nix')
| -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 138f077a518f..3d78a8c1d05c 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"; |