Your message dated Sun, 05 Jun 2022 08:54:02 +0000
with message-id <e1nxm1k-0002xv...@fasolo.debian.org>
and subject line Bug#1011347: Removed package(s) from unstable
has caused the Debian Bug report #970453,
regarding coq-float: FTBFS in sid
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
970453: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=970453
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: coq-float
Version: 1:8.10.0-1
Severity: serious
Hello, this is the build log (attached)
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_clean
dpkg-source -Zxz -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building coq-float using existing
./coq-float_8.10.0.orig.tar.gz
dpkg-source: info: building coq-float in coq-float_8.10.0-1.debian.tar.xz
dpkg-source: info: building coq-float in coq-float_8.10.0-1.dsc
debian/rules binary
dh binary
dh_update_autotools_config
dh_autoreconf
dh_auto_configure
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make all
make[2]: Entering directory '/<<PKGBUILDDIR>>'
coq_makefile -f Make -o Makefile.coq
make -f Makefile.coq Makefile
make[3]: Entering directory '/<<PKGBUILDDIR>>'
COQDEP VFILES
make[3]: Nothing to be done for 'Makefile'.
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make -f Makefile.coq all
make[3]: Entering directory '/<<PKGBUILDDIR>>'
COQC sTactic.v
COQC Faux.v
File "./Faux.v", line 640, characters 0-63:
Error: No such goal.
make[4]: *** [Makefile.coq:716: Faux.vo] Error 1
make[3]: *** [Makefile.coq:339: all] Error 2
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make[2]: *** [Makefile:2: all] Error 2
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [debian/rules:17: override_dh_auto_build] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:10: binary] Error 2
dpkg-buildpackage-debomatic-original: error: debian/rules binary subprocess
returned exit status 2
--------------------------------------------------------------------------------
G.
sbuild (Debian sbuild) 0.78.1 (09 February 2019) on misc-debomatic1
+==============================================================================+
| coq-float 1:8.10.0-1 (amd64) Wed, 16 Sep 2020 09:46:45 +0000 |
+==============================================================================+
Package: coq-float
Version: 1:8.10.0-1
Source Version: 1:8.10.0-1
Distribution: unstable
Machine Architecture: amd64
Host Architecture: amd64
Build Architecture: amd64
Build Type: full
I: NOTICE: Log filtering will replace
'var/run/schroot/mount/unstable-amd64-debomatic-0194c9e2-9684-4720-b99d-4f9e1b12cdfe'
with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Chroot Setup Commands |
+------------------------------------------------------------------------------+
/home/debomatic/debomatic/sbuildcommands/chroot-setup-commands/apt-speedup
coq-float_8.10.0-1 unstable amd64
------------------------------------------------------------------------------------------------------------
I: Finished running
'/home/debomatic/debomatic/sbuildcommands/chroot-setup-commands/apt-speedup
coq-float_8.10.0-1 unstable amd64'.
Finished processing commands.
--------------------------------------------------------------------------------
I: NOTICE: Log filtering will replace 'build/coq-float-RLWwzM/resolver-lS5yzA'
with '<<RESOLVERDIR>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://ftp.debian.org/debian unstable InRelease [146 kB]
Get:2 http://ftp.debian.org/debian unstable/main amd64 Packages [11.4 MB]
Fetched 11.5 MB in 1s (10.9 MB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
Calculating upgrade...
The following packages will be upgraded:
cpp-10 dmidecode gcc-10-base libelf1 libgcc-s1 libgnutls30 libstdc++6
7 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
Need to get 10.2 MB of archives.
After this operation, 7168 B of additional disk space will be used.
Get:1 http://ftp.debian.org/debian unstable/main amd64 cpp-10 amd64 10.2.0-8
[8003 kB]
Get:2 http://ftp.debian.org/debian unstable/main amd64 gcc-10-base amd64
10.2.0-8 [199 kB]
Get:3 http://ftp.debian.org/debian unstable/main amd64 libstdc++6 amd64
10.2.0-8 [492 kB]
Get:4 http://ftp.debian.org/debian unstable/main amd64 libgcc-s1 amd64 10.2.0-8
[41.4 kB]
Get:5 http://ftp.debian.org/debian unstable/main amd64 libgnutls30 amd64
3.6.15-3 [1189 kB]
Get:6 http://ftp.debian.org/debian unstable/main amd64 dmidecode amd64 3.2-4
[63.4 kB]
Get:7 http://ftp.debian.org/debian unstable/main amd64 libelf1 amd64 0.181-1
[164 kB]
Fetched 10.2 MB in 0s (36.3 MB/s)
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 9585 files and directories currently installed.)
Preparing to unpack .../cpp-10_10.2.0-8_amd64.deb ...
Unpacking cpp-10 (10.2.0-8) over (10.2.0-7) ...
Preparing to unpack .../gcc-10-base_10.2.0-8_amd64.deb ...
Unpacking gcc-10-base:amd64 (10.2.0-8) over (10.2.0-7) ...
Setting up gcc-10-base:amd64 (10.2.0-8) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 9585 files and directories currently installed.)
Preparing to unpack .../libstdc++6_10.2.0-8_amd64.deb ...
Unpacking libstdc++6:amd64 (10.2.0-8) over (10.2.0-7) ...
Setting up libstdc++6:amd64 (10.2.0-8) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 9585 files and directories currently installed.)
Preparing to unpack .../libgcc-s1_10.2.0-8_amd64.deb ...
Unpacking libgcc-s1:amd64 (10.2.0-8) over (10.2.0-7) ...
Setting up libgcc-s1:amd64 (10.2.0-8) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 9585 files and directories currently installed.)
Preparing to unpack .../libgnutls30_3.6.15-3_amd64.deb ...
Unpacking libgnutls30:amd64 (3.6.15-3) over (3.6.15-2) ...
Setting up libgnutls30:amd64 (3.6.15-3) ...
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 9585 files and directories currently installed.)
Preparing to unpack .../dmidecode_3.2-4_amd64.deb ...
Unpacking dmidecode (3.2-4) over (3.2-3) ...
Preparing to unpack .../libelf1_0.181-1_amd64.deb ...
Unpacking libelf1:amd64 (0.181-1) over (0.180-1+b1) ...
Setting up dmidecode (3.2-4) ...
Setting up libelf1:amd64 (0.181-1) ...
Setting up cpp-10 (10.2.0-8) ...
Processing triggers for libc-bin (2.31-3) ...
+------------------------------------------------------------------------------+
| Fetch source files |
+------------------------------------------------------------------------------+
Local sources
-------------
/srv/debomatic-amd64/coq-float_8.10.0-1.dsc exists in /srv/debomatic-amd64;
copying to chroot
I: NOTICE: Log filtering will replace 'build/coq-float-RLWwzM/coq-float-8.10.0'
with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/coq-float-RLWwzM' with
'<<BUILDDIR>>'
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: debhelper-compat (= 12), coq (>= 8.9), build-essential,
fakeroot
Filtered Build-Depends: debhelper-compat (= 12), coq (>= 8.9), build-essential,
fakeroot
dpkg-deb: building package 'sbuild-build-depends-main-dummy' in
'/<<RESOLVERDIR>>/apt_archive/sbuild-build-depends-main-dummy.deb'.
Ign:1 copy:/<<RESOLVERDIR>>/apt_archive ./ InRelease
Get:2 copy:/<<RESOLVERDIR>>/apt_archive ./ Release [957 B]
Ign:3 copy:/<<RESOLVERDIR>>/apt_archive ./ Release.gpg
Get:4 copy:/<<RESOLVERDIR>>/apt_archive ./ Sources [379 B]
Get:5 copy:/<<RESOLVERDIR>>/apt_archive ./ Packages [462 B]
Fetched 1798 B in 0s (153 kB/s)
Reading package lists...
Reading package lists...
Install main build dependencies (apt-based resolver)
----------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
adwaita-icon-theme autoconf automake autopoint autotools-dev binutils
binutils-common binutils-x86-64-linux-gnu build-essential bzip2 coq
coq-theories dbus dbus-user-session dconf-gsettings-backend dconf-service
debhelper dh-autoreconf dh-strip-nondeterminism dpkg-dev dwz fakeroot file
fontconfig fontconfig-config fonts-dejavu-core g++ g++-10 gcc gcc-10 gettext
gettext-base glib-networking glib-networking-common glib-networking-services
groff-base gsettings-desktop-schemas gtk-update-icon-cache
hicolor-icon-theme intltool-debian libarchive-zip-perl libasan6
libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0
libavahi-client3 libavahi-common-data libavahi-common3 libbinutils
libbrotli1 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2
libcairo2-ocaml libcc1-0 libcolord2 libcoq-ocaml libcroco3 libcrypt-dev
libctf-nobfd0 libctf0 libcups2 libdatrie1 libdbus-1-3 libdconf1
libdebhelper-perl libdpkg-perl libepoxy0 libexpat1 libfakeroot
libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1
libfreetype6 libfribidi0 libgcc-10-dev libgdbm-compat4 libgdbm6
libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglib2.0-0 libgomp1
libgraphite2-3 libgssapi-krb5-2 libgtk-3-0 libgtk-3-common
libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libicu67
libitm1 libjbig0 libjpeg62-turbo libjson-glib-1.0-0 libjson-glib-1.0-common
libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk3-ocaml
liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmagic-mgc libmagic1
libncurses-dev libncurses5-dev libnum-ocaml libpam-systemd libpango-1.0-0
libpangocairo-1.0-0 libpangoft2-1.0-0 libperl5.30 libpipeline1 libpixman-1-0
libpng16-16 libproxy1v5 libpsl5 libpython3-stdlib libpython3.8-minimal
libpython3.8-stdlib libquadmath0 librest-0.7-0 libsigsegv2
libsoup-gnome2.4-1 libsoup2.4-1 libsqlite3-0 libstdc++-10-dev
libsub-override-perl libthai-data libthai0 libtiff5 libtool libtsan0
libubsan1 libuchardet0 libwayland-client0 libwayland-cursor0 libwayland-egl1
libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1
libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6
libxinerama1 libxkbcommon0 libxml2 libxrandr2 libxrender1 linux-libc-dev m4
make man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib
ocaml-interp ocaml-nox patch perl perl-modules-5.30 po-debconf python3
python3-minimal python3.8 python3.8-minimal shared-mime-info ucf xkb-data
xz-utils
Suggested packages:
autoconf-archive gnu-standards autoconf-doc binutils-doc bzip2-doc coqide
| proofgeneral ledit | readline-editor libcoq-ocaml-dev why coq-doc dh-make
debian-keyring g++-multilib g++-10-multilib gcc-10-doc gcc-multilib
manpages-dev flex bison gdb gcc-doc gcc-10-multilib gcc-10-locales
gettext-doc libasprintf-dev libgettextpo-dev groff glibc-doc colord
cups-common gnupg git bzr gdbm-l10n krb5-doc krb5-user gvfs librsvg2-common
liblcms2-utils ncurses-doc libstdc++-10-doc libtool-doc gfortran
| fortran95-compiler gcj-jdk m4-doc make-doc apparmor www-browser camlp4
ocaml-doc elpa-tuareg ed diffutils-doc perl-doc libterm-readline-gnu-perl
| libterm-readline-perl-perl libtap-harness-archive-perl libmail-box-perl
python3-doc python3-tk python3-venv python3.8-venv python3.8-doc
binfmt-support
Recommended packages:
librsvg2-common gnupg libalgorithm-merge-perl curl | wget | lynx
at-spi2-core manpages manpages-dev libfile-fcntllock-perl
libarchive-cpio-perl libgdk-pixbuf2.0-bin libglib2.0-data xdg-user-dirs
libgtk-3-bin krb5-locales publicsuffix 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 binutils
binutils-common binutils-x86-64-linux-gnu build-essential bzip2 coq
coq-theories dbus dbus-user-session dconf-gsettings-backend dconf-service
debhelper dh-autoreconf dh-strip-nondeterminism dpkg-dev dwz fakeroot file
fontconfig fontconfig-config fonts-dejavu-core g++ g++-10 gcc gcc-10 gettext
gettext-base glib-networking glib-networking-common glib-networking-services
groff-base gsettings-desktop-schemas gtk-update-icon-cache
hicolor-icon-theme intltool-debian libarchive-zip-perl libasan6
libatk-bridge2.0-0 libatk1.0-0 libatk1.0-data libatomic1 libatspi2.0-0
libavahi-client3 libavahi-common-data libavahi-common3 libbinutils
libbrotli1 libc-dev-bin libc6-dev libcairo-gobject2 libcairo2
libcairo2-ocaml libcc1-0 libcolord2 libcoq-ocaml libcroco3 libcrypt-dev
libctf-nobfd0 libctf0 libcups2 libdatrie1 libdbus-1-3 libdconf1
libdebhelper-perl libdpkg-perl libepoxy0 libexpat1 libfakeroot
libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1
libfreetype6 libfribidi0 libgcc-10-dev libgdbm-compat4 libgdbm6
libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libglib2.0-0 libgomp1
libgraphite2-3 libgssapi-krb5-2 libgtk-3-0 libgtk-3-common
libgtksourceview-3.0-1 libgtksourceview-3.0-common libharfbuzz0b libicu67
libitm1 libjbig0 libjpeg62-turbo libjson-glib-1.0-0 libjson-glib-1.0-common
libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 liblablgtk3-ocaml
liblablgtksourceview3-ocaml liblcms2-2 liblsan0 libmagic-mgc libmagic1
libncurses-dev libncurses5-dev libnum-ocaml libpam-systemd libpango-1.0-0
libpangocairo-1.0-0 libpangoft2-1.0-0 libperl5.30 libpipeline1 libpixman-1-0
libpng16-16 libproxy1v5 libpsl5 libpython3-stdlib libpython3.8-minimal
libpython3.8-stdlib libquadmath0 librest-0.7-0 libsigsegv2
libsoup-gnome2.4-1 libsoup2.4-1 libsqlite3-0 libstdc++-10-dev
libsub-override-perl libthai-data libthai0 libtiff5 libtool libtsan0
libubsan1 libuchardet0 libwayland-client0 libwayland-cursor0 libwayland-egl1
libwebp6 libx11-6 libx11-data libxau6 libxcb-render0 libxcb-shm0 libxcb1
libxcomposite1 libxcursor1 libxdamage1 libxdmcp6 libxext6 libxfixes3 libxi6
libxinerama1 libxkbcommon0 libxml2 libxrandr2 libxrender1 linux-libc-dev m4
make man-db mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib
ocaml-interp ocaml-nox patch perl perl-modules-5.30 po-debconf python3
python3-minimal python3.8 python3.8-minimal sbuild-build-depends-main-dummy
shared-mime-info ucf xkb-data xz-utils
0 upgraded, 184 newly installed, 0 to remove and 0 not upgraded.
Need to get 320 MB of archives.
After this operation, 1486 MB of additional disk space will be used.
Get:1 copy:/<<RESOLVERDIR>>/apt_archive ./ sbuild-build-depends-main-dummy
0.invalid.0 [880 B]
Get:2 http://ftp.debian.org/debian unstable/main amd64 libdbus-1-3 amd64
1.12.20-1 [217 kB]
Get:3 http://ftp.debian.org/debian unstable/main amd64 libexpat1 amd64 2.2.9-1
[94.3 kB]
Get:4 http://ftp.debian.org/debian unstable/main amd64 dbus amd64 1.12.20-1
[238 kB]
Get:5 http://ftp.debian.org/debian unstable/main amd64 libuchardet0 amd64
0.0.7-1 [67.8 kB]
Get:6 http://ftp.debian.org/debian unstable/main amd64 groff-base amd64
1.22.4-5 [920 kB]
Get:7 http://ftp.debian.org/debian unstable/main amd64 libgdbm6 amd64
1.18.1-5.1 [64.4 kB]
Get:8 http://ftp.debian.org/debian unstable/main amd64 libpipeline1 amd64
1.5.3-1 [34.3 kB]
Get:9 http://ftp.debian.org/debian unstable/main amd64 man-db amd64 2.9.3-2
[1314 kB]
Get:10 http://ftp.debian.org/debian unstable/main amd64 perl-modules-5.30 all
5.30.3-4 [2806 kB]
Get:11 http://ftp.debian.org/debian unstable/main amd64 libgdbm-compat4 amd64
1.18.1-5.1 [44.4 kB]
Get:12 http://ftp.debian.org/debian unstable/main amd64 libperl5.30 amd64
5.30.3-4 [4019 kB]
Get:13 http://ftp.debian.org/debian unstable/main amd64 perl amd64 5.30.3-4
[290 kB]
Get:14 http://ftp.debian.org/debian unstable/main amd64 libpython3.8-minimal
amd64 3.8.6~rc1-2 [760 kB]
Get:15 http://ftp.debian.org/debian unstable/main amd64 python3.8-minimal amd64
3.8.6~rc1-2 [1865 kB]
Get:16 http://ftp.debian.org/debian unstable/main amd64 python3-minimal amd64
3.8.2-3 [37.6 kB]
Get:17 http://ftp.debian.org/debian unstable/main amd64 mime-support all 3.64
[37.8 kB]
Get:18 http://ftp.debian.org/debian unstable/main amd64 libsqlite3-0 amd64
3.33.0-1 [790 kB]
Get:19 http://ftp.debian.org/debian unstable/main amd64 libpython3.8-stdlib
amd64 3.8.6~rc1-2 [1722 kB]
Get:20 http://ftp.debian.org/debian unstable/main amd64 python3.8 amd64
3.8.6~rc1-2 [422 kB]
Get:21 http://ftp.debian.org/debian unstable/main amd64 libpython3-stdlib amd64
3.8.2-3 [20.8 kB]
Get:22 http://ftp.debian.org/debian unstable/main amd64 python3 amd64 3.8.2-3
[63.7 kB]
Get:23 http://ftp.debian.org/debian unstable/main amd64 bzip2 amd64 1.0.8-4
[49.3 kB]
Get:24 http://ftp.debian.org/debian unstable/main amd64 libmagic-mgc amd64
1:5.38-5 [262 kB]
Get:25 http://ftp.debian.org/debian unstable/main amd64 libmagic1 amd64
1:5.38-5 [120 kB]
Get:26 http://ftp.debian.org/debian unstable/main amd64 file amd64 1:5.38-5
[67.9 kB]
Get:27 http://ftp.debian.org/debian unstable/main amd64 gettext-base amd64
0.19.8.1-10 [123 kB]
Get:28 http://ftp.debian.org/debian unstable/main amd64 libpam-systemd amd64
246.5-1 [277 kB]
Get:29 http://ftp.debian.org/debian unstable/main amd64 ucf all 3.0043 [74.0 kB]
Get:30 http://ftp.debian.org/debian unstable/main amd64 xz-utils amd64
5.2.4-1+b1 [183 kB]
Get:31 http://ftp.debian.org/debian unstable/main amd64 hicolor-icon-theme all
0.17-2 [11.4 kB]
Get:32 http://ftp.debian.org/debian unstable/main amd64 libgdk-pixbuf2.0-common
all 2.40.0+dfsg-5 [317 kB]
Get:33 http://ftp.debian.org/debian unstable/main amd64 libglib2.0-0 amd64
2.66.0-2 [1361 kB]
Get:34 http://ftp.debian.org/debian unstable/main amd64 libicu67 amd64 67.1-4
[8624 kB]
Get:35 http://ftp.debian.org/debian unstable/main amd64 libxml2 amd64
2.9.10+dfsg-6 [692 kB]
Get:36 http://ftp.debian.org/debian unstable/main amd64 shared-mime-info amd64
1.15-1 [789 kB]
Get:37 http://ftp.debian.org/debian unstable/main amd64 libjpeg62-turbo amd64
1:2.0.5-1.1 [149 kB]
Get:38 http://ftp.debian.org/debian unstable/main amd64 libpng16-16 amd64
1.6.37-3 [294 kB]
Get:39 http://ftp.debian.org/debian unstable/main amd64 libjbig0 amd64
2.1-3.1+b2 [31.0 kB]
Get:40 http://ftp.debian.org/debian unstable/main amd64 libwebp6 amd64
0.6.1-2+b1 [261 kB]
Get:41 http://ftp.debian.org/debian unstable/main amd64 libtiff5 amd64
4.1.0+git191117-2 [271 kB]
Get:42 http://ftp.debian.org/debian unstable/main amd64 libxau6 amd64
1:1.0.8-1+b2 [19.9 kB]
Get:43 http://ftp.debian.org/debian unstable/main amd64 libxdmcp6 amd64
1:1.1.2-3 [26.3 kB]
Get:44 http://ftp.debian.org/debian unstable/main amd64 libxcb1 amd64 1.14-2
[139 kB]
Get:45 http://ftp.debian.org/debian unstable/main amd64 libx11-data all
2:1.6.10-3 [311 kB]
Get:46 http://ftp.debian.org/debian unstable/main amd64 libx11-6 amd64
2:1.6.10-3 [770 kB]
Get:47 http://ftp.debian.org/debian unstable/main amd64 libgdk-pixbuf2.0-0
amd64 2.40.0+dfsg-5 [177 kB]
Get:48 http://ftp.debian.org/debian unstable/main amd64 gtk-update-icon-cache
amd64 3.24.23-1 [86.1 kB]
Get:49 http://ftp.debian.org/debian unstable/main amd64 adwaita-icon-theme all
3.38.0-1 [10.9 MB]
Get:50 http://ftp.debian.org/debian unstable/main amd64 libsigsegv2 amd64
2.12-2 [32.8 kB]
Get:51 http://ftp.debian.org/debian unstable/main amd64 m4 amd64 1.4.18-4 [203
kB]
Get:52 http://ftp.debian.org/debian unstable/main amd64 autoconf all 2.69-11.1
[341 kB]
Get:53 http://ftp.debian.org/debian unstable/main amd64 autotools-dev all
20180224.1 [77.0 kB]
Get:54 http://ftp.debian.org/debian unstable/main amd64 automake all 1:1.16.2-4
[801 kB]
Get:55 http://ftp.debian.org/debian unstable/main amd64 autopoint all
0.19.8.1-10 [435 kB]
Get:56 http://ftp.debian.org/debian unstable/main amd64 binutils-common amd64
2.35-3 [2212 kB]
Get:57 http://ftp.debian.org/debian unstable/main amd64 libbinutils amd64
2.35-3 [474 kB]
Get:58 http://ftp.debian.org/debian unstable/main amd64 libctf-nobfd0 amd64
2.35-3 [102 kB]
Get:59 http://ftp.debian.org/debian unstable/main amd64 libctf0 amd64 2.35-3
[46.4 kB]
Get:60 http://ftp.debian.org/debian unstable/main amd64
binutils-x86-64-linux-gnu amd64 2.35-3 [1619 kB]
Get:61 http://ftp.debian.org/debian unstable/main amd64 binutils amd64 2.35-3
[59.7 kB]
Get:62 http://ftp.debian.org/debian unstable/main amd64 libc-dev-bin amd64
2.31-3 [283 kB]
Get:63 http://ftp.debian.org/debian unstable/main amd64 linux-libc-dev amd64
5.8.7-1 [1175 kB]
Get:64 http://ftp.debian.org/debian unstable/main amd64 libcrypt-dev amd64
1:4.4.17-1 [104 kB]
Get:65 http://ftp.debian.org/debian unstable/main amd64 libc6-dev amd64 2.31-3
[2395 kB]
Get:66 http://ftp.debian.org/debian unstable/main amd64 libcc1-0 amd64 10.2.0-8
[39.7 kB]
Get:67 http://ftp.debian.org/debian unstable/main amd64 libgomp1 amd64 10.2.0-8
[99.9 kB]
Get:68 http://ftp.debian.org/debian unstable/main amd64 libitm1 amd64 10.2.0-8
[25.8 kB]
Get:69 http://ftp.debian.org/debian unstable/main amd64 libatomic1 amd64
10.2.0-8 [9008 B]
Get:70 http://ftp.debian.org/debian unstable/main amd64 libasan6 amd64 10.2.0-8
[340 kB]
Get:71 http://ftp.debian.org/debian unstable/main amd64 liblsan0 amd64 10.2.0-8
[141 kB]
Get:72 http://ftp.debian.org/debian unstable/main amd64 libtsan0 amd64 10.2.0-8
[313 kB]
Get:73 http://ftp.debian.org/debian unstable/main amd64 libubsan1 amd64
10.2.0-8 [134 kB]
Get:74 http://ftp.debian.org/debian unstable/main amd64 libquadmath0 amd64
10.2.0-8 [145 kB]
Get:75 http://ftp.debian.org/debian unstable/main amd64 libgcc-10-dev amd64
10.2.0-8 [2326 kB]
Get:76 http://ftp.debian.org/debian unstable/main amd64 gcc-10 amd64 10.2.0-8
[15.9 MB]
Get:77 http://ftp.debian.org/debian unstable/main amd64 gcc amd64 4:10.1.0-1
[5196 B]
Get:78 http://ftp.debian.org/debian unstable/main amd64 libstdc++-10-dev amd64
10.2.0-8 [1737 kB]
Get:79 http://ftp.debian.org/debian unstable/main amd64 g++-10 amd64 10.2.0-8
[8665 kB]
Get:80 http://ftp.debian.org/debian unstable/main amd64 g++ amd64 4:10.1.0-1
[1644 B]
Get:81 http://ftp.debian.org/debian unstable/main amd64 make amd64 4.3-4 [396
kB]
Get:82 http://ftp.debian.org/debian unstable/main amd64 libdpkg-perl all 1.20.5
[1473 kB]
Get:83 http://ftp.debian.org/debian unstable/main amd64 patch amd64 2.7.6-6
[126 kB]
Get:84 http://ftp.debian.org/debian unstable/main amd64 dpkg-dev all 1.20.5
[1909 kB]
Get:85 http://ftp.debian.org/debian unstable/main amd64 build-essential amd64
12.8 [7640 B]
Get:86 http://ftp.debian.org/debian unstable/main amd64 coq-theories amd64
8.12.0-3 [37.1 MB]
Get:87 http://ftp.debian.org/debian unstable/main amd64 ocaml-base-nox amd64
4.08.1-10 [655 kB]
Get:88 http://ftp.debian.org/debian unstable/main amd64 libbrotli1 amd64
1.0.9-2 [287 kB]
Get:89 http://ftp.debian.org/debian unstable/main amd64 libfreetype6 amd64
2.10.2+dfsg-3 [409 kB]
Get:90 http://ftp.debian.org/debian unstable/main amd64 fonts-dejavu-core all
2.37-2 [1069 kB]
Get:91 http://ftp.debian.org/debian unstable/main amd64 fontconfig-config all
2.13.1-4.2 [281 kB]
Get:92 http://ftp.debian.org/debian unstable/main amd64 libfontconfig1 amd64
2.13.1-4.2 [347 kB]
Get:93 http://ftp.debian.org/debian unstable/main amd64 libpixman-1-0 amd64
0.36.0-1 [537 kB]
Get:94 http://ftp.debian.org/debian unstable/main amd64 libxcb-render0 amd64
1.14-2 [111 kB]
Get:95 http://ftp.debian.org/debian unstable/main amd64 libxcb-shm0 amd64
1.14-2 [101 kB]
Get:96 http://ftp.debian.org/debian unstable/main amd64 libxext6 amd64
2:1.3.3-1+b2 [52.5 kB]
Get:97 http://ftp.debian.org/debian unstable/main amd64 libxrender1 amd64
1:0.9.10-1 [33.0 kB]
Get:98 http://ftp.debian.org/debian unstable/main amd64 libcairo2 amd64
1.16.0-4 [689 kB]
Get:99 http://ftp.debian.org/debian unstable/main amd64 libcairo2-ocaml amd64
0.6.1+dfsg-5 [23.3 kB]
Get:100 http://ftp.debian.org/debian unstable/main amd64 libatk1.0-data all
2.36.0-2 [149 kB]
Get:101 http://ftp.debian.org/debian unstable/main amd64 libatk1.0-0 amd64
2.36.0-2 [52.2 kB]
Get:102 http://ftp.debian.org/debian unstable/main amd64 libatspi2.0-0 amd64
2.38.0-2 [72.4 kB]
Get:103 http://ftp.debian.org/debian unstable/main amd64 libatk-bridge2.0-0
amd64 2.38.0-1 [64.6 kB]
Get:104 http://ftp.debian.org/debian unstable/main amd64 libcairo-gobject2
amd64 1.16.0-4 [124 kB]
Get:105 http://ftp.debian.org/debian unstable/main amd64 liblcms2-2 amd64
2.9-4+b1 [146 kB]
Get:106 http://ftp.debian.org/debian unstable/main amd64 libcolord2 amd64
1.4.4-2 [143 kB]
Get:107 http://ftp.debian.org/debian unstable/main amd64 libavahi-common-data
amd64 0.8-3 [126 kB]
Get:108 http://ftp.debian.org/debian unstable/main amd64 libavahi-common3 amd64
0.8-3 [58.3 kB]
Get:109 http://ftp.debian.org/debian unstable/main amd64 libavahi-client3 amd64
0.8-3 [61.7 kB]
Get:110 http://ftp.debian.org/debian unstable/main amd64 libkrb5support0 amd64
1.17-10 [64.6 kB]
Get:111 http://ftp.debian.org/debian unstable/main amd64 libk5crypto3 amd64
1.17-10 [115 kB]
Get:112 http://ftp.debian.org/debian unstable/main amd64 libkeyutils1 amd64
1.6.1-2 [15.4 kB]
Get:113 http://ftp.debian.org/debian unstable/main amd64 libkrb5-3 amd64
1.17-10 [366 kB]
Get:114 http://ftp.debian.org/debian unstable/main amd64 libgssapi-krb5-2 amd64
1.17-10 [156 kB]
Get:115 http://ftp.debian.org/debian unstable/main amd64 libcups2 amd64 2.3.3-3
[348 kB]
Get:116 http://ftp.debian.org/debian unstable/main amd64 libepoxy0 amd64
1.5.4-1 [188 kB]
Get:117 http://ftp.debian.org/debian unstable/main amd64 libfribidi0 amd64
1.0.8-2 [64.8 kB]
Get:118 http://ftp.debian.org/debian unstable/main amd64 libgraphite2-3 amd64
1.3.14-1 [81.2 kB]
Get:119 http://ftp.debian.org/debian unstable/main amd64 libharfbuzz0b amd64
2.6.7-1 [1467 kB]
Get:120 http://ftp.debian.org/debian unstable/main amd64
libjson-glib-1.0-common all 1.6.0-1 [55.5 kB]
Get:121 http://ftp.debian.org/debian unstable/main amd64 libjson-glib-1.0-0
amd64 1.6.0-1 [65.0 kB]
Get:122 http://ftp.debian.org/debian unstable/main amd64 fontconfig amd64
2.13.1-4.2 [417 kB]
Get:123 http://ftp.debian.org/debian unstable/main amd64 libthai-data all
0.1.28-3 [170 kB]
Get:124 http://ftp.debian.org/debian unstable/main amd64 libdatrie1 amd64
0.2.12-3 [39.5 kB]
Get:125 http://ftp.debian.org/debian unstable/main amd64 libthai0 amd64
0.1.28-3 [54.2 kB]
Get:126 http://ftp.debian.org/debian unstable/main amd64 libpango-1.0-0 amd64
1.46.1-1 [190 kB]
Get:127 http://ftp.debian.org/debian unstable/main amd64 libpangoft2-1.0-0
amd64 1.46.1-1 [61.1 kB]
Get:128 http://ftp.debian.org/debian unstable/main amd64 libpangocairo-1.0-0
amd64 1.46.1-1 [49.9 kB]
Get:129 http://ftp.debian.org/debian unstable/main amd64 libproxy1v5 amd64
0.4.15-13 [58.9 kB]
Get:130 http://ftp.debian.org/debian unstable/main amd64 glib-networking-common
all 2.66.0-1 [67.9 kB]
Get:131 http://ftp.debian.org/debian unstable/main amd64
glib-networking-services amd64 2.66.0-1 [17.4 kB]
Get:132 http://ftp.debian.org/debian unstable/main amd64 dbus-user-session
amd64 1.12.20-1 [96.0 kB]
Get:133 http://ftp.debian.org/debian unstable/main amd64 libdconf1 amd64
0.38.0-1 [43.5 kB]
Get:134 http://ftp.debian.org/debian unstable/main amd64 dconf-service amd64
0.38.0-1 [37.5 kB]
Get:135 http://ftp.debian.org/debian unstable/main amd64
dconf-gsettings-backend amd64 0.38.0-1 [30.6 kB]
Get:136 http://ftp.debian.org/debian unstable/main amd64
gsettings-desktop-schemas all 3.36.1-1 [580 kB]
Get:137 http://ftp.debian.org/debian unstable/main amd64 glib-networking amd64
2.66.0-1 [67.3 kB]
Get:138 http://ftp.debian.org/debian unstable/main amd64 libpsl5 amd64
0.21.0-1.1 [55.3 kB]
Get:139 http://ftp.debian.org/debian unstable/main amd64 libsoup2.4-1 amd64
2.70.0-1 [276 kB]
Get:140 http://ftp.debian.org/debian unstable/main amd64 libsoup-gnome2.4-1
amd64 2.70.0-1 [21.7 kB]
Get:141 http://ftp.debian.org/debian unstable/main amd64 librest-0.7-0 amd64
0.8.1-1+b1 [33.8 kB]
Get:142 http://ftp.debian.org/debian unstable/main amd64 libwayland-client0
amd64 1.18.0-2~exp1.1 [26.9 kB]
Get:143 http://ftp.debian.org/debian unstable/main amd64 libwayland-cursor0
amd64 1.18.0-2~exp1.1 [14.6 kB]
Get:144 http://ftp.debian.org/debian unstable/main amd64 libwayland-egl1 amd64
1.18.0-2~exp1.1 [8448 B]
Get:145 http://ftp.debian.org/debian unstable/main amd64 libxcomposite1 amd64
1:0.4.5-1 [16.6 kB]
Get:146 http://ftp.debian.org/debian unstable/main amd64 libxfixes3 amd64
1:5.0.3-2 [22.1 kB]
Get:147 http://ftp.debian.org/debian unstable/main amd64 libxcursor1 amd64
1:1.2.0-2 [37.3 kB]
Get:148 http://ftp.debian.org/debian unstable/main amd64 libxdamage1 amd64
1:1.1.5-2 [15.7 kB]
Get:149 http://ftp.debian.org/debian unstable/main amd64 libxi6 amd64
2:1.7.10-1 [83.4 kB]
Get:150 http://ftp.debian.org/debian unstable/main amd64 libxinerama1 amd64
2:1.1.4-2 [17.7 kB]
Get:151 http://ftp.debian.org/debian unstable/main amd64 xkb-data all 2.29-2
[655 kB]
Get:152 http://ftp.debian.org/debian unstable/main amd64 libxkbcommon0 amd64
0.10.0-1 [123 kB]
Get:153 http://ftp.debian.org/debian unstable/main amd64 libxrandr2 amd64
2:1.5.1-1 [37.5 kB]
Get:154 http://ftp.debian.org/debian unstable/main amd64 libgtk-3-common all
3.24.23-1 [3731 kB]
Get:155 http://ftp.debian.org/debian unstable/main amd64 libgtk-3-0 amd64
3.24.23-1 [2711 kB]
Get:156 http://ftp.debian.org/debian unstable/main amd64 liblablgtk3-ocaml
amd64 3.1.1-1+b1 [2477 kB]
Get:157 http://ftp.debian.org/debian unstable/main amd64
libgtksourceview-3.0-common all 3.24.11-2 [285 kB]
Get:158 http://ftp.debian.org/debian unstable/main amd64 libgtksourceview-3.0-1
amd64 3.24.11-2 [238 kB]
Get:159 http://ftp.debian.org/debian unstable/main amd64
liblablgtksourceview3-ocaml amd64 3.1.1-1+b1 [255 kB]
Get:160 http://ftp.debian.org/debian unstable/main amd64 libnum-ocaml amd64
1.3-1 [156 kB]
Get:161 http://ftp.debian.org/debian unstable/main amd64 libcoq-ocaml amd64
8.12.0-3 [6751 kB]
Get:162 http://ftp.debian.org/debian unstable/main amd64 libncurses-dev amd64
6.2-1 [337 kB]
Get:163 http://ftp.debian.org/debian unstable/main amd64 libncurses5-dev amd64
6.2-1 [932 B]
Get:164 http://ftp.debian.org/debian unstable/main amd64 ocaml-compiler-libs
amd64 4.08.1-10 [24.5 MB]
Get:165 http://ftp.debian.org/debian unstable/main amd64 ocaml-interp amd64
4.08.1-10 [4781 kB]
Get:166 http://ftp.debian.org/debian unstable/main amd64 ocaml-nox amd64
4.08.1-10 [55.1 MB]
Get:167 http://ftp.debian.org/debian unstable/main amd64 libfindlib-ocaml amd64
1.8.1-1+b1 [177 kB]
Get:168 http://ftp.debian.org/debian unstable/main amd64 ocaml-findlib amd64
1.8.1-1+b1 [460 kB]
Get:169 http://ftp.debian.org/debian unstable/main amd64 coq amd64 8.12.0-3
[78.7 MB]
Get:170 http://ftp.debian.org/debian unstable/main amd64 libtool all 2.4.6-14
[513 kB]
Get:171 http://ftp.debian.org/debian unstable/main amd64 dh-autoreconf all 19
[16.9 kB]
Get:172 http://ftp.debian.org/debian unstable/main amd64 libdebhelper-perl all
13.2.1 [188 kB]
Get:173 http://ftp.debian.org/debian unstable/main amd64 libarchive-zip-perl
all 1.68-1 [104 kB]
Get:174 http://ftp.debian.org/debian unstable/main amd64 libsub-override-perl
all 0.09-2 [10.2 kB]
Get:175 http://ftp.debian.org/debian unstable/main amd64
libfile-stripnondeterminism-perl all 1.9.0-1 [25.5 kB]
Get:176 http://ftp.debian.org/debian unstable/main amd64
dh-strip-nondeterminism all 1.9.0-1 [15.2 kB]
Get:177 http://ftp.debian.org/debian unstable/main amd64 dwz amd64 0.13-5 [151
kB]
Get:178 http://ftp.debian.org/debian unstable/main amd64 libcroco3 amd64
0.6.13-1 [146 kB]
Get:179 http://ftp.debian.org/debian unstable/main amd64 gettext amd64
0.19.8.1-10 [1303 kB]
Get:180 http://ftp.debian.org/debian unstable/main amd64 intltool-debian all
0.35.0+20060710.5 [26.8 kB]
Get:181 http://ftp.debian.org/debian unstable/main amd64 po-debconf all 1.0.21
[248 kB]
Get:182 http://ftp.debian.org/debian unstable/main amd64 debhelper all 13.2.1
[1007 kB]
Get:183 http://ftp.debian.org/debian unstable/main amd64 libfakeroot amd64
1.24-1 [45.7 kB]
Get:184 http://ftp.debian.org/debian unstable/main amd64 fakeroot amd64 1.24-1
[85.9 kB]
Preconfiguring packages ...
Fetched 320 MB in 4s (76.0 MB/s)
Selecting previously unselected package libdbus-1-3:amd64.
(Reading database ... 9584 files and directories currently installed.)
Preparing to unpack .../00-libdbus-1-3_1.12.20-1_amd64.deb ...
Unpacking libdbus-1-3:amd64 (1.12.20-1) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../01-libexpat1_2.2.9-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.2.9-1) ...
Selecting previously unselected package dbus.
Preparing to unpack .../02-dbus_1.12.20-1_amd64.deb ...
Unpacking dbus (1.12.20-1) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../03-libuchardet0_0.0.7-1_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../04-groff-base_1.22.4-5_amd64.deb ...
Unpacking groff-base (1.22.4-5) ...
Selecting previously unselected package libgdbm6:amd64.
Preparing to unpack .../05-libgdbm6_1.18.1-5.1_amd64.deb ...
Unpacking libgdbm6:amd64 (1.18.1-5.1) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../06-libpipeline1_1.5.3-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.3-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../07-man-db_2.9.3-2_amd64.deb ...
Unpacking man-db (2.9.3-2) ...
Selecting previously unselected package perl-modules-5.30.
Preparing to unpack .../08-perl-modules-5.30_5.30.3-4_all.deb ...
Unpacking perl-modules-5.30 (5.30.3-4) ...
Selecting previously unselected package libgdbm-compat4:amd64.
Preparing to unpack .../09-libgdbm-compat4_1.18.1-5.1_amd64.deb ...
Unpacking libgdbm-compat4:amd64 (1.18.1-5.1) ...
Selecting previously unselected package libperl5.30:amd64.
Preparing to unpack .../10-libperl5.30_5.30.3-4_amd64.deb ...
Unpacking libperl5.30:amd64 (5.30.3-4) ...
Selecting previously unselected package perl.
Preparing to unpack .../11-perl_5.30.3-4_amd64.deb ...
Unpacking perl (5.30.3-4) ...
Selecting previously unselected package libpython3.8-minimal:amd64.
Preparing to unpack .../12-libpython3.8-minimal_3.8.6~rc1-2_amd64.deb ...
Unpacking libpython3.8-minimal:amd64 (3.8.6~rc1-2) ...
Selecting previously unselected package python3.8-minimal.
Preparing to unpack .../13-python3.8-minimal_3.8.6~rc1-2_amd64.deb ...
Unpacking python3.8-minimal (3.8.6~rc1-2) ...
Setting up libpython3.8-minimal:amd64 (3.8.6~rc1-2) ...
Setting up libexpat1:amd64 (2.2.9-1) ...
Setting up python3.8-minimal (3.8.6~rc1-2) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 12403 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.8.2-3_amd64.deb ...
Unpacking python3-minimal (3.8.2-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 libsqlite3-0:amd64.
Preparing to unpack .../2-libsqlite3-0_3.33.0-1_amd64.deb ...
Unpacking libsqlite3-0:amd64 (3.33.0-1) ...
Selecting previously unselected package libpython3.8-stdlib:amd64.
Preparing to unpack .../3-libpython3.8-stdlib_3.8.6~rc1-2_amd64.deb ...
Unpacking libpython3.8-stdlib:amd64 (3.8.6~rc1-2) ...
Selecting previously unselected package python3.8.
Preparing to unpack .../4-python3.8_3.8.6~rc1-2_amd64.deb ...
Unpacking python3.8 (3.8.6~rc1-2) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../5-libpython3-stdlib_3.8.2-3_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.8.2-3) ...
Setting up python3-minimal (3.8.2-3) ...
Selecting previously unselected package python3.
(Reading database ... 12806 files and directories currently installed.)
Preparing to unpack .../000-python3_3.8.2-3_amd64.deb ...
Unpacking python3 (3.8.2-3) ...
Selecting previously unselected package bzip2.
Preparing to unpack .../001-bzip2_1.0.8-4_amd64.deb ...
Unpacking bzip2 (1.0.8-4) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../002-libmagic-mgc_1%3a5.38-5_amd64.deb ...
Unpacking libmagic-mgc (1:5.38-5) ...
Selecting previously unselected package libmagic1:amd64.
Preparing to unpack .../003-libmagic1_1%3a5.38-5_amd64.deb ...
Unpacking libmagic1:amd64 (1:5.38-5) ...
Selecting previously unselected package file.
Preparing to unpack .../004-file_1%3a5.38-5_amd64.deb ...
Unpacking file (1:5.38-5) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../005-gettext-base_0.19.8.1-10_amd64.deb ...
Unpacking gettext-base (0.19.8.1-10) ...
Selecting previously unselected package libpam-systemd:amd64.
Preparing to unpack .../006-libpam-systemd_246.5-1_amd64.deb ...
Unpacking libpam-systemd:amd64 (246.5-1) ...
Selecting previously unselected package ucf.
Preparing to unpack .../007-ucf_3.0043_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0043) ...
Selecting previously unselected package xz-utils.
Preparing to unpack .../008-xz-utils_5.2.4-1+b1_amd64.deb ...
Unpacking xz-utils (5.2.4-1+b1) ...
Selecting previously unselected package hicolor-icon-theme.
Preparing to unpack .../009-hicolor-icon-theme_0.17-2_all.deb ...
Unpacking hicolor-icon-theme (0.17-2) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Preparing to unpack .../010-libgdk-pixbuf2.0-common_2.40.0+dfsg-5_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.40.0+dfsg-5) ...
Selecting previously unselected package libglib2.0-0:amd64.
Preparing to unpack .../011-libglib2.0-0_2.66.0-2_amd64.deb ...
Unpacking libglib2.0-0:amd64 (2.66.0-2) ...
Selecting previously unselected package libicu67:amd64.
Preparing to unpack .../012-libicu67_67.1-4_amd64.deb ...
Unpacking libicu67:amd64 (67.1-4) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../013-libxml2_2.9.10+dfsg-6_amd64.deb ...
Unpacking libxml2:amd64 (2.9.10+dfsg-6) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../014-shared-mime-info_1.15-1_amd64.deb ...
Unpacking shared-mime-info (1.15-1) ...
Selecting previously unselected package libjpeg62-turbo:amd64.
Preparing to unpack .../015-libjpeg62-turbo_1%3a2.0.5-1.1_amd64.deb ...
Unpacking libjpeg62-turbo:amd64 (1:2.0.5-1.1) ...
Selecting previously unselected package libpng16-16:amd64.
Preparing to unpack .../016-libpng16-16_1.6.37-3_amd64.deb ...
Unpacking libpng16-16:amd64 (1.6.37-3) ...
Selecting previously unselected package libjbig0:amd64.
Preparing to unpack .../017-libjbig0_2.1-3.1+b2_amd64.deb ...
Unpacking libjbig0:amd64 (2.1-3.1+b2) ...
Selecting previously unselected package libwebp6:amd64.
Preparing to unpack .../018-libwebp6_0.6.1-2+b1_amd64.deb ...
Unpacking libwebp6:amd64 (0.6.1-2+b1) ...
Selecting previously unselected package libtiff5:amd64.
Preparing to unpack .../019-libtiff5_4.1.0+git191117-2_amd64.deb ...
Unpacking libtiff5:amd64 (4.1.0+git191117-2) ...
Selecting previously unselected package libxau6:amd64.
Preparing to unpack .../020-libxau6_1%3a1.0.8-1+b2_amd64.deb ...
Unpacking libxau6:amd64 (1:1.0.8-1+b2) ...
Selecting previously unselected package libxdmcp6:amd64.
Preparing to unpack .../021-libxdmcp6_1%3a1.1.2-3_amd64.deb ...
Unpacking libxdmcp6:amd64 (1:1.1.2-3) ...
Selecting previously unselected package libxcb1:amd64.
Preparing to unpack .../022-libxcb1_1.14-2_amd64.deb ...
Unpacking libxcb1:amd64 (1.14-2) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../023-libx11-data_2%3a1.6.10-3_all.deb ...
Unpacking libx11-data (2:1.6.10-3) ...
Selecting previously unselected package libx11-6:amd64.
Preparing to unpack .../024-libx11-6_2%3a1.6.10-3_amd64.deb ...
Unpacking libx11-6:amd64 (2:1.6.10-3) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:amd64.
Preparing to unpack .../025-libgdk-pixbuf2.0-0_2.40.0+dfsg-5_amd64.deb ...
Unpacking libgdk-pixbuf2.0-0:amd64 (2.40.0+dfsg-5) ...
Selecting previously unselected package gtk-update-icon-cache.
Preparing to unpack .../026-gtk-update-icon-cache_3.24.23-1_amd64.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.23-1) ...
Selecting previously unselected package adwaita-icon-theme.
Preparing to unpack .../027-adwaita-icon-theme_3.38.0-1_all.deb ...
Unpacking adwaita-icon-theme (3.38.0-1) ...
Selecting previously unselected package libsigsegv2:amd64.
Preparing to unpack .../028-libsigsegv2_2.12-2_amd64.deb ...
Unpacking libsigsegv2:amd64 (2.12-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../029-m4_1.4.18-4_amd64.deb ...
Unpacking m4 (1.4.18-4) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../030-autoconf_2.69-11.1_all.deb ...
Unpacking autoconf (2.69-11.1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../031-autotools-dev_20180224.1_all.deb ...
Unpacking autotools-dev (20180224.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../032-automake_1%3a1.16.2-4_all.deb ...
Unpacking automake (1:1.16.2-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../033-autopoint_0.19.8.1-10_all.deb ...
Unpacking autopoint (0.19.8.1-10) ...
Selecting previously unselected package binutils-common:amd64.
Preparing to unpack .../034-binutils-common_2.35-3_amd64.deb ...
Unpacking binutils-common:amd64 (2.35-3) ...
Selecting previously unselected package libbinutils:amd64.
Preparing to unpack .../035-libbinutils_2.35-3_amd64.deb ...
Unpacking libbinutils:amd64 (2.35-3) ...
Selecting previously unselected package libctf-nobfd0:amd64.
Preparing to unpack .../036-libctf-nobfd0_2.35-3_amd64.deb ...
Unpacking libctf-nobfd0:amd64 (2.35-3) ...
Selecting previously unselected package libctf0:amd64.
Preparing to unpack .../037-libctf0_2.35-3_amd64.deb ...
Unpacking libctf0:amd64 (2.35-3) ...
Selecting previously unselected package binutils-x86-64-linux-gnu.
Preparing to unpack .../038-binutils-x86-64-linux-gnu_2.35-3_amd64.deb ...
Unpacking binutils-x86-64-linux-gnu (2.35-3) ...
Selecting previously unselected package binutils.
Preparing to unpack .../039-binutils_2.35-3_amd64.deb ...
Unpacking binutils (2.35-3) ...
Selecting previously unselected package libc-dev-bin.
Preparing to unpack .../040-libc-dev-bin_2.31-3_amd64.deb ...
Unpacking libc-dev-bin (2.31-3) ...
Selecting previously unselected package linux-libc-dev:amd64.
Preparing to unpack .../041-linux-libc-dev_5.8.7-1_amd64.deb ...
Unpacking linux-libc-dev:amd64 (5.8.7-1) ...
Selecting previously unselected package libcrypt-dev:amd64.
Preparing to unpack .../042-libcrypt-dev_1%3a4.4.17-1_amd64.deb ...
Unpacking libcrypt-dev:amd64 (1:4.4.17-1) ...
Selecting previously unselected package libc6-dev:amd64.
Preparing to unpack .../043-libc6-dev_2.31-3_amd64.deb ...
Unpacking libc6-dev:amd64 (2.31-3) ...
Selecting previously unselected package libcc1-0:amd64.
Preparing to unpack .../044-libcc1-0_10.2.0-8_amd64.deb ...
Unpacking libcc1-0:amd64 (10.2.0-8) ...
Selecting previously unselected package libgomp1:amd64.
Preparing to unpack .../045-libgomp1_10.2.0-8_amd64.deb ...
Unpacking libgomp1:amd64 (10.2.0-8) ...
Selecting previously unselected package libitm1:amd64.
Preparing to unpack .../046-libitm1_10.2.0-8_amd64.deb ...
Unpacking libitm1:amd64 (10.2.0-8) ...
Selecting previously unselected package libatomic1:amd64.
Preparing to unpack .../047-libatomic1_10.2.0-8_amd64.deb ...
Unpacking libatomic1:amd64 (10.2.0-8) ...
Selecting previously unselected package libasan6:amd64.
Preparing to unpack .../048-libasan6_10.2.0-8_amd64.deb ...
Unpacking libasan6:amd64 (10.2.0-8) ...
Selecting previously unselected package liblsan0:amd64.
Preparing to unpack .../049-liblsan0_10.2.0-8_amd64.deb ...
Unpacking liblsan0:amd64 (10.2.0-8) ...
Selecting previously unselected package libtsan0:amd64.
Preparing to unpack .../050-libtsan0_10.2.0-8_amd64.deb ...
Unpacking libtsan0:amd64 (10.2.0-8) ...
Selecting previously unselected package libubsan1:amd64.
Preparing to unpack .../051-libubsan1_10.2.0-8_amd64.deb ...
Unpacking libubsan1:amd64 (10.2.0-8) ...
Selecting previously unselected package libquadmath0:amd64.
Preparing to unpack .../052-libquadmath0_10.2.0-8_amd64.deb ...
Unpacking libquadmath0:amd64 (10.2.0-8) ...
Selecting previously unselected package libgcc-10-dev:amd64.
Preparing to unpack .../053-libgcc-10-dev_10.2.0-8_amd64.deb ...
Unpacking libgcc-10-dev:amd64 (10.2.0-8) ...
Selecting previously unselected package gcc-10.
Preparing to unpack .../054-gcc-10_10.2.0-8_amd64.deb ...
Unpacking gcc-10 (10.2.0-8) ...
Selecting previously unselected package gcc.
Preparing to unpack .../055-gcc_4%3a10.1.0-1_amd64.deb ...
Unpacking gcc (4:10.1.0-1) ...
Selecting previously unselected package libstdc++-10-dev:amd64.
Preparing to unpack .../056-libstdc++-10-dev_10.2.0-8_amd64.deb ...
Unpacking libstdc++-10-dev:amd64 (10.2.0-8) ...
Selecting previously unselected package g++-10.
Preparing to unpack .../057-g++-10_10.2.0-8_amd64.deb ...
Unpacking g++-10 (10.2.0-8) ...
Selecting previously unselected package g++.
Preparing to unpack .../058-g++_4%3a10.1.0-1_amd64.deb ...
Unpacking g++ (4:10.1.0-1) ...
Selecting previously unselected package make.
Preparing to unpack .../059-make_4.3-4_amd64.deb ...
Unpacking make (4.3-4) ...
Selecting previously unselected package libdpkg-perl.
Preparing to unpack .../060-libdpkg-perl_1.20.5_all.deb ...
Unpacking libdpkg-perl (1.20.5) ...
Selecting previously unselected package patch.
Preparing to unpack .../061-patch_2.7.6-6_amd64.deb ...
Unpacking patch (2.7.6-6) ...
Selecting previously unselected package dpkg-dev.
Preparing to unpack .../062-dpkg-dev_1.20.5_all.deb ...
Unpacking dpkg-dev (1.20.5) ...
Selecting previously unselected package build-essential.
Preparing to unpack .../063-build-essential_12.8_amd64.deb ...
Unpacking build-essential (12.8) ...
Selecting previously unselected package coq-theories.
Preparing to unpack .../064-coq-theories_8.12.0-3_amd64.deb ...
Unpacking coq-theories (8.12.0-3) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../065-ocaml-base-nox_4.08.1-10_amd64.deb ...
Unpacking ocaml-base-nox (4.08.1-10) ...
Selecting previously unselected package libbrotli1:amd64.
Preparing to unpack .../066-libbrotli1_1.0.9-2_amd64.deb ...
Unpacking libbrotli1:amd64 (1.0.9-2) ...
Selecting previously unselected package libfreetype6:amd64.
Preparing to unpack .../067-libfreetype6_2.10.2+dfsg-3_amd64.deb ...
Unpacking libfreetype6:amd64 (2.10.2+dfsg-3) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../068-fonts-dejavu-core_2.37-2_all.deb ...
Unpacking fonts-dejavu-core (2.37-2) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../069-fontconfig-config_2.13.1-4.2_all.deb ...
Unpacking fontconfig-config (2.13.1-4.2) ...
Selecting previously unselected package libfontconfig1:amd64.
Preparing to unpack .../070-libfontconfig1_2.13.1-4.2_amd64.deb ...
Unpacking libfontconfig1:amd64 (2.13.1-4.2) ...
Selecting previously unselected package libpixman-1-0:amd64.
Preparing to unpack .../071-libpixman-1-0_0.36.0-1_amd64.deb ...
Unpacking libpixman-1-0:amd64 (0.36.0-1) ...
Selecting previously unselected package libxcb-render0:amd64.
Preparing to unpack .../072-libxcb-render0_1.14-2_amd64.deb ...
Unpacking libxcb-render0:amd64 (1.14-2) ...
Selecting previously unselected package libxcb-shm0:amd64.
Preparing to unpack .../073-libxcb-shm0_1.14-2_amd64.deb ...
Unpacking libxcb-shm0:amd64 (1.14-2) ...
Selecting previously unselected package libxext6:amd64.
Preparing to unpack .../074-libxext6_2%3a1.3.3-1+b2_amd64.deb ...
Unpacking libxext6:amd64 (2:1.3.3-1+b2) ...
Selecting previously unselected package libxrender1:amd64.
Preparing to unpack .../075-libxrender1_1%3a0.9.10-1_amd64.deb ...
Unpacking libxrender1:amd64 (1:0.9.10-1) ...
Selecting previously unselected package libcairo2:amd64.
Preparing to unpack .../076-libcairo2_1.16.0-4_amd64.deb ...
Unpacking libcairo2:amd64 (1.16.0-4) ...
Selecting previously unselected package libcairo2-ocaml.
Preparing to unpack .../077-libcairo2-ocaml_0.6.1+dfsg-5_amd64.deb ...
Unpacking libcairo2-ocaml (0.6.1+dfsg-5) ...
Selecting previously unselected package libatk1.0-data.
Preparing to unpack .../078-libatk1.0-data_2.36.0-2_all.deb ...
Unpacking libatk1.0-data (2.36.0-2) ...
Selecting previously unselected package libatk1.0-0:amd64.
Preparing to unpack .../079-libatk1.0-0_2.36.0-2_amd64.deb ...
Unpacking libatk1.0-0:amd64 (2.36.0-2) ...
Selecting previously unselected package libatspi2.0-0:amd64.
Preparing to unpack .../080-libatspi2.0-0_2.38.0-2_amd64.deb ...
Unpacking libatspi2.0-0:amd64 (2.38.0-2) ...
Selecting previously unselected package libatk-bridge2.0-0:amd64.
Preparing to unpack .../081-libatk-bridge2.0-0_2.38.0-1_amd64.deb ...
Unpacking libatk-bridge2.0-0:amd64 (2.38.0-1) ...
Selecting previously unselected package libcairo-gobject2:amd64.
Preparing to unpack .../082-libcairo-gobject2_1.16.0-4_amd64.deb ...
Unpacking libcairo-gobject2:amd64 (1.16.0-4) ...
Selecting previously unselected package liblcms2-2:amd64.
Preparing to unpack .../083-liblcms2-2_2.9-4+b1_amd64.deb ...
Unpacking liblcms2-2:amd64 (2.9-4+b1) ...
Selecting previously unselected package libcolord2:amd64.
Preparing to unpack .../084-libcolord2_1.4.4-2_amd64.deb ...
Unpacking libcolord2:amd64 (1.4.4-2) ...
Selecting previously unselected package libavahi-common-data:amd64.
Preparing to unpack .../085-libavahi-common-data_0.8-3_amd64.deb ...
Unpacking libavahi-common-data:amd64 (0.8-3) ...
Selecting previously unselected package libavahi-common3:amd64.
Preparing to unpack .../086-libavahi-common3_0.8-3_amd64.deb ...
Unpacking libavahi-common3:amd64 (0.8-3) ...
Selecting previously unselected package libavahi-client3:amd64.
Preparing to unpack .../087-libavahi-client3_0.8-3_amd64.deb ...
Unpacking libavahi-client3:amd64 (0.8-3) ...
Selecting previously unselected package libkrb5support0:amd64.
Preparing to unpack .../088-libkrb5support0_1.17-10_amd64.deb ...
Unpacking libkrb5support0:amd64 (1.17-10) ...
Selecting previously unselected package libk5crypto3:amd64.
Preparing to unpack .../089-libk5crypto3_1.17-10_amd64.deb ...
Unpacking libk5crypto3:amd64 (1.17-10) ...
Selecting previously unselected package libkeyutils1:amd64.
Preparing to unpack .../090-libkeyutils1_1.6.1-2_amd64.deb ...
Unpacking libkeyutils1:amd64 (1.6.1-2) ...
Selecting previously unselected package libkrb5-3:amd64.
Preparing to unpack .../091-libkrb5-3_1.17-10_amd64.deb ...
Unpacking libkrb5-3:amd64 (1.17-10) ...
Selecting previously unselected package libgssapi-krb5-2:amd64.
Preparing to unpack .../092-libgssapi-krb5-2_1.17-10_amd64.deb ...
Unpacking libgssapi-krb5-2:amd64 (1.17-10) ...
Selecting previously unselected package libcups2:amd64.
Preparing to unpack .../093-libcups2_2.3.3-3_amd64.deb ...
Unpacking libcups2:amd64 (2.3.3-3) ...
Selecting previously unselected package libepoxy0:amd64.
Preparing to unpack .../094-libepoxy0_1.5.4-1_amd64.deb ...
Unpacking libepoxy0:amd64 (1.5.4-1) ...
Selecting previously unselected package libfribidi0:amd64.
Preparing to unpack .../095-libfribidi0_1.0.8-2_amd64.deb ...
Unpacking libfribidi0:amd64 (1.0.8-2) ...
Selecting previously unselected package libgraphite2-3:amd64.
Preparing to unpack .../096-libgraphite2-3_1.3.14-1_amd64.deb ...
Unpacking libgraphite2-3:amd64 (1.3.14-1) ...
Selecting previously unselected package libharfbuzz0b:amd64.
Preparing to unpack .../097-libharfbuzz0b_2.6.7-1_amd64.deb ...
Unpacking libharfbuzz0b:amd64 (2.6.7-1) ...
Selecting previously unselected package libjson-glib-1.0-common.
Preparing to unpack .../098-libjson-glib-1.0-common_1.6.0-1_all.deb ...
Unpacking libjson-glib-1.0-common (1.6.0-1) ...
Selecting previously unselected package libjson-glib-1.0-0:amd64.
Preparing to unpack .../099-libjson-glib-1.0-0_1.6.0-1_amd64.deb ...
Unpacking libjson-glib-1.0-0:amd64 (1.6.0-1) ...
Selecting previously unselected package fontconfig.
Preparing to unpack .../100-fontconfig_2.13.1-4.2_amd64.deb ...
Unpacking fontconfig (2.13.1-4.2) ...
Selecting previously unselected package libthai-data.
Preparing to unpack .../101-libthai-data_0.1.28-3_all.deb ...
Unpacking libthai-data (0.1.28-3) ...
Selecting previously unselected package libdatrie1:amd64.
Preparing to unpack .../102-libdatrie1_0.2.12-3_amd64.deb ...
Unpacking libdatrie1:amd64 (0.2.12-3) ...
Selecting previously unselected package libthai0:amd64.
Preparing to unpack .../103-libthai0_0.1.28-3_amd64.deb ...
Unpacking libthai0:amd64 (0.1.28-3) ...
Selecting previously unselected package libpango-1.0-0:amd64.
Preparing to unpack .../104-libpango-1.0-0_1.46.1-1_amd64.deb ...
Unpacking libpango-1.0-0:amd64 (1.46.1-1) ...
Selecting previously unselected package libpangoft2-1.0-0:amd64.
Preparing to unpack .../105-libpangoft2-1.0-0_1.46.1-1_amd64.deb ...
Unpacking libpangoft2-1.0-0:amd64 (1.46.1-1) ...
Selecting previously unselected package libpangocairo-1.0-0:amd64.
Preparing to unpack .../106-libpangocairo-1.0-0_1.46.1-1_amd64.deb ...
Unpacking libpangocairo-1.0-0:amd64 (1.46.1-1) ...
Selecting previously unselected package libproxy1v5:amd64.
Preparing to unpack .../107-libproxy1v5_0.4.15-13_amd64.deb ...
Unpacking libproxy1v5:amd64 (0.4.15-13) ...
Selecting previously unselected package glib-networking-common.
Preparing to unpack .../108-glib-networking-common_2.66.0-1_all.deb ...
Unpacking glib-networking-common (2.66.0-1) ...
Selecting previously unselected package glib-networking-services.
Preparing to unpack .../109-glib-networking-services_2.66.0-1_amd64.deb ...
Unpacking glib-networking-services (2.66.0-1) ...
Selecting previously unselected package dbus-user-session.
Preparing to unpack .../110-dbus-user-session_1.12.20-1_amd64.deb ...
Unpacking dbus-user-session (1.12.20-1) ...
Selecting previously unselected package libdconf1:amd64.
Preparing to unpack .../111-libdconf1_0.38.0-1_amd64.deb ...
Unpacking libdconf1:amd64 (0.38.0-1) ...
Selecting previously unselected package dconf-service.
Preparing to unpack .../112-dconf-service_0.38.0-1_amd64.deb ...
Unpacking dconf-service (0.38.0-1) ...
Selecting previously unselected package dconf-gsettings-backend:amd64.
Preparing to unpack .../113-dconf-gsettings-backend_0.38.0-1_amd64.deb ...
Unpacking dconf-gsettings-backend:amd64 (0.38.0-1) ...
Selecting previously unselected package gsettings-desktop-schemas.
Preparing to unpack .../114-gsettings-desktop-schemas_3.36.1-1_all.deb ...
Unpacking gsettings-desktop-schemas (3.36.1-1) ...
Selecting previously unselected package glib-networking:amd64.
Preparing to unpack .../115-glib-networking_2.66.0-1_amd64.deb ...
Unpacking glib-networking:amd64 (2.66.0-1) ...
Selecting previously unselected package libpsl5:amd64.
Preparing to unpack .../116-libpsl5_0.21.0-1.1_amd64.deb ...
Unpacking libpsl5:amd64 (0.21.0-1.1) ...
Selecting previously unselected package libsoup2.4-1:amd64.
Preparing to unpack .../117-libsoup2.4-1_2.70.0-1_amd64.deb ...
Unpacking libsoup2.4-1:amd64 (2.70.0-1) ...
Selecting previously unselected package libsoup-gnome2.4-1:amd64.
Preparing to unpack .../118-libsoup-gnome2.4-1_2.70.0-1_amd64.deb ...
Unpacking libsoup-gnome2.4-1:amd64 (2.70.0-1) ...
Selecting previously unselected package librest-0.7-0:amd64.
Preparing to unpack .../119-librest-0.7-0_0.8.1-1+b1_amd64.deb ...
Unpacking librest-0.7-0:amd64 (0.8.1-1+b1) ...
Selecting previously unselected package libwayland-client0:amd64.
Preparing to unpack .../120-libwayland-client0_1.18.0-2~exp1.1_amd64.deb ...
Unpacking libwayland-client0:amd64 (1.18.0-2~exp1.1) ...
Selecting previously unselected package libwayland-cursor0:amd64.
Preparing to unpack .../121-libwayland-cursor0_1.18.0-2~exp1.1_amd64.deb ...
Unpacking libwayland-cursor0:amd64 (1.18.0-2~exp1.1) ...
Selecting previously unselected package libwayland-egl1:amd64.
Preparing to unpack .../122-libwayland-egl1_1.18.0-2~exp1.1_amd64.deb ...
Unpacking libwayland-egl1:amd64 (1.18.0-2~exp1.1) ...
Selecting previously unselected package libxcomposite1:amd64.
Preparing to unpack .../123-libxcomposite1_1%3a0.4.5-1_amd64.deb ...
Unpacking libxcomposite1:amd64 (1:0.4.5-1) ...
Selecting previously unselected package libxfixes3:amd64.
Preparing to unpack .../124-libxfixes3_1%3a5.0.3-2_amd64.deb ...
Unpacking libxfixes3:amd64 (1:5.0.3-2) ...
Selecting previously unselected package libxcursor1:amd64.
Preparing to unpack .../125-libxcursor1_1%3a1.2.0-2_amd64.deb ...
Unpacking libxcursor1:amd64 (1:1.2.0-2) ...
Selecting previously unselected package libxdamage1:amd64.
Preparing to unpack .../126-libxdamage1_1%3a1.1.5-2_amd64.deb ...
Unpacking libxdamage1:amd64 (1:1.1.5-2) ...
Selecting previously unselected package libxi6:amd64.
Preparing to unpack .../127-libxi6_2%3a1.7.10-1_amd64.deb ...
Unpacking libxi6:amd64 (2:1.7.10-1) ...
Selecting previously unselected package libxinerama1:amd64.
Preparing to unpack .../128-libxinerama1_2%3a1.1.4-2_amd64.deb ...
Unpacking libxinerama1:amd64 (2:1.1.4-2) ...
Selecting previously unselected package xkb-data.
Preparing to unpack .../129-xkb-data_2.29-2_all.deb ...
Unpacking xkb-data (2.29-2) ...
Selecting previously unselected package libxkbcommon0:amd64.
Preparing to unpack .../130-libxkbcommon0_0.10.0-1_amd64.deb ...
Unpacking libxkbcommon0:amd64 (0.10.0-1) ...
Selecting previously unselected package libxrandr2:amd64.
Preparing to unpack .../131-libxrandr2_2%3a1.5.1-1_amd64.deb ...
Unpacking libxrandr2:amd64 (2:1.5.1-1) ...
Selecting previously unselected package libgtk-3-common.
Preparing to unpack .../132-libgtk-3-common_3.24.23-1_all.deb ...
Unpacking libgtk-3-common (3.24.23-1) ...
Selecting previously unselected package libgtk-3-0:amd64.
Preparing to unpack .../133-libgtk-3-0_3.24.23-1_amd64.deb ...
Unpacking libgtk-3-0:amd64 (3.24.23-1) ...
Selecting previously unselected package liblablgtk3-ocaml.
Preparing to unpack .../134-liblablgtk3-ocaml_3.1.1-1+b1_amd64.deb ...
Unpacking liblablgtk3-ocaml (3.1.1-1+b1) ...
Selecting previously unselected package libgtksourceview-3.0-common.
Preparing to unpack .../135-libgtksourceview-3.0-common_3.24.11-2_all.deb ...
Unpacking libgtksourceview-3.0-common (3.24.11-2) ...
Selecting previously unselected package libgtksourceview-3.0-1:amd64.
Preparing to unpack .../136-libgtksourceview-3.0-1_3.24.11-2_amd64.deb ...
Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-2) ...
Selecting previously unselected package liblablgtksourceview3-ocaml.
Preparing to unpack .../137-liblablgtksourceview3-ocaml_3.1.1-1+b1_amd64.deb ...
Unpacking liblablgtksourceview3-ocaml (3.1.1-1+b1) ...
Selecting previously unselected package libnum-ocaml.
Preparing to unpack .../138-libnum-ocaml_1.3-1_amd64.deb ...
Unpacking libnum-ocaml (1.3-1) ...
Selecting previously unselected package libcoq-ocaml.
Preparing to unpack .../139-libcoq-ocaml_8.12.0-3_amd64.deb ...
Unpacking libcoq-ocaml (8.12.0-3) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../140-libncurses-dev_6.2-1_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.2-1) ...
Selecting previously unselected package libncurses5-dev:amd64.
Preparing to unpack .../141-libncurses5-dev_6.2-1_amd64.deb ...
Unpacking libncurses5-dev:amd64 (6.2-1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../142-ocaml-compiler-libs_4.08.1-10_amd64.deb ...
Unpacking ocaml-compiler-libs (4.08.1-10) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../143-ocaml-interp_4.08.1-10_amd64.deb ...
Unpacking ocaml-interp (4.08.1-10) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../144-ocaml-nox_4.08.1-10_amd64.deb ...
Unpacking ocaml-nox (4.08.1-10) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../145-libfindlib-ocaml_1.8.1-1+b1_amd64.deb ...
Unpacking libfindlib-ocaml (1.8.1-1+b1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../146-ocaml-findlib_1.8.1-1+b1_amd64.deb ...
Unpacking ocaml-findlib (1.8.1-1+b1) ...
Selecting previously unselected package coq.
Preparing to unpack .../147-coq_8.12.0-3_amd64.deb ...
Unpacking coq (8.12.0-3) ...
Selecting previously unselected package libtool.
Preparing to unpack .../148-libtool_2.4.6-14_all.deb ...
Unpacking libtool (2.4.6-14) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../149-dh-autoreconf_19_all.deb ...
Unpacking dh-autoreconf (19) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../150-libdebhelper-perl_13.2.1_all.deb ...
Unpacking libdebhelper-perl (13.2.1) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../151-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../152-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 .../153-libfile-stripnondeterminism-perl_1.9.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.9.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../154-dh-strip-nondeterminism_1.9.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.9.0-1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../155-dwz_0.13-5_amd64.deb ...
Unpacking dwz (0.13-5) ...
Selecting previously unselected package libcroco3:amd64.
Preparing to unpack .../156-libcroco3_0.6.13-1_amd64.deb ...
Unpacking libcroco3:amd64 (0.6.13-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../157-gettext_0.19.8.1-10_amd64.deb ...
Unpacking gettext (0.19.8.1-10) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../158-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 .../159-po-debconf_1.0.21_all.deb ...
Unpacking po-debconf (1.0.21) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../160-debhelper_13.2.1_all.deb ...
Unpacking debhelper (13.2.1) ...
Selecting previously unselected package libfakeroot:amd64.
Preparing to unpack .../161-libfakeroot_1.24-1_amd64.deb ...
Unpacking libfakeroot:amd64 (1.24-1) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../162-fakeroot_1.24-1_amd64.deb ...
Unpacking fakeroot (1.24-1) ...
Selecting previously unselected package sbuild-build-depends-main-dummy.
Preparing to unpack
.../163-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ...
Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ...
Setting up libpipeline1:amd64 (1.5.3-1) ...
Setting up libgraphite2-3:amd64 (1.3.14-1) ...
Setting up liblcms2-2:amd64 (2.9-4+b1) ...
Setting up libpixman-1-0:amd64 (0.36.0-1) ...
Setting up libxau6:amd64 (1:1.0.8-1+b2) ...
Setting up libxdmcp6:amd64 (1:1.1.2-3) ...
Setting up libkeyutils1:amd64 (1.6.1-2) ...
Setting up libproxy1v5:amd64 (0.4.15-13) ...
Setting up libpsl5:amd64 (0.21.0-1.1) ...
Setting up libxcb1:amd64 (1.14-2) ...
Setting up perl-modules-5.30 (5.30.3-4) ...
Setting up mime-support (3.64) ...
Setting up hicolor-icon-theme (0.17-2) ...
Setting up libicu67:amd64 (67.1-4) ...
Setting up libdatrie1:amd64 (0.2.12-3) ...
Setting up libmagic-mgc (1:5.38-5) ...
Setting up libxcb-render0:amd64 (1.14-2) ...
Setting up libglib2.0-0:amd64 (2.66.0-2) ...
Setting up libbrotli1:amd64 (1.0.9-2) ...
Setting up libsqlite3-0:amd64 (3.33.0-1) ...
Setting up libgdk-pixbuf2.0-common (2.40.0+dfsg-5) ...
Setting up binutils-common:amd64 (2.35-3) ...
Setting up libmagic1:amd64 (1:5.38-5) ...
Setting up linux-libc-dev:amd64 (5.8.7-1) ...
Setting up libctf-nobfd0:amd64 (2.35-3) ...
Setting up gettext-base (0.19.8.1-10) ...
Setting up xkb-data (2.29-2) ...
Setting up libxcb-shm0:amd64 (1.14-2) ...
Setting up file (1:5.38-5) ...
Setting up libgomp1:amd64 (10.2.0-8) ...
Setting up bzip2 (1.0.8-4) ...
Setting up libjbig0:amd64 (2.1-3.1+b2) ...
Setting up libcolord2:amd64 (1.4.4-2) ...
Setting up libfakeroot:amd64 (1.24-1) ...
Setting up libasan6:amd64 (10.2.0-8) ...
Setting up libkrb5support0:amd64 (1.17-10) ...
Setting up fakeroot (1.24-1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot
(fakeroot) in auto mode
Setting up libdconf1:amd64 (0.38.0-1) ...
Setting up autotools-dev (20180224.1) ...
Setting up libjpeg62-turbo:amd64 (1:2.0.5-1.1) ...
Setting up libx11-data (2:1.6.10-3) ...
Setting up make (4.3-4) ...
Setting up libepoxy0:amd64 (1.5.4-1) ...
Setting up libavahi-common-data:amd64 (0.8-3) ...
Setting up libdbus-1-3:amd64 (1.12.20-1) ...
Setting up dbus (1.12.20-1) ...
Running in chroot, ignoring request.
Setting up libsigsegv2:amd64 (2.12-2) ...
Setting up xz-utils (5.2.4-1+b1) ...
update-alternatives: using /usr/bin/xz to provide /usr/bin/lzma (lzma) in auto
mode
Setting up libfribidi0:amd64 (1.0.8-2) ...
Setting up libquadmath0:amd64 (10.2.0-8) ...
Setting up libpng16-16:amd64 (1.6.37-3) ...
Setting up libatomic1:amd64 (10.2.0-8) ...
Setting up patch (2.7.6-6) ...
Setting up autopoint (0.19.8.1-10) ...
Setting up libwebp6:amd64 (0.6.1-2+b1) ...
Setting up fonts-dejavu-core (2.37-2) ...
Setting up ucf (3.0043) ...
Setting up libk5crypto3:amd64 (1.17-10) ...
Setting up libubsan1:amd64 (10.2.0-8) ...
Setting up libatk1.0-data (2.36.0-2) ...
Setting up dwz (0.13-5) ...
Setting up libcrypt-dev:amd64 (1:4.4.17-1) ...
Setting up libuchardet0:amd64 (0.0.7-1) ...
Setting up libgtksourceview-3.0-common (3.24.11-2) ...
Setting up libpam-systemd:amd64 (246.5-1) ...
Setting up libx11-6:amd64 (2:1.6.10-3) ...
Setting up libthai-data (0.1.28-3) ...
Setting up libjson-glib-1.0-common (1.6.0-1) ...
Setting up libatk1.0-0:amd64 (2.36.0-2) ...
Setting up libkrb5-3:amd64 (1.17-10) ...
Setting up libtiff5:amd64 (4.1.0+git191117-2) ...
Setting up libwayland-egl1:amd64 (1.18.0-2~exp1.1) ...
Setting up ocaml-base-nox (4.08.1-10) ...
Setting up glib-networking-common (2.66.0-1) ...
Setting up libbinutils:amd64 (2.35-3) ...
Setting up libpython3.8-stdlib:amd64 (3.8.6~rc1-2) ...
Setting up libc-dev-bin (2.31-3) ...
Setting up python3.8 (3.8.6~rc1-2) ...
Setting up libxcomposite1:amd64 (1:0.4.5-1) ...
Setting up libxml2:amd64 (2.9.10+dfsg-6) ...
Setting up libcc1-0:amd64 (10.2.0-8) ...
Setting up liblsan0:amd64 (10.2.0-8) ...
Setting up libitm1:amd64 (10.2.0-8) ...
Setting up libpython3-stdlib:amd64 (3.8.2-3) ...
Setting up libgdbm6:amd64 (1.18.1-5.1) ...
Setting up libtsan0:amd64 (10.2.0-8) ...
Setting up libxkbcommon0:amd64 (0.10.0-1) ...
Setting up libwayland-client0:amd64 (1.18.0-2~exp1.1) ...
Setting up libctf0:amd64 (2.35-3) ...
Setting up glib-networking-services (2.66.0-1) ...
Setting up libxdamage1:amd64 (1:1.1.5-2) ...
Setting up libxrender1:amd64 (1:0.9.10-1) ...
Setting up fontconfig-config (2.13.1-4.2) ...
Setting up libgcc-10-dev:amd64 (10.2.0-8) ...
Setting up libavahi-common3:amd64 (0.8-3) ...
Setting up libfindlib-ocaml (1.8.1-1+b1) ...
Setting up libxext6:amd64 (2:1.3.3-1+b2) ...
Setting up m4 (1.4.18-4) ...
Setting up python3 (3.8.2-3) ...
Setting up libatspi2.0-0:amd64 (2.38.0-2) ...
Setting up libjson-glib-1.0-0:amd64 (1.6.0-1) ...
Setting up libatk-bridge2.0-0:amd64 (2.38.0-1) ...
Setting up libthai0:amd64 (0.1.28-3) ...
Setting up dbus-user-session (1.12.20-1) ...
Setting up libfreetype6:amd64 (2.10.2+dfsg-3) ...
Setting up libxfixes3:amd64 (1:5.0.3-2) ...
Setting up shared-mime-info (1.15-1) ...
Setting up libxinerama1:amd64 (2:1.1.4-2) ...
Setting up ocaml-findlib (1.8.1-1+b1) ...
Setting up libgssapi-krb5-2:amd64 (1.17-10) ...
Setting up libxrandr2:amd64 (2:1.5.1-1) ...
Setting up libcroco3:amd64 (0.6.13-1) ...
Setting up libgdbm-compat4:amd64 (1.18.1-5.1) ...
Setting up libnum-ocaml (1.3-1) ...
Setting up groff-base (1.22.4-5) ...
Setting up libwayland-cursor0:amd64 (1.18.0-2~exp1.1) ...
Setting up libperl5.30:amd64 (5.30.3-4) ...
Setting up libc6-dev:amd64 (2.31-3) ...
Setting up libharfbuzz0b:amd64 (2.6.7-1) ...
Setting up libfontconfig1:amd64 (2.13.1-4.2) ...
Setting up libavahi-client3:amd64 (0.8-3) ...
Setting up binutils-x86-64-linux-gnu (2.35-3) ...
Setting up fontconfig (2.13.1-4.2) ...
Regenerating fonts cache... done.
Setting up libncurses-dev:amd64 (6.2-1) ...
Setting up gettext (0.19.8.1-10) ...
Setting up libstdc++-10-dev:amd64 (10.2.0-8) ...
Setting up libxi6:amd64 (2:1.7.10-1) ...
Setting up libxcursor1:amd64 (1:1.2.0-2) ...
Setting up libpango-1.0-0:amd64 (1.46.1-1) ...
Setting up dconf-service (0.38.0-1) ...
Setting up binutils (2.35-3) ...
Setting up man-db (2.9.3-2) ...
Not building database; man-db/auto-update is not 'true'.
Created symlink /etc/systemd/system/timers.target.wants/man-db.timer →
/lib/systemd/system/man-db.timer.
Setting up libcairo2:amd64 (1.16.0-4) ...
Setting up perl (5.30.3-4) ...
Setting up libgdk-pixbuf2.0-0:amd64 (2.40.0+dfsg-5) ...
Setting up gcc-10 (10.2.0-8) ...
Setting up libdpkg-perl (1.20.5) ...
Setting up autoconf (2.69-11.1) ...
Setting up libcups2:amd64 (2.3.3-3) ...
Setting up libncurses5-dev:amd64 (6.2-1) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up libcairo-gobject2:amd64 (1.16.0-4) ...
Setting up libpangoft2-1.0-0:amd64 (1.46.1-1) ...
Setting up libpangocairo-1.0-0:amd64 (1.46.1-1) ...
Setting up automake (1:1.16.2-4) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake
(automake) in auto mode
Setting up gtk-update-icon-cache (3.24.23-1) ...
Setting up g++-10 (10.2.0-8) ...
Setting up dconf-gsettings-backend:amd64 (0.38.0-1) ...
Setting up libtool (2.4.6-14) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.2.1) ...
Setting up libcairo2-ocaml (0.6.1+dfsg-5) ...
Setting up gcc (4:10.1.0-1) ...
Setting up dpkg-dev (1.20.5) ...
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up adwaita-icon-theme (3.38.0-1) ...
update-alternatives: using /usr/share/icons/Adwaita/cursor.theme to provide
/usr/share/icons/default/index.theme (x-cursor-theme) in auto mode
Setting up g++ (4:10.1.0-1) ...
update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto
mode
Setting up build-essential (12.8) ...
Setting up libgtk-3-common (3.24.23-1) ...
Setting up libfile-stripnondeterminism-perl (1.9.0-1) ...
Setting up gsettings-desktop-schemas (3.36.1-1) ...
Setting up po-debconf (1.0.21) ...
Setting up dh-strip-nondeterminism (1.9.0-1) ...
Setting up glib-networking:amd64 (2.66.0-1) ...
Setting up libsoup2.4-1:amd64 (2.70.0-1) ...
Setting up libsoup-gnome2.4-1:amd64 (2.70.0-1) ...
Setting up librest-0.7-0:amd64 (0.8.1-1+b1) ...
Setting up libgtk-3-0:amd64 (3.24.23-1) ...
Setting up libgtksourceview-3.0-1:amd64 (3.24.11-2) ...
Setting up liblablgtk3-ocaml (3.1.1-1+b1) ...
Setting up liblablgtksourceview3-ocaml (3.1.1-1+b1) ...
Setting up libcoq-ocaml (8.12.0-3) ...
Setting up coq-theories (8.12.0-3) ...
Setting up dh-autoreconf (19) ...
Setting up ocaml-interp (4.08.1-10) ...
Setting up ocaml-nox (4.08.1-10) ...
Setting up coq (8.12.0-3) ...
Setting up ocaml-compiler-libs (4.08.1-10) ...
Setting up debhelper (13.2.1) ...
Setting up sbuild-build-depends-main-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.31-3) ...
Processing triggers for systemd (246.5-1) ...
+------------------------------------------------------------------------------+
| Check architectures |
+------------------------------------------------------------------------------+
Arch check ok (amd64 included in all)
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.19.0-5-amd64 #1 SMP Debian 4.19.37-5 (2019-06-19) amd64 (x86_64)
Toolchain package versions: binutils_2.35-3 dpkg-dev_1.20.5 g++-10_10.2.0-8
gcc-10_10.2.0-8 libc6-dev_2.31-3 libstdc++-10-dev_10.2.0-8 libstdc++6_10.2.0-8
linux-libc-dev_5.8.7-1
Package versions: adduser_3.118 adwaita-icon-theme_3.38.0-1 apt_2.1.10
apt-utils_2.1.10 autoconf_2.69-11.1 automake_1:1.16.2-4 autopoint_0.19.8.1-10
autotools-dev_20180224.1 base-files_11 base-passwd_3.5.47 bash_5.0-7
binutils_2.35-3 binutils-common_2.35-3 binutils-x86-64-linux-gnu_2.35-3
bsdextrautils_2.36-3 bsdmainutils_12.1.7 bsdutils_1:2.36-3 build-essential_12.8
bzip2_1.0.8-4 calendar_12.1.7 coq_8.12.0-3 coq-theories_8.12.0-3
coreutils_8.32-3 cpio_2.13+dfsg-3 cpp_4:10.1.0-1 cpp-10_10.2.0-8
cron_3.0pl1-136 dash_0.5.10.2-7 dbus_1.12.20-1 dbus-user-session_1.12.20-1
dconf-gsettings-backend_0.38.0-1 dconf-service_0.38.0-1 debconf_1.5.74
debconf-i18n_1.5.74 debhelper_13.2.1 debian-archive-keyring_2019.1
debianutils_4.11.1 dh-autoreconf_19 dh-strip-nondeterminism_1.9.0-1
diffutils_1:3.7-3 dmidecode_3.2-4 dmsetup_2:1.02.171-3 dpkg_1.20.5
dpkg-dev_1.20.5 dwz_0.13-5 e2fsprogs_1.45.6-1 fakeroot_1.24-1 fdisk_2.36-3
file_1:5.38-5 findutils_4.7.0-1 fontconfig_2.13.1-4.2
fontconfig-config_2.13.1-4.2 fonts-dejavu-core_2.37-2 g++_4:10.1.0-1
g++-10_10.2.0-8 gcc_4:10.1.0-1 gcc-10_10.2.0-8 gcc-10-base_10.2.0-8
gcc-9-base_9.3.0-18 gettext_0.19.8.1-10 gettext-base_0.19.8.1-10
glib-networking_2.66.0-1 glib-networking-common_2.66.0-1
glib-networking-services_2.66.0-1 gpgv_2.2.20-1 grep_3.4-1 groff-base_1.22.4-5
gsettings-desktop-schemas_3.36.1-1 gtk-update-icon-cache_3.24.23-1 gzip_1.10-2
hicolor-icon-theme_0.17-2 hostname_3.23 ifupdown_0.8.35+b1 init_1.58
init-system-helpers_1.58 intltool-debian_0.35.0+20060710.5 iproute2_5.8.0-1
iptables_1.8.5-3 iputils-ping_3:20200821-2 isc-dhcp-client_4.4.1-2.1+b2
isc-dhcp-common_4.4.1-2.1+b2 kmod_27+20200310-2 less_551-2 libacl1_2.2.53-8
libapparmor1_2.13.4-3 libapt-inst2.0_1.8.4 libapt-pkg5.0_1.8.4
libapt-pkg6.0_2.1.10 libarchive-zip-perl_1.68-1 libargon2-1_0~20171227-0.2
libasan6_10.2.0-8 libatk-bridge2.0-0_2.38.0-1 libatk1.0-0_2.36.0-2
libatk1.0-data_2.36.0-2 libatomic1_10.2.0-8 libatspi2.0-0_2.38.0-2
libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-3 libaudit1_1:2.8.5-3+b1
libavahi-client3_0.8-3 libavahi-common-data_0.8-3 libavahi-common3_0.8-3
libbinutils_2.35-3 libblkid1_2.36-3 libbrotli1_1.0.9-2 libbsd0_0.10.0-1
libbz2-1.0_1.0.8-4 libc-bin_2.31-3 libc-dev-bin_2.31-3 libc6_2.31-3
libc6-dev_2.31-3 libcairo-gobject2_1.16.0-4 libcairo2_1.16.0-4
libcairo2-ocaml_0.6.1+dfsg-5 libcap-ng0_0.7.9-2.2 libcap2_1:2.43-1
libcap2-bin_1:2.43-1 libcc1-0_10.2.0-8 libcolord2_1.4.4-2 libcom-err2_1.45.6-1
libcoq-ocaml_8.12.0-3 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.17-1
libcrypt1_1:4.4.17-1 libcryptsetup12_2:2.3.4-1 libctf-nobfd0_2.35-3
libctf0_2.35-3 libcups2_2.3.3-3 libdatrie1_0.2.12-3 libdb5.3_5.3.28+dfsg1-0.6
libdbus-1-3_1.12.20-1 libdconf1_0.38.0-1 libdebconfclient0_0.253
libdebhelper-perl_13.2.1 libdevmapper1.02.1_2:1.02.171-3
libdns-export1104_1:9.11.5.P4+dfsg-5.1+b1 libdns-export1110_1:9.11.19+dfsg-1
libdpkg-perl_1.20.5 libelf1_0.181-1 libepoxy0_1.5.4-1 libestr0_0.1.10-2.1+b1
libexpat1_2.2.9-1 libext2fs2_1.45.6-1 libfakeroot_1.24-1 libfastjson4_0.99.8-2
libfdisk1_2.36-3 libffi6_3.2.1-9 libffi7_3.3-4
libfile-stripnondeterminism-perl_1.9.0-1 libfindlib-ocaml_1.8.1-1+b1
libfontconfig1_2.13.1-4.2 libfreetype6_2.10.2+dfsg-3 libfribidi0_1.0.8-2
libgcc-10-dev_10.2.0-8 libgcc-s1_10.2.0-8 libgcrypt20_1.8.6-2
libgdbm-compat4_1.18.1-5.1 libgdbm6_1.18.1-5.1 libgdk-pixbuf2.0-0_2.40.0+dfsg-5
libgdk-pixbuf2.0-common_2.40.0+dfsg-5 libglib2.0-0_2.66.0-2
libgmp10_2:6.2.0+dfsg-6 libgnutls30_3.6.15-3 libgomp1_10.2.0-8
libgpg-error0_1.38-2 libgraphite2-3_1.3.14-1 libgssapi-krb5-2_1.17-10
libgtk-3-0_3.24.23-1 libgtk-3-common_3.24.23-1 libgtksourceview-3.0-1_3.24.11-2
libgtksourceview-3.0-common_3.24.11-2 libharfbuzz0b_2.6.7-1
libhogweed5_3.5.1+really3.5.1-2 libhogweed6_3.6-2 libicu67_67.1-4
libidn2-0_2.3.0-1 libip4tc2_1.8.5-3 libip6tc2_1.8.5-3 libiptc0_1.8.5-3
libisc-export1100_1:9.11.5.P4+dfsg-5.1+b1 libisc-export1105_1:9.11.19+dfsg-1
libisl22_0.22.1-1 libitm1_10.2.0-8 libjbig0_2.1-3.1+b2
libjpeg62-turbo_1:2.0.5-1.1 libjson-c4_0.13.1+dfsg-9 libjson-c5_0.15-1
libjson-glib-1.0-0_1.6.0-1 libjson-glib-1.0-common_1.6.0-1 libk5crypto3_1.17-10
libkeyutils1_1.6.1-2 libkmod2_27+20200310-2 libkrb5-3_1.17-10
libkrb5support0_1.17-10 liblablgtk3-ocaml_3.1.1-1+b1
liblablgtksourceview3-ocaml_3.1.1-1+b1 liblcms2-2_2.9-4+b1
liblocale-gettext-perl_1.07-4 liblognorm5_2.0.5-1.1 liblsan0_10.2.0-8
liblz4-1_1.9.2-2 liblzma5_5.2.4-1+b1 libmagic-mgc_1:5.38-5 libmagic1_1:5.38-5
libmnl0_1.0.4-3 libmount1_2.36-3 libmpc3_1.2.0-1 libmpfr6_4.1.0-3
libncurses-dev_6.2-1 libncurses5-dev_6.2-1 libncurses6_6.2-1 libncursesw6_6.2-1
libnetfilter-conntrack3_1.0.8-1 libnettle7_3.5.1+really3.5.1-2 libnettle8_3.6-2
libnewt0.52_0.52.21-4+b1 libnfnetlink0_1.0.1-3+b1 libnftnl11_1.1.7-1
libnum-ocaml_1.3-1 libp11-kit0_0.23.21-2 libpam-modules_1.3.1-5
libpam-modules-bin_1.3.1-5 libpam-runtime_1.3.1-5 libpam-systemd_246.5-1
libpam0g_1.3.1-5 libpango-1.0-0_1.46.1-1 libpangocairo-1.0-0_1.46.1-1
libpangoft2-1.0-0_1.46.1-1 libpcre2-8-0_10.34-7 libpcre3_2:8.39-13
libperl5.30_5.30.3-4 libpipeline1_1.5.3-1 libpixman-1-0_0.36.0-1
libpng16-16_1.6.37-3 libpopt0_1.18-1 libprocps7_2:3.3.15-2+b1
libprocps8_2:3.3.16-5 libproxy1v5_0.4.15-13 libpsl5_0.21.0-1.1
libpython3-stdlib_3.8.2-3 libpython3.8-minimal_3.8.6~rc1-2
libpython3.8-stdlib_3.8.6~rc1-2 libquadmath0_10.2.0-8 libreadline8_8.0-4
librest-0.7-0_0.8.1-1+b1 libseccomp2_2.4.3-1+b1 libselinux1_3.1-2
libsemanage-common_3.1-1 libsemanage1_3.1-1 libsepol1_3.1-1 libsigsegv2_2.12-2
libslang2_2.3.2-5 libsmartcols1_2.36-3 libsoup-gnome2.4-1_2.70.0-1
libsoup2.4-1_2.70.0-1 libsqlite3-0_3.33.0-1 libss2_1.45.6-1 libssl1.1_1.1.1g-1
libstdc++-10-dev_10.2.0-8 libstdc++6_10.2.0-8 libsub-override-perl_0.09-2
libsystemd0_246.5-1 libtasn1-6_4.16.0-2 libtext-charwidth-perl_0.04-10
libtext-iconv-perl_1.7-7 libtext-wrapi18n-perl_0.06-9 libthai-data_0.1.28-3
libthai0_0.1.28-3 libtiff5_4.1.0+git191117-2 libtinfo6_6.2-1 libtool_2.4.6-14
libtsan0_10.2.0-8 libubsan1_10.2.0-8 libuchardet0_0.0.7-1 libudev1_246.5-1
libunistring2_0.9.10-4 libuuid1_2.36-3 libwayland-client0_1.18.0-2~exp1.1
libwayland-cursor0_1.18.0-2~exp1.1 libwayland-egl1_1.18.0-2~exp1.1
libwebp6_0.6.1-2+b1 libx11-6_2:1.6.10-3 libx11-data_2:1.6.10-3
libxau6_1:1.0.8-1+b2 libxcb-render0_1.14-2 libxcb-shm0_1.14-2 libxcb1_1.14-2
libxcomposite1_1:0.4.5-1 libxcursor1_1:1.2.0-2 libxdamage1_1:1.1.5-2
libxdmcp6_1:1.1.2-3 libxext6_2:1.3.3-1+b2 libxfixes3_1:5.0.3-2
libxi6_2:1.7.10-1 libxinerama1_2:1.1.4-2 libxkbcommon0_0.10.0-1
libxml2_2.9.10+dfsg-6 libxrandr2_2:1.5.1-1 libxrender1_1:0.9.10-1
libxtables12_1.8.5-3 libzstd1_1.4.5+dfsg-4 linux-libc-dev_5.8.7-1
login_1:4.8.1-1 logrotate_3.16.0-3 logsave_1.45.6-1 lsb-base_11.1.0 m4_1.4.18-4
make_4.3-4 man-db_2.9.3-2 mawk_1.3.4.20200120-2 mime-support_3.64 mount_2.36-3
nano_5.2-1 ncal_12.1.7 ncurses-base_6.2-1 ncurses-bin_6.2-1 netbase_6.1
ocaml-base-nox_4.08.1-10 ocaml-compiler-libs_4.08.1-10 ocaml-findlib_1.8.1-1+b1
ocaml-interp_4.08.1-10 ocaml-nox_4.08.1-10 passwd_1:4.8.1-1 patch_2.7.6-6
perl_5.30.3-4 perl-base_5.30.3-4 perl-modules-5.30_5.30.3-4 po-debconf_1.0.21
procps_2:3.3.16-5 python3_3.8.2-3 python3-minimal_3.8.2-3 python3.8_3.8.6~rc1-2
python3.8-minimal_3.8.6~rc1-2 readline-common_8.0-4 rsyslog_8.2008.0-1
sbuild-build-depends-main-dummy_0.invalid.0 sed_4.7-1
sensible-utils_0.0.12+nmu1 shared-mime-info_1.15-1 systemd_246.5-1
systemd-sysv_246.5-1 systemd-timesyncd_246.5-1 sysvinit-utils_2.96-5
tar_1.30+dfsg-7 tasksel_3.59 tasksel-data_3.59 tzdata_2020a-1 ucf_3.0043
udev_246.5-1 util-linux_2.36-3 vim-common_2:8.2.0716-3 vim-tiny_2:8.2.0716-3
whiptail_0.52.21-4+b1 xkb-data_2.29-2 xxd_2:8.2.0716-3 xz-utils_5.2.4-1+b1
zlib1g_1:1.2.11.dfsg-2
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 3.0 (quilt)
Source: coq-float
Binary: libfloat-coq
Architecture: all
Version: 1:8.10.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Uploaders: Stéphane Glondu <glo...@debian.org>
Homepage: https://github.com/coq-contribs/float
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-float
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-float.git
Build-Depends: debhelper-compat (= 12), coq (>= 8.9)
Package-List:
libfloat-coq deb math optional arch=all
Checksums-Sha1:
a95041e42139725d0d0930abdf92d11b3b5b8905 99147 coq-float_8.10.0.orig.tar.gz
ea51103d6c475297de0c5e4c59c6f45d84a3f840 3360 coq-float_8.10.0-1.debian.tar.xz
Checksums-Sha256:
e732b3eec9ceb6fdbc7a110c88f4e85d2b4b37f8fd50fdcb860ffa48bf654cea 99147
coq-float_8.10.0.orig.tar.gz
d1bd0ca61d5c38ffc8789eb5a6cf808f2f913bac1c790ee8db531b03c6343f8f 3360
coq-float_8.10.0-1.debian.tar.xz
Files:
29d80b937683f8384fb505c9a6a396db 99147 coq-float_8.10.0.orig.tar.gz
bf2327ae1aaa487bacea340d7a477270 3360 coq-float_8.10.0-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl9h3vEACgkQ808JdE6f
Xdn+1hAAhcCzpg3byDjD1MA93x3Eyb465RqBoQ9ONhSHXv/IE+fS+Mmj8jiJ/a9Z
wxwRPylQJ13m+W3BVgvKxRe2eH+I5WYfh5NaHlyd5wa8E9xQCuJf9mRQpk1JcVjz
wF9LF+P1ChSB8kGytlWYEBT8RnOXUj3ugglgrFJiWbb4Uv0/E+KrQL3DEokFegmW
11+Lv/RZ/HN1be13ap8TcuKWYT6Ftr1at4fIe9YNsloFyxE6zQ7Ui73Ggf6UScNK
aIVIl9oQZ6dHFWA+hK4di89JHksVN4pO68umDUoz39CaTZ7bLf9STKLLaTBcC2aV
abi/EdJ5aA50NonO4Hxuu+qEk5Msg1Dfkc11e/M65ghPdLLJXtj13Dob3Klz1k16
xgX88ULOAzBUGNQUK2JdIS+WHCK0GKHEQ+JAItFTZnEkFGA30CijSZ9wK0XSjQQx
JD9Gc/xAJK7Sat3MnvhRzVBrWINuhDgOGfLITi/ZQwZvmMrvpin05dxVlYKFR9wp
LpZ9xuHaf17FCI3PuXniSjZ/UtSdNV44iu8LcC7BrpK0fIWd0+SsZZuPiPVkBL+Y
idsHVbWqQ0OIfhSIkcnqwcMVVLnuI6VkBsvdtzvg9c5jngnuJnDmzHW28E4XpPGO
6W51baMaJd+4MhaZXz1uJ/COGjeiLfxOh80FD5EigeFQXx5UbW4=
=BjoZ
-----END PGP SIGNATURE-----
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/tmp/dpkg-verify-sig.eCuC9YQK/trustedkeys.kbx':
General error
gpgv: Signature made Wed Sep 16 09:46:25 2020 UTC
gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./coq-float_8.10.0-1.dsc
dpkg-source: info: extracting coq-float in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking coq-float_8.10.0.orig.tar.gz
dpkg-source: info: unpacking coq-float_8.10.0-1.debian.tar.xz
Check disk space
----------------
Sufficient free space for build
+------------------------------------------------------------------------------+
| Starting Timed Build Commands |
+------------------------------------------------------------------------------+
/home/debomatic/debomatic/sbuildcommands/starting-build-commands/no-network
coq-float_8.10.0-1 unstable amd64
-------------------------------------------------------------------------------------------------------------
Reading package lists...
Building dependency tree...
Reading state information...
util-linux is already the newest version (2.36-3).
The following NEW packages will be installed:
net-tools
0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
Need to get 248 kB of archives.
After this operation, 1002 kB of additional disk space will be used.
Get:1 http://ftp.debian.org/debian unstable/main amd64 net-tools amd64
1.60+git20180626.aebd88e-1 [248 kB]
debconf: unable to initialize frontend: Dialog
debconf: (TERM is not set, so the dialog frontend is not usable.)
debconf: falling back to frontend: Readline
debconf: unable to initialize frontend: Readline
debconf: (This frontend requires a controlling tty.)
debconf: falling back to frontend: Teletype
dpkg-preconfigure: unable to re-open stdin:
Fetched 248 kB in 0s (1763 kB/s)
Selecting previously unselected package net-tools.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 34852 files and directories currently installed.)
Preparing to unpack .../net-tools_1.60+git20180626.aebd88e-1_amd64.deb ...
Unpacking net-tools (1.60+git20180626.aebd88e-1) ...
Setting up net-tools (1.60+git20180626.aebd88e-1) ...
Processing triggers for man-db (2.9.3-2) ...
Not building database; man-db/auto-update is not 'true'.
I: Finished running
'/home/debomatic/debomatic/sbuildcommands/starting-build-commands/no-network
coq-float_8.10.0-1 unstable amd64'.
Finished processing commands.
--------------------------------------------------------------------------------
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DBUS_SESSION_BUS_ADDRESS=unix:path=/run/user/104/bus
HOME=/sbuild-nonexistent
LANG=en_US.UTF-8
LC_ALL=C.UTF-8
LC_MEASUREMENT=de_DE.UTF-8
LC_MONETARY=de_DE.UTF-8
LC_TIME=de_DE.UTF-8
LOGNAME=sbuild
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=unstable-amd64-debomatic
SCHROOT_CHROOT_NAME=unstable-amd64-debomatic
SCHROOT_COMMAND=env
SCHROOT_GID=110
SCHROOT_GROUP=sbuild
SCHROOT_SESSION_ID=unstable-amd64-debomatic-0194c9e2-9684-4720-b99d-4f9e1b12cdfe
SCHROOT_UID=104
SCHROOT_USER=sbuild
SHELL=/bin/sh
USER=sbuild
XDG_RUNTIME_DIR=/run/user/104
XDG_SESSION_CLASS=background
XDG_SESSION_ID=c352392
XDG_SESSION_TYPE=unspecified
dpkg-buildpackage
-----------------
Command: dpkg-buildpackage -us -uc -sa -rfakeroot -v1:8.10.0-1~ -Zxz
dpkg-buildpackage-debomatic-original: info: source package coq-float
dpkg-buildpackage-debomatic-original: info: source version 1:8.10.0-1
dpkg-buildpackage-debomatic-original: info: source distribution unstable
dpkg-buildpackage-debomatic-original: info: source changed by Ralf Treinen
<trei...@debian.org>
dpkg-source -Zxz --before-build .
dpkg-buildpackage-debomatic-original: info: host architecture amd64
debian/rules clean
dh clean
debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_auto_clean
make -j8 clean
make[2]: Entering directory '/<<PKGBUILDDIR>>'
make -f Makefile.coq Makefile
make[3]: Entering directory '/<<PKGBUILDDIR>>'
make[3]: Nothing to be done for 'Makefile'.
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make -f Makefile.coq clean
make[3]: Entering directory '/<<PKGBUILDDIR>>'
CLEAN
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
rm -f Makefile.coq
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
rm -f Makefile.coq.conf .*.aux
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_clean
dpkg-source -Zxz -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building coq-float using existing
./coq-float_8.10.0.orig.tar.gz
dpkg-source: info: building coq-float in coq-float_8.10.0-1.debian.tar.xz
dpkg-source: info: building coq-float in coq-float_8.10.0-1.dsc
debian/rules binary
dh binary
dh_update_autotools_config
dh_autoreconf
dh_auto_configure
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make all
make[2]: Entering directory '/<<PKGBUILDDIR>>'
coq_makefile -f Make -o Makefile.coq
make -f Makefile.coq Makefile
make[3]: Entering directory '/<<PKGBUILDDIR>>'
COQDEP VFILES
make[3]: Nothing to be done for 'Makefile'.
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make -f Makefile.coq all
make[3]: Entering directory '/<<PKGBUILDDIR>>'
COQC sTactic.v
COQC Faux.v
File "./Faux.v", line 640, characters 0-63:
Error: No such goal.
make[4]: *** [Makefile.coq:716: Faux.vo] Error 1
make[3]: *** [Makefile.coq:339: all] Error 2
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
make[2]: *** [Makefile:2: all] Error 2
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [debian/rules:17: override_dh_auto_build] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:10: binary] Error 2
dpkg-buildpackage-debomatic-original: error: debian/rules binary subprocess
returned exit status 2
--------------------------------------------------------------------------------
Build finished at 2020-09-16T09:48:20Z
+------------------------------------------------------------------------------+
| Finished Timed Build Commands |
+------------------------------------------------------------------------------+
/home/debomatic/debomatic/sbuildcommands/finished-build-commands/no-network-restore
coq-float_8.10.0-1 unstable amd64
---------------------------------------------------------------------------------------------------------------------
Reading package lists...
Building dependency tree...
Reading state information...
The following packages will be REMOVED:
net-tools*
0 upgraded, 0 newly installed, 1 to remove and 0 not upgraded.
After this operation, 1002 kB disk space will be freed.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 34909 files and directories currently installed.)
Removing net-tools (1.60+git20180626.aebd88e-1) ...
Processing triggers for man-db (2.9.3-2) ...
Not building database; man-db/auto-update is not 'true'.
I: Finished running
'/home/debomatic/debomatic/sbuildcommands/finished-build-commands/no-network-restore
coq-float_8.10.0-1 unstable amd64'.
Finished processing commands.
--------------------------------------------------------------------------------
Finished
--------
+------------------------------------------------------------------------------+
| Generic Build Failed Commands |
+------------------------------------------------------------------------------+
/home/debomatic/debomatic/sbuildcommands/build-failed-commands/no-network-restore
coq-float_8.10.0-1 unstable amd64
-------------------------------------------------------------------------------------------------------------------
I: Finished running
'/home/debomatic/debomatic/sbuildcommands/build-failed-commands/no-network-restore
coq-float_8.10.0-1 unstable amd64'.
Finished processing commands.
--------------------------------------------------------------------------------
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
E: Build failure (dpkg-buildpackage died)
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: amd64
Build Type: full
Build-Space: 900
Build-Time: 4
Distribution: unstable
Fail-Stage: build
Host Architecture: amd64
Install-Time: 80
Job: /srv/debomatic-amd64/coq-float_8.10.0-1.dsc
Machine Architecture: amd64
Package: coq-float
Package-Time: 95
Source-Version: 1:8.10.0-1
Space: 900
Status: attempted
Version: 1:8.10.0-1
--------------------------------------------------------------------------------
Finished at 2020-09-16T09:48:20Z
Build needed 00:01:35, 900k disk space
--- End Message ---
--- Begin Message ---
Version: 1:8.10.0-1+rm
Dear submitter,
as the package coq-float has just been removed from the Debian archive
unstable we hereby close the associated bug reports. We are sorry
that we couldn't deal with your issue properly.
For details on the removal, please see https://bugs.debian.org/1011347
The version of this package that was in Debian prior to this removal
can still be found using http://snapshot.debian.org/.
Please note that the changes have been done on the master archive and
will not propagate to any mirrors until the next dinstall run at the
earliest.
This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmas...@ftp-master.debian.org.
Debian distribution maintenance software
pp.
Thorsten Alteholz (the ftpmaster behind the curtain)
--- End Message ---
