5d43a8764f
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> |
||
|---|---|---|
| .. | ||
| default.nix | ||