/gnu/store/3m39gsz2xg38mc8cdxzzn9262zq3l4ql-coq-core-8.15.1-checkout-builder

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

0rql0inhn9wj0c5l0hynljhszqa2bls77d8lamxxqvbmgllnwb2x

Uncompressed size

3456

Compressed size

1266