swi-prolog / distro-debian Goto Github PK
View Code? Open in Web Editor NEWConfiguration files for creating a Debian package
License: Other
Configuration files for creating a Debian package
License: Other
Does the copyright should be updated to Simplified BSD too ?
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).
?-
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.