/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