/gnu/store/lll8mlzr5wwqgscvwarvlsg6321ickwn-
agda-categories-0.2.0
Nars
View narinfo details
View JSON
0hvjz11qih91ika3w2lycnfs9sn1ksz15jx60rwy3vp5w41h18qj
Size
Urls
71191368
Size: 53663025 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/lll8mlzr5wwqgscvwarvlsg6321ickwn-agda-categories-0.2.0
Size: 55988393 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/lll8mlzr5wwqgscvwarvlsg6321ickwn-agda-categories-0.2.0
Version
1
Host name
berlin.guix.gnu.org
0hvjz11qih91ika3w2lycnfs9sn1ksz15jx60rwy3vp5w41h18qj
Size
Urls
71191368
Size: 53663025 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/lll8mlzr5wwqgscvwarvlsg6321ickwn-agda-categories-0.2.0
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/yqvffz2a6yvj19pa949rmxifam25vxsf-
agda-categories-0.2.0.drv
Derivation:
/gnu/store/2n3ysqyggq4smsvldg3fqdpvyg4217ll-
agda-categories-0.2.0.drv