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

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
1f6sr4dgg4r3bviz2sz8pwif5rjbc09nngxkvc0zjzz4hipli7fm
Uncompressed size
3496
Compressed size
1765