diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-09-08 18:05:52 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-09-08 18:05:52 +0200 |
commit | 557f5ee714476918762c69c3bf01d087b970e9a2 (patch) | |
tree | 8e9a5f152f0bc09825708479942aef4705f17eb1 | |
parent | 773feb68807dc24f8f1b32c8ee1cf4bc209f0982 (diff) |
coqPackages.trakt: enable for Coq 8.16
-rw-r--r-- | pkgs/development/coq-modules/trakt/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/trakt/default.nix b/pkgs/development/coq-modules/trakt/default.nix index 96ba2f808a3b0..f10e69cc4e90a 100644 --- a/pkgs/development/coq-modules/trakt/default.nix +++ b/pkgs/development/coq-modules/trakt/default.nix @@ -10,7 +10,7 @@ mkCoqDerivation { inherit version; defaultVersion = with versions; switch [ coq.version ] [ - { cases = [ (range "8.13" "8.15") ]; out = "1.0"; } + { cases = [ (range "8.13" "8.16") ]; out = "1.0"; } ] null; propagatedBuildInputs = [ coq-elpi ]; |