/gnu/store/zk0p25xlybrb5pa1cz2q7w9n5dkhml0d-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
0x1yv2lcc0kwk1jxi6ni3x2spcxikwkp6648ryydp4jgzk6qzmd0
Size
Urls
3244432
Size: 2690444 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/zk0p25xlybrb5pa1cz2q7w9n5dkhml0d-agda-ial-1.5.0
Size: 2485056 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/zk0p25xlybrb5pa1cz2q7w9n5dkhml0d-agda-ial-1.5.0
Version
1
Host name
berlin.guix.gnu.org
Builds
Derivation:
/gnu/store/kqp7kdjwdkw63w4pdlvydm1cwphciyvd-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/4kp226sxialbcv4s05pqx3q9lvzkx4cr-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/vy79dk46052ma9lkggglr1nk3xdpda5k-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/n38i3b4i1npiwm0ywcixk5l36jq6ll70-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/bj1r0civ943cvlkmn7rlsskqfqm8xdal-
agda-ial-1.5.0.drv