summary refs log tree commit diff
path: root/gnu/packages/prolog.scm
AgeCommit message (Expand)Author
2024-07-05 gnu: trealla: Update to 2.53.37.jgart
2024-06-29gnu: trealla: update to 2.53.10.jgart
2024-06-24gnu: trealla: update to 2.53.2.jgart
2024-06-22gnu: trealla: update to 2.52.40.jgart
2024-06-19gnu: logtalk: Update to 3.80.0.宋文武
2024-06-19gnu: trealla: update to 2.52.35.jgart
2024-06-17gnu: trealla: Only build with valgrind when supported.Efraim Flashner
2024-06-16gnu: Add trealla.jgart
2024-03-23gnu: Add logtalk.宋文武
2023-03-12gnu: swi-prolog: Update to 8.5.20.Liliana Marie Prikler
2022-03-11gnu: swi-prolog: Fix cross-compilation.Maxime Devos
2021-08-04gnu: gprolog: Update to 1.5.0.Efraim Flashner
2021-03-19gnu: swi-prolog: Update to 8.3.20.Boris A. Dekshteyn
2020-10-22gnu: swi-prolog: Update to 8.3.10.Brett Gilio
2020-10-16gnu: swi-prolog: Update to 8.3.9.Brett Gilio
2020-09-30gnu: Fix package references.Efraim Flashner
2020-08-07gnu: swi-prolog: Update to 8.3.5.Brett Gilio
2020-07-18gnu: swi-prolog: Update to 8.3.4.Brett Gilio
2020-07-12gnu: Remove ".git" from "https://github/…/….git".Ludovic Courtès
2020-02-03Merge branch 'staging' into core-updatesMarius Bakke
2020-01-24gnu: swi-prolog: Update to 8.1.21.Brett Gilio
2020-01-22gnu: Replace uses of 'libjpeg' with 'libjpeg-turbo'.Marius Bakke
2020-01-04gnu: swi-prolog: Update to 8.1.20.Brett Gilio
2020-01-04gnu: swi-prolog: Modify documentation installation.Brett Gilio
2020-01-04gnu: swi-prolog: Enable tests.Brett Gilio
2020-01-03gnu: Add swi-prolog.Brett Gilio
2020-01-03gnu: gprolog: Use license prefix.Brett Gilio
2020-01-03Revert "gnu: Add swi-prolog."Brett Gilio
2020-01-03gnu: Add swi-prolog.Brett Gilio
2020-01-03gnu: Rename module gprolog to prolog.Brett Gilio
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-23 09:15:06 +0000