I: pbuilder: network access will be disabled during build
I: Current time: Thu Jul 22 03:16:44 +14 2021
I: pbuilder-time-stamp: 1626873404
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz]
I: copying local configuration
I: mounting /proc filesystem
I: mounting /sys filesystem
I: creating /{dev,run}/shm
I: mounting /dev/pts filesystem
I: redirecting /dev/ptmx to /dev/pts/ptmx
I: policy-rc.d already exists
I: using eatmydata during job
I: Copying source file
I: copying [ssreflect_1.12.0-1.dsc]
I: copying [./ssreflect_1.12.0.orig.tar.gz]
I: copying [./ssreflect_1.12.0-1.debian.tar.xz]
I: Extracting source
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/tmp/dpkg-verify-sig.HgyFCTv_/trustedkeys.kbx': General error
gpgv: Signature made Mon Jan 11 22:15:27 2021 +14
gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./ssreflect_1.12.0-1.dsc
dpkg-source: info: extracting ssreflect in ssreflect-1.12.0
dpkg-source: info: unpacking ssreflect_1.12.0.orig.tar.gz
dpkg-source: info: unpacking ssreflect_1.12.0-1.debian.tar.xz
I: Not using root during the build.
I: Installing the build-deps
I: user script /srv/workspace/pbuilder/26611/tmp/hooks/D01_modify_environment starting
debug: Running on ionos2-i386.
I: Changing host+domainname to test build reproducibility
I: Adding a custom variable just for the fun of it...
I: Changing /bin/sh to bash
Removing 'diversion of /bin/sh to /bin/sh.distrib by dash'
Adding 'diversion of /bin/sh to /bin/sh.distrib by bash'
Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash'
Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash'
I: Setting pbuilder2's login shell to /bin/bash
I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other
I: user script /srv/workspace/pbuilder/26611/tmp/hooks/D01_modify_environment finished
I: user script /srv/workspace/pbuilder/26611/tmp/hooks/D02_print_environment starting
I: set
BASH=/bin/sh
BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath
BASH_ALIASES=()
BASH_ARGC=()
BASH_ARGV=()
BASH_CMDS=()
BASH_LINENO=([0]="12" [1]="0")
BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment")
BASH_VERSINFO=([0]="5" [1]="1" [2]="4" [3]="1" [4]="release" [5]="i686-pc-linux-gnu")
BASH_VERSION='5.1.4(1)-release'
BUILDDIR=/build
BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
BUILDUSERNAME=pbuilder2
BUILD_ARCH=i386
DEBIAN_FRONTEND=noninteractive
DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=7'
DIRSTACK=()
DISTRIBUTION=
EUID=0
FUNCNAME=([0]="Echo" [1]="main")
GROUPS=()
HOME=/root
HOSTNAME=i-capture-the-hostname
HOSTTYPE=i686
HOST_ARCH=i386
IFS='
'
INVOCATION_ID=263774eb3fa94e86a4c134cc29f8673c
LANG=C
LANGUAGE=de_CH:de
LC_ALL=C
LD_LIBRARY_PATH=/usr/lib/libeatmydata
LD_PRELOAD=libeatmydata.so
MACHTYPE=i686-pc-linux-gnu
MAIL=/var/mail/root
OPTERR=1
OPTIND=1
OSTYPE=linux-gnu
PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path
PBCURRENTCOMMANDLINEOPERATION=build
PBUILDER_OPERATION=build
PBUILDER_PKGDATADIR=/usr/share/pbuilder
PBUILDER_PKGLIBDIR=/usr/lib/pbuilder
PBUILDER_SYSCONFDIR=/etc
PIPESTATUS=([0]="0")
POSIXLY_CORRECT=y
PPID=26611
PS4='+ '
PWD=/
SHELL=/bin/bash
SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix
SHLVL=3
SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.A9w0gOrXmn/pbuilderrc_ON7B --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.A9w0gOrXmn/b2 --logfile b2/build.log --extrapackages usrmerge ssreflect_1.12.0-1.dsc'
SUDO_GID=112
SUDO_UID=107
SUDO_USER=jenkins
TERM=unknown
TZ=/usr/share/zoneinfo/Etc/GMT-14
UID=0
USER=root
_='I: set'
http_proxy=http://78.137.99.97:3128
I: uname -a
Linux i-capture-the-hostname 4.19.0-17-686-pae #1 SMP Debian 4.19.194-2 (2021-06-21) i686 GNU/Linux
I: ls -l /bin
total 5776
-rwxr-xr-x 1 root root 1367848 Jun 22 16:25 bash
-rwxr-xr-x 3 root root 38280 Jul 21 2020 bunzip2
-rwxr-xr-x 3 root root 38280 Jul 21 2020 bzcat
lrwxrwxrwx 1 root root 6 Jul 21 2020 bzcmp -> bzdiff
-rwxr-xr-x 1 root root 2225 Jul 21 2020 bzdiff
lrwxrwxrwx 1 root root 6 Jul 21 2020 bzegrep -> bzgrep
-rwxr-xr-x 1 root root 4877 Sep 5 2019 bzexe
lrwxrwxrwx 1 root root 6 Jul 21 2020 bzfgrep -> bzgrep
-rwxr-xr-x 1 root root 3775 Jul 21 2020 bzgrep
-rwxr-xr-x 3 root root 38280 Jul 21 2020 bzip2
-rwxr-xr-x 1 root root 17768 Jul 21 2020 bzip2recover
lrwxrwxrwx 1 root root 6 Jul 21 2020 bzless -> bzmore
-rwxr-xr-x 1 root root 1297 Jul 21 2020 bzmore
-rwxr-xr-x 1 root root 38824 Sep 23 2020 cat
-rwxr-xr-x 1 root root 71624 Sep 23 2020 chgrp
-rwxr-xr-x 1 root root 67528 Sep 23 2020 chmod
-rwxr-xr-x 1 root root 75752 Sep 23 2020 chown
-rwxr-xr-x 1 root root 157960 Sep 23 2020 cp
-rwxr-xr-x 1 root root 128724 Dec 11 2020 dash
-rwxr-xr-x 1 root root 124904 Sep 23 2020 date
-rwxr-xr-x 1 root root 92172 Sep 23 2020 dd
-rwxr-xr-x 1 root root 100752 Sep 23 2020 df
-rwxr-xr-x 1 root root 153964 Sep 23 2020 dir
-rwxr-xr-x 1 root root 83644 Feb 8 04:38 dmesg
lrwxrwxrwx 1 root root 8 Nov 8 2019 dnsdomainname -> hostname
lrwxrwxrwx 1 root root 8 Nov 8 2019 domainname -> hostname
-rwxr-xr-x 1 root root 34664 Sep 23 2020 echo
-rwxr-xr-x 1 root root 28 Nov 10 2020 egrep
-rwxr-xr-x 1 root root 34664 Sep 23 2020 false
-rwxr-xr-x 1 root root 28 Nov 10 2020 fgrep
-rwxr-xr-x 1 root root 71928 Feb 8 04:38 findmnt
-rwsr-xr-x 1 root root 30112 Feb 27 06:12 fusermount
-rwxr-xr-x 1 root root 210488 Nov 10 2020 grep
-rwxr-xr-x 2 root root 2346 Mar 3 13:30 gunzip
-rwxr-xr-x 1 root root 6376 Mar 3 13:30 gzexe
-rwxr-xr-x 1 root root 100952 Mar 3 13:30 gzip
-rwxr-xr-x 1 root root 21916 Nov 8 2019 hostname
-rwxr-xr-x 1 root root 83980 Sep 23 2020 ln
-rwxr-xr-x 1 root root 55572 Feb 8 2020 login
-rwxr-xr-x 1 root root 153964 Sep 23 2020 ls
-rwxr-xr-x 1 root root 153124 Feb 8 04:38 lsblk
-rwxr-xr-x 1 root root 96328 Sep 23 2020 mkdir
-rwxr-xr-x 1 root root 79912 Sep 23 2020 mknod
-rwxr-xr-x 1 root root 47048 Sep 23 2020 mktemp
-rwxr-xr-x 1 root root 58920 Feb 8 04:38 more
-rwsr-xr-x 1 root root 50720 Feb 8 04:38 mount
-rwxr-xr-x 1 root root 13856 Feb 8 04:38 mountpoint
-rwxr-xr-x 1 root root 157996 Sep 23 2020 mv
lrwxrwxrwx 1 root root 8 Nov 8 2019 nisdomainname -> hostname
lrwxrwxrwx 1 root root 14 Apr 19 05:38 pidof -> /sbin/killall5
-rwxr-xr-x 1 root root 38824 Sep 23 2020 pwd
lrwxrwxrwx 1 root root 4 Jun 22 16:25 rbash -> bash
-rwxr-xr-x 1 root root 46984 Sep 23 2020 readlink
-rwxr-xr-x 1 root root 75720 Sep 23 2020 rm
-rwxr-xr-x 1 root root 46984 Sep 23 2020 rmdir
-rwxr-xr-x 1 root root 22292 Sep 28 2020 run-parts
-rwxr-xr-x 1 root root 125036 Dec 23 2018 sed
lrwxrwxrwx 1 root root 4 Jul 22 03:17 sh -> bash
lrwxrwxrwx 1 root root 4 Jul 20 23:25 sh.distrib -> dash
-rwxr-xr-x 1 root root 34696 Sep 23 2020 sleep
-rwxr-xr-x 1 root root 83880 Sep 23 2020 stty
-rwsr-xr-x 1 root root 79396 Feb 8 04:38 su
-rwxr-xr-x 1 root root 34696 Sep 23 2020 sync
-rwxr-xr-x 1 root root 602584 Feb 17 23:55 tar
-rwxr-xr-x 1 root root 13860 Sep 28 2020 tempfile
-rwxr-xr-x 1 root root 108520 Sep 23 2020 touch
-rwxr-xr-x 1 root root 34664 Sep 23 2020 true
-rwxr-xr-x 1 root root 17768 Feb 27 06:12 ulockmgr_server
-rwsr-xr-x 1 root root 30236 Feb 8 04:38 umount
-rwxr-xr-x 1 root root 34664 Sep 23 2020 uname
-rwxr-xr-x 2 root root 2346 Mar 3 13:30 uncompress
-rwxr-xr-x 1 root root 153964 Sep 23 2020 vdir
-rwxr-xr-x 1 root root 63024 Feb 8 04:38 wdctl
lrwxrwxrwx 1 root root 8 Nov 8 2019 ypdomainname -> hostname
-rwxr-xr-x 1 root root 1984 Mar 3 13:30 zcat
-rwxr-xr-x 1 root root 1678 Mar 3 13:30 zcmp
-rwxr-xr-x 1 root root 5880 Mar 3 13:30 zdiff
-rwxr-xr-x 1 root root 29 Mar 3 13:30 zegrep
-rwxr-xr-x 1 root root 29 Mar 3 13:30 zfgrep
-rwxr-xr-x 1 root root 2081 Mar 3 13:30 zforce
-rwxr-xr-x 1 root root 7585 Mar 3 13:30 zgrep
-rwxr-xr-x 1 root root 2206 Mar 3 13:30 zless
-rwxr-xr-x 1 root root 1842 Mar 3 13:30 zmore
-rwxr-xr-x 1 root root 4553 Mar 3 13:30 znew
I: user script /srv/workspace/pbuilder/26611/tmp/hooks/D02_print_environment finished
-> Attempting to satisfy build-dependencies
-> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
Version: 0.invalid.0
Architecture: i386
Maintainer: Debian Pbuilder Team <pbuilder-maint@lists.alioth.debian.org>
Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder
This package was created automatically by pbuilder to satisfy the
build-dependencies of the package being currently built.
Depends: debhelper-compat (= 13), coq (>= 8.7), lua5.1
dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'.
Selecting previously unselected package pbuilder-satisfydepends-dummy.
(Reading database ... 19675 files and directories currently installed.)
Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ...
Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ...
dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested:
pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however:
Package debhelper-compat is not installed.
pbuilder-satisfydepends-dummy depends on coq (>= 8.7); however:
Package coq is not installed.
pbuilder-satisfydepends-dummy depends on lua5.1; however:
Package lua5.1 is not installed.
Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ...
Reading package lists...
Building dependency tree...
Reading state information...
Initializing package states...
Writing extended state information...
Building tag database...
pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0)
pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0)
The following NEW packages will be installed:
adwaita-icon-theme{a} autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} coq{a} coq-theories{a} dbus{a} dbus-user-session{a} dconf-gsettings-backend{a} dconf-service{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dmsetup{a} dwz{a} file{a} fontconfig{a} fontconfig-config{a} fonts-dejavu-core{a} gettext{a} gettext-base{a} glib-networking{a} glib-networking-common{a} glib-networking-services{a} groff-base{a} gsettings-desktop-schemas{a} gtk-update-icon-cache{a} hicolor-icon-theme{a} intltool-debian{a} libapparmor1{a} libarchive-zip-perl{a} libargon2-1{a} libatk-bridge2.0-0{a} libatk1.0-0{a} libatk1.0-data{a} libatspi2.0-0{a} libavahi-client3{a} libavahi-common-data{a} libavahi-common3{a} libbrotli1{a} libbsd0{a} libcairo-gobject2{a} libcairo2{a} libcairo2-ocaml{a} libcap2{a} libcolord2{a} libcoq-ocaml{a} libcryptsetup12{a} libcups2{a} libdatrie1{a} libdbus-1-3{a} libdconf1{a} libdebhelper-perl{a} libdeflate0{a} libdevmapper1.02.1{a} libelf1{a} libepoxy0{a} libexpat1{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfontconfig1{a} libfreetype6{a} libfribidi0{a} libgdk-pixbuf-2.0-0{a} libgdk-pixbuf-xlib-2.0-0{a} libgdk-pixbuf2.0-0{a} libgdk-pixbuf2.0-common{a} libglib2.0-0{a} libgraphite2-3{a} libgtk-3-0{a} libgtk-3-common{a} libgtksourceview-3.0-1{a} libgtksourceview-3.0-common{a} libharfbuzz0b{a} libicu67{a} libip4tc2{a} libjbig0{a} libjpeg62-turbo{a} libjson-c5{a} libjson-glib-1.0-0{a} libjson-glib-1.0-common{a} libkmod2{a} liblablgtk3-ocaml{a} liblablgtksourceview3-ocaml{a} liblcms2-2{a} libmagic-mgc{a} libmagic1{a} libmd0{a} libmpdec3{a} libncurses-dev{a} libncurses5-dev{a} libncurses6{a} libnum-ocaml{a} libpam-systemd{a} libpango-1.0-0{a} libpangocairo-1.0-0{a} libpangoft2-1.0-0{a} libpipeline1{a} libpixman-1-0{a} libpng16-16{a} libproxy1v5{a} libpsl5{a} libpython3-stdlib{a} libpython3.9-minimal{a} libpython3.9-stdlib{a} libreadline8{a} librest-0.7-0{a} libsigsegv2{a} libsoup-gnome2.4-1{a} libsoup2.4-1{a} libsub-override-perl{a} libthai-data{a} libthai0{a} libtiff5{a} libtool{a} libuchardet0{a} libwayland-client0{a} libwayland-cursor0{a} libwayland-egl1{a} libwebp6{a} libx11-6{a} libx11-data{a} libxau6{a} libxcb-render0{a} libxcb-shm0{a} libxcb1{a} libxcomposite1{a} libxcursor1{a} libxdamage1{a} libxdmcp6{a} libxext6{a} libxfixes3{a} libxi6{a} libxinerama1{a} libxkbcommon0{a} libxml2{a} libxrandr2{a} libxrender1{a} lua5.1{a} m4{a} man-db{a} media-types{a} ocaml-base-nox{a} ocaml-compiler-libs{a} ocaml-findlib{a} ocaml-interp{a} ocaml-nox{a} po-debconf{a} python3{a} python3-minimal{a} python3.9{a} python3.9-minimal{a} readline-common{a} sensible-utils{a} shared-mime-info{a} systemd{a} systemd-sysv{a} systemd-timesyncd{a} ucf{a} xkb-data{a}
The following packages are RECOMMENDED but will NOT be installed:
at-spi2-core ca-certificates curl ledit libarchive-cpio-perl libfindlib-ocaml-dev libgdk-pixbuf2.0-bin libglib2.0-data libgpm2 libgtk-3-bin libltdl-dev libmail-sendmail-perl libnss-systemd librsvg2-common lynx ocaml-man publicsuffix rlfe rlwrap wget xdg-user-dirs
0 packages upgraded, 162 newly installed, 0 to remove and 0 not upgraded.
Need to get 303 MB of archives. After unpacking 1324 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian bullseye/main i386 libapparmor1 i386 2.13.6-10 [101 kB]
Get: 2 http://deb.debian.org/debian bullseye/main i386 libcap2 i386 1:2.44-1 [24.5 kB]
Get: 3 http://deb.debian.org/debian bullseye/main i386 libargon2-1 i386 0~20171227-0.2 [24.1 kB]
Get: 4 http://deb.debian.org/debian bullseye/main i386 dmsetup i386 2:1.02.175-2.1 [87.8 kB]
Get: 5 http://deb.debian.org/debian bullseye/main i386 libdevmapper1.02.1 i386 2:1.02.175-2.1 [141 kB]
Get: 6 http://deb.debian.org/debian bullseye/main i386 libjson-c5 i386 0.15-2 [45.2 kB]
Get: 7 http://deb.debian.org/debian bullseye/main i386 libcryptsetup12 i386 2:2.3.5-1 [269 kB]
Get: 8 http://deb.debian.org/debian bullseye/main i386 libip4tc2 i386 1.8.7-1 [35.4 kB]
Get: 9 http://deb.debian.org/debian bullseye/main i386 libkmod2 i386 28-1 [61.0 kB]
Get: 10 http://deb.debian.org/debian bullseye/main i386 systemd-timesyncd i386 247.3-6 [132 kB]
Get: 11 http://deb.debian.org/debian bullseye/main i386 systemd i386 247.3-6 [4618 kB]
Get: 12 http://deb.debian.org/debian bullseye/main i386 systemd-sysv i386 247.3-6 [113 kB]
Get: 13 http://deb.debian.org/debian bullseye/main i386 libdbus-1-3 i386 1.12.20-2 [232 kB]
Get: 14 http://deb.debian.org/debian bullseye/main i386 libexpat1 i386 2.2.10-2 [98.8 kB]
Get: 15 http://deb.debian.org/debian bullseye/main i386 dbus i386 1.12.20-2 [250 kB]
Get: 16 http://deb.debian.org/debian bullseye/main i386 bsdextrautils i386 2.36.1-7 [148 kB]
Get: 17 http://deb.debian.org/debian bullseye/main i386 libuchardet0 i386 0.0.7-1 [67.9 kB]
Get: 18 http://deb.debian.org/debian bullseye/main i386 groff-base i386 1.22.4-6 [952 kB]
Get: 19 http://deb.debian.org/debian bullseye/main i386 libpipeline1 i386 1.5.3-1 [36.8 kB]
Get: 20 http://deb.debian.org/debian bullseye/main i386 man-db i386 2.9.4-2 [1367 kB]
Get: 21 http://deb.debian.org/debian bullseye/main i386 libpython3.9-minimal i386 3.9.2-1 [801 kB]
Get: 22 http://deb.debian.org/debian bullseye/main i386 python3.9-minimal i386 3.9.2-1 [1956 kB]
Get: 23 http://deb.debian.org/debian bullseye/main i386 python3-minimal i386 3.9.2-3 [38.2 kB]
Get: 24 http://deb.debian.org/debian bullseye/main i386 media-types all 4.0.0 [30.3 kB]
Get: 25 http://deb.debian.org/debian bullseye/main i386 libmpdec3 i386 2.5.1-1 [91.9 kB]
Get: 26 http://deb.debian.org/debian bullseye/main i386 readline-common all 8.1-1 [73.7 kB]
Get: 27 http://deb.debian.org/debian bullseye/main i386 libreadline8 i386 8.1-1 [173 kB]
Get: 28 http://deb.debian.org/debian bullseye/main i386 libpython3.9-stdlib i386 3.9.2-1 [1703 kB]
Get: 29 http://deb.debian.org/debian bullseye/main i386 python3.9 i386 3.9.2-1 [466 kB]
Get: 30 http://deb.debian.org/debian bullseye/main i386 libpython3-stdlib i386 3.9.2-3 [21.4 kB]
Get: 31 http://deb.debian.org/debian bullseye/main i386 python3 i386 3.9.2-3 [37.9 kB]
Get: 32 http://deb.debian.org/debian bullseye/main i386 sensible-utils all 0.0.14 [14.8 kB]
Get: 33 http://deb.debian.org/debian bullseye/main i386 libmagic-mgc i386 1:5.39-3 [273 kB]
Get: 34 http://deb.debian.org/debian bullseye/main i386 libmagic1 i386 1:5.39-3 [133 kB]
Get: 35 http://deb.debian.org/debian bullseye/main i386 file i386 1:5.39-3 [69.0 kB]
Get: 36 http://deb.debian.org/debian bullseye/main i386 gettext-base i386 0.21-4 [176 kB]
Get: 37 http://deb.debian.org/debian bullseye/main i386 libpam-systemd i386 247.3-6 [291 kB]
Get: 38 http://deb.debian.org/debian bullseye/main i386 ucf all 3.0043 [74.0 kB]
Get: 39 http://deb.debian.org/debian bullseye/main i386 hicolor-icon-theme all 0.17-2 [11.4 kB]
Get: 40 http://deb.debian.org/debian bullseye/main i386 libgdk-pixbuf2.0-common all 2.42.2+dfsg-1 [320 kB]
Get: 41 http://deb.debian.org/debian bullseye/main i386 libglib2.0-0 i386 2.66.8-1 [1437 kB]
Get: 42 http://deb.debian.org/debian bullseye/main i386 libicu67 i386 67.1-7 [8775 kB]
Get: 43 http://deb.debian.org/debian bullseye/main i386 libxml2 i386 2.9.10+dfsg-6.7 [728 kB]
Get: 44 http://deb.debian.org/debian bullseye/main i386 shared-mime-info i386 2.0-1 [703 kB]
Get: 45 http://deb.debian.org/debian bullseye/main i386 libjpeg62-turbo i386 1:2.0.6-4 [160 kB]
Get: 46 http://deb.debian.org/debian bullseye/main i386 libpng16-16 i386 1.6.37-3 [303 kB]
Get: 47 http://deb.debian.org/debian bullseye/main i386 libdeflate0 i386 1.7-1 [48.4 kB]
Get: 48 http://deb.debian.org/debian bullseye/main i386 libjbig0 i386 2.1-3.1+b2 [31.5 kB]
Get: 49 http://deb.debian.org/debian bullseye/main i386 libwebp6 i386 0.6.1-2.1 [269 kB]
Get: 50 http://deb.debian.org/debian bullseye/main i386 libtiff5 i386 4.2.0-1 [305 kB]
Get: 51 http://deb.debian.org/debian bullseye/main i386 libgdk-pixbuf-2.0-0 i386 2.42.2+dfsg-1 [155 kB]
Get: 52 http://deb.debian.org/debian bullseye/main i386 gtk-update-icon-cache i386 3.24.24-4 [87.9 kB]
Get: 53 http://deb.debian.org/debian bullseye/main i386 adwaita-icon-theme all 3.38.0-1 [10.9 MB]
Get: 54 http://deb.debian.org/debian bullseye/main i386 libsigsegv2 i386 2.13-1 [35.1 kB]
Get: 55 http://deb.debian.org/debian bullseye/main i386 m4 i386 1.4.18-5 [206 kB]
Get: 56 http://deb.debian.org/debian bullseye/main i386 autoconf all 2.69-14 [313 kB]
Get: 57 http://deb.debian.org/debian bullseye/main i386 autotools-dev all 20180224.1+nmu1 [77.1 kB]
Get: 58 http://deb.debian.org/debian bullseye/main i386 automake all 1:1.16.3-2 [814 kB]
Get: 59 http://deb.debian.org/debian bullseye/main i386 autopoint all 0.21-4 [510 kB]
Get: 60 http://deb.debian.org/debian bullseye/main i386 coq-theories i386 8.12.0-3+b3 [35.2 MB]
Get: 61 http://deb.debian.org/debian bullseye/main i386 ocaml-base-nox i386 4.11.1-4 [673 kB]
Get: 62 http://deb.debian.org/debian bullseye/main i386 libbrotli1 i386 1.0.9-2+b2 [286 kB]
Get: 63 http://deb.debian.org/debian bullseye/main i386 libfreetype6 i386 2.10.4+dfsg-1 [429 kB]
Get: 64 http://deb.debian.org/debian bullseye/main i386 fonts-dejavu-core all 2.37-2 [1069 kB]
Get: 65 http://deb.debian.org/debian bullseye/main i386 fontconfig-config all 2.13.1-4.2 [281 kB]
Get: 66 http://deb.debian.org/debian bullseye/main i386 libfontconfig1 i386 2.13.1-4.2 [358 kB]
Get: 67 http://deb.debian.org/debian bullseye/main i386 libpixman-1-0 i386 0.40.0-1 [545 kB]
Get: 68 http://deb.debian.org/debian bullseye/main i386 libxau6 i386 1:1.0.9-1 [20.0 kB]
Get: 69 http://deb.debian.org/debian bullseye/main i386 libmd0 i386 1.0.3-3 [28.9 kB]
Get: 70 http://deb.debian.org/debian bullseye/main i386 libbsd0 i386 0.11.3-1 [111 kB]
Get: 71 http://deb.debian.org/debian bullseye/main i386 libxdmcp6 i386 1:1.1.2-3 [26.7 kB]
Get: 72 http://deb.debian.org/debian bullseye/main i386 libxcb1 i386 1.14-3 [144 kB]
Get: 73 http://deb.debian.org/debian bullseye/main i386 libx11-data all 2:1.7.1-1 [310 kB]
Get: 74 http://deb.debian.org/debian bullseye/main i386 libx11-6 i386 2:1.7.1-1 [796 kB]
Get: 75 http://deb.debian.org/debian bullseye/main i386 libxcb-render0 i386 1.14-3 [112 kB]
Get: 76 http://deb.debian.org/debian bullseye/main i386 libxcb-shm0 i386 1.14-3 [102 kB]
Get: 77 http://deb.debian.org/debian bullseye/main i386 libxext6 i386 2:1.3.3-1.1 [55.2 kB]
Get: 78 http://deb.debian.org/debian bullseye/main i386 libxrender1 i386 1:0.9.10-1 [34.1 kB]
Get: 79 http://deb.debian.org/debian bullseye/main i386 libcairo2 i386 1.16.0-5 [746 kB]
Get: 80 http://deb.debian.org/debian bullseye/main i386 libcairo2-ocaml i386 0.6.2+dfsg-1 [25.6 kB]
Get: 81 http://deb.debian.org/debian bullseye/main i386 libgdk-pixbuf-xlib-2.0-0 i386 2.40.2-2 [48.0 kB]
Get: 82 http://deb.debian.org/debian bullseye/main i386 libgdk-pixbuf2.0-0 i386 2.40.2-2 [14.1 kB]
Get: 83 http://deb.debian.org/debian bullseye/main i386 libatk1.0-data all 2.36.0-2 [149 kB]
Get: 84 http://deb.debian.org/debian bullseye/main i386 libatk1.0-0 i386 2.36.0-2 [51.9 kB]
Get: 85 http://deb.debian.org/debian bullseye/main i386 libatspi2.0-0 i386 2.38.0-4 [75.6 kB]
Get: 86 http://deb.debian.org/debian bullseye/main i386 libatk-bridge2.0-0 i386 2.38.0-1 [68.7 kB]
Get: 87 http://deb.debian.org/debian bullseye/main i386 libcairo-gobject2 i386 1.16.0-5 [125 kB]
Get: 88 http://deb.debian.org/debian bullseye/main i386 liblcms2-2 i386 2.12~rc1-2 [161 kB]
Get: 89 http://deb.debian.org/debian bullseye/main i386 libcolord2 i386 1.4.5-3 [151 kB]
Get: 90 http://deb.debian.org/debian bullseye/main i386 libavahi-common-data i386 0.8-5 [123 kB]
Get: 91 http://deb.debian.org/debian bullseye/main i386 libavahi-common3 i386 0.8-5 [60.1 kB]
Get: 92 http://deb.debian.org/debian bullseye/main i386 libavahi-client3 i386 0.8-5 [64.3 kB]
Get: 93 http://deb.debian.org/debian bullseye/main i386 libcups2 i386 2.3.3op2-3+deb11u1 [366 kB]
Get: 94 http://deb.debian.org/debian bullseye/main i386 libepoxy0 i386 1.5.5-1 [196 kB]
Get: 95 http://deb.debian.org/debian bullseye/main i386 libfribidi0 i386 1.0.8-2 [65.4 kB]
Get: 96 http://deb.debian.org/debian bullseye/main i386 libgraphite2-3 i386 1.3.14-1 [84.0 kB]
Get: 97 http://deb.debian.org/debian bullseye/main i386 libharfbuzz0b i386 2.7.4-1 [1490 kB]
Get: 98 http://deb.debian.org/debian bullseye/main i386 libjson-glib-1.0-common all 1.6.2-1 [56.9 kB]
Get: 99 http://deb.debian.org/debian bullseye/main i386 libjson-glib-1.0-0 i386 1.6.2-1 [69.3 kB]
Get: 100 http://deb.debian.org/debian bullseye/main i386 fontconfig i386 2.13.1-4.2 [417 kB]
Get: 101 http://deb.debian.org/debian bullseye/main i386 libthai-data all 0.1.28-3 [170 kB]
Get: 102 http://deb.debian.org/debian bullseye/main i386 libdatrie1 i386 0.2.13-1 [44.5 kB]
Get: 103 http://deb.debian.org/debian bullseye/main i386 libthai0 i386 0.1.28-3 [55.3 kB]
Get: 104 http://deb.debian.org/debian bullseye/main i386 libpango-1.0-0 i386 1.46.2-3 [197 kB]
Get: 105 http://deb.debian.org/debian bullseye/main i386 libpangoft2-1.0-0 i386 1.46.2-3 [65.1 kB]
Get: 106 http://deb.debian.org/debian bullseye/main i386 libpangocairo-1.0-0 i386 1.46.2-3 [51.9 kB]
Get: 107 http://deb.debian.org/debian bullseye/main i386 libproxy1v5 i386 0.4.17-1 [64.0 kB]
Get: 108 http://deb.debian.org/debian bullseye/main i386 glib-networking-common all 2.66.0-2 [68.1 kB]
Get: 109 http://deb.debian.org/debian bullseye/main i386 glib-networking-services i386 2.66.0-2 [17.9 kB]
Get: 110 http://deb.debian.org/debian bullseye/main i386 dbus-user-session i386 1.12.20-2 [96.2 kB]
Get: 111 http://deb.debian.org/debian bullseye/main i386 libdconf1 i386 0.38.0-2 [45.2 kB]
Get: 112 http://deb.debian.org/debian bullseye/main i386 dconf-service i386 0.38.0-2 [40.1 kB]
Get: 113 http://deb.debian.org/debian bullseye/main i386 dconf-gsettings-backend i386 0.38.0-2 [32.5 kB]
Get: 114 http://deb.debian.org/debian bullseye/main i386 gsettings-desktop-schemas all 3.38.0-2 [588 kB]
Get: 115 http://deb.debian.org/debian bullseye/main i386 glib-networking i386 2.66.0-2 [73.0 kB]
Get: 116 http://deb.debian.org/debian bullseye/main i386 libpsl5 i386 0.21.0-1.2 [57.9 kB]
Get: 117 http://deb.debian.org/debian bullseye/main i386 libsoup2.4-1 i386 2.72.0-2 [297 kB]
Get: 118 http://deb.debian.org/debian bullseye/main i386 libsoup-gnome2.4-1 i386 2.72.0-2 [22.3 kB]
Get: 119 http://deb.debian.org/debian bullseye/main i386 librest-0.7-0 i386 0.8.1-1.1 [35.3 kB]
Get: 120 http://deb.debian.org/debian bullseye/main i386 libwayland-client0 i386 1.18.0-2~exp1.1 [27.7 kB]
Get: 121 http://deb.debian.org/debian bullseye/main i386 libwayland-cursor0 i386 1.18.0-2~exp1.1 [15.4 kB]
Get: 122 http://deb.debian.org/debian bullseye/main i386 libwayland-egl1 i386 1.18.0-2~exp1.1 [8544 B]
Get: 123 http://deb.debian.org/debian bullseye/main i386 libxcomposite1 i386 1:0.4.5-1 [16.9 kB]
Get: 124 http://deb.debian.org/debian bullseye/main i386 libxfixes3 i386 1:5.0.3-2 [22.6 kB]
Get: 125 http://deb.debian.org/debian bullseye/main i386 libxcursor1 i386 1:1.2.0-2 [38.8 kB]
Get: 126 http://deb.debian.org/debian bullseye/main i386 libxdamage1 i386 1:1.1.5-2 [15.9 kB]
Get: 127 http://deb.debian.org/debian bullseye/main i386 libxi6 i386 2:1.7.10-1 [85.1 kB]
Get: 128 http://deb.debian.org/debian bullseye/main i386 libxinerama1 i386 2:1.1.4-2 [17.9 kB]
Get: 129 http://deb.debian.org/debian bullseye/main i386 xkb-data all 2.29-2 [655 kB]
Get: 130 http://deb.debian.org/debian bullseye/main i386 libxkbcommon0 i386 1.0.3-2 [107 kB]
Get: 131 http://deb.debian.org/debian bullseye/main i386 libxrandr2 i386 2:1.5.1-1 [39.3 kB]
Get: 132 http://deb.debian.org/debian bullseye/main i386 libgtk-3-common all 3.24.24-4 [3757 kB]
Get: 133 http://deb.debian.org/debian bullseye/main i386 libgtk-3-0 i386 3.24.24-4 [2881 kB]
Get: 134 http://deb.debian.org/debian bullseye/main i386 liblablgtk3-ocaml i386 3.1.1+official-1+b1 [2832 kB]
Get: 135 http://deb.debian.org/debian bullseye/main i386 libgtksourceview-3.0-common all 3.24.11-2 [285 kB]
Get: 136 http://deb.debian.org/debian bullseye/main i386 libgtksourceview-3.0-1 i386 3.24.11-2 [259 kB]
Get: 137 http://deb.debian.org/debian bullseye/main i386 liblablgtksourceview3-ocaml i386 3.1.1+official-1+b1 [284 kB]
Get: 138 http://deb.debian.org/debian bullseye/main i386 libnum-ocaml i386 1.4-1 [170 kB]
Get: 139 http://deb.debian.org/debian bullseye/main i386 libcoq-ocaml i386 8.12.0-3+b3 [7576 kB]
Get: 140 http://deb.debian.org/debian bullseye/main i386 libncurses6 i386 6.2+20201114-2 [110 kB]
Get: 141 http://deb.debian.org/debian bullseye/main i386 libncurses-dev i386 6.2+20201114-2 [373 kB]
Get: 142 http://deb.debian.org/debian bullseye/main i386 libncurses5-dev i386 6.2+20201114-2 [932 B]
Get: 143 http://deb.debian.org/debian bullseye/main i386 ocaml-compiler-libs i386 4.11.1-4 [29.2 MB]
Get: 144 http://deb.debian.org/debian bullseye/main i386 ocaml-interp i386 4.11.1-4 [5861 kB]
Get: 145 http://deb.debian.org/debian bullseye/main i386 ocaml-nox i386 4.11.1-4 [67.2 MB]
Get: 146 http://deb.debian.org/debian bullseye/main i386 libfindlib-ocaml i386 1.8.1-2 [189 kB]
Get: 147 http://deb.debian.org/debian bullseye/main i386 ocaml-findlib i386 1.8.1-2 [469 kB]
Get: 148 http://deb.debian.org/debian bullseye/main i386 coq i386 8.12.0-3+b3 [87.9 MB]
Get: 149 http://deb.debian.org/debian bullseye/main i386 libdebhelper-perl all 13.3.4 [189 kB]
Get: 150 http://deb.debian.org/debian bullseye/main i386 libtool all 2.4.6-15 [513 kB]
Get: 151 http://deb.debian.org/debian bullseye/main i386 dh-autoreconf all 20 [17.1 kB]
Get: 152 http://deb.debian.org/debian bullseye/main i386 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 153 http://deb.debian.org/debian bullseye/main i386 libsub-override-perl all 0.09-2 [10.2 kB]
Get: 154 http://deb.debian.org/debian bullseye/main i386 libfile-stripnondeterminism-perl all 1.12.0-1 [26.3 kB]
Get: 155 http://deb.debian.org/debian bullseye/main i386 dh-strip-nondeterminism all 1.12.0-1 [15.4 kB]
Get: 156 http://deb.debian.org/debian bullseye/main i386 libelf1 i386 0.183-1 [171 kB]
Get: 157 http://deb.debian.org/debian bullseye/main i386 dwz i386 0.13+20210201-1 [179 kB]
Get: 158 http://deb.debian.org/debian bullseye/main i386 gettext i386 0.21-4 [1322 kB]
Get: 159 http://deb.debian.org/debian bullseye/main i386 intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get: 160 http://deb.debian.org/debian bullseye/main i386 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 161 http://deb.debian.org/debian bullseye/main i386 debhelper all 13.3.4 [1049 kB]
Get: 162 http://deb.debian.org/debian bullseye/main i386 lua5.1 i386 5.1.5-8.1+b3 [108 kB]
Fetched 303 MB in 40s (7599 kB/s)
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libapparmor1:i386.
(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 ... 19675 files and directories currently installed.)
Preparing to unpack .../00-libapparmor1_2.13.6-10_i386.deb ...
Unpacking libapparmor1:i386 (2.13.6-10) ...
Selecting previously unselected package libcap2:i386.
Preparing to unpack .../01-libcap2_1%3a2.44-1_i386.deb ...
Unpacking libcap2:i386 (1:2.44-1) ...
Selecting previously unselected package libargon2-1:i386.
Preparing to unpack .../02-libargon2-1_0~20171227-0.2_i386.deb ...
Unpacking libargon2-1:i386 (0~20171227-0.2) ...
Selecting previously unselected package dmsetup.
Preparing to unpack .../03-dmsetup_2%3a1.02.175-2.1_i386.deb ...
Unpacking dmsetup (2:1.02.175-2.1) ...
Selecting previously unselected package libdevmapper1.02.1:i386.
Preparing to unpack .../04-libdevmapper1.02.1_2%3a1.02.175-2.1_i386.deb ...
Unpacking libdevmapper1.02.1:i386 (2:1.02.175-2.1) ...
Selecting previously unselected package libjson-c5:i386.
Preparing to unpack .../05-libjson-c5_0.15-2_i386.deb ...
Unpacking libjson-c5:i386 (0.15-2) ...
Selecting previously unselected package libcryptsetup12:i386.
Preparing to unpack .../06-libcryptsetup12_2%3a2.3.5-1_i386.deb ...
Unpacking libcryptsetup12:i386 (2:2.3.5-1) ...
Selecting previously unselected package libip4tc2:i386.
Preparing to unpack .../07-libip4tc2_1.8.7-1_i386.deb ...
Unpacking libip4tc2:i386 (1.8.7-1) ...
Selecting previously unselected package libkmod2:i386.
Preparing to unpack .../08-libkmod2_28-1_i386.deb ...
Unpacking libkmod2:i386 (28-1) ...
Selecting previously unselected package systemd-timesyncd.
Preparing to unpack .../09-systemd-timesyncd_247.3-6_i386.deb ...
Unpacking systemd-timesyncd (247.3-6) ...
Selecting previously unselected package systemd.
Preparing to unpack .../10-systemd_247.3-6_i386.deb ...
Unpacking systemd (247.3-6) ...
Setting up libapparmor1:i386 (2.13.6-10) ...
Setting up libcap2:i386 (1:2.44-1) ...
Setting up libargon2-1:i386 (0~20171227-0.2) ...
Setting up libjson-c5:i386 (0.15-2) ...
Setting up libip4tc2:i386 (1.8.7-1) ...
Setting up libkmod2:i386 (28-1) ...
Setting up libdevmapper1.02.1:i386 (2:1.02.175-2.1) ...
Setting up libcryptsetup12:i386 (2:2.3.5-1) ...
Setting up systemd-timesyncd (247.3-6) ...
ERROR: ld.so: object 'libeatmydata.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored.
Created symlink /etc/systemd/system/dbus-org.freedesktop.timesync1.service -> /lib/systemd/system/systemd-timesyncd.service.
Created symlink /etc/systemd/system/sysinit.target.wants/systemd-timesyncd.service -> /lib/systemd/system/systemd-timesyncd.service.
Setting up systemd (247.3-6) ...
Created symlink /etc/systemd/system/getty.target.wants/getty@tty1.service -> /lib/systemd/system/getty@.service.
Created symlink /etc/systemd/system/multi-user.target.wants/remote-fs.target -> /lib/systemd/system/remote-fs.target.
Created symlink /etc/systemd/system/sysinit.target.wants/systemd-pstore.service -> /lib/systemd/system/systemd-pstore.service.
Initializing machine ID from random generator.
ERROR: ld.so: object 'libeatmydata.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored.
ERROR: ld.so: object 'libeatmydata.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored.
Setting up dmsetup (2:1.02.175-2.1) ...
Selecting previously unselected package systemd-sysv.
(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 ... 20545 files and directories currently installed.)
Preparing to unpack .../00-systemd-sysv_247.3-6_i386.deb ...
Unpacking systemd-sysv (247.3-6) ...
Selecting previously unselected package libdbus-1-3:i386.
Preparing to unpack .../01-libdbus-1-3_1.12.20-2_i386.deb ...
Unpacking libdbus-1-3:i386 (1.12.20-2) ...
Selecting previously unselected package libexpat1:i386.
Preparing to unpack .../02-libexpat1_2.2.10-2_i386.deb ...
Unpacking libexpat1:i386 (2.2.10-2) ...
Selecting previously unselected package dbus.
Preparing to unpack .../03-dbus_1.12.20-2_i386.deb ...
Unpacking dbus (1.12.20-2) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../04-bsdextrautils_2.36.1-7_i386.deb ...
Unpacking bsdextrautils (2.36.1-7) ...
Selecting previously unselected package libuchardet0:i386.
Preparing to unpack .../05-libuchardet0_0.0.7-1_i386.deb ...
Unpacking libuchardet0:i386 (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../06-groff-base_1.22.4-6_i386.deb ...
Unpacking groff-base (1.22.4-6) ...
Selecting previously unselected package libpipeline1:i386.
Preparing to unpack .../07-libpipeline1_1.5.3-1_i386.deb ...
Unpacking libpipeline1:i386 (1.5.3-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../08-man-db_2.9.4-2_i386.deb ...
Unpacking man-db (2.9.4-2) ...
Selecting previously unselected package libpython3.9-minimal:i386.
Preparing to unpack .../09-libpython3.9-minimal_3.9.2-1_i386.deb ...
Unpacking libpython3.9-minimal:i386 (3.9.2-1) ...
Selecting previously unselected package python3.9-minimal.
Preparing to unpack .../10-python3.9-minimal_3.9.2-1_i386.deb ...
Unpacking python3.9-minimal (3.9.2-1) ...
Setting up libpython3.9-minimal:i386 (3.9.2-1) ...
Setting up libexpat1:i386 (2.2.10-2) ...
Setting up python3.9-minimal (3.9.2-1) ...
Selecting previously unselected package python3-minimal.
(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 ... 21480 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.9.2-3_i386.deb ...
Unpacking python3-minimal (3.9.2-3) ...
Selecting previously unselected package media-types.
Preparing to unpack .../1-media-types_4.0.0_all.deb ...
Unpacking media-types (4.0.0) ...
Selecting previously unselected package libmpdec3:i386.
Preparing to unpack .../2-libmpdec3_2.5.1-1_i386.deb ...
Unpacking libmpdec3:i386 (2.5.1-1) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../3-readline-common_8.1-1_all.deb ...
Unpacking readline-common (8.1-1) ...
Selecting previously unselected package libreadline8:i386.
Preparing to unpack .../4-libreadline8_8.1-1_i386.deb ...
Unpacking libreadline8:i386 (8.1-1) ...
Selecting previously unselected package libpython3.9-stdlib:i386.
Preparing to unpack .../5-libpython3.9-stdlib_3.9.2-1_i386.deb ...
Unpacking libpython3.9-stdlib:i386 (3.9.2-1) ...
Selecting previously unselected package python3.9.
Preparing to unpack .../6-python3.9_3.9.2-1_i386.deb ...
Unpacking python3.9 (3.9.2-1) ...
Selecting previously unselected package libpython3-stdlib:i386.
Preparing to unpack .../7-libpython3-stdlib_3.9.2-3_i386.deb ...
Unpacking libpython3-stdlib:i386 (3.9.2-3) ...
Setting up python3-minimal (3.9.2-3) ...
Selecting previously unselected package python3.
(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 ... 21901 files and directories currently installed.)
Preparing to unpack .../000-python3_3.9.2-3_i386.deb ...
Unpacking python3 (3.9.2-3) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../001-sensible-utils_0.0.14_all.deb ...
Unpacking sensible-utils (0.0.14) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../002-libmagic-mgc_1%3a5.39-3_i386.deb ...
Unpacking libmagic-mgc (1:5.39-3) ...
Selecting previously unselected package libmagic1:i386.
Preparing to unpack .../003-libmagic1_1%3a5.39-3_i386.deb ...
Unpacking libmagic1:i386 (1:5.39-3) ...
Selecting previously unselected package file.
Preparing to unpack .../004-file_1%3a5.39-3_i386.deb ...
Unpacking file (1:5.39-3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../005-gettext-base_0.21-4_i386.deb ...
Unpacking gettext-base (0.21-4) ...
Selecting previously unselected package libpam-systemd:i386.
Preparing to unpack .../006-libpam-systemd_247.3-6_i386.deb ...
Unpacking libpam-systemd:i386 (247.3-6) ...
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 hicolor-icon-theme.
Preparing to unpack .../008-hicolor-icon-theme_0.17-2_all.deb ...
Unpacking hicolor-icon-theme (0.17-2) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Preparing to unpack .../009-libgdk-pixbuf2.0-common_2.42.2+dfsg-1_all.deb ...
Unpacking libgdk-pixbuf2.0-common (2.42.2+dfsg-1) ...
Selecting previously unselected package libglib2.0-0:i386.
Preparing to unpack .../010-libglib2.0-0_2.66.8-1_i386.deb ...
Unpacking libglib2.0-0:i386 (2.66.8-1) ...
Selecting previously unselected package libicu67:i386.
Preparing to unpack .../011-libicu67_67.1-7_i386.deb ...
Unpacking libicu67:i386 (67.1-7) ...
Selecting previously unselected package libxml2:i386.
Preparing to unpack .../012-libxml2_2.9.10+dfsg-6.7_i386.deb ...
Unpacking libxml2:i386 (2.9.10+dfsg-6.7) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../013-shared-mime-info_2.0-1_i386.deb ...
Unpacking shared-mime-info (2.0-1) ...
Selecting previously unselected package libjpeg62-turbo:i386.
Preparing to unpack .../014-libjpeg62-turbo_1%3a2.0.6-4_i386.deb ...
Unpacking libjpeg62-turbo:i386 (1:2.0.6-4) ...
Selecting previously unselected package libpng16-16:i386.
Preparing to unpack .../015-libpng16-16_1.6.37-3_i386.deb ...
Unpacking libpng16-16:i386 (1.6.37-3) ...
Selecting previously unselected package libdeflate0:i386.
Preparing to unpack .../016-libdeflate0_1.7-1_i386.deb ...
Unpacking libdeflate0:i386 (1.7-1) ...
Selecting previously unselected package libjbig0:i386.
Preparing to unpack .../017-libjbig0_2.1-3.1+b2_i386.deb ...
Unpacking libjbig0:i386 (2.1-3.1+b2) ...
Selecting previously unselected package libwebp6:i386.
Preparing to unpack .../018-libwebp6_0.6.1-2.1_i386.deb ...
Unpacking libwebp6:i386 (0.6.1-2.1) ...
Selecting previously unselected package libtiff5:i386.
Preparing to unpack .../019-libtiff5_4.2.0-1_i386.deb ...
Unpacking libtiff5:i386 (4.2.0-1) ...
Selecting previously unselected package libgdk-pixbuf-2.0-0:i386.
Preparing to unpack .../020-libgdk-pixbuf-2.0-0_2.42.2+dfsg-1_i386.deb ...
Unpacking libgdk-pixbuf-2.0-0:i386 (2.42.2+dfsg-1) ...
Selecting previously unselected package gtk-update-icon-cache.
Preparing to unpack .../021-gtk-update-icon-cache_3.24.24-4_i386.deb ...
Unpacking gtk-update-icon-cache (3.24.24-4) ...
Selecting previously unselected package adwaita-icon-theme.
Preparing to unpack .../022-adwaita-icon-theme_3.38.0-1_all.deb ...
Unpacking adwaita-icon-theme (3.38.0-1) ...
Selecting previously unselected package libsigsegv2:i386.
Preparing to unpack .../023-libsigsegv2_2.13-1_i386.deb ...
Unpacking libsigsegv2:i386 (2.13-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../024-m4_1.4.18-5_i386.deb ...
Unpacking m4 (1.4.18-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../025-autoconf_2.69-14_all.deb ...
Unpacking autoconf (2.69-14) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../026-autotools-dev_20180224.1+nmu1_all.deb ...
Unpacking autotools-dev (20180224.1+nmu1) ...
Selecting previously unselected package automake.
Preparing to unpack .../027-automake_1%3a1.16.3-2_all.deb ...
Unpacking automake (1:1.16.3-2) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../028-autopoint_0.21-4_all.deb ...
Unpacking autopoint (0.21-4) ...
Selecting previously unselected package coq-theories.
Preparing to unpack .../029-coq-theories_8.12.0-3+b3_i386.deb ...
Unpacking coq-theories (8.12.0-3+b3) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../030-ocaml-base-nox_4.11.1-4_i386.deb ...
Unpacking ocaml-base-nox (4.11.1-4) ...
Selecting previously unselected package libbrotli1:i386.
Preparing to unpack .../031-libbrotli1_1.0.9-2+b2_i386.deb ...
Unpacking libbrotli1:i386 (1.0.9-2+b2) ...
Selecting previously unselected package libfreetype6:i386.
Preparing to unpack .../032-libfreetype6_2.10.4+dfsg-1_i386.deb ...
Unpacking libfreetype6:i386 (2.10.4+dfsg-1) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../033-fonts-dejavu-core_2.37-2_all.deb ...
Unpacking fonts-dejavu-core (2.37-2) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../034-fontconfig-config_2.13.1-4.2_all.deb ...
Unpacking fontconfig-config (2.13.1-4.2) ...
Selecting previously unselected package libfontconfig1:i386.
Preparing to unpack .../035-libfontconfig1_2.13.1-4.2_i386.deb ...
Unpacking libfontconfig1:i386 (2.13.1-4.2) ...
Selecting previously unselected package libpixman-1-0:i386.
Preparing to unpack .../036-libpixman-1-0_0.40.0-1_i386.deb ...
Unpacking libpixman-1-0:i386 (0.40.0-1) ...
Selecting previously unselected package libxau6:i386.
Preparing to unpack .../037-libxau6_1%3a1.0.9-1_i386.deb ...
Unpacking libxau6:i386 (1:1.0.9-1) ...
Selecting previously unselected package libmd0:i386.
Preparing to unpack .../038-libmd0_1.0.3-3_i386.deb ...
Unpacking libmd0:i386 (1.0.3-3) ...
Selecting previously unselected package libbsd0:i386.
Preparing to unpack .../039-libbsd0_0.11.3-1_i386.deb ...
Unpacking libbsd0:i386 (0.11.3-1) ...
Selecting previously unselected package libxdmcp6:i386.
Preparing to unpack .../040-libxdmcp6_1%3a1.1.2-3_i386.deb ...
Unpacking libxdmcp6:i386 (1:1.1.2-3) ...
Selecting previously unselected package libxcb1:i386.
Preparing to unpack .../041-libxcb1_1.14-3_i386.deb ...
Unpacking libxcb1:i386 (1.14-3) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../042-libx11-data_2%3a1.7.1-1_all.deb ...
Unpacking libx11-data (2:1.7.1-1) ...
Selecting previously unselected package libx11-6:i386.
Preparing to unpack .../043-libx11-6_2%3a1.7.1-1_i386.deb ...
Unpacking libx11-6:i386 (2:1.7.1-1) ...
Selecting previously unselected package libxcb-render0:i386.
Preparing to unpack .../044-libxcb-render0_1.14-3_i386.deb ...
Unpacking libxcb-render0:i386 (1.14-3) ...
Selecting previously unselected package libxcb-shm0:i386.
Preparing to unpack .../045-libxcb-shm0_1.14-3_i386.deb ...
Unpacking libxcb-shm0:i386 (1.14-3) ...
Selecting previously unselected package libxext6:i386.
Preparing to unpack .../046-libxext6_2%3a1.3.3-1.1_i386.deb ...
Unpacking libxext6:i386 (2:1.3.3-1.1) ...
Selecting previously unselected package libxrender1:i386.
Preparing to unpack .../047-libxrender1_1%3a0.9.10-1_i386.deb ...
Unpacking libxrender1:i386 (1:0.9.10-1) ...
Selecting previously unselected package libcairo2:i386.
Preparing to unpack .../048-libcairo2_1.16.0-5_i386.deb ...
Unpacking libcairo2:i386 (1.16.0-5) ...
Selecting previously unselected package libcairo2-ocaml.
Preparing to unpack .../049-libcairo2-ocaml_0.6.2+dfsg-1_i386.deb ...
Unpacking libcairo2-ocaml (0.6.2+dfsg-1) ...
Selecting previously unselected package libgdk-pixbuf-xlib-2.0-0:i386.
Preparing to unpack .../050-libgdk-pixbuf-xlib-2.0-0_2.40.2-2_i386.deb ...
Unpacking libgdk-pixbuf-xlib-2.0-0:i386 (2.40.2-2) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:i386.
Preparing to unpack .../051-libgdk-pixbuf2.0-0_2.40.2-2_i386.deb ...
Unpacking libgdk-pixbuf2.0-0:i386 (2.40.2-2) ...
Selecting previously unselected package libatk1.0-data.
Preparing to unpack .../052-libatk1.0-data_2.36.0-2_all.deb ...
Unpacking libatk1.0-data (2.36.0-2) ...
Selecting previously unselected package libatk1.0-0:i386.
Preparing to unpack .../053-libatk1.0-0_2.36.0-2_i386.deb ...
Unpacking libatk1.0-0:i386 (2.36.0-2) ...
Selecting previously unselected package libatspi2.0-0:i386.
Preparing to unpack .../054-libatspi2.0-0_2.38.0-4_i386.deb ...
Unpacking libatspi2.0-0:i386 (2.38.0-4) ...
Selecting previously unselected package libatk-bridge2.0-0:i386.
Preparing to unpack .../055-libatk-bridge2.0-0_2.38.0-1_i386.deb ...
Unpacking libatk-bridge2.0-0:i386 (2.38.0-1) ...
Selecting previously unselected package libcairo-gobject2:i386.
Preparing to unpack .../056-libcairo-gobject2_1.16.0-5_i386.deb ...
Unpacking libcairo-gobject2:i386 (1.16.0-5) ...
Selecting previously unselected package liblcms2-2:i386.
Preparing to unpack .../057-liblcms2-2_2.12~rc1-2_i386.deb ...
Unpacking liblcms2-2:i386 (2.12~rc1-2) ...
Selecting previously unselected package libcolord2:i386.
Preparing to unpack .../058-libcolord2_1.4.5-3_i386.deb ...
Unpacking libcolord2:i386 (1.4.5-3) ...
Selecting previously unselected package libavahi-common-data:i386.
Preparing to unpack .../059-libavahi-common-data_0.8-5_i386.deb ...
Unpacking libavahi-common-data:i386 (0.8-5) ...
Selecting previously unselected package libavahi-common3:i386.
Preparing to unpack .../060-libavahi-common3_0.8-5_i386.deb ...
Unpacking libavahi-common3:i386 (0.8-5) ...
Selecting previously unselected package libavahi-client3:i386.
Preparing to unpack .../061-libavahi-client3_0.8-5_i386.deb ...
Unpacking libavahi-client3:i386 (0.8-5) ...
Selecting previously unselected package libcups2:i386.
Preparing to unpack .../062-libcups2_2.3.3op2-3+deb11u1_i386.deb ...
Unpacking libcups2:i386 (2.3.3op2-3+deb11u1) ...
Selecting previously unselected package libepoxy0:i386.
Preparing to unpack .../063-libepoxy0_1.5.5-1_i386.deb ...
Unpacking libepoxy0:i386 (1.5.5-1) ...
Selecting previously unselected package libfribidi0:i386.
Preparing to unpack .../064-libfribidi0_1.0.8-2_i386.deb ...
Unpacking libfribidi0:i386 (1.0.8-2) ...
Selecting previously unselected package libgraphite2-3:i386.
Preparing to unpack .../065-libgraphite2-3_1.3.14-1_i386.deb ...
Unpacking libgraphite2-3:i386 (1.3.14-1) ...
Selecting previously unselected package libharfbuzz0b:i386.
Preparing to unpack .../066-libharfbuzz0b_2.7.4-1_i386.deb ...
Unpacking libharfbuzz0b:i386 (2.7.4-1) ...
Selecting previously unselected package libjson-glib-1.0-common.
Preparing to unpack .../067-libjson-glib-1.0-common_1.6.2-1_all.deb ...
Unpacking libjson-glib-1.0-common (1.6.2-1) ...
Selecting previously unselected package libjson-glib-1.0-0:i386.
Preparing to unpack .../068-libjson-glib-1.0-0_1.6.2-1_i386.deb ...
Unpacking libjson-glib-1.0-0:i386 (1.6.2-1) ...
Selecting previously unselected package fontconfig.
Preparing to unpack .../069-fontconfig_2.13.1-4.2_i386.deb ...
Unpacking fontconfig (2.13.1-4.2) ...
Selecting previously unselected package libthai-data.
Preparing to unpack .../070-libthai-data_0.1.28-3_all.deb ...
Unpacking libthai-data (0.1.28-3) ...
Selecting previously unselected package libdatrie1:i386.
Preparing to unpack .../071-libdatrie1_0.2.13-1_i386.deb ...
Unpacking libdatrie1:i386 (0.2.13-1) ...
Selecting previously unselected package libthai0:i386.
Preparing to unpack .../072-libthai0_0.1.28-3_i386.deb ...
Unpacking libthai0:i386 (0.1.28-3) ...
Selecting previously unselected package libpango-1.0-0:i386.
Preparing to unpack .../073-libpango-1.0-0_1.46.2-3_i386.deb ...
Unpacking libpango-1.0-0:i386 (1.46.2-3) ...
Selecting previously unselected package libpangoft2-1.0-0:i386.
Preparing to unpack .../074-libpangoft2-1.0-0_1.46.2-3_i386.deb ...
Unpacking libpangoft2-1.0-0:i386 (1.46.2-3) ...
Selecting previously unselected package libpangocairo-1.0-0:i386.
Preparing to unpack .../075-libpangocairo-1.0-0_1.46.2-3_i386.deb ...
Unpacking libpangocairo-1.0-0:i386 (1.46.2-3) ...
Selecting previously unselected package libproxy1v5:i386.
Preparing to unpack .../076-libproxy1v5_0.4.17-1_i386.deb ...
Unpacking libproxy1v5:i386 (0.4.17-1) ...
Selecting previously unselected package glib-networking-common.
Preparing to unpack .../077-glib-networking-common_2.66.0-2_all.deb ...
Unpacking glib-networking-common (2.66.0-2) ...
Selecting previously unselected package glib-networking-services.
Preparing to unpack .../078-glib-networking-services_2.66.0-2_i386.deb ...
Unpacking glib-networking-services (2.66.0-2) ...
Selecting previously unselected package dbus-user-session.
Preparing to unpack .../079-dbus-user-session_1.12.20-2_i386.deb ...
Unpacking dbus-user-session (1.12.20-2) ...
Selecting previously unselected package libdconf1:i386.
Preparing to unpack .../080-libdconf1_0.38.0-2_i386.deb ...
Unpacking libdconf1:i386 (0.38.0-2) ...
Selecting previously unselected package dconf-service.
Preparing to unpack .../081-dconf-service_0.38.0-2_i386.deb ...
Unpacking dconf-service (0.38.0-2) ...
Selecting previously unselected package dconf-gsettings-backend:i386.
Preparing to unpack .../082-dconf-gsettings-backend_0.38.0-2_i386.deb ...
Unpacking dconf-gsettings-backend:i386 (0.38.0-2) ...
Selecting previously unselected package gsettings-desktop-schemas.
Preparing to unpack .../083-gsettings-desktop-schemas_3.38.0-2_all.deb ...
Unpacking gsettings-desktop-schemas (3.38.0-2) ...
Selecting previously unselected package glib-networking:i386.
Preparing to unpack .../084-glib-networking_2.66.0-2_i386.deb ...
Unpacking glib-networking:i386 (2.66.0-2) ...
Selecting previously unselected package libpsl5:i386.
Preparing to unpack .../085-libpsl5_0.21.0-1.2_i386.deb ...
Unpacking libpsl5:i386 (0.21.0-1.2) ...
Selecting previously unselected package libsoup2.4-1:i386.
Preparing to unpack .../086-libsoup2.4-1_2.72.0-2_i386.deb ...
Unpacking libsoup2.4-1:i386 (2.72.0-2) ...
Selecting previously unselected package libsoup-gnome2.4-1:i386.
Preparing to unpack .../087-libsoup-gnome2.4-1_2.72.0-2_i386.deb ...
Unpacking libsoup-gnome2.4-1:i386 (2.72.0-2) ...
Selecting previously unselected package librest-0.7-0:i386.
Preparing to unpack .../088-librest-0.7-0_0.8.1-1.1_i386.deb ...
Unpacking librest-0.7-0:i386 (0.8.1-1.1) ...
Selecting previously unselected package libwayland-client0:i386.
Preparing to unpack .../089-libwayland-client0_1.18.0-2~exp1.1_i386.deb ...
Unpacking libwayland-client0:i386 (1.18.0-2~exp1.1) ...
Selecting previously unselected package libwayland-cursor0:i386.
Preparing to unpack .../090-libwayland-cursor0_1.18.0-2~exp1.1_i386.deb ...
Unpacking libwayland-cursor0:i386 (1.18.0-2~exp1.1) ...
Selecting previously unselected package libwayland-egl1:i386.
Preparing to unpack .../091-libwayland-egl1_1.18.0-2~exp1.1_i386.deb ...
Unpacking libwayland-egl1:i386 (1.18.0-2~exp1.1) ...
Selecting previously unselected package libxcomposite1:i386.
Preparing to unpack .../092-libxcomposite1_1%3a0.4.5-1_i386.deb ...
Unpacking libxcomposite1:i386 (1:0.4.5-1) ...
Selecting previously unselected package libxfixes3:i386.
Preparing to unpack .../093-libxfixes3_1%3a5.0.3-2_i386.deb ...
Unpacking libxfixes3:i386 (1:5.0.3-2) ...
Selecting previously unselected package libxcursor1:i386.
Preparing to unpack .../094-libxcursor1_1%3a1.2.0-2_i386.deb ...
Unpacking libxcursor1:i386 (1:1.2.0-2) ...
Selecting previously unselected package libxdamage1:i386.
Preparing to unpack .../095-libxdamage1_1%3a1.1.5-2_i386.deb ...
Unpacking libxdamage1:i386 (1:1.1.5-2) ...
Selecting previously unselected package libxi6:i386.
Preparing to unpack .../096-libxi6_2%3a1.7.10-1_i386.deb ...
Unpacking libxi6:i386 (2:1.7.10-1) ...
Selecting previously unselected package libxinerama1:i386.
Preparing to unpack .../097-libxinerama1_2%3a1.1.4-2_i386.deb ...
Unpacking libxinerama1:i386 (2:1.1.4-2) ...
Selecting previously unselected package xkb-data.
Preparing to unpack .../098-xkb-data_2.29-2_all.deb ...
Unpacking xkb-data (2.29-2) ...
Selecting previously unselected package libxkbcommon0:i386.
Preparing to unpack .../099-libxkbcommon0_1.0.3-2_i386.deb ...
Unpacking libxkbcommon0:i386 (1.0.3-2) ...
Selecting previously unselected package libxrandr2:i386.
Preparing to unpack .../100-libxrandr2_2%3a1.5.1-1_i386.deb ...
Unpacking libxrandr2:i386 (2:1.5.1-1) ...
Selecting previously unselected package libgtk-3-common.
Preparing to unpack .../101-libgtk-3-common_3.24.24-4_all.deb ...
Unpacking libgtk-3-common (3.24.24-4) ...
Selecting previously unselected package libgtk-3-0:i386.
Preparing to unpack .../102-libgtk-3-0_3.24.24-4_i386.deb ...
Unpacking libgtk-3-0:i386 (3.24.24-4) ...
Selecting previously unselected package liblablgtk3-ocaml.
Preparing to unpack .../103-liblablgtk3-ocaml_3.1.1+official-1+b1_i386.deb ...
Unpacking liblablgtk3-ocaml (3.1.1+official-1+b1) ...
Selecting previously unselected package libgtksourceview-3.0-common.
Preparing to unpack .../104-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:i386.
Preparing to unpack .../105-libgtksourceview-3.0-1_3.24.11-2_i386.deb ...
Unpacking libgtksourceview-3.0-1:i386 (3.24.11-2) ...
Selecting previously unselected package liblablgtksourceview3-ocaml.
Preparing to unpack .../106-liblablgtksourceview3-ocaml_3.1.1+official-1+b1_i386.deb ...
Unpacking liblablgtksourceview3-ocaml (3.1.1+official-1+b1) ...
Selecting previously unselected package libnum-ocaml.
Preparing to unpack .../107-libnum-ocaml_1.4-1_i386.deb ...
Unpacking libnum-ocaml (1.4-1) ...
Selecting previously unselected package libcoq-ocaml.
Preparing to unpack .../108-libcoq-ocaml_8.12.0-3+b3_i386.deb ...
Unpacking libcoq-ocaml (8.12.0-3+b3) ...
Selecting previously unselected package libncurses6:i386.
Preparing to unpack .../109-libncurses6_6.2+20201114-2_i386.deb ...
Unpacking libncurses6:i386 (6.2+20201114-2) ...
Selecting previously unselected package libncurses-dev:i386.
Preparing to unpack .../110-libncurses-dev_6.2+20201114-2_i386.deb ...
Unpacking libncurses-dev:i386 (6.2+20201114-2) ...
Selecting previously unselected package libncurses5-dev:i386.
Preparing to unpack .../111-libncurses5-dev_6.2+20201114-2_i386.deb ...
Unpacking libncurses5-dev:i386 (6.2+20201114-2) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../112-ocaml-compiler-libs_4.11.1-4_i386.deb ...
Unpacking ocaml-compiler-libs (4.11.1-4) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../113-ocaml-interp_4.11.1-4_i386.deb ...
Unpacking ocaml-interp (4.11.1-4) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../114-ocaml-nox_4.11.1-4_i386.deb ...
Unpacking ocaml-nox (4.11.1-4) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../115-libfindlib-ocaml_1.8.1-2_i386.deb ...
Unpacking libfindlib-ocaml (1.8.1-2) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../116-ocaml-findlib_1.8.1-2_i386.deb ...
Unpacking ocaml-findlib (1.8.1-2) ...
Selecting previously unselected package coq.
Preparing to unpack .../117-coq_8.12.0-3+b3_i386.deb ...
Unpacking coq (8.12.0-3+b3) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../118-libdebhelper-perl_13.3.4_all.deb ...
Unpacking libdebhelper-perl (13.3.4) ...
Selecting previously unselected package libtool.
Preparing to unpack .../119-libtool_2.4.6-15_all.deb ...
Unpacking libtool (2.4.6-15) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../120-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../121-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 .../122-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 .../123-libfile-stripnondeterminism-perl_1.12.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.12.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../124-dh-strip-nondeterminism_1.12.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.12.0-1) ...
Selecting previously unselected package libelf1:i386.
Preparing to unpack .../125-libelf1_0.183-1_i386.deb ...
Unpacking libelf1:i386 (0.183-1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../126-dwz_0.13+20210201-1_i386.deb ...
Unpacking dwz (0.13+20210201-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../127-gettext_0.21-4_i386.deb ...
Unpacking gettext (0.21-4) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../128-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 .../129-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../130-debhelper_13.3.4_all.deb ...
Unpacking debhelper (13.3.4) ...
Selecting previously unselected package lua5.1.
Preparing to unpack .../131-lua5.1_5.1.5-8.1+b3_i386.deb ...
Unpacking lua5.1 (5.1.5-8.1+b3) ...
Setting up media-types (4.0.0) ...
Setting up libpipeline1:i386 (1.5.3-1) ...
Setting up libgraphite2-3:i386 (1.3.14-1) ...
Setting up liblcms2-2:i386 (2.12~rc1-2) ...
Setting up libpixman-1-0:i386 (0.40.0-1) ...
Setting up systemd-sysv (247.3-6) ...
Setting up libxau6:i386 (1:1.0.9-1) ...
Setting up libproxy1v5:i386 (0.4.17-1) ...
Setting up libpsl5:i386 (0.21.0-1.2) ...
Setting up bsdextrautils (2.36.1-7) ...
update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode
Setting up hicolor-icon-theme (0.17-2) ...
Setting up libicu67:i386 (67.1-7) ...
Setting up libdatrie1:i386 (0.2.13-1) ...
Setting up libmagic-mgc (1:5.39-3) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libglib2.0-0:i386 (2.66.8-1) ...
Setting up libdebhelper-perl (13.3.4) ...
Setting up libbrotli1:i386 (1.0.9-2+b2) ...
Setting up libgdk-pixbuf2.0-common (2.42.2+dfsg-1) ...
Setting up libmagic1:i386 (1:5.39-3) ...
Setting up libdeflate0:i386 (1.7-1) ...
Setting up gettext-base (0.21-4) ...
Setting up xkb-data (2.29-2) ...
Setting up file (1:5.39-3) ...
Setting up libjbig0:i386 (2.1-3.1+b2) ...
Setting up libcolord2:i386 (1.4.5-3) ...
Setting up libdconf1:i386 (0.38.0-2) ...
Setting up autotools-dev (20180224.1+nmu1) ...
Setting up libjpeg62-turbo:i386 (1:2.0.6-4) ...
Setting up libx11-data (2:1.7.1-1) ...
Setting up libepoxy0:i386 (1.5.5-1) ...
Setting up libavahi-common-data:i386 (0.8-5) ...
Setting up libncurses6:i386 (6.2+20201114-2) ...
Setting up libdbus-1-3:i386 (1.12.20-2) ...
Setting up dbus (1.12.20-2) ...
ERROR: ld.so: object 'libeatmydata.so' from LD_PRELOAD cannot be preloaded (cannot open shared object file): ignored.
Running in chroot, ignoring request.
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libsigsegv2:i386 (2.13-1) ...
Setting up libfribidi0:i386 (1.0.8-2) ...
Setting up libpng16-16:i386 (1.6.37-3) ...
Setting up autopoint (0.21-4) ...
Setting up libwebp6:i386 (0.6.1-2.1) ...
Setting up fonts-dejavu-core (2.37-2) ...
Setting up libatk1.0-data (2.36.0-2) ...
Setting up libmd0:i386 (1.0.3-3) ...
Setting up sensible-utils (0.0.14) ...
Setting up libuchardet0:i386 (0.0.7-1) ...
Setting up libgtksourceview-3.0-common (3.24.11-2) ...
Setting up libmpdec3:i386 (2.5.1-1) ...
Setting up libpam-systemd:i386 (247.3-6) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up libthai-data (0.1.28-3) ...
Setting up libjson-glib-1.0-common (1.6.2-1) ...
Setting up libatk1.0-0:i386 (2.36.0-2) ...
Setting up libtiff5:i386 (4.2.0-1) ...
Setting up libwayland-egl1:i386 (1.18.0-2~exp1.1) ...
Setting up ocaml-base-nox (4.11.1-4) ...
Setting up glib-networking-common (2.66.0-2) ...
Setting up libbsd0:i386 (0.11.3-1) ...
Setting up libelf1:i386 (0.183-1) ...
Setting up readline-common (8.1-1) ...
Setting up libxml2:i386 (2.9.10+dfsg-6.7) ...
Setting up libxkbcommon0:i386 (1.0.3-2) ...
Setting up libwayland-client0:i386 (1.18.0-2~exp1.1) ...
Setting up libfile-stripnondeterminism-perl (1.12.0-1) ...
Setting up glib-networking-services (2.66.0-2) ...
Setting up libxdmcp6:i386 (1:1.1.2-3) ...
Setting up libncurses-dev:i386 (6.2+20201114-2) ...
Setting up libxcb1:i386 (1.14-3) ...
Setting up gettext (0.21-4) ...
Setting up libtool (2.4.6-15) ...
Setting up libxcb-render0:i386 (1.14-3) ...
Setting up libreadline8:i386 (8.1-1) ...
Setting up libavahi-common3:i386 (0.8-5) ...
Setting up libfindlib-ocaml (1.8.1-2) ...
Setting up m4 (1.4.18-5) ...
Setting up libxcb-shm0:i386 (1.14-3) ...
Setting up lua5.1 (5.1.5-8.1+b3) ...
update-alternatives: using /usr/bin/lua5.1 to provide /usr/bin/lua (lua-interpreter) in auto mode
update-alternatives: using /usr/bin/luac5.1 to provide /usr/bin/luac (lua-compiler) in auto mode
Setting up libjson-glib-1.0-0:i386 (1.6.2-1) ...
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up libthai0:i386 (0.1.28-3) ...
Setting up dbus-user-session (1.12.20-2) ...
Setting up libfreetype6:i386 (2.10.4+dfsg-1) ...
Setting up shared-mime-info (2.0-1) ...
Setting up ocaml-findlib (1.8.1-2) ...
Setting up ucf (3.0043) ...
Setting up autoconf (2.69-14) ...
Setting up dh-strip-nondeterminism (1.12.0-1) ...
Setting up libnum-ocaml (1.4-1) ...
Setting up dwz (0.13+20210201-1) ...
Setting up groff-base (1.22.4-6) ...
Setting up libwayland-cursor0:i386 (1.18.0-2~exp1.1) ...
Setting up libncurses5-dev:i386 (6.2+20201114-2) ...
Setting up libx11-6:i386 (2:1.7.1-1) ...
Setting up libharfbuzz0b:i386 (2.7.4-1) ...
Setting up libgdk-pixbuf-2.0-0:i386 (2.42.2+dfsg-1) ...
Setting up libxcomposite1:i386 (1:0.4.5-1) ...
Setting up libavahi-client3:i386 (0.8-5) ...
Setting up libpython3.9-stdlib:i386 (3.9.2-1) ...
Setting up libpython3-stdlib:i386 (3.9.2-3) ...
Setting up automake (1:1.16.3-2) ...
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.24-4) ...
Setting up libxdamage1:i386 (1:1.1.5-2) ...
Setting up libgdk-pixbuf-xlib-2.0-0:i386 (2.40.2-2) ...
Setting up libxrender1:i386 (1:0.9.10-1) ...
Setting up fontconfig-config (2.13.1-4.2) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up libxext6:i386 (2:1.3.3-1.1) ...
Setting up dconf-service (0.38.0-2) ...
Setting up libatspi2.0-0:i386 (2.38.0-4) ...
Setting up man-db (2.9.4-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 dh-autoreconf (20) ...
Setting up libatk-bridge2.0-0:i386 (2.38.0-1) ...
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 libxfixes3:i386 (1:5.0.3-2) ...
Setting up libgdk-pixbuf2.0-0:i386 (2.40.2-2) ...
Setting up libxinerama1:i386 (2:1.1.4-2) ...
Setting up libxrandr2:i386 (2:1.5.1-1) ...
Setting up libcups2:i386 (2.3.3op2-3+deb11u1) ...
Setting up libfontconfig1:i386 (2.13.1-4.2) ...
Setting up python3.9 (3.9.2-1) ...
Setting up fontconfig (2.13.1-4.2) ...
Regenerating fonts cache... done.
Setting up libxi6:i386 (2:1.7.10-1) ...
Setting up dconf-gsettings-backend:i386 (0.38.0-2) ...
Setting up libxcursor1:i386 (1:1.2.0-2) ...
Setting up libpango-1.0-0:i386 (1.46.2-3) ...
Setting up debhelper (13.3.4) ...
Setting up python3 (3.9.2-3) ...
Setting up libcairo2:i386 (1.16.0-5) ...
Setting up libcairo-gobject2:i386 (1.16.0-5) ...
Setting up libpangoft2-1.0-0:i386 (1.46.2-3) ...
Setting up libgtk-3-common (3.24.24-4) ...
Setting up libpangocairo-1.0-0:i386 (1.46.2-3) ...
Setting up gsettings-desktop-schemas (3.38.0-2) ...
Setting up libcairo2-ocaml (0.6.2+dfsg-1) ...
Setting up glib-networking:i386 (2.66.0-2) ...
Setting up libsoup2.4-1:i386 (2.72.0-2) ...
Setting up libsoup-gnome2.4-1:i386 (2.72.0-2) ...
Setting up librest-0.7-0:i386 (0.8.1-1.1) ...
Setting up libgtk-3-0:i386 (3.24.24-4) ...
Setting up libgtksourceview-3.0-1:i386 (3.24.11-2) ...
Setting up liblablgtk3-ocaml (3.1.1+official-1+b1) ...
Setting up liblablgtksourceview3-ocaml (3.1.1+official-1+b1) ...
Setting up libcoq-ocaml (8.12.0-3+b3) ...
Setting up coq-theories (8.12.0-3+b3) ...
Setting up ocaml-compiler-libs (4.11.1-4) ...
Setting up ocaml-interp (4.11.1-4) ...
Setting up ocaml-nox (4.11.1-4) ...
Setting up coq (8.12.0-3+b3) ...
Processing triggers for libc-bin (2.31-12) ...
Reading package lists...
Building dependency tree...
Reading state information...
Reading extended state information...
Initializing package states...
Writing extended state information...
Building tag database...
-> Finished parsing the build-deps
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
libfile-find-rule-perl libnumber-compare-perl libtext-glob-perl
The following NEW packages will be installed:
libfile-find-rule-perl libnumber-compare-perl libtext-glob-perl usrmerge
0 upgraded, 4 newly installed, 0 to remove and 0 not upgraded.
Need to get 59.5 kB of archives.
After this operation, 157 kB of additional disk space will be used.
Get:1 http://deb.debian.org/debian bullseye/main i386 libnumber-compare-perl all 0.03-1.1 [6956 B]
Get:2 http://deb.debian.org/debian bullseye/main i386 libtext-glob-perl all 0.11-1 [8888 B]
Get:3 http://deb.debian.org/debian bullseye/main i386 libfile-find-rule-perl all 0.34-1 [30.6 kB]
Get:4 http://deb.debian.org/debian bullseye/main i386 usrmerge all 25 [13.0 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 59.5 kB in 0s (1323 kB/s)
Selecting previously unselected package libnumber-compare-perl.
(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 ... 40221 files and directories currently installed.)
Preparing to unpack .../libnumber-compare-perl_0.03-1.1_all.deb ...
Unpacking libnumber-compare-perl (0.03-1.1) ...
Selecting previously unselected package libtext-glob-perl.
Preparing to unpack .../libtext-glob-perl_0.11-1_all.deb ...
Unpacking libtext-glob-perl (0.11-1) ...
Selecting previously unselected package libfile-find-rule-perl.
Preparing to unpack .../libfile-find-rule-perl_0.34-1_all.deb ...
Unpacking libfile-find-rule-perl (0.34-1) ...
Selecting previously unselected package usrmerge.
Preparing to unpack .../archives/usrmerge_25_all.deb ...
Unpacking usrmerge (25) ...
Setting up libtext-glob-perl (0.11-1) ...
Setting up libnumber-compare-perl (0.03-1.1) ...
Setting up libfile-find-rule-perl (0.34-1) ...
Setting up usrmerge (25) ...
The system has been successfully converted.
Processing triggers for man-db (2.9.4-2) ...
Not building database; man-db/auto-update is not 'true'.
I: Building the package
I: Running cd /build/ssreflect-1.12.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b
dpkg-buildpackage: info: source package ssreflect
dpkg-buildpackage: info: source version 1.12.0-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Ralf Treinen <treinen@debian.org>
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture i386
debian/rules clean
dh clean
dh_clean
debian/rules binary
dh binary
dh_update_autotools_config
dh_autoreconf
debian/rules override_dh_auto_build
make[1]: Entering directory '/build/ssreflect-1.12.0'
/usr/bin/make -C mathcomp all doc
make[2]: Entering directory '/build/ssreflect-1.12.0/mathcomp'
/usr/bin/coq_makefile -f Make -o Makefile.coq
/usr/bin/make -f Makefile.coq --no-print-directory
COQDEP VFILES
COQC ssreflect/ssreflect.v
COQC ssreflect/ssrnotations.v
COQC ssreflect/ssrfun.v
COQC ssreflect/ssrbool.v
COQC ssreflect/eqtype.v
COQC ssreflect/ssrnat.v
COQC ssreflect/seq.v
COQC ssreflect/div.v
COQC ssreflect/choice.v
COQC ssreflect/path.v
COQC ssreflect/fintype.v
COQC ssreflect/tuple.v
COQC ssreflect/finfun.v
COQC ssreflect/bigop.v
COQC ssreflect/prime.v
COQC ssreflect/finset.v
COQC ssreflect/binomial.v
COQC algebra/ssralg.v
COQC ssreflect/ssrAC.v
COQC ssreflect/order.v
COQC fingroup/fingroup.v
COQC ssreflect/generic_quotient.v
COQC algebra/ring_quotient.v
COQC algebra/countalg.v
COQC algebra/poly.v
COQC algebra/ssrnum.v
COQC fingroup/morphism.v
COQC fingroup/perm.v
COQC fingroup/automorphism.v
COQC fingroup/quotient.v
COQC fingroup/action.v
COQC algebra/finalg.v
COQC algebra/polydiv.v
COQC algebra/zmodp.v
COQC algebra/matrix.v
COQC algebra/mxalgebra.v
COQC algebra/mxpoly.v
COQC algebra/polyXY.v
COQC algebra/ssrint.v
COQC algebra/rat.v
COQC algebra/vector.v
COQC algebra/intdiv.v
COQC algebra/interval.v
COQC algebra/fraction.v
COQC algebra/all_algebra.v
COQC ssreflect/fingraph.v
COQC ssreflect/all_ssreflect.v
COQC field/closed_field.v
COQC fingroup/gproduct.v
COQC solvable/cyclic.v
COQC solvable/gfunctor.v
COQC solvable/pgroup.v
COQC solvable/commutator.v
COQC solvable/center.v
COQC solvable/gseries.v
COQC solvable/nilpotent.v
COQC solvable/sylow.v
COQC field/falgebra.v
COQC field/fieldext.v
COQC field/separable.v
COQC field/galois.v
COQC field/algebraics_fundamentals.v
COQC field/algC.v
COQC field/cyclotomic.v
COQC field/algnum.v
COQC solvable/abelian.v
COQC field/finfield.v
COQC field/all_field.v
COQC character/mxrepresentation.v
COQC character/classfun.v
COQC character/character.v
COQC solvable/finmodule.v
COQC solvable/maximal.v
COQC solvable/hall.v
COQC solvable/frobenius.v
COQC character/inertia.v
COQC character/integral_char.v
COQC character/mxabelem.v
COQC character/vcharacter.v
COQC character/all_character.v
COQC fingroup/presentation.v
COQC fingroup/all_fingroup.v
COQC solvable/primitive_action.v
COQC solvable/alt.v
COQC solvable/burnside_app.v
COQC solvable/extremal.v
COQC solvable/extraspecial.v
COQC solvable/jordanholder.v
COQC solvable/all_solvable.v
COQC all/all.v
COQC ssreflect/ssrmatching.v
mkdir -p _build_doc/
cp -r algebra/all_algebra.v algebra/finalg.v algebra/countalg.v algebra/fraction.v algebra/intdiv.v algebra/interval.v algebra/matrix.v algebra/mxalgebra.v algebra/mxpoly.v algebra/polydiv.v algebra/poly.v algebra/polyXY.v algebra/rat.v algebra/ring_quotient.v algebra/ssralg.v algebra/ssrint.v algebra/ssrnum.v algebra/vector.v algebra/zmodp.v all/all.v character/all_character.v character/character.v character/classfun.v character/inertia.v character/integral_char.v character/mxabelem.v character/mxrepresentation.v character/vcharacter.v field/algC.v field/algebraics_fundamentals.v field/algnum.v field/all_field.v field/closed_field.v field/cyclotomic.v field/falgebra.v field/fieldext.v field/finfield.v field/galois.v field/separable.v fingroup/action.v fingroup/all_fingroup.v fingroup/automorphism.v fingroup/fingroup.v fingroup/gproduct.v fingroup/morphism.v fingroup/perm.v fingroup/presentation.v fingroup/quotient.v solvable/abelian.v solvable/all_solvable.v solvable/alt.v solvable/burnside_app.v solvable/center.v solvable/commutator.v solvable/cyclic.v solvable/extraspecial.v solvable/extremal.v solvable/finmodule.v solvable/frobenius.v solvable/gfunctor.v solvable/gseries.v solvable/hall.v solvable/jordanholder.v solvable/maximal.v solvable/nilpotent.v solvable/pgroup.v solvable/primitive_action.v solvable/sylow.v ssreflect/all_ssreflect.v ssreflect/bigop.v ssreflect/binomial.v ssreflect/choice.v ssreflect/div.v ssreflect/eqtype.v ssreflect/finfun.v ssreflect/fingraph.v ssreflect/finset.v ssreflect/fintype.v ssreflect/generic_quotient.v ssreflect/order.v ssreflect/path.v ssreflect/prime.v ssreflect/seq.v ssreflect/ssrAC.v ssreflect/ssrbool.v ssreflect/ssreflect.v ssreflect/ssrfun.v ssreflect/ssrnat.v ssreflect/ssrnotations.v ssreflect/ssrmatching.v ssreflect/tuple.v -t _build_doc/ --parents
cp Make Makefile* _build_doc
mkdir -p _build_doc/htmldoc
. ../etc/utils/builddoc_lib.sh; \
cd _build_doc && mangle_sources algebra/all_algebra.v algebra/finalg.v algebra/countalg.v algebra/fraction.v algebra/intdiv.v algebra/interval.v algebra/matrix.v algebra/mxalgebra.v algebra/mxpoly.v algebra/polydiv.v algebra/poly.v algebra/polyXY.v algebra/rat.v algebra/ring_quotient.v algebra/ssralg.v algebra/ssrint.v algebra/ssrnum.v algebra/vector.v algebra/zmodp.v all/all.v character/all_character.v character/character.v character/classfun.v character/inertia.v character/integral_char.v character/mxabelem.v character/mxrepresentation.v character/vcharacter.v field/algC.v field/algebraics_fundamentals.v field/algnum.v field/all_field.v field/closed_field.v field/cyclotomic.v field/falgebra.v field/fieldext.v field/finfield.v field/galois.v field/separable.v fingroup/action.v fingroup/all_fingroup.v fingroup/automorphism.v fingroup/fingroup.v fingroup/gproduct.v fingroup/morphism.v fingroup/perm.v fingroup/presentation.v fingroup/quotient.v solvable/abelian.v solvable/all_solvable.v solvable/alt.v solvable/burnside_app.v solvable/center.v solvable/commutator.v solvable/cyclic.v solvable/extraspecial.v solvable/extremal.v solvable/finmodule.v solvable/frobenius.v solvable/gfunctor.v solvable/gseries.v solvable/hall.v solvable/jordanholder.v solvable/maximal.v solvable/nilpotent.v solvable/pgroup.v solvable/primitive_action.v solvable/sylow.v ssreflect/all_ssreflect.v ssreflect/bigop.v ssreflect/binomial.v ssreflect/choice.v ssreflect/div.v ssreflect/eqtype.v ssreflect/finfun.v ssreflect/fingraph.v ssreflect/finset.v ssreflect/fintype.v ssreflect/generic_quotient.v ssreflect/order.v ssreflect/path.v ssreflect/prime.v ssreflect/seq.v ssreflect/ssrAC.v ssreflect/ssrbool.v ssreflect/ssreflect.v ssreflect/ssrfun.v ssreflect/ssrnat.v ssreflect/ssrnotations.v ssreflect/ssrmatching.v ssreflect/tuple.v
cd _build_doc && /usr/bin/make -f Makefile.coq --no-print-directory
COQDEP VFILES
COQC ssreflect/ssreflect.v
COQC ssreflect/ssrnotations.v
COQC ssreflect/ssrfun.v
COQC ssreflect/ssrbool.v
COQC ssreflect/eqtype.v
COQC ssreflect/ssrnat.v
COQC ssreflect/seq.v
COQC ssreflect/div.v
COQC ssreflect/choice.v
COQC ssreflect/path.v
COQC ssreflect/fintype.v
COQC ssreflect/tuple.v
COQC ssreflect/finfun.v
COQC ssreflect/bigop.v
COQC ssreflect/prime.v
COQC ssreflect/finset.v
COQC ssreflect/binomial.v
COQC algebra/ssralg.v
COQC ssreflect/ssrAC.v
COQC ssreflect/order.v
COQC fingroup/fingroup.v
COQC ssreflect/generic_quotient.v
COQC algebra/ring_quotient.v
COQC algebra/countalg.v
COQC algebra/poly.v
COQC algebra/ssrnum.v
COQC fingroup/morphism.v
COQC fingroup/perm.v
COQC fingroup/automorphism.v
COQC fingroup/quotient.v
COQC fingroup/action.v
COQC algebra/finalg.v
COQC algebra/polydiv.v
COQC algebra/zmodp.v
COQC algebra/matrix.v
COQC algebra/mxalgebra.v
COQC algebra/mxpoly.v
COQC algebra/polyXY.v
COQC algebra/ssrint.v
COQC algebra/rat.v
COQC algebra/vector.v
COQC algebra/intdiv.v
COQC algebra/interval.v
COQC algebra/fraction.v
COQC algebra/all_algebra.v
COQC ssreflect/fingraph.v
COQC ssreflect/all_ssreflect.v
COQC field/closed_field.v
COQC fingroup/gproduct.v
COQC solvable/cyclic.v
COQC solvable/gfunctor.v
COQC solvable/pgroup.v
COQC solvable/commutator.v
COQC solvable/center.v
COQC solvable/gseries.v
COQC solvable/nilpotent.v
COQC solvable/sylow.v
COQC field/falgebra.v
COQC field/fieldext.v
COQC field/separable.v
COQC field/galois.v
COQC field/algebraics_fundamentals.v
COQC field/algC.v
COQC field/cyclotomic.v
COQC field/algnum.v
COQC solvable/abelian.v
COQC field/finfield.v
COQC field/all_field.v
COQC character/mxrepresentation.v
COQC character/classfun.v
COQC character/character.v
COQC solvable/finmodule.v
COQC solvable/maximal.v
COQC solvable/hall.v
COQC solvable/frobenius.v
COQC character/inertia.v
COQC character/integral_char.v
COQC character/mxabelem.v
COQC character/vcharacter.v
COQC character/all_character.v
COQC fingroup/presentation.v
COQC fingroup/all_fingroup.v
COQC solvable/primitive_action.v
COQC solvable/alt.v
COQC solvable/burnside_app.v
COQC solvable/extremal.v
COQC solvable/extraspecial.v
COQC solvable/jordanholder.v
COQC solvable/all_solvable.v
COQC all/all.v
COQC ssreflect/ssrmatching.v
cd _build_doc && if [ ! -f .Makefile.coq.d ] ; then cp .coqdeps.d .Makefile.coq.d ; fi #can be removed when coq-8.10 compatibility is dropped
cd _build_doc && grep -v vio: .Makefile.coq.d > depend
cd _build_doc && cat depend | ../../etc/buildlibgraph algebra/all_algebra.v algebra/finalg.v algebra/countalg.v algebra/fraction.v algebra/intdiv.v algebra/interval.v algebra/matrix.v algebra/mxalgebra.v algebra/mxpoly.v algebra/polydiv.v algebra/poly.v algebra/polyXY.v algebra/rat.v algebra/ring_quotient.v algebra/ssralg.v algebra/ssrint.v algebra/ssrnum.v algebra/vector.v algebra/zmodp.v all/all.v character/all_character.v character/character.v character/classfun.v character/inertia.v character/integral_char.v character/mxabelem.v character/mxrepresentation.v character/vcharacter.v field/algC.v field/algebraics_fundamentals.v field/algnum.v field/all_field.v field/closed_field.v field/cyclotomic.v field/falgebra.v field/fieldext.v field/finfield.v field/galois.v field/separable.v fingroup/action.v fingroup/all_fingroup.v fingroup/automorphism.v fingroup/fingroup.v fingroup/gproduct.v fingroup/morphism.v fingroup/perm.v fingroup/presentation.v fingroup/quotient.v solvable/abelian.v solvable/all_solvable.v solvable/alt.v solvable/burnside_app.v solvable/center.v solvable/commutator.v solvable/cyclic.v solvable/extraspecial.v solvable/extremal.v solvable/finmodule.v solvable/frobenius.v solvable/gfunctor.v solvable/gseries.v solvable/hall.v solvable/jordanholder.v solvable/maximal.v solvable/nilpotent.v solvable/pgroup.v solvable/primitive_action.v solvable/sylow.v ssreflect/all_ssreflect.v ssreflect/bigop.v ssreflect/binomial.v ssreflect/choice.v ssreflect/div.v ssreflect/eqtype.v ssreflect/finfun.v ssreflect/fingraph.v ssreflect/finset.v ssreflect/fintype.v ssreflect/generic_quotient.v ssreflect/order.v ssreflect/path.v ssreflect/prime.v ssreflect/seq.v ssreflect/ssrAC.v ssreflect/ssrbool.v ssreflect/ssreflect.v ssreflect/ssrfun.v ssreflect/ssrnat.v ssreflect/ssrnotations.v ssreflect/ssrmatching.v ssreflect/tuple.v > htmldoc/depend.js
cd _build_doc && /usr/bin/coqdoc -t "Mathematical Components" \
-g --utf8 -R . mathcomp \
--parse-comments \
--multi-index algebra/all_algebra.v algebra/finalg.v algebra/countalg.v algebra/fraction.v algebra/intdiv.v algebra/interval.v algebra/matrix.v algebra/mxalgebra.v algebra/mxpoly.v algebra/polydiv.v algebra/poly.v algebra/polyXY.v algebra/rat.v algebra/ring_quotient.v algebra/ssralg.v algebra/ssrint.v algebra/ssrnum.v algebra/vector.v algebra/zmodp.v all/all.v character/all_character.v character/character.v character/classfun.v character/inertia.v character/integral_char.v character/mxabelem.v character/mxrepresentation.v character/vcharacter.v field/algC.v field/algebraics_fundamentals.v field/algnum.v field/all_field.v field/closed_field.v field/cyclotomic.v field/falgebra.v field/fieldext.v field/finfield.v field/galois.v field/separable.v fingroup/action.v fingroup/all_fingroup.v fingroup/automorphism.v fingroup/fingroup.v fingroup/gproduct.v fingroup/morphism.v fingroup/perm.v fingroup/presentation.v fingroup/quotient.v solvable/abelian.v solvable/all_solvable.v solvable/alt.v solvable/burnside_app.v solvable/center.v solvable/commutator.v solvable/cyclic.v solvable/extraspecial.v solvable/extremal.v solvable/finmodule.v solvable/frobenius.v solvable/gfunctor.v solvable/gseries.v solvable/hall.v solvable/jordanholder.v solvable/maximal.v solvable/nilpotent.v solvable/pgroup.v solvable/primitive_action.v solvable/sylow.v ssreflect/all_ssreflect.v ssreflect/bigop.v ssreflect/binomial.v ssreflect/choice.v ssreflect/div.v ssreflect/eqtype.v ssreflect/finfun.v ssreflect/fingraph.v ssreflect/finset.v ssreflect/fintype.v ssreflect/generic_quotient.v ssreflect/order.v ssreflect/path.v ssreflect/prime.v ssreflect/seq.v ssreflect/ssrAC.v ssreflect/ssrbool.v ssreflect/ssreflect.v ssreflect/ssrfun.v ssreflect/ssrnat.v ssreflect/ssrnotations.v ssreflect/ssrmatching.v ssreflect/tuple.v -d htmldoc
cp ../etc/artwork/coqdoc.css _build_doc/htmldoc
make[2]: Leaving directory '/build/ssreflect-1.12.0/mathcomp'
make[1]: Leaving directory '/build/ssreflect-1.12.0'
create-stamp debian/debhelper-build-stamp
dh_prep
debian/rules override_dh_auto_install
make[1]: Entering directory '/build/ssreflect-1.12.0'
/usr/bin/make -C mathcomp install DSTROOT=/build/ssreflect-1.12.0/debian/tmp
make[2]: Entering directory '/build/ssreflect-1.12.0/mathcomp'
/usr/bin/coq_makefile -f Make -o Makefile.coq
/usr/bin/make -f Makefile.coq --no-print-directory install
make[3]: /usr/lib/coq: Permission denied
make[3]: /usr/lib/coq: Permission denied
make[3]: /usr/lib/coq: Permission denied
make[3]: /usr/lib/coq: Permission denied
make[3]: /usr/lib/coq: Permission denied
make[3]: /usr/lib/coq: Permission denied
INSTALL algebra/all_algebra.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/finalg.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/countalg.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/fraction.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/intdiv.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/interval.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/matrix.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxalgebra.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxpoly.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polydiv.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/poly.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polyXY.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/rat.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ring_quotient.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssralg.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrint.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrnum.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/vector.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/zmodp.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL all/all.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//all
INSTALL character/all_character.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/character.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/classfun.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/inertia.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/integral_char.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/mxabelem.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/mxrepresentation.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/vcharacter.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL field/algC.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/algebraics_fundamentals.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/algnum.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/all_field.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/closed_field.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/cyclotomic.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/falgebra.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/fieldext.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/finfield.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/galois.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/separable.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL fingroup/action.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/all_fingroup.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/automorphism.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/fingroup.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/gproduct.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/morphism.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/perm.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/presentation.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/quotient.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL solvable/abelian.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/all_solvable.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/alt.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/burnside_app.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/center.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/commutator.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/cyclic.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extraspecial.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extremal.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/finmodule.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/frobenius.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gfunctor.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gseries.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/hall.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/jordanholder.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/maximal.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/nilpotent.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/pgroup.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/primitive_action.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/sylow.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL ssreflect/all_ssreflect.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/bigop.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/binomial.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/choice.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/div.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/eqtype.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finfun.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fingraph.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finset.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fintype.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/generic_quotient.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/order.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/path.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/prime.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/seq.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrAC.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrbool.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssreflect.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrfun.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnat.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnotations.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrmatching.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/tuple.vo /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL algebra/all_algebra.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/finalg.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/countalg.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/fraction.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/intdiv.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/interval.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/matrix.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxalgebra.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxpoly.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polydiv.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/poly.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polyXY.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/rat.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ring_quotient.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssralg.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrint.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrnum.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/vector.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/zmodp.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL all/all.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//all
INSTALL character/all_character.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/character.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/classfun.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/inertia.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/integral_char.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/mxabelem.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/mxrepresentation.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/vcharacter.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL field/algC.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/algebraics_fundamentals.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/algnum.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/all_field.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/closed_field.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/cyclotomic.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/falgebra.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/fieldext.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/finfield.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/galois.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/separable.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL fingroup/action.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/all_fingroup.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/automorphism.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/fingroup.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/gproduct.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/morphism.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/perm.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/presentation.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/quotient.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL solvable/abelian.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/all_solvable.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/alt.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/burnside_app.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/center.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/commutator.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/cyclic.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extraspecial.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extremal.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/finmodule.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/frobenius.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gfunctor.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gseries.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/hall.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/jordanholder.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/maximal.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/nilpotent.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/pgroup.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/primitive_action.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/sylow.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL ssreflect/all_ssreflect.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/bigop.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/binomial.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/choice.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/div.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/eqtype.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finfun.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fingraph.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finset.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fintype.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/generic_quotient.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/order.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/path.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/prime.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/seq.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrAC.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrbool.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssreflect.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrfun.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnat.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnotations.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrmatching.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/tuple.v /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL algebra/all_algebra.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/finalg.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/countalg.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/fraction.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/intdiv.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/interval.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/matrix.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxalgebra.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxpoly.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polydiv.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/poly.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polyXY.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/rat.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ring_quotient.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssralg.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrint.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrnum.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/vector.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/zmodp.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL all/all.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//all
INSTALL character/all_character.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/character.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/classfun.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/inertia.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/integral_char.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/mxabelem.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/mxrepresentation.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/vcharacter.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL field/algC.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/algebraics_fundamentals.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/algnum.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/all_field.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/closed_field.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/cyclotomic.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/falgebra.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/fieldext.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/finfield.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/galois.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/separable.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL fingroup/action.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/all_fingroup.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/automorphism.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/fingroup.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/gproduct.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/morphism.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/perm.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/presentation.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/quotient.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL solvable/abelian.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/all_solvable.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/alt.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/burnside_app.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/center.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/commutator.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/cyclic.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extraspecial.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extremal.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/finmodule.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/frobenius.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gfunctor.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gseries.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/hall.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/jordanholder.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/maximal.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/nilpotent.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/pgroup.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/primitive_action.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/sylow.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL ssreflect/all_ssreflect.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/bigop.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/binomial.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/choice.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/div.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/eqtype.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finfun.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fingraph.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finset.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fintype.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/generic_quotient.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/order.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/path.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/prime.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/seq.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrAC.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrbool.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssreflect.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrfun.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnat.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnotations.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrmatching.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/tuple.glob /build/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
make[2]: Leaving directory '/build/ssreflect-1.12.0/mathcomp'
make[1]: Leaving directory '/build/ssreflect-1.12.0'
dh_install
dh_installdocs
dh_installchangelogs
dh_installexamples
dh_lintian
dh_perl
dh_link
dh_strip_nondeterminism
dh_compress
dh_fixperms
dh_missing
dh_installdeb
debian/rules override_dh_gencontrol
make[1]: Entering directory '/build/ssreflect-1.12.0'
dh_gencontrol -- -VF:CoqABI="8.12.0+4.11.1"
make[1]: Leaving directory '/build/ssreflect-1.12.0'
dh_md5sums
dh_builddeb
dpkg-deb: building package 'libssreflect-coq' in '../libssreflect-coq_1.12.0-1_all.deb'.
dpkg-genbuildinfo --build=binary
dpkg-genchanges --build=binary >../ssreflect_1.12.0-1_i386.changes
dpkg-genchanges: info: binary-only upload (no source code included)
dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
I: copying local configuration
I: user script /srv/workspace/pbuilder/26611/tmp/hooks/B01_cleanup starting
I: user script /srv/workspace/pbuilder/26611/tmp/hooks/B01_cleanup finished
I: unmounting dev/ptmx filesystem
I: unmounting dev/pts filesystem
I: unmounting dev/shm filesystem
I: unmounting proc filesystem
I: unmounting sys filesystem
I: cleaning the build env
I: removing directory /srv/workspace/pbuilder/26611 and its subdirectories
I: Current time: Thu Jul 22 04:34:09 +14 2021
I: pbuilder-time-stamp: 1626878049