/gnu/store/zw9wggvfplrgq2sh020wn8m2pkrfk3yq-coq-mathcomp-1.12.0-guile-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
0s0d3a6qn2wix89fxcjcs1q5312iah89g22v5hqq0nbj6w3130ny
Uncompressed size
3784
Compressed size
1850