| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | iprover: 0.8.1 -> 2.5 | Gabriel Ebner | 2017-07-17 |
| * | iprover: reimplement using mkDerivation | Joachim Fasting | 2015-11-24 |
| * | Fix broken license references. | Peter Simons | 2014-07-28 |
| * | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 2014-07-28 |
| * | Add package versions to some of the packages or fix existing ones to conform ... | Evgeny Egorochkin | 2013-06-07 |
| * | Fix bad URLs lacking a scheme | Eelco Dolstra | 2013-01-14 |
| * | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 2012-01-18 |
| * | Adding iProver | Michael Raskin | 2010-12-04 |