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

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
05pisfqhh01mhkrw28kci1whdv95vj21vf01hvck5lypaavsmwml
Uncompressed size
3512
Compressed size
1770