summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKacper Kowalik <xarthisius@gentoo.org>2011-04-10 08:40:59 +0000
committerKacper Kowalik <xarthisius@gentoo.org>2011-04-10 08:40:59 +0000
commit96b9b9836ba1a91887a9b6d076c04740cf2a4fd9 (patch)
tree3089aedabe4d258d99204047213392d7a2077ff5 /sci-mathematics
parentRemove IUSE='prof' since it only adds -pg to flags, simplify 'if' logic, fix ... (diff)
downloadgentoo-2-96b9b9836ba1a91887a9b6d076c04740cf2a4fd9.tar.gz
gentoo-2-96b9b9836ba1a91887a9b6d076c04740cf2a4fd9.tar.bz2
gentoo-2-96b9b9836ba1a91887a9b6d076c04740cf2a4fd9.zip
Remove IUSE='prof' since it only adds -pg to flags, simplify 'if' logic, fix quotes, respect LDFLAGS, add missing dies, move variables definitions to pkg_setup, use emake instead of gmake, use dodoc for pdf file. Drop old.
(Portage version: 2.2.0_alpha29/cvs/Linux x86_64, signed Manifest commit with key B3957714)
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/minisat/Manifest18
1 files changed, 15 insertions, 3 deletions
diff --git a/sci-mathematics/minisat/Manifest b/sci-mathematics/minisat/Manifest
index c325ec3d0e06..213b0e50903f 100644
--- a/sci-mathematics/minisat/Manifest
+++ b/sci-mathematics/minisat/Manifest
@@ -1,5 +1,17 @@
+-----BEGIN PGP SIGNED MESSAGE-----
+Hash: SHA1
+
DIST MiniSat.pdf 327416 RMD160 3b611bf17b2419525303527f93ef06bb3bb9d93b SHA1 8c17a48b2a93780d56bc2a3da5ddf5b9fce3572a SHA256 53197dbd783c924a2627d75e305706297988494265bd5e5ec873840e5d797ac4
DIST minisat-2.2.0.tar.gz 43879 RMD160 169ec9116befa9067db9076d26309f7e9ab408dd SHA1 dfc25898bf40e00cf04252a42176e0c0600fbc90 SHA256 92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808
-EBUILD minisat-2.2.0-r1.ebuild 1874 RMD160 5b957fcf0fac6554385b0af0d1d3cbf01c132f93 SHA1 05497b4ae692651a6d9c8ff6ebd05184f728909e SHA256 92db3259b35fd7534f57d0846cbcf82fb836983e5adc3880ab078ae5e6bfebdb
-MISC ChangeLog 837 RMD160 b2ca271f784e6b5fbc3b578904cb7a4a4ffb88ae SHA1 a43b302eabf72645669341d3672ef58d140e004d SHA256 1e858399f4c1443cb9d632f08d39ffcd55aab03ed2ec8a6eef13ee3206e22fd7
-MISC metadata.xml 385 RMD160 c3c54db2820acad2a21a2220d0b019609befff70 SHA1 b8aaaf15339df6a4a9ad0e5188582b7096d9ec87 SHA256 8985932b4ea92f71ffad7bde8c70dd42a7a2f49f8ed007969c08fbf420f96cc9
+EBUILD minisat-2.2.0-r2.ebuild 1665 RMD160 7a7b271db6f39addf38f06816afceaaae062c9e6 SHA1 a60f7d33fb2482f82bcdef54a8272ffba10d6551 SHA256 e10ee805ee4f3310aab96f25c5475aac9c7b303efc4de0aa5d0d135fb72ce32b
+MISC ChangeLog 1225 RMD160 fa70730cd8be4fad6d7534f8913127608290227d SHA1 61c7583c8e5d64c489d5afae39e950b815f7da06 SHA256 a5cbaab94ca444f11b79e9b6f6e33f4b6deda2eb055c36645840e3149517c730
+MISC metadata.xml 330 RMD160 6e83685aa7b33c94cbf0ed0061eff516ee0541bd SHA1 9f4cb95419ec002bad3a371881805a974ba1039a SHA256 70118d36c9752da5de338182725e298062fec6056f02de207b023f0f109e2a3b
+-----BEGIN PGP SIGNATURE-----
+Version: GnuPG v2.0.17 (GNU/Linux)
+
+iJwEAQECAAYFAk2hbRoACgkQIiMqcbOVdxS2pQP8DcOQQzLoSWvFvTXCtIf9TBUw
+EHroC9Ee3pMQ0Q8a8HWcShkIpxXFm8EBN48BK32sRneTYAnqlzdVpyoiFdg+deH+
+eG+VZb0udftyvdspt9IwsXXfSICGRXp4Z89demnZTT+M7Kch3o38wZGvyGa5NI2Z
+UlkJMqECaVR9Z6GhgzE=
+=o1sH
+-----END PGP SIGNATURE-----