summary refs log tree commit diff
path: root/gnu/packages/prolog.scm
AgeCommit message (Expand)Author
2024-08-31gnu: swi-prolog: Add libxcrypt dependency.宋文武
2024-08-26gnu: trealla: Update to 2.55.26.jgart
2024-08-26gnu: trealla: Update to 2.55.25.jgart
2024-08-25gnu: trealla: Update to 2.55.24.jgart
2024-08-24gnu: trealla: Update to 2.55.23.jgart
2024-08-16gnu: trealla: Update to 2.55.22.jgart
2024-08-14gnu: trealla: Update to 2.55.21.jgart
2024-08-14gnu: trealla: Update to 2.55.20.jgart
2024-08-12gnu: trealla: Update to 2.55.19.jgart
2024-08-12gnu: trealla: Update to 2.55.18.jgart
2024-08-12gnu: trealla: Update to 2.55.17.jgart
2024-08-12gnu: trealla: Update to 2.55.16.jgart
2024-08-05gnu: trealla: Update to 2.55.15.jgart
2024-08-01gnu: swi-prolog: Update to 9.3.8.jgart
2024-08-01gnu: trealla: Update to 2.55.14.jgart
2024-08-01gnu: trealla: Update to 2.55.13.jgart
2024-07-31gnu: trealla: Update to 2.55.12.jgart
2024-07-31gnu: trealla: Update to 2.55.11.jgart
2024-07-26gnu: trealla: Update to 2.55.10.jgart
2024-07-26gnu: trealla: Update to 2.55.9.jgart
2024-07-26gnu: trealla: Update to 2.55.8.jgart
2024-07-25gnu: trealla: Update to 2.55.7.jgart
2024-07-25gnu: trealla: Update to 2.55.6.jgart
2024-07-24gnu: trealla: Update to 2.55.5.jgart
2024-07-24gnu: trealla: Update to 2.55.4.jgart
2024-07-24gnu: trealla: Update to 2.55.3.jgart
2024-07-24gnu: trealla: Update to 2.55.2.jgart
2024-07-24gnu: trealla: Update to 2.55.1.jgart
2024-07-24gnu: trealla: Update to 2.55.0.jgart
2024-07-24gnu: trealla: Update to 2.54.6.jgart
2024-07-18gnu: trealla: Update to 2.54.5.jgart
2024-07-13gnu: trealla: Update to 2.54.3.jgart
2024-07-11gnu: trealla: Update to 2.53.48.jgart
2024-07-09gnu: trealla: Update to 2.53.47.jgart
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