* [gentoo-commits] gentoo-x86 commit in dev-haskell/minisat: minisat-0.1.2.ebuild metadata.xml ChangeLog
@ 2015-08-01 11:51 Sergei Trofimovich (slyfox)
0 siblings, 0 replies; only message in thread
From: Sergei Trofimovich (slyfox) @ 2015-08-01 11:51 UTC (permalink / raw
To: gentoo-commits
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 <slyfox@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.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-08-01 11:51 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-08-01 11:51 [gentoo-commits] gentoo-x86 commit in dev-haskell/minisat: minisat-0.1.2.ebuild metadata.xml ChangeLog Sergei Trofimovich (slyfox)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox