summaryrefslogtreecommitdiffstats
path: root/pkgs/development/compilers/gprolog
AgeCommit message (Expand)Author
2021-10-14Drop myself from meta.maintainers for most packages.Peter Simons
2021-08-16gprolog: replace name with pname&versionFelix Buehler
2021-07-09gprolog: 1.4.5 -> 1.5.0R. RyanTM
2021-03-03gprolog: expand platforms to unixBen Siraphob
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2018-12-25gprolog: 1.4.4 -> 1.4.5R. RyanTM
2018-12-02Treewide: use HTTPS on GNU domainsc0bw3b
2018-04-30treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linuxWill Dietz
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger
2016-05-18Merge remote-tracking branch 'origin/master' into hardened-stdenvFranz Pletz
2016-05-16Bring my stdenv.lib.maintainers user name in line with my github nick.Peter Simons
2016-04-05gprolog.i686-linux: disable pic hardeningRobin Gloster
2014-01-21gprolog: patch hard-coded path to the temporary file /tmp/make.logPeter Simons
2013-08-27gprolog: update to version 1.4.4, clean up installation layout, update licens...Peter Simons
2012-10-24gprolog: disable parallel building to (hopefully) fix the weird error that oc...Peter Simons
2012-10-24gprolog: update to version 1.4.1Peter Simons
2011-07-07gprolog: add myself as maintainerPeter Simons
2011-07-04GNU Prolog 1.4.0.Ludovic Courtès
2009-02-19Add GNU Prolog.Ludovic Courtès
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-21 00:17:17 +0000