 Efraim Flashner
|
1914d24b45
gnu: gprolog: Update to 1.5.0.
|
3 years ago |
 Boris A. Dekshteyn
|
7b79ca0a05
gnu: swi-prolog: Update to 8.3.20.
|
3 years ago |
 Brett Gilio
|
88d19248b9
gnu: swi-prolog: Update to 8.3.10.
|
4 years ago |
|
Brett Gilio
|
4e1380791a
gnu: swi-prolog: Update to 8.3.9.
|
4 years ago |
|
Efraim Flashner
|
1628d57bb5
gnu: Fix package references.
|
4 years ago |
|
Brett Gilio
|
612ed88b10
gnu: swi-prolog: Update to 8.3.5.
|
4 years ago |
|
Brett Gilio
|
d37eb6bb20
gnu: swi-prolog: Update to 8.3.4.
|
4 years ago |
 Ludovic Courtès
|
b0e7b6992f
gnu: Remove ".git" from "https://github/…/….git".
|
4 years ago |
 Marius Bakke
|
52665d2b6b
Merge branch 'staging' into core-updates
|
4 years ago |
|
Brett Gilio
|
2aa1e76519
gnu: swi-prolog: Update to 8.1.21.
|
4 years ago |
|
Marius Bakke
|
4bd428a7ce
gnu: Replace uses of 'libjpeg' with 'libjpeg-turbo'.
|
4 years ago |
|
Brett Gilio
|
bcd47c67b0
gnu: swi-prolog: Update to 8.1.20.
|
4 years ago |
|
Brett Gilio
|
235c67341b
gnu: swi-prolog: Modify documentation installation.
|
4 years ago |
|
Brett Gilio
|
5a92e7c954
gnu: swi-prolog: Enable tests.
|
4 years ago |
|
Brett Gilio
|
7eef98484c
gnu: Add swi-prolog.
|
4 years ago |
|
Brett Gilio
|
e4ed992953
gnu: gprolog: Use license prefix.
|
4 years ago |
|
Brett Gilio
|
a06a4f9182
Revert "gnu: Add swi-prolog."
|
4 years ago |
 Brett Gilio
|
3f37f39097
gnu: Add swi-prolog.
|
4 years ago |
|
Brett Gilio
|
d98e64b4e5
gnu: Rename module gprolog to prolog.
|
4 years ago |
