diff options
| author |   Steve Arnold <nerdboy@gentoo.org> | 2011-04-10 08:03:54 +0000 |
|---|---|---|
| committer | Steve Arnold <nerdboy@gentoo.org> | 2011-04-10 08:03:54 +0000 |
| commit | ce35f10056cb003a8ad4f7226c4665c4cd9123ab (patch) | |
| tree | ea897f9fe8c8fa8593ba95cca4e4ad43332b6f26 /sci-mathematics | |
| parent | Updated include files to proper directory structure. (diff) | |
| download | gentoo-2-ce35f10056cb003a8ad4f7226c4665c4cd9123ab.tar.gz gentoo-2-ce35f10056cb003a8ad4f7226c4665c4cd9123ab.tar.bz2 gentoo-2-ce35f10056cb003a8ad4f7226c4665c4cd9123ab.zip | |
Updated include files to proper directory structure.
(Portage version: 2.1.9.45/cvs/Linux x86_64, unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/minisat/Manifest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/minisat/Manifest b/sci-mathematics/minisat/Manifest index 5f0138df29b2..c325ec3d0e06 100644 --- a/sci-mathematics/minisat/Manifest +++ b/sci-mathematics/minisat/Manifest @@ -1,5 +1,5 @@ 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 1748 RMD160 5e19a4eb129b88a905cbd7405b5cd7d578b62a2f SHA1 17f8c5379ae4a25bb10e99cb71c5cd4c03dc2b5b SHA256 c77c1cfec049443ddc27be5ac70cc9bdcb3d311edf45bbbdddf832fad9034cde -MISC ChangeLog 666 RMD160 67b96bf1d3443831a54a6eaef182b0014db0e04b SHA1 07f2c5dd5626da784357ecd7b12cec66f658f43b SHA256 6087b4090692a7f86b616ffc99b969f7c6925e603835532b71a29aed8dfce5b1 +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 |