Commit Graph

19 Commits

Author SHA1 Message Date
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