primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2026-02-01 14:39:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

npins/cornelis: use 2.7.1 due to agda's interface change

Browse source
This commit is contained in:
Primrose 2026-01-25 22:01:04 +01:00
parent e538cf1fdf
commit cc9a1be62f
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
2 changed files with 10 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
nix/overlays/cornelis.nix
View file

@ -2,4 +2,9 @@
let let
sources = import ../../npins; sources = import ../../npins;
in in
# If this is updated, we break split on case support for PLFA.
# PLFA uses 2.7.0
# https://github.com/agda/cornelis/issues/169
assert sources.cornelis.version == "v2.7.1";
sources.cornelis.asFlake.overlays.cornelis sources.cornelis.asFlake.overlays.cornelis

9
npins/sources.json
View file

@ -27,10 +27,11 @@
"version_upper_bound": null, "version_upper_bound": null,
"release_prefix": null, "release_prefix": null,
"submodules": false, "submodules": false,
"version": "v2.8.0", "version": "v2.7.1",
"revision": "67137c76fe0d4a8bb899eea46afaa370993d3556", "revision": "40298eed11eb877526b3ab3f648d8a7bff9e2f50",
"url": "https://api.github.com/repos/agda/cornelis/tarball/refs/tags/v2.8.0", "url": "https://api.github.com/repos/agda/cornelis/tarball/refs/tags/v2.7.1",
"hash": "sha256-dGS6De3EtTirgEMDMSjA+iBNc670W7pG4eA02Nq7Azo=" "hash": "sha256-h18AeggnOSSjy0RLJIkWsSID1BJTarOV9F1APKusIrE=",
"frozen": true
}, },
"disko": { "disko": {
"type": "GitRelease", "type": "GitRelease",