slyfox 15/08/01 11:51:23 Added: minisat-0.1.2.ebuild metadata.xml ChangeLog Log: A Haskell bundle of the Minisat SAT solver, a depend for new dev-haskell/uuagc-0.9.52.1. (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)
Revision Changes Path 1.1 dev-haskell/minisat/minisat-0.1.2.ebuild file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/minisat/minisat-0.1.2.ebuild?rev=1.1&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/minisat/minisat-0.1.2.ebuild?rev=1.1&content-type=text/plain Index: minisat-0.1.2.ebuild =================================================================== # Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: /var/cvsroot/gentoo-x86/dev-haskell/minisat/minisat-0.1.2.ebuild,v 1.1 2015/08/01 11:51:23 slyfox Exp $ EAPI=5 # ebuild generated by hackport 0.4.5.9999 CABAL_FEATURES="lib profile haddock hoogle hscolour" inherit haskell-cabal DESCRIPTION="A Haskell bundle of the Minisat SAT solver" HOMEPAGE="http://hackage.haskell.org/package/minisat"; SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz" LICENSE="BSD" SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" IUSE="" RDEPEND="dev-haskell/async:=[profile?] >=dev-lang/ghc-7.4.1:= sys-devel/gcc[cxx] " DEPEND="${RDEPEND} >=dev-haskell/cabal-1.6 " 1.1 dev-haskell/minisat/metadata.xml file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/minisat/metadata.xml?rev=1.1&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/minisat/metadata.xml?rev=1.1&content-type=text/plain Index: metadata.xml =================================================================== <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";> <pkgmetadata> <herd>haskell</herd> <longdescription> A Haskell bundle of the Minisat SAT solver </longdescription> </pkgmetadata> 1.1 dev-haskell/minisat/ChangeLog file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/minisat/ChangeLog?rev=1.1&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/minisat/ChangeLog?rev=1.1&content-type=text/plain Index: ChangeLog =================================================================== # ChangeLog for dev-haskell/minisat # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 # $Header: /var/cvsroot/gentoo-x86/dev-haskell/minisat/ChangeLog,v 1.1 2015/08/01 11:51:23 slyfox Exp $ *minisat-0.1.2 (01 Aug 2015) 01 Aug 2015; Sergei Trofimovich <sly...@gentoo.org> +metadata.xml, +minisat-0.1.2.ebuild: A Haskell bundle of the Minisat SAT solver, a depend for new dev- haskell/uuagc-0.9.52.1.
