From 9452a6e87b6c2c70513bc47a2470bf9f1168920e Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 13 Jun 2020 10:39:22 +0100 Subject: gentoo resync : 13.06.2020 --- dev-haskell/minisat/Manifest | 2 +- dev-haskell/minisat/minisat-0.1.2.ebuild | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'dev-haskell/minisat') diff --git a/dev-haskell/minisat/Manifest b/dev-haskell/minisat/Manifest index 0b89bac193f2..188874f1d08d 100644 --- a/dev-haskell/minisat/Manifest +++ b/dev-haskell/minisat/Manifest @@ -1,3 +1,3 @@ DIST minisat-0.1.2.tar.gz 45469 BLAKE2B 69a422874c40ec05f97af75ab63d263faafaa4623aa1fe9a40059d2285742ee11ee2fa14aca7ffb8b8503838f0612abea7e8c4b26826dd230abb422fe6c96731 SHA512 557f5f8412adb84784a1edab4981bf5029dea5b0ac731eca2e464f3573ba537c6696613bf494f08cfb7f1b53468f563f758138b60c00edaf046d7ce74f023a85 -EBUILD minisat-0.1.2.ebuild 599 BLAKE2B 3009fc26397da9988ee3e562d414a2969b507c915955fdb8c154239cd9a02f1896c2b1fcee5e80169fb5392f7a28ff01ef0ac61e1ca58e06fc50f8779b414d1e SHA512 92847a38320f5ade5840bae7c090ecfd540ce8c5da73936f0bac15ca79c63faf6e747077ffb538bf3893ede58089a6795322d1fb860b8b27317d88db5f83d280 +EBUILD minisat-0.1.2.ebuild 600 BLAKE2B a80bbcb0bb540c64c74b716ccc7665a9af6f44bf6eff81f536ca0106d9ef67f9b1c0c1f2b20535862595c205b7a09d81ef875907a9f7bbab0921b3df88e1128f SHA512 bd910892fcd8cddca507b4e81c0676a688178b14b4a84e92c313b6bfff76110ce72d03652d28d674f4ebd32b53dc070d28426ea007544deca43406b840865036 MISC metadata.xml 333 BLAKE2B dcac266d1f83e6cb24cad59bab7d13ceee049dcba5d646a760ed414ea002853776572932e2d5f719b318a38449013d94267d2eb3e871a5cdc83142c03e1682f5 SHA512 64be3fe72ce0fc005326ffa8d7c17f8512d5df3fef8aefb68413cbed051dd21a8271d9d856808b43c894e2b0de99f50f6b3b565dc7f260dc03e86bab23b8ca17 diff --git a/dev-haskell/minisat/minisat-0.1.2.ebuild b/dev-haskell/minisat/minisat-0.1.2.ebuild index 973c24be0eaf..ab72ae827094 100644 --- a/dev-haskell/minisat/minisat-0.1.2.ebuild +++ b/dev-haskell/minisat/minisat-0.1.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2019 Gentoo Authors +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -9,7 +9,7 @@ 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" +HOMEPAGE="https://hackage.haskell.org/package/minisat" SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz" LICENSE="BSD" -- cgit v1.2.3