Evgeny Egorochkin
a506faf9f9
swiProlog: update from 6.6.5 to 6.6.6
2014-10-27 07:16:33 +02:00
Rob Vermaas
1cb2f20511
swiProlog: update from 6.6.3 to 6.6.5
2014-05-22 12:55:03 +02:00
Peter Simons
740c502a77
swiProlog: update from 6.6.2 to 6.6.3
2014-04-09 12:41:11 +02:00
Peter Simons
a1439ae0c2
swiProlog: update from 6.6.1 to 6.6.2
2014-03-05 15:32:15 +01:00
Peter Simons
471f0e7b36
swi-prolog: update to version 6.6.1
2014-01-13 17:10:11 +01:00
Dries Van Daele
3d5e7a99f4
Update SWI-Prolog to version 6.4.1
2013-09-11 19:00:31 +02:00
Vladimír Čunát
98f3716650
clean some include flags that weren't really needed
...
Tested the builds still work (x86_64-linux).
2013-08-03 10:45:13 +02:00
Vladimír Čunát
368f1a25fd
swiProlog: major update to 6.2.6
...
However, from news this does *not* seem to be a big change.
2013-04-18 10:29:29 +02:00
Peter Simons
5bb330db07
swi-prolog: updated to version 5.10.5
...
svn path=/nixpkgs/trunk/; revision=29350
2011-09-19 16:38:16 +00:00
Michael Raskin
36af24fc05
Fix SWI-Prolog build
...
svn path=/nixpkgs/trunk/; revision=26407
2011-03-17 22:09:22 +00:00
Michael Raskin
0141bfec63
Update SWI Prolog
...
svn path=/nixpkgs/trunk/; revision=24966
2010-12-04 11:16:39 +00:00
Peter Simons
abebc10cf1
pkgs/development/compilers/swi-prolog/default.nix: updated to version 5.6.64 and enabled GUI support
...
svn path=/nixpkgs/trunk/; revision=18853
2009-12-09 14:07:09 +00:00
Eelco Dolstra
7f5b839524
* Removed selectVersion. There's no good reason to write
...
`selectVersion ./foo "bar"' instead of `import ./foo/bar.nix'.
* Replaced `with args' with formal function arguments in several
packages.
* Renamed several files to `default.nix'. As a general rule, version
numbers should only be included in the filename when there is a
reason to keep multiple versions of a package in Nixpkgs.
Otherwise, it just makes it harder to update the package.
svn path=/nixpkgs/trunk/; revision=18403
2009-11-18 09:39:59 +00:00
Nicolas Pierron
aec4356a10
* Add swi-prolog without any options.
...
svn path=/nixpkgs/trunk/; revision=11003
2008-03-06 21:53:54 +00:00