| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Don't use "with licenses;" for single licences | Tobias Geerinckx-Rice | 2015-05-28 |
| | | | | | And don't use square brackets on such lines. | ||
| * | boost: Remove boost.lib | William A. Kennington III | 2014-11-02 |
| | | |||
| * | boost: Update depdendent packages | William A. Kennington III | 2014-09-21 |
| | | |||
| * | STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays). | Petr Rockai | 2014-01-25 |