/gnu/store/ayhx07ki335hkww6sm05hjpkjdrz56nf-coq-gappa-1.4.6-guile-builder

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

0k3b8b93xpywfy0a9wygan5hg81cl6ffk4ygy8g12mwy9lvdlzm9

Uncompressed size

4688

Compressed size

2270