From 55e9f84bcc95b49a5ac2afd117ae66a330e89f70 Mon Sep 17 00:00:00 2001 From: Steve Arnold Date: Sat, 9 Apr 2011 19:11:40 +0000 Subject: New ebuild for minisat, a small fast SAT solver. Look it up... ;) (Portage version: 2.1.9.45/cvs/Linux x86_64, unsigned Manifest commit) --- sci-mathematics/minisat/Manifest | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 sci-mathematics/minisat/Manifest (limited to 'sci-mathematics') diff --git a/sci-mathematics/minisat/Manifest b/sci-mathematics/minisat/Manifest new file mode 100644 index 000000000000..a406f0ee33a7 --- /dev/null +++ b/sci-mathematics/minisat/Manifest @@ -0,0 +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.ebuild 1731 RMD160 35fb2aba41c1ba5f8abe19c33ffaa71a09c1e77e SHA1 bd2d664fb533e411e66a7dd6f6cd77d003900e67 SHA256 dc40227cf8c566a1c6c5230dd470f1a7d345483d548df17729309a5d419df281 +MISC ChangeLog 473 RMD160 b861a012b8a4fab3daac50646156596e706dde7d SHA1 d055b737f5a2e7bae9c52d8feb9110b7db20c547 SHA256 d928a5231e4b3030f586227f1fd6ae6f0fb5a0b58a397fcc568206f495087954 +MISC metadata.xml 385 RMD160 c3c54db2820acad2a21a2220d0b019609befff70 SHA1 b8aaaf15339df6a4a9ad0e5188582b7096d9ec87 SHA256 8985932b4ea92f71ffad7bde8c70dd42a7a2f49f8ed007969c08fbf420f96cc9 -- cgit v1.2.3-65-gdbad