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

Derivation source file

Compression
lzip
Hash algorithm
sha256
Hash
15laaf03bn623k6ibvsvcn9lra8fpv5x7lwm04dnlzfnhqg7hzsw
Uncompressed size
4904
Compressed size
2122