/gnu/store/lf52yc37n3bxzrs72gcpvf24vlrh2vky-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
15aqjspdch0z6f3qkpa5i85shbggbgsd27d55y8prj8lzi950f5m
Size
Urls
3244072
Size: null Compression: gzip
https://ci.guix.gnu.org/nar/gzip/lf52yc37n3bxzrs72gcpvf24vlrh2vky-agda-ial-1.5.0
Size: null Compression: lzip
https://ci.guix.gnu.org/nar/lzip/lf52yc37n3bxzrs72gcpvf24vlrh2vky-agda-ial-1.5.0
Version
1
Host name
berlin.guix.gnu.org
Builds
Derivation:
/gnu/store/5dh3ni857ycdhc5hs5nc38ixxjyqgw76-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/pw6r2jiyc9al073xsn0p79lj3hl45m7s-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/13k725q70h3big87rblscanc5vzlgb3x-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/n2nas034wji1ff4bn8820dchb8fh0hsk-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/xkz4ygqz6ckfdvqfrii03xy27ckndbgx-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/kgl7b4y09r0gmkiablkidfh0scvaalsj-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/yidvipv92lz1v2gav64qn6bv0c6mv94h-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/sgw97cpzaakcbqzzfk9ycvxl74dycpr2-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/6kg79wd89nrhq23arfq8kl6qmbdfvvlp-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/cczb7vvrdgynp2q96sjb8h6fbgl5l11s-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/slia034x54p5l6jqnzpakpyq6h1y0mn4-
agda-ial-1.5.0.drv