/gnu/store/xr47xs0p9dqaib92qrpwnw89vriiadvx-
agda-2.6.2.1-static
Nars
View narinfo details
View JSON
1ial19axqvm905lzsxmhc1s6qzrljy9yamsdyrx5qglzb8jsgx8z
Size
Urls
101214448
Size: 19773075 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/xr47xs0p9dqaib92qrpwnw89vriiadvx-agda-2.6.2.1-static
Size: 10874898 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/xr47xs0p9dqaib92qrpwnw89vriiadvx-agda-2.6.2.1-static
Size: 13851577 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/xr47xs0p9dqaib92qrpwnw89vriiadvx-agda-2.6.2.1-static
Version
1
Host name
berlin.guix.gnu.org
1ial19axqvm905lzsxmhc1s6qzrljy9yamsdyrx5qglzb8jsgx8z
Size
Urls
101214448
Size: 10874898 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/xr47xs0p9dqaib92qrpwnw89vriiadvx-agda-2.6.2.1-static
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