| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |