summary refs log tree commit diff
path: root/pkgs/development/compilers/gprolog
Commit message (Expand)AuthorAge
* gprolog: 1.4.4 -> 1.4.5R. RyanTM2018-12-25
* Treewide: use HTTPS on GNU domainsc0bw3b2018-12-02
* treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linuxWill Dietz2018-04-30
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* Merge remote-tracking branch 'origin/master' into hardened-stdenvFranz Pletz2016-05-18
|\
| * Bring my stdenv.lib.maintainers user name in line with my github nick.Peter Simons2016-05-16
* | gprolog.i686-linux: disable pic hardeningRobin Gloster2016-04-05
|/
* gprolog: patch hard-coded path to the temporary file /tmp/make.logPeter Simons2014-01-21
* gprolog: update to version 1.4.4, clean up installation layout, update licens...Peter Simons2013-08-27
* gprolog: disable parallel building to (hopefully) fix the weird error that oc...Peter Simons2012-10-24
* gprolog: update to version 1.4.1Peter Simons2012-10-24
* gprolog: add myself as maintainerPeter Simons2011-07-07
* GNU Prolog 1.4.0.Ludovic Courtès2011-07-04
* Add GNU Prolog.Ludovic Courtès2009-02-19