diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-09-08 18:06:55 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-09-08 18:06:55 +0200 |
| commit | 0f25d8a02d25ff50ccd8a19c45793f759c9f074f (patch) | |
| tree | b9a2af00c8d0aa4b7d42f271d4ef807e39de7952 | |
| parent | 6791c185dd63473b3670dff791cec4f85469d24e (diff) | |
coqPackages.coq-bits: enable for Coq 8.16
| -rw-r--r-- | pkgs/development/coq-modules/coq-bits/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/coq-bits/default.nix b/pkgs/development/coq-modules/coq-bits/default.nix index 4f284e7c94926..a2ef7e09a7d65 100644 --- a/pkgs/development/coq-modules/coq-bits/default.nix +++ b/pkgs/development/coq-modules/coq-bits/default.nix @@ -5,7 +5,7 @@ with lib; mkCoqDerivation { repo = "bits"; inherit version; defaultVersion = with versions; switch coq.coq-version [ - { case = range "8.10" "8.15"; out = "1.1.0"; } + { case = range "8.10" "8.16"; out = "1.1.0"; } { case = range "8.7" "8.15"; out = "1.0.0"; } ] null; |