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
.files/npins
History
Léana 江 cc9a1be62f
npins/cornelis: use 2.7.1 due to agda's interface change
2026-01-25 22:01:36 +01:00
..
default.nix npins: restore asFlake patch 2026-01-15 21:30:49 +01:00
sources.json npins/cornelis: use 2.7.1 due to agda's interface change 2026-01-25 22:01:36 +01:00