/gnu/store/djmnx6ncb3cwmxv6p6qj7i5vzynn5gq4-agda-2.5.4.2-guile-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
1cs0jlsahkddqysl8kj7gavsnhsi74fd19vgzszcd9s2fwfx1qmf
Uncompressed size
6200
Compressed size
2692