/gnu/store/vlgw31lz6l1djwnx4gkf885d7vn2xmnl-coq-8.15.1-builder

Derivation source file

Compression

lzip

Hash algorithm

sha256

Hash

04iw8b40xf1g3qa34b83cljzwbim1n6d12bq6c78y6v1z8m632p5

Uncompressed size

3856

Compressed size

1830