summaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
AgeCommit message (Expand)Author
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