larsr 5d43a8764f coqPackages.metacoq: update for coq 8.17 and 8.18 (#273541) ... Also update default.nix to match the default.nix in MetaCoq/metacoq:.nix/coq-overlays/metacoq/default.nix Because some files have changed names, some version-dependent building is required to keep building older versions. And Metacoq's default.nix had older version checksums. We use the more recent versions from nixpkgs for coq 8.14-8.16 Co-authored-by: Lars Rasmusson <Lars.Rasmusson@rise>		2023-12-12 07:19:37 +01:00
..
default.nix	coqPackages.metacoq: update for coq 8.17 and 8.18 (#273541)	2023-12-12 07:19:37 +01:00