diff options
| author | larsr <Lars.Rasmusson@gmail.com> | 2023-12-12 07:19:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-12 07:19:37 +0100 |
| commit | 5d43a8764fa6b933eb01b8bb0f4bd253226bf261 (patch) | |
| tree | 848ecd41431f48f788edd8d42c8fe6c1d679da57 /pkgs/development/python-modules/rangehttpserver | |
| parent | 23959be581c8adf54bc76a23d742ba3e51bdbcc9 (diff) | |
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>
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions