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

Add agda to the registry.

Browse source 
https://github.com/agda/agda/pull/5502 created a flake.
This commit is contained in:
Shea Levy 2021-08-13 14:59:14 -04:00
parent 846277a41f
commit a3d17a055f
No known key found for this signature in database
GPG key ID: 5C0BD6957D86FE27
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": [
{
"from": {
"id": "agda",
"type": "indirect"
},
"to": {
"owner": "agda",
"repo": "agda",
"type": "github"
}
},
{
"from": {
"id": "blender-bin",