Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | iprover: 2018_Jul_24_11h -> 3.1 | Jannik Vierling | 2020-02-09 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | treewide: use ${stdenv.shell} instead of /bin/sh where possible | rnhmjoj | 2019-01-16 |
* | iprover: 2.5 -> 2018_Jul_24_11h | Gabriel Ebner | 2018-11-21 |
* | 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 |