summary refs log tree commit diff
path: root/pkgs/development/compilers/swi-prolog
Commit message (Expand)AuthorAge
* swi-prolog: update dependency pcre -> pcre2Vitali Bohush2023-08-22
* swiProlog: 8.3.29 -> 9.1.10Ben Siraphob2023-06-23
* swiProlog: fix build with libxcryptMartin Weinelt2022-10-09
* Revert "swiProlog: 8.3.29 -> 8.5.17"Ben Siraphob2022-09-27
* swiProlog: 8.3.29 -> 8.5.17Ben Siraphob2022-09-25
* swi-prolog: 8.3.9 -> 8.3.29Ben Siraphob2021-09-07
* swi-prolog: set meta.mainProgramBen Siraphob2021-09-07
* swiProlog: fix darwin buildStéphan Kochen2021-05-11
* swiProlog: fix and document pack installRowan Skewes2021-03-16
* pkgs/development/compilers: stdenv.lib -> libBen Siraphob2021-01-23
* treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer2021-01-19
* swiProlog: 8.1.26 -> 8.3.9Timo Kaufmann2020-10-15
* swiProlog: 8.1.15 -> 8.1.26Timo Kaufmann2020-10-15
* swiProlog: fix build on darwinMario Rodas2019-10-14
* Merge pull request #70720 from yrashk/swipl-8.1.15Mario Rodas2019-10-14
|\
| * swipl: 8.1.4 -> 8.1.15Yurii Rashkovskii2019-10-08
* | swipl: include GUI toolsYurii Rashkovskii2019-10-11
|/
* treewide: name -> pnamevolth2019-08-17
* treewide: remove unused variables (#63177)volth2019-06-16
* swi-prolog: updated version + packs supportBarak Bercovitz2019-04-25
* swi-prolog: remove myself from list of maintainersPeter Simons2019-03-05
* Merge remote-tracking branch 'upstream/master' into stagingTuomas Tynkkynen2018-08-04
|\
| * Add missing dependencies for swi-prologCarlo Nucera2018-08-02
* | treewide: Make configureFlags listsJohn Ericson2018-08-03
|/
* swi-prolog: 7.4.2 -> 7.6.4Corey O'Connor2018-03-13
* swi-prolog: add JDK to build dependencies to enable JPL.Corey O'Connor2018-03-13
* swi-prolog: 7.2.3 -> 7.4.2mimadrid2017-08-01
* swiProlog: fixed for darwinAlex Ivanov2016-10-13
* swiProlog: 6.6.6 -> 7.2.3Etienne Laurin2016-09-15
* Merge remote-tracking branch 'upstream/master' into hardened-stdenvRobin Gloster2016-08-03
|\
| * treewide: Lots of meta.hydraPlatforms -> meta.platformsTuomas Tynkkynen2016-08-02
* | Merge remote-tracking branch 'origin/master' into hardened-stdenvFranz Pletz2016-05-18
|\|
| * Bring my stdenv.lib.maintainers user name in line with my github nick.Peter Simons2016-05-16
* | Use general hardening flag toggle listsFranz Pletz2016-03-05
* | swiProlog: disable format hardeningRobin Gloster2016-02-24
|/
* swiProlog: update from 6.6.5 to 6.6.6Evgeny Egorochkin2014-10-27
* swiProlog: update from 6.6.3 to 6.6.5Rob Vermaas2014-05-22
* swiProlog: update from 6.6.2 to 6.6.3Peter Simons2014-04-09
* swiProlog: update from 6.6.1 to 6.6.2Peter Simons2014-03-05
* swi-prolog: update to version 6.6.1Peter Simons2014-01-13
* Update SWI-Prolog to version 6.4.1Dries Van Daele2013-09-11
* clean some include flags that weren't really neededVladimír Čunát2013-08-03
* swiProlog: major update to 6.2.6Vladimír Čunát2013-04-18
* swi-prolog: updated to version 5.10.5Peter Simons2011-09-19
* Fix SWI-Prolog buildMichael Raskin2011-03-17
* Update SWI PrologMichael Raskin2010-12-04
* pkgs/development/compilers/swi-prolog/default.nix: updated to version 5.6.64 ...Peter Simons2009-12-09
* * Removed selectVersion. There's no good reason to writeEelco Dolstra2009-11-18
* * Add swi-prolog without any options.Nicolas Pierron2008-03-06
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-29 05:48:57 +0000