Age | Commit message (Expand) | Author |
2023-03-12 | gnu: swi-prolog: Update to 8.5.20. | Liliana Marie Prikler |
2022-03-11 | gnu: swi-prolog: Fix cross-compilation. | Maxime Devos |
2021-08-04 | gnu: gprolog: Update to 1.5.0. | Efraim Flashner |
2021-03-19 | gnu: swi-prolog: Update to 8.3.20. | Boris A. Dekshteyn |
2020-10-22 | gnu: swi-prolog: Update to 8.3.10. | Brett Gilio |
2020-10-16 | gnu: swi-prolog: Update to 8.3.9. | Brett Gilio |
2020-09-30 | gnu: Fix package references. | Efraim Flashner |
2020-08-07 | gnu: swi-prolog: Update to 8.3.5. | Brett Gilio |
2020-07-18 | gnu: swi-prolog: Update to 8.3.4. | Brett Gilio |
2020-07-12 | gnu: Remove ".git" from "https://github/…/….git". | Ludovic Courtès |
2020-02-03 | Merge branch 'staging' into core-updates | Marius Bakke |
2020-01-24 | gnu: swi-prolog: Update to 8.1.21. | Brett Gilio |
2020-01-22 | gnu: Replace uses of 'libjpeg' with 'libjpeg-turbo'. | Marius Bakke |
2020-01-04 | gnu: swi-prolog: Update to 8.1.20. | Brett Gilio |
2020-01-04 | gnu: swi-prolog: Modify documentation installation. | Brett Gilio |
2020-01-04 | gnu: swi-prolog: Enable tests. | Brett Gilio |
2020-01-03 | gnu: Add swi-prolog. | Brett Gilio |
2020-01-03 | gnu: gprolog: Use license prefix. | Brett Gilio |
2020-01-03 | Revert "gnu: Add swi-prolog." | Brett Gilio |
2020-01-03 | gnu: Add swi-prolog. | Brett Gilio |
2020-01-03 | gnu: Rename module gprolog to prolog. | Brett Gilio |