diff options
| author |   Justin Lecher <jlec@gentoo.org> | 2015-06-28 19:31:40 +0000 |
|---|---|---|
| committer | Justin Lecher <jlec@gentoo.org> | 2015-06-28 19:31:40 +0000 |
| commit | 6a5c813a1b1d07a6dd40ec8d784268159591eec1 (patch) | |
| tree | 957ef8ab3ceac46b66cc96a1ac7a017f7f58f93e /sci-mathematics | |
| parent | Remove old. (diff) | |
| download | gentoo-2-6a5c813a1b1d07a6dd40ec8d784268159591eec1.tar.gz gentoo-2-6a5c813a1b1d07a6dd40ec8d784268159591eec1.tar.bz2 gentoo-2-6a5c813a1b1d07a6dd40ec8d784268159591eec1.zip | |
Add missing eclass
(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key E9402A79B03529A2!)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/kodkod/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/kodkod/kodkod-1.5.2.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/kodkod/metadata.xml | 10 |
3 files changed, 12 insertions, 8 deletions
diff --git a/sci-mathematics/kodkod/ChangeLog b/sci-mathematics/kodkod/ChangeLog index 9b88a7606d6d..032b3722bf54 100644 --- a/sci-mathematics/kodkod/ChangeLog +++ b/sci-mathematics/kodkod/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/kodkod # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkod/ChangeLog,v 1.6 2015/01/03 12:26:50 mgorny Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkod/ChangeLog,v 1.7 2015/06/28 19:31:40 jlec Exp $ + + 28 Jun 2015; Justin Lecher <jlec@gentoo.org> kodkod-1.5.2.ebuild, + metadata.xml: + Add missing eclass 03 Jan 2015; Michał Górny <mgorny@gentoo.org> kodkod-1.5.2.ebuild: Use python-any-r1 for waf. diff --git a/sci-mathematics/kodkod/kodkod-1.5.2.ebuild b/sci-mathematics/kodkod/kodkod-1.5.2.ebuild index 403a155deddc..a4fbeffef3bf 100644 --- a/sci-mathematics/kodkod/kodkod-1.5.2.ebuild +++ b/sci-mathematics/kodkod/kodkod-1.5.2.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkod/kodkod-1.5.2.ebuild,v 1.5 2015/01/03 12:26:50 mgorny Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/kodkod/kodkod-1.5.2.ebuild,v 1.6 2015/06/28 19:31:40 jlec Exp $ EAPI="5" @@ -8,7 +8,7 @@ JAVA_PKG_IUSE="doc source" PYTHON_COMPAT=( python2_7 ) PYTHON_REQ_USE='threads(+)' -inherit java-pkg-2 python-any-r1 waf-utils +inherit eutils java-pkg-2 python-any-r1 waf-utils DESCRIPTION="a constraint solver for relational logic" HOMEPAGE="http://alloy.mit.edu/kodkod/index.html" diff --git a/sci-mathematics/kodkod/metadata.xml b/sci-mathematics/kodkod/metadata.xml index ad14c71b8a60..ff1b15318b9c 100644 --- a/sci-mathematics/kodkod/metadata.xml +++ b/sci-mathematics/kodkod/metadata.xml @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> -<maintainer> - <email>gienah@gentoo.org</email> -</maintainer> -<herd>sci-mathematics</herd> -<longdescription lang='en'> + <maintainer> + <email>gienah@gentoo.org</email> + </maintainer> + <herd>sci-mathematics</herd> + <longdescription lang="en"> Kodkod is an efficient SAT-based constraint solver for first order logic with relations, transitive closure, bit-vector arithmetic, and partial models. It provides analyses for both satisfiable and |