[gentoo-commits] repo/gentoo:master commit in: sci-libs/mpfi/

2023-11-22 Thread Michael Orlitzky 
commit: 5530ead9936b5d402d7f29cd75dad2ff0082f32b
Author: Michael Orlitzky  gentoo  org>
AuthorDate: Wed Nov 22 22:31:15 2023 +
Commit: Michael Orlitzky  gentoo  org>
CommitDate: Wed Nov 22 22:31:15 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5530ead9

sci-libs/mpfi: update LICENSE

Signed-off-by: Michael Orlitzky  gentoo.org>

 sci-libs/mpfi/mpfi-1.5.4.ebuild | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/sci-libs/mpfi/mpfi-1.5.4.ebuild b/sci-libs/mpfi/mpfi-1.5.4.ebuild
index 80f3bc6e283a..76afa306787b 100644
--- a/sci-libs/mpfi/mpfi-1.5.4.ebuild
+++ b/sci-libs/mpfi/mpfi-1.5.4.ebuild
@@ -9,7 +9,9 @@ DESCRIPTION="Multiple precision interval arithmetic library 
based on MPFR"
 HOMEPAGE="http://perso.ens-lyon.fr/nathalie.revol/software.html;
 SRC_URI="https://gforge.inria.fr/frs/download.php/file/38111/${P}.tgz;
 
-LICENSE="GPL-2"
+# COPYING is GPL-3, COPYING.LESSER is LGPL-3, source file headers
+# are LGPL-2.1+
+LICENSE="GPL-3 LGPL-3 LGPL-2.1+"
 SLOT="0"
 KEYWORDS="amd64 ~arm64 ~x86 ~amd64-linux ~x86-linux"

[gentoo-commits] repo/gentoo:master commit in: sci-libs/mpfi/

2021-01-07 Thread David Seifert 
commit: 302b263f4e27531104ead6eee98fb88d47c38699
Author: Jakov Smolic  sartura  hr>
AuthorDate: Thu Jan  7 10:13:53 2021 +
Commit: David Seifert  gentoo  org>
CommitDate: Thu Jan  7 10:13:53 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=302b263f

sci-libs/mpfi: Remove old

Signed-off-by: Jakov Smolic  sartura.hr>
Signed-off-by: David Seifert  gentoo.org>

 sci-libs/mpfi/Manifest  |  1 -
 sci-libs/mpfi/mpfi-1.5.3.ebuild | 30 --
 2 files changed, 31 deletions(-)

diff --git a/sci-libs/mpfi/Manifest b/sci-libs/mpfi/Manifest
index 6e2dfd16d37..92158f01831 100644
--- a/sci-libs/mpfi/Manifest
+++ b/sci-libs/mpfi/Manifest
@@ -1,2 +1 @@
-DIST mpfi-1.5.3.tar.bz2 447256 BLAKE2B 
67bb9af362ec96c015571cbdaba09befc2241e0113b6177dd76eec97b619bbf9c924ba4d16583df664cafdb1a78c8700712e30633e91e5ae6f1d5e084c3ede5c
 SHA512 
9c3cdf665fccff8b383c96827f4acb7aa62efdf7854cff271455273f00f8e7ecf84fbe191b02e5f51fe067aaae564fd2a0add062070ff5c1f542d61a021f967d
 DIST mpfi-1.5.4.tgz 261696 BLAKE2B 
264453870fbf18afc0876eef72a3fc9690e9eee1da5179831a24409159abe75b88dc373e2d20b8171c846e870ded876715b2c9034ab4f0d0f0ff10e34abd099d
 SHA512 
72ba7d8c950f4d4e2c7a3da8570cdcec08f75b73580cdf64c4cc3b24f8add23c46ccf78a6de2158e81bd77e6efabceebbae418988d536e7484356b8102e10ce1

diff --git a/sci-libs/mpfi/mpfi-1.5.3.ebuild b/sci-libs/mpfi/mpfi-1.5.3.ebuild
deleted file mode 100644
index 557131c75ac..000
--- a/sci-libs/mpfi/mpfi-1.5.3.ebuild
+++ /dev/null
@@ -1,30 +0,0 @@
-# Copyright 1999-2020 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit out-of-source
-
-DESCRIPTION="Multiple precision interval arithmetic library based on MPFR"
-HOMEPAGE="http://perso.ens-lyon.fr/nathalie.revol/software.html;
-SRC_URI="https://gforge.inria.fr/frs/download.php/37331/${P}.tar.bz2;
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="amd64 ~arm64 x86 ~amd64-linux ~x86-linux"
-
-DEPEND="
-   >=dev-libs/gmp-4.1.2:0=
-   >=dev-libs/mpfr-2.4:0="
-RDEPEND="${DEPEND}"
-
-my_src_configure() {
-   econf --disable-static
-}
-
-my_src_install() {
-   default
-
-   # no static archives
-   find "${D}" -name '*.la' -delete || die
-}

[gentoo-commits] repo/gentoo:master commit in: sci-libs/mpfi/

2021-01-06 Thread Sam James 
commit: 333f891f0ee1a79139b81055449fba3162bc62d0
Author: Sam James  gentoo  org>
AuthorDate: Thu Jan  7 01:04:31 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Jan  7 01:04:31 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=333f891f

sci-libs/mpfi: Stabilize 1.5.4 x86, #763864

Signed-off-by: Sam James  gentoo.org>

 sci-libs/mpfi/mpfi-1.5.4.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-libs/mpfi/mpfi-1.5.4.ebuild b/sci-libs/mpfi/mpfi-1.5.4.ebuild
index 17d4331971e..b689664fa58 100644
--- a/sci-libs/mpfi/mpfi-1.5.4.ebuild
+++ b/sci-libs/mpfi/mpfi-1.5.4.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://gforge.inria.fr/frs/download.php/file/38111/${P}.tgz;
 
 LICENSE="GPL-2"
 SLOT="0"
-KEYWORDS="amd64 ~arm64 ~x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ~arm64 x86 ~amd64-linux ~x86-linux"
 
 DEPEND="
dev-libs/gmp:0=

[gentoo-commits] repo/gentoo:master commit in: sci-libs/mpfi/

2021-01-06 Thread Sam James 
commit: d49d596bbda3f10f0284f8ccf4c2113935140ba5
Author: Sam James  gentoo  org>
AuthorDate: Thu Jan  7 00:52:11 2021 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Jan  7 00:57:56 2021 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d49d596b

sci-libs/mpfi: Stabilize 1.5.4 amd64, #763864

Signed-off-by: Sam James  gentoo.org>

 sci-libs/mpfi/mpfi-1.5.4.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sci-libs/mpfi/mpfi-1.5.4.ebuild b/sci-libs/mpfi/mpfi-1.5.4.ebuild
index 7c513767c67..17d4331971e 100644
--- a/sci-libs/mpfi/mpfi-1.5.4.ebuild
+++ b/sci-libs/mpfi/mpfi-1.5.4.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -11,7 +11,7 @@ 
SRC_URI="https://gforge.inria.fr/frs/download.php/file/38111/${P}.tgz;
 
 LICENSE="GPL-2"
 SLOT="0"
-KEYWORDS="~amd64 ~arm64 ~x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ~arm64 ~x86 ~amd64-linux ~x86-linux"
 
 DEPEND="
dev-libs/gmp:0=

[gentoo-commits] repo/gentoo:master commit in: sci-libs/mpfi/

2020-11-21 Thread David Seifert 
commit: 5141be0b130e6706bee2869feaa8d7ee1c7cd3cf
Author: Jakov Smolic  sartura  hr>
AuthorDate: Sat Nov 21 21:21:08 2020 +
Commit: David Seifert  gentoo  org>
CommitDate: Sat Nov 21 21:21:08 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5141be0b

sci-libs/mpfi: bump to 1.5.4

Closes: https://bugs.gentoo.org/742560
Closes: https://github.com/gentoo/gentoo/pull/18327
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Jakov Smolic  sartura.hr>
Signed-off-by: David Seifert  gentoo.org>

 sci-libs/mpfi/Manifest  |  1 +
 sci-libs/mpfi/mpfi-1.5.4.ebuild | 33 +
 2 files changed, 34 insertions(+)

diff --git a/sci-libs/mpfi/Manifest b/sci-libs/mpfi/Manifest
index e8c03ff1f9a..6e2dfd16d37 100644
--- a/sci-libs/mpfi/Manifest
+++ b/sci-libs/mpfi/Manifest
@@ -1 +1,2 @@
 DIST mpfi-1.5.3.tar.bz2 447256 BLAKE2B 
67bb9af362ec96c015571cbdaba09befc2241e0113b6177dd76eec97b619bbf9c924ba4d16583df664cafdb1a78c8700712e30633e91e5ae6f1d5e084c3ede5c
 SHA512 
9c3cdf665fccff8b383c96827f4acb7aa62efdf7854cff271455273f00f8e7ecf84fbe191b02e5f51fe067aaae564fd2a0add062070ff5c1f542d61a021f967d
+DIST mpfi-1.5.4.tgz 261696 BLAKE2B 
264453870fbf18afc0876eef72a3fc9690e9eee1da5179831a24409159abe75b88dc373e2d20b8171c846e870ded876715b2c9034ab4f0d0f0ff10e34abd099d
 SHA512 
72ba7d8c950f4d4e2c7a3da8570cdcec08f75b73580cdf64c4cc3b24f8add23c46ccf78a6de2158e81bd77e6efabceebbae418988d536e7484356b8102e10ce1

diff --git a/sci-libs/mpfi/mpfi-1.5.4.ebuild b/sci-libs/mpfi/mpfi-1.5.4.ebuild
new file mode 100644
index 000..7c513767c67
--- /dev/null
+++ b/sci-libs/mpfi/mpfi-1.5.4.ebuild
@@ -0,0 +1,33 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit autotools
+
+DESCRIPTION="Multiple precision interval arithmetic library based on MPFR"
+HOMEPAGE="http://perso.ens-lyon.fr/nathalie.revol/software.html;
+SRC_URI="https://gforge.inria.fr/frs/download.php/file/38111/${P}.tgz;
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~arm64 ~x86 ~amd64-linux ~x86-linux"
+
+DEPEND="
+   dev-libs/gmp:0=
+   dev-libs/mpfr:0="
+RDEPEND="${DEPEND}"
+
+src_prepare() {
+   default
+   eautoreconf
+}
+
+src_configure() {
+   econf --disable-static
+}
+
+src_install() {
+   default
+   find "${ED}" -name '*.la' -delete || die
+}

[gentoo-commits] repo/gentoo:master commit in: sci-libs/mpfi/

2020-08-25 Thread Sam James 
commit: 68e20fc1af43d8ebd05709f26125cbf8a0c191fe
Author: Sam James  gentoo  org>
AuthorDate: Tue Aug 25 10:24:31 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Tue Aug 25 10:24:31 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=68e20fc1

sci-libs/mpfi: arm64 keyworded (bug #734822)

Package-Manager: Portage-3.0.4, Repoman-3.0.1
Signed-off-by: Sam James  gentoo.org>

 sci-libs/mpfi/mpfi-1.5.3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-libs/mpfi/mpfi-1.5.3.ebuild b/sci-libs/mpfi/mpfi-1.5.3.ebuild
index d84acb228b3..557131c75ac 100644
--- a/sci-libs/mpfi/mpfi-1.5.3.ebuild
+++ b/sci-libs/mpfi/mpfi-1.5.3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://gforge.inria.fr/frs/download.php/37331/${P}.tar.bz2;
 
 LICENSE="GPL-2"
 SLOT="0"
-KEYWORDS="amd64 x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ~arm64 x86 ~amd64-linux ~x86-linux"
 
 DEPEND="
>=dev-libs/gmp-4.1.2:0=

[gentoo-commits] repo/gentoo:master commit in: sci-libs/mpfi/

2020-01-26 Thread David Seifert 
commit: d9c8a25b318b903dbf52aa6f6e9718ececa7a42d
Author: David Seifert  gentoo  org>
AuthorDate: Sun Jan 26 14:27:04 2020 +
Commit: David Seifert  gentoo  org>
CommitDate: Sun Jan 26 14:27:04 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d9c8a25b

sci-libs/mpfi: Remove old 1.5.1

Package-Manager: Portage-2.3.85, Repoman-2.3.20
Signed-off-by: David Seifert  gentoo.org>

 sci-libs/mpfi/Manifest  |  1 -
 sci-libs/mpfi/mpfi-1.5.1.ebuild | 21 -
 2 files changed, 22 deletions(-)

diff --git a/sci-libs/mpfi/Manifest b/sci-libs/mpfi/Manifest
index 8a40087aecb..e8c03ff1f9a 100644
--- a/sci-libs/mpfi/Manifest
+++ b/sci-libs/mpfi/Manifest
@@ -1,2 +1 @@
-DIST mpfi-1.5.1.tar.bz2 365467 BLAKE2B 
9f9a74f44ef9738f875faff7885da6404752d4687a19a85e877195fe2955e27a96192849b6c8ff190c29b7535b72027151cb98f46edf3871c9bb3f4694360fe1
 SHA512 
498f8b2e114e71c0600f601e4bfef21011e46434d6795e3cd999d38ea9a3d4c66cad2d27e7899629ae422a91b6a776dad2fdbd7c93d51a56f5cfc4ab0e3aeca1
 DIST mpfi-1.5.3.tar.bz2 447256 BLAKE2B 
67bb9af362ec96c015571cbdaba09befc2241e0113b6177dd76eec97b619bbf9c924ba4d16583df664cafdb1a78c8700712e30633e91e5ae6f1d5e084c3ede5c
 SHA512 
9c3cdf665fccff8b383c96827f4acb7aa62efdf7854cff271455273f00f8e7ecf84fbe191b02e5f51fe067aaae564fd2a0add062070ff5c1f542d61a021f967d

diff --git a/sci-libs/mpfi/mpfi-1.5.1.ebuild b/sci-libs/mpfi/mpfi-1.5.1.ebuild
deleted file mode 100644
index b448cb8cde8..000
--- a/sci-libs/mpfi/mpfi-1.5.1.ebuild
+++ /dev/null
@@ -1,21 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="4"
-
-inherit autotools-utils
-
-PID=30129
-
-DESCRIPTION="Multiple precision interval arithmetic library based on MPFR"
-HOMEPAGE="http://perso.ens-lyon.fr/nathalie.revol/software.html;
-SRC_URI="https://gforge.inria.fr/frs/download.php/${PID}/${P}.tar.bz2;
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="amd64 x86 ~amd64-linux ~x86-linux"
-IUSE="static-libs"
-
-DEPEND=">=dev-libs/gmp-4.1.2
-   >=dev-libs/mpfr-2.4"
-RDEPEND="${DEPEND}"

[gentoo-commits] repo/gentoo:master commit in: sci-libs/mpfi/

2020-01-01 Thread Agostino Sarubbo 
commit: 31a3aac6505e40c962ce560d512cd983527f7f46
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Wed Jan  1 14:17:11 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Wed Jan  1 14:17:11 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=31a3aac6

sci-libs/mpfi: amd64 stable wrt bug #703114

Package-Manager: Portage-2.3.79, Repoman-2.3.16
RepoMan-Options: --include-arches="amd64"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 sci-libs/mpfi/mpfi-1.5.3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-libs/mpfi/mpfi-1.5.3.ebuild b/sci-libs/mpfi/mpfi-1.5.3.ebuild
index ee7870257b1..d84acb228b3 100644
--- a/sci-libs/mpfi/mpfi-1.5.3.ebuild
+++ b/sci-libs/mpfi/mpfi-1.5.3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://gforge.inria.fr/frs/download.php/37331/${P}.tar.bz2;
 
 LICENSE="GPL-2"
 SLOT="0"
-KEYWORDS="~amd64 x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 x86 ~amd64-linux ~x86-linux"
 
 DEPEND="
>=dev-libs/gmp-4.1.2:0=

[gentoo-commits] repo/gentoo:master commit in: sci-libs/mpfi/

2020-01-01 Thread Agostino Sarubbo 
commit: 75899e2185645efbced3363056fb295963e13179
Author: Agostino Sarubbo  gentoo  org>
AuthorDate: Wed Jan  1 14:04:49 2020 +
Commit: Agostino Sarubbo  gentoo  org>
CommitDate: Wed Jan  1 14:04:49 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=75899e21

sci-libs/mpfi: x86 stable wrt bug #703114

Package-Manager: Portage-2.3.79, Repoman-2.3.16
RepoMan-Options: --include-arches="x86"
Signed-off-by: Agostino Sarubbo  gentoo.org>

 sci-libs/mpfi/mpfi-1.5.3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci-libs/mpfi/mpfi-1.5.3.ebuild b/sci-libs/mpfi/mpfi-1.5.3.ebuild
index f1c184f6bfe..ee7870257b1 100644
--- a/sci-libs/mpfi/mpfi-1.5.3.ebuild
+++ b/sci-libs/mpfi/mpfi-1.5.3.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://gforge.inria.fr/frs/download.php/37331/${P}.tar.bz2;
 
 LICENSE="GPL-2"
 SLOT="0"
-KEYWORDS="~amd64 ~x86 ~amd64-linux ~x86-linux"
+KEYWORDS="~amd64 x86 ~amd64-linux ~x86-linux"
 
 DEPEND="
>=dev-libs/gmp-4.1.2:0=

[gentoo-commits] repo/gentoo:master commit in: sci-libs/mpfi/

2020-01-01 Thread David Seifert 
commit: 09bf573ba60af609d172744fe89185ef58f76f0b
Author: David Seifert  gentoo  org>
AuthorDate: Wed Jan  1 11:03:10 2020 +
Commit: David Seifert  gentoo  org>
CommitDate: Wed Jan  1 11:03:10 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=09bf573b

sci-libs/mpfi: Remove USE="static-libs"

Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: David Seifert  gentoo.org>

 sci-libs/mpfi/mpfi-1.5.3.ebuild | 11 ---
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/sci-libs/mpfi/mpfi-1.5.3.ebuild b/sci-libs/mpfi/mpfi-1.5.3.ebuild
index f3981fb6316..f1c184f6bfe 100644
--- a/sci-libs/mpfi/mpfi-1.5.3.ebuild
+++ b/sci-libs/mpfi/mpfi-1.5.3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2020 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -12,7 +12,6 @@ 
SRC_URI="https://gforge.inria.fr/frs/download.php/37331/${P}.tar.bz2;
 LICENSE="GPL-2"
 SLOT="0"
 KEYWORDS="~amd64 ~x86 ~amd64-linux ~x86-linux"
-IUSE="static-libs"
 
 DEPEND="
>=dev-libs/gmp-4.1.2:0=
@@ -20,14 +19,12 @@ DEPEND="
 RDEPEND="${DEPEND}"
 
 my_src_configure() {
-   ECONF_SOURCE="${S}" econf \
-   $(use_enable static-libs static)
+   econf --disable-static
 }
 
 my_src_install() {
default
 
-   if ! use static-libs; then
-   find "${D}" -name '*.la' -delete || die
-   fi
+   # no static archives
+   find "${D}" -name '*.la' -delete || die
 }

[gentoo-commits] repo/gentoo:master commit in: sci-libs/mpfi/

2019-04-06 Thread David Seifert 
commit: 816535e88e38b049df6358aae11968e0d64ded51
Author: David Seifert  gentoo  org>
AuthorDate: Sat Apr  6 12:53:53 2019 +
Commit: David Seifert  gentoo  org>
CommitDate: Sat Apr  6 12:53:53 2019 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=816535e8

sci-libs/mpfi: Version bump to 1.5.3

Closes: https://bugs.gentoo.org/659168
Package-Manager: Portage-2.3.62, Repoman-2.3.12
Signed-off-by: David Seifert  gentoo.org>

 sci-libs/mpfi/Manifest  |  1 +
 sci-libs/mpfi/mpfi-1.5.3.ebuild | 33 +
 2 files changed, 34 insertions(+)

diff --git a/sci-libs/mpfi/Manifest b/sci-libs/mpfi/Manifest
index 2924f27c731..8a40087aecb 100644
--- a/sci-libs/mpfi/Manifest
+++ b/sci-libs/mpfi/Manifest
@@ -1 +1,2 @@
 DIST mpfi-1.5.1.tar.bz2 365467 BLAKE2B 
9f9a74f44ef9738f875faff7885da6404752d4687a19a85e877195fe2955e27a96192849b6c8ff190c29b7535b72027151cb98f46edf3871c9bb3f4694360fe1
 SHA512 
498f8b2e114e71c0600f601e4bfef21011e46434d6795e3cd999d38ea9a3d4c66cad2d27e7899629ae422a91b6a776dad2fdbd7c93d51a56f5cfc4ab0e3aeca1
+DIST mpfi-1.5.3.tar.bz2 447256 BLAKE2B 
67bb9af362ec96c015571cbdaba09befc2241e0113b6177dd76eec97b619bbf9c924ba4d16583df664cafdb1a78c8700712e30633e91e5ae6f1d5e084c3ede5c
 SHA512 
9c3cdf665fccff8b383c96827f4acb7aa62efdf7854cff271455273f00f8e7ecf84fbe191b02e5f51fe067aaae564fd2a0add062070ff5c1f542d61a021f967d

diff --git a/sci-libs/mpfi/mpfi-1.5.3.ebuild b/sci-libs/mpfi/mpfi-1.5.3.ebuild
new file mode 100644
index 000..f3981fb6316
--- /dev/null
+++ b/sci-libs/mpfi/mpfi-1.5.3.ebuild
@@ -0,0 +1,33 @@
+# Copyright 1999-2019 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit out-of-source
+
+DESCRIPTION="Multiple precision interval arithmetic library based on MPFR"
+HOMEPAGE="http://perso.ens-lyon.fr/nathalie.revol/software.html;
+SRC_URI="https://gforge.inria.fr/frs/download.php/37331/${P}.tar.bz2;
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~x86 ~amd64-linux ~x86-linux"
+IUSE="static-libs"
+
+DEPEND="
+   >=dev-libs/gmp-4.1.2:0=
+   >=dev-libs/mpfr-2.4:0="
+RDEPEND="${DEPEND}"
+
+my_src_configure() {
+   ECONF_SOURCE="${S}" econf \
+   $(use_enable static-libs static)
+}
+
+my_src_install() {
+   default
+
+   if ! use static-libs; then
+   find "${D}" -name '*.la' -delete || die
+   fi
+}