/gnu/store/dz1lf03y543pn8vcwj34bbhlbq4kbana-
agda-2.6.2.1
Nars
View narinfo details
View JSON
15dy0vyspixqp4y2qjqh58jmlp5yvq6npxvar4lfqvxzdz3bmrrj
Size
Urls
171813856
Size: 32041293 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1
Size: 15784532 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1
Size: 17937898 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1
Version
1
Host name
berlin.guix.gnu.org
15dy0vyspixqp4y2qjqh58jmlp5yvq6npxvar4lfqvxzdz3bmrrj
Size
Urls
171813856
Size: 15784532 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/dz1lf03y543pn8vcwj34bbhlbq4kbana-agda-2.6.2.1
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