tjh.dev / nixpkgs
nixpkgs mirror (for testing) github.com/NixOS/nixpkgs
nix
fork

Configure Feed

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

coqPackages.coqprime: enable for Coq 8.16

authored by

Vincent Laporte and committed by
Vincent Laporte bd84a729 e488c3e8

+1 -1
+1 -1
pkgs/development/coq-modules/coqprime/default.nix
··· 6 6 owner = "thery"; 7 7 inherit version; 8 8 defaultVersion = with versions; switch coq.coq-version [ 9 - { case = range "8.12" "8.15"; out = "8.15"; } 9 + { case = range "8.12" "8.16"; out = "8.15"; } 10 10 { case = range "8.10" "8.11"; out = "8.10"; } 11 11 { case = range "8.8" "8.9"; out = "8.8"; } 12 12 { case = "8.7"; out = "8.7.2"; }