/gnu/store/224pa00p2sjnkszyl5bng9p2jnyz7700-
agda-1lab-0.0-3.afcf848
Nars
View narinfo details
View JSON
00sjsbycsla3acagkdfcqdvz6xi6d9g9kaagqys5a5q43n1k23k3
Size
Urls
178829168
Size: 134344152 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/224pa00p2sjnkszyl5bng9p2jnyz7700-agda-1lab-0.0-3.afcf848
Size: 141137984 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/224pa00p2sjnkszyl5bng9p2jnyz7700-agda-1lab-0.0-3.afcf848
Version
1
Host name
berlin.guix.gnu.org
00sjsbycsla3acagkdfcqdvz6xi6d9g9kaagqys5a5q43n1k23k3
Size
Urls
178829168
Size: 134344152 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/224pa00p2sjnkszyl5bng9p2jnyz7700-agda-1lab-0.0-3.afcf848
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/6d5a4a5r6fw94bz78fr9xj1an90ckm05-
agda-1lab-0.0-3.afcf848.drv
Derivation:
/gnu/store/vkz9zv5sp370im7r8pagf2mhxj1y504a-
agda-1lab-0.0-3.afcf848.drv