/gnu/store/5fsh03n7cwyy6q54wpcwx3maqkwsi209-
agda-stdlib-2.1.1
Nars
View narinfo details
View JSON
1vgq3cziym7m4f5arl1vd8b8wmgpsbffm02dpmk0iv3xs1adqafl
Size
Urls
184178680
Size: 138429901 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/5fsh03n7cwyy6q54wpcwx3maqkwsi209-agda-stdlib-2.1.1
Size: 144355921 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/5fsh03n7cwyy6q54wpcwx3maqkwsi209-agda-stdlib-2.1.1
Version
1
Host name
berlin.guix.gnu.org
1vgq3cziym7m4f5arl1vd8b8wmgpsbffm02dpmk0iv3xs1adqafl
Size
Urls
184178680
Size: 138429901 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/5fsh03n7cwyy6q54wpcwx3maqkwsi209-agda-stdlib-2.1.1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/6wjx1s7ffy3dppnpj6s40dvxrmg35hmw-
agda-stdlib-2.1.1.drv
Derivation:
/gnu/store/v2v8i8pjdr8c142qi8dp650mrmk919pr-
agda-stdlib-2.1.1.drv