| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | A Haskell bundle of the Minisat SAT solver, a depend for new ↵ |   Sergei Trofimovich | 2015-08-01 | 4 | -0/+59 |
| dev-haskell/uuagc-0.9.52.1. Package-Manager: portage-2.2.20/cvs/Linux x86_64 Manifest-Sign-Key: 0x611FF3AA | |||||
GitWeb