/gnu/store/mhpdxpxgrq9jjnc4fx9j3lb105yr3rbr-
agda-1lab-0.0-2.549fdb1
Nars
View narinfo details
View JSON
02b47x5k4v6fxkhik7w0hmiqj4r4f25h11l3fg592fhnndvdac39
Size
Urls
130696000
Size: 97836858 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/mhpdxpxgrq9jjnc4fx9j3lb105yr3rbr-agda-1lab-0.0-2.549fdb1
Size: 102597666 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/mhpdxpxgrq9jjnc4fx9j3lb105yr3rbr-agda-1lab-0.0-2.549fdb1
Version
1
Host name
berlin.guix.gnu.org
02b47x5k4v6fxkhik7w0hmiqj4r4f25h11l3fg592fhnndvdac39
Size
Urls
130696000
Size: 97836858 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/mhpdxpxgrq9jjnc4fx9j3lb105yr3rbr-agda-1lab-0.0-2.549fdb1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/17a8msp5k74ssh4i0wqgxk4nvng0ixnb-
agda-1lab-0.0-2.549fdb1.drv
Derivation:
/gnu/store/kk7f75lfj2lvxzb6fvyxw6p2dn3r46xy-
agda-1lab-0.0-2.549fdb1.drv
Derivation:
/gnu/store/cwzyqk725jdn6kjl3521xc02k7vc9ybs-
agda-1lab-0.0-2.549fdb1.drv
Derivation:
/gnu/store/2al6xh71yg98mlhvmfn5580ryg78bxrl-
agda-1lab-0.0-2.549fdb1.drv
Derivation:
/gnu/store/ac0xwdwk2l01yb7sdk16niqnl79bdxdh-
agda-1lab-0.0-2.549fdb1.drv
Derivation:
/gnu/store/zc60nvwza84mx0xdqxp13z217r37jz4h-
agda-1lab-0.0-2.549fdb1.drv