/gnu/store/cy54m8bff5nd8941sxbbz0619iandpjg-
idris-1.3.4-static
Nars
View narinfo details
View JSON
0n7wmwifb4zda83qwwfycjlnazwp0vpfsr90nvfawv9vff524szf
Size
Urls
37209720
Size: 4255470 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/cy54m8bff5nd8941sxbbz0619iandpjg-idris-1.3.4-static
Version
1
Host name
bayfront
Builds
Derivation:
/gnu/store/6f9nv844h87pzdvh7wwp0848c40x6iva-
idris-1.3.4.drv