/gnu/store/ac38qlfqch8x56sm7zyr28mkfs78xixf-coq-stdpp-1.4.0-guile-builder

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

0jf1mi3s2ppqk4ysgqs0s7k161db1lg2xymcizs96bgnfa0afk75

Uncompressed size

3312

Compressed size

1683