Commit message (Expand) | Author | Age | |
---|---|---|---|
* | maintainers: remove mornfall from packages | Yegor Timoshenko | 2018-01-17 |
* | stp: disable parallel building | Orivej Desh | 2017-12-07 |
* | stp: 2014.01.07 -> 2.2.0 | Jörg Thalheim | 2017-05-22 |
* | Don't use "with licenses;" for single licences | Tobias Geerinckx-Rice | 2015-05-28 |
* | 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 |