Commit message (Expand) | Author | Age | |
---|---|---|---|
* | gnu: Fix package references. | Efraim Flashner | 2020-09-30 |
* | gnu: swi-prolog: Update to 8.3.5. | Brett Gilio | 2020-08-07 |
* | gnu: swi-prolog: Update to 8.3.4. | Brett Gilio | 2020-07-18 |
* | gnu: Remove ".git" from "https://github/…/….git". | Ludovic Courtès | 2020-07-12 |
* | Merge branch 'staging' into core-updates | Marius Bakke | 2020-02-03 |
|\ | |||
| * | gnu: swi-prolog: Update to 8.1.21. | Brett Gilio | 2020-01-24 |
* | | gnu: Replace uses of 'libjpeg' with 'libjpeg-turbo'. | Marius Bakke | 2020-01-22 |
|/ | |||
* | 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-04 |
* | 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 | 2020-01-03 |