/gnu/store/abwrbj1n9x1h281d1v5i5yp1w675b9r5-coq-8.13.2-guile-builder

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

1n1a5493wa4c84pfm25pdav1s02c0hljazc1d91ca3382sd9fwnx

Uncompressed size

3712

Compressed size

1797