/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