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

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
15d1608ldj5c83rc48x36vin835f9xqkbb9689chxib03zqa6kcf
Uncompressed size
5944
Compressed size
2323