/gnu/store/mhpdxpxgrq9jjnc4fx9j3lb105yr3rbr-agda-1lab-0.0-2.549fdb1

Nars

02b47x5k4v6fxkhik7w0hmiqj4r4f25h11l3fg592fhnndvdac39

SizeUrls
130696000
Version
1
Host name
berlin.guix.gnu.org

02b47x5k4v6fxkhik7w0hmiqj4r4f25h11l3fg592fhnndvdac39

SizeUrls
130696000
Version
1
Host name
bayfront

Builds

Succeeded