Title: mpfr-dev.tcz Description: mpfr devs Version: 3.1.5 Author: see list of sites below Original-site: see list of sites below Copying-policy: see list of sites below Size: 16KB Extension_by: juanito Tags: mpfr devs Comments: dev files for mpfr ---------- This extension contains: mpfr-3.1.3 - GPLv3 - http://www.mpfr.org/mpfr-3.1.3/mpfr-3.1.3.tar.xz ---------- Change-log: 2012/11/09 first version 2013/10/12 updated 3.0.1 -> 3.1.1 2014/09/22 updated 3.1.1 -> 3.1.2 2015/10/31 updated 3.1.2 -> 3.1.3 Current: 2016/10/17 updated 3.1.3 -> 3.1.5