/gnu/store/dss28xs3pq2m077p4lm3mij8f6rkmvx2-
agda-stdlib-1.7.2
Nars
View narinfo details
View JSON
1cm9dwing4ijpgvd5b5bmfkfybpdhgj9az6alrq5nzqgp4bvqrbj
Size
Urls
162958496
Size: 122321379 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/dss28xs3pq2m077p4lm3mij8f6rkmvx2-agda-stdlib-1.7.2
Size: 127462450 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/dss28xs3pq2m077p4lm3mij8f6rkmvx2-agda-stdlib-1.7.2
Version
1
Host name
berlin.guix.gnu.org
1cm9dwing4ijpgvd5b5bmfkfybpdhgj9az6alrq5nzqgp4bvqrbj
Size
Urls
162958496
Size: 122321379 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/dss28xs3pq2m077p4lm3mij8f6rkmvx2-agda-stdlib-1.7.2
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/qkl38pig3wbjmfgn8wrz2qf5mz1y9ig3-
agda-stdlib-1.7.2.drv
Derivation:
/gnu/store/07l20yck9jqy7kn3d7hbh36asw62ka4r-
agda-stdlib-1.7.2.drv
Derivation:
/gnu/store/yzld20yf3phlvgiz0c9rffqpc3lzcqfj-
agda-stdlib-1.7.2.drv