pyrox.dev / nixpkgs
lol
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

coqPackages.coq-bits: enable for Coq 8.16

Vincent Laporte 0f25d8a0 6791c185

+1 -1
+1 -1
pkgs/development/coq-modules/coq-bits/default.nix
··· 5 5 repo = "bits"; 6 6 inherit version; 7 7 defaultVersion = with versions; switch coq.coq-version [ 8 - { case = range "8.10" "8.15"; out = "1.1.0"; } 8 + { case = range "8.10" "8.16"; out = "1.1.0"; } 9 9 { case = range "8.7" "8.15"; out = "1.0.0"; } 10 10 ] null; 11 11