| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | opensmt: reimplement using mkDerivation | Joachim Fasting | 2015-11-24 |
| * | Mark a bunch of packages as broken or not supported on Darwin | Eelco Dolstra | 2014-08-08 |
| * | Fix broken license references. | Peter Simons | 2014-07-28 |
| * | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 2014-07-28 |
| * | Fix bad URLs lacking a scheme | Eelco Dolstra | 2013-01-14 |
| * | Adding OpenSMT | Michael Raskin | 2010-12-05 |