nixos/flake-registry
1
0
Fork 0
mirror of https://github.com/NixOS/flake-registry.git synced 2025-11-08 19:46:12 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #12 from shlevy/agda

Browse source 
Add agda to the registry.
This commit is contained in:
Eelco Dolstra 2021-12-10 12:58:51 +01:00 • committed by GitHub
commit 73126db3f1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
flake-registry.json
View file

@ -1,5 +1,16 @@
{ {
"flakes": [ "flakes": [
{
"from": {
"id": "agda",
"type": "indirect"
},
"to": {
"owner": "agda",
"repo": "agda",
"type": "github"
}
},
{ {
"from": { "from": {
"id": "blender-bin", "id": "blender-bin",