| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: http -> https sources (#42676) | Silvan Mosberger | 2018-06-28 |
| * | pkgs: refactor needless quoting of homepage meta attribute (#27809) | Silvan Mosberger | 2017-08-01 |
| * | Disable bunch of non-compiling packages on Darwin | Tuomas Tynkkynen | 2016-09-01 |
| * | Use general hardening flag toggle lists | Franz Pletz | 2016-03-05 |
| * | prover9: turn off format hardening | Robin Gloster | 2016-02-08 |
| * | More description fixes | Bjørn Forsman | 2013-10-06 |
| * | Add package versions to some of the packages or fix existing ones to conform ... | Evgeny Egorochkin | 2013-06-07 |
| * | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 2012-01-18 |
| * | pkgs/applications/science/logic/prover9: fixed trivial syntax error | Peter Simons | 2010-08-26 |
| * | pkgs/applications/science/logic/prover9: updated homepage and license | Peter Simons | 2010-08-26 |
| * | pkgs/applications/science/logic/prover9: initial version | Peter Simons | 2010-08-26 |