summary refs log tree commit diff
path: root/pkgs/development/compilers/gprolog
AgeCommit message (Expand)AuthorFilesLines
2021-10-14Drop myself from meta.maintainers for most packages.Peter Simons1-1/+0
2021-08-16gprolog: replace name with pname&versionFelix Buehler1-6/+7
2021-07-09gprolog: 1.4.5 -> 1.5.0R. RyanTM1-2/+2
2021-03-03gprolog: expand platforms to unixBen Siraphob1-1/+1
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob1-5/+5
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2018-12-25gprolog: 1.4.4 -> 1.4.5R. RyanTM1-2/+2
2018-12-02Treewide: use HTTPS on GNU domainsc0bw3b1-1/+1
2018-04-30treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linuxWill Dietz1-1/+1
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
2016-05-18Merge remote-tracking branch 'origin/master' into hardened-stdenvFranz Pletz1-1/+1
2016-05-16Bring my stdenv.lib.maintainers user name in line with my github nick.Peter Simons1-1/+1
2016-04-05gprolog.i686-linux: disable pic hardeningRobin Gloster1-0/+2
2014-01-21gprolog: patch hard-coded path to the temporary file /tmp/make.logPeter Simons1-0/+4
2013-08-27gprolog: update to version 1.4.4, clean up installation layout, update licens...Peter Simons1-10/+13
2012-10-24gprolog: disable parallel building to (hopefully) fix the weird error that oc...Peter Simons1-1/+0
2012-10-24gprolog: update to version 1.4.1Peter Simons1-8/+8
2011-07-07gprolog: add myself as maintainerPeter Simons1-0/+3
2011-07-04GNU Prolog 1.4.0.Ludovic Courtès1-2/+2
2009-02-19Add GNU Prolog.Ludovic Courtès1-0/+57
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-03 02:34:41 +0000