/gnu/store/v7dl2dpgsj6bnrc0hk7fi45h94f84rnj-
agda-2.6.0.1
Nars
View narinfo details
View JSON
1l1wy7x8mxcpagwij5n69dqcma3zhamv5wlafsy160krhkzxxrry
Size
Urls
127013896
Size: 25064110 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/v7dl2dpgsj6bnrc0hk7fi45h94f84rnj-agda-2.6.0.1
Size: 12221307 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/v7dl2dpgsj6bnrc0hk7fi45h94f84rnj-agda-2.6.0.1
Version
1
Host name
berlin.guix.gnu.org
Builds
Derivation:
/gnu/store/j15c4yflvmdrk75p988ypwd27pr4i1nl-
agda-2.6.0.1.drv
Derivation:
/gnu/store/x5vhjslk0j1n1p8n272s7x6gggq00v5p-
agda-2.6.0.1.drv