Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linux | Will Dietz | 2018-04-30 |
* | pkgs: refactor needless quoting of homepage meta attribute (#27809) | Silvan Mosberger | 2017-08-01 |
* | Merge remote-tracking branch 'origin/master' into hardened-stdenv | Franz Pletz | 2016-05-18 |
|\ | |||
| * | Bring my stdenv.lib.maintainers user name in line with my github nick. | Peter Simons | 2016-05-16 |
* | | gprolog.i686-linux: disable pic hardening | Robin Gloster | 2016-04-05 |
|/ | |||
* | gprolog: patch hard-coded path to the temporary file /tmp/make.log | Peter Simons | 2014-01-21 |
* | gprolog: update to version 1.4.4, clean up installation layout, update licens... | Peter Simons | 2013-08-27 |
* | gprolog: disable parallel building to (hopefully) fix the weird error that oc... | Peter Simons | 2012-10-24 |
* | gprolog: update to version 1.4.1 | Peter Simons | 2012-10-24 |
* | gprolog: add myself as maintainer | Peter Simons | 2011-07-07 |
* | GNU Prolog 1.4.0. | Ludovic Courtès | 2011-07-04 |
* | Add GNU Prolog. | Ludovic Courtès | 2009-02-19 |