/gnu/store/921izj6anjvk5s9v4iiy7a8jf2p0cxkh-
idris-1.3.4-static
Nars
View narinfo details
View JSON
1rl3702n6qgm8zl4bnfdcyj8j4108860qg3h3ci2fcxcj40imp45
Size
Urls
40433928
Size: 2852200 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/921izj6anjvk5s9v4iiy7a8jf2p0cxkh-idris-1.3.4-static
Version
1
Host name
bayfront
Builds
Derivation:
/gnu/store/d3sy3rzlkqd6p39kp85k30ncy9xflx9q-
idris-1.3.4.drv