alt-ergo →
2.0.0-5 →
armhf → 2019-09-04 19:48:07
sbuild (Debian sbuild) 0.72.0 (25 Oct 2016) on mb-lxc-02
+==============================================================================+
| alt-ergo 2.0.0-5 (armhf) Wed, 04 Sep 2019 19:27:35 +0000 |
+==============================================================================+
Package: alt-ergo
Version: 2.0.0-5
Source Version: 2.0.0-5
Distribution: bullseye-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/bullseye-staging-armhf-sbuild-bbcf2a4b-8bab-4302-b7b0-ef2de34e5013' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.0.1/private bullseye-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private bullseye-staging/main Sources [11.5 MB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf Packages [13.0 MB]
Fetched 24.5 MB in 9s (2632 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Fetch source files |
+------------------------------------------------------------------------------+
Check APT
---------
Checking available source versions...
Download source files with APT
------------------------------
Reading package lists...
NOTICE: 'alt-ergo' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/alt-ergo.git
Please use:
git clone https://salsa.debian.org/ocaml-team/alt-ergo.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 363 kB of source archives.
Get:1 http://172.17.0.1/private bullseye-staging/main alt-ergo 2.0.0-5 (dsc) [2037 B]
Get:2 http://172.17.0.1/private bullseye-staging/main alt-ergo 2.0.0-5 (tar) [353 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main alt-ergo 2.0.0-5 (diff) [7012 B]
Fetched 363 kB in 0s (2289 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/alt-ergo-9Am24x/alt-ergo-2.0.0' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/alt-ergo-9Am24x' with '<<BUILDDIR>>'
+------------------------------------------------------------------------------+
| Install build-essential |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-Qkwu0o/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-Qkwu0o/gpg/trustdb.gpg: trustdb created
gpg: key 37145E60F90AF620: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg: imported: 1
gpg: key 37145E60F90AF620: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 37145E60F90AF620: secret key imported
gpg: Total number processed: 1
gpg: unchanged: 1
gpg: secret keys read: 1
gpg: secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive ./ Packages [430 B]
Fetched 2106 B in 0s (8171 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install core build dependencies (apt-based resolver)
----------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following package was automatically installed and is no longer required:
netbase
Use 'apt autoremove' to remove it.
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 95 not upgraded.
Need to get 848 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [848 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 848 B in 0s (0 B/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12050 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Check architectures |
+------------------------------------------------------------------------------+
Arch check ok (armhf included in any)
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: debhelper-compat (= 12), dh-ocaml (>= 0.9.0~), ocaml-nox (>= 4.04), menhir, ocaml-findlib, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev (>= 0.4), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~)
Filtered Build-Depends: debhelper-compat (= 12), dh-ocaml (>= 0.9.0~), ocaml-nox (>= 4.04), menhir, ocaml-findlib, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev (>= 0.4), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~)
dpkg-deb: building package 'sbuild-build-depends-alt-ergo-dummy' in '/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive/sbuild-build-depends-alt-ergo-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-alt-ergo-dummy sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive ./ Sources [626 B]
Get:5 copy:/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive ./ Packages [706 B]
Fetched 2665 B in 0s (10.2 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install alt-ergo build dependencies (apt-based resolver)
--------------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following package was automatically installed and is no longer required:
netbase
Use 'apt autoremove' to remove it.
The following additional packages will be installed:
adwaita-icon-theme aspell aspell-en autoconf automake autopoint
autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml
dh-strip-nondeterminism dictionaries-common dwz emacsen-common file
fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base
gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0
gir1.2-gtk-2.0 gir1.2-harfbuzz-0.0 gir1.2-pango-1.0 gir1.2-rsvg-2.0
groff-base gtk-update-icon-cache hicolor-icon-theme icu-devtools
intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data
libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3
libblkid-dev libblkid1 libbsd0 libcairo-gobject2
libcairo-script-interpreter2 libcairo2 libcairo2-dev libcroco3 libcups2
libdatrie1 libdbus-1-3 libelf1 libenchant-dev libenchant1c2a libexpat1
libexpat1-dev libffi-dev libfile-stripnondeterminism-perl libfindlib-ocaml
libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev
libfribidi-dev libfribidi0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-bin
libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev libgirepository-1.0-1
libglade2-0 libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data
libglib2.0-dev libglib2.0-dev-bin libgmp-dev libgmp3-dev libgmpxx4ldbl
libgnutls30 libgraphite2-3 libgraphite2-dev libgssapi-krb5-2 libgtk2.0-0
libgtk2.0-common libgtk2.0-dev libgtksourceview2.0-0
libgtksourceview2.0-common libgtksourceview2.0-dev libgtkspell-dev
libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0 libharfbuzz-icu0
libharfbuzz0b libhunspell-1.7-0 libice-dev libice6 libicu-dev libicu63
libjbig0 libjpeg62-turbo libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0
liblablgtk2-gnome-ocaml liblablgtk2-gnome-ocaml-dev liblablgtk2-ocaml
liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml
liblablgtksourceview2-ocaml-dev liblzo2-2 libmagic-mgc libmagic1
libmount-dev libmount1 libmpdec2 libncurses-dev libncurses5-dev libncurses6
libncursesw6 libocamlgraph-ocaml-dev libpango-1.0-0 libpango1.0-dev
libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3
libpcre2-16-0 libpcre2-32-0 libpcre2-8-0 libpcre2-dev libpcre2-posix0
libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0
libpixman-1-dev libpng-dev libpng16-16 libpthread-stubs0-dev
libpython-stdlib libpython2-stdlib libpython2.7-minimal libpython2.7-stdlib
libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libreadline8
librsvg2-2 librsvg2-common librsvg2-dev libselinux1 libselinux1-dev
libsepol1 libsepol1-dev libsigsegv2 libsm-dev libsm6 libssl1.1
libsub-override-perl libtasn1-6 libthai-data libthai0 libtiff5 libtinfo5
libtinfo6 libtool libuchardet0 libuuid1 libwebp6 libx11-6 libx11-data
libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0
libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1
libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6
libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev
libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils
libxrandr-dev libxrandr2 libxrender-dev libxrender1 libzarith-ocaml
libzarith-ocaml-dev libzip-ocaml libzip-ocaml-dev m4 man-db menhir
mime-support multiarch-support ocaml-base-nox ocaml-compiler-libs
ocaml-findlib ocaml-interp ocaml-nox ocplib-simplex-ocaml-dev pango1.0-tools
pkg-config po-debconf python python-minimal python2 python2-minimal
python2.7 python2.7-minimal python3 python3-distutils python3-lib2to3
python3-minimal python3.7 python3.7-minimal sensible-utils shared-mime-info
ucf uuid-dev x11-common x11proto-composite-dev x11proto-core-dev
x11proto-damage-dev x11proto-dev x11proto-fixes-dev x11proto-input-dev
x11proto-randr-dev x11proto-xext-dev x11proto-xinerama-dev
xorg-sgml-doctools xtrans-dev zlib1g-dev
Suggested packages:
aspell-doc spellutils autoconf-archive gnu-standards autoconf-doc wamerican
| wordlist whois vacation dh-make git wordlist gettext-doc libasprintf-dev
libgettextpo-dev groff libcairo2-doc cups-common libenchant-voikko
freetype2-doc glade | glade-gnome libglib2.0-doc gmp-doc libgmp10-doc
libmpfr-dev gnutls-bin libgraphite2-utils krb5-doc krb5-user gvfs
libgtk2.0-doc libgtksourceview2.0-doc libice-doc icu-doc
liblablgtk2-gl-ocaml-dev ncurses-doc imagemagick libpango1.0-doc
librsvg2-bin librsvg2-doc libsm-doc libtool-doc gfortran
| fortran95-compiler gcj-jdk libx11-doc libxcb-doc libxext-doc m4-doc
apparmor less www-browser menhir-doc camlp4 ocaml-doc tuareg-mode
| ocaml-mode libmail-box-perl python-doc python-tk python2-doc python2.7-doc
binfmt-support python3-doc python3-tk python3-venv python3.7-venv
python3.7-doc
Recommended packages:
curl | wget | lynx dbus enchant libarchive-cpio-perl xdg-user-dirs
libgail-common libgtk2.0-bin hunspell-en-us | hunspell-dictionary
| myspell-dictionary krb5-locales liblablgtk2-ocaml-doc libgpm2 libpng-tools
libltdl-dev uuid-runtime libfindlib-ocaml-dev ledit | readline-editor
libmail-sendmail-perl
The following NEW packages will be installed:
adwaita-icon-theme aspell aspell-en autoconf automake autopoint
autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml
dh-strip-nondeterminism dictionaries-common dwz emacsen-common file
fontconfig fontconfig-config fonts-dejavu-core gettext gettext-base
gir1.2-atk-1.0 gir1.2-freedesktop gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0
gir1.2-gtk-2.0 gir1.2-harfbuzz-0.0 gir1.2-pango-1.0 gir1.2-rsvg-2.0
groff-base gtk-update-icon-cache hicolor-icon-theme icu-devtools
intltool-debian libarchive-zip-perl libaspell15 libatk1.0-0 libatk1.0-data
libatk1.0-dev libavahi-client3 libavahi-common-data libavahi-common3
libblkid-dev libbsd0 libcairo-gobject2 libcairo-script-interpreter2
libcairo2 libcairo2-dev libcroco3 libcups2 libdatrie1 libdbus-1-3 libelf1
libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libffi-dev
libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1
libfontconfig1-dev libfreetype6 libfreetype6-dev libfribidi-dev libfribidi0
libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-bin libgdk-pixbuf2.0-common
libgdk-pixbuf2.0-dev libgirepository-1.0-1 libglade2-0 libglade2-dev
libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev
libglib2.0-dev-bin libgmp-dev libgmp3-dev libgmpxx4ldbl libgraphite2-3
libgraphite2-dev libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common libgtk2.0-dev
libgtksourceview2.0-0 libgtksourceview2.0-common libgtksourceview2.0-dev
libgtkspell-dev libgtkspell0 libharfbuzz-dev libharfbuzz-gobject0
libharfbuzz-icu0 libharfbuzz0b libhunspell-1.7-0 libice-dev libice6
libicu-dev libicu63 libjbig0 libjpeg62-turbo libk5crypto3 libkeyutils1
libkrb5-3 libkrb5support0 liblablgtk2-gnome-ocaml
liblablgtk2-gnome-ocaml-dev liblablgtk2-ocaml liblablgtk2-ocaml-dev
liblablgtksourceview2-ocaml liblablgtksourceview2-ocaml-dev liblzo2-2
libmagic-mgc libmagic1 libmount-dev libmpdec2 libncurses-dev libncurses5-dev
libncurses6 libocamlgraph-ocaml-dev libpango-1.0-0 libpango1.0-dev
libpangocairo-1.0-0 libpangoft2-1.0-0 libpangoxft-1.0-0 libpcre16-3
libpcre2-16-0 libpcre2-32-0 libpcre2-8-0 libpcre2-dev libpcre2-posix0
libpcre3-dev libpcre32-3 libpcrecpp0v5 libpipeline1 libpixman-1-0
libpixman-1-dev libpng-dev libpng16-16 libpthread-stubs0-dev
libpython-stdlib libpython2-stdlib libpython2.7-minimal libpython2.7-stdlib
libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libreadline8
librsvg2-2 librsvg2-common librsvg2-dev libselinux1-dev libsepol1-dev
libsigsegv2 libsm-dev libsm6 libssl1.1 libsub-override-perl libthai-data
libthai0 libtiff5 libtinfo5 libtool libuchardet0 libwebp6 libx11-6
libx11-data libx11-dev libxau-dev libxau6 libxcb-render0 libxcb-render0-dev
libxcb-shm0 libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev
libxcomposite1 libxcursor-dev libxcursor1 libxdamage-dev libxdamage1
libxdmcp-dev libxdmcp6 libxext-dev libxext6 libxfixes-dev libxfixes3
libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev libxinerama1 libxml2
libxml2-dev libxml2-utils libxrandr-dev libxrandr2 libxrender-dev
libxrender1 libzarith-ocaml libzarith-ocaml-dev libzip-ocaml
libzip-ocaml-dev m4 man-db menhir mime-support multiarch-support
ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox
ocplib-simplex-ocaml-dev pango1.0-tools pkg-config po-debconf python
python-minimal python2 python2-minimal python2.7 python2.7-minimal python3
python3-distutils python3-lib2to3 python3-minimal python3.7
python3.7-minimal sbuild-build-depends-alt-ergo-dummy sensible-utils
shared-mime-info ucf uuid-dev x11-common x11proto-composite-dev
x11proto-core-dev x11proto-damage-dev x11proto-dev x11proto-fixes-dev
x11proto-input-dev x11proto-randr-dev x11proto-xext-dev
x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev
The following packages will be upgraded:
libblkid1 libgnutls30 libmount1 libncursesw6 libselinux1 libsepol1
libtasn1-6 libtinfo6 libuuid1
9 upgraded, 251 newly installed, 0 to remove and 86 not upgraded.
Need to get 146 MB of archives.
After this operation, 565 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-Qkwu0o/apt_archive ./ sbuild-build-depends-alt-ergo-dummy 0.invalid.0 [988 B]
Get:2 http://172.17.0.1/private bullseye-staging/main armhf libbsd0 armhf 0.10.0-1 [112 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf libtinfo5 armhf 6.1+20190803-1 [314 kB]
Get:4 http://172.17.0.1/private bullseye-staging/main armhf bsdmainutils armhf 11.1.2 [182 kB]
Get:5 http://172.17.0.1/private bullseye-staging/main armhf libuchardet0 armhf 0.0.6-3 [62.2 kB]
Get:6 http://172.17.0.1/private bullseye-staging/main armhf groff-base armhf 1.22.4-3 [782 kB]
Get:7 http://172.17.0.1/private bullseye-staging/main armhf libpipeline1 armhf 1.5.1-2 [26.6 kB]
Get:8 http://172.17.0.1/private bullseye-staging/main armhf man-db armhf 2.8.7-3 [1254 kB]
Get:9 http://172.17.0.1/private bullseye-staging/main armhf multiarch-support armhf 2.28-10+rpi1 [215 kB]
Get:10 http://172.17.0.1/private bullseye-staging/main armhf libblkid1 armhf 2.34-0.1 [180 kB]
Get:11 http://172.17.0.1/private bullseye-staging/main armhf libpcre2-8-0 armhf 10.32-5 [184 kB]
Get:12 http://172.17.0.1/private bullseye-staging/main armhf libselinux1 armhf 2.9-2 [77.5 kB]
Get:13 http://172.17.0.1/private bullseye-staging/main armhf libmount1 armhf 2.34-0.1 [190 kB]
Get:14 http://172.17.0.1/private bullseye-staging/main armhf libglib2.0-0 armhf 2.60.6-2 [1109 kB]
Get:15 http://172.17.0.1/private bullseye-staging/main armhf libatk1.0-data all 2.33.3+really2.32.0-4 [146 kB]
Get:16 http://172.17.0.1/private bullseye-staging/main armhf libatk1.0-0 armhf 2.33.3+really2.32.0-4 [42.8 kB]
Get:17 http://172.17.0.1/private bullseye-staging/main armhf libexpat1 armhf 2.2.7-1 [77.2 kB]
Get:18 http://172.17.0.1/private bullseye-staging/main armhf libpng16-16 armhf 1.6.37-1 [274 kB]
Get:19 http://172.17.0.1/private bullseye-staging/main armhf libfreetype6 armhf 2.9.1-4 [317 kB]
Get:20 http://172.17.0.1/private bullseye-staging/main armhf libuuid1 armhf 2.34-0.1 [77.4 kB]
Get:21 http://172.17.0.1/private bullseye-staging/main armhf sensible-utils all 0.0.12 [15.8 kB]
Get:22 http://172.17.0.1/private bullseye-staging/main armhf ucf all 3.0038+nmu1 [69.0 kB]
Get:23 http://172.17.0.1/private bullseye-staging/main armhf fonts-dejavu-core all 2.37-1 [1068 kB]
Get:24 http://172.17.0.1/private bullseye-staging/main armhf fontconfig-config all 2.13.1-2 [280 kB]
Get:25 http://172.17.0.1/private bullseye-staging/main armhf libfontconfig1 armhf 2.13.1-2 [327 kB]
Get:26 http://172.17.0.1/private bullseye-staging/main armhf libpixman-1-0 armhf 0.36.0-1 [458 kB]
Get:27 http://172.17.0.1/private bullseye-staging/main armhf libxau6 armhf 1:1.0.8-1+b2 [19.1 kB]
Get:28 http://172.17.0.1/private bullseye-staging/main armhf libxdmcp6 armhf 1:1.1.2-3 [25.0 kB]
Get:29 http://172.17.0.1/private bullseye-staging/main armhf libxcb1 armhf 1.13.1-2 [132 kB]
Get:30 http://172.17.0.1/private bullseye-staging/main armhf libx11-data all 2:1.6.7-1 [298 kB]
Get:31 http://172.17.0.1/private bullseye-staging/main armhf libx11-6 armhf 2:1.6.7-1 [689 kB]
Get:32 http://172.17.0.1/private bullseye-staging/main armhf libxcb-render0 armhf 1.13.1-2 [108 kB]
Get:33 http://172.17.0.1/private bullseye-staging/main armhf libxcb-shm0 armhf 1.13.1-2 [99.3 kB]
Get:34 http://172.17.0.1/private bullseye-staging/main armhf libxext6 armhf 2:1.3.3-1+b2 [47.8 kB]
Get:35 http://172.17.0.1/private bullseye-staging/main armhf libxrender1 armhf 1:0.9.10-1 [29.9 kB]
Get:36 http://172.17.0.1/private bullseye-staging/main armhf libcairo2 armhf 1.16.0-4 [599 kB]
Get:37 http://172.17.0.1/private bullseye-staging/main armhf libjpeg62-turbo armhf 1:1.5.2-2+b1 [110 kB]
Get:38 http://172.17.0.1/private bullseye-staging/main armhf libjbig0 armhf 2.1-3.1+b2 [27.6 kB]
Get:39 http://172.17.0.1/private bullseye-staging/main armhf libwebp6 armhf 0.6.1-2 [228 kB]
Get:40 http://172.17.0.1/private bullseye-staging/main armhf libtiff5 armhf 4.0.10+git190818-1 [240 kB]
Get:41 http://172.17.0.1/private bullseye-staging/main armhf libicu63 armhf 63.2-2 [7974 kB]
Get:42 http://172.17.0.1/private bullseye-staging/main armhf libxml2 armhf 2.9.4+dfsg1-7+b2 [571 kB]
Get:43 http://172.17.0.1/private bullseye-staging/main armhf shared-mime-info armhf 1.10-1 [762 kB]
Get:44 http://172.17.0.1/private bullseye-staging/main armhf libgdk-pixbuf2.0-common all 2.38.1+dfsg-1 [316 kB]
Get:45 http://172.17.0.1/private bullseye-staging/main armhf libgdk-pixbuf2.0-0 armhf 2.38.1+dfsg-1 [157 kB]
Get:46 http://172.17.0.1/private bullseye-staging/main armhf libgtk2.0-common all 2.24.32-3 [2698 kB]
Get:47 http://172.17.0.1/private bullseye-staging/main armhf libavahi-common-data armhf 0.7-4+b2 [122 kB]
Get:48 http://172.17.0.1/private bullseye-staging/main armhf libavahi-common3 armhf 0.7-4+b2 [51.0 kB]
Get:49 http://172.17.0.1/private bullseye-staging/main armhf libdbus-1-3 armhf 1.12.16-1+b1 [189 kB]
Get:50 http://172.17.0.1/private bullseye-staging/main armhf libavahi-client3 armhf 0.7-4+b2 [54.1 kB]
Get:51 http://172.17.0.1/private bullseye-staging/main armhf libtasn1-6 armhf 4.14-2 [48.2 kB]
Get:52 http://172.17.0.1/private bullseye-staging/main armhf libgnutls30 armhf 3.6.9-4 [1081 kB]
Get:53 http://172.17.0.1/private bullseye-staging/main armhf libkeyutils1 armhf 1.6-6 [14.0 kB]
Get:54 http://172.17.0.1/private bullseye-staging/main armhf libkrb5support0 armhf 1.17-6+b1 [61.5 kB]
Get:55 http://172.17.0.1/private bullseye-staging/main armhf libk5crypto3 armhf 1.17-6+b1 [112 kB]
Get:56 http://172.17.0.1/private bullseye-staging/main armhf libssl1.1 armhf 1.1.1c-1 [1259 kB]
Get:57 http://172.17.0.1/private bullseye-staging/main armhf libkrb5-3 armhf 1.17-6+b1 [316 kB]
Get:58 http://172.17.0.1/private bullseye-staging/main armhf libgssapi-krb5-2 armhf 1.17-6+b1 [134 kB]
Get:59 http://172.17.0.1/private bullseye-staging/main armhf libcups2 armhf 2.2.12-2+rpi1 [292 kB]
Get:60 http://172.17.0.1/private bullseye-staging/main armhf fontconfig armhf 2.13.1-2 [404 kB]
Get:61 http://172.17.0.1/private bullseye-staging/main armhf libfribidi0 armhf 1.0.5-3.1 [62.1 kB]
Get:62 http://172.17.0.1/private bullseye-staging/main armhf libthai-data all 0.1.28-3 [170 kB]
Get:63 http://172.17.0.1/private bullseye-staging/main armhf libdatrie1 armhf 0.2.12-3 [36.1 kB]
Get:64 http://172.17.0.1/private bullseye-staging/main armhf libthai0 armhf 0.1.28-3 [51.0 kB]
Get:65 http://172.17.0.1/private bullseye-staging/main armhf libpango-1.0-0 armhf 1.42.4-7 [168 kB]
Get:66 http://172.17.0.1/private bullseye-staging/main armhf libgraphite2-3 armhf 1.3.13-8 [70.5 kB]
Get:67 http://172.17.0.1/private bullseye-staging/main armhf libharfbuzz0b armhf 2.6.1-2 [1271 kB]
Get:68 http://172.17.0.1/private bullseye-staging/main armhf libpangoft2-1.0-0 armhf 1.42.4-7 [61.9 kB]
Get:69 http://172.17.0.1/private bullseye-staging/main armhf libpangocairo-1.0-0 armhf 1.42.4-7 [51.6 kB]
Get:70 http://172.17.0.1/private bullseye-staging/main armhf libxcomposite1 armhf 1:0.4.4-2 [16.1 kB]
Get:71 http://172.17.0.1/private bullseye-staging/main armhf libxfixes3 armhf 1:5.0.3-1 [20.6 kB]
Get:72 http://172.17.0.1/private bullseye-staging/main armhf libxcursor1 armhf 1:1.2.0-2 [34.2 kB]
Get:73 http://172.17.0.1/private bullseye-staging/main armhf libxdamage1 armhf 1:1.1.5-1 [15.1 kB]
Get:74 http://172.17.0.1/private bullseye-staging/main armhf libxi6 armhf 2:1.7.9-1 [77.8 kB]
Get:75 http://172.17.0.1/private bullseye-staging/main armhf libxinerama1 armhf 2:1.1.4-2 [17.3 kB]
Get:76 http://172.17.0.1/private bullseye-staging/main armhf libxrandr2 armhf 2:1.5.1-1 [34.5 kB]
Get:77 http://172.17.0.1/private bullseye-staging/main armhf hicolor-icon-theme all 0.17-2 [11.4 kB]
Get:78 http://172.17.0.1/private bullseye-staging/main armhf gtk-update-icon-cache armhf 3.24.10-1 [81.9 kB]
Get:79 http://172.17.0.1/private bullseye-staging/main armhf libcroco3 armhf 0.6.13-1 [133 kB]
Get:80 http://172.17.0.1/private bullseye-staging/main armhf librsvg2-2 armhf 2.44.14-1 [924 kB]
Get:81 http://172.17.0.1/private bullseye-staging/main armhf librsvg2-common armhf 2.44.14-1 [23.2 kB]
Get:82 http://172.17.0.1/private bullseye-staging/main armhf adwaita-icon-theme all 3.30.1-1 [11.7 MB]
Get:83 http://172.17.0.1/private bullseye-staging/main armhf libgtk2.0-0 armhf 2.24.32-3 [1501 kB]
Get:84 http://172.17.0.1/private bullseye-staging/main armhf libglade2-0 armhf 1:2.6.4-2 [76.2 kB]
Get:85 http://172.17.0.1/private bullseye-staging/main armhf libpython2.7-minimal armhf 2.7.16-3 [395 kB]
Get:86 http://172.17.0.1/private bullseye-staging/main armhf python2.7-minimal armhf 2.7.16-3 [1090 kB]
Get:87 http://172.17.0.1/private bullseye-staging/main armhf python2-minimal armhf 2.7.16-1 [41.4 kB]
Get:88 http://172.17.0.1/private bullseye-staging/main armhf python-minimal armhf 2.7.16-1 [21.0 kB]
Get:89 http://172.17.0.1/private bullseye-staging/main armhf mime-support all 3.63 [37.7 kB]
Get:90 http://172.17.0.1/private bullseye-staging/main armhf libtinfo6 armhf 6.1+20190803-1 [318 kB]
Get:91 http://172.17.0.1/private bullseye-staging/main armhf libncursesw6 armhf 6.1+20190803-1 [104 kB]
Get:92 http://172.17.0.1/private bullseye-staging/main armhf libreadline8 armhf 8.0-3 [138 kB]
Get:93 http://172.17.0.1/private bullseye-staging/main armhf libpython2.7-stdlib armhf 2.7.16-3 [1845 kB]
Get:94 http://172.17.0.1/private bullseye-staging/main armhf python2.7 armhf 2.7.16-3 [305 kB]
Get:95 http://172.17.0.1/private bullseye-staging/main armhf libpython2-stdlib armhf 2.7.16-1 [20.8 kB]
Get:96 http://172.17.0.1/private bullseye-staging/main armhf libpython-stdlib armhf 2.7.16-1 [20.8 kB]
Get:97 http://172.17.0.1/private bullseye-staging/main armhf python2 armhf 2.7.16-1 [41.6 kB]
Get:98 http://172.17.0.1/private bullseye-staging/main armhf python armhf 2.7.16-1 [22.8 kB]
Get:99 http://172.17.0.1/private bullseye-staging/main armhf libpython3.7-minimal armhf 3.7.4-3 [584 kB]
Get:100 http://172.17.0.1/private bullseye-staging/main armhf python3.7-minimal armhf 3.7.4-3 [1462 kB]
Get:101 http://172.17.0.1/private bullseye-staging/main armhf python3-minimal armhf 3.7.3-1 [36.6 kB]
Get:102 http://172.17.0.1/private bullseye-staging/main armhf libmpdec2 armhf 2.4.2-2 [67.2 kB]
Get:103 http://172.17.0.1/private bullseye-staging/main armhf libpython3.7-stdlib armhf 3.7.4-3 [1673 kB]
Get:104 http://172.17.0.1/private bullseye-staging/main armhf python3.7 armhf 3.7.4-3 [340 kB]
Get:105 http://172.17.0.1/private bullseye-staging/main armhf libpython3-stdlib armhf 3.7.3-1 [20.0 kB]
Get:106 http://172.17.0.1/private bullseye-staging/main armhf python3 armhf 3.7.3-1 [61.5 kB]
Get:107 http://172.17.0.1/private bullseye-staging/main armhf libsepol1 armhf 2.9-2 [220 kB]
Get:108 http://172.17.0.1/private bullseye-staging/main armhf libmagic-mgc armhf 1:5.37-5 [253 kB]
Get:109 http://172.17.0.1/private bullseye-staging/main armhf libmagic1 armhf 1:5.37-5 [111 kB]
Get:110 http://172.17.0.1/private bullseye-staging/main armhf file armhf 1:5.37-5 [66.2 kB]
Get:111 http://172.17.0.1/private bullseye-staging/main armhf gettext-base armhf 0.19.8.1-9 [117 kB]
Get:112 http://172.17.0.1/private bullseye-staging/main armhf libaspell15 armhf 0.60.7~20110707-6 [275 kB]
Get:113 http://172.17.0.1/private bullseye-staging/main armhf emacsen-common all 3.0.4 [19.3 kB]
Get:114 http://172.17.0.1/private bullseye-staging/main armhf dictionaries-common all 1.28.1 [239 kB]
Get:115 http://172.17.0.1/private bullseye-staging/main armhf aspell armhf 0.60.7~20110707-6 [213 kB]
Get:116 http://172.17.0.1/private bullseye-staging/main armhf aspell-en all 2018.04.16-0-1 [301 kB]
Get:117 http://172.17.0.1/private bullseye-staging/main armhf libsigsegv2 armhf 2.12-2 [32.3 kB]
Get:118 http://172.17.0.1/private bullseye-staging/main armhf m4 armhf 1.4.18-2 [185 kB]
Get:119 http://172.17.0.1/private bullseye-staging/main armhf autoconf all 2.69-11 [341 kB]
Get:120 http://172.17.0.1/private bullseye-staging/main armhf autotools-dev all 20180224.1 [77.0 kB]
Get:121 http://172.17.0.1/private bullseye-staging/main armhf automake all 1:1.16.1-4 [771 kB]
Get:122 http://172.17.0.1/private bullseye-staging/main armhf autopoint all 0.19.8.1-9 [434 kB]
Get:123 http://172.17.0.1/private bullseye-staging/main armhf libtool all 2.4.6-9 [547 kB]
Get:124 http://172.17.0.1/private bullseye-staging/main armhf dh-autoreconf all 19 [16.9 kB]
Get:125 http://172.17.0.1/private bullseye-staging/main armhf libarchive-zip-perl all 1.64-1 [96.8 kB]
Get:126 http://172.17.0.1/private bullseye-staging/main armhf libsub-override-perl all 0.09-2 [10.2 kB]
Get:127 http://172.17.0.1/private bullseye-staging/main armhf libfile-stripnondeterminism-perl all 1.5.0-1 [22.8 kB]
Get:128 http://172.17.0.1/private bullseye-staging/main armhf dh-strip-nondeterminism all 1.5.0-1 [14.1 kB]
Get:129 http://172.17.0.1/private bullseye-staging/main armhf libelf1 armhf 0.176-1.1 [158 kB]
Get:130 http://172.17.0.1/private bullseye-staging/main armhf dwz armhf 0.13-1 [69.7 kB]
Get:131 http://172.17.0.1/private bullseye-staging/main armhf libncurses6 armhf 6.1+20190803-1 [79.3 kB]
Get:132 http://172.17.0.1/private bullseye-staging/main armhf gettext armhf 0.19.8.1-9 [1219 kB]
Get:133 http://172.17.0.1/private bullseye-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:134 http://172.17.0.1/private bullseye-staging/main armhf po-debconf all 1.0.21 [248 kB]
Get:135 http://172.17.0.1/private bullseye-staging/main armhf debhelper all 12.5.4 [1035 kB]
Get:136 http://172.17.0.1/private bullseye-staging/main armhf dh-ocaml all 1.1.0 [83.3 kB]
Get:137 http://172.17.0.1/private bullseye-staging/main armhf libgirepository-1.0-1 armhf 1.58.3-2 [78.8 kB]
Get:138 http://172.17.0.1/private bullseye-staging/main armhf gir1.2-glib-2.0 armhf 1.58.3-2 [143 kB]
Get:139 http://172.17.0.1/private bullseye-staging/main armhf gir1.2-atk-1.0 armhf 2.33.3+really2.32.0-4 [25.6 kB]
Get:140 http://172.17.0.1/private bullseye-staging/main armhf libcairo-gobject2 armhf 1.16.0-4 [123 kB]
Get:141 http://172.17.0.1/private bullseye-staging/main armhf gir1.2-freedesktop armhf 1.58.3-2 [20.3 kB]
Get:142 http://172.17.0.1/private bullseye-staging/main armhf gir1.2-gdkpixbuf-2.0 armhf 2.38.1+dfsg-1 [18.3 kB]
Get:143 http://172.17.0.1/private bullseye-staging/main armhf libxft2 armhf 2.3.2-2 [49.3 kB]
Get:144 http://172.17.0.1/private bullseye-staging/main armhf libpangoxft-1.0-0 armhf 1.42.4-7 [47.2 kB]
Get:145 http://172.17.0.1/private bullseye-staging/main armhf gir1.2-pango-1.0 armhf 1.42.4-7 [55.4 kB]
Get:146 http://172.17.0.1/private bullseye-staging/main armhf gir1.2-gtk-2.0 armhf 2.24.32-3 [213 kB]
Get:147 http://172.17.0.1/private bullseye-staging/main armhf libharfbuzz-gobject0 armhf 2.6.1-2 [965 kB]
Get:148 http://172.17.0.1/private bullseye-staging/main armhf gir1.2-harfbuzz-0.0 armhf 2.6.1-2 [973 kB]
Get:149 http://172.17.0.1/private bullseye-staging/main armhf gir1.2-rsvg-2.0 armhf 2.44.14-1 [22.1 kB]
Get:150 http://172.17.0.1/private bullseye-staging/main armhf icu-devtools armhf 63.2-2 [163 kB]
Get:151 http://172.17.0.1/private bullseye-staging/main armhf pkg-config armhf 0.29-6 [59.8 kB]
Get:152 http://172.17.0.1/private bullseye-staging/main armhf libffi-dev armhf 3.2.1-9 [159 kB]
Get:153 http://172.17.0.1/private bullseye-staging/main armhf libglib2.0-data all 2.60.6-2 [1109 kB]
Get:154 http://172.17.0.1/private bullseye-staging/main armhf libglib2.0-bin armhf 2.60.6-2 [120 kB]
Get:155 http://172.17.0.1/private bullseye-staging/main armhf python3-lib2to3 all 3.7.4-3 [78.2 kB]
Get:156 http://172.17.0.1/private bullseye-staging/main armhf python3-distutils all 3.7.4-3 [145 kB]
Get:157 http://172.17.0.1/private bullseye-staging/main armhf libglib2.0-dev-bin armhf 2.60.6-2 [159 kB]
Get:158 http://172.17.0.1/private bullseye-staging/main armhf uuid-dev armhf 2.34-0.1 [92.5 kB]
Get:159 http://172.17.0.1/private bullseye-staging/main armhf libblkid-dev armhf 2.34-0.1 [212 kB]
Get:160 http://172.17.0.1/private bullseye-staging/main armhf libmount-dev armhf 2.34-0.1 [212 kB]
Get:161 http://172.17.0.1/private bullseye-staging/main armhf libpcre16-3 armhf 2:8.39-12 [234 kB]
Get:162 http://172.17.0.1/private bullseye-staging/main armhf libpcre32-3 armhf 2:8.39-12 [227 kB]
Get:163 http://172.17.0.1/private bullseye-staging/main armhf libpcrecpp0v5 armhf 2:8.39-12 [150 kB]
Get:164 http://172.17.0.1/private bullseye-staging/main armhf libpcre3-dev armhf 2:8.39-12 [564 kB]
Get:165 http://172.17.0.1/private bullseye-staging/main armhf libsepol1-dev armhf 2.9-2 [308 kB]
Get:166 http://172.17.0.1/private bullseye-staging/main armhf libpcre2-16-0 armhf 10.32-5 [175 kB]
Get:167 http://172.17.0.1/private bullseye-staging/main armhf libpcre2-32-0 armhf 10.32-5 [168 kB]
Get:168 http://172.17.0.1/private bullseye-staging/main armhf libpcre2-posix0 armhf 10.32-5 [38.3 kB]
Get:169 http://172.17.0.1/private bullseye-staging/main armhf libpcre2-dev armhf 10.32-5 [572 kB]
Get:170 http://172.17.0.1/private bullseye-staging/main armhf libselinux1-dev armhf 2.9-2 [157 kB]
Get:171 http://172.17.0.1/private bullseye-staging/main armhf zlib1g-dev armhf 1:1.2.11.dfsg-1 [206 kB]
Get:172 http://172.17.0.1/private bullseye-staging/main armhf libglib2.0-dev armhf 2.60.6-2 [1404 kB]
Get:173 http://172.17.0.1/private bullseye-staging/main armhf libatk1.0-dev armhf 2.33.3+really2.32.0-4 [88.9 kB]
Get:174 http://172.17.0.1/private bullseye-staging/main armhf liblzo2-2 armhf 2.10-0.1 [48.4 kB]
Get:175 http://172.17.0.1/private bullseye-staging/main armhf libcairo-script-interpreter2 armhf 1.16.0-4 [150 kB]
Get:176 http://172.17.0.1/private bullseye-staging/main armhf libexpat1-dev armhf 2.2.7-1 [128 kB]
Get:177 http://172.17.0.1/private bullseye-staging/main armhf libpng-dev armhf 1.6.37-1 [275 kB]
Get:178 http://172.17.0.1/private bullseye-staging/main armhf libfreetype6-dev armhf 2.9.1-4 [479 kB]
Get:179 http://172.17.0.1/private bullseye-staging/main armhf libfontconfig1-dev armhf 2.13.1-2 [943 kB]
Get:180 http://172.17.0.1/private bullseye-staging/main armhf xorg-sgml-doctools all 1:1.11-1 [21.9 kB]
Get:181 http://172.17.0.1/private bullseye-staging/main armhf x11proto-dev all 2018.4-4 [251 kB]
Get:182 http://172.17.0.1/private bullseye-staging/main armhf x11proto-core-dev all 2018.4-4 [3128 B]
Get:183 http://172.17.0.1/private bullseye-staging/main armhf libxau-dev armhf 1:1.0.8-1+b2 [22.4 kB]
Get:184 http://172.17.0.1/private bullseye-staging/main armhf libxdmcp-dev armhf 1:1.1.2-3 [40.9 kB]
Get:185 http://172.17.0.1/private bullseye-staging/main armhf x11proto-input-dev all 2018.4-4 [3132 B]
Get:186 http://172.17.0.1/private bullseye-staging/main armhf xtrans-dev all 1.3.5-1 [100 kB]
Get:187 http://172.17.0.1/private bullseye-staging/main armhf libpthread-stubs0-dev armhf 0.4-1 [5344 B]
Get:188 http://172.17.0.1/private bullseye-staging/main armhf libxcb1-dev armhf 1.13.1-2 [169 kB]
Get:189 http://172.17.0.1/private bullseye-staging/main armhf libx11-dev armhf 2:1.6.7-1 [760 kB]
Get:190 http://172.17.0.1/private bullseye-staging/main armhf libxrender-dev armhf 1:0.9.10-1 [37.7 kB]
Get:191 http://172.17.0.1/private bullseye-staging/main armhf x11proto-xext-dev all 2018.4-4 [3128 B]
Get:192 http://172.17.0.1/private bullseye-staging/main armhf libxext-dev armhf 2:1.3.3-1+b2 [102 kB]
Get:193 http://172.17.0.1/private bullseye-staging/main armhf x11-common all 1:7.7+19 [251 kB]
Get:194 http://172.17.0.1/private bullseye-staging/main armhf libice6 armhf 2:1.0.9-2 [51.6 kB]
Get:195 http://172.17.0.1/private bullseye-staging/main armhf libsm6 armhf 2:1.2.3-1 [32.9 kB]
Get:196 http://172.17.0.1/private bullseye-staging/main armhf libice-dev armhf 2:1.0.9-2 [58.8 kB]
Get:197 http://172.17.0.1/private bullseye-staging/main armhf libsm-dev armhf 2:1.2.3-1 [35.4 kB]
Get:198 http://172.17.0.1/private bullseye-staging/main armhf libpixman-1-dev armhf 0.36.0-1 [477 kB]
Get:199 http://172.17.0.1/private bullseye-staging/main armhf libxcb-render0-dev armhf 1.13.1-2 [111 kB]
Get:200 http://172.17.0.1/private bullseye-staging/main armhf libxcb-shm0-dev armhf 1.13.1-2 [100 kB]
Get:201 http://172.17.0.1/private bullseye-staging/main armhf libcairo2-dev armhf 1.16.0-4 [619 kB]
Get:202 http://172.17.0.1/private bullseye-staging/main armhf libhunspell-1.7-0 armhf 1.7.0-2+b1 [161 kB]
Get:203 http://172.17.0.1/private bullseye-staging/main armhf libenchant1c2a armhf 1.6.0-11.1+b2 [58.4 kB]
Get:204 http://172.17.0.1/private bullseye-staging/main armhf libenchant-dev armhf 1.6.0-11.1+b2 [52.7 kB]
Get:205 http://172.17.0.1/private bullseye-staging/main armhf ocaml-base-nox armhf 4.05.0-12+rpi1 [577 kB]
Get:206 http://172.17.0.1/private bullseye-staging/main armhf libfindlib-ocaml armhf 1.8.1-1 [169 kB]
Get:207 http://172.17.0.1/private bullseye-staging/main armhf libfribidi-dev armhf 1.0.5-3.1 [99.2 kB]
Get:208 http://172.17.0.1/private bullseye-staging/main armhf libgdk-pixbuf2.0-bin armhf 2.38.1+dfsg-1 [23.0 kB]
Get:209 http://172.17.0.1/private bullseye-staging/main armhf libgdk-pixbuf2.0-dev armhf 2.38.1+dfsg-1 [49.5 kB]
Get:210 http://172.17.0.1/private bullseye-staging/main armhf libharfbuzz-icu0 armhf 2.6.1-2 [952 kB]
Get:211 http://172.17.0.1/private bullseye-staging/main armhf libgraphite2-dev armhf 1.3.13-8 [23.6 kB]
Get:212 http://172.17.0.1/private bullseye-staging/main armhf libicu-dev armhf 63.2-2 [8846 kB]
Get:213 http://172.17.0.1/private bullseye-staging/main armhf libharfbuzz-dev armhf 2.6.1-2 [1378 kB]
Get:214 http://172.17.0.1/private bullseye-staging/main armhf libxft-dev armhf 2.3.2-2 [60.3 kB]
Get:215 http://172.17.0.1/private bullseye-staging/main armhf pango1.0-tools armhf 1.42.4-7 [53.2 kB]
Get:216 http://172.17.0.1/private bullseye-staging/main armhf libpango1.0-dev armhf 1.42.4-7 [139 kB]
Get:217 http://172.17.0.1/private bullseye-staging/main armhf x11proto-xinerama-dev all 2018.4-4 [3132 B]
Get:218 http://172.17.0.1/private bullseye-staging/main armhf libxinerama-dev armhf 2:1.1.4-2 [19.7 kB]
Get:219 http://172.17.0.1/private bullseye-staging/main armhf x11proto-fixes-dev all 1:2018.4-4 [3140 B]
Get:220 http://172.17.0.1/private bullseye-staging/main armhf libxfixes-dev armhf 1:5.0.3-1 [22.7 kB]
Get:221 http://172.17.0.1/private bullseye-staging/main armhf libxi-dev armhf 2:1.7.9-1 [236 kB]
Get:222 http://172.17.0.1/private bullseye-staging/main armhf x11proto-randr-dev all 2018.4-4 [3132 B]
Get:223 http://172.17.0.1/private bullseye-staging/main armhf libxrandr-dev armhf 2:1.5.1-1 [42.5 kB]
Get:224 http://172.17.0.1/private bullseye-staging/main armhf libxcursor-dev armhf 1:1.2.0-2 [41.7 kB]
Get:225 http://172.17.0.1/private bullseye-staging/main armhf x11proto-composite-dev all 1:2018.4-4 [3140 B]
Get:226 http://172.17.0.1/private bullseye-staging/main armhf libxcomposite-dev armhf 1:0.4.4-2 [19.8 kB]
Get:227 http://172.17.0.1/private bullseye-staging/main armhf x11proto-damage-dev all 1:2018.4-4 [3140 B]
Get:228 http://172.17.0.1/private bullseye-staging/main armhf libxdamage-dev armhf 1:1.1.5-1 [15.0 kB]
Get:229 http://172.17.0.1/private bullseye-staging/main armhf libxml2-utils armhf 2.9.4+dfsg1-7+b2 [96.0 kB]
Get:230 http://172.17.0.1/private bullseye-staging/main armhf libgtk2.0-dev armhf 2.24.32-3 [2331 kB]
Get:231 http://172.17.0.1/private bullseye-staging/main armhf libxml2-dev armhf 2.9.4+dfsg1-7+b2 [641 kB]
Get:232 http://172.17.0.1/private bullseye-staging/main armhf libglade2-dev armhf 1:2.6.4-2 [113 kB]
Get:233 http://172.17.0.1/private bullseye-staging/main armhf libgmpxx4ldbl armhf 2:6.1.2+dfsg-4 [21.8 kB]
Get:234 http://172.17.0.1/private bullseye-staging/main armhf libgmp-dev armhf 2:6.1.2+dfsg-4 [570 kB]
Get:235 http://172.17.0.1/private bullseye-staging/main armhf libgmp3-dev armhf 2:6.1.2+dfsg-4 [15.7 kB]
Get:236 http://172.17.0.1/private bullseye-staging/main armhf libgtksourceview2.0-common all 2.10.5-3 [470 kB]
Get:237 http://172.17.0.1/private bullseye-staging/main armhf libgtksourceview2.0-0 armhf 2.10.5-3 [168 kB]
Get:238 http://172.17.0.1/private bullseye-staging/main armhf libgtksourceview2.0-dev armhf 2.10.5-3 [187 kB]
Get:239 http://172.17.0.1/private bullseye-staging/main armhf libgtkspell0 armhf 2.0.16-1.2 [22.8 kB]
Get:240 http://172.17.0.1/private bullseye-staging/main armhf libgtkspell-dev armhf 2.0.16-1.2 [23.8 kB]
Get:241 http://172.17.0.1/private bullseye-staging/main armhf liblablgtk2-ocaml armhf 2.18.8+dfsg-1 [768 kB]
Get:242 http://172.17.0.1/private bullseye-staging/main armhf liblablgtk2-gnome-ocaml armhf 2.18.8+dfsg-1 [43.1 kB]
Get:243 http://172.17.0.1/private bullseye-staging/main armhf librsvg2-dev armhf 2.44.14-1 [42.4 kB]
Get:244 http://172.17.0.1/private bullseye-staging/main armhf libncurses-dev armhf 6.1+20190803-1 [281 kB]
Get:245 http://172.17.0.1/private bullseye-staging/main armhf libncurses5-dev armhf 6.1+20190803-1 [940 B]
Get:246 http://172.17.0.1/private bullseye-staging/main armhf ocaml-compiler-libs armhf 4.05.0-12+rpi1 [19.2 MB]
Get:247 http://172.17.0.1/private bullseye-staging/main armhf ocaml-interp armhf 4.05.0-12+rpi1 [3581 kB]
Get:248 http://172.17.0.1/private bullseye-staging/main armhf ocaml-nox armhf 4.05.0-12+rpi1 [25.1 MB]
Get:249 http://172.17.0.1/private bullseye-staging/main armhf liblablgtk2-ocaml-dev armhf 2.18.8+dfsg-1 [1566 kB]
Get:250 http://172.17.0.1/private bullseye-staging/main armhf liblablgtk2-gnome-ocaml-dev armhf 2.18.8+dfsg-1 [35.7 kB]
Get:251 http://172.17.0.1/private bullseye-staging/main armhf liblablgtksourceview2-ocaml armhf 2.18.8+dfsg-1 [114 kB]
Get:252 http://172.17.0.1/private bullseye-staging/main armhf liblablgtksourceview2-ocaml-dev armhf 2.18.8+dfsg-1 [145 kB]
Get:253 http://172.17.0.1/private bullseye-staging/main armhf libocamlgraph-ocaml-dev armhf 1.8.8-1.1 [1530 kB]
Get:254 http://172.17.0.1/private bullseye-staging/main armhf libzarith-ocaml armhf 1.8-1 [42.8 kB]
Get:255 http://172.17.0.1/private bullseye-staging/main armhf libzarith-ocaml-dev armhf 1.8-1 [77.3 kB]
Get:256 http://172.17.0.1/private bullseye-staging/main armhf libzip-ocaml armhf 1.08-1 [75.0 kB]
Get:257 http://172.17.0.1/private bullseye-staging/main armhf libzip-ocaml-dev armhf 1.08-1 [49.2 kB]
Get:258 http://172.17.0.1/private bullseye-staging/main armhf menhir armhf 20190626-6 [552 kB]
Get:259 http://172.17.0.1/private bullseye-staging/main armhf ocaml-findlib armhf 1.8.1-1 [320 kB]
Get:260 http://172.17.0.1/private bullseye-staging/main armhf ocplib-simplex-ocaml-dev armhf 0.4-1+b1 [257 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 146 MB in 23s (6315 kB/s)
Selecting previously unselected package libbsd0:armhf.
(Reading database ... 12050 files and directories currently installed.)
Preparing to unpack .../0-libbsd0_0.10.0-1_armhf.deb ...
Unpacking libbsd0:armhf (0.10.0-1) ...
Selecting previously unselected package libtinfo5:armhf.
Preparing to unpack .../1-libtinfo5_6.1+20190803-1_armhf.deb ...
Unpacking libtinfo5:armhf (6.1+20190803-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../2-bsdmainutils_11.1.2_armhf.deb ...
Unpacking bsdmainutils (11.1.2) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../3-libuchardet0_0.0.6-3_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.6-3) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../4-groff-base_1.22.4-3_armhf.deb ...
Unpacking groff-base (1.22.4-3) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../5-libpipeline1_1.5.1-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.1-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../6-man-db_2.8.7-3_armhf.deb ...
Unpacking man-db (2.8.7-3) ...
Selecting previously unselected package multiarch-support.
Preparing to unpack .../7-multiarch-support_2.28-10+rpi1_armhf.deb ...
Unpacking multiarch-support (2.28-10+rpi1) ...
Preparing to unpack .../8-libblkid1_2.34-0.1_armhf.deb ...
Unpacking libblkid1:armhf (2.34-0.1) over (2.33.1-0.1) ...
Setting up libblkid1:armhf (2.34-0.1) ...
Selecting previously unselected package libpcre2-8-0:armhf.
(Reading database ... 12695 files and directories currently installed.)
Preparing to unpack .../libpcre2-8-0_10.32-5_armhf.deb ...
Unpacking libpcre2-8-0:armhf (10.32-5) ...
Setting up libpcre2-8-0:armhf (10.32-5) ...
(Reading database ... 12702 files and directories currently installed.)
Preparing to unpack .../libselinux1_2.9-2_armhf.deb ...
Unpacking libselinux1:armhf (2.9-2) over (2.8-1+b1) ...
Setting up libselinux1:armhf (2.9-2) ...
(Reading database ... 12701 files and directories currently installed.)
Preparing to unpack .../libmount1_2.34-0.1_armhf.deb ...
Unpacking libmount1:armhf (2.34-0.1) over (2.33.1-0.1) ...
Setting up libmount1:armhf (2.34-0.1) ...
Selecting previously unselected package libglib2.0-0:armhf.
(Reading database ... 12701 files and directories currently installed.)
Preparing to unpack .../0-libglib2.0-0_2.60.6-2_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.60.6-2) ...
Selecting previously unselected package libatk1.0-data.
Preparing to unpack .../1-libatk1.0-data_2.33.3+really2.32.0-4_all.deb ...
Unpacking libatk1.0-data (2.33.3+really2.32.0-4) ...
Selecting previously unselected package libatk1.0-0:armhf.
Preparing to unpack .../2-libatk1.0-0_2.33.3+really2.32.0-4_armhf.deb ...
Unpacking libatk1.0-0:armhf (2.33.3+really2.32.0-4) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../3-libexpat1_2.2.7-1_armhf.deb ...
Unpacking libexpat1:armhf (2.2.7-1) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../4-libpng16-16_1.6.37-1_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.37-1) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../5-libfreetype6_2.9.1-4_armhf.deb ...
Unpacking libfreetype6:armhf (2.9.1-4) ...
Preparing to unpack .../6-libuuid1_2.34-0.1_armhf.deb ...
Unpacking libuuid1:armhf (2.34-0.1) over (2.33.1-0.1) ...
Setting up libuuid1:armhf (2.34-0.1) ...
Selecting previously unselected package sensible-utils.
(Reading database ... 12896 files and directories currently installed.)
Preparing to unpack .../00-sensible-utils_0.0.12_all.deb ...
Unpacking sensible-utils (0.0.12) ...
Selecting previously unselected package ucf.
Preparing to unpack .../01-ucf_3.0038+nmu1_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0038+nmu1) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../02-fonts-dejavu-core_2.37-1_all.deb ...
Unpacking fonts-dejavu-core (2.37-1) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../03-fontconfig-config_2.13.1-2_all.deb ...
Unpacking fontconfig-config (2.13.1-2) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../04-libfontconfig1_2.13.1-2_armhf.deb ...
Unpacking libfontconfig1:armhf (2.13.1-2) ...
Selecting previously unselected package libpixman-1-0:armhf.
Preparing to unpack .../05-libpixman-1-0_0.36.0-1_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.36.0-1) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../06-libxau6_1%3a1.0.8-1+b2_armhf.deb ...
Unpacking libxau6:armhf (1:1.0.8-1+b2) ...
Selecting previously unselected package libxdmcp6:armhf.
Preparing to unpack .../07-libxdmcp6_1%3a1.1.2-3_armhf.deb ...
Unpacking libxdmcp6:armhf (1:1.1.2-3) ...
Selecting previously unselected package libxcb1:armhf.
Preparing to unpack .../08-libxcb1_1.13.1-2_armhf.deb ...
Unpacking libxcb1:armhf (1.13.1-2) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../09-libx11-data_2%3a1.6.7-1_all.deb ...
Unpacking libx11-data (2:1.6.7-1) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../10-libx11-6_2%3a1.6.7-1_armhf.deb ...
Unpacking libx11-6:armhf (2:1.6.7-1) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../11-libxcb-render0_1.13.1-2_armhf.deb ...
Unpacking libxcb-render0:armhf (1.13.1-2) ...
Selecting previously unselected package libxcb-shm0:armhf.
Preparing to unpack .../12-libxcb-shm0_1.13.1-2_armhf.deb ...
Unpacking libxcb-shm0:armhf (1.13.1-2) ...
Selecting previously unselected package libxext6:armhf.
Preparing to unpack .../13-libxext6_2%3a1.3.3-1+b2_armhf.deb ...
Unpacking libxext6:armhf (2:1.3.3-1+b2) ...
Selecting previously unselected package libxrender1:armhf.
Preparing to unpack .../14-libxrender1_1%3a0.9.10-1_armhf.deb ...
Unpacking libxrender1:armhf (1:0.9.10-1) ...
Selecting previously unselected package libcairo2:armhf.
Preparing to unpack .../15-libcairo2_1.16.0-4_armhf.deb ...
Unpacking libcairo2:armhf (1.16.0-4) ...
Selecting previously unselected package libjpeg62-turbo:armhf.
Preparing to unpack .../16-libjpeg62-turbo_1%3a1.5.2-2+b1_armhf.deb ...
Unpacking libjpeg62-turbo:armhf (1:1.5.2-2+b1) ...
Selecting previously unselected package libjbig0:armhf.
Preparing to unpack .../17-libjbig0_2.1-3.1+b2_armhf.deb ...
Unpacking libjbig0:armhf (2.1-3.1+b2) ...
Selecting previously unselected package libwebp6:armhf.
Preparing to unpack .../18-libwebp6_0.6.1-2_armhf.deb ...
Unpacking libwebp6:armhf (0.6.1-2) ...
Selecting previously unselected package libtiff5:armhf.
Preparing to unpack .../19-libtiff5_4.0.10+git190818-1_armhf.deb ...
Unpacking libtiff5:armhf (4.0.10+git190818-1) ...
Selecting previously unselected package libicu63:armhf.
Preparing to unpack .../20-libicu63_63.2-2_armhf.deb ...
Unpacking libicu63:armhf (63.2-2) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../21-libxml2_2.9.4+dfsg1-7+b2_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-7+b2) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../22-shared-mime-info_1.10-1_armhf.deb ...
Unpacking shared-mime-info (1.10-1) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Preparing to unpack .../23-libgdk-pixbuf2.0-common_2.38.1+dfsg-1_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.38.1+dfsg-1) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:armhf.
Preparing to unpack .../24-libgdk-pixbuf2.0-0_2.38.1+dfsg-1_armhf.deb ...
Unpacking libgdk-pixbuf2.0-0:armhf (2.38.1+dfsg-1) ...
Selecting previously unselected package libgtk2.0-common.
Preparing to unpack .../25-libgtk2.0-common_2.24.32-3_all.deb ...
Unpacking libgtk2.0-common (2.24.32-3) ...
Selecting previously unselected package libavahi-common-data:armhf.
Preparing to unpack .../26-libavahi-common-data_0.7-4+b2_armhf.deb ...
Unpacking libavahi-common-data:armhf (0.7-4+b2) ...
Selecting previously unselected package libavahi-common3:armhf.
Preparing to unpack .../27-libavahi-common3_0.7-4+b2_armhf.deb ...
Unpacking libavahi-common3:armhf (0.7-4+b2) ...
Selecting previously unselected package libdbus-1-3:armhf.
Preparing to unpack .../28-libdbus-1-3_1.12.16-1+b1_armhf.deb ...
Unpacking libdbus-1-3:armhf (1.12.16-1+b1) ...
Selecting previously unselected package libavahi-client3:armhf.
Preparing to unpack .../29-libavahi-client3_0.7-4+b2_armhf.deb ...
Unpacking libavahi-client3:armhf (0.7-4+b2) ...
Preparing to unpack .../30-libtasn1-6_4.14-2_armhf.deb ...
Unpacking libtasn1-6:armhf (4.14-2) over (4.13-3) ...
Setting up libtasn1-6:armhf (4.14-2) ...
(Reading database ... 14000 files and directories currently installed.)
Preparing to unpack .../libgnutls30_3.6.9-4_armhf.deb ...
Unpacking libgnutls30:armhf (3.6.9-4) over (3.6.7-4) ...
Setting up libgnutls30:armhf (3.6.9-4) ...
Selecting previously unselected package libkeyutils1:armhf.
(Reading database ... 14000 files and directories currently installed.)
Preparing to unpack .../00-libkeyutils1_1.6-6_armhf.deb ...
Unpacking libkeyutils1:armhf (1.6-6) ...
Selecting previously unselected package libkrb5support0:armhf.
Preparing to unpack .../01-libkrb5support0_1.17-6+b1_armhf.deb ...
Unpacking libkrb5support0:armhf (1.17-6+b1) ...
Selecting previously unselected package libk5crypto3:armhf.
Preparing to unpack .../02-libk5crypto3_1.17-6+b1_armhf.deb ...
Unpacking libk5crypto3:armhf (1.17-6+b1) ...
Selecting previously unselected package libssl1.1:armhf.
Preparing to unpack .../03-libssl1.1_1.1.1c-1_armhf.deb ...
Unpacking libssl1.1:armhf (1.1.1c-1) ...
Selecting previously unselected package libkrb5-3:armhf.
Preparing to unpack .../04-libkrb5-3_1.17-6+b1_armhf.deb ...
Unpacking libkrb5-3:armhf (1.17-6+b1) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Preparing to unpack .../05-libgssapi-krb5-2_1.17-6+b1_armhf.deb ...
Unpacking libgssapi-krb5-2:armhf (1.17-6+b1) ...
Selecting previously unselected package libcups2:armhf.
Preparing to unpack .../06-libcups2_2.2.12-2+rpi1_armhf.deb ...
Unpacking libcups2:armhf (2.2.12-2+rpi1) ...
Selecting previously unselected package fontconfig.
Preparing to unpack .../07-fontconfig_2.13.1-2_armhf.deb ...
Unpacking fontconfig (2.13.1-2) ...
Selecting previously unselected package libfribidi0:armhf.
Preparing to unpack .../08-libfribidi0_1.0.5-3.1_armhf.deb ...
Unpacking libfribidi0:armhf (1.0.5-3.1) ...
Selecting previously unselected package libthai-data.
Preparing to unpack .../09-libthai-data_0.1.28-3_all.deb ...
Unpacking libthai-data (0.1.28-3) ...
Selecting previously unselected package libdatrie1:armhf.
Preparing to unpack .../10-libdatrie1_0.2.12-3_armhf.deb ...
Unpacking libdatrie1:armhf (0.2.12-3) ...
Selecting previously unselected package libthai0:armhf.
Preparing to unpack .../11-libthai0_0.1.28-3_armhf.deb ...
Unpacking libthai0:armhf (0.1.28-3) ...
Selecting previously unselected package libpango-1.0-0:armhf.
Preparing to unpack .../12-libpango-1.0-0_1.42.4-7_armhf.deb ...
Unpacking libpango-1.0-0:armhf (1.42.4-7) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../13-libgraphite2-3_1.3.13-8_armhf.deb ...
Unpacking libgraphite2-3:armhf (1.3.13-8) ...
Selecting previously unselected package libharfbuzz0b:armhf.
Preparing to unpack .../14-libharfbuzz0b_2.6.1-2_armhf.deb ...
Unpacking libharfbuzz0b:armhf (2.6.1-2) ...
Selecting previously unselected package libpangoft2-1.0-0:armhf.
Preparing to unpack .../15-libpangoft2-1.0-0_1.42.4-7_armhf.deb ...
Unpacking libpangoft2-1.0-0:armhf (1.42.4-7) ...
Selecting previously unselected package libpangocairo-1.0-0:armhf.
Preparing to unpack .../16-libpangocairo-1.0-0_1.42.4-7_armhf.deb ...
Unpacking libpangocairo-1.0-0:armhf (1.42.4-7) ...
Selecting previously unselected package libxcomposite1:armhf.
Preparing to unpack .../17-libxcomposite1_1%3a0.4.4-2_armhf.deb ...
Unpacking libxcomposite1:armhf (1:0.4.4-2) ...
Selecting previously unselected package libxfixes3:armhf.
Preparing to unpack .../18-libxfixes3_1%3a5.0.3-1_armhf.deb ...
Unpacking libxfixes3:armhf (1:5.0.3-1) ...
Selecting previously unselected package libxcursor1:armhf.
Preparing to unpack .../19-libxcursor1_1%3a1.2.0-2_armhf.deb ...
Unpacking libxcursor1:armhf (1:1.2.0-2) ...
Selecting previously unselected package libxdamage1:armhf.
Preparing to unpack .../20-libxdamage1_1%3a1.1.5-1_armhf.deb ...
Unpacking libxdamage1:armhf (1:1.1.5-1) ...
Selecting previously unselected package libxi6:armhf.
Preparing to unpack .../21-libxi6_2%3a1.7.9-1_armhf.deb ...
Unpacking libxi6:armhf (2:1.7.9-1) ...
Selecting previously unselected package libxinerama1:armhf.
Preparing to unpack .../22-libxinerama1_2%3a1.1.4-2_armhf.deb ...
Unpacking libxinerama1:armhf (2:1.1.4-2) ...
Selecting previously unselected package libxrandr2:armhf.
Preparing to unpack .../23-libxrandr2_2%3a1.5.1-1_armhf.deb ...
Unpacking libxrandr2:armhf (2:1.5.1-1) ...
Selecting previously unselected package hicolor-icon-theme.
Preparing to unpack .../24-hicolor-icon-theme_0.17-2_all.deb ...
Unpacking hicolor-icon-theme (0.17-2) ...
Selecting previously unselected package gtk-update-icon-cache.
Preparing to unpack .../25-gtk-update-icon-cache_3.24.10-1_armhf.deb ...
No diversion 'diversion of /usr/sbin/update-icon-caches to /usr/sbin/update-icon-caches.gtk2 by libgtk-3-bin', none removed.
No diversion 'diversion of /usr/share/man/man8/update-icon-caches.8.gz to /usr/share/man/man8/update-icon-caches.gtk2.8.gz by libgtk-3-bin', none removed.
Unpacking gtk-update-icon-cache (3.24.10-1) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../26-libcroco3_0.6.13-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.13-1) ...
Selecting previously unselected package librsvg2-2:armhf.
Preparing to unpack .../27-librsvg2-2_2.44.14-1_armhf.deb ...
Unpacking librsvg2-2:armhf (2.44.14-1) ...
Selecting previously unselected package librsvg2-common:armhf.
Preparing to unpack .../28-librsvg2-common_2.44.14-1_armhf.deb ...
Unpacking librsvg2-common:armhf (2.44.14-1) ...
Selecting previously unselected package adwaita-icon-theme.
Preparing to unpack .../29-adwaita-icon-theme_3.30.1-1_all.deb ...
Unpacking adwaita-icon-theme (3.30.1-1) ...
Selecting previously unselected package libgtk2.0-0:armhf.
Preparing to unpack .../30-libgtk2.0-0_2.24.32-3_armhf.deb ...
Unpacking libgtk2.0-0:armhf (2.24.32-3) ...
Setting up multiarch-support (2.28-10+rpi1) ...
Selecting previously unselected package libglade2-0:armhf.
(Reading database ... 20459 files and directories currently installed.)
Preparing to unpack .../0-libglade2-0_1%3a2.6.4-2_armhf.deb ...
Unpacking libglade2-0:armhf (1:2.6.4-2) ...
Selecting previously unselected package libpython2.7-minimal:armhf.
Preparing to unpack .../1-libpython2.7-minimal_2.7.16-3_armhf.deb ...
Unpacking libpython2.7-minimal:armhf (2.7.16-3) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../2-python2.7-minimal_2.7.16-3_armhf.deb ...
Unpacking python2.7-minimal (2.7.16-3) ...
Selecting previously unselected package python2-minimal.
Preparing to unpack .../3-python2-minimal_2.7.16-1_armhf.deb ...
Unpacking python2-minimal (2.7.16-1) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../4-python-minimal_2.7.16-1_armhf.deb ...
Unpacking python-minimal (2.7.16-1) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../5-mime-support_3.63_all.deb ...
Unpacking mime-support (3.63) ...
Preparing to unpack .../6-libtinfo6_6.1+20190803-1_armhf.deb ...
Unpacking libtinfo6:armhf (6.1+20190803-1) over (6.1+20181013-2) ...
Setting up libtinfo6:armhf (6.1+20190803-1) ...
(Reading database ... 20740 files and directories currently installed.)
Preparing to unpack .../libncursesw6_6.1+20190803-1_armhf.deb ...
Unpacking libncursesw6:armhf (6.1+20190803-1) over (6.1+20181013-2) ...
Setting up libncursesw6:armhf (6.1+20190803-1) ...
Selecting previously unselected package libreadline8:armhf.
(Reading database ... 20740 files and directories currently installed.)
Preparing to unpack .../libreadline8_8.0-3_armhf.deb ...
Unpacking libreadline8:armhf (8.0-3) ...
Selecting previously unselected package libpython2.7-stdlib:armhf.
Preparing to unpack .../libpython2.7-stdlib_2.7.16-3_armhf.deb ...
Unpacking libpython2.7-stdlib:armhf (2.7.16-3) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../python2.7_2.7.16-3_armhf.deb ...
Unpacking python2.7 (2.7.16-3) ...
Selecting previously unselected package libpython2-stdlib:armhf.
Preparing to unpack .../libpython2-stdlib_2.7.16-1_armhf.deb ...
Unpacking libpython2-stdlib:armhf (2.7.16-1) ...
Selecting previously unselected package libpython-stdlib:armhf.
Preparing to unpack .../libpython-stdlib_2.7.16-1_armhf.deb ...
Unpacking libpython-stdlib:armhf (2.7.16-1) ...
Setting up libpython2.7-minimal:armhf (2.7.16-3) ...
Setting up python2.7-minimal (2.7.16-3) ...
Setting up python2-minimal (2.7.16-1) ...
Selecting previously unselected package python2.
(Reading database ... 21270 files and directories currently installed.)
Preparing to unpack .../python2_2.7.16-1_armhf.deb ...
Unpacking python2 (2.7.16-1) ...
Setting up python-minimal (2.7.16-1) ...
Selecting previously unselected package python.
(Reading database ... 21303 files and directories currently installed.)
Preparing to unpack .../python_2.7.16-1_armhf.deb ...
Unpacking python (2.7.16-1) ...
Selecting previously unselected package libpython3.7-minimal:armhf.
Preparing to unpack .../libpython3.7-minimal_3.7.4-3_armhf.deb ...
Unpacking libpython3.7-minimal:armhf (3.7.4-3) ...
Selecting previously unselected package python3.7-minimal.
Preparing to unpack .../python3.7-minimal_3.7.4-3_armhf.deb ...
Unpacking python3.7-minimal (3.7.4-3) ...
Setting up libssl1.1:armhf (1.1.1c-1) ...
Setting up libpython3.7-minimal:armhf (3.7.4-3) ...
Setting up libexpat1:armhf (2.2.7-1) ...
Setting up python3.7-minimal (3.7.4-3) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 21557 files and directories currently installed.)
Preparing to unpack .../python3-minimal_3.7.3-1_armhf.deb ...
Unpacking python3-minimal (3.7.3-1) ...
Selecting previously unselected package libmpdec2:armhf.
Preparing to unpack .../libmpdec2_2.4.2-2_armhf.deb ...
Unpacking libmpdec2:armhf (2.4.2-2) ...
Selecting previously unselected package libpython3.7-stdlib:armhf.
Preparing to unpack .../libpython3.7-stdlib_3.7.4-3_armhf.deb ...
Unpacking libpython3.7-stdlib:armhf (3.7.4-3) ...
Selecting previously unselected package python3.7.
Preparing to unpack .../python3.7_3.7.4-3_armhf.deb ...
Unpacking python3.7 (3.7.4-3) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../libpython3-stdlib_3.7.3-1_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.7.3-1) ...
Setting up python3-minimal (3.7.3-1) ...
Selecting previously unselected package python3.
(Reading database ... 21970 files and directories currently installed.)
Preparing to unpack .../python3_3.7.3-1_armhf.deb ...
Unpacking python3 (3.7.3-1) ...
Preparing to unpack .../libsepol1_2.9-2_armhf.deb ...
Unpacking libsepol1:armhf (2.9-2) over (2.8-1) ...
Setting up libsepol1:armhf (2.9-2) ...
Selecting previously unselected package libmagic-mgc.
(Reading database ... 22003 files and directories currently installed.)
Preparing to unpack .../000-libmagic-mgc_1%3a5.37-5_armhf.deb ...
Unpacking libmagic-mgc (1:5.37-5) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../001-libmagic1_1%3a5.37-5_armhf.deb ...
Unpacking libmagic1:armhf (1:5.37-5) ...
Selecting previously unselected package file.
Preparing to unpack .../002-file_1%3a5.37-5_armhf.deb ...
Unpacking file (1:5.37-5) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../003-gettext-base_0.19.8.1-9_armhf.deb ...
Unpacking gettext-base (0.19.8.1-9) ...
Selecting previously unselected package libaspell15:armhf.
Preparing to unpack .../004-libaspell15_0.60.7~20110707-6_armhf.deb ...
Unpacking libaspell15:armhf (0.60.7~20110707-6) ...
Selecting previously unselected package emacsen-common.
Preparing to unpack .../005-emacsen-common_3.0.4_all.deb ...
Unpacking emacsen-common (3.0.4) ...
Selecting previously unselected package dictionaries-common.
Preparing to unpack .../006-dictionaries-common_1.28.1_all.deb ...
Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common'
Unpacking dictionaries-common (1.28.1) ...
Selecting previously unselected package aspell.
Preparing to unpack .../007-aspell_0.60.7~20110707-6_armhf.deb ...
Unpacking aspell (0.60.7~20110707-6) ...
Selecting previously unselected package aspell-en.
Preparing to unpack .../008-aspell-en_2018.04.16-0-1_all.deb ...
Unpacking aspell-en (2018.04.16-0-1) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../009-libsigsegv2_2.12-2_armhf.deb ...
Unpacking libsigsegv2:armhf (2.12-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../010-m4_1.4.18-2_armhf.deb ...
Unpacking m4 (1.4.18-2) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../011-autoconf_2.69-11_all.deb ...
Unpacking autoconf (2.69-11) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../012-autotools-dev_20180224.1_all.deb ...
Unpacking autotools-dev (20180224.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../013-automake_1%3a1.16.1-4_all.deb ...
Unpacking automake (1:1.16.1-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../014-autopoint_0.19.8.1-9_all.deb ...
Unpacking autopoint (0.19.8.1-9) ...
Selecting previously unselected package libtool.
Preparing to unpack .../015-libtool_2.4.6-9_all.deb ...
Unpacking libtool (2.4.6-9) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../016-dh-autoreconf_19_all.deb ...
Unpacking dh-autoreconf (19) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../017-libarchive-zip-perl_1.64-1_all.deb ...
Unpacking libarchive-zip-perl (1.64-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../018-libsub-override-perl_0.09-2_all.deb ...
Unpacking libsub-override-perl (0.09-2) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../019-libfile-stripnondeterminism-perl_1.5.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.5.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../020-dh-strip-nondeterminism_1.5.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.5.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../021-libelf1_0.176-1.1_armhf.deb ...
Unpacking libelf1:armhf (0.176-1.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../022-dwz_0.13-1_armhf.deb ...
Unpacking dwz (0.13-1) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../023-libncurses6_6.1+20190803-1_armhf.deb ...
Unpacking libncurses6:armhf (6.1+20190803-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../024-gettext_0.19.8.1-9_armhf.deb ...
Unpacking gettext (0.19.8.1-9) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../025-intltool-debian_0.35.0+20060710.5_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.5) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../026-po-debconf_1.0.21_all.deb ...
Unpacking po-debconf (1.0.21) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../027-debhelper_12.5.4_all.deb ...
Unpacking debhelper (12.5.4) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../028-dh-ocaml_1.1.0_all.deb ...
Unpacking dh-ocaml (1.1.0) ...
Selecting previously unselected package libgirepository-1.0-1:armhf.
Preparing to unpack .../029-libgirepository-1.0-1_1.58.3-2_armhf.deb ...
Unpacking libgirepository-1.0-1:armhf (1.58.3-2) ...
Selecting previously unselected package gir1.2-glib-2.0:armhf.
Preparing to unpack .../030-gir1.2-glib-2.0_1.58.3-2_armhf.deb ...
Unpacking gir1.2-glib-2.0:armhf (1.58.3-2) ...
Selecting previously unselected package gir1.2-atk-1.0:armhf.
Preparing to unpack .../031-gir1.2-atk-1.0_2.33.3+really2.32.0-4_armhf.deb ...
Unpacking gir1.2-atk-1.0:armhf (2.33.3+really2.32.0-4) ...
Selecting previously unselected package libcairo-gobject2:armhf.
Preparing to unpack .../032-libcairo-gobject2_1.16.0-4_armhf.deb ...
Unpacking libcairo-gobject2:armhf (1.16.0-4) ...
Selecting previously unselected package gir1.2-freedesktop:armhf.
Preparing to unpack .../033-gir1.2-freedesktop_1.58.3-2_armhf.deb ...
Unpacking gir1.2-freedesktop:armhf (1.58.3-2) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0:armhf.
Preparing to unpack .../034-gir1.2-gdkpixbuf-2.0_2.38.1+dfsg-1_armhf.deb ...
Unpacking gir1.2-gdkpixbuf-2.0:armhf (2.38.1+dfsg-1) ...
Selecting previously unselected package libxft2:armhf.
Preparing to unpack .../035-libxft2_2.3.2-2_armhf.deb ...
Unpacking libxft2:armhf (2.3.2-2) ...
Selecting previously unselected package libpangoxft-1.0-0:armhf.
Preparing to unpack .../036-libpangoxft-1.0-0_1.42.4-7_armhf.deb ...
Unpacking libpangoxft-1.0-0:armhf (1.42.4-7) ...
Selecting previously unselected package gir1.2-pango-1.0:armhf.
Preparing to unpack .../037-gir1.2-pango-1.0_1.42.4-7_armhf.deb ...
Unpacking gir1.2-pango-1.0:armhf (1.42.4-7) ...
Selecting previously unselected package gir1.2-gtk-2.0:armhf.
Preparing to unpack .../038-gir1.2-gtk-2.0_2.24.32-3_armhf.deb ...
Unpacking gir1.2-gtk-2.0:armhf (2.24.32-3) ...
Selecting previously unselected package libharfbuzz-gobject0:armhf.
Preparing to unpack .../039-libharfbuzz-gobject0_2.6.1-2_armhf.deb ...
Unpacking libharfbuzz-gobject0:armhf (2.6.1-2) ...
Selecting previously unselected package gir1.2-harfbuzz-0.0:armhf.
Preparing to unpack .../040-gir1.2-harfbuzz-0.0_2.6.1-2_armhf.deb ...
Unpacking gir1.2-harfbuzz-0.0:armhf (2.6.1-2) ...
Selecting previously unselected package gir1.2-rsvg-2.0:armhf.
Preparing to unpack .../041-gir1.2-rsvg-2.0_2.44.14-1_armhf.deb ...
Unpacking gir1.2-rsvg-2.0:armhf (2.44.14-1) ...
Selecting previously unselected package icu-devtools.
Preparing to unpack .../042-icu-devtools_63.2-2_armhf.deb ...
Unpacking icu-devtools (63.2-2) ...
Selecting previously unselected package pkg-config.
Preparing to unpack .../043-pkg-config_0.29-6_armhf.deb ...
Unpacking pkg-config (0.29-6) ...
Selecting previously unselected package libffi-dev:armhf.
Preparing to unpack .../044-libffi-dev_3.2.1-9_armhf.deb ...
Unpacking libffi-dev:armhf (3.2.1-9) ...
Selecting previously unselected package libglib2.0-data.
Preparing to unpack .../045-libglib2.0-data_2.60.6-2_all.deb ...
Unpacking libglib2.0-data (2.60.6-2) ...
Selecting previously unselected package libglib2.0-bin.
Preparing to unpack .../046-libglib2.0-bin_2.60.6-2_armhf.deb ...
Unpacking libglib2.0-bin (2.60.6-2) ...
Selecting previously unselected package python3-lib2to3.
Preparing to unpack .../047-python3-lib2to3_3.7.4-3_all.deb ...
Unpacking python3-lib2to3 (3.7.4-3) ...
Selecting previously unselected package python3-distutils.
Preparing to unpack .../048-python3-distutils_3.7.4-3_all.deb ...
Unpacking python3-distutils (3.7.4-3) ...
Selecting previously unselected package libglib2.0-dev-bin.
Preparing to unpack .../049-libglib2.0-dev-bin_2.60.6-2_armhf.deb ...
Unpacking libglib2.0-dev-bin (2.60.6-2) ...
Selecting previously unselected package uuid-dev:armhf.
Preparing to unpack .../050-uuid-dev_2.34-0.1_armhf.deb ...
Unpacking uuid-dev:armhf (2.34-0.1) ...
Selecting previously unselected package libblkid-dev:armhf.
Preparing to unpack .../051-libblkid-dev_2.34-0.1_armhf.deb ...
Unpacking libblkid-dev:armhf (2.34-0.1) ...
Selecting previously unselected package libmount-dev:armhf.
Preparing to unpack .../052-libmount-dev_2.34-0.1_armhf.deb ...
Unpacking libmount-dev:armhf (2.34-0.1) ...
Selecting previously unselected package libpcre16-3:armhf.
Preparing to unpack .../053-libpcre16-3_2%3a8.39-12_armhf.deb ...
Unpacking libpcre16-3:armhf (2:8.39-12) ...
Selecting previously unselected package libpcre32-3:armhf.
Preparing to unpack .../054-libpcre32-3_2%3a8.39-12_armhf.deb ...
Unpacking libpcre32-3:armhf (2:8.39-12) ...
Selecting previously unselected package libpcrecpp0v5:armhf.
Preparing to unpack .../055-libpcrecpp0v5_2%3a8.39-12_armhf.deb ...
Unpacking libpcrecpp0v5:armhf (2:8.39-12) ...
Selecting previously unselected package libpcre3-dev:armhf.
Preparing to unpack .../056-libpcre3-dev_2%3a8.39-12_armhf.deb ...
Unpacking libpcre3-dev:armhf (2:8.39-12) ...
Selecting previously unselected package libsepol1-dev:armhf.
Preparing to unpack .../057-libsepol1-dev_2.9-2_armhf.deb ...
Unpacking libsepol1-dev:armhf (2.9-2) ...
Selecting previously unselected package libpcre2-16-0:armhf.
Preparing to unpack .../058-libpcre2-16-0_10.32-5_armhf.deb ...
Unpacking libpcre2-16-0:armhf (10.32-5) ...
Selecting previously unselected package libpcre2-32-0:armhf.
Preparing to unpack .../059-libpcre2-32-0_10.32-5_armhf.deb ...
Unpacking libpcre2-32-0:armhf (10.32-5) ...
Selecting previously unselected package libpcre2-posix0:armhf.
Preparing to unpack .../060-libpcre2-posix0_10.32-5_armhf.deb ...
Unpacking libpcre2-posix0:armhf (10.32-5) ...
Selecting previously unselected package libpcre2-dev:armhf.
Preparing to unpack .../061-libpcre2-dev_10.32-5_armhf.deb ...
Unpacking libpcre2-dev:armhf (10.32-5) ...
Selecting previously unselected package libselinux1-dev:armhf.
Preparing to unpack .../062-libselinux1-dev_2.9-2_armhf.deb ...
Unpacking libselinux1-dev:armhf (2.9-2) ...
Selecting previously unselected package zlib1g-dev:armhf.
Preparing to unpack .../063-zlib1g-dev_1%3a1.2.11.dfsg-1_armhf.deb ...
Unpacking zlib1g-dev:armhf (1:1.2.11.dfsg-1) ...
Selecting previously unselected package libglib2.0-dev:armhf.
Preparing to unpack .../064-libglib2.0-dev_2.60.6-2_armhf.deb ...
Unpacking libglib2.0-dev:armhf (2.60.6-2) ...
Selecting previously unselected package libatk1.0-dev:armhf.
Preparing to unpack .../065-libatk1.0-dev_2.33.3+really2.32.0-4_armhf.deb ...
Unpacking libatk1.0-dev:armhf (2.33.3+really2.32.0-4) ...
Selecting previously unselected package liblzo2-2:armhf.
Preparing to unpack .../066-liblzo2-2_2.10-0.1_armhf.deb ...
Unpacking liblzo2-2:armhf (2.10-0.1) ...
Selecting previously unselected package libcairo-script-interpreter2:armhf.
Preparing to unpack .../067-libcairo-script-interpreter2_1.16.0-4_armhf.deb ...
Unpacking libcairo-script-interpreter2:armhf (1.16.0-4) ...
Selecting previously unselected package libexpat1-dev:armhf.
Preparing to unpack .../068-libexpat1-dev_2.2.7-1_armhf.deb ...
Unpacking libexpat1-dev:armhf (2.2.7-1) ...
Selecting previously unselected package libpng-dev:armhf.
Preparing to unpack .../069-libpng-dev_1.6.37-1_armhf.deb ...
Unpacking libpng-dev:armhf (1.6.37-1) ...
Selecting previously unselected package libfreetype6-dev:armhf.
Preparing to unpack .../070-libfreetype6-dev_2.9.1-4_armhf.deb ...
Unpacking libfreetype6-dev:armhf (2.9.1-4) ...
Selecting previously unselected package libfontconfig1-dev:armhf.
Preparing to unpack .../071-libfontconfig1-dev_2.13.1-2_armhf.deb ...
Unpacking libfontconfig1-dev:armhf (2.13.1-2) ...
Selecting previously unselected package xorg-sgml-doctools.
Preparing to unpack .../072-xorg-sgml-doctools_1%3a1.11-1_all.deb ...
Unpacking xorg-sgml-doctools (1:1.11-1) ...
Selecting previously unselected package x11proto-dev.
Preparing to unpack .../073-x11proto-dev_2018.4-4_all.deb ...
Unpacking x11proto-dev (2018.4-4) ...
Selecting previously unselected package x11proto-core-dev.
Preparing to unpack .../074-x11proto-core-dev_2018.4-4_all.deb ...
Unpacking x11proto-core-dev (2018.4-4) ...
Selecting previously unselected package libxau-dev:armhf.
Preparing to unpack .../075-libxau-dev_1%3a1.0.8-1+b2_armhf.deb ...
Unpacking libxau-dev:armhf (1:1.0.8-1+b2) ...
Selecting previously unselected package libxdmcp-dev:armhf.
Preparing to unpack .../076-libxdmcp-dev_1%3a1.1.2-3_armhf.deb ...
Unpacking libxdmcp-dev:armhf (1:1.1.2-3) ...
Selecting previously unselected package x11proto-input-dev.
Preparing to unpack .../077-x11proto-input-dev_2018.4-4_all.deb ...
Unpacking x11proto-input-dev (2018.4-4) ...
Selecting previously unselected package xtrans-dev.
Preparing to unpack .../078-xtrans-dev_1.3.5-1_all.deb ...
Unpacking xtrans-dev (1.3.5-1) ...
Selecting previously unselected package libpthread-stubs0-dev:armhf.
Preparing to unpack .../079-libpthread-stubs0-dev_0.4-1_armhf.deb ...
Unpacking libpthread-stubs0-dev:armhf (0.4-1) ...
Selecting previously unselected package libxcb1-dev:armhf.
Preparing to unpack .../080-libxcb1-dev_1.13.1-2_armhf.deb ...
Unpacking libxcb1-dev:armhf (1.13.1-2) ...
Selecting previously unselected package libx11-dev:armhf.
Preparing to unpack .../081-libx11-dev_2%3a1.6.7-1_armhf.deb ...
Unpacking libx11-dev:armhf (2:1.6.7-1) ...
Selecting previously unselected package libxrender-dev:armhf.
Preparing to unpack .../082-libxrender-dev_1%3a0.9.10-1_armhf.deb ...
Unpacking libxrender-dev:armhf (1:0.9.10-1) ...
Selecting previously unselected package x11proto-xext-dev.
Preparing to unpack .../083-x11proto-xext-dev_2018.4-4_all.deb ...
Unpacking x11proto-xext-dev (2018.4-4) ...
Selecting previously unselected package libxext-dev:armhf.
Preparing to unpack .../084-libxext-dev_2%3a1.3.3-1+b2_armhf.deb ...
Unpacking libxext-dev:armhf (2:1.3.3-1+b2) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../085-x11-common_1%3a7.7+19_all.deb ...
Unpacking x11-common (1:7.7+19) ...
Selecting previously unselected package libice6:armhf.
Preparing to unpack .../086-libice6_2%3a1.0.9-2_armhf.deb ...
Unpacking libice6:armhf (2:1.0.9-2) ...
Selecting previously unselected package libsm6:armhf.
Preparing to unpack .../087-libsm6_2%3a1.2.3-1_armhf.deb ...
Unpacking libsm6:armhf (2:1.2.3-1) ...
Selecting previously unselected package libice-dev:armhf.
Preparing to unpack .../088-libice-dev_2%3a1.0.9-2_armhf.deb ...
Unpacking libice-dev:armhf (2:1.0.9-2) ...
Selecting previously unselected package libsm-dev:armhf.
Preparing to unpack .../089-libsm-dev_2%3a1.2.3-1_armhf.deb ...
Unpacking libsm-dev:armhf (2:1.2.3-1) ...
Selecting previously unselected package libpixman-1-dev:armhf.
Preparing to unpack .../090-libpixman-1-dev_0.36.0-1_armhf.deb ...
Unpacking libpixman-1-dev:armhf (0.36.0-1) ...
Selecting previously unselected package libxcb-render0-dev:armhf.
Preparing to unpack .../091-libxcb-render0-dev_1.13.1-2_armhf.deb ...
Unpacking libxcb-render0-dev:armhf (1.13.1-2) ...
Selecting previously unselected package libxcb-shm0-dev:armhf.
Preparing to unpack .../092-libxcb-shm0-dev_1.13.1-2_armhf.deb ...
Unpacking libxcb-shm0-dev:armhf (1.13.1-2) ...
Selecting previously unselected package libcairo2-dev:armhf.
Preparing to unpack .../093-libcairo2-dev_1.16.0-4_armhf.deb ...
Unpacking libcairo2-dev:armhf (1.16.0-4) ...
Selecting previously unselected package libhunspell-1.7-0:armhf.
Preparing to unpack .../094-libhunspell-1.7-0_1.7.0-2+b1_armhf.deb ...
Unpacking libhunspell-1.7-0:armhf (1.7.0-2+b1) ...
Selecting previously unselected package libenchant1c2a:armhf.
Preparing to unpack .../095-libenchant1c2a_1.6.0-11.1+b2_armhf.deb ...
Unpacking libenchant1c2a:armhf (1.6.0-11.1+b2) ...
Selecting previously unselected package libenchant-dev.
Preparing to unpack .../096-libenchant-dev_1.6.0-11.1+b2_armhf.deb ...
Unpacking libenchant-dev (1.6.0-11.1+b2) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../097-ocaml-base-nox_4.05.0-12+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.05.0-12+rpi1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../098-libfindlib-ocaml_1.8.1-1_armhf.deb ...
Unpacking libfindlib-ocaml (1.8.1-1) ...
Selecting previously unselected package libfribidi-dev:armhf.
Preparing to unpack .../099-libfribidi-dev_1.0.5-3.1_armhf.deb ...
Unpacking libfribidi-dev:armhf (1.0.5-3.1) ...
Selecting previously unselected package libgdk-pixbuf2.0-bin.
Preparing to unpack .../100-libgdk-pixbuf2.0-bin_2.38.1+dfsg-1_armhf.deb ...
Unpacking libgdk-pixbuf2.0-bin (2.38.1+dfsg-1) ...
Selecting previously unselected package libgdk-pixbuf2.0-dev:armhf.
Preparing to unpack .../101-libgdk-pixbuf2.0-dev_2.38.1+dfsg-1_armhf.deb ...
Unpacking libgdk-pixbuf2.0-dev:armhf (2.38.1+dfsg-1) ...
Selecting previously unselected package libharfbuzz-icu0:armhf.
Preparing to unpack .../102-libharfbuzz-icu0_2.6.1-2_armhf.deb ...
Unpacking libharfbuzz-icu0:armhf (2.6.1-2) ...
Selecting previously unselected package libgraphite2-dev:armhf.
Preparing to unpack .../103-libgraphite2-dev_1.3.13-8_armhf.deb ...
Unpacking libgraphite2-dev:armhf (1.3.13-8) ...
Selecting previously unselected package libicu-dev:armhf.
Preparing to unpack .../104-libicu-dev_63.2-2_armhf.deb ...
Unpacking libicu-dev:armhf (63.2-2) ...
Selecting previously unselected package libharfbuzz-dev:armhf.
Preparing to unpack .../105-libharfbuzz-dev_2.6.1-2_armhf.deb ...
Unpacking libharfbuzz-dev:armhf (2.6.1-2) ...
Selecting previously unselected package libxft-dev:armhf.
Preparing to unpack .../106-libxft-dev_2.3.2-2_armhf.deb ...
Unpacking libxft-dev:armhf (2.3.2-2) ...
Selecting previously unselected package pango1.0-tools.
Preparing to unpack .../107-pango1.0-tools_1.42.4-7_armhf.deb ...
Unpacking pango1.0-tools (1.42.4-7) ...
Selecting previously unselected package libpango1.0-dev:armhf.
Preparing to unpack .../108-libpango1.0-dev_1.42.4-7_armhf.deb ...
Unpacking libpango1.0-dev:armhf (1.42.4-7) ...
Selecting previously unselected package x11proto-xinerama-dev.
Preparing to unpack .../109-x11proto-xinerama-dev_2018.4-4_all.deb ...
Unpacking x11proto-xinerama-dev (2018.4-4) ...
Selecting previously unselected package libxinerama-dev:armhf.
Preparing to unpack .../110-libxinerama-dev_2%3a1.1.4-2_armhf.deb ...
Unpacking libxinerama-dev:armhf (2:1.1.4-2) ...
Selecting previously unselected package x11proto-fixes-dev.
Preparing to unpack .../111-x11proto-fixes-dev_1%3a2018.4-4_all.deb ...
Unpacking x11proto-fixes-dev (1:2018.4-4) ...
Selecting previously unselected package libxfixes-dev:armhf.
Preparing to unpack .../112-libxfixes-dev_1%3a5.0.3-1_armhf.deb ...
Unpacking libxfixes-dev:armhf (1:5.0.3-1) ...
Selecting previously unselected package libxi-dev:armhf.
Preparing to unpack .../113-libxi-dev_2%3a1.7.9-1_armhf.deb ...
Unpacking libxi-dev:armhf (2:1.7.9-1) ...
Selecting previously unselected package x11proto-randr-dev.
Preparing to unpack .../114-x11proto-randr-dev_2018.4-4_all.deb ...
Unpacking x11proto-randr-dev (2018.4-4) ...
Selecting previously unselected package libxrandr-dev:armhf.
Preparing to unpack .../115-libxrandr-dev_2%3a1.5.1-1_armhf.deb ...
Unpacking libxrandr-dev:armhf (2:1.5.1-1) ...
Selecting previously unselected package libxcursor-dev:armhf.
Preparing to unpack .../116-libxcursor-dev_1%3a1.2.0-2_armhf.deb ...
Unpacking libxcursor-dev:armhf (1:1.2.0-2) ...
Selecting previously unselected package x11proto-composite-dev.
Preparing to unpack .../117-x11proto-composite-dev_1%3a2018.4-4_all.deb ...
Unpacking x11proto-composite-dev (1:2018.4-4) ...
Selecting previously unselected package libxcomposite-dev:armhf.
Preparing to unpack .../118-libxcomposite-dev_1%3a0.4.4-2_armhf.deb ...
Unpacking libxcomposite-dev:armhf (1:0.4.4-2) ...
Selecting previously unselected package x11proto-damage-dev.
Preparing to unpack .../119-x11proto-damage-dev_1%3a2018.4-4_all.deb ...
Unpacking x11proto-damage-dev (1:2018.4-4) ...
Selecting previously unselected package libxdamage-dev:armhf.
Preparing to unpack .../120-libxdamage-dev_1%3a1.1.5-1_armhf.deb ...
Unpacking libxdamage-dev:armhf (1:1.1.5-1) ...
Selecting previously unselected package libxml2-utils.
Preparing to unpack .../121-libxml2-utils_2.9.4+dfsg1-7+b2_armhf.deb ...
Unpacking libxml2-utils (2.9.4+dfsg1-7+b2) ...
Selecting previously unselected package libgtk2.0-dev:armhf.
Preparing to unpack .../122-libgtk2.0-dev_2.24.32-3_armhf.deb ...
Unpacking libgtk2.0-dev:armhf (2.24.32-3) ...
Selecting previously unselected package libxml2-dev:armhf.
Preparing to unpack .../123-libxml2-dev_2.9.4+dfsg1-7+b2_armhf.deb ...
Unpacking libxml2-dev:armhf (2.9.4+dfsg1-7+b2) ...
Selecting previously unselected package libglade2-dev:armhf.
Preparing to unpack .../124-libglade2-dev_1%3a2.6.4-2_armhf.deb ...
Unpacking libglade2-dev:armhf (1:2.6.4-2) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../125-libgmpxx4ldbl_2%3a6.1.2+dfsg-4_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.1.2+dfsg-4) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../126-libgmp-dev_2%3a6.1.2+dfsg-4_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.1.2+dfsg-4) ...
Selecting previously unselected package libgmp3-dev:armhf.
Preparing to unpack .../127-libgmp3-dev_2%3a6.1.2+dfsg-4_armhf.deb ...
Unpacking libgmp3-dev:armhf (2:6.1.2+dfsg-4) ...
Selecting previously unselected package libgtksourceview2.0-common.
Preparing to unpack .../128-libgtksourceview2.0-common_2.10.5-3_all.deb ...
Unpacking libgtksourceview2.0-common (2.10.5-3) ...
Selecting previously unselected package libgtksourceview2.0-0:armhf.
Preparing to unpack .../129-libgtksourceview2.0-0_2.10.5-3_armhf.deb ...
Unpacking libgtksourceview2.0-0:armhf (2.10.5-3) ...
Selecting previously unselected package libgtksourceview2.0-dev:armhf.
Preparing to unpack .../130-libgtksourceview2.0-dev_2.10.5-3_armhf.deb ...
Unpacking libgtksourceview2.0-dev:armhf (2.10.5-3) ...
Selecting previously unselected package libgtkspell0:armhf.
Preparing to unpack .../131-libgtkspell0_2.0.16-1.2_armhf.deb ...
Unpacking libgtkspell0:armhf (2.0.16-1.2) ...
Selecting previously unselected package libgtkspell-dev.
Preparing to unpack .../132-libgtkspell-dev_2.0.16-1.2_armhf.deb ...
Unpacking libgtkspell-dev (2.0.16-1.2) ...
Selecting previously unselected package liblablgtk2-ocaml.
Preparing to unpack .../133-liblablgtk2-ocaml_2.18.8+dfsg-1_armhf.deb ...
Unpacking liblablgtk2-ocaml (2.18.8+dfsg-1) ...
Selecting previously unselected package liblablgtk2-gnome-ocaml.
Preparing to unpack .../134-liblablgtk2-gnome-ocaml_2.18.8+dfsg-1_armhf.deb ...
Unpacking liblablgtk2-gnome-ocaml (2.18.8+dfsg-1) ...
Selecting previously unselected package librsvg2-dev:armhf.
Preparing to unpack .../135-librsvg2-dev_2.44.14-1_armhf.deb ...
Unpacking librsvg2-dev:armhf (2.44.14-1) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../136-libncurses-dev_6.1+20190803-1_armhf.deb ...
Unpacking libncurses-dev:armhf (6.1+20190803-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../137-libncurses5-dev_6.1+20190803-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.1+20190803-1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../138-ocaml-compiler-libs_4.05.0-12+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.05.0-12+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../139-ocaml-interp_4.05.0-12+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.05.0-12+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../140-ocaml-nox_4.05.0-12+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.05.0-12+rpi1) ...
Selecting previously unselected package liblablgtk2-ocaml-dev.
Preparing to unpack .../141-liblablgtk2-ocaml-dev_2.18.8+dfsg-1_armhf.deb ...
Unpacking liblablgtk2-ocaml-dev (2.18.8+dfsg-1) ...
Selecting previously unselected package liblablgtk2-gnome-ocaml-dev.
Preparing to unpack .../142-liblablgtk2-gnome-ocaml-dev_2.18.8+dfsg-1_armhf.deb ...
Unpacking liblablgtk2-gnome-ocaml-dev (2.18.8+dfsg-1) ...
Selecting previously unselected package liblablgtksourceview2-ocaml.
Preparing to unpack .../143-liblablgtksourceview2-ocaml_2.18.8+dfsg-1_armhf.deb ...
Unpacking liblablgtksourceview2-ocaml (2.18.8+dfsg-1) ...
Selecting previously unselected package liblablgtksourceview2-ocaml-dev.
Preparing to unpack .../144-liblablgtksourceview2-ocaml-dev_2.18.8+dfsg-1_armhf.deb ...
Unpacking liblablgtksourceview2-ocaml-dev (2.18.8+dfsg-1) ...
Selecting previously unselected package libocamlgraph-ocaml-dev.
Preparing to unpack .../145-libocamlgraph-ocaml-dev_1.8.8-1.1_armhf.deb ...
Unpacking libocamlgraph-ocaml-dev (1.8.8-1.1) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../146-libzarith-ocaml_1.8-1_armhf.deb ...
Unpacking libzarith-ocaml (1.8-1) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../147-libzarith-ocaml-dev_1.8-1_armhf.deb ...
Unpacking libzarith-ocaml-dev (1.8-1) ...
Selecting previously unselected package libzip-ocaml.
Preparing to unpack .../148-libzip-ocaml_1.08-1_armhf.deb ...
Unpacking libzip-ocaml (1.08-1) ...
Selecting previously unselected package libzip-ocaml-dev.
Preparing to unpack .../149-libzip-ocaml-dev_1.08-1_armhf.deb ...
Unpacking libzip-ocaml-dev (1.08-1) ...
Selecting previously unselected package menhir.
Preparing to unpack .../150-menhir_20190626-6_armhf.deb ...
Unpacking menhir (20190626-6) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../151-ocaml-findlib_1.8.1-1_armhf.deb ...
Unpacking ocaml-findlib (1.8.1-1) ...
Selecting previously unselected package ocplib-simplex-ocaml-dev.
Preparing to unpack .../152-ocplib-simplex-ocaml-dev_0.4-1+b1_armhf.deb ...
Unpacking ocplib-simplex-ocaml-dev (0.4-1+b1) ...
Selecting previously unselected package sbuild-build-depends-alt-ergo-dummy.
Preparing to unpack .../153-sbuild-build-depends-alt-ergo-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ...
Setting up libpcrecpp0v5:armhf (2:8.39-12) ...
Setting up libpipeline1:armhf (1.5.1-2) ...
Setting up libgraphite2-3:armhf (1.3.13-8) ...
Setting up libpixman-1-0:armhf (0.36.0-1) ...
Setting up libxau6:armhf (1:1.0.8-1+b2) ...
Setting up libkeyutils1:armhf (1.6-6) ...
Setting up libpixman-1-dev:armhf (0.36.0-1) ...
Setting up mime-support (3.63) ...
Setting up libpcre16-3:armhf (2:8.39-12) ...
Setting up hicolor-icon-theme (0.17-2) ...
Setting up libdatrie1:armhf (0.2.12-3) ...
Setting up libmagic-mgc (1:5.37-5) ...
Setting up libarchive-zip-perl (1.64-1) ...
Setting up libglib2.0-0:armhf (2.60.6-2) ...
No schema files found: doing nothing.
Setting up libaspell15:armhf (0.60.7~20110707-6) ...
Setting up libreadline8:armhf (8.0-3) ...
Setting up libgdk-pixbuf2.0-common (2.38.1+dfsg-1) ...
Setting up x11-common (1:7.7+19) ...
update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults
invoke-rc.d: could not determine current runlevel
invoke-rc.d: policy-rc.d denied execution of start.
Setting up dh-ocaml (1.1.0) ...
Setting up libmagic1:armhf (1:5.37-5) ...
Setting up libsepol1-dev:armhf (2.9-2) ...
Setting up gettext-base (0.19.8.1-9) ...
Setting up liblzo2-2:armhf (2.10-0.1) ...
Setting up file (1:5.37-5) ...
Setting up libffi-dev:armhf (3.2.1-9) ...
Setting up libpthread-stubs0-dev:armhf (0.4-1) ...
Setting up libjbig0:armhf (2.1-3.1+b2) ...
Setting up libpcre2-16-0:armhf (10.32-5) ...
Setting up libicu63:armhf (63.2-2) ...
Setting up libkrb5support0:armhf (1.17-6+b1) ...
Setting up libpython2.7-stdlib:armhf (2.7.16-3) ...
Setting up xtrans-dev (1.3.5-1) ...
Setting up libgraphite2-dev:armhf (1.3.13-8) ...
Setting up autotools-dev (20180224.1) ...
Setting up libpcre2-32-0:armhf (10.32-5) ...
Setting up libglib2.0-data (2.60.6-2) ...
Setting up libgmpxx4ldbl:armhf (2:6.1.2+dfsg-4) ...
Setting up libexpat1-dev:armhf (2.2.7-1) ...
Setting up libjpeg62-turbo:armhf (1:1.5.2-2+b1) ...
Setting up libpcre2-posix0:armhf (10.32-5) ...
Setting up emacsen-common (3.0.4) ...
Setting up libx11-data (2:1.6.7-1) ...
Setting up uuid-dev:armhf (2.34-0.1) ...
Setting up libavahi-common-data:armhf (0.7-4+b2) ...
Setting up libgtksourceview2.0-common (2.10.5-3) ...
Setting up libncurses6:armhf (6.1+20190803-1) ...
Setting up libdbus-1-3:armhf (1.12.16-1+b1) ...
Setting up libsigsegv2:armhf (2.12-2) ...
Setting up libfribidi0:armhf (1.0.5-3.1) ...
Setting up libpng16-16:armhf (1.6.37-1) ...
Setting up libpcre32-3:armhf (2:8.39-12) ...
Setting up autopoint (0.19.8.1-9) ...
Setting up libwebp6:armhf (0.6.1-2) ...
Setting up icu-devtools (63.2-2) ...
Setting up pkg-config (0.29-6) ...
Setting up fonts-dejavu-core (2.37-1) ...
Setting up libk5crypto3:armhf (1.17-6+b1) ...
Setting up zlib1g-dev:armhf (1:1.2.11.dfsg-1) ...
Setting up libatk1.0-data (2.33.3+really2.32.0-4) ...
Setting up sensible-utils (0.0.12) ...
Setting up libuchardet0:armhf (0.0.6-3) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up libthai-data (0.1.28-3) ...
Setting up libgirepository-1.0-1:armhf (1.58.3-2) ...
Setting up xorg-sgml-doctools (1:1.11-1) ...
Setting up libgtk2.0-common (2.24.32-3) ...
Setting up libatk1.0-0:armhf (2.33.3+really2.32.0-4) ...
Setting up libkrb5-3:armhf (1.17-6+b1) ...
Setting up libtiff5:armhf (4.0.10+git190818-1) ...
Setting up ocaml-base-nox (4.05.0-12+rpi1) ...
Setting up libmpdec2:armhf (2.4.2-2) ...
Setting up libhunspell-1.7-0:armhf (1.7.0-2+b1) ...
Setting up libbsd0:armhf (0.10.0-1) ...
Setting up libtinfo5:armhf (6.1+20190803-1) ...
Setting up libelf1:armhf (0.176-1.1) ...
Setting up libicu-dev:armhf (63.2-2) ...
Setting up libxml2:armhf (2.9.4+dfsg1-7+b2) ...
Setting up ocplib-simplex-ocaml-dev (0.4-1+b1) ...
Setting up menhir (20190626-6) ...
Setting up x11proto-dev (2018.4-4) ...
Setting up libfile-stripnondeterminism-perl (1.5.0-1) ...
Setting up libblkid-dev:armhf (2.34-0.1) ...
Setting up libice6:armhf (2:1.0.9-2) ...
Setting up libxdmcp6:armhf (1:1.1.2-3) ...
Setting up libpython3.7-stdlib:armhf (3.7.4-3) ...
Setting up libncurses-dev:armhf (6.1+20190803-1) ...
Setting up libxcb1:armhf (1.13.1-2) ...
Setting up libgmp-dev:armhf (2:6.1.2+dfsg-4) ...
Setting up libxau-dev:armhf (1:1.0.8-1+b2) ...
Setting up libpcre2-dev:armhf (10.32-5) ...
Setting up python2.7 (2.7.16-3) ...
Setting up libice-dev:armhf (2:1.0.9-2) ...
Setting up dictionaries-common (1.28.1) ...
Setting up libtool (2.4.6-9) ...
Setting up libpython2-stdlib:armhf (2.7.16-1) ...
Setting up libxcb-render0:armhf (1.13.1-2) ...
Setting up libselinux1-dev:armhf (2.9-2) ...
Setting up libpcre3-dev:armhf (2:8.39-12) ...
Setting up x11proto-randr-dev (2018.4-4) ...
Setting up libfribidi-dev:armhf (1.0.5-3.1) ...
Setting up libpng-dev:armhf (1.6.37-1) ...
Setting up libavahi-common3:armhf (0.7-4+b2) ...
Setting up libfindlib-ocaml (1.8.1-1) ...
Setting up libglib2.0-bin (2.60.6-2) ...
Setting up m4 (1.4.18-2) ...
Setting up libxcb-shm0:armhf (1.13.1-2) ...
Setting up libzarith-ocaml (1.8-1) ...
Setting up x11proto-xinerama-dev (2018.4-4) ...
Setting up python2 (2.7.16-1) ...
Setting up libthai0:armhf (0.1.28-3) ...
Setting up libpython-stdlib:armhf (2.7.16-1) ...
Setting up libxdmcp-dev:armhf (1:1.1.2-3) ...
Setting up libxml2-dev:armhf (2.9.4+dfsg1-7+b2) ...
Setting up x11proto-damage-dev (1:2018.4-4) ...
Setting up x11proto-composite-dev (1:2018.4-4) ...
Setting up libfreetype6:armhf (2.9.1-4) ...
Setting up x11proto-core-dev (2018.4-4) ...
Setting up libzip-ocaml (1.08-1) ...
Setting up shared-mime-info (1.10-1) ...
Setting up bsdmainutils (11.1.2) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up ocaml-findlib (1.8.1-1) ...
Setting up libgssapi-krb5-2:armhf (1.17-6+b1) ...
Setting up x11proto-input-dev (2018.4-4) ...
Setting up libcroco3:armhf (0.6.13-1) ...
Setting up ucf (3.0038+nmu1) ...
Setting up gir1.2-glib-2.0:armhf (1.58.3-2) ...
Setting up aspell (0.60.7~20110707-6) ...
Setting up autoconf (2.69-11) ...
Setting up x11proto-xext-dev (2018.4-4) ...
Setting up dwz (0.13-1) ...
Setting up groff-base (1.22.4-3) ...
Setting up libgmp3-dev:armhf (2:6.1.2+dfsg-4) ...
Setting up libncurses5-dev:armhf (6.1+20190803-1) ...
Setting up libx11-6:armhf (2:1.6.7-1) ...
Setting up libharfbuzz0b:armhf (2.6.1-2) ...
Setting up libxml2-utils (2.9.4+dfsg1-7+b2) ...
Setting up x11proto-fixes-dev (1:2018.4-4) ...
Setting up libxcomposite1:armhf (1:0.4.4-2) ...
Setting up libsm6:armhf (2:1.2.3-1) ...
Setting up python (2.7.16-1) ...
Setting up libavahi-client3:armhf (0.7-4+b2) ...
Setting up libmount-dev:armhf (2.34-0.1) ...
Setting up libpython3-stdlib:armhf (3.7.3-1) ...
Setting up automake (1:1.16.1-4) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up python3.7 (3.7.4-3) ...
Setting up gettext (0.19.8.1-9) ...
Setting up libharfbuzz-icu0:armhf (2.6.1-2) ...
Setting up libxcb1-dev:armhf (1.13.1-2) ...
Setting up libxrender1:armhf (1:0.9.10-1) ...
Setting up gir1.2-atk-1.0:armhf (2.33.3+really2.32.0-4) ...
Setting up libsm-dev:armhf (2:1.2.3-1) ...
Setting up fontconfig-config (2.13.1-2) ...
Setting up aspell-en (2018.04.16-0-1) ...
Setting up libx11-dev:armhf (2:1.6.7-1) ...
Setting up libenchant1c2a:armhf (1.6.0-11.1+b2) ...
Setting up libxext6:armhf (2:1.3.3-1+b2) ...
Setting up python3 (3.7.3-1) ...
Setting up libharfbuzz-gobject0:armhf (2.6.1-2) ...
Setting up man-db (2.8.7-3) ...
Not building database; man-db/auto-update is not 'true'.
Setting up gir1.2-harfbuzz-0.0:armhf (2.6.1-2) ...
Setting up libfreetype6-dev:armhf (2.9.1-4) ...
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up libxcb-shm0-dev:armhf (1.13.1-2) ...
Setting up libxfixes3:armhf (1:5.0.3-1) ...
Setting up libgdk-pixbuf2.0-0:armhf (2.38.1+dfsg-1) ...
Setting up libxinerama1:armhf (2:1.1.4-2) ...
Setting up libxrandr2:armhf (2:1.5.1-1) ...
Setting up libxcb-render0-dev:armhf (1.13.1-2) ...
Setting up libxext-dev:armhf (2:1.3.3-1+b2) ...
Setting up libcups2:armhf (2.2.12-2+rpi1) ...
Setting up libgdk-pixbuf2.0-bin (2.38.1+dfsg-1) ...
Setting up libfontconfig1:armhf (2.13.1-2) ...
Setting up python3-lib2to3 (3.7.4-3) ...
Setting up libxrender-dev:armhf (1:0.9.10-1) ...
Setting up python3-distutils (3.7.4-3) ...
Setting up libglib2.0-dev-bin (2.60.6-2) ...
Setting up gtk-update-icon-cache (3.24.10-1) ...
Setting up fontconfig (2.13.1-2) ...
Regenerating fonts cache... done.
Setting up libxft2:armhf (2.3.2-2) ...
Setting up libfontconfig1-dev:armhf (2.13.1-2) ...
Setting up libxdamage1:armhf (1:1.1.5-1) ...
Setting up libxi6:armhf (2:1.7.9-1) ...
Setting up gir1.2-gdkpixbuf-2.0:armhf (2.38.1+dfsg-1) ...
Setting up po-debconf (1.0.21) ...
Setting up libxcursor1:armhf (1:1.2.0-2) ...
Setting up libpango-1.0-0:armhf (1.42.4-7) ...
Setting up libcairo2:armhf (1.16.0-4) ...
Setting up libxfixes-dev:armhf (1:5.0.3-1) ...
Setting up libxrandr-dev:armhf (2:1.5.1-1) ...
Setting up libglib2.0-dev:armhf (2.60.6-2) ...
Setting up libenchant-dev (1.6.0-11.1+b2) ...
Setting up libxinerama-dev:armhf (2:1.1.4-2) ...
Setting up libcairo-gobject2:armhf (1.16.0-4) ...
Setting up libpangoft2-1.0-0:armhf (1.42.4-7) ...
Setting up libxi-dev:armhf (2:1.7.9-1) ...
Setting up libatk1.0-dev:armhf (2.33.3+really2.32.0-4) ...
Setting up libpangocairo-1.0-0:armhf (1.42.4-7) ...
Setting up libxft-dev:armhf (2.3.2-2) ...
Setting up libxdamage-dev:armhf (1:1.1.5-1) ...
Setting up libcairo-script-interpreter2:armhf (1.16.0-4) ...
Setting up libharfbuzz-dev:armhf (2.6.1-2) ...
Setting up gir1.2-freedesktop:armhf (1.58.3-2) ...
Setting up libpangoxft-1.0-0:armhf (1.42.4-7) ...
Setting up libxcomposite-dev:armhf (1:0.4.4-2) ...
Setting up libxcursor-dev:armhf (1:1.2.0-2) ...
Setting up pango1.0-tools (1.42.4-7) ...
Setting up libgdk-pixbuf2.0-dev:armhf (2.38.1+dfsg-1) ...
Setting up librsvg2-2:armhf (2.44.14-1) ...
Setting up gir1.2-pango-1.0:armhf (1.42.4-7) ...
Setting up librsvg2-common:armhf (2.44.14-1) ...
Setting up libcairo2-dev:armhf (1.16.0-4) ...
Setting up gir1.2-rsvg-2.0:armhf (2.44.14-1) ...
Setting up adwaita-icon-theme (3.30.1-1) ...
update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide /usr/share/icons/default/index.theme (x-cursor-theme) in auto mode
Setting up libpango1.0-dev:armhf (1.42.4-7) ...
Setting up librsvg2-dev:armhf (2.44.14-1) ...
Setting up libgtk2.0-0:armhf (2.24.32-3) ...
Setting up gir1.2-gtk-2.0:armhf (2.24.32-3) ...
Setting up libgtksourceview2.0-0:armhf (2.10.5-3) ...
Setting up libgtk2.0-dev:armhf (2.24.32-3) ...
Setting up libgtkspell0:armhf (2.0.16-1.2) ...
Setting up libglade2-0:armhf (1:2.6.4-2) ...
Setting up libgtksourceview2.0-dev:armhf (2.10.5-3) ...
Setting up libglade2-dev:armhf (1:2.6.4-2) ...
Setting up liblablgtk2-ocaml (2.18.8+dfsg-1) ...
Setting up libgtkspell-dev (2.0.16-1.2) ...
Setting up liblablgtk2-gnome-ocaml (2.18.8+dfsg-1) ...
Setting up liblablgtksourceview2-ocaml (2.18.8+dfsg-1) ...
Setting up ocaml-compiler-libs (4.05.0-12+rpi1) ...
Setting up dh-autoreconf (19) ...
Setting up ocaml-interp (4.05.0-12+rpi1) ...
Setting up dh-strip-nondeterminism (1.5.0-1) ...
Setting up ocaml-nox (4.05.0-12+rpi1) ...
Setting up libzarith-ocaml-dev (1.8-1) ...
Setting up liblablgtk2-ocaml-dev (2.18.8+dfsg-1) ...
Setting up libocamlgraph-ocaml-dev (1.8.8-1.1) ...
Setting up liblablgtksourceview2-ocaml-dev (2.18.8+dfsg-1) ...
Setting up debhelper (12.5.4) ...
Setting up liblablgtk2-gnome-ocaml-dev (2.18.8+dfsg-1) ...
Setting up libzip-ocaml-dev (1.08-1) ...
Setting up sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.28-10+rpi1) ...
Processing triggers for dictionaries-common (1.28.1) ...
aspell-autobuildhash: processing: en [en-common].
aspell-autobuildhash: processing: en [en-variant_0].
aspell-autobuildhash: processing: en [en-variant_1].
aspell-autobuildhash: processing: en [en-variant_2].
aspell-autobuildhash: processing: en [en-w_accents-only].
aspell-autobuildhash: processing: en [en-wo_accents-only].
aspell-autobuildhash: processing: en [en_AU-variant_0].
aspell-autobuildhash: processing: en [en_AU-variant_1].
aspell-autobuildhash: processing: en [en_AU-w_accents-only].
aspell-autobuildhash: processing: en [en_AU-wo_accents-only].
aspell-autobuildhash: processing: en [en_CA-variant_0].
aspell-autobuildhash: processing: en [en_CA-variant_1].
aspell-autobuildhash: processing: en [en_CA-w_accents-only].
aspell-autobuildhash: processing: en [en_CA-wo_accents-only].
aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only].
aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only].
aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only].
aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only].
aspell-autobuildhash: processing: en [en_GB-variant_0].
aspell-autobuildhash: processing: en [en_GB-variant_1].
aspell-autobuildhash: processing: en [en_US-w_accents-only].
aspell-autobuildhash: processing: en [en_US-wo_accents-only].
Processing triggers for libgdk-pixbuf2.0-0:armhf (2.38.1+dfsg-1) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.15.0-58-generic armhf (armv8l)
Toolchain package versions: binutils_2.31.1-16+rpi1 dpkg-dev_1.19.7 g++-8_8.3.0-6+rpi1 gcc-8_8.3.0-6+rpi1 libc6-dev_2.28-10+rpi1 libstdc++-8-dev_8.3.0-6+rpi1 libstdc++6_8.3.0-6+rpi1 linux-libc-dev_4.18.20-2+rpi1
Package versions: adduser_3.118 adwaita-icon-theme_3.30.1-1 apt_1.8.2 aspell_0.60.7~20110707-6 aspell-en_2018.04.16-0-1 autoconf_2.69-11 automake_1:1.16.1-4 autopoint_0.19.8.1-9 autotools-dev_20180224.1 base-files_10.3+rpi1 base-passwd_3.5.46 bash_5.0-4 binutils_2.31.1-16+rpi1 binutils-arm-linux-gnueabihf_2.31.1-16+rpi1 binutils-common_2.31.1-16+rpi1 bsdmainutils_11.1.2 bsdutils_1:2.33.1-0.1 build-essential_12.6 bzip2_1.0.6-9.1 coreutils_8.30-3 cpp_4:8.3.0-1+rpi2 cpp-8_8.3.0-6+rpi1 dash_0.5.10.2-5 debconf_1.5.71 debhelper_12.5.4 debianutils_4.8.6.1 dh-autoreconf_19 dh-ocaml_1.1.0 dh-strip-nondeterminism_1.5.0-1 dictionaries-common_1.28.1 diffutils_1:3.7-3 dirmngr_2.2.12-1+rpi1 dpkg_1.19.7 dpkg-dev_1.19.7 dwz_0.13-1 e2fsprogs_1.44.5-1 emacsen-common_3.0.4 fakeroot_1.23-1 fdisk_2.33.1-0.1 file_1:5.37-5 findutils_4.6.0+git+20190209-2 fontconfig_2.13.1-2 fontconfig-config_2.13.1-2 fonts-dejavu-core_2.37-1 g++_4:8.3.0-1+rpi2 g++-8_8.3.0-6+rpi1 gcc_4:8.3.0-1+rpi2 gcc-4.9-base_4.9.4-2+rpi1+b19 gcc-5-base_5.5.0-8 gcc-6-base_6.5.0-1+rpi1+b1 gcc-7-base_7.3.0-19 gcc-8_8.3.0-6+rpi1 gcc-8-base_8.3.0-6+rpi1 gettext_0.19.8.1-9 gettext-base_0.19.8.1-9 gir1.2-atk-1.0_2.33.3+really2.32.0-4 gir1.2-freedesktop_1.58.3-2 gir1.2-gdkpixbuf-2.0_2.38.1+dfsg-1 gir1.2-glib-2.0_1.58.3-2 gir1.2-gtk-2.0_2.24.32-3 gir1.2-harfbuzz-0.0_2.6.1-2 gir1.2-pango-1.0_1.42.4-7 gir1.2-rsvg-2.0_2.44.14-1 gnupg_2.2.12-1+rpi1 gnupg-l10n_2.2.12-1+rpi1 gnupg-utils_2.2.12-1+rpi1 gpg_2.2.12-1+rpi1 gpg-agent_2.2.12-1+rpi1 gpg-wks-client_2.2.12-1+rpi1 gpg-wks-server_2.2.12-1+rpi1 gpgconf_2.2.12-1+rpi1 gpgsm_2.2.12-1+rpi1 gpgv_2.2.12-1+rpi1 grep_3.3-1 groff-base_1.22.4-3 gtk-update-icon-cache_3.24.10-1 gzip_1.9-3 hicolor-icon-theme_0.17-2 hostname_3.21 icu-devtools_63.2-2 init-system-helpers_1.56+nmu1 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-4 libapt-pkg5.0_1.8.2 libarchive-zip-perl_1.64-1 libasan5_8.3.0-6+rpi1 libaspell15_0.60.7~20110707-6 libassuan0_2.5.2-1 libatk1.0-0_2.33.3+really2.32.0-4 libatk1.0-data_2.33.3+really2.32.0-4 libatk1.0-dev_2.33.3+really2.32.0-4 libatomic1_8.3.0-6+rpi1 libattr1_1:2.4.48-4 libaudit-common_1:2.8.4-3 libaudit1_1:2.8.4-3 libavahi-client3_0.7-4+b2 libavahi-common-data_0.7-4+b2 libavahi-common3_0.7-4+b2 libbinutils_2.31.1-16+rpi1 libblkid-dev_2.34-0.1 libblkid1_2.34-0.1 libbsd0_0.10.0-1 libbz2-1.0_1.0.6-9.1 libc-bin_2.28-10+rpi1 libc-dev-bin_2.28-10+rpi1 libc6_2.28-10+rpi1 libc6-dev_2.28-10+rpi1 libcairo-gobject2_1.16.0-4 libcairo-script-interpreter2_1.16.0-4 libcairo2_1.16.0-4 libcairo2-dev_1.16.0-4 libcap-ng0_0.7.9-2 libcc1-0_8.3.0-6+rpi1 libcom-err2_1.44.5-1 libcroco3_0.6.13-1 libcups2_2.2.12-2+rpi1 libdatrie1_0.2.12-3 libdb5.3_5.3.28+dfsg1-0.5 libdbus-1-3_1.12.16-1+b1 libdebconfclient0_0.249 libdpkg-perl_1.19.7 libelf1_0.176-1.1 libenchant-dev_1.6.0-11.1+b2 libenchant1c2a_1.6.0-11.1+b2 libexpat1_2.2.7-1 libexpat1-dev_2.2.7-1 libext2fs2_1.44.5-1 libfakeroot_1.23-1 libfdisk1_2.33.1-0.1 libffi-dev_3.2.1-9 libffi6_3.2.1-9 libfile-stripnondeterminism-perl_1.5.0-1 libfindlib-ocaml_1.8.1-1 libfontconfig1_2.13.1-2 libfontconfig1-dev_2.13.1-2 libfreetype6_2.9.1-4 libfreetype6-dev_2.9.1-4 libfribidi-dev_1.0.5-3.1 libfribidi0_1.0.5-3.1 libgcc-8-dev_8.3.0-6+rpi1 libgcc1_1:8.3.0-6+rpi1 libgcrypt20_1.8.4-5 libgdbm-compat4_1.18.1-4 libgdbm6_1.18.1-4 libgdk-pixbuf2.0-0_2.38.1+dfsg-1 libgdk-pixbuf2.0-bin_2.38.1+dfsg-1 libgdk-pixbuf2.0-common_2.38.1+dfsg-1 libgdk-pixbuf2.0-dev_2.38.1+dfsg-1 libgirepository-1.0-1_1.58.3-2 libglade2-0_1:2.6.4-2 libglade2-dev_1:2.6.4-2 libglib2.0-0_2.60.6-2 libglib2.0-bin_2.60.6-2 libglib2.0-data_2.60.6-2 libglib2.0-dev_2.60.6-2 libglib2.0-dev-bin_2.60.6-2 libgmp-dev_2:6.1.2+dfsg-4 libgmp10_2:6.1.2+dfsg-4 libgmp3-dev_2:6.1.2+dfsg-4 libgmpxx4ldbl_2:6.1.2+dfsg-4 libgnutls30_3.6.9-4 libgomp1_8.3.0-6+rpi1 libgpg-error0_1.35-1 libgraphite2-3_1.3.13-8 libgraphite2-dev_1.3.13-8 libgssapi-krb5-2_1.17-6+b1 libgtk2.0-0_2.24.32-3 libgtk2.0-common_2.24.32-3 libgtk2.0-dev_2.24.32-3 libgtksourceview2.0-0_2.10.5-3 libgtksourceview2.0-common_2.10.5-3 libgtksourceview2.0-dev_2.10.5-3 libgtkspell-dev_2.0.16-1.2 libgtkspell0_2.0.16-1.2 libharfbuzz-dev_2.6.1-2 libharfbuzz-gobject0_2.6.1-2 libharfbuzz-icu0_2.6.1-2 libharfbuzz0b_2.6.1-2 libhogweed4_3.4.1-1 libhunspell-1.7-0_1.7.0-2+b1 libice-dev_2:1.0.9-2 libice6_2:1.0.9-2 libicu-dev_63.2-2 libicu63_63.2-2 libidn2-0_2.0.5-1 libisl19_0.20-2 libjbig0_2.1-3.1+b2 libjpeg62-turbo_1:1.5.2-2+b1 libk5crypto3_1.17-6+b1 libkeyutils1_1.6-6 libkrb5-3_1.17-6+b1 libkrb5support0_1.17-6+b1 libksba8_1.3.5-2 liblablgtk2-gnome-ocaml_2.18.8+dfsg-1 liblablgtk2-gnome-ocaml-dev_2.18.8+dfsg-1 liblablgtk2-ocaml_2.18.8+dfsg-1 liblablgtk2-ocaml-dev_2.18.8+dfsg-1 liblablgtksourceview2-ocaml_2.18.8+dfsg-1 liblablgtksourceview2-ocaml-dev_2.18.8+dfsg-1 libldap-2.4-2_2.4.47+dfsg-3+rpi1 libldap-common_2.4.47+dfsg-3+rpi1 liblocale-gettext-perl_1.07-3+b3 liblz4-1_1.8.3-1 liblzma5_5.2.4-1 liblzo2-2_2.10-0.1 libmagic-mgc_1:5.37-5 libmagic1_1:5.37-5 libmount-dev_2.34-0.1 libmount1_2.34-0.1 libmpc3_1.1.0-1 libmpdec2_2.4.2-2 libmpfr6_4.0.2-1 libncurses-dev_6.1+20190803-1 libncurses5-dev_6.1+20190803-1 libncurses6_6.1+20190803-1 libncursesw6_6.1+20190803-1 libnettle6_3.4.1-1 libnpth0_1.6-1 libocamlgraph-ocaml-dev_1.8.8-1.1 libp11-kit0_0.23.15-2 libpam-modules_1.3.1-5 libpam-modules-bin_1.3.1-5 libpam-runtime_1.3.1-5 libpam0g_1.3.1-5 libpango-1.0-0_1.42.4-7 libpango1.0-dev_1.42.4-7 libpangocairo-1.0-0_1.42.4-7 libpangoft2-1.0-0_1.42.4-7 libpangoxft-1.0-0_1.42.4-7 libpcre16-3_2:8.39-12 libpcre2-16-0_10.32-5 libpcre2-32-0_10.32-5 libpcre2-8-0_10.32-5 libpcre2-dev_10.32-5 libpcre2-posix0_10.32-5 libpcre3_2:8.39-12 libpcre3-dev_2:8.39-12 libpcre32-3_2:8.39-12 libpcrecpp0v5_2:8.39-12 libperl5.28_5.28.1-6 libpipeline1_1.5.1-2 libpixman-1-0_0.36.0-1 libpixman-1-dev_0.36.0-1 libpng-dev_1.6.37-1 libpng16-16_1.6.37-1 libpthread-stubs0-dev_0.4-1 libpython-stdlib_2.7.16-1 libpython2-stdlib_2.7.16-1 libpython2.7-minimal_2.7.16-3 libpython2.7-stdlib_2.7.16-3 libpython3-stdlib_3.7.3-1 libpython3.7-minimal_3.7.4-3 libpython3.7-stdlib_3.7.4-3 libreadline7_7.0-5 libreadline8_8.0-3 librsvg2-2_2.44.14-1 librsvg2-common_2.44.14-1 librsvg2-dev_2.44.14-1 libsasl2-2_2.1.27+dfsg-1+b1 libsasl2-modules-db_2.1.27+dfsg-1+b1 libseccomp2_2.3.3-4 libselinux1_2.9-2 libselinux1-dev_2.9-2 libsemanage-common_2.8-2 libsemanage1_2.8-2 libsepol1_2.9-2 libsepol1-dev_2.9-2 libsigsegv2_2.12-2 libsm-dev_2:1.2.3-1 libsm6_2:1.2.3-1 libsmartcols1_2.33.1-0.1 libsqlite3-0_3.27.2-3 libss2_1.44.5-1 libssl1.1_1.1.1c-1 libstdc++-8-dev_8.3.0-6+rpi1 libstdc++6_8.3.0-6+rpi1 libsub-override-perl_0.09-2 libsystemd0_241-5+rpi1 libtasn1-6_4.14-2 libtext-charwidth-perl_0.04-7.1+b1 libtext-iconv-perl_1.7-5+b10 libtext-wrapi18n-perl_0.06-7.1 libthai-data_0.1.28-3 libthai0_0.1.28-3 libtiff5_4.0.10+git190818-1 libtinfo5_6.1+20190803-1 libtinfo6_6.1+20190803-1 libtool_2.4.6-9 libubsan1_8.3.0-6+rpi1 libuchardet0_0.0.6-3 libudev1_241-5+rpi1 libunistring2_0.9.10-1 libuuid1_2.34-0.1 libwebp6_0.6.1-2 libx11-6_2:1.6.7-1 libx11-data_2:1.6.7-1 libx11-dev_2:1.6.7-1 libxau-dev_1:1.0.8-1+b2 libxau6_1:1.0.8-1+b2 libxcb-render0_1.13.1-2 libxcb-render0-dev_1.13.1-2 libxcb-shm0_1.13.1-2 libxcb-shm0-dev_1.13.1-2 libxcb1_1.13.1-2 libxcb1-dev_1.13.1-2 libxcomposite-dev_1:0.4.4-2 libxcomposite1_1:0.4.4-2 libxcursor-dev_1:1.2.0-2 libxcursor1_1:1.2.0-2 libxdamage-dev_1:1.1.5-1 libxdamage1_1:1.1.5-1 libxdmcp-dev_1:1.1.2-3 libxdmcp6_1:1.1.2-3 libxext-dev_2:1.3.3-1+b2 libxext6_2:1.3.3-1+b2 libxfixes-dev_1:5.0.3-1 libxfixes3_1:5.0.3-1 libxft-dev_2.3.2-2 libxft2_2.3.2-2 libxi-dev_2:1.7.9-1 libxi6_2:1.7.9-1 libxinerama-dev_2:1.1.4-2 libxinerama1_2:1.1.4-2 libxml2_2.9.4+dfsg1-7+b2 libxml2-dev_2.9.4+dfsg1-7+b2 libxml2-utils_2.9.4+dfsg1-7+b2 libxrandr-dev_2:1.5.1-1 libxrandr2_2:1.5.1-1 libxrender-dev_1:0.9.10-1 libxrender1_1:0.9.10-1 libzarith-ocaml_1.8-1 libzarith-ocaml-dev_1.8-1 libzip-ocaml_1.08-1 libzip-ocaml-dev_1.08-1 libzstd1_1.3.8+dfsg-3+rpi1 linux-libc-dev_4.18.20-2+rpi1 login_1:4.5-1.1 lsb-base_10.2019051400+rpi1 m4_1.4.18-2 make_4.2.1-1.2 man-db_2.8.7-3 mawk_1.3.3-17 menhir_20190626-6 mime-support_3.63 mount_2.33.1-0.1 multiarch-support_2.28-10+rpi1 ncurses-base_6.1+20181013-2 ncurses-bin_6.1+20181013-2 netbase_5.6 ocaml-base-nox_4.05.0-12+rpi1 ocaml-compiler-libs_4.05.0-12+rpi1 ocaml-findlib_1.8.1-1 ocaml-interp_4.05.0-12+rpi1 ocaml-nox_4.05.0-12+rpi1 ocplib-simplex-ocaml-dev_0.4-1+b1 pango1.0-tools_1.42.4-7 passwd_1:4.5-1.1 patch_2.7.6-3 perl_5.28.1-6 perl-base_5.28.1-6 perl-modules-5.28_5.28.1-6 pinentry-curses_1.1.0-2 pkg-config_0.29-6 po-debconf_1.0.21 python_2.7.16-1 python-minimal_2.7.16-1 python2_2.7.16-1 python2-minimal_2.7.16-1 python2.7_2.7.16-3 python2.7-minimal_2.7.16-3 python3_3.7.3-1 python3-distutils_3.7.4-3 python3-lib2to3_3.7.4-3 python3-minimal_3.7.3-1 python3.7_3.7.4-3 python3.7-minimal_3.7.4-3 raspbian-archive-keyring_20120528.2 readline-common_7.0-5 sbuild-build-depends-alt-ergo-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12 shared-mime-info_1.10-1 sysvinit-utils_2.93-8 tar_1.30+dfsg-6 tzdata_2019a-1 ucf_3.0038+nmu1 util-linux_2.33.1-0.1 uuid-dev_2.34-0.1 x11-common_1:7.7+19 x11proto-composite-dev_1:2018.4-4 x11proto-core-dev_2018.4-4 x11proto-damage-dev_1:2018.4-4 x11proto-dev_2018.4-4 x11proto-fixes-dev_1:2018.4-4 x11proto-input-dev_2018.4-4 x11proto-randr-dev_2018.4-4 x11proto-xext-dev_2018.4-4 x11proto-xinerama-dev_2018.4-4 xorg-sgml-doctools_1:1.11-1 xtrans-dev_1.3.5-1 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-1 zlib1g-dev_1:1.2.11.dfsg-1
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Sun Sep 1 06:20:42 2019 UTC
gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081
gpgv: issuer "glondu@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./alt-ergo_2.0.0-5.dsc
dpkg-source: info: extracting alt-ergo in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking alt-ergo_2.0.0.orig.tar.gz
dpkg-source: info: unpacking alt-ergo_2.0.0-5.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying 0001-dont-activate-debug-flag
dpkg-source: info: applying 0002-Fix-compilation-with-camlzip-1.08.patch
Check disk space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=bullseye-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bullseye-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bullseye-staging-armhf-sbuild-bbcf2a4b-8bab-4302-b7b0-ef2de34e5013
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package alt-ergo
dpkg-buildpackage: info: source version 2.0.0-5
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
fakeroot debian/rules clean
dh clean --with ocaml
debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
if [ -f config.status ]; then \
/usr/bin/make dist-clean; \
fi
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_ocamlclean
dh_clean
debian/rules build-arch
dh build-arch --with ocaml
dh_update_autotools_config -a
dh_autoreconf -a
aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in'
dh_ocamlinit -a
dh_auto_configure -a
./configure --build=arm-linux-gnueabihf --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libdir=\${prefix}/lib/arm-linux-gnueabihf --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking
configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking
checking for ocp-ocamlc... no
checking for ocamlc... ocamlc
ocaml version is 4.05.0
ocaml library path is /usr/lib/ocaml
checking for ocamlfind... yes
ocamlfind found zarith in -I /usr/lib/ocaml/zarith
ocamlfind found zip in -I /usr/lib/ocaml/zip
ocamlfind found ocplib-simplex in -I /usr/lib/ocaml/ocplib-simplex
checking for ocp-ocamlopt... no
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocp-ocamlc.opt... no
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocp-ocamlopt.opt... no
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for menhir... menhir
ocamlfind found lablgtk2.sourceview2 in -I /usr/lib/ocaml/lablgtk2
checking for ocamlweb... true
checking platform... configure: creating ./config.status
config.status: creating Makefile.configurable
config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make all gui
make[2]: Entering directory '/<<PKGBUILDDIR>>'
menhir -v parsers/why/why_parser.mly
ocamllex.opt parsers/why/why_lexer.mll > /dev/null
ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/*.ml* lib/structures/*.ml* lib/reasoners/*.ml* lib/frontend/*.ml* tools/text/*.ml* \
tools/gui/*.ml* parsers/why/*.ml* plugins/common/*ml* plugins/satML/*ml* plugins/fm-simplex/*ml* > .depend
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/config.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/version.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/version.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/emap.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/emap.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myUnix.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/myUnix.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myDynlink.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/myDynlink.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myZip.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/myZip.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/util.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/util.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/lists.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/lists.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numbersInterface.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numsNumbers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/numsNumbers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/zarithNumbers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/zarithNumbers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numbers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/numbers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/options.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/options.ml
File "/<<PKGBUILDDIR>>/lib/util/options.ml", line 30, characters 20-70:
Warning 22: Options: should not parse args here in 'lib mod'
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/cmdline_parser.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/timers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/timers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/gc_debug.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/gc_debug.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/loc.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/loc.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/hconsing.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/hconsing.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/hstring.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/util/hstring.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/ty.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/ty.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/symbols.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/symbols.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/term.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/term.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/literal.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/literal.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/formula.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/formula.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/explanation.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/explanation.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/exception.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/exception.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/parsed.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/parsed.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/errors.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/errors.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/typed.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/typed.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/fpa_rounding.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/fpa_rounding.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/commands.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/commands.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/profiling.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/structures/profiling.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/matching_types.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sig.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/matching.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/matching.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/use.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/use.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/ac.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/ac.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/uf.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/uf.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sum.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/sum.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/records.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/records.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/polynome.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/polynome.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/bitv.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/bitv.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/arrays.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/arrays.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/intervals.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/intervals.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/inequalities.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/inequalities.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/intervalCalculus.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/intervalCalculus.ml
File "/<<PKGBUILDDIR>>/lib/reasoners/intervalCalculus.ml", line 1892, characters 32-77:
Warning 22: TODO: find an example triggering this case!
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/arith.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/arith.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/combine.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/combine.ml
File "/<<PKGBUILDDIR>>/lib/reasoners/combine.ml", line 484, characters 30-130:
Warning 22: TODO: a simple way of handling equalities with void and unit is to add this case is the solver !
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/ccx.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/ccx.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/theory.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/theory.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/instances.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/instances.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sat_solver_sig.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/fun_sat.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/fun_sat.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sat_solver.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/sat_solver.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/triggers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/triggers.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/typechecker.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/typechecker.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/cnf.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/cnf.ml
File "/<<PKGBUILDDIR>>/lib/frontend/cnf.ml", line 42, characters 20-135:
Warning 22: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsed_interface.mli
File "/<<PKGBUILDDIR>>/lib/frontend/parsed_interface.mli", line 17, characters 20-77:
Warning 22: TODO: add documentation for every function in this file
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/parsed_interface.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/frontend.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/frontend.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsers.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo lib/frontend/parsers.ml
File "/<<PKGBUILDDIR>>/lib/frontend/parsers.ml", line 39, characters 20-70:
Warning 22: TODO: add the ability to add parsers dynamically
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex parsers/why/why_parser.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo parsers/why/why_parser.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo parsers/why/why_lexer.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex tools/text/main_text.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo tools/text/main_text.ml
ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo -o alt-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa lib/util/config.cmx lib/util/version.cmx lib/util/emap.cmx lib/util/myUnix.cmx lib/util/myDynlink.cmx lib/util/myZip.cmx lib/util/util.cmx lib/util/lists.cmx lib/util/numsNumbers.cmx lib/util/zarithNumbers.cmx lib/util/numbers.cmx lib/util/options.cmx lib/util/cmdline_parser.cmx lib/util/timers.cmx lib/util/gc_debug.cmx lib/util/loc.cmx lib/util/hconsing.cmx lib/util/hstring.cmx lib/structures/exception.cmx lib/structures/symbols.cmx lib/structures/ty.cmx lib/structures/parsed.cmx lib/structures/errors.cmx lib/structures/typed.cmx lib/structures/term.cmx lib/structures/fpa_rounding.cmx lib/structures/literal.cmx lib/structures/formula.cmx lib/structures/explanation.cmx lib/structures/commands.cmx lib/structures/profiling.cmx lib/reasoners/matching.cmx lib/reasoners/instances.cmx lib/reasoners/polynome.cmx lib/reasoners/ac.cmx lib/reasoners/uf.cmx lib/reasoners/use.cmx lib/reasoners/intervals.cmx lib/reasoners/inequalities.cmx lib/reasoners/intervalCalculus.cmx lib/reasoners/arith.cmx lib/reasoners/records.cmx lib/reasoners/bitv.cmx lib/reasoners/arrays.cmx lib/reasoners/sum.cmx lib/reasoners/combine.cmx lib/reasoners/ccx.cmx lib/reasoners/theory.cmx lib/reasoners/fun_sat.cmx lib/reasoners/sat_solver.cmx lib/frontend/triggers.cmx lib/frontend/typechecker.cmx lib/frontend/cnf.cmx lib/frontend/parsed_interface.cmx lib/frontend/frontend.cmx lib/frontend/parsers.cmx parsers/why/why_parser.cmx parsers/why/why_lexer.cmx tools/text/main_text.cmx
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex tools/gui/gui_session.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo tools/gui/gui_session.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex tools/gui/gui_config.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo tools/gui/gui_config.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex tools/gui/annoted_ast.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo tools/gui/annoted_ast.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex tools/gui/connected_ast.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo tools/gui/connected_ast.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex tools/gui/gui_replay.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo tools/gui/gui_replay.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex tools/gui/main_gui.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo tools/gui/main_gui.ml
ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo -o altgr-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa zarith.cmxa threads.cmxa lablgtk.cmxa lablgtksourceview2.cmxa gtkThread.cmx lib/util/config.cmx lib/util/version.cmx lib/util/emap.cmx lib/util/myUnix.cmx lib/util/myDynlink.cmx lib/util/myZip.cmx lib/util/util.cmx lib/util/lists.cmx lib/util/numsNumbers.cmx lib/util/zarithNumbers.cmx lib/util/numbers.cmx lib/util/options.cmx lib/util/cmdline_parser.cmx lib/util/timers.cmx lib/util/gc_debug.cmx lib/util/loc.cmx lib/util/hconsing.cmx lib/util/hstring.cmx lib/structures/exception.cmx lib/structures/symbols.cmx lib/structures/ty.cmx lib/structures/parsed.cmx lib/structures/errors.cmx lib/structures/typed.cmx lib/structures/term.cmx lib/structures/fpa_rounding.cmx lib/structures/literal.cmx lib/structures/formula.cmx lib/structures/explanation.cmx lib/structures/commands.cmx lib/structures/profiling.cmx lib/reasoners/matching.cmx lib/reasoners/instances.cmx lib/reasoners/polynome.cmx lib/reasoners/ac.cmx lib/reasoners/uf.cmx lib/reasoners/use.cmx lib/reasoners/intervals.cmx lib/reasoners/inequalities.cmx lib/reasoners/intervalCalculus.cmx lib/reasoners/arith.cmx lib/reasoners/records.cmx lib/reasoners/bitv.cmx lib/reasoners/arrays.cmx lib/reasoners/sum.cmx lib/reasoners/combine.cmx lib/reasoners/ccx.cmx lib/reasoners/theory.cmx lib/reasoners/fun_sat.cmx lib/reasoners/sat_solver.cmx lib/frontend/triggers.cmx lib/frontend/typechecker.cmx lib/frontend/cnf.cmx lib/frontend/parsed_interface.cmx lib/frontend/frontend.cmx lib/frontend/parsers.cmx parsers/why/why_parser.cmx parsers/why/why_lexer.cmx tools/gui/gui_session.cmx tools/gui/gui_config.cmx tools/gui/annoted_ast.cmx tools/gui/connected_ast.cmx tools/gui/gui_replay.cmx tools/gui/main_gui.cmx
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/common/vec.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/common/vec.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/satML/satml.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/satML/satml.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/satML/satml_frontend.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/satML/satml_frontend.ml
File "/<<PKGBUILDDIR>>/plugins/satML/satml_frontend.ml", line 308, characters 26-79:
Warning 22: TODO: modifications made in tbox are lost! improve?
ocamlopt.opt -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -shared -o satML-plugin.cmxs plugins/common/vec.cmx plugins/satML/satml.cmx plugins/satML/satml_frontend.cmx
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/simplex.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/simplex_cache.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/fm-simplex/fmSimplexIneqs.mli
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/fmSimplexIneqs.ml
ocamlopt.opt -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/lablgtk2 -I +threads -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -shared -o fm-simplex-plugin.cmxs plugins/common/vec.cmx plugins/fm-simplex/simplex_cache.cmx plugins/fm-simplex/simplex.cmx plugins/fm-simplex/fmSimplexIneqs.cmx
make[2]: Nothing to be done for 'gui'.
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_auto_test -a
create-stamp debian/debhelper-build-stamp
fakeroot debian/rules binary-arch
dh binary-arch --with ocaml
dh_testroot -a
dh_prep -a
debian/rules override_dh_auto_install
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make DESTDIR=debian/alt-ergo install install-gui
make[2]: Entering directory '/<<PKGBUILDDIR>>'
mkdir -p debian/alt-ergo/usr/share/man/man1
cp -f doc/alt-ergo.1 debian/alt-ergo/usr/share/man/man1
mkdir -p debian/alt-ergo/usr/lib/arm-linux-gnueabihf/alt-ergo/preludes
cp -f preludes/fpa-theory-2017-01-04-16h00.why debian/alt-ergo/usr/lib/arm-linux-gnueabihf/alt-ergo/preludes/
mkdir -p debian/alt-ergo/usr/bin
cp -f alt-ergo.opt debian/alt-ergo/usr/bin/alt-ergo
mkdir -p debian/alt-ergo/usr/bin
cp -f altgr-ergo.opt debian/alt-ergo/usr/bin/altgr-ergo
mkdir -p debian/alt-ergo/usr/share/alt-ergo/gtksourceview-2.0/language-specs
cp -f doc/gtk-lang/alt-ergo.lang debian/alt-ergo/usr/share/alt-ergo/gtksourceview-2.0/language-specs/alt-ergo.lang
mkdir -p debian/alt-ergo/usr/lib/arm-linux-gnueabihf/alt-ergo/plugins
cp -f fm-simplex-plugin.cmxs debian/alt-ergo/usr/lib/arm-linux-gnueabihf/alt-ergo/plugins
mkdir -p debian/alt-ergo/usr/lib/arm-linux-gnueabihf/alt-ergo/plugins
cp -f satML-plugin.cmxs debian/alt-ergo/usr/lib/arm-linux-gnueabihf/alt-ergo/plugins
make[2]: 'install-gui' is up to date.
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_ocamldoc -a
dh_installdocs -a
dh_installchangelogs -a
dh_installexamples -a
dh_installman -a
dh_perl -a
dh_link -a
dh_strip_nondeterminism -a
dh_compress -a
dh_fixperms -a
dh_missing -a
debian/rules override_dh_dwz
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_dwz --no-dwz-multifile
dwz: debian/alt-ergo/usr/lib/arm-linux-gnueabihf/alt-ergo/plugins/fm-simplex-plugin.cmxs: .debug_info section not present
dwz: debian/alt-ergo/usr/lib/arm-linux-gnueabihf/alt-ergo/plugins/satML-plugin.cmxs: .debug_info section not present
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libcairo.so.2 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libpangoft2-1.0.so.0 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libatk-1.0.so.0 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libpangocairo-1.0.so.0 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libgio-2.0.so.0 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libfreetype.so.6 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/alt-ergo/usr/bin/altgr-ergo was not linked against libfontconfig.so.1 (it uses none of the library's symbols)
dh_installdeb -a
dh_ocaml -a
W: alt-ergo doesn't resolve dependency on unit Inequalities
W: alt-ergo doesn't resolve dependency on unit Hstring
W: alt-ergo doesn't resolve dependency on unit Use
W: alt-ergo doesn't resolve dependency on unit Explanation
W: alt-ergo doesn't resolve dependency on unit Parsed
W: alt-ergo doesn't resolve dependency on unit Term
W: alt-ergo doesn't resolve dependency on unit Symbols
W: alt-ergo doesn't resolve dependency on unit Polynome
W: alt-ergo doesn't resolve dependency on unit Literal
W: alt-ergo doesn't resolve dependency on unit NumbersInterface
W: alt-ergo doesn't resolve dependency on unit Hconsing
W: alt-ergo doesn't resolve dependency on unit Hconsing
W: alt-ergo doesn't resolve dependency on unit Exception
W: alt-ergo doesn't resolve dependency on unit Instances
W: alt-ergo doesn't resolve dependency on unit Sat_solver
W: alt-ergo doesn't resolve dependency on unit Typed
W: alt-ergo doesn't resolve dependency on unit Symbols
W: alt-ergo doesn't resolve dependency on unit Commands
W: alt-ergo doesn't resolve dependency on unit Timers
W: alt-ergo doesn't resolve dependency on unit Theory
W: alt-ergo doesn't resolve dependency on unit Ty
W: alt-ergo doesn't resolve dependency on unit Profiling
W: alt-ergo doesn't resolve dependency on unit Explanation
W: alt-ergo doesn't resolve dependency on unit Formula
W: alt-ergo doesn't resolve dependency on unit Theory
W: alt-ergo doesn't resolve dependency on unit Ccx
W: alt-ergo doesn't resolve dependency on unit Uf
W: alt-ergo doesn't resolve dependency on unit Hstring
W: alt-ergo doesn't resolve dependency on unit Formula
W: alt-ergo doesn't resolve dependency on unit Literal
W: alt-ergo doesn't resolve dependency on unit Fun_sat
W: alt-ergo doesn't resolve dependency on unit Loc
W: alt-ergo doesn't resolve dependency on unit Inequalities
W: alt-ergo doesn't resolve dependency on unit Numbers
W: alt-ergo doesn't resolve dependency on unit Options
W: alt-ergo doesn't resolve dependency on unit Util
W: alt-ergo doesn't resolve dependency on unit Matching_types
W: alt-ergo doesn't resolve dependency on unit Sig
W: alt-ergo doesn't resolve dependency on unit Instances
W: alt-ergo doesn't resolve dependency on unit Options
W: alt-ergo doesn't resolve dependency on unit Exception
W: alt-ergo doesn't resolve dependency on unit Term
W: alt-ergo doesn't resolve dependency on unit Fun_sat
W: alt-ergo doesn't resolve dependency on unit Sat_solver_sig
W: alt-ergo doesn't resolve dependency on unit Util
W: alt-ergo doesn't resolve dependency on unit Sat_solver
W: alt-ergo doesn't resolve dependency on unit Combine
W: alt-ergo doesn't resolve dependency on unit Timers
W: alt-ergo doesn't resolve dependency on unit Profiling
W: alt-ergo doesn't resolve dependency on unit Numbers
dh_gencontrol -a
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package 'alt-ergo-dbgsym' in '../alt-ergo-dbgsym_2.0.0-5_armhf.deb'.
dpkg-deb: building package 'alt-ergo' in '../alt-ergo_2.0.0-5_armhf.deb'.
dpkg-genbuildinfo --build=any
dpkg-genchanges --build=any -mRaspbian mythic lxc autobuilder 1 <root@raspbian.org> >../alt-ergo_2.0.0-5_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2019-09-04T19:48:04Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
alt-ergo_2.0.0-5_armhf.changes:
-------------------------------
Format: 1.8
Date: Sun, 01 Sep 2019 08:18:21 +0200
Source: alt-ergo
Binary: alt-ergo alt-ergo-dbgsym
Architecture: armhf
Version: 2.0.0-5
Distribution: bullseye-staging
Urgency: medium
Maintainer: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
Changes:
alt-ergo (2.0.0-5) unstable; urgency=medium
.
* Add libnum-ocaml-dev to Build-Depends
Checksums-Sha1:
602017a0a9a99d27d146144e3ad1ad9447e19800 591904 alt-ergo-dbgsym_2.0.0-5_armhf.deb
2ae4fc12ab3c8d2ee4350ab3f41fac40e5cb1f23 11500 alt-ergo_2.0.0-5_armhf.buildinfo
56ad9ed195cacb97f05b43ffcb89d9f1ffc7a0fc 2973028 alt-ergo_2.0.0-5_armhf.deb
Checksums-Sha256:
37b8930d6d95b89126abad12840558922719b6486b51d47b01a5fd49267da1dc 591904 alt-ergo-dbgsym_2.0.0-5_armhf.deb
e4066a106f1f056bb5c1d29aeae2c1811900fe304bfef17d42dd93976b6523fc 11500 alt-ergo_2.0.0-5_armhf.buildinfo
cd3f83be2480dd28fb1e937241081016dd8f55536df54049c6f7ef026eb2933d 2973028 alt-ergo_2.0.0-5_armhf.deb
Files:
bf3d9d988766e3e28dfbe6aa4fb1eeef 591904 debug optional alt-ergo-dbgsym_2.0.0-5_armhf.deb
f97ffd3ed221d9ad45d44d2842b5169a 11500 math optional alt-ergo_2.0.0-5_armhf.buildinfo
6afea78914d51fd7181d53d8bee0d00c 2973028 math optional alt-ergo_2.0.0-5_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
alt-ergo-dbgsym_2.0.0-5_armhf.deb
---------------------------------
new Debian package, version 2.0.
size 591904 bytes: control archive=684 bytes.
488 bytes, 12 lines control
424 bytes, 4 lines md5sums
Package: alt-ergo-dbgsym
Source: alt-ergo
Version: 2.0.0-5
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 3372
Depends: alt-ergo (= 2.0.0-5)
Section: debug
Priority: optional
Description: debug symbols for alt-ergo
Build-Ids: 3819afe40c72ee216d9c8f0dbe2f7df5ed3aec61 5631e6eec0f2e74cf618096a2c104a42b914378c 5cfb8a0a6dd2d9fa3af2ba84cdc795236b77374e 6dc7039fb1779ef6a7bd539d4001fd5c4430c5fb
drwxr-xr-x root/root 0 2019-09-01 06:18 ./
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/lib/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/lib/debug/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/lib/debug/.build-id/38/
-rw-r--r-- root/root 1151596 2019-09-01 06:18 ./usr/lib/debug/.build-id/38/19afe40c72ee216d9c8f0dbe2f7df5ed3aec61.debug
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/lib/debug/.build-id/56/
-rw-r--r-- root/root 61284 2019-09-01 06:18 ./usr/lib/debug/.build-id/56/31e6eec0f2e74cf618096a2c104a42b914378c.debug
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/lib/debug/.build-id/5c/
-rw-r--r-- root/root 72804 2019-09-01 06:18 ./usr/lib/debug/.build-id/5c/fb8a0a6dd2d9fa3af2ba84cdc795236b77374e.debug
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/lib/debug/.build-id/6d/
-rw-r--r-- root/root 2151452 2019-09-01 06:18 ./usr/lib/debug/.build-id/6d/c7039fb1779ef6a7bd539d4001fd5c4430c5fb.debug
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/share/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/share/doc/
lrwxrwxrwx root/root 0 2019-09-01 06:18 ./usr/share/doc/alt-ergo-dbgsym -> alt-ergo
alt-ergo_2.0.0-5_armhf.deb
--------------------------
new Debian package, version 2.0.
size 2973028 bytes: control archive=1724 bytes.
1370 bytes, 23 lines control
2050 bytes, 25 lines md5sums
Package: alt-ergo
Version: 2.0.0-5
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 14740
Depends: libatk1.0-0 (>= 1.12.4), libc6 (>= 2.28), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgtk2.0-0 (>= 2.24.32), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.22.0), libpangocairo-1.0-0 (>= 1.14.0), libpangoft2-1.0-0 (>= 1.14.0), zlib1g (>= 1:1.1.4), ocaml-base-nox-4.05.0
Suggests: why
Section: math
Priority: optional
Homepage: http://alt-ergo.lri.fr
Description: Automatic theorem prover dedicated to program verification
Alt-Ergo is an automatic theorem prover geared towards application in
program verification. It is based on CC(X), a congruence closure
algorithm parameterized by an equational theory X. Alt-Ergo has
built-in provers for propositional logic, linear arithmetic,
uninterpreted function symbols, associative-commutative function
symbols, polymorphic arrays, user-defined polymorphic record types
and polymorphic enumeration types. It has restricted support for
reasoning over arbitrary user-defined algebraic types, first-order
quantifiers, and non-linear arithmetic.
.
This package contains the prover as a command-line executable
as well as the graphical interface.
drwxr-xr-x root/root 0 2019-09-01 06:18 ./
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/bin/
-rwxr-xr-x root/root 5816708 2019-09-01 06:18 ./usr/bin/alt-ergo
-rwxr-xr-x root/root 8532592 2019-09-01 06:18 ./usr/bin/altgr-ergo
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/lib/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/lib/arm-linux-gnueabihf/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/lib/arm-linux-gnueabihf/alt-ergo/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/lib/arm-linux-gnueabihf/alt-ergo/plugins/
-rw-r--r-- root/root 251820 2019-09-01 06:18 ./usr/lib/arm-linux-gnueabihf/alt-ergo/plugins/fm-simplex-plugin.cmxs
-rw-r--r-- root/root 398440 2019-09-01 06:18 ./usr/lib/arm-linux-gnueabihf/alt-ergo/plugins/satML-plugin.cmxs
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/lib/arm-linux-gnueabihf/alt-ergo/preludes/
-rw-r--r-- root/root 31579 2019-09-01 06:18 ./usr/lib/arm-linux-gnueabihf/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/share/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/share/alt-ergo/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/share/alt-ergo/gtksourceview-2.0/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/share/alt-ergo/gtksourceview-2.0/language-specs/
-rw-r--r-- root/root 7490 2019-09-01 06:18 ./usr/share/alt-ergo/gtksourceview-2.0/language-specs/alt-ergo.lang
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/share/doc/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/share/doc/alt-ergo/
-rw-r--r-- root/root 259 2019-09-01 06:18 ./usr/share/doc/alt-ergo/NEWS.Debian.gz
-rw-r--r-- root/root 4121 2019-09-01 06:18 ./usr/share/doc/alt-ergo/changelog.Debian.gz
-rw-r--r-- root/root 6426 2019-02-13 11:02 ./usr/share/doc/alt-ergo/changelog.gz
-rw-r--r-- root/root 1761 2019-09-01 06:18 ./usr/share/doc/alt-ergo/copyright
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/share/doc/alt-ergo/examples/
drwxr-xr-x root/root 0 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/invalid/
-rw-r--r-- root/root 57 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/invalid/arith1.why
-rw-r--r-- root/root 61 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/invalid/arith2.why
-rw-r--r-- root/root 147 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/invalid/arrays.why
-rw-r--r-- root/root 141 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/invalid/bitv.why
drwxr-xr-x root/root 0 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/
-rw-r--r-- root/root 106 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/ac_arith.why
-rw-r--r-- root/root 120 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/arith1.why
-rw-r--r-- root/root 125 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/arith2.why
-rw-r--r-- root/root 106 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/arith3.why
-rw-r--r-- root/root 87 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/arith4.why
-rw-r--r-- root/root 151 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/arrays.why
-rw-r--r-- root/root 139 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/bitv.why
-rw-r--r-- root/root 189 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/congruence.why
-rw-r--r-- root/root 183 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/enum_arrays.why
-rw-r--r-- root/root 182 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/quantifiers.why
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/share/man/
drwxr-xr-x root/root 0 2019-09-01 06:18 ./usr/share/man/man1/
-rw-r--r-- root/root 1177 2019-09-01 06:18 ./usr/share/man/man1/alt-ergo.1.gz
+------------------------------------------------------------------------------+
| Post Build |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: armhf
Build-Space: 103252
Build-Time: 112
Distribution: bullseye-staging
Host Architecture: armhf
Install-Time: 1100
Job: alt-ergo_2.0.0-5
Machine Architecture: armhf
Package: alt-ergo
Package-Time: 1229
Source-Version: 2.0.0-5
Space: 103252
Status: successful
Version: 2.0.0-5
--------------------------------------------------------------------------------
Finished at 2019-09-04T19:48:04Z
Build needed 00:20:29, 103252k disk space