search

SWI-Prolog / issues

Dummy repository for issue tracking
7 stars 3 forks source link

debian install delivers a really old version of swi-prolog (7.2.3) #96

Closed redskate closed 3 years ago

redskate commented 3 years ago

Hi

I would like to install the latest swi-prolog 8.x on a debian OS and I am following the instructions in https://www.swi-prolog.org/build/PPA.html

At the end of the installation the installed swipl has the version 7.2.3 instead of 8.x

WHY ? How can I get the latest or some current versions of swi-prolog (e.g. 8.x) ?

Thanks a lot Cheers

PS: What happens inside my debian OS:

apt-get install -y software-properties-common

`apt-add-repository -y ppa:swi-prolog/stable` gpg: keybox '/tmp/tmp2aotweye/pubring.gpg' created gpg: /tmp/tmp2aotweye/trustdb.gpg: trustdb created gpg: key EF8406856DBFCA18: public key "Launchpad PPA for SWI Prolog" imported gpg: Total number processed: 1 gpg: imported: 1 **gpg: no valid OpenPGP data found.** When I repeat the last command without -y I get: `apt-add-repository ppa:swi-prolog/stable` Comprehensive Prolog implementation with extensive libraries and development tools. Primarily targetted at teaching, RDF processing and web-related tasks, such as creating web services or analysing web content. More info: https://launchpad.net/~swi-prolog/+archive/ubuntu/stable Press [ENTER] to continue or ctrl-c to cancel adding it gpg: keybox '/tmp/tmphh52cpwd/pubring.gpg' created gpg: /tmp/tmphh52cpwd/trustdb.gpg: trustdb created gpg: key EF8406856DBFCA18: public key "Launchpad PPA for SWI Prolog" imported gpg: Total number processed: 1 gpg: imported: 1 gpg: no valid OpenPGP data found. root@1517c94949af:/# apt-get update Hit:1 http://security.debian.org stretch/updates InRelease Ign:2 http://deb.debian.org/debian stretch InRelease Hit:3 http://deb.debian.org/debian stretch-updates InRelease Hit:4 http://deb.debian.org/debian stretch Release Ign:5 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute InRelease Ign:6 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute Release Ign:7 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute/main amd64 Packages Ign:8 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute/main all Packages Ign:7 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute/main amd64 Packages Ign:8 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute/main all Packages Ign:7 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute/main amd64 Packages Ign:8 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute/main all Packages Ign:7 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute/main amd64 Packages Ign:8 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute/main all Packages Ign:7 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute/main amd64 Packages Ign:8 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute/main all Packages Err:7 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute/main amd64 Packages 404 Not Found Ign:8 http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute/main all Packages Reading package lists... Done W: The repository 'http://ppa.launchpad.net/swi-prolog/stable/ubuntu hirsute Release' does not have a Release file. N: Data from such a repository can't be authenticated and is therefore potentially dangerous to use. N: See apt-secure(8) manpage for repository creation and user configuration details. E: Failed to fetch http://ppa.launchpad.net/swi-prolog/stable/ubuntu/dists/hirsute/main/binary-amd64/Packages 404 Not Found E: Some index files failed to download. They have been ignored, or old ones used instead. `apt-get install -y swi-prolog` Reading package lists... Done Building dependency tree Reading state information... Done The following additional packages will be installed: autoconf automake autopoint autotools-dev binutils bsdmainutils build-essential cpp cpp-6 debhelper dh-autoreconf dh-strip-nondeterminism dpkg-dev fakeroot g++ g++-6 gcc gcc-6 gcc-6-base gettext gettext-base groff-base intltool-debian javascript-common libalgorithm-diff-perl libalgorithm-diff-xs-perl libalgorithm-merge-perl libarchive-zip-perl libarchive13 libasan3 libatomic1 libc-dev-bin libc6 libc6-dev libcc1-0 libcilkrts5 libdpkg-perl libfakeroot libfile-fcntllock-perl libfile-stripnondeterminism-perl libgcc-6-dev libgcc1 libgdbm3 libgmp-dev libgmpxx4ldbl libgomp1 libisl15 libitm1 libjs-jquery liblocale-gettext-perl liblsan0 libltdl-dev libmail-sendmail-perl libmpc3 libmpfr4 libmpx2 libncurses5 libncursesw5 libncursesw5-dev libossp-uuid16 libperl5.24 libpipeline1 libquadmath0 libreadline-dev libsigsegv2 libstdc++-6-dev libstdc++6 libsys-hostname-long-perl libtimedate-perl libtinfo-dev libtinfo5 libtool libtsan0 libubsan0 linux-libc-dev m4 make man-db manpages manpages-dev patch perl perl-base perl-modules-5.24 po-debconf rename swi-prolog-nox swi-prolog-x Suggested packages: autoconf-archive gnu-standards autoconf-doc binutils-doc wamerican | wordlist whois vacation cpp-doc gcc-6-locales dh-make debian-keyring g++-multilib g++-6-multilib gcc-6-doc libstdc++6-6-dbg gcc-multilib flex bison gdb gcc-doc gcc-6-multilib libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan3-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libmpx2-dbg libquadmath0-dbg gettext-doc libasprintf-dev libgettextpo-dev groff apache2 | lighttpd | httpd lrzip glibc-doc libc-l10n locales gmp-doc libgmp10-doc libmpfr-dev libtool-doc ncurses-doc uuid readline-doc libstdc++-6-doc gfortran | fortran95-compiler gcj-jdk m4-doc make-doc www-browser ed diffutils-doc perl-doc libterm-readline-gnu-perl | libterm-readline-perl-perl libmail-box-perl prolog-el The following NEW packages will be installed: autoconf automake autopoint autotools-dev binutils bsdmainutils build-essential cpp cpp-6 debhelper dh-autoreconf dh-strip-nondeterminism dpkg-dev fakeroot g++ g++-6 gcc gcc-6 gettext gettext-base groff-base intltool-debian javascript-common libalgorithm-diff-perl libalgorithm-diff-xs-perl libalgorithm-merge-perl libarchive-zip-perl libarchive13 libasan3 libatomic1 libc-dev-bin libc6-dev libcc1-0 libcilkrts5 libdpkg-perl libfakeroot libfile-fcntllock-perl libfile-stripnondeterminism-perl libgcc-6-dev libgdbm3 libgmp-dev libgmpxx4ldbl libgomp1 libisl15 libitm1 libjs-jquery liblocale-gettext-perl liblsan0 libltdl-dev libmail-sendmail-perl libmpc3 libmpfr4 libmpx2 libncursesw5-dev libossp-uuid16 libperl5.24 libpipeline1 libquadmath0 libreadline-dev libsigsegv2 libstdc++-6-dev libsys-hostname-long-perl libtimedate-perl libtinfo-dev libtool libtsan0 libubsan0 linux-libc-dev m4 make man-db manpages manpages-dev patch perl perl-modules-5.24 po-debconf rename swi-prolog swi-prolog-nox swi-prolog-x The following packages will be upgraded: gcc-6-base libc6 libgcc1 libncurses5 libncursesw5 libstdc++6 libtinfo5 perl-base 8 upgraded, 81 newly installed, 0 to remove and 94 not upgraded. Need to get 67.7 MB of archives. After this operation, 264 MB of additional disk space will be used. Get:1 http://security.debian.org stretch/updates/main amd64 linux-libc-dev amd64 4.9.240-2 [1556 kB] Get:2 http://deb.debian.org/debian stretch/main amd64 perl-base amd64 5.24.1-3+deb9u7 [1346 kB] Get:3 http://deb.debian.org/debian stretch/main amd64 gcc-6-base amd64 6.3.0-18+deb9u1 [180 kB] Get:4 http://deb.debian.org/debian stretch/main amd64 libgcc1 amd64 1:6.3.0-18+deb9u1 [38.0 kB] Get:5 http://deb.debian.org/debian stretch/main amd64 libstdc++6 amd64 6.3.0-18+deb9u1 [396 kB] Get:6 http://deb.debian.org/debian stretch/main amd64 libc6 amd64 2.24-11+deb9u4 [2694 kB] Get:7 http://deb.debian.org/debian stretch/main amd64 groff-base amd64 1.22.3-9 [1160 kB] Get:8 http://deb.debian.org/debian stretch/main amd64 libncurses5 amd64 6.0+20161126-1+deb9u2 [93.4 kB] Get:9 http://deb.debian.org/debian stretch/main amd64 libtinfo5 amd64 6.0+20161126-1+deb9u2 [300 kB] Get:10 http://deb.debian.org/debian stretch/main amd64 libncursesw5 amd64 6.0+20161126-1+deb9u2 [115 kB] Get:11 http://deb.debian.org/debian stretch/main amd64 bsdmainutils amd64 9.0.12+nmu1 [186 kB] Get:12 http://deb.debian.org/debian stretch/main amd64 libgdbm3 amd64 1.8.3-14 [30.0 kB] Get:13 http://deb.debian.org/debian stretch/main amd64 libpipeline1 amd64 1.4.1-2 [27.6 kB] Get:14 http://deb.debian.org/debian stretch/main amd64 man-db amd64 2.7.6.1-2 [1044 kB] Get:15 http://deb.debian.org/debian stretch/main amd64 perl-modules-5.24 all 5.24.1-3+deb9u7 [2723 kB] Get:16 http://deb.debian.org/debian stretch/main amd64 libperl5.24 amd64 5.24.1-3+deb9u7 [3527 kB] Get:17 http://deb.debian.org/debian stretch/main amd64 perl amd64 5.24.1-3+deb9u7 [218 kB] Get:18 http://deb.debian.org/debian stretch/main amd64 liblocale-gettext-perl amd64 1.07-3+b1 [18.7 kB] Get:19 http://deb.debian.org/debian stretch/main amd64 gettext-base amd64 0.19.8.1-2+deb9u1 [122 kB] Get:20 http://deb.debian.org/debian stretch/main amd64 manpages all 4.10-2 [1222 kB] Get:21 http://deb.debian.org/debian stretch/main amd64 libsigsegv2 amd64 2.10-5 [28.9 kB] Get:22 http://deb.debian.org/debian stretch/main amd64 m4 amd64 1.4.18-1 [202 kB] Get:23 http://deb.debian.org/debian stretch/main amd64 autoconf all 2.69-10 [338 kB] Get:24 http://deb.debian.org/debian stretch/main amd64 autotools-dev all 20161112.1 [73.4 kB] Get:25 http://deb.debian.org/debian stretch/main amd64 automake all 1:1.15-6 [733 kB] Get:26 http://deb.debian.org/debian stretch/main amd64 autopoint all 0.19.8.1-2+deb9u1 [433 kB] Get:27 http://deb.debian.org/debian stretch/main amd64 binutils amd64 2.28-5 [3770 kB] Get:28 http://deb.debian.org/debian stretch/main amd64 libc-dev-bin amd64 2.24-11+deb9u4 [259 kB] Get:29 http://deb.debian.org/debian stretch/main amd64 libc6-dev amd64 2.24-11+deb9u4 [2364 kB] Get:30 http://deb.debian.org/debian stretch/main amd64 libisl15 amd64 0.18-1 [564 kB] Get:31 http://deb.debian.org/debian stretch/main amd64 libmpfr4 amd64 3.1.5-1 [556 kB] Get:32 http://deb.debian.org/debian stretch/main amd64 libmpc3 amd64 1.0.3-1+b2 [39.9 kB] Get:33 http://deb.debian.org/debian stretch/main amd64 cpp-6 amd64 6.3.0-18+deb9u1 [6584 kB] Get:34 http://deb.debian.org/debian stretch/main amd64 cpp amd64 4:6.3.0-4 [18.7 kB] Get:35 http://deb.debian.org/debian stretch/main amd64 libcc1-0 amd64 6.3.0-18+deb9u1 [30.6 kB] Get:36 http://deb.debian.org/debian stretch/main amd64 libgomp1 amd64 6.3.0-18+deb9u1 [73.3 kB] Get:37 http://deb.debian.org/debian stretch/main amd64 libitm1 amd64 6.3.0-18+deb9u1 [27.3 kB] Get:38 http://deb.debian.org/debian stretch/main amd64 libatomic1 amd64 6.3.0-18+deb9u1 [8966 B] Get:39 http://deb.debian.org/debian stretch/main amd64 libasan3 amd64 6.3.0-18+deb9u1 [311 kB] Get:40 http://deb.debian.org/debian stretch/main amd64 liblsan0 amd64 6.3.0-18+deb9u1 [115 kB] Get:41 http://deb.debian.org/debian stretch/main amd64 libtsan0 amd64 6.3.0-18+deb9u1 [257 kB] Get:42 http://deb.debian.org/debian stretch/main amd64 libubsan0 amd64 6.3.0-18+deb9u1 [107 kB] Get:43 http://deb.debian.org/debian stretch/main amd64 libcilkrts5 amd64 6.3.0-18+deb9u1 [40.5 kB] Get:44 http://deb.debian.org/debian stretch/main amd64 libmpx2 amd64 6.3.0-18+deb9u1 [11.2 kB] Get:45 http://deb.debian.org/debian stretch/main amd64 libquadmath0 amd64 6.3.0-18+deb9u1 [131 kB] Get:46 http://deb.debian.org/debian stretch/main amd64 libgcc-6-dev amd64 6.3.0-18+deb9u1 [2296 kB] Get:47 http://deb.debian.org/debian stretch/main amd64 gcc-6 amd64 6.3.0-18+deb9u1 [6900 kB] Get:48 http://deb.debian.org/debian stretch/main amd64 gcc amd64 4:6.3.0-4 [5196 B] Get:49 http://deb.debian.org/debian stretch/main amd64 libstdc++-6-dev amd64 6.3.0-18+deb9u1 [1420 kB] Get:50 http://deb.debian.org/debian stretch/main amd64 g++-6 amd64 6.3.0-18+deb9u1 [7094 kB] Get:51 http://deb.debian.org/debian stretch/main amd64 g++ amd64 4:6.3.0-4 [1546 B] Get:52 http://deb.debian.org/debian stretch/main amd64 make amd64 4.1-9.1 [302 kB] Get:53 http://deb.debian.org/debian stretch/main amd64 libdpkg-perl all 1.18.25 [1287 kB] Get:54 http://deb.debian.org/debian stretch/main amd64 patch amd64 2.7.5-1+deb9u2 [112 kB] Get:55 http://deb.debian.org/debian stretch/main amd64 dpkg-dev all 1.18.25 [1595 kB] Get:56 http://deb.debian.org/debian stretch/main amd64 build-essential amd64 12.3 [7346 B] Get:57 http://deb.debian.org/debian stretch/main amd64 libtool all 2.4.6-2 [545 kB] Get:58 http://deb.debian.org/debian stretch/main amd64 dh-autoreconf all 14 [15.9 kB] Get:59 http://deb.debian.org/debian stretch/main amd64 libarchive-zip-perl all 1.59-1+deb9u1 [96.2 kB] Get:60 http://deb.debian.org/debian stretch/main amd64 libfile-stripnondeterminism-perl all 0.034-1 [16.4 kB] Get:61 http://deb.debian.org/debian stretch/main amd64 libtimedate-perl all 2.3000-2+deb9u1 [37.9 kB] Get:62 http://deb.debian.org/debian stretch/main amd64 dh-strip-nondeterminism all 0.034-1 [10.5 kB] Get:63 http://deb.debian.org/debian stretch/main amd64 gettext amd64 0.19.8.1-2+deb9u1 [1496 kB] Get:64 http://deb.debian.org/debian stretch/main amd64 intltool-debian all 0.35.0+20060710.4 [26.3 kB] Get:65 http://deb.debian.org/debian stretch/main amd64 po-debconf all 1.0.20 [247 kB] Get:66 http://deb.debian.org/debian stretch/main amd64 debhelper all 10.2.5 [961 kB] Get:67 http://deb.debian.org/debian stretch/main amd64 libfakeroot amd64 1.21-3.1 [45.7 kB] Get:68 http://deb.debian.org/debian stretch/main amd64 fakeroot amd64 1.21-3.1 [85.6 kB] Get:69 http://deb.debian.org/debian stretch/main amd64 javascript-common all 11 [6120 B] Get:70 http://deb.debian.org/debian stretch/main amd64 libalgorithm-diff-perl all 1.19.03-1 [48.7 kB] Get:71 http://deb.debian.org/debian stretch/main amd64 libalgorithm-diff-xs-perl amd64 0.04-4+b2 [11.6 kB] Get:72 http://deb.debian.org/debian stretch/main amd64 libalgorithm-merge-perl all 0.08-3 [12.7 kB] Get:73 http://deb.debian.org/debian stretch/main amd64 libarchive13 amd64 3.2.2-2+deb9u2 [294 kB] Get:74 http://deb.debian.org/debian stretch/main amd64 libfile-fcntllock-perl amd64 0.22-3+b2 [35.3 kB] Get:75 http://deb.debian.org/debian stretch/main amd64 libgmpxx4ldbl amd64 2:6.1.2+dfsg-1 [22.2 kB] Get:76 http://deb.debian.org/debian stretch/main amd64 libgmp-dev amd64 2:6.1.2+dfsg-1 [631 kB] Get:77 http://deb.debian.org/debian stretch/main amd64 libjs-jquery all 3.1.1-2+deb9u1 [154 kB] Get:78 http://deb.debian.org/debian stretch/main amd64 libltdl-dev amd64 2.4.6-2 [161 kB] Get:79 http://deb.debian.org/debian stretch/main amd64 libsys-hostname-long-perl all 1.5-1 [12.0 kB] Get:80 http://deb.debian.org/debian stretch/main amd64 libmail-sendmail-perl all 0.79.16-2 [24.9 kB] Get:81 http://deb.debian.org/debian stretch/main amd64 libtinfo-dev amd64 6.0+20161126-1+deb9u2 [79.2 kB] Get:82 http://deb.debian.org/debian stretch/main amd64 libncursesw5-dev amd64 6.0+20161126-1+deb9u2 [200 kB] Get:83 http://deb.debian.org/debian stretch/main amd64 libossp-uuid16 amd64 1.6.2-1.5+b4 [38.3 kB] Get:84 http://deb.debian.org/debian stretch/main amd64 libreadline-dev amd64 7.0-3 [132 kB] Get:85 http://deb.debian.org/debian stretch/main amd64 manpages-dev all 4.10-2 [2145 kB] Get:86 http://deb.debian.org/debian stretch/main amd64 rename all 0.20-4 [12.5 kB] Get:87 http://deb.debian.org/debian stretch/main amd64 swi-prolog-nox amd64 7.2.3+dfsg-6 [3025 kB] Get:88 http://deb.debian.org/debian stretch/main amd64 swi-prolog-x amd64 7.2.3+dfsg-6 [2000 kB] Get:89 http://deb.debian.org/debian stretch/main amd64 swi-prolog amd64 7.2.3+dfsg-6 [17.0 kB] Fetched 67.7 MB in 1s (45.9 MB/s) Extracting templates from packages: 100% Preconfiguring packages ... (Reading database ... 30657 files and directories currently installed.) Preparing to unpack .../perl-base_5.24.1-3+deb9u7_amd64.deb ... Unpacking perl-base (5.24.1-3+deb9u7) over (5.24.1-3+deb9u2) ... Setting up perl-base (5.24.1-3+deb9u7) ... (Reading database ... 30657 files and directories currently installed.) Preparing to unpack .../gcc-6-base_6.3.0-18+deb9u1_amd64.deb ... Unpacking gcc-6-base:amd64 (6.3.0-18+deb9u1) over (6.3.0-18) ... Setting up gcc-6-base:amd64 (6.3.0-18+deb9u1) ... (Reading database ... 30657 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a6.3.0-18+deb9u1_amd64.deb ... Unpacking libgcc1:amd64 (1:6.3.0-18+deb9u1) over (1:6.3.0-18) ... Setting up libgcc1:amd64 (1:6.3.0-18+deb9u1) ... (Reading database ... 30657 files and directories currently installed.) Preparing to unpack .../libstdc++6_6.3.0-18+deb9u1_amd64.deb ... Unpacking libstdc++6:amd64 (6.3.0-18+deb9u1) over (6.3.0-18) ... Setting up libstdc++6:amd64 (6.3.0-18+deb9u1) ... (Reading database ... 30657 files and directories currently installed.) Preparing to unpack .../libc6_2.24-11+deb9u4_amd64.deb ... Unpacking libc6:amd64 (2.24-11+deb9u4) over (2.24-11+deb9u1) ... Setting up libc6:amd64 (2.24-11+deb9u4) ... Selecting previously unselected package groff-base. (Reading database ... 30657 files and directories currently installed.) Preparing to unpack .../groff-base_1.22.3-9_amd64.deb ... Unpacking groff-base (1.22.3-9) ... Preparing to unpack .../libncurses5_6.0+20161126-1+deb9u2_amd64.deb ... Unpacking libncurses5:amd64 (6.0+20161126-1+deb9u2) over (6.0+20161126-1+deb9u1) ... Preparing to unpack .../libtinfo5_6.0+20161126-1+deb9u2_amd64.deb ... Unpacking libtinfo5:amd64 (6.0+20161126-1+deb9u2) over (6.0+20161126-1+deb9u1) ... Setting up libtinfo5:amd64 (6.0+20161126-1+deb9u2) ... (Reading database ... 30843 files and directories currently installed.) Preparing to unpack .../libncursesw5_6.0+20161126-1+deb9u2_amd64.deb ... Unpacking libncursesw5:amd64 (6.0+20161126-1+deb9u2) over (6.0+20161126-1+deb9u1) ... Setting up libncursesw5:amd64 (6.0+20161126-1+deb9u2) ... Selecting previously unselected package bsdmainutils. (Reading database ... 30843 files and directories currently installed.) Preparing to unpack .../00-bsdmainutils_9.0.12+nmu1_amd64.deb ... Unpacking bsdmainutils (9.0.12+nmu1) ... Selecting previously unselected package libgdbm3:amd64. Preparing to unpack .../01-libgdbm3_1.8.3-14_amd64.deb ... Unpacking libgdbm3:amd64 (1.8.3-14) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../02-libpipeline1_1.4.1-2_amd64.deb ... Unpacking libpipeline1:amd64 (1.4.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../03-man-db_2.7.6.1-2_amd64.deb ... Unpacking man-db (2.7.6.1-2) ... Selecting previously unselected package perl-modules-5.24. Preparing to unpack .../04-perl-modules-5.24_5.24.1-3+deb9u7_all.deb ... Unpacking perl-modules-5.24 (5.24.1-3+deb9u7) ... Selecting previously unselected package libperl5.24:amd64. Preparing to unpack .../05-libperl5.24_5.24.1-3+deb9u7_amd64.deb ... Unpacking libperl5.24:amd64 (5.24.1-3+deb9u7) ... Selecting previously unselected package perl. Preparing to unpack .../06-perl_5.24.1-3+deb9u7_amd64.deb ... Unpacking perl (5.24.1-3+deb9u7) ... Selecting previously unselected package liblocale-gettext-perl. Preparing to unpack .../07-liblocale-gettext-perl_1.07-3+b1_amd64.deb ... Unpacking liblocale-gettext-perl (1.07-3+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../08-gettext-base_0.19.8.1-2+deb9u1_amd64.deb ... Unpacking gettext-base (0.19.8.1-2+deb9u1) ... Selecting previously unselected package manpages. Preparing to unpack .../09-manpages_4.10-2_all.deb ... Unpacking manpages (4.10-2) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../10-libsigsegv2_2.10-5_amd64.deb ... Unpacking libsigsegv2:amd64 (2.10-5) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.18-1_amd64.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.15-6_all.deb ... Unpacking automake (1:1.15-6) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.19.8.1-2+deb9u1_all.deb ... Unpacking autopoint (0.19.8.1-2+deb9u1) ... Selecting previously unselected package binutils. Preparing to unpack .../16-binutils_2.28-5_amd64.deb ... Unpacking binutils (2.28-5) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../17-libc-dev-bin_2.24-11+deb9u4_amd64.deb ... Unpacking libc-dev-bin (2.24-11+deb9u4) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../18-linux-libc-dev_4.9.240-2_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.9.240-2) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../19-libc6-dev_2.24-11+deb9u4_amd64.deb ... Unpacking libc6-dev:amd64 (2.24-11+deb9u4) ... Selecting previously unselected package libisl15:amd64. Preparing to unpack .../20-libisl15_0.18-1_amd64.deb ... Unpacking libisl15:amd64 (0.18-1) ... Selecting previously unselected package libmpfr4:amd64. Preparing to unpack .../21-libmpfr4_3.1.5-1_amd64.deb ... Unpacking libmpfr4:amd64 (3.1.5-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../22-libmpc3_1.0.3-1+b2_amd64.deb ... Unpacking libmpc3:amd64 (1.0.3-1+b2) ... Selecting previously unselected package cpp-6. Preparing to unpack .../23-cpp-6_6.3.0-18+deb9u1_amd64.deb ... Unpacking cpp-6 (6.3.0-18+deb9u1) ... Selecting previously unselected package cpp. Preparing to unpack .../24-cpp_4%3a6.3.0-4_amd64.deb ... Unpacking cpp (4:6.3.0-4) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../25-libcc1-0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libcc1-0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../26-libgomp1_6.3.0-18+deb9u1_amd64.deb ... Unpacking libgomp1:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../27-libitm1_6.3.0-18+deb9u1_amd64.deb ... Unpacking libitm1:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../28-libatomic1_6.3.0-18+deb9u1_amd64.deb ... Unpacking libatomic1:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libasan3:amd64. Preparing to unpack .../29-libasan3_6.3.0-18+deb9u1_amd64.deb ... Unpacking libasan3:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../30-liblsan0_6.3.0-18+deb9u1_amd64.deb ... Unpacking liblsan0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../31-libtsan0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libtsan0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libubsan0:amd64. Preparing to unpack .../32-libubsan0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libubsan0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libcilkrts5:amd64. Preparing to unpack .../33-libcilkrts5_6.3.0-18+deb9u1_amd64.deb ... Unpacking libcilkrts5:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libmpx2:amd64. Preparing to unpack .../34-libmpx2_6.3.0-18+deb9u1_amd64.deb ... Unpacking libmpx2:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../35-libquadmath0_6.3.0-18+deb9u1_amd64.deb ... Unpacking libquadmath0:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package libgcc-6-dev:amd64. Preparing to unpack .../36-libgcc-6-dev_6.3.0-18+deb9u1_amd64.deb ... Unpacking libgcc-6-dev:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package gcc-6. Preparing to unpack .../37-gcc-6_6.3.0-18+deb9u1_amd64.deb ... Unpacking gcc-6 (6.3.0-18+deb9u1) ... Selecting previously unselected package gcc. Preparing to unpack .../38-gcc_4%3a6.3.0-4_amd64.deb ... Unpacking gcc (4:6.3.0-4) ... Selecting previously unselected package libstdc++-6-dev:amd64. Preparing to unpack .../39-libstdc++-6-dev_6.3.0-18+deb9u1_amd64.deb ... Unpacking libstdc++-6-dev:amd64 (6.3.0-18+deb9u1) ... Selecting previously unselected package g++-6. Preparing to unpack .../40-g++-6_6.3.0-18+deb9u1_amd64.deb ... Unpacking g++-6 (6.3.0-18+deb9u1) ... Selecting previously unselected package g++. Preparing to unpack .../41-g++_4%3a6.3.0-4_amd64.deb ... Unpacking g++ (4:6.3.0-4) ... Selecting previously unselected package make. Preparing to unpack .../42-make_4.1-9.1_amd64.deb ... Unpacking make (4.1-9.1) ... Selecting previously unselected package libdpkg-perl. Preparing to unpack .../43-libdpkg-perl_1.18.25_all.deb ... Unpacking libdpkg-perl (1.18.25) ... Selecting previously unselected package patch. Preparing to unpack .../44-patch_2.7.5-1+deb9u2_amd64.deb ... Unpacking patch (2.7.5-1+deb9u2) ... Selecting previously unselected package dpkg-dev. Preparing to unpack .../45-dpkg-dev_1.18.25_all.deb ... Unpacking dpkg-dev (1.18.25) ... Selecting previously unselected package build-essential. Preparing to unpack .../46-build-essential_12.3_amd64.deb ... Unpacking build-essential (12.3) ... Selecting previously unselected package libtool. Preparing to unpack .../47-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../48-dh-autoreconf_14_all.deb ... Unpacking dh-autoreconf (14) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../49-libarchive-zip-perl_1.59-1+deb9u1_all.deb ... Unpacking libarchive-zip-perl (1.59-1+deb9u1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../50-libfile-stripnondeterminism-perl_0.034-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.034-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../51-libtimedate-perl_2.3000-2+deb9u1_all.deb ... Unpacking libtimedate-perl (2.3000-2+deb9u1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../52-dh-strip-nondeterminism_0.034-1_all.deb ... Unpacking dh-strip-nondeterminism (0.034-1) ... Selecting previously unselected package gettext. Preparing to unpack .../53-gettext_0.19.8.1-2+deb9u1_amd64.deb ... Unpacking gettext (0.19.8.1-2+deb9u1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../54-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../55-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../56-debhelper_10.2.5_all.deb ... Unpacking debhelper (10.2.5) ... Selecting previously unselected package libfakeroot:amd64. Preparing to unpack .../57-libfakeroot_1.21-3.1_amd64.deb ... Unpacking libfakeroot:amd64 (1.21-3.1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../58-fakeroot_1.21-3.1_amd64.deb ... Unpacking fakeroot (1.21-3.1) ... Selecting previously unselected package javascript-common. Preparing to unpack .../59-javascript-common_11_all.deb ... Unpacking javascript-common (11) ... Selecting previously unselected package libalgorithm-diff-perl. Preparing to unpack .../60-libalgorithm-diff-perl_1.19.03-1_all.deb ... Unpacking libalgorithm-diff-perl (1.19.03-1) ... Selecting previously unselected package libalgorithm-diff-xs-perl. Preparing to unpack .../61-libalgorithm-diff-xs-perl_0.04-4+b2_amd64.deb ... Unpacking libalgorithm-diff-xs-perl (0.04-4+b2) ... Selecting previously unselected package libalgorithm-merge-perl. Preparing to unpack .../62-libalgorithm-merge-perl_0.08-3_all.deb ... Unpacking libalgorithm-merge-perl (0.08-3) ... Selecting previously unselected package libarchive13:amd64. Preparing to unpack .../63-libarchive13_3.2.2-2+deb9u2_amd64.deb ... Unpacking libarchive13:amd64 (3.2.2-2+deb9u2) ... Selecting previously unselected package libfile-fcntllock-perl. Preparing to unpack .../64-libfile-fcntllock-perl_0.22-3+b2_amd64.deb ... Unpacking libfile-fcntllock-perl (0.22-3+b2) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../65-libgmpxx4ldbl_2%3a6.1.2+dfsg-1_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.1.2+dfsg-1) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../66-libgmp-dev_2%3a6.1.2+dfsg-1_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.1.2+dfsg-1) ... Selecting previously unselected package libjs-jquery. Preparing to unpack .../67-libjs-jquery_3.1.1-2+deb9u1_all.deb ... Unpacking libjs-jquery (3.1.1-2+deb9u1) ... Selecting previously unselected package libltdl-dev:amd64. Preparing to unpack .../68-libltdl-dev_2.4.6-2_amd64.deb ... Unpacking libltdl-dev:amd64 (2.4.6-2) ... Selecting previously unselected package libsys-hostname-long-perl. Preparing to unpack .../69-libsys-hostname-long-perl_1.5-1_all.deb ... Unpacking libsys-hostname-long-perl (1.5-1) ... Selecting previously unselected package libmail-sendmail-perl. Preparing to unpack .../70-libmail-sendmail-perl_0.79.16-2_all.deb ... Unpacking libmail-sendmail-perl (0.79.16-2) ... Selecting previously unselected package libtinfo-dev:amd64. Preparing to unpack .../71-libtinfo-dev_6.0+20161126-1+deb9u2_amd64.deb ... Unpacking libtinfo-dev:amd64 (6.0+20161126-1+deb9u2) ... Selecting previously unselected package libncursesw5-dev:amd64. Preparing to unpack .../72-libncursesw5-dev_6.0+20161126-1+deb9u2_amd64.deb ... Unpacking libncursesw5-dev:amd64 (6.0+20161126-1+deb9u2) ... Selecting previously unselected package libossp-uuid16:amd64. Preparing to unpack .../73-libossp-uuid16_1.6.2-1.5+b4_amd64.deb ... Unpacking libossp-uuid16:amd64 (1.6.2-1.5+b4) ... Selecting previously unselected package libreadline-dev:amd64. Preparing to unpack .../74-libreadline-dev_7.0-3_amd64.deb ... Unpacking libreadline-dev:amd64 (7.0-3) ... Selecting previously unselected package manpages-dev. Preparing to unpack .../75-manpages-dev_4.10-2_all.deb ... Unpacking manpages-dev (4.10-2) ... Selecting previously unselected package rename. Preparing to unpack .../76-rename_0.20-4_all.deb ... Unpacking rename (0.20-4) ... Selecting previously unselected package swi-prolog-nox. Preparing to unpack .../77-swi-prolog-nox_7.2.3+dfsg-6_amd64.deb ... Unpacking swi-prolog-nox (7.2.3+dfsg-6) ... Selecting previously unselected package swi-prolog-x. Preparing to unpack .../78-swi-prolog-x_7.2.3+dfsg-6_amd64.deb ... Unpacking swi-prolog-x (7.2.3+dfsg-6) ... Selecting previously unselected package swi-prolog. Preparing to unpack .../79-swi-prolog_7.2.3+dfsg-6_amd64.deb ... Unpacking swi-prolog (7.2.3+dfsg-6) ... Setting up libquadmath0:amd64 (6.3.0-18+deb9u1) ... Setting up libncurses5:amd64 (6.0+20161126-1+deb9u2) ... Setting up libgomp1:amd64 (6.3.0-18+deb9u1) ... Setting up libjs-jquery (3.1.1-2+deb9u1) ... Setting up libatomic1:amd64 (6.3.0-18+deb9u1) ... Setting up perl-modules-5.24 (5.24.1-3+deb9u7) ... Setting up libgdbm3:amd64 (1.8.3-14) ... Setting up manpages (4.10-2) ... Setting up libperl5.24:amd64 (5.24.1-3+deb9u7) ... Setting up libcc1-0:amd64 (6.3.0-18+deb9u1) ... Setting up make (4.1-9.1) ... Setting up libasan3:amd64 (6.3.0-18+deb9u1) ... Setting up libltdl-dev:amd64 (2.4.6-2) ... Processing triggers for mime-support (3.60) ... Setting up libsigsegv2:amd64 (2.10-5) ... Setting up libarchive13:amd64 (3.2.2-2+deb9u2) ... Setting up libcilkrts5:amd64 (6.3.0-18+deb9u1) ... Setting up libubsan0:amd64 (6.3.0-18+deb9u1) ... Setting up libtsan0:amd64 (6.3.0-18+deb9u1) ... Setting up groff-base (1.22.3-9) ... Setting up libossp-uuid16:amd64 (1.6.2-1.5+b4) ... Setting up linux-libc-dev:amd64 (4.9.240-2) ... Setting up libtinfo-dev:amd64 (6.0+20161126-1+deb9u2) ... Setting up gettext-base (0.19.8.1-2+deb9u1) ... Setting up libpipeline1:amd64 (1.4.1-2) ... Setting up m4 (1.4.18-1) ... Setting up liblsan0:amd64 (6.3.0-18+deb9u1) ... Setting up perl (5.24.1-3+deb9u7) ... update-alternatives: using /usr/bin/prename to provide /usr/bin/rename (rename) in auto mode Setting up libsys-hostname-long-perl (1.5-1) ... Setting up libfile-fcntllock-perl (0.22-3+b2) ... Setting up libmpx2:amd64 (6.3.0-18+deb9u1) ... Setting up libisl15:amd64 (0.18-1) ... Setting up patch (2.7.5-1+deb9u2) ... Setting up libmail-sendmail-perl (0.79.16-2) ... Processing triggers for libc-bin (2.24-11+deb9u1) ... Setting up autotools-dev (20161112.1) ... Setting up libfakeroot:amd64 (1.21-3.1) ... Setting up libreadline-dev:amd64 (7.0-3) ... Setting up libalgorithm-diff-perl (1.19.03-1) ... Setting up liblocale-gettext-perl (1.07-3+b1) ... Setting up libmpfr4:amd64 (3.1.5-1) ... Setting up libmpc3:amd64 (1.0.3-1+b2) ... Setting up binutils (2.28-5) ... Setting up cpp-6 (6.3.0-18+deb9u1) ... Setting up libc-dev-bin (2.24-11+deb9u4) ... Setting up javascript-common (11) ... Setting up bsdmainutils (9.0.12+nmu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode Setting up libgmpxx4ldbl:amd64 (2:6.1.2+dfsg-1) ... Setting up manpages-dev (4.10-2) ... Setting up libc6-dev:amd64 (2.24-11+deb9u4) ... Setting up libitm1:amd64 (6.3.0-18+deb9u1) ... Setting up autopoint (0.19.8.1-2+deb9u1) ... Setting up libgmp-dev:amd64 (2:6.1.2+dfsg-1) ... Setting up cpp (4:6.3.0-4) ... Setting up libgcc-6-dev:amd64 (6.3.0-18+deb9u1) ... Setting up libstdc++-6-dev:amd64 (6.3.0-18+deb9u1) ... Setting up libarchive-zip-perl (1.59-1+deb9u1) ... Setting up gettext (0.19.8.1-2+deb9u1) ... Setting up libtimedate-perl (2.3000-2+deb9u1) ... Setting up rename (0.20-4) ... update-alternatives: using /usr/bin/file-rename to provide /usr/bin/rename (rename) in auto mode Setting up libdpkg-perl (1.18.25) ... Setting up autoconf (2.69-10) ... Setting up fakeroot (1.21-3.1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Setting up gcc-6 (6.3.0-18+deb9u1) ... Setting up g++-6 (6.3.0-18+deb9u1) ... Setting up libalgorithm-merge-perl (0.08-3) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up dpkg-dev (1.18.25) ... Setting up libalgorithm-diff-xs-perl (0.04-4+b2) ... Setting up libncursesw5-dev:amd64 (6.0+20161126-1+deb9u2) ... Setting up automake (1:1.15-6) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.7.6.1-2) ... Building database of manual pages ... Setting up libfile-stripnondeterminism-perl (0.034-1) ... Setting up libtool (2.4.6-2) ... Setting up po-debconf (1.0.20) ... Setting up gcc (4:6.3.0-4) ... Setting up swi-prolog-nox (7.2.3+dfsg-6) ... update-alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode Setting up g++ (4:6.3.0-4) ... update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode Setting up build-essential (12.3) ... Setting up swi-prolog-x (7.2.3+dfsg-6) ... Setting up swi-prolog (7.2.3+dfsg-6) ... Setting up debhelper (10.2.5) ... Setting up dh-autoreconf (14) ... Setting up dh-strip-nondeterminism (0.034-1) ... finally: `swipl` Welcome to SWI-Prolog (Multi-threaded, 64 bits, **Version **7.2.3****) Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ?-
redskate commented 3 years ago

Reposted at debian distro place.

JanWielemaker commented 3 years ago

AFAIK, PPAs are Ubuntu only. On other Linux platforms the choice is the (often) older version distributed by the distro, the snap or building from source.

redskate commented 3 years ago

Excellent (and practical) solution. Thank you very much. Debian-Users: swi-prolog via PPA - “must" be hence per se “old" (and hence under circumstances even inappropriate). Interestingly you write on the portal down left "Powered by SWI-Prolog 8.3.11".

On 8 Nov 2020, at 09:13, Jan Wielemaker notifications@github.com wrote:

AFAIK, PPAs are Ubuntu only. On other Linux platforms the choice is the (often) older version distributed by the distro, the snap https://www.swi-prolog.org/build/snap.md or building from source.

— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/SWI-Prolog/issues/issues/96#issuecomment-723544492, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAHOXLJ6RBXYBKCTXLPDXDLSOZHMHANCNFSM4TN2L7HA.