/gnu/store/jmjljd8xhxgjh0na8qvh333khbiibb22-coq-core-8.14.1-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
0r48q1q2njzdzrd0jwn14n5mydg4h8rxb78rddpnpjgr49yi3qyf
Uncompressed size
4128
Compressed size
2007