projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8751db) | patch
dev-libs/mpfr: ppc stable wrt bug #693846
authorAgostino Sarubbo <ago@gentoo.org>
Tue, 12 Nov 2019 18:06:54 +0000 (19:06 +0100)
committerAgostino Sarubbo <ago@gentoo.org>
Tue, 12 Nov 2019 18:06:54 +0000 (19:06 +0100)
commit86c5845636003657960eafa2ed57e697d457767d
treee0624caa4f935f27c31ae3a2ae1ffc68c4b06b77tree | snapshot
parentf8751dbace12c37538d7e08fda3e2b7a4853649dcommit | diff
dev-libs/mpfr: ppc stable wrt bug #693846

Package-Manager: Portage-2.3.76, Repoman-2.3.16
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
dev-libs/mpfr/mpfr-4.0.2.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.