menhir →
20200123-1 →
armhf → 2020-02-16 08:40:40
sbuild (Debian sbuild) 0.72.0 (25 Oct 2016) on mb-lxc-01
+==============================================================================+
| menhir 20200123-1 (armhf) Sun, 16 Feb 2020 08:30:50 +0000 |
+==============================================================================+
Package: menhir
Version: 20200123-1
Source Version: 20200123-1
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-94998a28-ae9a-4f85-9e78-1431e629045b' 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 [12.7 MB]
Fetched 24.2 MB in 10s (2534 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: 'menhir' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/menhir.git
Please use:
git clone https://salsa.debian.org/ocaml-team/menhir.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 2481 kB of source archives.
Get:1 http://172.17.0.1/private bullseye-staging/main menhir 20200123-1 (dsc) [2277 B]
Get:2 http://172.17.0.1/private bullseye-staging/main menhir 20200123-1 (tar) [2457 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main menhir 20200123-1 (diff) [21.8 kB]
Fetched 2481 kB in 1s (3698 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/menhir-Bdtp9x/menhir-20200123' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/menhir-Bdtp9x' 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-UMwqnf/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-UMwqnf/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-UMwqnf/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-UMwqnf/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-UMwqnf/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-UMwqnf/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-UMwqnf/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-UMwqnf/apt_archive ./ Packages [431 B]
Fetched 2107 B in 0s (9694 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 packages were automatically installed and are no longer required:
libpam-cap netbase
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 7 not upgraded.
Need to get 852 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-UMwqnf/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 852 B in 0s (0 B/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12214 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 all)
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: debhelper-compat (= 12), ocaml-nox (>= 4.02.3~), ocaml-dune (>= 2.0), dh-ocaml, coq
Filtered Build-Depends: debhelper-compat (= 12), ocaml-nox (>= 4.02.3~), ocaml-dune (>= 2.0), dh-ocaml, coq
dpkg-deb: building package 'sbuild-build-depends-menhir-dummy' in '/<<BUILDDIR>>/resolver-UMwqnf/apt_archive/sbuild-build-depends-menhir-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy sbuild-build-depends-menhir-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-UMwqnf/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-UMwqnf/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-UMwqnf/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-UMwqnf/apt_archive ./ Sources [528 B]
Get:5 copy:/<<BUILDDIR>>/resolver-UMwqnf/apt_archive ./ Packages [608 B]
Fetched 2469 B in 0s (11.3 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install menhir build dependencies (apt-based resolver)
------------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
libpam-cap netbase
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
adwaita-icon-theme autoconf automake autopoint autotools-dev bsdmainutils
coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism
dictionaries-common dwz emacsen-common file fontconfig fontconfig-config
fonts-dejavu-core gettext gettext-base groff-base gtk-update-icon-cache
hicolor-icon-theme hunspell-en-us intltool-debian libarchive-zip-perl
libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data
libavahi-common3 libbsd0 libcairo2 libcoq-ocaml libcroco3 libcups2
libdatrie1 libdbus-1-3 libdebhelper-perl libelf1 libenchant-2-2 libexpat1
libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1
libfreetype6 libfribidi0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common
libglade2-0 libglib2.0-0 libgraphite2-3 libgssapi-krb5-2 libgtk2.0-0
libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common
libgtkspell0 libharfbuzz0b libhunspell-1.7-0 libicu63 libjbig0
libjpeg62-turbo libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0
liblablgtk2-ocaml liblablgtksourceview2-ocaml libmagic-mgc libmagic1
libmpdec2 libncurses-dev libncurses5-dev libncurses6 libnum-ocaml
libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpipeline1
libpixman-1-0 libpng16-16 libpython3-stdlib libpython3.7-minimal
libpython3.7-stdlib librsvg2-2 librsvg2-common libsigsegv2 libssl1.1
libsub-override-perl libtext-iconv-perl libthai-data libthai0 libtiff5
libtinfo5 libtool libuchardet0 libwebp6 libx11-6 libx11-data libxau6
libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1
libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2
libxrender1 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs
ocaml-dune ocaml-findlib ocaml-interp ocaml-nox po-debconf python3
python3-minimal python3.7 python3.7-minimal sensible-utils shared-mime-info
ucf
Suggested packages:
autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois
vacation coqide | proofgeneral ledit | readline-editor libcoq-ocaml-dev why
coq-doc dh-make git ispell | aspell | hunspell wordlist gettext-doc
libasprintf-dev libgettextpo-dev groff hunspell openoffice.org-hunspell
| openoffice.org-core aspell cups-common libenchant-2-voikko krb5-doc
krb5-user gvfs ncurses-doc librsvg2-bin libtool-doc gfortran
| fortran95-compiler gcj-jdk m4-doc apparmor less www-browser camlp4
ocaml-doc tuareg-mode libmail-box-perl python3-doc python3-tk python3-venv
python3.7-venv python3.7-doc binfmt-support
Recommended packages:
curl | wget | lynx aspell-en | aspell-dictionary | aspell6a-dictionary dbus
enchant-2 libarchive-cpio-perl libgdk-pixbuf2.0-bin libglib2.0-data
xdg-user-dirs libgail-common libgtk2.0-bin krb5-locales libgpm2 libltdl-dev
ocaml-man libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl
The following NEW packages will be installed:
adwaita-icon-theme autoconf automake autopoint autotools-dev bsdmainutils
coq coq-theories debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism
dictionaries-common dwz emacsen-common file fontconfig fontconfig-config
fonts-dejavu-core gettext gettext-base groff-base gtk-update-icon-cache
hicolor-icon-theme hunspell-en-us intltool-debian libarchive-zip-perl
libaspell15 libatk1.0-0 libatk1.0-data libavahi-client3 libavahi-common-data
libavahi-common3 libbsd0 libcairo2 libcoq-ocaml libcroco3 libcups2
libdatrie1 libdbus-1-3 libdebhelper-perl libelf1 libenchant-2-2 libexpat1
libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1
libfreetype6 libfribidi0 libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common
libglade2-0 libglib2.0-0 libgraphite2-3 libgssapi-krb5-2 libgtk2.0-0
libgtk2.0-common libgtksourceview2.0-0 libgtksourceview2.0-common
libgtkspell0 libharfbuzz0b libhunspell-1.7-0 libicu63 libjbig0
libjpeg62-turbo libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0
liblablgtk2-ocaml liblablgtksourceview2-ocaml libmagic-mgc libmagic1
libmpdec2 libncurses-dev libncurses5-dev libncurses6 libnum-ocaml
libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libpipeline1
libpixman-1-0 libpng16-16 libpython3-stdlib libpython3.7-minimal
libpython3.7-stdlib librsvg2-2 librsvg2-common libsigsegv2 libssl1.1
libsub-override-perl libtext-iconv-perl libthai-data libthai0 libtiff5
libtinfo5 libtool libuchardet0 libwebp6 libx11-6 libx11-data libxau6
libxcb-render0 libxcb-shm0 libxcb1 libxcomposite1 libxcursor1 libxdamage1
libxdmcp6 libxext6 libxfixes3 libxi6 libxinerama1 libxml2 libxrandr2
libxrender1 m4 man-db mime-support ocaml-base-nox ocaml-compiler-libs
ocaml-dune ocaml-findlib ocaml-interp ocaml-nox po-debconf python3
python3-minimal python3.7 python3.7-minimal
sbuild-build-depends-menhir-dummy sensible-utils shared-mime-info ucf
0 upgraded, 135 newly installed, 0 to remove and 7 not upgraded.
Need to get 231 MB of archives.
After this operation, 935 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-UMwqnf/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [892 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+20191019-1 [316 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-4 [783 kB]
Get:7 http://172.17.0.1/private bullseye-staging/main armhf libpipeline1 armhf 1.5.2-2 [29.6 kB]
Get:8 http://172.17.0.1/private bullseye-staging/main armhf man-db armhf 2.9.0-2 [1261 kB]
Get:9 http://172.17.0.1/private bullseye-staging/main armhf libssl1.1 armhf 1.1.1d-2 [1268 kB]
Get:10 http://172.17.0.1/private bullseye-staging/main armhf libpython3.7-minimal armhf 3.7.6-1+b1 [585 kB]
Get:11 http://172.17.0.1/private bullseye-staging/main armhf libexpat1 armhf 2.2.9-1 [71.5 kB]
Get:12 http://172.17.0.1/private bullseye-staging/main armhf python3.7-minimal armhf 3.7.6-1+b1 [1525 kB]
Get:13 http://172.17.0.1/private bullseye-staging/main armhf python3-minimal armhf 3.7.5-3 [36.8 kB]
Get:14 http://172.17.0.1/private bullseye-staging/main armhf mime-support all 3.64 [37.8 kB]
Get:15 http://172.17.0.1/private bullseye-staging/main armhf libmpdec2 armhf 2.4.2-2 [67.2 kB]
Get:16 http://172.17.0.1/private bullseye-staging/main armhf libpython3.7-stdlib armhf 3.7.6-1+b1 [1669 kB]
Get:17 http://172.17.0.1/private bullseye-staging/main armhf python3.7 armhf 3.7.6-1+b1 [351 kB]
Get:18 http://172.17.0.1/private bullseye-staging/main armhf libpython3-stdlib armhf 3.7.5-3 [20.2 kB]
Get:19 http://172.17.0.1/private bullseye-staging/main armhf python3 armhf 3.7.5-3 [62.1 kB]
Get:20 http://172.17.0.1/private bullseye-staging/main armhf libtext-iconv-perl armhf 1.7-7 [15.1 kB]
Get:21 http://172.17.0.1/private bullseye-staging/main armhf sensible-utils all 0.0.12+nmu1 [16.0 kB]
Get:22 http://172.17.0.1/private bullseye-staging/main armhf libmagic-mgc armhf 1:5.38-4 [262 kB]
Get:23 http://172.17.0.1/private bullseye-staging/main armhf libmagic1 armhf 1:5.38-4 [112 kB]
Get:24 http://172.17.0.1/private bullseye-staging/main armhf file armhf 1:5.38-4 [66.9 kB]
Get:25 http://172.17.0.1/private bullseye-staging/main armhf gettext-base armhf 0.19.8.1-10 [117 kB]
Get:26 http://172.17.0.1/private bullseye-staging/main armhf ucf all 3.0038+nmu1 [69.0 kB]
Get:27 http://172.17.0.1/private bullseye-staging/main armhf hicolor-icon-theme all 0.17-2 [11.4 kB]
Get:28 http://172.17.0.1/private bullseye-staging/main armhf libglib2.0-0 armhf 2.62.4-1+rpi1 [1137 kB]
Get:29 http://172.17.0.1/private bullseye-staging/main armhf libjpeg62-turbo armhf 1:1.5.2-2+b1 [110 kB]
Get:30 http://172.17.0.1/private bullseye-staging/main armhf libpng16-16 armhf 1.6.37-2 [274 kB]
Get:31 http://172.17.0.1/private bullseye-staging/main armhf libjbig0 armhf 2.1-3.1+b2 [27.6 kB]
Get:32 http://172.17.0.1/private bullseye-staging/main armhf libwebp6 armhf 0.6.1-2 [228 kB]
Get:33 http://172.17.0.1/private bullseye-staging/main armhf libtiff5 armhf 4.1.0+git191117-2 [250 kB]
Get:34 http://172.17.0.1/private bullseye-staging/main armhf libxau6 armhf 1:1.0.8-1+b2 [19.1 kB]
Get:35 http://172.17.0.1/private bullseye-staging/main armhf libxdmcp6 armhf 1:1.1.2-3 [25.0 kB]
Get:36 http://172.17.0.1/private bullseye-staging/main armhf libxcb1 armhf 1.13.1-2 [132 kB]
Get:37 http://172.17.0.1/private bullseye-staging/main armhf libx11-data all 2:1.6.8-1 [298 kB]
Get:38 http://172.17.0.1/private bullseye-staging/main armhf libx11-6 armhf 2:1.6.8-1 [691 kB]
Get:39 http://172.17.0.1/private bullseye-staging/main armhf libicu63 armhf 63.2-2 [7974 kB]
Get:40 http://172.17.0.1/private bullseye-staging/main armhf libxml2 armhf 2.9.4+dfsg1-8 [593 kB]
Get:41 http://172.17.0.1/private bullseye-staging/main armhf shared-mime-info armhf 1.10-1 [762 kB]
Get:42 http://172.17.0.1/private bullseye-staging/main armhf libgdk-pixbuf2.0-common all 2.40.0+dfsg-2+rpi1 [317 kB]
Get:43 http://172.17.0.1/private bullseye-staging/main armhf libgdk-pixbuf2.0-0 armhf 2.40.0+dfsg-2+rpi1 [158 kB]
Get:44 http://172.17.0.1/private bullseye-staging/main armhf gtk-update-icon-cache armhf 3.24.13-1 [83.0 kB]
Get:45 http://172.17.0.1/private bullseye-staging/main armhf libfreetype6 armhf 2.10.1-2 [330 kB]
Get:46 http://172.17.0.1/private bullseye-staging/main armhf fonts-dejavu-core all 2.37-1 [1068 kB]
Get:47 http://172.17.0.1/private bullseye-staging/main armhf fontconfig-config all 2.13.1-2 [280 kB]
Get:48 http://172.17.0.1/private bullseye-staging/main armhf libfontconfig1 armhf 2.13.1-2 [327 kB]
Get:49 http://172.17.0.1/private bullseye-staging/main armhf libpixman-1-0 armhf 0.36.0-1 [458 kB]
Get:50 http://172.17.0.1/private bullseye-staging/main armhf libxcb-render0 armhf 1.13.1-2 [108 kB]
Get:51 http://172.17.0.1/private bullseye-staging/main armhf libxcb-shm0 armhf 1.13.1-2 [99.3 kB]
Get:52 http://172.17.0.1/private bullseye-staging/main armhf libxext6 armhf 2:1.3.3-1+b2 [47.8 kB]
Get:53 http://172.17.0.1/private bullseye-staging/main armhf libxrender1 armhf 1:0.9.10-1 [29.9 kB]
Get:54 http://172.17.0.1/private bullseye-staging/main armhf libcairo2 armhf 1.16.0-4 [599 kB]
Get:55 http://172.17.0.1/private bullseye-staging/main armhf libcroco3 armhf 0.6.13-1 [133 kB]
Get:56 http://172.17.0.1/private bullseye-staging/main armhf fontconfig armhf 2.13.1-2 [404 kB]
Get:57 http://172.17.0.1/private bullseye-staging/main armhf libfribidi0 armhf 1.0.7-1.1 [62.8 kB]
Get:58 http://172.17.0.1/private bullseye-staging/main armhf libthai-data all 0.1.28-3 [170 kB]
Get:59 http://172.17.0.1/private bullseye-staging/main armhf libdatrie1 armhf 0.2.12-3+b1 [36.4 kB]
Get:60 http://172.17.0.1/private bullseye-staging/main armhf libthai0 armhf 0.1.28-3 [51.0 kB]
Get:61 http://172.17.0.1/private bullseye-staging/main armhf libpango-1.0-0 armhf 1.42.4-7+b1 [168 kB]
Get:62 http://172.17.0.1/private bullseye-staging/main armhf libgraphite2-3 armhf 1.3.13-11 [70.1 kB]
Get:63 http://172.17.0.1/private bullseye-staging/main armhf libharfbuzz0b armhf 2.6.4-1+rpi1 [1308 kB]
Get:64 http://172.17.0.1/private bullseye-staging/main armhf libpangoft2-1.0-0 armhf 1.42.4-7+b1 [62.2 kB]
Get:65 http://172.17.0.1/private bullseye-staging/main armhf libpangocairo-1.0-0 armhf 1.42.4-7+b1 [51.9 kB]
Get:66 http://172.17.0.1/private bullseye-staging/main armhf librsvg2-2 armhf 2.46.4-1 [1071 kB]
Get:67 http://172.17.0.1/private bullseye-staging/main armhf librsvg2-common armhf 2.46.4-1 [23.6 kB]
Get:68 http://172.17.0.1/private bullseye-staging/main armhf adwaita-icon-theme all 3.34.0-2 [11.0 MB]
Get:69 http://172.17.0.1/private bullseye-staging/main armhf libsigsegv2 armhf 2.12-2 [32.3 kB]
Get:70 http://172.17.0.1/private bullseye-staging/main armhf m4 armhf 1.4.18-4 [185 kB]
Get:71 http://172.17.0.1/private bullseye-staging/main armhf autoconf all 2.69-11.1 [341 kB]
Get:72 http://172.17.0.1/private bullseye-staging/main armhf autotools-dev all 20180224.1 [77.0 kB]
Get:73 http://172.17.0.1/private bullseye-staging/main armhf automake all 1:1.16.1-4 [771 kB]
Get:74 http://172.17.0.1/private bullseye-staging/main armhf autopoint all 0.19.8.1-10 [435 kB]
Get:75 http://172.17.0.1/private bullseye-staging/main armhf coq-theories armhf 8.9.1-5 [20.3 MB]
Get:76 http://172.17.0.1/private bullseye-staging/main armhf ocaml-base-nox armhf 4.08.1-8+rpi1 [528 kB]
Get:77 http://172.17.0.1/private bullseye-staging/main armhf libatk1.0-data all 2.34.1-1 [146 kB]
Get:78 http://172.17.0.1/private bullseye-staging/main armhf libatk1.0-0 armhf 2.34.1-1 [43.6 kB]
Get:79 http://172.17.0.1/private bullseye-staging/main armhf libgtk2.0-common all 2.24.32-4 [2701 kB]
Get:80 http://172.17.0.1/private bullseye-staging/main armhf libavahi-common-data armhf 0.7-5 [122 kB]
Get:81 http://172.17.0.1/private bullseye-staging/main armhf libavahi-common3 armhf 0.7-5 [51.2 kB]
Get:82 http://172.17.0.1/private bullseye-staging/main armhf libdbus-1-3 armhf 1.12.16-2+b1 [189 kB]
Get:83 http://172.17.0.1/private bullseye-staging/main armhf libavahi-client3 armhf 0.7-5 [54.2 kB]
Get:84 http://172.17.0.1/private bullseye-staging/main armhf libkeyutils1 armhf 1.6.1-2 [14.5 kB]
Get:85 http://172.17.0.1/private bullseye-staging/main armhf libkrb5support0 armhf 1.17-6+b1 [61.5 kB]
Get:86 http://172.17.0.1/private bullseye-staging/main armhf libk5crypto3 armhf 1.17-6+b1 [112 kB]
Get:87 http://172.17.0.1/private bullseye-staging/main armhf libkrb5-3 armhf 1.17-6+b1 [316 kB]
Get:88 http://172.17.0.1/private bullseye-staging/main armhf libgssapi-krb5-2 armhf 1.17-6+b1 [134 kB]
Get:89 http://172.17.0.1/private bullseye-staging/main armhf libcups2 armhf 2.3.1-4 [309 kB]
Get:90 http://172.17.0.1/private bullseye-staging/main armhf libxcomposite1 armhf 1:0.4.4-2 [16.1 kB]
Get:91 http://172.17.0.1/private bullseye-staging/main armhf libxfixes3 armhf 1:5.0.3-1 [20.6 kB]
Get:92 http://172.17.0.1/private bullseye-staging/main armhf libxcursor1 armhf 1:1.2.0-2 [34.2 kB]
Get:93 http://172.17.0.1/private bullseye-staging/main armhf libxdamage1 armhf 1:1.1.5-1 [15.1 kB]
Get:94 http://172.17.0.1/private bullseye-staging/main armhf libxi6 armhf 2:1.7.9-1 [77.8 kB]
Get:95 http://172.17.0.1/private bullseye-staging/main armhf libxinerama1 armhf 2:1.1.4-2 [17.3 kB]
Get:96 http://172.17.0.1/private bullseye-staging/main armhf libxrandr2 armhf 2:1.5.1-1 [34.5 kB]
Get:97 http://172.17.0.1/private bullseye-staging/main armhf libgtk2.0-0 armhf 2.24.32-4 [1501 kB]
Get:98 http://172.17.0.1/private bullseye-staging/main armhf libglade2-0 armhf 1:2.6.4-2+b1 [76.2 kB]
Get:99 http://172.17.0.1/private bullseye-staging/main armhf emacsen-common all 3.0.4 [19.3 kB]
Get:100 http://172.17.0.1/private bullseye-staging/main armhf dictionaries-common all 1.28.1 [239 kB]
Get:101 http://172.17.0.1/private bullseye-staging/main armhf hunspell-en-us all 1:2018.04.16-1 [173 kB]
Get:102 http://172.17.0.1/private bullseye-staging/main armhf libaspell15 armhf 0.60.8-1 [300 kB]
Get:103 http://172.17.0.1/private bullseye-staging/main armhf libhunspell-1.7-0 armhf 1.7.0-2+b4 [156 kB]
Get:104 http://172.17.0.1/private bullseye-staging/main armhf libenchant-2-2 armhf 2.2.7+repack1-1 [42.9 kB]
Get:105 http://172.17.0.1/private bullseye-staging/main armhf libgtkspell0 armhf 2.0.16-1.3 [22.7 kB]
Get:106 http://172.17.0.1/private bullseye-staging/main armhf liblablgtk2-ocaml armhf 2.18.8+dfsg-1+b1 [762 kB]
Get:107 http://172.17.0.1/private bullseye-staging/main armhf libgtksourceview2.0-common all 2.10.5-3 [470 kB]
Get:108 http://172.17.0.1/private bullseye-staging/main armhf libgtksourceview2.0-0 armhf 2.10.5-3 [168 kB]
Get:109 http://172.17.0.1/private bullseye-staging/main armhf liblablgtksourceview2-ocaml armhf 2.18.8+dfsg-1+b1 [113 kB]
Get:110 http://172.17.0.1/private bullseye-staging/main armhf libnum-ocaml armhf 1.3-1 [150 kB]
Get:111 http://172.17.0.1/private bullseye-staging/main armhf libcoq-ocaml armhf 8.9.1-5 [5553 kB]
Get:112 http://172.17.0.1/private bullseye-staging/main armhf libncurses6 armhf 6.1+20191019-1 [79.5 kB]
Get:113 http://172.17.0.1/private bullseye-staging/main armhf libncurses-dev armhf 6.1+20191019-1 [284 kB]
Get:114 http://172.17.0.1/private bullseye-staging/main armhf libncurses5-dev armhf 6.1+20191019-1 [940 B]
Get:115 http://172.17.0.1/private bullseye-staging/main armhf ocaml-compiler-libs armhf 4.08.1-8+rpi1 [24.7 MB]
Get:116 http://172.17.0.1/private bullseye-staging/main armhf ocaml-interp armhf 4.08.1-8+rpi1 [4782 kB]
Get:117 http://172.17.0.1/private bullseye-staging/main armhf ocaml-nox armhf 4.08.1-8+rpi1 [51.7 MB]
Get:118 http://172.17.0.1/private bullseye-staging/main armhf libfindlib-ocaml armhf 1.8.1-1+b1 [174 kB]
Get:119 http://172.17.0.1/private bullseye-staging/main armhf ocaml-findlib armhf 1.8.1-1+b1 [400 kB]
Get:120 http://172.17.0.1/private bullseye-staging/main armhf coq armhf 8.9.1-5 [65.9 MB]
Get:121 http://172.17.0.1/private bullseye-staging/main armhf libtool all 2.4.6-11 [547 kB]
Get:122 http://172.17.0.1/private bullseye-staging/main armhf dh-autoreconf all 19 [16.9 kB]
Get:123 http://172.17.0.1/private bullseye-staging/main armhf libdebhelper-perl all 12.9 [183 kB]
Get:124 http://172.17.0.1/private bullseye-staging/main armhf libarchive-zip-perl all 1.67-1 [104 kB]
Get:125 http://172.17.0.1/private bullseye-staging/main armhf libsub-override-perl all 0.09-2 [10.2 kB]
Get:126 http://172.17.0.1/private bullseye-staging/main armhf libfile-stripnondeterminism-perl all 1.6.3-2 [23.7 kB]
Get:127 http://172.17.0.1/private bullseye-staging/main armhf dh-strip-nondeterminism all 1.6.3-2 [14.7 kB]
Get:128 http://172.17.0.1/private bullseye-staging/main armhf libelf1 armhf 0.176-1.1 [158 kB]
Get:129 http://172.17.0.1/private bullseye-staging/main armhf dwz armhf 0.13-5 [142 kB]
Get:130 http://172.17.0.1/private bullseye-staging/main armhf gettext armhf 0.19.8.1-10 [1219 kB]
Get:131 http://172.17.0.1/private bullseye-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:132 http://172.17.0.1/private bullseye-staging/main armhf po-debconf all 1.0.21 [248 kB]
Get:133 http://172.17.0.1/private bullseye-staging/main armhf debhelper all 12.9 [994 kB]
Get:134 http://172.17.0.1/private bullseye-staging/main armhf dh-ocaml all 1.1.1 [83.5 kB]
Get:135 http://172.17.0.1/private bullseye-staging/main armhf ocaml-dune armhf 2.1.3-2 [1637 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 231 MB in 48s (4776 kB/s)
Selecting previously unselected package libbsd0:armhf.
(Reading database ... 12214 files and directories currently installed.)
Preparing to unpack .../00-libbsd0_0.10.0-1_armhf.deb ...
Unpacking libbsd0:armhf (0.10.0-1) ...
Selecting previously unselected package libtinfo5:armhf.
Preparing to unpack .../01-libtinfo5_6.1+20191019-1_armhf.deb ...
Unpacking libtinfo5:armhf (6.1+20191019-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../02-bsdmainutils_11.1.2_armhf.deb ...
Unpacking bsdmainutils (11.1.2) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../03-libuchardet0_0.0.6-3_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.6-3) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../04-groff-base_1.22.4-4_armhf.deb ...
Unpacking groff-base (1.22.4-4) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../05-libpipeline1_1.5.2-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.2-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../06-man-db_2.9.0-2_armhf.deb ...
Unpacking man-db (2.9.0-2) ...
Selecting previously unselected package libssl1.1:armhf.
Preparing to unpack .../07-libssl1.1_1.1.1d-2_armhf.deb ...
Unpacking libssl1.1:armhf (1.1.1d-2) ...
Selecting previously unselected package libpython3.7-minimal:armhf.
Preparing to unpack .../08-libpython3.7-minimal_3.7.6-1+b1_armhf.deb ...
Unpacking libpython3.7-minimal:armhf (3.7.6-1+b1) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../09-libexpat1_2.2.9-1_armhf.deb ...
Unpacking libexpat1:armhf (2.2.9-1) ...
Selecting previously unselected package python3.7-minimal.
Preparing to unpack .../10-python3.7-minimal_3.7.6-1+b1_armhf.deb ...
Unpacking python3.7-minimal (3.7.6-1+b1) ...
Setting up libssl1.1:armhf (1.1.1d-2) ...
Setting up libpython3.7-minimal:armhf (3.7.6-1+b1) ...
Setting up libexpat1:armhf (2.2.9-1) ...
Setting up python3.7-minimal (3.7.6-1+b1) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 13136 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.7.5-3_armhf.deb ...
Unpacking python3-minimal (3.7.5-3) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../1-mime-support_3.64_all.deb ...
Unpacking mime-support (3.64) ...
Selecting previously unselected package libmpdec2:armhf.
Preparing to unpack .../2-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 .../3-libpython3.7-stdlib_3.7.6-1+b1_armhf.deb ...
Unpacking libpython3.7-stdlib:armhf (3.7.6-1+b1) ...
Selecting previously unselected package python3.7.
Preparing to unpack .../4-python3.7_3.7.6-1+b1_armhf.deb ...
Unpacking python3.7 (3.7.6-1+b1) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../5-libpython3-stdlib_3.7.5-3_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.7.5-3) ...
Setting up python3-minimal (3.7.5-3) ...
Selecting previously unselected package python3.
(Reading database ... 13575 files and directories currently installed.)
Preparing to unpack .../000-python3_3.7.5-3_armhf.deb ...
Unpacking python3 (3.7.5-3) ...
Selecting previously unselected package libtext-iconv-perl.
Preparing to unpack .../001-libtext-iconv-perl_1.7-7_armhf.deb ...
Unpacking libtext-iconv-perl (1.7-7) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../002-sensible-utils_0.0.12+nmu1_all.deb ...
Unpacking sensible-utils (0.0.12+nmu1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../003-libmagic-mgc_1%3a5.38-4_armhf.deb ...
Unpacking libmagic-mgc (1:5.38-4) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../004-libmagic1_1%3a5.38-4_armhf.deb ...
Unpacking libmagic1:armhf (1:5.38-4) ...
Selecting previously unselected package file.
Preparing to unpack .../005-file_1%3a5.38-4_armhf.deb ...
Unpacking file (1:5.38-4) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../006-gettext-base_0.19.8.1-10_armhf.deb ...
Unpacking gettext-base (0.19.8.1-10) ...
Selecting previously unselected package ucf.
Preparing to unpack .../007-ucf_3.0038+nmu1_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0038+nmu1) ...
Selecting previously unselected package hicolor-icon-theme.
Preparing to unpack .../008-hicolor-icon-theme_0.17-2_all.deb ...
Unpacking hicolor-icon-theme (0.17-2) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../009-libglib2.0-0_2.62.4-1+rpi1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.62.4-1+rpi1) ...
Selecting previously unselected package libjpeg62-turbo:armhf.
Preparing to unpack .../010-libjpeg62-turbo_1%3a1.5.2-2+b1_armhf.deb ...
Unpacking libjpeg62-turbo:armhf (1:1.5.2-2+b1) ...
Selecting previously unselected package libpng16-16:armhf.
Preparing to unpack .../011-libpng16-16_1.6.37-2_armhf.deb ...
Unpacking libpng16-16:armhf (1.6.37-2) ...
Selecting previously unselected package libjbig0:armhf.
Preparing to unpack .../012-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 .../013-libwebp6_0.6.1-2_armhf.deb ...
Unpacking libwebp6:armhf (0.6.1-2) ...
Selecting previously unselected package libtiff5:armhf.
Preparing to unpack .../014-libtiff5_4.1.0+git191117-2_armhf.deb ...
Unpacking libtiff5:armhf (4.1.0+git191117-2) ...
Selecting previously unselected package libxau6:armhf.
Preparing to unpack .../015-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 .../016-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 .../017-libxcb1_1.13.1-2_armhf.deb ...
Unpacking libxcb1:armhf (1.13.1-2) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../018-libx11-data_2%3a1.6.8-1_all.deb ...
Unpacking libx11-data (2:1.6.8-1) ...
Selecting previously unselected package libx11-6:armhf.
Preparing to unpack .../019-libx11-6_2%3a1.6.8-1_armhf.deb ...
Unpacking libx11-6:armhf (2:1.6.8-1) ...
Selecting previously unselected package libicu63:armhf.
Preparing to unpack .../020-libicu63_63.2-2_armhf.deb ...
Unpacking libicu63:armhf (63.2-2) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../021-libxml2_2.9.4+dfsg1-8_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-8) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../022-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 .../023-libgdk-pixbuf2.0-common_2.40.0+dfsg-2+rpi1_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.40.0+dfsg-2+rpi1) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:armhf.
Preparing to unpack .../024-libgdk-pixbuf2.0-0_2.40.0+dfsg-2+rpi1_armhf.deb ...
Unpacking libgdk-pixbuf2.0-0:armhf (2.40.0+dfsg-2+rpi1) ...
Selecting previously unselected package gtk-update-icon-cache.
Preparing to unpack .../025-gtk-update-icon-cache_3.24.13-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.13-1) ...
Selecting previously unselected package libfreetype6:armhf.
Preparing to unpack .../026-libfreetype6_2.10.1-2_armhf.deb ...
Unpacking libfreetype6:armhf (2.10.1-2) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../027-fonts-dejavu-core_2.37-1_all.deb ...
Unpacking fonts-dejavu-core (2.37-1) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../028-fontconfig-config_2.13.1-2_all.deb ...
Unpacking fontconfig-config (2.13.1-2) ...
Selecting previously unselected package libfontconfig1:armhf.
Preparing to unpack .../029-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 .../030-libpixman-1-0_0.36.0-1_armhf.deb ...
Unpacking libpixman-1-0:armhf (0.36.0-1) ...
Selecting previously unselected package libxcb-render0:armhf.
Preparing to unpack .../031-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 .../032-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 .../033-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 .../034-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 .../035-libcairo2_1.16.0-4_armhf.deb ...
Unpacking libcairo2:armhf (1.16.0-4) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../036-libcroco3_0.6.13-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.13-1) ...
Selecting previously unselected package fontconfig.
Preparing to unpack .../037-fontconfig_2.13.1-2_armhf.deb ...
Unpacking fontconfig (2.13.1-2) ...
Selecting previously unselected package libfribidi0:armhf.
Preparing to unpack .../038-libfribidi0_1.0.7-1.1_armhf.deb ...
Unpacking libfribidi0:armhf (1.0.7-1.1) ...
Selecting previously unselected package libthai-data.
Preparing to unpack .../039-libthai-data_0.1.28-3_all.deb ...
Unpacking libthai-data (0.1.28-3) ...
Selecting previously unselected package libdatrie1:armhf.
Preparing to unpack .../040-libdatrie1_0.2.12-3+b1_armhf.deb ...
Unpacking libdatrie1:armhf (0.2.12-3+b1) ...
Selecting previously unselected package libthai0:armhf.
Preparing to unpack .../041-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 .../042-libpango-1.0-0_1.42.4-7+b1_armhf.deb ...
Unpacking libpango-1.0-0:armhf (1.42.4-7+b1) ...
Selecting previously unselected package libgraphite2-3:armhf.
Preparing to unpack .../043-libgraphite2-3_1.3.13-11_armhf.deb ...
Unpacking libgraphite2-3:armhf (1.3.13-11) ...
Selecting previously unselected package libharfbuzz0b:armhf.
Preparing to unpack .../044-libharfbuzz0b_2.6.4-1+rpi1_armhf.deb ...
Unpacking libharfbuzz0b:armhf (2.6.4-1+rpi1) ...
Selecting previously unselected package libpangoft2-1.0-0:armhf.
Preparing to unpack .../045-libpangoft2-1.0-0_1.42.4-7+b1_armhf.deb ...
Unpacking libpangoft2-1.0-0:armhf (1.42.4-7+b1) ...
Selecting previously unselected package libpangocairo-1.0-0:armhf.
Preparing to unpack .../046-libpangocairo-1.0-0_1.42.4-7+b1_armhf.deb ...
Unpacking libpangocairo-1.0-0:armhf (1.42.4-7+b1) ...
Selecting previously unselected package librsvg2-2:armhf.
Preparing to unpack .../047-librsvg2-2_2.46.4-1_armhf.deb ...
Unpacking librsvg2-2:armhf (2.46.4-1) ...
Selecting previously unselected package librsvg2-common:armhf.
Preparing to unpack .../048-librsvg2-common_2.46.4-1_armhf.deb ...
Unpacking librsvg2-common:armhf (2.46.4-1) ...
Selecting previously unselected package adwaita-icon-theme.
Preparing to unpack .../049-adwaita-icon-theme_3.34.0-2_all.deb ...
Unpacking adwaita-icon-theme (3.34.0-2) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../050-libsigsegv2_2.12-2_armhf.deb ...
Unpacking libsigsegv2:armhf (2.12-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../051-m4_1.4.18-4_armhf.deb ...
Unpacking m4 (1.4.18-4) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../052-autoconf_2.69-11.1_all.deb ...
Unpacking autoconf (2.69-11.1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../053-autotools-dev_20180224.1_all.deb ...
Unpacking autotools-dev (20180224.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../054-automake_1%3a1.16.1-4_all.deb ...
Unpacking automake (1:1.16.1-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../055-autopoint_0.19.8.1-10_all.deb ...
Unpacking autopoint (0.19.8.1-10) ...
Selecting previously unselected package coq-theories.
Preparing to unpack .../056-coq-theories_8.9.1-5_armhf.deb ...
Unpacking coq-theories (8.9.1-5) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../057-ocaml-base-nox_4.08.1-8+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.08.1-8+rpi1) ...
Selecting previously unselected package libatk1.0-data.
Preparing to unpack .../058-libatk1.0-data_2.34.1-1_all.deb ...
Unpacking libatk1.0-data (2.34.1-1) ...
Selecting previously unselected package libatk1.0-0:armhf.
Preparing to unpack .../059-libatk1.0-0_2.34.1-1_armhf.deb ...
Unpacking libatk1.0-0:armhf (2.34.1-1) ...
Selecting previously unselected package libgtk2.0-common.
Preparing to unpack .../060-libgtk2.0-common_2.24.32-4_all.deb ...
Unpacking libgtk2.0-common (2.24.32-4) ...
Selecting previously unselected package libavahi-common-data:armhf.
Preparing to unpack .../061-libavahi-common-data_0.7-5_armhf.deb ...
Unpacking libavahi-common-data:armhf (0.7-5) ...
Selecting previously unselected package libavahi-common3:armhf.
Preparing to unpack .../062-libavahi-common3_0.7-5_armhf.deb ...
Unpacking libavahi-common3:armhf (0.7-5) ...
Selecting previously unselected package libdbus-1-3:armhf.
Preparing to unpack .../063-libdbus-1-3_1.12.16-2+b1_armhf.deb ...
Unpacking libdbus-1-3:armhf (1.12.16-2+b1) ...
Selecting previously unselected package libavahi-client3:armhf.
Preparing to unpack .../064-libavahi-client3_0.7-5_armhf.deb ...
Unpacking libavahi-client3:armhf (0.7-5) ...
Selecting previously unselected package libkeyutils1:armhf.
Preparing to unpack .../065-libkeyutils1_1.6.1-2_armhf.deb ...
Unpacking libkeyutils1:armhf (1.6.1-2) ...
Selecting previously unselected package libkrb5support0:armhf.
Preparing to unpack .../066-libkrb5support0_1.17-6+b1_armhf.deb ...
Unpacking libkrb5support0:armhf (1.17-6+b1) ...
Selecting previously unselected package libk5crypto3:armhf.
Preparing to unpack .../067-libk5crypto3_1.17-6+b1_armhf.deb ...
Unpacking libk5crypto3:armhf (1.17-6+b1) ...
Selecting previously unselected package libkrb5-3:armhf.
Preparing to unpack .../068-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 .../069-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 .../070-libcups2_2.3.1-4_armhf.deb ...
Unpacking libcups2:armhf (2.3.1-4) ...
Selecting previously unselected package libxcomposite1:armhf.
Preparing to unpack .../071-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 .../072-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 .../073-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 .../074-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 .../075-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 .../076-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 .../077-libxrandr2_2%3a1.5.1-1_armhf.deb ...
Unpacking libxrandr2:armhf (2:1.5.1-1) ...
Selecting previously unselected package libgtk2.0-0:armhf.
Preparing to unpack .../078-libgtk2.0-0_2.24.32-4_armhf.deb ...
Unpacking libgtk2.0-0:armhf (2.24.32-4) ...
Selecting previously unselected package libglade2-0:armhf.
Preparing to unpack .../079-libglade2-0_1%3a2.6.4-2+b1_armhf.deb ...
Unpacking libglade2-0:armhf (1:2.6.4-2+b1) ...
Selecting previously unselected package emacsen-common.
Preparing to unpack .../080-emacsen-common_3.0.4_all.deb ...
Unpacking emacsen-common (3.0.4) ...
Selecting previously unselected package dictionaries-common.
Preparing to unpack .../081-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 hunspell-en-us.
Preparing to unpack .../082-hunspell-en-us_1%3a2018.04.16-1_all.deb ...
Unpacking hunspell-en-us (1:2018.04.16-1) ...
Selecting previously unselected package libaspell15:armhf.
Preparing to unpack .../083-libaspell15_0.60.8-1_armhf.deb ...
Unpacking libaspell15:armhf (0.60.8-1) ...
Selecting previously unselected package libhunspell-1.7-0:armhf.
Preparing to unpack .../084-libhunspell-1.7-0_1.7.0-2+b4_armhf.deb ...
Unpacking libhunspell-1.7-0:armhf (1.7.0-2+b4) ...
Selecting previously unselected package libenchant-2-2:armhf.
Preparing to unpack .../085-libenchant-2-2_2.2.7+repack1-1_armhf.deb ...
Unpacking libenchant-2-2:armhf (2.2.7+repack1-1) ...
Selecting previously unselected package libgtkspell0:armhf.
Preparing to unpack .../086-libgtkspell0_2.0.16-1.3_armhf.deb ...
Unpacking libgtkspell0:armhf (2.0.16-1.3) ...
Selecting previously unselected package liblablgtk2-ocaml.
Preparing to unpack .../087-liblablgtk2-ocaml_2.18.8+dfsg-1+b1_armhf.deb ...
Unpacking liblablgtk2-ocaml (2.18.8+dfsg-1+b1) ...
Selecting previously unselected package libgtksourceview2.0-common.
Preparing to unpack .../088-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 .../089-libgtksourceview2.0-0_2.10.5-3_armhf.deb ...
Unpacking libgtksourceview2.0-0:armhf (2.10.5-3) ...
Selecting previously unselected package liblablgtksourceview2-ocaml.
Preparing to unpack .../090-liblablgtksourceview2-ocaml_2.18.8+dfsg-1+b1_armhf.deb ...
Unpacking liblablgtksourceview2-ocaml (2.18.8+dfsg-1+b1) ...
Selecting previously unselected package libnum-ocaml.
Preparing to unpack .../091-libnum-ocaml_1.3-1_armhf.deb ...
Unpacking libnum-ocaml (1.3-1) ...
Selecting previously unselected package libcoq-ocaml.
Preparing to unpack .../092-libcoq-ocaml_8.9.1-5_armhf.deb ...
Unpacking libcoq-ocaml (8.9.1-5) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../093-libncurses6_6.1+20191019-1_armhf.deb ...
Unpacking libncurses6:armhf (6.1+20191019-1) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../094-libncurses-dev_6.1+20191019-1_armhf.deb ...
Unpacking libncurses-dev:armhf (6.1+20191019-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../095-libncurses5-dev_6.1+20191019-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.1+20191019-1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../096-ocaml-compiler-libs_4.08.1-8+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.08.1-8+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../097-ocaml-interp_4.08.1-8+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.08.1-8+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../098-ocaml-nox_4.08.1-8+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.08.1-8+rpi1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../099-libfindlib-ocaml_1.8.1-1+b1_armhf.deb ...
Unpacking libfindlib-ocaml (1.8.1-1+b1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../100-ocaml-findlib_1.8.1-1+b1_armhf.deb ...
Unpacking ocaml-findlib (1.8.1-1+b1) ...
Selecting previously unselected package coq.
Preparing to unpack .../101-coq_8.9.1-5_armhf.deb ...
Unpacking coq (8.9.1-5) ...
Selecting previously unselected package libtool.
Preparing to unpack .../102-libtool_2.4.6-11_all.deb ...
Unpacking libtool (2.4.6-11) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../103-dh-autoreconf_19_all.deb ...
Unpacking dh-autoreconf (19) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../104-libdebhelper-perl_12.9_all.deb ...
Unpacking libdebhelper-perl (12.9) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../105-libarchive-zip-perl_1.67-1_all.deb ...
Unpacking libarchive-zip-perl (1.67-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../106-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 .../107-libfile-stripnondeterminism-perl_1.6.3-2_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.6.3-2) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../108-dh-strip-nondeterminism_1.6.3-2_all.deb ...
Unpacking dh-strip-nondeterminism (1.6.3-2) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../109-libelf1_0.176-1.1_armhf.deb ...
Unpacking libelf1:armhf (0.176-1.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../110-dwz_0.13-5_armhf.deb ...
Unpacking dwz (0.13-5) ...
Selecting previously unselected package gettext.
Preparing to unpack .../111-gettext_0.19.8.1-10_armhf.deb ...
Unpacking gettext (0.19.8.1-10) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../112-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 .../113-po-debconf_1.0.21_all.deb ...
Unpacking po-debconf (1.0.21) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../114-debhelper_12.9_all.deb ...
Unpacking debhelper (12.9) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../115-dh-ocaml_1.1.1_all.deb ...
Unpacking dh-ocaml (1.1.1) ...
Selecting previously unselected package ocaml-dune.
Preparing to unpack .../116-ocaml-dune_2.1.3-2_armhf.deb ...
Unpacking ocaml-dune (2.1.3-2) ...
Selecting previously unselected package sbuild-build-depends-menhir-dummy.
Preparing to unpack .../117-sbuild-build-depends-menhir-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Setting up libpipeline1:armhf (1.5.2-2) ...
Setting up libtext-iconv-perl (1.7-7) ...
Setting up libgraphite2-3:armhf (1.3.13-11) ...
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.1-2) ...
Setting up mime-support (3.64) ...
Setting up hicolor-icon-theme (0.17-2) ...
Setting up libdatrie1:armhf (0.2.12-3+b1) ...
Setting up libmagic-mgc (1:5.38-4) ...
Setting up libarchive-zip-perl (1.67-1) ...
Setting up libglib2.0-0:armhf (2.62.4-1+rpi1) ...
No schema files found: doing nothing.
Setting up libaspell15:armhf (0.60.8-1) ...
Setting up libdebhelper-perl (12.9) ...
Setting up libgdk-pixbuf2.0-common (2.40.0+dfsg-2+rpi1) ...
Setting up dh-ocaml (1.1.1) ...
Setting up libmagic1:armhf (1:5.38-4) ...
Setting up gettext-base (0.19.8.1-10) ...
Setting up file (1:5.38-4) ...
Setting up libjbig0:armhf (2.1-3.1+b2) ...
Setting up libicu63:armhf (63.2-2) ...
Setting up libkrb5support0:armhf (1.17-6+b1) ...
Setting up ocaml-dune (2.1.3-2) ...
Setting up autotools-dev (20180224.1) ...
Setting up libjpeg62-turbo:armhf (1:1.5.2-2+b1) ...
Setting up emacsen-common (3.0.4) ...
Setting up libx11-data (2:1.6.8-1) ...
Setting up libavahi-common-data:armhf (0.7-5) ...
Setting up libgtksourceview2.0-common (2.10.5-3) ...
Setting up libncurses6:armhf (6.1+20191019-1) ...
Setting up libdbus-1-3:armhf (1.12.16-2+b1) ...
Setting up libsigsegv2:armhf (2.12-2) ...
Setting up libfribidi0:armhf (1.0.7-1.1) ...
Setting up libpng16-16:armhf (1.6.37-2) ...
Setting up autopoint (0.19.8.1-10) ...
Setting up libwebp6:armhf (0.6.1-2) ...
Setting up fonts-dejavu-core (2.37-1) ...
Setting up libk5crypto3:armhf (1.17-6+b1) ...
Setting up libatk1.0-data (2.34.1-1) ...
Setting up sensible-utils (0.0.12+nmu1) ...
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 libgtk2.0-common (2.24.32-4) ...
Setting up libatk1.0-0:armhf (2.34.1-1) ...
Setting up libkrb5-3:armhf (1.17-6+b1) ...
Setting up libtiff5:armhf (4.1.0+git191117-2) ...
Setting up ocaml-base-nox (4.08.1-8+rpi1) ...
Setting up libmpdec2:armhf (2.4.2-2) ...
Setting up libhunspell-1.7-0:armhf (1.7.0-2+b4) ...
Setting up libbsd0:armhf (0.10.0-1) ...
Setting up libtinfo5:armhf (6.1+20191019-1) ...
Setting up libelf1:armhf (0.176-1.1) ...
Setting up libxml2:armhf (2.9.4+dfsg1-8) ...
Setting up libfile-stripnondeterminism-perl (1.6.3-2) ...
Setting up libxdmcp6:armhf (1:1.1.2-3) ...
Setting up libpython3.7-stdlib:armhf (3.7.6-1+b1) ...
Setting up libncurses-dev:armhf (6.1+20191019-1) ...
Setting up libxcb1:armhf (1.13.1-2) ...
Setting up dictionaries-common (1.28.1) ...
Setting up libtool (2.4.6-11) ...
Setting up libxcb-render0:armhf (1.13.1-2) ...
Setting up libavahi-common3:armhf (0.7-5) ...
Setting up libfindlib-ocaml (1.8.1-1+b1) ...
Setting up m4 (1.4.18-4) ...
Setting up libxcb-shm0:armhf (1.13.1-2) ...
Setting up libthai0:armhf (0.1.28-3) ...
Setting up libfreetype6:armhf (2.10.1-2) ...
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+b1) ...
Setting up libgssapi-krb5-2:armhf (1.17-6+b1) ...
Setting up libcroco3:armhf (0.6.13-1) ...
Setting up ucf (3.0038+nmu1) ...
Setting up autoconf (2.69-11.1) ...
Setting up dh-strip-nondeterminism (1.6.3-2) ...
Setting up libnum-ocaml (1.3-1) ...
Setting up dwz (0.13-5) ...
Setting up groff-base (1.22.4-4) ...
Setting up libncurses5-dev:armhf (6.1+20191019-1) ...
Setting up hunspell-en-us (1:2018.04.16-1) ...
Setting up libx11-6:armhf (2:1.6.8-1) ...
Setting up libharfbuzz0b:armhf (2.6.4-1+rpi1) ...
Setting up libxcomposite1:armhf (1:0.4.4-2) ...
Setting up libavahi-client3:armhf (0.7-5) ...
Setting up libpython3-stdlib:armhf (3.7.5-3) ...
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.6-1+b1) ...
Setting up gettext (0.19.8.1-10) ...
Setting up libxrender1:armhf (1:0.9.10-1) ...
Setting up libenchant-2-2:armhf (2.2.7+repack1-1) ...
Setting up fontconfig-config (2.13.1-2) ...
Setting up libxext6:armhf (2:1.3.3-1+b2) ...
Setting up python3 (3.7.5-3) ...
Setting up man-db (2.9.0-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up libxfixes3:armhf (1:5.0.3-1) ...
Setting up libgdk-pixbuf2.0-0:armhf (2.40.0+dfsg-2+rpi1) ...
Setting up libxinerama1:armhf (2:1.1.4-2) ...
Setting up libxrandr2:armhf (2:1.5.1-1) ...
Setting up libcups2:armhf (2.3.1-4) ...
Setting up libfontconfig1:armhf (2.13.1-2) ...
Setting up gtk-update-icon-cache (3.24.13-1) ...
Setting up fontconfig (2.13.1-2) ...
Regenerating fonts cache... done.
Setting up libxdamage1:armhf (1:1.1.5-1) ...
Setting up libxi6:armhf (2:1.7.9-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+b1) ...
Setting up libcairo2:armhf (1.16.0-4) ...
Setting up libpangoft2-1.0-0:armhf (1.42.4-7+b1) ...
Setting up libpangocairo-1.0-0:armhf (1.42.4-7+b1) ...
Setting up librsvg2-2:armhf (2.46.4-1) ...
Setting up librsvg2-common:armhf (2.46.4-1) ...
Setting up adwaita-icon-theme (3.34.0-2) ...
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 libgtk2.0-0:armhf (2.24.32-4) ...
Setting up libgtksourceview2.0-0:armhf (2.10.5-3) ...
Setting up libgtkspell0:armhf (2.0.16-1.3) ...
Setting up libglade2-0:armhf (1:2.6.4-2+b1) ...
Setting up liblablgtk2-ocaml (2.18.8+dfsg-1+b1) ...
Setting up liblablgtksourceview2-ocaml (2.18.8+dfsg-1+b1) ...
Setting up libcoq-ocaml (8.9.1-5) ...
Setting up coq-theories (8.9.1-5) ...
Setting up dh-autoreconf (19) ...
Setting up ocaml-compiler-libs (4.08.1-8+rpi1) ...
Setting up debhelper (12.9) ...
Setting up ocaml-interp (4.08.1-8+rpi1) ...
Setting up ocaml-nox (4.08.1-8+rpi1) ...
Setting up coq (8.9.1-5) ...
Setting up sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.29-9+rpi1) ...
Processing triggers for dictionaries-common (1.28.1) ...
Processing triggers for libgdk-pixbuf2.0-0:armhf (2.40.0+dfsg-2+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.15.0-76-generic armhf (armv8l)
Toolchain package versions: binutils_2.33.90.20200122-2+rpi1 dpkg-dev_1.19.7 g++-9_9.2.1-25+rpi1 gcc-9_9.2.1-25+rpi1 libc6-dev_2.29-9+rpi1 libstdc++-9-dev_9.2.1-25+rpi1 libstdc++6_9.2.1-25+rpi1 linux-libc-dev_5.2.17-1+rpi1+b2
Package versions: adduser_3.118 adwaita-icon-theme_3.34.0-2 apt_1.8.4 autoconf_2.69-11.1 automake_1:1.16.1-4 autopoint_0.19.8.1-10 autotools-dev_20180224.1 base-files_11+rpi1 base-passwd_3.5.47 bash_5.0-5 binutils_2.33.90.20200122-2+rpi1 binutils-arm-linux-gnueabihf_2.33.90.20200122-2+rpi1 binutils-common_2.33.90.20200122-2+rpi1 bsdmainutils_11.1.2 bsdutils_1:2.34-0.1 build-essential_12.8 bzip2_1.0.8-2 coq_8.9.1-5 coq-theories_8.9.1-5 coreutils_8.30-3 cpp_4:9.2.1-3.1+rpi1 cpp-9_9.2.1-25+rpi1 dash_0.5.10.2-6 debconf_1.5.73 debhelper_12.9 debianutils_4.9.1 dh-autoreconf_19 dh-ocaml_1.1.1 dh-strip-nondeterminism_1.6.3-2 dictionaries-common_1.28.1 diffutils_1:3.7-3 dirmngr_2.2.19-1 dpkg_1.19.7 dpkg-dev_1.19.7 dwz_0.13-5 e2fsprogs_1.45.5-2 emacsen-common_3.0.4 fakeroot_1.24-1 fdisk_2.34-0.1 file_1:5.38-4 findutils_4.7.0-1 fontconfig_2.13.1-2 fontconfig-config_2.13.1-2 fonts-dejavu-core_2.37-1 g++_4:9.2.1-3.1+rpi1 g++-9_9.2.1-25+rpi1 gcc_4:9.2.1-3.1+rpi1 gcc-9_9.2.1-25+rpi1 gcc-9-base_9.2.1-25+rpi1 gettext_0.19.8.1-10 gettext-base_0.19.8.1-10 gnupg_2.2.19-1 gnupg-l10n_2.2.19-1 gnupg-utils_2.2.19-1 gpg_2.2.19-1 gpg-agent_2.2.19-1 gpg-wks-client_2.2.19-1 gpg-wks-server_2.2.19-1 gpgconf_2.2.19-1 gpgsm_2.2.19-1 gpgv_2.2.19-1 grep_3.4-1 groff-base_1.22.4-4 gtk-update-icon-cache_3.24.13-1 gzip_1.9-3 hicolor-icon-theme_0.17-2 hostname_3.23 hunspell-en-us_1:2018.04.16-1 init-system-helpers_1.57 intltool-debian_0.35.0+20060710.5 iputils-ping_3:20190709-3 libacl1_2.2.53-5 libapt-pkg5.0_1.8.4 libarchive-zip-perl_1.67-1 libasan5_9.2.1-25+rpi1 libaspell15_0.60.8-1 libassuan0_2.5.3-7 libatk1.0-0_2.34.1-1 libatk1.0-data_2.34.1-1 libatomic1_9.2.1-25+rpi1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-2 libaudit1_1:2.8.5-2+b1 libavahi-client3_0.7-5 libavahi-common-data_0.7-5 libavahi-common3_0.7-5 libbinutils_2.33.90.20200122-2+rpi1 libblkid1_2.34-0.1 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-2 libc-bin_2.29-9+rpi1 libc-dev-bin_2.29-9+rpi1 libc6_2.29-9+rpi1 libc6-dev_2.29-9+rpi1 libcairo2_1.16.0-4 libcap-ng0_0.7.9-2.1 libcap2_1:2.27-1 libcap2-bin_1:2.27-1 libcc1-0_9.2.1-25+rpi1 libcom-err2_1.45.5-2 libcoq-ocaml_8.9.1-5 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.10-10+b5 libcrypt1_1:4.4.10-10+b5 libctf-nobfd0_2.33.90.20200122-2+rpi1 libctf0_2.33.90.20200122-2+rpi1 libcups2_2.3.1-4 libdatrie1_0.2.12-3+b1 libdb5.3_5.3.28+dfsg1-0.6 libdbus-1-3_1.12.16-2+b1 libdebconfclient0_0.250 libdebhelper-perl_12.9 libdpkg-perl_1.19.7 libelf1_0.176-1.1 libenchant-2-2_2.2.7+repack1-1 libexpat1_2.2.9-1 libext2fs2_1.45.5-2 libfakeroot_1.24-1 libfdisk1_2.34-0.1 libffi7_3.3-3 libfile-stripnondeterminism-perl_1.6.3-2 libfindlib-ocaml_1.8.1-1+b1 libfontconfig1_2.13.1-2 libfreetype6_2.10.1-2 libfribidi0_1.0.7-1.1 libgcc-9-dev_9.2.1-25+rpi1 libgcc1_1:9.2.1-25+rpi1 libgcrypt20_1.8.5-3 libgdbm-compat4_1.18.1-5 libgdbm6_1.18.1-5 libgdk-pixbuf2.0-0_2.40.0+dfsg-2+rpi1 libgdk-pixbuf2.0-common_2.40.0+dfsg-2+rpi1 libglade2-0_1:2.6.4-2+b1 libglib2.0-0_2.62.4-1+rpi1 libgmp10_2:6.1.2+dfsg-4 libgnutls30_3.6.11.1-2 libgomp1_9.2.1-25+rpi1 libgpg-error0_1.36-7 libgraphite2-3_1.3.13-11 libgssapi-krb5-2_1.17-6+b1 libgtk2.0-0_2.24.32-4 libgtk2.0-common_2.24.32-4 libgtksourceview2.0-0_2.10.5-3 libgtksourceview2.0-common_2.10.5-3 libgtkspell0_2.0.16-1.3 libharfbuzz0b_2.6.4-1+rpi1 libhogweed5_3.5.1+really3.5.1-2 libhunspell-1.7-0_1.7.0-2+b4 libicu63_63.2-2 libidn2-0_2.2.0-2 libisl22_0.22-2 libjbig0_2.1-3.1+b2 libjpeg62-turbo_1:1.5.2-2+b1 libk5crypto3_1.17-6+b1 libkeyutils1_1.6.1-2 libkrb5-3_1.17-6+b1 libkrb5support0_1.17-6+b1 libksba8_1.3.5-2 liblablgtk2-ocaml_2.18.8+dfsg-1+b1 liblablgtksourceview2-ocaml_2.18.8+dfsg-1+b1 libldap-2.4-2_2.4.48+dfsg-1+b2 libldap-common_2.4.48+dfsg-1 liblz4-1_1.9.2-2 liblzma5_5.2.4-1 libmagic-mgc_1:5.38-4 libmagic1_1:5.38-4 libmount1_2.34-0.1 libmpc3_1.1.0-1 libmpdec2_2.4.2-2 libmpfr6_4.0.2-1 libncurses-dev_6.1+20191019-1 libncurses5-dev_6.1+20191019-1 libncurses6_6.1+20191019-1 libncursesw6_6.1+20191019-1 libnettle7_3.5.1+really3.5.1-2 libnpth0_1.6-1 libnum-ocaml_1.3-1 libp11-kit0_0.23.18.1-2+b1 libpam-cap_1:2.27-1 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+b1 libpangocairo-1.0-0_1.42.4-7+b1 libpangoft2-1.0-0_1.42.4-7+b1 libpcre2-8-0_10.34-7 libpcre3_2:8.39-12 libperl5.30_5.30.0-9 libpipeline1_1.5.2-2 libpixman-1-0_0.36.0-1 libpng16-16_1.6.37-2 libpython3-stdlib_3.7.5-3 libpython3.7-minimal_3.7.6-1+b1 libpython3.7-stdlib_3.7.6-1+b1 libreadline7_7.0-5 libreadline8_8.0-3 librsvg2-2_2.46.4-1 librsvg2-common_2.46.4-1 libsasl2-2_2.1.27+dfsg-2 libsasl2-modules-db_2.1.27+dfsg-2 libseccomp2_2.4.2-2+rpi1 libselinux1_3.0-1 libsemanage-common_3.0-1 libsemanage1_3.0-1 libsepol1_3.0-1 libsigsegv2_2.12-2 libsmartcols1_2.34-0.1 libsqlite3-0_3.31.0+really3.30.1+fossil191229-1 libss2_1.45.5-2 libssl1.1_1.1.1d-2 libstdc++-9-dev_9.2.1-25+rpi1 libstdc++6_9.2.1-25+rpi1 libsub-override-perl_0.09-2 libsystemd0_244.1-1+rpi1 libtasn1-6_4.15.0-2 libtext-iconv-perl_1.7-7 libthai-data_0.1.28-3 libthai0_0.1.28-3 libtiff5_4.1.0+git191117-2 libtinfo5_6.1+20191019-1 libtinfo6_6.1+20191019-1 libtool_2.4.6-11 libubsan1_9.2.1-25+rpi1 libuchardet0_0.0.6-3 libudev1_244.1-1+rpi1 libunistring2_0.9.10-2 libuuid1_2.34-0.1 libwebp6_0.6.1-2 libx11-6_2:1.6.8-1 libx11-data_2:1.6.8-1 libxau6_1:1.0.8-1+b2 libxcb-render0_1.13.1-2 libxcb-shm0_1.13.1-2 libxcb1_1.13.1-2 libxcomposite1_1:0.4.4-2 libxcursor1_1:1.2.0-2 libxdamage1_1:1.1.5-1 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.3-1+b2 libxfixes3_1:5.0.3-1 libxi6_2:1.7.9-1 libxinerama1_2:1.1.4-2 libxml2_2.9.4+dfsg1-8 libxrandr2_2:1.5.1-1 libxrender1_1:0.9.10-1 libzstd1_1.4.4+dfsg-1+rpi1 linux-libc-dev_5.2.17-1+rpi1+b2 login_1:4.8-1 logsave_1.45.5-2 lsb-base_11.1.0+rpi1 m4_1.4.18-4 make_4.2.1-1.2 man-db_2.9.0-2 mawk_1.3.4.20200120-1 mime-support_3.64 mount_2.34-0.1 ncurses-base_6.1+20191019-1 ncurses-bin_6.1+20191019-1 netbase_6.0 ocaml-base-nox_4.08.1-8+rpi1 ocaml-compiler-libs_4.08.1-8+rpi1 ocaml-dune_2.1.3-2 ocaml-findlib_1.8.1-1+b1 ocaml-interp_4.08.1-8+rpi1 ocaml-nox_4.08.1-8+rpi1 passwd_1:4.8-1 patch_2.7.6-6 perl_5.30.0-9 perl-base_5.30.0-9 perl-modules-5.30_5.30.0-9 pinentry-curses_1.1.0-3 po-debconf_1.0.21 python3_3.7.5-3 python3-minimal_3.7.5-3 python3.7_3.7.6-1+b1 python3.7-minimal_3.7.6-1+b1 raspbian-archive-keyring_20120528.2 readline-common_8.0-3 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-menhir-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 shared-mime-info_1.10-1 sysvinit-utils_2.96-2.1 tar_1.30+dfsg-6 tzdata_2019c-3 ucf_3.0038+nmu1 util-linux_2.34-0.1 xz-utils_5.2.4-1 zlib1g_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 Sat Feb 8 18:15:14 2020 UTC
gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./menhir_20200123-1.dsc
dpkg-source: info: extracting menhir in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking menhir_20200123.orig.tar.gz
dpkg-source: info: unpacking menhir_20200123-1.debian.tar.xz
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-94998a28-ae9a-4f85-9e78-1431e629045b
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package menhir
dpkg-buildpackage: info: source version 20200123-1
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>>'
dune clean
/usr/bin/make -C coq-menhirlib clean
make[2]: Entering directory '/<<PKGBUILDDIR>>/coq-menhirlib'
make[2]: Leaving directory '/<<PKGBUILDDIR>>/coq-menhirlib'
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
dh_ocamlinit -a
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dune build @install
pack lib/pack/menhirLib.{ml,mli}
Creating menhirLib.ml...
Creating menhirLib.mli...
menhir src/stage2/parser.{ml,mli}
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
The action table is 13984 entries; 1795 non-zero; 1566 compressed.
The action table occupies roughly 3176 bytes.
The goto table is 20976 entries; 360 non-zero; 728 compressed.
The goto table occupies roughly 1500 bytes.
The error table occupies roughly 1764 bytes.
The default_reduction table occupies roughly 384 bytes.
The lhs table occupies roughly 148 bytes.
The trace table occupies roughly 4 bytes.
menhir src/stage2/parserMessages.check
Read 105 sample input sentences and 105 error messages.
Read 105 sample input sentences and 50 error messages.
menhir src/stage2/parserMessages.ml
Read 105 sample input sentences and 50 error messages.
/usr/bin/make -C coq-menhirlib
make[2]: Entering directory '/<<PKGBUILDDIR>>/coq-menhirlib'
Compiling Alphabet...
Compiling Grammar...
Compiling Automaton...
Compiling Validator_classes...
Compiling Validator_complete...
Compiling Validator_safe...
Compiling Interpreter...
Compiling Interpreter_complete...
Compiling Interpreter_correct...
Compiling Version...
Compiling Main...
make[2]: Leaving directory '/<<PKGBUILDDIR>>/coq-menhirlib'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
create-stamp debian/debhelper-build-stamp
fakeroot debian/rules binary-arch
dh binary-arch --with ocaml
dh_testroot -a
dh_prep -a
dh_installdirs -a
debian/rules override_dh_auto_install
make[1]: Entering directory '/<<PKGBUILDDIR>>'
DESTDIR=/<<PKGBUILDDIR>>/debian/tmp dune install
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/coq-menhirlib/META
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/coq-menhirlib/dune-package
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/coq-menhirlib/CHANGES.md
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/coq-menhirlib/LICENSE
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/coq-menhirlib/README.md
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhir/META
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhir/dune-package
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/bin/menhir
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhir/CHANGES.md
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhir/LICENSE
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhir/README.md
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhir/manual.html
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhir/manual.pdf
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhir/manual001.png
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhir/manual002.png
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhir/manual003.png
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/man/man1/menhir.1
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirLib/META
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirLib/dune-package
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.a
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cma
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmi
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmt
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmti
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmx
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmxa
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.cmxs
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.ml
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirLib/menhirLib.mli
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhirLib/CHANGES.md
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhirLib/LICENSE
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhirLib/README.md
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/META
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_api.ml
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_format.ml
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_read.ml
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/cmly_read.mli
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/dune-package
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/keyword.ml
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/keyword.mli
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.a
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cma
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmi
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmt
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmx
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmxa
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk.ml
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmi
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmt
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmx
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmi
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmt
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmx
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmi
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmt
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmti
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmx
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmi
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmt
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmti
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmx
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmi
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmt
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmx
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/lib/ocaml/menhirSdk/version.ml
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhirSdk/CHANGES.md
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhirSdk/LICENSE
Installing /<<PKGBUILDDIR>>/debian/tmp/usr/doc/menhirSdk/README.md
DESTDIR=/<<PKGBUILDDIR>>/debian/tmp /usr/bin/make -C coq-menhirlib install
make[2]: Entering directory '/<<PKGBUILDDIR>>/coq-menhirlib'
rm -rf /<<PKGBUILDDIR>>/debian/tmp/usr/lib/coq/user-contrib/MenhirLib
mkdir -p /<<PKGBUILDDIR>>/debian/tmp/usr/lib/coq/user-contrib/MenhirLib
install -m 644 *.v *.vo *.glob /<<PKGBUILDDIR>>/debian/tmp/usr/lib/coq/user-contrib/MenhirLib
make[2]: Leaving directory '/<<PKGBUILDDIR>>/coq-menhirlib'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_install -a
dh_ocamldoc -a
dh_installdocs -a
dh_installchangelogs -a
dh_installman -a
dh_perl -a
dh_link -a
dh_strip_nondeterminism -a
dh_compress -a
dh_fixperms -a
debian/rules override_dh_missing
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_missing --fail-missing
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_dwz -a
dwz: debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs: DWARF compression not beneficial - old size 112 new size 112
dwz: No suitable DWARF found for multifile optimization
dh_dwz: warning: No dwz multifile created, but not explicitly requested either so ignoring it.
dh_dwz: warning: Common issues include no debug information at all (missing -g) and
dh_dwz: warning: compressed debug information (#931891).
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dh_installdeb -a
dh_ocaml -a
debian/rules override_dh_gencontrol
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_gencontrol -- -VF:CoqABI="8.9.1+4.08.1"
dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package libmenhir-coq: substitution variable ${ocaml:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package libmenhir-coq: substitution variable ${shlibs:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package 'menhir' in '../menhir_20200123-1_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20200123-1_armhf.deb'.
dpkg-deb: building package 'libmenhir-coq' in '../libmenhir-coq_20200123-1_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev-dbgsym' in '../libmenhir-ocaml-dev-dbgsym_20200123-1_armhf.deb'.
dpkg-deb: building package 'menhir-dbgsym' in '../menhir-dbgsym_20200123-1_armhf.deb'.
dpkg-genbuildinfo --build=any
dpkg-genchanges --build=any -mRaspbian mythic lxc autobuilder 1 <root@raspbian.org> >../menhir_20200123-1_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 2020-02-16T08:40:36Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
menhir_20200123-1_armhf.changes:
--------------------------------
Format: 1.8
Date: Sat, 08 Feb 2020 10:50:13 +0100
Source: menhir
Binary: libmenhir-coq libmenhir-ocaml-dev libmenhir-ocaml-dev-dbgsym menhir menhir-dbgsym
Architecture: armhf
Version: 20200123-1
Distribution: bullseye-staging
Urgency: medium
Maintainer: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libmenhir-coq - Support library for verified Coq parsers produced by Menhir
libmenhir-ocaml-dev - Menhir library for OCaml
menhir - Parser generator for OCaml
Changes:
menhir (20200123-1) unstable; urgency=medium
.
* New upstream version
* Drop patch demos-enable-bytecode as the collection of demos is no longer
part of upstream
* Build-dependencies:
- tighten version of ocaml-nox
- drop ocamlbuild and ocaml-findlib
- add ocaml-dune
- debian/rules:
- switch to the new build system using dune
- drop override for dh_auto_test which is no longer needed
- drop override for dh_dwz which is no longer needed
- Installation:
- install menhir.1 through debian/menhir.manpages
- drop installation of empty directory usr/menhir/share
- upstream installs documentation in /usr/doc
- no more examples to install
- create file d/not-installed, listing redundant CHANGES.md, LICENCE.md,
README.md files
* as-installed tests: since upstream does not distribute the demos any
longer we use our own copy of relevant testcases in debian/tests.
* Standards-version 4.5.0 (no change)
Checksums-Sha1:
fb5cb557f9751a9ee4ec4a1b89482848277df7f9 1370864 libmenhir-coq_20200123-1_armhf.deb
19f6466a1e7f597208e9609f995a08b78e98f28b 13328 libmenhir-ocaml-dev-dbgsym_20200123-1_armhf.deb
ed52b398d455b8d8de0871e3d0f3b5b71f566c68 478904 libmenhir-ocaml-dev_20200123-1_armhf.deb
c0a98410a79cb5ab0c9caa4e34b526adb26128cd 194692 menhir-dbgsym_20200123-1_armhf.deb
cba3920d604c7eee337496966c079ddbec77e6d7 8959 menhir_20200123-1_armhf.buildinfo
537e35ab9bd0c8b69003d886400f9e2c6e34c30f 710716 menhir_20200123-1_armhf.deb
Checksums-Sha256:
4186280ee2f63aa65e9656ac939d64224b508199fed90634d296639530ab7ff8 1370864 libmenhir-coq_20200123-1_armhf.deb
7a9bc8eb475d0a67d2508949c7e993790f3bacfe123bdccbc18963817ad8ca5a 13328 libmenhir-ocaml-dev-dbgsym_20200123-1_armhf.deb
4e7c95c03a412a81c8c3b35e0c9f880e74ef42c540c0d8acb5e62937f12bb36b 478904 libmenhir-ocaml-dev_20200123-1_armhf.deb
d8d1d328da98617338311f9288b236d3125bfc96ddcbca79cd59ed81f49ff995 194692 menhir-dbgsym_20200123-1_armhf.deb
e46a3c711d2c7f26349584d05368f30e4ef93121c28cc08debfe8696f2413cb9 8959 menhir_20200123-1_armhf.buildinfo
8413ebc20245eaedc131bcfb2383f4557f2a9ca98572fda5dcded272f96075e2 710716 menhir_20200123-1_armhf.deb
Files:
eeeb06e27114f07efc7ff06409e9c4f5 1370864 ocaml optional libmenhir-coq_20200123-1_armhf.deb
8aa034356e3f5ad1f3e690419c794ffb 13328 debug optional libmenhir-ocaml-dev-dbgsym_20200123-1_armhf.deb
056969861cdaf4235e31f7d3768783cf 478904 ocaml optional libmenhir-ocaml-dev_20200123-1_armhf.deb
11cb2436fa1b89c7dcd9d355f3591baf 194692 debug optional menhir-dbgsym_20200123-1_armhf.deb
89aa0849f436e1e815afa77f6a57023a 8959 ocaml optional menhir_20200123-1_armhf.buildinfo
79b6e52b255527080d1c3d525241236d 710716 ocaml optional menhir_20200123-1_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
libmenhir-coq_20200123-1_armhf.deb
----------------------------------
new Debian package, version 2.0.
size 1370864 bytes: control archive=1644 bytes.
775 bytes, 20 lines control
3051 bytes, 36 lines md5sums
Package: libmenhir-coq
Source: menhir
Version: 20200123-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 5402
Depends: coq-8.9.1+4.08.1
Recommends: menhir
Section: ocaml
Priority: optional
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description: Support library for verified Coq parsers produced by Menhir
The Menhir parser generator, when invoked with the --coq option, produces
parser code in the Coq language.
.
These parsers must be linked against this library, which provides
both an interpreter (which allows running the generated parser) and
a validator (which allows verifying, at parser construction time,
that the generated parser is correct and complete with respect to
the grammar).
drwxr-xr-x root/root 0 2020-02-08 09:50 ./
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/coq/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/coq/user-contrib/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/
-rw-r--r-- root/root 33880 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.glob
-rw-r--r-- root/root 8570 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.v
-rw-r--r-- root/root 83966 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.vo
-rw-r--r-- root/root 9017 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.glob
-rw-r--r-- root/root 6620 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.v
-rw-r--r-- root/root 114426 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.vo
-rw-r--r-- root/root 10889 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.glob
-rw-r--r-- root/root 6111 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.v
-rw-r--r-- root/root 74655 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.vo
-rw-r--r-- root/root 43689 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.glob
-rw-r--r-- root/root 18386 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.v
-rw-r--r-- root/root 305276 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.vo
-rw-r--r-- root/root 108430 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.glob
-rw-r--r-- root/root 33610 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.v
-rw-r--r-- root/root 1498109 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.vo
-rw-r--r-- root/root 20073 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.glob
-rw-r--r-- root/root 7342 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.v
-rw-r--r-- root/root 243558 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.vo
-rw-r--r-- root/root 7632 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Main.glob
-rw-r--r-- root/root 3428 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Main.v
-rw-r--r-- root/root 1394166 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Main.vo
-rw-r--r-- root/root 6564 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.glob
-rw-r--r-- root/root 3127 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.v
-rw-r--r-- root/root 39493 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.vo
-rw-r--r-- root/root 38996 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.glob
-rw-r--r-- root/root 15314 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.v
-rw-r--r-- root/root 1174628 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.vo
-rw-r--r-- root/root 18911 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.glob
-rw-r--r-- root/root 8362 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.v
-rw-r--r-- root/root 143808 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.vo
-rw-r--r-- root/root 128 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Version.glob
-rw-r--r-- root/root 35 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Version.v
-rw-r--r-- root/root 1693 2020-02-08 09:50 ./usr/lib/coq/user-contrib/MenhirLib/Version.vo
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/doc/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/doc/libmenhir-coq/
-rw-r--r-- root/root 4243 2020-02-08 09:50 ./usr/share/doc/libmenhir-coq/changelog.Debian.gz
-rw-r--r-- root/root 12622 2020-01-23 09:07 ./usr/share/doc/libmenhir-coq/changelog.gz
-rw-r--r-- root/root 3269 2020-02-08 09:50 ./usr/share/doc/libmenhir-coq/copyright
libmenhir-ocaml-dev-dbgsym_20200123-1_armhf.deb
-----------------------------------------------
new Debian package, version 2.0.
size 13328 bytes: control archive=600 bytes.
441 bytes, 12 lines control
212 bytes, 2 lines md5sums
Package: libmenhir-ocaml-dev-dbgsym
Source: menhir
Version: 20200123-1
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 57
Depends: libmenhir-ocaml-dev (= 20200123-1)
Section: debug
Priority: optional
Description: debug symbols for libmenhir-ocaml-dev
Build-Ids: 390b979ea5253e7d5bb62f92893fedb1db15e530 dd65827a181d9af93c4c267fdcff86c711413563
drwxr-xr-x root/root 0 2020-02-08 09:50 ./
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/debug/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/debug/.build-id/39/
-rw-r--r-- root/root 18176 2020-02-08 09:50 ./usr/lib/debug/.build-id/39/0b979ea5253e7d5bb62f92893fedb1db15e530.debug
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/debug/.build-id/dd/
-rw-r--r-- root/root 28452 2020-02-08 09:50 ./usr/lib/debug/.build-id/dd/65827a181d9af93c4c267fdcff86c711413563.debug
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/doc/
lrwxrwxrwx root/root 0 2020-02-08 09:50 ./usr/share/doc/libmenhir-ocaml-dev-dbgsym -> libmenhir-ocaml-dev
libmenhir-ocaml-dev_20200123-1_armhf.deb
----------------------------------------
new Debian package, version 2.0.
size 478904 bytes: control archive=2156 bytes.
1015 bytes, 24 lines control
4141 bytes, 55 lines md5sums
Package: libmenhir-ocaml-dev
Source: menhir
Version: 20200123-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 2110
Depends: ocaml-nox-4.08.1, libc6 (>= 2.4)
Suggests: ocaml-findlib
Provides: libmenhir-ocaml-dev-42988
Section: ocaml
Priority: optional
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description: Menhir library for OCaml
Menhir is a LR(1) parser generator for the OCaml programming language.
It is mostly compatible with the ocamlyacc parser generator provided with
OCaml, and has a number of enhancements over ocamlyacc.
.
This package contains the Menhir library for the OCaml programming language.
It gives access to, among others, the following modules:
* InfiniteArray: implements infinite arrays, that is, arrays
that grow transparently upon demand.
* RowDisplacement: compresses a two-dimensional table, where some
values are considered insignificant, via row displacement.
* Engine: LR parsing engine.
drwxr-xr-x root/root 0 2020-02-08 09:50 ./
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/ocaml/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/ocaml/coq-menhirlib/
-rw-r--r-- root/root 1 2020-02-08 09:50 ./usr/lib/ocaml/coq-menhirlib/META
-rw-r--r-- root/root 56 2020-02-08 09:50 ./usr/lib/ocaml/coq-menhirlib/dune-package
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/ocaml/menhir/
-rw-r--r-- root/root 1 2020-02-08 09:50 ./usr/lib/ocaml/menhir/META
-rw-r--r-- root/root 49 2020-02-08 09:50 ./usr/lib/ocaml/menhir/dune-package
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/
-rw-r--r-- root/root 228 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/META
-rw-r--r-- root/root 461 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/dune-package
-rw-r--r-- root/root 105050 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/menhirLib.a
-rw-r--r-- root/root 202187 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/menhirLib.cma
-rw-r--r-- root/root 48759 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/menhirLib.cmi
-rw-r--r-- root/root 679166 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/menhirLib.cmt
-rw-r--r-- root/root 253326 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/menhirLib.cmti
-rw-r--r-- root/root 925 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/menhirLib.cmx
-rw-r--r-- root/root 932 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/menhirLib.cmxa
-rw-r--r-- root/root 90660 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/menhirLib.cmxs
-rw-r--r-- root/root 127811 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/menhirLib.ml
-rw-r--r-- root/root 69572 2020-02-08 09:50 ./usr/lib/ocaml/menhirLib/menhirLib.mli
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/
-rw-r--r-- root/root 240 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/META
-rw-r--r-- root/root 4972 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/cmly_api.ml
-rw-r--r-- root/root 3341 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/cmly_format.ml
-rw-r--r-- root/root 9204 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/cmly_read.ml
-rw-r--r-- root/root 1318 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/cmly_read.mli
-rw-r--r-- root/root 1051 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/dune-package
-rw-r--r-- root/root 3306 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/keyword.ml
-rw-r--r-- root/root 3231 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/keyword.mli
-rw-r--r-- root/root 53188 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk.a
-rw-r--r-- root/root 93144 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk.cma
-rw-r--r-- root/root 566 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmi
-rw-r--r-- root/root 3775 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmt
-rw-r--r-- root/root 216 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmx
-rw-r--r-- root/root 2399 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmxa
-rw-r--r-- root/root 41980 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
-rw-r--r-- root/root 385 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk.ml
-rw-r--r-- root/root 10941 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmi
-rw-r--r-- root/root 48597 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmt
-rw-r--r-- root/root 453 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmx
-rw-r--r-- root/root 5109 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmi
-rw-r--r-- root/root 24812 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmt
-rw-r--r-- root/root 352 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmx
-rw-r--r-- root/root 748 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmi
-rw-r--r-- root/root 121752 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmt
-rw-r--r-- root/root 6352 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmti
-rw-r--r-- root/root 877 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmx
-rw-r--r-- root/root 6355 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmi
-rw-r--r-- root/root 33289 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmt
-rw-r--r-- root/root 25451 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmti
-rw-r--r-- root/root 428 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmx
-rw-r--r-- root/root 308 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmi
-rw-r--r-- root/root 3421 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmt
-rw-r--r-- root/root 210 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmx
-rw-r--r-- root/root 25 2020-02-08 09:50 ./usr/lib/ocaml/menhirSdk/version.ml
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/doc/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/doc/libmenhir-ocaml-dev/
-rw-r--r-- root/root 4243 2020-02-08 09:50 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root 12622 2020-01-23 09:07 ./usr/share/doc/libmenhir-ocaml-dev/changelog.gz
-rw-r--r-- root/root 3269 2020-02-08 09:50 ./usr/share/doc/libmenhir-ocaml-dev/copyright
drwxr-xr-x root/root 0 2020-02-08 09:50 ./var/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./var/lib/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./var/lib/ocaml/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root 305 2020-02-08 09:50 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
drwxr-xr-x root/root 0 2020-02-08 09:50 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root 1252 2020-02-08 09:50 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums
menhir-dbgsym_20200123-1_armhf.deb
----------------------------------
new Debian package, version 2.0.
size 194692 bytes: control archive=524 bytes.
362 bytes, 12 lines control
106 bytes, 1 lines md5sums
Package: menhir-dbgsym
Source: menhir
Version: 20200123-1
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 951
Depends: menhir (= 20200123-1)
Section: debug
Priority: optional
Description: debug symbols for menhir
Build-Ids: b122ca5b5963289edba8e8437708eb9227342a98
drwxr-xr-x root/root 0 2020-02-08 09:50 ./
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/debug/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/lib/debug/.build-id/b1/
-rw-r--r-- root/root 962888 2020-02-08 09:50 ./usr/lib/debug/.build-id/b1/22ca5b5963289edba8e8437708eb9227342a98.debug
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/doc/
lrwxrwxrwx root/root 0 2020-02-08 09:50 ./usr/share/doc/menhir-dbgsym -> menhir
menhir_20200123-1_armhf.deb
---------------------------
new Debian package, version 2.0.
size 710716 bytes: control archive=928 bytes.
864 bytes, 21 lines control
322 bytes, 5 lines md5sums
Package: menhir
Version: 20200123-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 2310
Depends: libc6 (>= 2.29)
Suggests: menhir-doc
Section: ocaml
Priority: optional
Homepage: http://gallium.inria.fr/~fpottier/menhir/
Description: Parser generator for OCaml
Menhir is a LR(1) parser generator for the OCaml programming language.
It is mostly compatible with the ocamlyacc parser generator provided with
the OCaml system, and has the following enhancements over ocamlyacc:
* it accepts LR(1) grammars,
* it offers parameterized nonterminal symbols as well as a library of
standard definitions,
* it explains conflicts in terms of the grammar,
* it allows grammar specifications to be split over multiple files and
parametrized by OCaml modules,
* it produces reentrant parsers.
drwxr-xr-x root/root 0 2020-02-08 09:50 ./
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/bin/
-rwxr-xr-x root/root 2330920 2020-02-08 09:50 ./usr/bin/menhir
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/doc/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/doc/menhir/
-rw-r--r-- root/root 4243 2020-02-08 09:50 ./usr/share/doc/menhir/changelog.Debian.gz
-rw-r--r-- root/root 12622 2020-01-23 09:07 ./usr/share/doc/menhir/changelog.gz
-rw-r--r-- root/root 3269 2020-02-08 09:50 ./usr/share/doc/menhir/copyright
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/man/
drwxr-xr-x root/root 0 2020-02-08 09:50 ./usr/share/man/man1/
-rw-r--r-- root/root 1954 2020-02-08 09:50 ./usr/share/man/man1/menhir.1.gz
+------------------------------------------------------------------------------+
| Post Build |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: armhf
Build-Space: 72400
Build-Time: 56
Distribution: bullseye-staging
Host Architecture: armhf
Install-Time: 512
Job: menhir_20200123-1
Machine Architecture: armhf
Package: menhir
Package-Time: 586
Source-Version: 20200123-1
Space: 72400
Status: successful
Version: 20200123-1
--------------------------------------------------------------------------------
Finished at 2020-02-16T08:40:36Z
Build needed 00:09:46, 72400k disk space