aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/compilers/gprolog (follow)
Commit message (Expand)AuthorAgeFilesLines
* gprolog: 1.4.4 -> 1.4.5R. RyanTM2018-12-251-2/+2
* Treewide: use HTTPS on GNU domainsc0bw3b2018-12-021-1/+1
* treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linuxWill Dietz2018-04-301-1/+1
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-011-1/+1
* Merge remote-tracking branch 'origin/master' into hardened-stdenvFranz Pletz2016-05-181-1/+1
|\
| * Bring my stdenv.lib.maintainers user name in line with my github nick.Peter Simons2016-05-161-1/+1
* | gprolog.i686-linux: disable pic hardeningRobin Gloster2016-04-051-0/+2
|/
* gprolog: patch hard-coded path to the temporary file /tmp/make.logPeter Simons2014-01-211-0/+4
* gprolog: update to version 1.4.4, clean up installation layout, update licens...Peter Simons2013-08-271-10/+13
* gprolog: disable parallel building to (hopefully) fix the weird error that oc...Peter Simons2012-10-241-1/+0
* gprolog: update to version 1.4.1Peter Simons2012-10-241-8/+8
* gprolog: add myself as maintainerPeter Simons2011-07-071-0/+3
* GNU Prolog 1.4.0.Ludovic Courtès2011-07-041-2/+2
* Add GNU Prolog.Ludovic Courtès2009-02-191-0/+57