Files fetched: 1 STORED: http://www.cs.nyu.edu/acsys/cvc3/download/2.4.1/cvc3-2.4.1.tar.gz 9b082b0e8c80e1459e9653de044e0d6e cvc3-2.4.1.tar.gz Size: 1196616 bytes
-- Virtually Yours: distfiles. _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
