summaryrefslogtreecommitdiff
path: root/dev-haskell/minisat
diff options
context:
space:
mode:
Diffstat (limited to 'dev-haskell/minisat')
-rw-r--r--dev-haskell/minisat/Manifest2
-rw-r--r--dev-haskell/minisat/metadata.xml3
2 files changed, 1 insertions, 4 deletions
diff --git a/dev-haskell/minisat/Manifest b/dev-haskell/minisat/Manifest
index 188874f1d08d..afc8a0a6466d 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 600 BLAKE2B a80bbcb0bb540c64c74b716ccc7665a9af6f44bf6eff81f536ca0106d9ef67f9b1c0c1f2b20535862595c205b7a09d81ef875907a9f7bbab0921b3df88e1128f SHA512 bd910892fcd8cddca507b4e81c0676a688178b14b4a84e92c313b6bfff76110ce72d03652d28d674f4ebd32b53dc070d28426ea007544deca43406b840865036
-MISC metadata.xml 333 BLAKE2B dcac266d1f83e6cb24cad59bab7d13ceee049dcba5d646a760ed414ea002853776572932e2d5f719b318a38449013d94267d2eb3e871a5cdc83142c03e1682f5 SHA512 64be3fe72ce0fc005326ffa8d7c17f8512d5df3fef8aefb68413cbed051dd21a8271d9d856808b43c894e2b0de99f50f6b3b565dc7f260dc03e86bab23b8ca17
+MISC metadata.xml 249 BLAKE2B 84b809c265ff2a09d1f06c66d4797652ff4c64205d94323e07333ae0fbddcfb8c58d0176a8cc52bd37e9353371d987b9b473b9747cb082e1c2871ed80fcfa144 SHA512 ce055b41ff1c10209e88579fe21ce16550be7e9b21f87724564f06430aa6f478974f186a10c8ff7e92398f534c09109aeed57eae1c6d2b56b5c99ebfb64a0015
diff --git a/dev-haskell/minisat/metadata.xml b/dev-haskell/minisat/metadata.xml
index e14761e6d7da..b7878815d80d 100644
--- a/dev-haskell/minisat/metadata.xml
+++ b/dev-haskell/minisat/metadata.xml
@@ -5,7 +5,4 @@
<email>haskell@gentoo.org</email>
<name>Gentoo Haskell</name>
</maintainer>
- <longdescription>
- A Haskell bundle of the Minisat SAT solver
- </longdescription>
</pkgmetadata>