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