/gnu/store/5klbds22qc43y5k82fpriwrdhjigi2ib-agda-ial-1.5.0-guile-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
1lkvcq39zk3ma78nikv6pq8jj45wbc1jdw1j07raydkl3116nc9c
Uncompressed size
3512
Compressed size
1771