pyrox.dev / nixpkgs
lol
fork atom

coqPackages.coqprime: init at 8.12 for Coq 8.12

authored by

Vincent Laporte and committed by
Vincent Laporte 607b0ae7 a38ffcc2

+4
unified split
+4
pkgs/development/coq-modules/coqprime/default.nix
··· 20 20 "8.9" = v_8_8; 21 21 "8.10" = v_8_10; 22 22 "8.11" = v_8_10; 23 + "8.12" = { 24 + version = "8.12"; 25 + sha256 = "1slka4w0pya15js4drx9frj7lxyp3k2lzib8v23givzpnxs8ijdj"; 26 + }; 23 27 }; 24 28 param = params.${coq.coq-version}; 25 29 in