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

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
0rh90fx7scxb8mib1jzw1q88l4pdagjq43wwqmmsc5sjay2iinfr
Uncompressed size
6008
Compressed size
2358