coqPackages.metalib: enable for Coq 8.13

This commit is contained in:
Vincent Laporte 2021-05-07 08:38:46 +02:00 committed by Vincent Laporte
parent 67dfd53485
commit bcbf6aafbd

View file

@ -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";