overlays/cornelis: init

This commit is contained in:
Primrose 2026-01-23 23:13:59 +01:00
parent 5045521db5
commit f8658bc793
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
2 changed files with 21 additions and 0 deletions

View file

@ -0,0 +1,5 @@
# The Agda support for Vim
let
sources = import ../../npins;
in
sources.cornelis.asFlake.overlays.cornelis

View file

@ -16,6 +16,22 @@
"url": "https://api.github.com/repos/ryantm/agenix/tarball/0.15.0", "url": "https://api.github.com/repos/ryantm/agenix/tarball/0.15.0",
"hash": "sha256-ipqShkBmHKC9ft1ZAsA6aeKps32k7+XZSPwfxeHLsAU=" "hash": "sha256-ipqShkBmHKC9ft1ZAsA6aeKps32k7+XZSPwfxeHLsAU="
}, },
"cornelis": {
"type": "GitRelease",
"repository": {
"type": "GitHub",
"owner": "agda",
"repo": "cornelis"
},
"pre_releases": false,
"version_upper_bound": null,
"release_prefix": null,
"submodules": false,
"version": "v2.8.0",
"revision": "67137c76fe0d4a8bb899eea46afaa370993d3556",
"url": "https://api.github.com/repos/agda/cornelis/tarball/refs/tags/v2.8.0",
"hash": "sha256-dGS6De3EtTirgEMDMSjA+iBNc670W7pG4eA02Nq7Azo="
},
"disko": { "disko": {
"type": "GitRelease", "type": "GitRelease",
"repository": { "repository": {