| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2017-05-22 | stp: 2014.01.07 -> 2.2.0 | Jörg Thalheim | 1 | -17/+26 |
| 2015-05-28 | Don't use "with licenses;" for single licences | Tobias Geerinckx-Rice | 1 | -1/+1 |
| 2014-11-02 | boost: Remove boost.lib | William A. Kennington III | 1 | -1/+1 |
| 2014-09-21 | boost: Update depdendent packages | William A. Kennington III | 1 | -1/+1 |
| 2014-01-25 | STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays). | Petr Rockai | 1 | -0/+23 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |