minisat2 2.2.1-3
Transitional package for minisat
This is a transitional package for minisat, and can be safely removed after
the installation is complete.
Homepage:
Section:
science
Repository:
Uploaded by:
Depends:
Size:
5036 bytes
MD5sum:
e6da5f3ff37759f2607d09d5a942a8f3
Source:
Status:
Package imported
QA Quarantine ends:
ENDED 2012-06-28 15:17
Package events
| Event type | User | Timestamp |
| Package imported | System | 2012-06-28 15:46 UTC |
| Build succeeded | System | 2012-06-28 15:18 UTC |
| Building | System | 2012-06-28 15:17 UTC |
Comments:
There have been no comments so far.
Comments:
You must be logged in to make comments.