/gnu/store/k056m3rljhvfvs42m0d88malg47sinn9-coq-gappa-1.4.4-guile-builder

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

0k538x7lrb1khjcg31nzyy708hnx183b8y2xhs3ag78vg96xrj2s

Uncompressed size

8736

Compressed size

2496