/gnu/store/w4k1km6alpnsmvk3pcgq1n27sb988lpn-coq-coquelicot-3.4.1-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
0nxiimm3drfsljznqgxwlzh4v73n5x399ah4z6lbwn407pfsxhhc
Uncompressed size
5552
Compressed size
2241