about summary refs log tree commit diff
path: root/pkgs/development/compilers/swi-prolog
AgeCommit message (Expand)AuthorFilesLines
2023-12-29swiProlog: 9.1.10 -> 9.1.21Joseph Griego1-2/+2
2023-08-22swi-prolog: update dependency pcre -> pcre2Vitali Bohush1-2/+2
2023-06-23swiProlog: 8.3.29 -> 9.1.10Ben Siraphob1-2/+2
2022-10-09swiProlog: fix build with libxcryptMartin Weinelt1-2/+2
2022-09-27Revert "swiProlog: 8.3.29 -> 8.5.17"Ben Siraphob1-2/+2
2022-09-25swiProlog: 8.3.29 -> 8.5.17Ben Siraphob1-2/+2
2021-09-07swi-prolog: 8.3.9 -> 8.3.29Ben Siraphob1-2/+2
2021-09-07swi-prolog: set meta.mainProgramBen Siraphob1-1/+1
2021-05-11swiProlog: fix darwin buildStéphan Kochen1-1/+1
2021-03-16swiProlog: fix and document pack installRowan Skewes1-1/+35
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob1-6/+6
2021-01-19treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer1-2/+2
2020-10-15swiProlog: 8.1.26 -> 8.3.9Timo Kaufmann1-2/+2
2020-10-15swiProlog: 8.1.15 -> 8.1.26Timo Kaufmann1-2/+2
2019-10-14swiProlog: fix build on darwinMario Rodas1-39/+16
2019-10-14Merge pull request #70720 from yrashk/swipl-8.1.15Mario Rodas1-2/+2
2019-10-11swipl: include GUI toolsYurii Rashkovskii1-1/+4
2019-10-08swipl: 8.1.4 -> 8.1.15Yurii Rashkovskii1-2/+2
2019-08-17treewide: name -> pnamevolth1-1/+2
2019-06-16treewide: remove unused variables (#63177)volth1-2/+2
2019-04-25swi-prolog: updated version + packs supportBarak Bercovitz1-9/+30
2019-03-05swi-prolog: remove myself from list of maintainersPeter Simons1-1/+1
2018-08-04Merge remote-tracking branch 'upstream/master' into stagingTuomas Tynkkynen1-4/+5
2018-08-03treewide: Make configureFlags listsJohn Ericson1-1/+5
2018-08-02Add missing dependencies for swi-prologCarlo Nucera1-4/+5
2018-03-13swi-prolog: 7.4.2 -> 7.6.4Corey O'Connor1-2/+2
2018-03-13swi-prolog: add JDK to build dependencies to enable JPL.Corey O'Connor1-2/+2
2017-08-01swi-prolog: 7.2.3 -> 7.4.2mimadrid1-2/+2
2016-10-13swiProlog: fixed for darwinAlex Ivanov1-3/+16
2016-09-15swiProlog: 6.6.6 -> 7.2.3Etienne Laurin1-3/+3
2016-08-03Merge remote-tracking branch 'upstream/master' into hardened-stdenvRobin Gloster1-1/+1
2016-08-02treewide: Lots of meta.hydraPlatforms -> meta.platformsTuomas Tynkkynen1-1/+1
2016-05-18Merge remote-tracking branch 'origin/master' into hardened-stdenvFranz Pletz1-1/+1
2016-05-16Bring my stdenv.lib.maintainers user name in line with my github nick.Peter Simons1-1/+1
2016-03-05Use general hardening flag toggle listsFranz Pletz1-1/+1
2016-02-24swiProlog: disable format hardeningRobin Gloster1-0/+2
2014-10-27swiProlog: update from 6.6.5 to 6.6.6Evgeny Egorochkin1-2/+2
2014-05-22swiProlog: update from 6.6.3 to 6.6.5Rob Vermaas1-2/+2
2014-04-09swiProlog: update from 6.6.2 to 6.6.3Peter Simons1-2/+2
2014-03-05swiProlog: update from 6.6.1 to 6.6.2Peter Simons1-2/+2
2014-01-13swi-prolog: update to version 6.6.1Peter Simons1-9/+12
2013-09-11Update SWI-Prolog to version 6.4.1Dries Van Daele1-2/+2
2013-08-03clean some include flags that weren't really neededVladimír Čunát1-4/+0
2013-04-18swiProlog: major update to 6.2.6Vladimír Čunát1-2/+2
2011-09-19swi-prolog: updated to version 5.10.5Peter Simons1-5/+10
2011-03-17Fix SWI-Prolog buildMichael Raskin1-2/+9
2010-12-04Update SWI PrologMichael Raskin1-4/+5
2009-12-09pkgs/development/compilers/swi-prolog/default.nix: updated to version 5.6.64 ...Peter Simons1-4/+8
2009-11-18* Removed selectVersion. There's no good reason to writeEelco Dolstra2-9/+5
2008-03-06* Add swi-prolog without any options.Nicolas Pierron2-0/+20
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-03 04:58:47 +0000