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

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
1xc8hsnl7f4rq425jjys8n1yl41hxgprzs0c6xz46a25yn8nr2zg
Uncompressed size
3512
Compressed size
1769