Commit message (Expand) | Author | Age | |
---|---|---|---|
* | pkgs: refactor needless quoting of homepage meta attribute (#27809) | Silvan Mosberger | 2017-08-01 |
* | hol: mark as broken | Robin Gloster | 2017-03-14 |
* | treewide: Add lots of meta.platforms | Tuomas Tynkkynen | 2016-08-02 |
* | fontconfig: split into multiple outputs | Vladimír Čunát | 2015-10-05 |
* | hol: k.8 -> k.10, closes #8477 | laMudri | 2015-06-24 |
* | Fix license attribute of many bsd-like licensed packages | Pascal Wittmann | 2014-12-21 |
* | Fix HOL documentation build | Karn Kallio | 2013-11-16 |
* | HOL: update to k.8 | Tom Ridge | 2013-11-16 |
* | hol: fix access to dot | Peter Simons | 2013-10-11 |
* | hol: update to version k.8 | Peter Simons | 2013-10-10 |
* | More description fixes | Bjørn Forsman | 2013-10-06 |
* | Upgrading HOL4 to version k.7. | Russell O'Connor | 2012-03-20 |
* | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 2012-01-18 |
* | pkgs/applications/science/logic/hol: initial version | Peter Simons | 2010-08-25 |