/gnu/store/x712f80jbgcffwpqcfy7hmx0crg943yi-proof-general-4.4-1.1b1083e-builder

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
1v1j7s5z0zi2m06ci4ipnlyrq4r7fwrqa6gpsk0rnqskq3324xb0
Uncompressed size
5968
Compressed size
2373