Archives
Archives
| From: | "Sergei Trofimovich (slyfox)" <slyfox@g.o> |
|---|---|
| To: | gentoo-commits@l.g.o |
| Subject: | [gentoo-commits] gentoo-x86 commit in dev-haskell/minisat: minisat-0.1.2.ebuild metadata.xml ChangeLog |
| Date: | Sat, 01 Aug 2015 11:51:26 |
| Message-Id: | 20150801115123.3B71FED@oystercatcher.gentoo.org |
| 1 | slyfox 15/08/01 11:51:23 |
| 2 | |
| 3 | Added: minisat-0.1.2.ebuild metadata.xml ChangeLog |
| 4 | Log: |
| 5 | A Haskell bundle of the Minisat SAT solver, a depend for new dev-haskell/uuagc-0.9.52.1. |
| 6 | |
| 7 | (Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA) |
| 8 | |
| 9 | Revision Changes Path |
| 10 | 1.1 dev-haskell/minisat/minisat-0.1.2.ebuild |
| 11 | |
| 12 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/minisat/minisat-0.1.2.ebuild?rev=1.1&view=markup |
| 13 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/minisat/minisat-0.1.2.ebuild?rev=1.1&content-type=text/plain |
| 14 | |
| 15 | Index: minisat-0.1.2.ebuild |
| 16 | =================================================================== |
| 17 | # Copyright 1999-2015 Gentoo Foundation |
| 18 | # Distributed under the terms of the GNU General Public License v2 |
| 19 | # $Header: /var/cvsroot/gentoo-x86/dev-haskell/minisat/minisat-0.1.2.ebuild,v 1.1 2015/08/01 11:51:23 slyfox Exp $ |
| 20 | |
| 21 | EAPI=5 |
| 22 | |
| 23 | # ebuild generated by hackport 0.4.5.9999 |
| 24 | |
| 25 | CABAL_FEATURES="lib profile haddock hoogle hscolour" |
| 26 | inherit haskell-cabal |
| 27 | |
| 28 | DESCRIPTION="A Haskell bundle of the Minisat SAT solver" |
| 29 | HOMEPAGE="http://hackage.haskell.org/package/minisat" |
| 30 | SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz" |
| 31 | |
| 32 | LICENSE="BSD" |
| 33 | SLOT="0/${PV}" |
| 34 | KEYWORDS="~amd64 ~x86" |
| 35 | IUSE="" |
| 36 | |
| 37 | RDEPEND="dev-haskell/async:=[profile?] |
| 38 | >=dev-lang/ghc-7.4.1:= |
| 39 | sys-devel/gcc[cxx] |
| 40 | " |
| 41 | DEPEND="${RDEPEND} |
| 42 | >=dev-haskell/cabal-1.6 |
| 43 | " |
| 44 | |
| 45 | |
| 46 | |
| 47 | 1.1 dev-haskell/minisat/metadata.xml |
| 48 | |
| 49 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/minisat/metadata.xml?rev=1.1&view=markup |
| 50 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/minisat/metadata.xml?rev=1.1&content-type=text/plain |
| 51 | |
| 52 | Index: metadata.xml |
| 53 | =================================================================== |
| 54 | <?xml version="1.0" encoding="UTF-8"?> |
| 55 | <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
| 56 | <pkgmetadata> |
| 57 | <herd>haskell</herd> |
| 58 | <longdescription> |
| 59 | A Haskell bundle of the Minisat SAT solver |
| 60 | </longdescription> |
| 61 | </pkgmetadata> |
| 62 | |
| 63 | |
| 64 | |
| 65 | 1.1 dev-haskell/minisat/ChangeLog |
| 66 | |
| 67 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/minisat/ChangeLog?rev=1.1&view=markup |
| 68 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/minisat/ChangeLog?rev=1.1&content-type=text/plain |
| 69 | |
| 70 | Index: ChangeLog |
| 71 | =================================================================== |
| 72 | # ChangeLog for dev-haskell/minisat |
| 73 | # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 |
| 74 | # $Header: /var/cvsroot/gentoo-x86/dev-haskell/minisat/ChangeLog,v 1.1 2015/08/01 11:51:23 slyfox Exp $ |
| 75 | |
| 76 | *minisat-0.1.2 (01 Aug 2015) |
| 77 | |
| 78 | 01 Aug 2015; Sergei Trofimovich <slyfox@g.o> +metadata.xml, |
| 79 | +minisat-0.1.2.ebuild: |
| 80 | A Haskell bundle of the Minisat SAT solver, a depend for new dev- |
| 81 | haskell/uuagc-0.9.52.1. |