jlec 15/06/28 19:31:40 Modified: kodkod-1.5.2.ebuild metadata.xml ChangeLog Log: Add missing eclass (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key E9402A79B03529A2!)
Revision Changes Path 1.6 sci-mathematics/kodkod/kodkod-1.5.2.ebuild file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/kodkod/kodkod-1.5.2.ebuild?rev=1.6&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/kodkod/kodkod-1.5.2.ebuild?rev=1.6&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/kodkod/kodkod-1.5.2.ebuild?r1=1.5&r2=1.6 Index: kodkod-1.5.2.ebuild =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/kodkod/kodkod-1.5.2.ebuild,v retrieving revision 1.5 retrieving revision 1.6 diff -u -r1.5 -r1.6 --- kodkod-1.5.2.ebuild 3 Jan 2015 12:26:50 -0000 1.5 +++ kodkod-1.5.2.ebuild 28 Jun 2015 19:31:40 -0000 1.6 @@ -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 @@ 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"; 1.3 sci-mathematics/kodkod/metadata.xml file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/kodkod/metadata.xml?rev=1.3&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/kodkod/metadata.xml?rev=1.3&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/kodkod/metadata.xml?r1=1.2&r2=1.3 Index: metadata.xml =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/kodkod/metadata.xml,v retrieving revision 1.2 retrieving revision 1.3 diff -u -r1.2 -r1.3 --- metadata.xml 20 Jan 2013 13:17:39 -0000 1.2 +++ metadata.xml 28 Jun 2015 19:31:40 -0000 1.3 @@ -1,11 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> -<maintainer> - <email>[email protected]</email> -</maintainer> -<herd>sci-mathematics</herd> -<longdescription lang='en'> + <maintainer> + <email>[email protected]</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 1.7 sci-mathematics/kodkod/ChangeLog file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/kodkod/ChangeLog?rev=1.7&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/kodkod/ChangeLog?rev=1.7&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/kodkod/ChangeLog?r1=1.6&r2=1.7 Index: ChangeLog =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/kodkod/ChangeLog,v retrieving revision 1.6 retrieving revision 1.7 diff -u -r1.6 -r1.7 --- ChangeLog 3 Jan 2015 12:26:50 -0000 1.6 +++ ChangeLog 28 Jun 2015 19:31:40 -0000 1.7 @@ -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 <[email protected]> kodkod-1.5.2.ebuild, + metadata.xml: + Add missing eclass 03 Jan 2015; Michał Górny <[email protected]> kodkod-1.5.2.ebuild: Use python-any-r1 for waf.
