pyrox.dev / nixpkgs
lol
fork atom

coqPackages.hydra-battles: enable for Coq 8.16

authored by Vincent Laporte and committed by Vincent Laporte 097b07f4 81a0991e

+1 -1
unified split
+1 -1
pkgs/development/coq-modules/hydra-battles/default.nix
··· 12 13 inherit version; 14 defaultVersion = with versions; switch coq.coq-version [ 15 - { case = range "8.13" "8.15"; out = "0.6"; } 16 { case = range "8.11" "8.12"; out = "0.4"; } 17 ] null; 18
··· 12 13 inherit version; 14 defaultVersion = with versions; switch coq.coq-version [ 15 + { case = range "8.13" "8.16"; out = "0.6"; } 16 { case = range "8.11" "8.12"; out = "0.4"; } 17 ] null; 18