swi-prolog/distro-debian

Configuration files for creating a Debian package

distro-debian's Issues

Is copyright up to date ?

Does the copyright should be updated to Simplified BSD too ?

debian install delivers a quite old version of swi-prolog (7.2.3) instead of currently 8.13.11

Hi

I would like to install the latest swi-prolog 8.x on a debian OS (x86_64) 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.13.11

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

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).

?-