Commit Graph

44 Commits (bb56c8321216d252b94ab21a03e984f9bcf1109c)

Author SHA1 Message Date
Ben Siraphob c1fe21db90 swi-prolog: 8.3.9 -> 8.3.29 3 years ago
Ben Siraphob 2e0d123158 swi-prolog: set meta.mainProgram 3 years ago
Stéphan Kochen 3cf4c5d09b swiProlog: fix darwin build 3 years ago
Rowan Skewes 09eca0013a swiProlog: fix and document pack install 3 years ago
Ben Siraphob acc5f7b18a pkgs/development/compilers: stdenv.lib -> lib 3 years ago
Jonathan Ringer 9bb3fccb5b treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix 3 years ago
Timo Kaufmann 959b818a89 swiProlog: 8.1.26 -> 8.3.9 4 years ago
Timo Kaufmann 8c6fe8eb61 swiProlog: 8.1.15 -> 8.1.26 4 years ago
Mario Rodas ed79857170
swiProlog: fix build on darwin 5 years ago
Yurii Rashkovskii e0d7a96903
swipl: include GUI tools 5 years ago
Yurii Rashkovskii cbb4b91e70
swipl: 8.1.4 -> 8.1.15 5 years ago
volth c814d72b51 treewide: name -> pname 5 years ago
volth f3282c8d1e treewide: remove unused variables (#63177) 5 years ago
Barak Bercovitz 990acf7025 swi-prolog: updated version + packs support 5 years ago
Peter Simons 9d9c599055 swi-prolog: remove myself from list of maintainers 5 years ago
John Ericson db965063b3 treewide: Make configureFlags lists 6 years ago
Carlo Nucera bc96cec295 Add missing dependencies for swi-prolog 6 years ago
Corey O'Connor 6c1931b15f swi-prolog: 7.4.2 -> 7.6.4 6 years ago
Corey O'Connor cce1e28fae swi-prolog: add JDK to build dependencies to enable JPL. 6 years ago
mimadrid c8b0f338a0
swi-prolog: 7.2.3 -> 7.4.2 7 years ago
Alex Ivanov e9e69993b2 swiProlog: fixed for darwin 8 years ago
Etienne Laurin ff9208c37a swiProlog: 6.6.6 -> 7.2.3 8 years ago
Tuomas Tynkkynen 1bf5ded193 treewide: Lots of meta.hydraPlatforms -> meta.platforms 8 years ago
Peter Simons 8e462995ba Bring my stdenv.lib.maintainers user name in line with my github nick. 8 years ago
Franz Pletz aff1f4ab94 Use general hardening flag toggle lists 8 years ago
Robin Gloster 282d03c4b0 swiProlog: disable format hardening 8 years ago
Evgeny Egorochkin a506faf9f9 swiProlog: update from 6.6.5 to 6.6.6 10 years ago
Rob Vermaas 1cb2f20511 swiProlog: update from 6.6.3 to 6.6.5 10 years ago
Peter Simons 740c502a77 swiProlog: update from 6.6.2 to 6.6.3 10 years ago
Peter Simons a1439ae0c2 swiProlog: update from 6.6.1 to 6.6.2 10 years ago
Peter Simons 471f0e7b36 swi-prolog: update to version 6.6.1 11 years ago
Dries Van Daele 3d5e7a99f4 Update SWI-Prolog to version 6.4.1 11 years ago
Vladimír Čunát 98f3716650 clean some include flags that weren't really needed 11 years ago
Vladimír Čunát 368f1a25fd swiProlog: major update to 6.2.6 11 years ago
Peter Simons 5bb330db07 swi-prolog: updated to version 5.10.5 13 years ago
Michael Raskin 36af24fc05 Fix SWI-Prolog build 13 years ago
Michael Raskin 0141bfec63 Update SWI Prolog 14 years ago
Peter Simons abebc10cf1 pkgs/development/compilers/swi-prolog/default.nix: updated to version 5.6.64 and enabled GUI support 15 years ago
Eelco Dolstra 7f5b839524 * Removed selectVersion. There's no good reason to write 15 years ago
Nicolas Pierron aec4356a10 * Add swi-prolog without any options. 17 years ago