SWI Prolog devel
PPA description
Official PPAs for SWI-Prolog. See https:/
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:swi-prolog/devel to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:swi-prolog/devel
sudo apt update
For questions and bugs with software in this PPA please contact SWI Prolog.
PPA statistics
- Activity
- 4 updates added during the past month.
View package details
Overview of published packages
| 1 → 21 of 21 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
9.1.15-3-g670e71602-lunarppa2 | Jan Wielemaker () |
|
|
9.1.15-2-g7ce2eef32-jammyppa2 | Jan Wielemaker () |
|
|
9.1.15-1-gc9d8eb353-focalppa2 | Jan Wielemaker () |
|
|
9.1.15-0-bionicppa2 | Jan Wielemaker () |
|
|
9.1.11-3-g4acc9d287-kineticppa2 | Jan Wielemaker () |
|
|
8.5.6-2-gfef8746cf-hirsuteppa2 | Jan Wielemaker () |
|
|
8.5.4-0-xenialppa2 | Jan Wielemaker () |
|
|
8.3.27-3-g709c634d2-groovyppa2 | Jan Wielemaker () |
|
|
8.3.5-2-geb879b0e8-eoanppa2 | Jan Wielemaker () |
|
|
8.1.28-2-gd3a3c419b-discoppa2 | Jan Wielemaker () |
|
|
8.1.10-6-g53d7e85f6-cosmicppa2 | Jan Wielemaker () |
|
|
7.7.19-1-g46087bc9d-trustyppa2 | Jan Wielemaker () |
|
|
7.7.18-3-g78ea67c8e-artfulppa2 | Jan Wielemaker () |
|
|
7.7.8-3-g34433975a-zestyppa2 | Jan Wielemaker () |
|
|
7.5.10-10-gc3a3376-yakketyppa2 | Jan Wielemaker () |
|
|
7.3.32-2-gf8084ae-wilyppa2 | Jan Wielemaker () |
|
|
7.3.20-2-g5305096-preciseppa2 | Jan Wielemaker () |
|
|
7.3.11-2-g338944c-vividppa2 | Jan Wielemaker () |
|
|
7.1.37-4-g95472b1-utopicppa2 | Jan Wielemaker () |
|
|
7.1.17-1-gc72593d-saucyppa2 | Jan Wielemaker () |
|
|
7.1.4-2-gad2e046-raringppa2 | Jan Wielemaker () |
| 1 → 21 of 21 results | First • Previous • Next • Last |
