/gnu/store/g1d6z16wvpjz2x0n51521ylx38vk3s8j-agda-ial-1.5.0-guile-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
0d3vwnlagqzazc958lqghlax92a998rs88b2il0fskmf6p5vdzg2
Uncompressed size
3496
Compressed size
1758