Skip to content

Commit

Permalink
dev-haskell/leancheck: add package
Browse files Browse the repository at this point in the history
Package-Manager: Portage-3.0.2, Repoman-2.3.23
Signed-off-by: Jack Todaro <[email protected]>
Closes: gentoo#17123
Signed-off-by: Sergei Trofimovich <[email protected]>
  • Loading branch information
solpeth authored and Sergei Trofimovich committed Aug 15, 2020
1 parent 5f86feb commit f2a5254
Show file tree
Hide file tree
Showing 3 changed files with 33 additions and 0 deletions.
1 change: 1 addition & 0 deletions dev-haskell/leancheck/Manifest
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
DIST leancheck-0.9.3.tar.gz 125801 BLAKE2B 4825d66ddc745a1ba6e20a28c7397ca33bab79e84899d5ed0f28d88f526f8415aad8b707b2e61de25ce482673d47f4771bc2cb1e402b846fff7552df49689837 SHA512 a5591e8f23318ae6097494a62998f1553fe975058827058f4d7400f723e601bcd92060c26fd5d9c60f1c1da51f97d74de0cf380ae5652c8c0721fabc2b4f5027
24 changes: 24 additions & 0 deletions dev-haskell/leancheck/leancheck-0.9.3.ebuild
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=7

# ebuild generated by hackport 0.6.6.9999

CABAL_FEATURES="lib profile haddock hoogle hscolour test-suite"
inherit haskell-cabal

DESCRIPTION="Enumerative property-based testing"
HOMEPAGE="https://github.com/rudymatela/leancheck#readme"
SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz"

LICENSE="BSD"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE=""

RDEPEND=">=dev-lang/ghc-7.4.1:=
"
DEPEND="${RDEPEND}
>=dev-haskell/cabal-1.18
"
8 changes: 8 additions & 0 deletions dev-haskell/leancheck/metadata.xml
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="project">
<email>[email protected]</email>
<name>Gentoo Haskell</name>
</maintainer>
</pkgmetadata>

0 comments on commit f2a5254

Please sign in to comment.