/gnu/store/9pbif5gc55bgfgpjc2ad33pbs6gx6i0n-agda-ial-1.5.0-guile-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
1a3r11xls0xiq3py92ppsda6cnms1rrqdzglspmlrjrbhxl5hdak
Uncompressed size
3512
Compressed size
1765