/gnu/store/mbyi8q5gaj131ama1pdhk23hknr9jcz1-
agda-2.5.4.2
Nars
View narinfo details
View JSON
07f3kcwx20y4wah8psrf4shx137linhsr189ybllv10vh8aa9d2j
Size
Urls
250580616
Size: 43469966 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/mbyi8q5gaj131ama1pdhk23hknr9jcz1-agda-2.5.4.2
Size: 22585188 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/mbyi8q5gaj131ama1pdhk23hknr9jcz1-agda-2.5.4.2
Version
1
Host name
berlin.guixsd.org
Builds
Derivation:
/gnu/store/khb4z6jh7z4ff97z7n7wk1i39q6hm1v7-
agda-2.5.4.2.drv