/gnu/store/f44ck5vh5s6nrigxm3af9ln31h62a373-
agda-2.6.0.1
Nars
View narinfo details
View JSON
0xy4dp5ljplwcab5msg05vnlil0n7mawgaa7rbv9l19ia867cms6
Size
Urls
135353784
Size: 25655309 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/f44ck5vh5s6nrigxm3af9ln31h62a373-agda-2.6.0.1
Size: 12399836 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/f44ck5vh5s6nrigxm3af9ln31h62a373-agda-2.6.0.1
Version
1
Host name
berlin.guix.gnu.org
Builds
Derivation:
/gnu/store/1gnf2j88y29qd8pwiv2y9nfcg7iqi0wf-
agda-2.6.0.1.drv
Derivation:
/gnu/store/f23d4vm6wr41nsr1zyhkb3gls3wv58i0-
agda-2.6.0.1.drv