Files fetched: 1 STORED: http://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-02A.tar.gz f37a5304737ea2b14caf90d0a784964e LADR-2009-02A.tar.gz Size: 1970966 bytes
-- Virtually Yours: distfiles. _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
