Felix Buehler
34be580107
gprolog: replace name with pname&version
2021-08-16 14:06:42 +02:00
R. RyanTM
e54730b0b8
gprolog: 1.4.5 -> 1.5.0
2021-07-09 23:00:52 +00:00
Ben Siraphob
c403e5747b
gprolog: expand platforms to unix
2021-03-03 19:19:07 +07:00
Ben Siraphob
acc5f7b18a
pkgs/development/compilers: stdenv.lib -> lib
2021-01-23 08:57:37 +07:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
R. RyanTM
5fe80e686a
gprolog: 1.4.4 -> 1.4.5
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gprolog/versions
2018-12-25 16:52:12 -08:00
c0bw3b
0498ccd076
Treewide: use HTTPS on GNU domains
...
HTTP -> HTTPS for :
- http://gnu.org/
- http://www.gnu.org/
- http://elpa.gnu.org/
- http://lists.gnu.org/
- http://gcc.gnu.org/
- http://ftp.gnu.org/ (except in fetchurl mirrors)
- http://bugs.gnu.org/
2018-12-02 15:51:59 +01:00
Will Dietz
4b7b083bcb
treewide: stdenv.lib.platforms.gnu -> ... gnu ++ linux
...
Include all linux platforms.
2018-04-30 18:12:10 -05:00
Silvan Mosberger
f5fa5fa4d6
pkgs: refactor needless quoting of homepage meta attribute ( #27809 )
...
* pkgs: refactor needless quoting of homepage meta attribute
A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.
* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit
* Fixed some instances
2017-08-01 22:03:30 +02:00
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
