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 |
|