Index of /ubuntu/pool/universe/s/swi-prolog
Name
Last modified
Size
Description
Parent Directory
-
swi-prolog-bdb_7.6.4+dfsg-2ubuntu2_amd64.deb
2019-09-05 19:39
30K
swi-prolog-bdb_8.4.2+dfsg-2ubuntu1_amd64.deb
2022-03-01 06:28
26K
swi-prolog-bdb_9.0.4+dfsg-3.1ubuntu4_amd64.deb
2024-04-01 18:51
25K
swi-prolog-core-packages_8.4.2+dfsg-2ubuntu1_amd64.deb
2022-03-01 06:28
1.3M
swi-prolog-core-packages_9.0.4+dfsg-3.1ubuntu4_amd64.deb
2024-04-01 18:51
1.3M
swi-prolog-core_8.4.2+dfsg-2ubuntu1_amd64.deb
2022-03-01 06:28
1.4M
swi-prolog-core_9.0.4+dfsg-3.1ubuntu4_amd64.deb
2024-04-01 18:51
1.4M
swi-prolog-doc_8.4.2+dfsg-2ubuntu1_all.deb
2022-03-01 06:28
1.4M
swi-prolog-doc_9.0.4+dfsg-3.1ubuntu4_all.deb
2024-04-01 18:51
1.5M
swi-prolog-full_8.4.2+dfsg-2ubuntu1_amd64.deb
2022-03-01 06:28
7.7K
swi-prolog-full_9.0.4+dfsg-3.1ubuntu4_amd64.deb
2024-04-01 18:51
7.7K
swi-prolog-java_7.6.4+dfsg-2ubuntu2_amd64.deb
2019-09-05 19:39
89K
swi-prolog-java_8.4.2+dfsg-2ubuntu1_amd64.deb
2022-03-01 06:28
103K
swi-prolog-java_9.0.4+dfsg-3.1ubuntu4_amd64.deb
2024-04-01 18:51
105K
swi-prolog-nox_7.6.4+dfsg-2ubuntu2_amd64.deb
2019-09-05 19:39
3.2M
swi-prolog-nox_8.4.2+dfsg-2ubuntu1_amd64.deb
2022-03-01 06:28
161K
swi-prolog-nox_9.0.4+dfsg-3.1ubuntu4_amd64.deb
2024-04-01 18:51
170K
swi-prolog-odbc_7.6.4+dfsg-2ubuntu2_amd64.deb
2019-09-05 19:39
40K
swi-prolog-odbc_8.4.2+dfsg-2ubuntu1_amd64.deb
2022-03-01 06:28
120K
swi-prolog-odbc_9.0.4+dfsg-3.1ubuntu4_amd64.deb
2024-04-01 18:51
119K
swi-prolog-test_8.4.2+dfsg-2ubuntu1_all.deb
2022-03-01 06:28
643K
swi-prolog-test_9.0.4+dfsg-3.1ubuntu4_all.deb
2024-04-01 18:51
652K
swi-prolog-x_7.6.4+dfsg-2ubuntu2_amd64.deb
2019-09-05 19:39
1.9M
swi-prolog-x_8.4.2+dfsg-2ubuntu1_amd64.deb
2022-03-01 06:28
2.2M
swi-prolog-x_9.0.4+dfsg-3.1ubuntu4_amd64.deb
2024-04-01 18:51
2.2M
swi-prolog_7.6.4+dfsg-2ubuntu2_amd64.deb
2019-09-05 19:39
15K
swi-prolog_8.4.2+dfsg-2ubuntu1_amd64.deb
2022-03-01 06:28
8.9K
swi-prolog_9.0.4+dfsg-3.1ubuntu4_amd64.deb
2024-04-01 18:51
8.9K
Apache/2.4.62 (Debian) Server at mirror-gw.elastis.id Port 80