diff options
| -rw-r--r-- | sci-mathematics/otter/ChangeLog | 8 | ||||
| -rw-r--r-- | sci-mathematics/otter/otter-3.3-r1.ebuild | 6 | ||||
| -rw-r--r-- | sci-mathematics/otter/otter-3.3-r2.ebuild | 6 |
3 files changed, 12 insertions, 8 deletions
diff --git a/sci-mathematics/otter/ChangeLog b/sci-mathematics/otter/ChangeLog index b6409c539c60..2a61ed02cc15 100644 --- a/sci-mathematics/otter/ChangeLog +++ b/sci-mathematics/otter/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/otter -# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/ChangeLog,v 1.15 2011/07/16 17:08:50 jlec Exp $ +# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/ChangeLog,v 1.16 2014/08/10 20:23:55 slyfox Exp $ + + 10 Aug 2014; Sergei Trofimovich <slyfox@gentoo.org> otter-3.3-r1.ebuild, + otter-3.3-r2.ebuild: + QA: drop trailing '.' from DESCRIPTION 16 Jul 2011; Justin Lecher <jlec@gentoo.org> files/otter-3.3-gold.patch: Remove unneeded linking against libXm, #373701 diff --git a/sci-mathematics/otter/otter-3.3-r1.ebuild b/sci-mathematics/otter/otter-3.3-r1.ebuild index 0058365dfeac..293b3214acc9 100644 --- a/sci-mathematics/otter/otter-3.3-r1.ebuild +++ b/sci-mathematics/otter/otter-3.3-r1.ebuild @@ -1,8 +1,8 @@ -# Copyright 1999-2011 Gentoo Foundation +# Copyright 1999-2014 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3-r1.ebuild,v 1.8 2011/06/03 08:58:55 jlec Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3-r1.ebuild,v 1.9 2014/08/10 20:23:55 slyfox Exp $ -DESCRIPTION="An Automated Deduction System." +DESCRIPTION="An Automated Deduction System" HOMEPAGE="http://www.cs.unm.edu/~mccune/otter/" SRC_URI="http://www.cs.unm.edu/~mccune/otter/${P}.tar.gz" diff --git a/sci-mathematics/otter/otter-3.3-r2.ebuild b/sci-mathematics/otter/otter-3.3-r2.ebuild index 9ac06bcb31b0..2a3b7f026f82 100644 --- a/sci-mathematics/otter/otter-3.3-r2.ebuild +++ b/sci-mathematics/otter/otter-3.3-r2.ebuild @@ -1,12 +1,12 @@ -# Copyright 1999-2011 Gentoo Foundation +# Copyright 1999-2014 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3-r2.ebuild,v 1.2 2011/06/03 08:58:54 jlec Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/otter/otter-3.3-r2.ebuild,v 1.3 2014/08/10 20:23:55 slyfox Exp $ EAPI=4 inherit eutils -DESCRIPTION="An Automated Deduction System." +DESCRIPTION="An Automated Deduction System" HOMEPAGE="http://www.cs.unm.edu/~mccune/otter/" SRC_URI="http://www.cs.unm.edu/~mccune/otter/${P}.tar.gz" |