Binary: proofgeneral

ranlib berkeley_db43_svc circo v.reclass pt fix_includes latrace sndfile-resample pamx nfsstat nntpgrab_server ophelp arb_uniform_buffer_object-getactiveuniformsiv-uniform-block-index pinentry-qt4 CMCEnroll linguist shortrpm tkcon xdvi-xaw3d xzless db5.1_verify dwm.web git-dch mifare-desfire-read-ndef literki pegasus-version pt-kill httpget ssr-nfc-hoa.nox ap.pl