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

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

1f083q2cjjl4170q6689z9cnf7gsagvkahali07dcj4as66h1jgb

Uncompressed size

3712

Compressed size

1787