Links for prooflib
prooflib-4.70.tar.gz
prooflib-8.95.tar.gz