Files fetched: 1 STORED: http://www.cs.unm.edu/%7Emccune/prover9/gui/p9m4-v05.tar.gz fe031fbc49953c580f54c11864f31a36 p9m4-v05.tar.gz Size: 889707 bytes
-- Virtually Yours: distfiles. _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
