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

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

0l9vzsbwwaa27ips5yliv13gzz9g013rsxxri2y2s6q7q9n7gq3d

Uncompressed size

3496

Compressed size

1765