From c0a9f2400f704c438b0cef4f4105e7bb6c3cbbff Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 22 Aug 2022 14:43:09 +0100 Subject: gentoo auto-resync : 22:08:2022 - 14:43:09 --- dev-haskell/lazysmallcheck/Manifest | 3 --- .../lazysmallcheck/lazysmallcheck-0.6-r1.ebuild | 24 ---------------------- dev-haskell/lazysmallcheck/metadata.xml | 17 --------------- 3 files changed, 44 deletions(-) delete mode 100644 dev-haskell/lazysmallcheck/Manifest delete mode 100644 dev-haskell/lazysmallcheck/lazysmallcheck-0.6-r1.ebuild delete mode 100644 dev-haskell/lazysmallcheck/metadata.xml (limited to 'dev-haskell/lazysmallcheck') diff --git a/dev-haskell/lazysmallcheck/Manifest b/dev-haskell/lazysmallcheck/Manifest deleted file mode 100644 index c39b759dbf6d..000000000000 --- a/dev-haskell/lazysmallcheck/Manifest +++ /dev/null @@ -1,3 +0,0 @@ -DIST lazysmallcheck-0.6.tar.gz 16862 BLAKE2B 8099de24e51e19106da50d30e370ea71fea42da2d25641b7887d06e57a341ae10f5b440b7431ab50beffba97f9fc22cc517f7a1e8f12be4341769559ead19348 SHA512 cd9e7d53686587828b5be892bacbd902b4e916d01e65c56d7634717c00353f9d0b81f92fcae9fab5008361dc7257da50a1429568f8265136883d4cca942f954d -EBUILD lazysmallcheck-0.6-r1.ebuild 553 BLAKE2B 37c6499e85fd2b15e561ee84dd03b6865518f38eaa97ae3148c5920cc68d4aabf7a8a1ad9ce3d58f692c39b369796a1fd6c9f82fc4ec30a9b25500e53f33cce9 SHA512 f8e4ee37bcd22c71d8005e1183aa1556acd2d247785343e7b5c6175cfec6b982ce84b2e407564b13374042d5d89e97e706d3111f410c58975915e09600322475 -MISC metadata.xml 721 BLAKE2B d8309e95d51debbbc6fbe1dc255282a6eb138afd00b357193669e8aab3be23198ec2d548eb0857fe28f6cfdd455c9231cf0963d54f061804cae2d64f76e9d2d9 SHA512 b3d5b887c2508db20b0b08421f3753d20100584bea0dd8fd990995461e40bcf5b861671132c0203c449e4ac52a5f2621a0584f07cbf6c98c203c434b0329beab diff --git a/dev-haskell/lazysmallcheck/lazysmallcheck-0.6-r1.ebuild b/dev-haskell/lazysmallcheck/lazysmallcheck-0.6-r1.ebuild deleted file mode 100644 index 2495ff0d6e00..000000000000 --- a/dev-haskell/lazysmallcheck/lazysmallcheck-0.6-r1.ebuild +++ /dev/null @@ -1,24 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -# ebuild generated by hackport 0.6.1 - -CABAL_FEATURES="lib profile haddock hoogle hscolour" -inherit haskell-cabal - -DESCRIPTION="A library for demand-driven testing of Haskell programs" -HOMEPAGE="http://www.cs.york.ac.uk/~mfn/lazysmallcheck/" -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 -" diff --git a/dev-haskell/lazysmallcheck/metadata.xml b/dev-haskell/lazysmallcheck/metadata.xml deleted file mode 100644 index 2c208c5ea386..000000000000 --- a/dev-haskell/lazysmallcheck/metadata.xml +++ /dev/null @@ -1,17 +0,0 @@ - - - - - haskell@gentoo.org - Gentoo Haskell - - - Lazy SmallCheck is a library for exhaustive, demand-driven testing of - Haskell programs. It is based on the idea that if a property holds - for a partially-defined input then it must also hold for all - fully-defined refinements of the that input. Compared to ``eager'' - input generation as in SmallCheck, Lazy SmallCheck may require - significantly fewer test-cases to verify a property for all inputs up - to a given depth. - - -- cgit v1.2.3