Date: Saturday, January 5, 2013 @ 05:03:46 Author: allan Revision: 174623
delete old patch Deleted: mpfr/trunk/mpfr-3.1.0.p10.patch + 0 files changed Deleted: mpfr-3.1.0.p10.patch =================================================================== (Binary files differ)