coqPackages.simple-io: enable for Coq 8.13

This commit is contained in:
Lars Rasmusson 2021-04-14 09:38:36 +02:00 committed by Vincent Laporte
parent 38c34b4304
commit cba2770893

View file

@ -5,7 +5,7 @@ with lib; mkCoqDerivation {
owner = "Lysxia";
repo = "coq-simple-io";
inherit version;
defaultVersion = if versions.range "8.7" "8.12" coq.coq-version then "1.3.0" else null;
defaultVersion = if versions.range "8.7" "8.13" coq.coq-version then "1.3.0" else null;
release."1.3.0".sha256 = "1yp7ca36jyl9kz35ghxig45x6cd0bny2bpmy058359p94wc617ax";
extraBuildInputs = (with coq.ocamlPackages; [ ocaml ocamlbuild ]);
propagatedBuildInputs = [ coq-ext-lib ];