diff options
| author |   Mike Frysinger <vapier@gentoo.org> | 2017-02-09 12:56:54 -0500 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2017-02-09 12:58:04 -0500 |
| commit | b47c3a358310c904284bc6fd8d6bdc87114093f9 (patch) | |
| tree | fa3adbf3fd48c403f94c1a92fb201687eae055c7 /dev-libs/wayland | |
| parent | dev-php/PEAR-Log: remove unused PEAR-Log-1.12.7-r1. (diff) | |
| download | gentoo-b47c3a358310c904284bc6fd8d6bdc87114093f9.tar.gz gentoo-b47c3a358310c904284bc6fd8d6bdc87114093f9.tar.bz2 gentoo-b47c3a358310c904284bc6fd8d6bdc87114093f9.zip | |
dev-libs/mpfr: version bump to 3.1.5_p2 #608770
Diffstat (limited to 'dev-libs/wayland')
0 files changed, 0 insertions, 0 deletions