/gnu/store/lch7yxv6ypffmd3ly8fc93130brvq1fp-coq-stdlib-8.14.1-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
0w5cvc29lz0977fz18170spq26n5xcs8flkx1jkqwksd6n888hzr
Uncompressed size
3784
Compressed size
1797