/gnu/store/znqmrzmhwm0j83g6mal18f5js5md0p44-
agda-2.6.2.1
Nars
View narinfo details
View JSON
00x1qc8h4rn7551lqv68f635zlfc4v19dnisj969vx3850hk4yvw
Size
Urls
161053992
Size: 31338443 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/znqmrzmhwm0j83g6mal18f5js5md0p44-agda-2.6.2.1
Size: 15532774 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/znqmrzmhwm0j83g6mal18f5js5md0p44-agda-2.6.2.1
Size: 17633424 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/znqmrzmhwm0j83g6mal18f5js5md0p44-agda-2.6.2.1
Version
1
Host name
berlin.guix.gnu.org
00x1qc8h4rn7551lqv68f635zlfc4v19dnisj969vx3850hk4yvw
Size
Urls
161053992
Size: 15532774 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/znqmrzmhwm0j83g6mal18f5js5md0p44-agda-2.6.2.1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/pfdxdpzala3s4v9l0v77qj57kynih6vq-
agda-2.6.2.1.drv
Derivation:
/gnu/store/g3zkmbhzgyzsm6wah673ghc9m8nc0qbg-
agda-2.6.2.1.drv
Derivation:
/gnu/store/shdn6v7rgrcvx30z37iikankmwh8mqa6-
agda-2.6.2.1.drv