10 commits

Author	SHA1	Message	Date
Franz Pletz	f8d481754c	Merge remote-tracking branch 'origin/master' into hardened-stdenv	2016-05-18 17:10:02 +02:00
Peter Simons	8e462995ba	Bring my stdenv.lib.maintainers user name in line with my github nick.	2016-05-16 22:49:55 +02:00
Robin Gloster	4d4610ac0f	gprolog.i686-linux: disable pic hardening	2016-04-05 16:44:02 +00:00
Peter Simons	95934138bc	gprolog: patch hard-coded path to the temporary file /tmp/make.log	2014-01-21 20:07:26 +01:00
Peter Simons	95491128cf	gprolog: update to version 1.4.4, clean up installation layout, update license information	2013-08-27 13:21:29 +02:00
Peter Simons	59d7e94145	gprolog: disable parallel building to (hopefully) fix the weird error that occurred on Hydra	2012-10-24 20:30:04 +02:00
Peter Simons	b170bb0bf0	gprolog: update to version 1.4.1	2012-10-24 18:28:36 +02:00
Peter Simons	c76ef49466	gprolog: add myself as maintainer ... svn path=/nixpkgs/trunk/; revision=27647	2011-07-07 21:05:02 +00:00
Ludovic Courtès	9bde902010	GNU Prolog 1.4.0. ... svn path=/nixpkgs/trunk/; revision=27586	2011-07-04 11:52:26 +00:00
Ludovic Courtès	4373d12cb4	Add GNU Prolog. ... svn path=/nixpkgs/trunk/; revision=14122	2009-02-19 13:32:07 +00:00