Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 2021-01-11 |
* | treewide: remove enableParallelBuilding = true if using cmake | Ben Siraphob | 2021-01-03 |
* | minisat: 2.2.0 -> 2.2.1 | Franz Pletz | 2019-12-30 |
* | stp: 2.2.0 -> 2.3.3 | Jonathan Ringer | 2019-08-26 |
* | 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 |