/gnu/store/m16yhbm7fsyan7h8g4lp1f7al7bimg64-
idris-1.3.4
Nars
View narinfo details
View JSON
0zxnbfj76wp5x9701bxwl2yicjkpxq9v9782m23c0nyhk7nv2416
Size
Urls
65401304
Size: 10092035 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/m16yhbm7fsyan7h8g4lp1f7al7bimg64-idris-1.3.4
Version
1
Host name
bayfront
Builds
Derivation:
/gnu/store/6f9nv844h87pzdvh7wwp0848c40x6iva-
idris-1.3.4.drv