/gnu/store/m6ndr2z2iaam7kl06f70nny9nycnz0i8-
agda-2.6.2.1-static
Nars
View narinfo details
View JSON
1z338lgg0yb470kk3p2i8gk53ric46vkahwgcslq9prlx4ach69f
Size
Urls
112009432
Size: 14791489 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/m6ndr2z2iaam7kl06f70nny9nycnz0i8-agda-2.6.2.1-static
Size: 7729688 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/m6ndr2z2iaam7kl06f70nny9nycnz0i8-agda-2.6.2.1-static
Size: 9419724 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/m6ndr2z2iaam7kl06f70nny9nycnz0i8-agda-2.6.2.1-static
Version
1
Host name
berlin.guix.gnu.org
1z338lgg0yb470kk3p2i8gk53ric46vkahwgcslq9prlx4ach69f
Size
Urls
112009432
Size: 7729688 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/m6ndr2z2iaam7kl06f70nny9nycnz0i8-agda-2.6.2.1-static
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/wl8dd2pkgfiani9xvg68hl40p1wcavcc-
agda-2.6.2.1.drv
Derivation:
/gnu/store/7qfzcali92c9pgjcn4vm4spynyqz0m8k-
agda-2.6.2.1.drv
Derivation:
/gnu/store/xrajgvfyb6hn86ydwy79bifkk542gszv-
agda-2.6.2.1.drv