aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
Commit message (Expand)AuthorAge
* gnu: trealla: Update to 2.55.15.jgart2024-08-05
* gnu: swi-prolog: Update to 9.3.8.jgart2024-08-01
* gnu: trealla: Update to 2.55.14.jgart2024-08-01
* gnu: trealla: Update to 2.55.13.jgart2024-08-01
* gnu: trealla: Update to 2.55.12.jgart2024-07-31
* gnu: trealla: Update to 2.55.11.jgart2024-07-31
* gnu: trealla: Update to 2.55.10.jgart2024-07-26
* gnu: trealla: Update to 2.55.9.jgart2024-07-26
* gnu: trealla: Update to 2.55.8.jgart2024-07-26
* gnu: trealla: Update to 2.55.7.jgart2024-07-25
* gnu: trealla: Update to 2.55.6.jgart2024-07-25
* gnu: trealla: Update to 2.55.5.jgart2024-07-24
* gnu: trealla: Update to 2.55.4.jgart2024-07-24
* gnu: trealla: Update to 2.55.3.jgart2024-07-24
* gnu: trealla: Update to 2.55.2.jgart2024-07-24
* gnu: trealla: Update to 2.55.1.jgart2024-07-24
* gnu: trealla: Update to 2.55.0.jgart2024-07-24
* gnu: trealla: Update to 2.54.6.jgart2024-07-24
* gnu: trealla: Update to 2.54.5.jgart2024-07-18
* gnu: trealla: Update to 2.54.3.jgart2024-07-13
* gnu: trealla: Update to 2.53.48.jgart2024-07-11
* gnu: trealla: Update to 2.53.47.jgart2024-07-09
* gnu: trealla: Update to 2.53.37.jgart2024-07-05
* gnu: trealla: update to 2.53.10.jgart2024-06-29
* gnu: trealla: update to 2.53.2.jgart2024-06-24
* gnu: trealla: update to 2.52.40.jgart2024-06-22
* gnu: logtalk: Update to 3.80.0.宋文武2024-06-19
* gnu: trealla: update to 2.52.35.jgart2024-06-19
* gnu: trealla: Only build with valgrind when supported.Efraim Flashner2024-06-17
* gnu: Add trealla.jgart2024-06-16
* gnu: Add logtalk.宋文武2024-03-23
* gnu: swi-prolog: Update to 8.5.20.Liliana Marie Prikler2023-03-12
* gnu: swi-prolog: Fix cross-compilation.Maxime Devos2022-03-11
* gnu: gprolog: Update to 1.5.0.Efraim Flashner2021-08-04
* gnu: swi-prolog: Update to 8.3.20.Boris A. Dekshteyn2021-03-19
* gnu: swi-prolog: Update to 8.3.10.Brett Gilio2020-10-22
* gnu: swi-prolog: Update to 8.3.9.Brett Gilio2020-10-16
* gnu: Fix package references.Efraim Flashner2020-09-30
* gnu: swi-prolog: Update to 8.3.5.Brett Gilio2020-08-07
* gnu: swi-prolog: Update to 8.3.4.Brett Gilio2020-07-18
* gnu: Remove ".git" from "https://github/…/….git".Ludovic Courtès2020-07-12
* Merge branch 'staging' into core-updatesMarius Bakke2020-02-03
|\
| * gnu: swi-prolog: Update to 8.1.21.Brett Gilio2020-01-24
* | gnu: Replace uses of 'libjpeg' with 'libjpeg-turbo'.Marius Bakke2020-01-22
|/
* gnu: swi-prolog: Update to 8.1.20.Brett Gilio2020-01-04
* gnu: swi-prolog: Modify documentation installation.Brett Gilio2020-01-04
* gnu: swi-prolog: Enable tests.Brett Gilio2020-01-04
* gnu: Add swi-prolog.Brett Gilio2020-01-03
* gnu: gprolog: Use license prefix.Brett Gilio2020-01-03
* Revert "gnu: Add swi-prolog."Brett Gilio2020-01-03