diff options
Diffstat (limited to 'sci-mathematics/pff/pff-8.4.ebuild')
| -rw-r--r-- | sci-mathematics/pff/pff-8.4.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/pff/pff-8.4.ebuild b/sci-mathematics/pff/pff-8.4.ebuild index 747366c36..5f0306daa 100644 --- a/sci-mathematics/pff/pff-8.4.ebuild +++ b/sci-mathematics/pff/pff-8.4.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2013 Gentoo Foundation +# Copyright 1999-2014 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ -EAPI="2" +EAPI="5" DESCRIPTION="Library for reasoning about floating point numbers in coq" HOMEPAGE="http://lipforge.ens-lyon.fr/www/pff/" |