Sat Jul 29 23:43:51 UTC 2023 I: starting to build ssreflect/bullseye/amd64 on jenkins on '2023-07-29 23:43' Sat Jul 29 23:43:51 UTC 2023 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/amd64_14/4281/console.log Sat Jul 29 23:43:51 UTC 2023 I: Downloading source for bullseye/ssreflect=1.12.0-1 --2023-07-29 23:43:52-- http://cdn-fastly.deb.debian.org/debian/pool/main/s/ssreflect/ssreflect_1.12.0-1.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2094 (2.0K) [text/prs.lines.tag] Saving to: ‘ssreflect_1.12.0-1.dsc’ 0K .. 100% 805K=0.003s 2023-07-29 23:43:52 (805 KB/s) - ‘ssreflect_1.12.0-1.dsc’ saved [2094/2094] Sat Jul 29 23:43:52 UTC 2023 I: ssreflect_1.12.0-1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: ssreflect Binary: libssreflect-coq Architecture: all Version: 1.12.0-1 Maintainer: Debian OCaml Maintainers Uploaders: Stéphane Glondu , Enrico Tassi , Ralf Treinen Homepage: https://math-comp.github.io/math-comp/ Standards-Version: 4.5.1 Vcs-Browser: https://salsa.debian.org/ocaml-team/ssreflect Vcs-Git: https://salsa.debian.org/ocaml-team/ssreflect.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: debhelper-compat (= 13), coq (>= 8.7), lua5.1 Package-List: libssreflect-coq deb math optional arch=all Checksums-Sha1: 22b4483bc8b36a8226ceb9403263daf983a47795 1318853 ssreflect_1.12.0.orig.tar.gz ebabea25aed07d2c1cc1bccac894ae6cc7198e2f 12792 ssreflect_1.12.0-1.debian.tar.xz Checksums-Sha256: a57b79a280e7e8527bf0d8710c1f65cde00032746b52b87be1ab12e6213c9783 1318853 ssreflect_1.12.0.orig.tar.gz c8141b3be4f18418b83e4d06e60d2e16982238373afdcea1ff6d1645917def30 12792 ssreflect_1.12.0-1.debian.tar.xz Files: a6afdeff50a50117baf9a35dd5601afe 1318853 ssreflect_1.12.0.orig.tar.gz e39a30f7bd2849e299a1c47a0c1517ed 12792 ssreflect_1.12.0-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl/8CR8ACgkQdFxHZtTK zf9S9xAAsvpjjryqwlD0jY+czloj3z3mUflgmNMgl3LORCjkQsNbdUS1jq5stgGi f/540hTLWmbny7VPxzabVtxnETNOdIn+GQ0Z9ZsUtT5L2AFvPJfgkeDrdPMJ8mQA MLYNi7stNACpDHoydfP+sRUL0XOHvveSpaqclPSKiRdxGREKaC536KaChUnRvOFw a+wIe8q1AL6KirGoMd8tyJr4Vg98QuH0n73SRcHgs3qJQ+CJZns3aMrjTMOY+Bru nuLoz8P0vPpLV81PzzkzS53WsuZ3myXy6KbmN5MHKy+41D3l1BPCHADLRJoA9YqI j1RdC5O2VdtEotxUSYJ9MeLuDj1mFePgmEJa92vLmlYVVa2JWoWZc3bnhgmblTB1 YGfq334lO1yBR7ccMxA2pHUPJW8M/nbS7NWDhiH3sT70ZohoiU9VA72LeN5qqxfk 0lLWel50wT1as5qHmTRzEI8+jtyENUnyVx+wiVV0TGjVsQVL5chaNsUTBJMoIVm3 o0VvGbrUMSIbDZ8v3+fbmo07Qx+8SLlRW/rBzw9JDsPxDoMzL8OSa7fwIIZkmHs+ LCPIt9X3S6Iv5FfUC6aDYmTEm4ZPDenEdMVa3HDJiN8W+WNCKbPUHrxh1E+VVQP5 LsX9z9PRbge7PQXkonvai2h1bSmgQ0iXI46X331N0PIXYn+D8PM= =h0vK -----END PGP SIGNATURE----- Sat Jul 29 23:43:52 UTC 2023 I: Checking whether the package is not for us Sat Jul 29 23:43:52 UTC 2023 I: Starting 1st build on remote node ionos5-amd64.debian.net. Sat Jul 29 23:43:52 UTC 2023 I: Preparing to do remote build '1' on ionos5-amd64.debian.net. Sun Jul 30 00:58:00 UTC 2023 I: Deleting $TMPDIR on ionos5-amd64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Fri Aug 30 18:06:56 -12 2024 I: pbuilder-time-stamp: 1725084416 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. 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: 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.xDYpC4Ge/trustedkeys.kbx': General error gpgv: Signature made Sun Jan 10 20:15:27 2021 -12 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/2548768/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='amd64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=16 ' DISTRIBUTION='bullseye' HOME='/root' HOST_ARCH='amd64' IFS=' ' INVOCATION_ID='2e6212dac5bd4de8987bcb0d05467be4' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='2548768' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.t9vpDsSJ/pbuilderrc_twGL --distribution bullseye --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.t9vpDsSJ/b1 --logfile b1/build.log ssreflect_1.12.0-1.dsc' SUDO_GID='110' SUDO_UID='105' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://85.184.249.68:3128' I: uname -a Linux ionos5-amd64 6.1.0-10-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.38-1 (2023-07-14) x86_64 GNU/Linux I: ls -l /bin total 5476 -rwxr-xr-x 1 root root 1234376 Mar 27 2022 bash -rwxr-xr-x 3 root root 38984 Jul 20 2020 bunzip2 -rwxr-xr-x 3 root root 38984 Jul 20 2020 bzcat lrwxrwxrwx 1 root root 6 Jul 20 2020 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2225 Jul 20 2020 bzdiff lrwxrwxrwx 1 root root 6 Jul 20 2020 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4877 Sep 4 2019 bzexe lrwxrwxrwx 1 root root 6 Jul 20 2020 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3775 Jul 20 2020 bzgrep -rwxr-xr-x 3 root root 38984 Jul 20 2020 bzip2 -rwxr-xr-x 1 root root 18424 Jul 20 2020 bzip2recover lrwxrwxrwx 1 root root 6 Jul 20 2020 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Jul 20 2020 bzmore -rwxr-xr-x 1 root root 43936 Sep 23 2020 cat -rwxr-xr-x 1 root root 72672 Sep 23 2020 chgrp -rwxr-xr-x 1 root root 64448 Sep 23 2020 chmod -rwxr-xr-x 1 root root 72672 Sep 23 2020 chown -rwxr-xr-x 1 root root 151168 Sep 23 2020 cp -rwxr-xr-x 1 root root 125560 Dec 10 2020 dash -rwxr-xr-x 1 root root 113664 Sep 23 2020 date -rwxr-xr-x 1 root root 80968 Sep 23 2020 dd -rwxr-xr-x 1 root root 93936 Sep 23 2020 df -rwxr-xr-x 1 root root 147176 Sep 23 2020 dir -rwxr-xr-x 1 root root 84440 Jan 20 2022 dmesg lrwxrwxrwx 1 root root 8 Nov 6 2019 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Nov 6 2019 domainname -> hostname -rwxr-xr-x 1 root root 39712 Sep 23 2020 echo -rwxr-xr-x 1 root root 28 Jan 24 2023 egrep -rwxr-xr-x 1 root root 39680 Sep 23 2020 false -rwxr-xr-x 1 root root 28 Jan 24 2023 fgrep -rwxr-xr-x 1 root root 69032 Jan 20 2022 findmnt -rwsr-xr-x 1 root root 34896 Feb 26 2021 fusermount -rwxr-xr-x 1 root root 203072 Jan 24 2023 grep -rwxr-xr-x 2 root root 2346 Apr 9 2022 gunzip -rwxr-xr-x 1 root root 6447 Apr 9 2022 gzexe -rwxr-xr-x 1 root root 98048 Apr 9 2022 gzip -rwxr-xr-x 1 root root 22600 Nov 6 2019 hostname -rwxr-xr-x 1 root root 72840 Sep 23 2020 ln -rwxr-xr-x 1 root root 56952 Feb 7 2020 login -rwxr-xr-x 1 root root 147176 Sep 23 2020 ls -rwxr-xr-x 1 root root 149736 Jan 20 2022 lsblk -rwxr-xr-x 1 root root 85184 Sep 23 2020 mkdir -rwxr-xr-x 1 root root 76896 Sep 23 2020 mknod -rwxr-xr-x 1 root root 48064 Sep 23 2020 mktemp -rwxr-xr-x 1 root root 59632 Jan 20 2022 more -rwsr-xr-x 1 root root 55528 Jan 20 2022 mount -rwxr-xr-x 1 root root 18664 Jan 20 2022 mountpoint -rwxr-xr-x 1 root root 147080 Sep 23 2020 mv lrwxrwxrwx 1 root root 8 Nov 6 2019 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Dec 16 2021 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 43872 Sep 23 2020 pwd lrwxrwxrwx 1 root root 4 Mar 27 2022 rbash -> bash -rwxr-xr-x 1 root root 52032 Sep 23 2020 readlink -rwxr-xr-x 1 root root 72704 Sep 23 2020 rm -rwxr-xr-x 1 root root 52032 Sep 23 2020 rmdir -rwxr-xr-x 1 root root 27472 Sep 27 2020 run-parts -rwxr-xr-x 1 root root 122224 Dec 22 2018 sed lrwxrwxrwx 1 root root 4 Aug 8 03:47 sh -> dash -rwxr-xr-x 1 root root 43808 Sep 23 2020 sleep -rwxr-xr-x 1 root root 84928 Sep 23 2020 stty -rwsr-xr-x 1 root root 71912 Jan 20 2022 su -rwxr-xr-x 1 root root 39744 Sep 23 2020 sync -rwxr-xr-x 1 root root 531928 Feb 16 2021 tar -rwxr-xr-x 1 root root 14456 Sep 27 2020 tempfile -rwxr-xr-x 1 root root 101408 Sep 23 2020 touch -rwxr-xr-x 1 root root 39680 Sep 23 2020 true -rwxr-xr-x 1 root root 14328 Feb 26 2021 ulockmgr_server -rwsr-xr-x 1 root root 35040 Jan 20 2022 umount -rwxr-xr-x 1 root root 39744 Sep 23 2020 uname -rwxr-xr-x 2 root root 2346 Apr 9 2022 uncompress -rwxr-xr-x 1 root root 147176 Sep 23 2020 vdir -rwxr-xr-x 1 root root 63744 Jan 20 2022 wdctl lrwxrwxrwx 1 root root 8 Nov 6 2019 ypdomainname -> hostname -rwxr-xr-x 1 root root 1984 Apr 9 2022 zcat -rwxr-xr-x 1 root root 1678 Apr 9 2022 zcmp -rwxr-xr-x 1 root root 5898 Apr 9 2022 zdiff -rwxr-xr-x 1 root root 29 Apr 9 2022 zegrep -rwxr-xr-x 1 root root 29 Apr 9 2022 zfgrep -rwxr-xr-x 1 root root 2081 Apr 9 2022 zforce -rwxr-xr-x 1 root root 8049 Apr 9 2022 zgrep -rwxr-xr-x 1 root root 2206 Apr 9 2022 zless -rwxr-xr-x 1 root root 1842 Apr 9 2022 zmore -rwxr-xr-x 1 root root 4577 Apr 9 2022 znew I: user script /srv/workspace/pbuilder/2548768/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: amd64 Maintainer: Debian Pbuilder Team 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 ... 19707 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} ucf{a} xkb-data{a} The following packages are RECOMMENDED but will NOT be installed: at-spi2-core ca-certificates chrony 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 ntp ntpsec ocaml-man openntpd publicsuffix rlfe rlwrap systemd-timesyncd wget xdg-user-dirs 0 packages upgraded, 161 newly installed, 0 to remove and 0 not upgraded. Need to get 308 MB of archives. After unpacking 1396 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian bullseye/main amd64 libapparmor1 amd64 2.13.6-10 [99.3 kB] Get: 2 http://deb.debian.org/debian bullseye/main amd64 libcap2 amd64 1:2.44-1 [23.6 kB] Get: 3 http://deb.debian.org/debian bullseye/main amd64 libargon2-1 amd64 0~20171227-0.2 [19.6 kB] Get: 4 http://deb.debian.org/debian bullseye/main amd64 dmsetup amd64 2:1.02.175-2.1 [92.1 kB] Get: 5 http://deb.debian.org/debian bullseye/main amd64 libdevmapper1.02.1 amd64 2:1.02.175-2.1 [143 kB] Get: 6 http://deb.debian.org/debian bullseye/main amd64 libjson-c5 amd64 0.15-2 [42.8 kB] Get: 7 http://deb.debian.org/debian bullseye/main amd64 libcryptsetup12 amd64 2:2.3.7-1+deb11u1 [248 kB] Get: 8 http://deb.debian.org/debian bullseye/main amd64 libip4tc2 amd64 1.8.7-1 [34.6 kB] Get: 9 http://deb.debian.org/debian bullseye/main amd64 libkmod2 amd64 28-1 [55.6 kB] Get: 10 http://deb.debian.org/debian bullseye/main amd64 systemd amd64 247.3-7+deb11u2 [4501 kB] Get: 11 http://deb.debian.org/debian bullseye/main amd64 systemd-sysv amd64 247.3-7+deb11u2 [113 kB] Get: 12 http://deb.debian.org/debian bullseye/main amd64 libdbus-1-3 amd64 1.12.24-0+deb11u1 [222 kB] Get: 13 http://deb.debian.org/debian bullseye/main amd64 libexpat1 amd64 2.2.10-2+deb11u5 [98.2 kB] Get: 14 http://deb.debian.org/debian bullseye/main amd64 dbus amd64 1.12.24-0+deb11u1 [243 kB] Get: 15 http://deb.debian.org/debian bullseye/main amd64 bsdextrautils amd64 2.36.1-8+deb11u1 [145 kB] Get: 16 http://deb.debian.org/debian bullseye/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB] Get: 17 http://deb.debian.org/debian bullseye/main amd64 groff-base amd64 1.22.4-6 [936 kB] Get: 18 http://deb.debian.org/debian bullseye/main amd64 libpipeline1 amd64 1.5.3-1 [34.3 kB] Get: 19 http://deb.debian.org/debian bullseye/main amd64 man-db amd64 2.9.4-2 [1354 kB] Get: 20 http://deb.debian.org/debian bullseye/main amd64 libpython3.9-minimal amd64 3.9.2-1 [801 kB] Get: 21 http://deb.debian.org/debian bullseye/main amd64 python3.9-minimal amd64 3.9.2-1 [1955 kB] Get: 22 http://deb.debian.org/debian bullseye/main amd64 python3-minimal amd64 3.9.2-3 [38.2 kB] Get: 23 http://deb.debian.org/debian bullseye/main amd64 media-types all 4.0.0 [30.3 kB] Get: 24 http://deb.debian.org/debian bullseye/main amd64 libmpdec3 amd64 2.5.1-1 [87.7 kB] Get: 25 http://deb.debian.org/debian bullseye/main amd64 readline-common all 8.1-1 [73.7 kB] Get: 26 http://deb.debian.org/debian bullseye/main amd64 libreadline8 amd64 8.1-1 [169 kB] Get: 27 http://deb.debian.org/debian bullseye/main amd64 libpython3.9-stdlib amd64 3.9.2-1 [1684 kB] Get: 28 http://deb.debian.org/debian bullseye/main amd64 python3.9 amd64 3.9.2-1 [466 kB] Get: 29 http://deb.debian.org/debian bullseye/main amd64 libpython3-stdlib amd64 3.9.2-3 [21.4 kB] Get: 30 http://deb.debian.org/debian bullseye/main amd64 python3 amd64 3.9.2-3 [37.9 kB] Get: 31 http://deb.debian.org/debian bullseye/main amd64 sensible-utils all 0.0.14 [14.8 kB] Get: 32 http://deb.debian.org/debian bullseye/main amd64 libmagic-mgc amd64 1:5.39-3 [273 kB] Get: 33 http://deb.debian.org/debian bullseye/main amd64 libmagic1 amd64 1:5.39-3 [126 kB] Get: 34 http://deb.debian.org/debian bullseye/main amd64 file amd64 1:5.39-3 [69.1 kB] Get: 35 http://deb.debian.org/debian bullseye/main amd64 gettext-base amd64 0.21-4 [175 kB] Get: 36 http://deb.debian.org/debian bullseye/main amd64 libpam-systemd amd64 247.3-7+deb11u2 [283 kB] Get: 37 http://deb.debian.org/debian bullseye/main amd64 ucf all 3.0043 [74.0 kB] Get: 38 http://deb.debian.org/debian bullseye/main amd64 hicolor-icon-theme all 0.17-2 [11.4 kB] Get: 39 http://deb.debian.org/debian bullseye/main amd64 libgdk-pixbuf2.0-common all 2.42.2+dfsg-1+deb11u1 [320 kB] Get: 40 http://deb.debian.org/debian bullseye/main amd64 libglib2.0-0 amd64 2.66.8-1 [1370 kB] Get: 41 http://deb.debian.org/debian bullseye/main amd64 libicu67 amd64 67.1-7 [8622 kB] Get: 42 http://deb.debian.org/debian bullseye/main amd64 libxml2 amd64 2.9.10+dfsg-6.7+deb11u4 [693 kB] Get: 43 http://deb.debian.org/debian bullseye/main amd64 shared-mime-info amd64 2.0-1 [701 kB] Get: 44 http://deb.debian.org/debian bullseye/main amd64 libjpeg62-turbo amd64 1:2.0.6-4 [151 kB] Get: 45 http://deb.debian.org/debian bullseye/main amd64 libpng16-16 amd64 1.6.37-3 [294 kB] Get: 46 http://deb.debian.org/debian bullseye/main amd64 libdeflate0 amd64 1.7-1 [53.1 kB] Get: 47 http://deb.debian.org/debian bullseye/main amd64 libjbig0 amd64 2.1-3.1+b2 [31.0 kB] Get: 48 http://deb.debian.org/debian bullseye/main amd64 libwebp6 amd64 0.6.1-2.1 [258 kB] Get: 49 http://deb.debian.org/debian bullseye/main amd64 libtiff5 amd64 4.2.0-1+deb11u4 [290 kB] Get: 50 http://deb.debian.org/debian bullseye/main amd64 libgdk-pixbuf-2.0-0 amd64 2.42.2+dfsg-1+deb11u1 [147 kB] Get: 51 http://deb.debian.org/debian bullseye/main amd64 gtk-update-icon-cache amd64 3.24.24-4+deb11u3 [88.4 kB] Get: 52 http://deb.debian.org/debian bullseye/main amd64 adwaita-icon-theme all 3.38.0-1 [10.9 MB] Get: 53 http://deb.debian.org/debian bullseye/main amd64 libsigsegv2 amd64 2.13-1 [34.8 kB] Get: 54 http://deb.debian.org/debian bullseye/main amd64 m4 amd64 1.4.18-5 [204 kB] Get: 55 http://deb.debian.org/debian bullseye/main amd64 autoconf all 2.69-14 [313 kB] Get: 56 http://deb.debian.org/debian bullseye/main amd64 autotools-dev all 20180224.1+nmu1 [77.1 kB] Get: 57 http://deb.debian.org/debian bullseye/main amd64 automake all 1:1.16.3-2 [814 kB] Get: 58 http://deb.debian.org/debian bullseye/main amd64 autopoint all 0.21-4 [510 kB] Get: 59 http://deb.debian.org/debian bullseye/main amd64 coq-theories amd64 8.12.0-3+b3 [36.5 MB] Get: 60 http://deb.debian.org/debian bullseye/main amd64 ocaml-base-nox amd64 4.11.1-4 [707 kB] Get: 61 http://deb.debian.org/debian bullseye/main amd64 libbrotli1 amd64 1.0.9-2+b2 [279 kB] Get: 62 http://deb.debian.org/debian bullseye/main amd64 libfreetype6 amd64 2.10.4+dfsg-1+deb11u1 [418 kB] Get: 63 http://deb.debian.org/debian bullseye/main amd64 fonts-dejavu-core all 2.37-2 [1069 kB] Get: 64 http://deb.debian.org/debian bullseye/main amd64 fontconfig-config all 2.13.1-4.2 [281 kB] Get: 65 http://deb.debian.org/debian bullseye/main amd64 libfontconfig1 amd64 2.13.1-4.2 [347 kB] Get: 66 http://deb.debian.org/debian bullseye/main amd64 libpixman-1-0 amd64 0.40.0-1.1~deb11u1 [543 kB] Get: 67 http://deb.debian.org/debian bullseye/main amd64 libxau6 amd64 1:1.0.9-1 [19.7 kB] Get: 68 http://deb.debian.org/debian bullseye/main amd64 libmd0 amd64 1.0.3-3 [28.0 kB] Get: 69 http://deb.debian.org/debian bullseye/main amd64 libbsd0 amd64 0.11.3-1 [108 kB] Get: 70 http://deb.debian.org/debian bullseye/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get: 71 http://deb.debian.org/debian bullseye/main amd64 libxcb1 amd64 1.14-3 [140 kB] Get: 72 http://deb.debian.org/debian bullseye/main amd64 libx11-data all 2:1.7.2-1 [311 kB] Get: 73 http://deb.debian.org/debian bullseye/main amd64 libx11-6 amd64 2:1.7.2-1 [772 kB] Get: 74 http://deb.debian.org/debian bullseye/main amd64 libxcb-render0 amd64 1.14-3 [111 kB] Get: 75 http://deb.debian.org/debian bullseye/main amd64 libxcb-shm0 amd64 1.14-3 [101 kB] Get: 76 http://deb.debian.org/debian bullseye/main amd64 libxext6 amd64 2:1.3.3-1.1 [52.7 kB] Get: 77 http://deb.debian.org/debian bullseye/main amd64 libxrender1 amd64 1:0.9.10-1 [33.0 kB] Get: 78 http://deb.debian.org/debian bullseye/main amd64 libcairo2 amd64 1.16.0-5 [694 kB] Get: 79 http://deb.debian.org/debian bullseye/main amd64 libcairo2-ocaml amd64 0.6.2+dfsg-1 [23.8 kB] Get: 80 http://deb.debian.org/debian bullseye/main amd64 libgdk-pixbuf-xlib-2.0-0 amd64 2.40.2-2 [47.9 kB] Get: 81 http://deb.debian.org/debian bullseye/main amd64 libgdk-pixbuf2.0-0 amd64 2.40.2-2 [14.1 kB] Get: 82 http://deb.debian.org/debian bullseye/main amd64 libatk1.0-data all 2.36.0-2 [149 kB] Get: 83 http://deb.debian.org/debian bullseye/main amd64 libatk1.0-0 amd64 2.36.0-2 [52.2 kB] Get: 84 http://deb.debian.org/debian bullseye/main amd64 libatspi2.0-0 amd64 2.38.0-4+deb11u1 [72.4 kB] Get: 85 http://deb.debian.org/debian bullseye/main amd64 libatk-bridge2.0-0 amd64 2.38.0-1 [64.6 kB] Get: 86 http://deb.debian.org/debian bullseye/main amd64 libcairo-gobject2 amd64 1.16.0-5 [125 kB] Get: 87 http://deb.debian.org/debian bullseye/main amd64 liblcms2-2 amd64 2.12~rc1-2 [150 kB] Get: 88 http://deb.debian.org/debian bullseye/main amd64 libcolord2 amd64 1.4.5-3 [144 kB] Get: 89 http://deb.debian.org/debian bullseye/main amd64 libavahi-common-data amd64 0.8-5+deb11u2 [124 kB] Get: 90 http://deb.debian.org/debian bullseye/main amd64 libavahi-common3 amd64 0.8-5+deb11u2 [58.7 kB] Get: 91 http://deb.debian.org/debian bullseye/main amd64 libavahi-client3 amd64 0.8-5+deb11u2 [62.6 kB] Get: 92 http://deb.debian.org/debian bullseye/main amd64 libcups2 amd64 2.3.3op2-3+deb11u2 [350 kB] Get: 93 http://deb.debian.org/debian bullseye/main amd64 libepoxy0 amd64 1.5.5-1 [193 kB] Get: 94 http://deb.debian.org/debian bullseye/main amd64 libfribidi0 amd64 1.0.8-2+deb11u1 [64.9 kB] Get: 95 http://deb.debian.org/debian bullseye/main amd64 libgraphite2-3 amd64 1.3.14-1 [81.2 kB] Get: 96 http://deb.debian.org/debian bullseye/main amd64 libharfbuzz0b amd64 2.7.4-1 [1471 kB] Get: 97 http://deb.debian.org/debian bullseye/main amd64 libjson-glib-1.0-common all 1.6.2-1 [56.9 kB] Get: 98 http://deb.debian.org/debian bullseye/main amd64 libjson-glib-1.0-0 amd64 1.6.2-1 [65.4 kB] Get: 99 http://deb.debian.org/debian bullseye/main amd64 fontconfig amd64 2.13.1-4.2 [417 kB] Get: 100 http://deb.debian.org/debian bullseye/main amd64 libthai-data all 0.1.28-3 [170 kB] Get: 101 http://deb.debian.org/debian bullseye/main amd64 libdatrie1 amd64 0.2.13-1 [42.7 kB] Get: 102 http://deb.debian.org/debian bullseye/main amd64 libthai0 amd64 0.1.28-3 [54.2 kB] Get: 103 http://deb.debian.org/debian bullseye/main amd64 libpango-1.0-0 amd64 1.46.2-3 [191 kB] Get: 104 http://deb.debian.org/debian bullseye/main amd64 libpangoft2-1.0-0 amd64 1.46.2-3 [62.2 kB] Get: 105 http://deb.debian.org/debian bullseye/main amd64 libpangocairo-1.0-0 amd64 1.46.2-3 [50.6 kB] Get: 106 http://deb.debian.org/debian bullseye/main amd64 libproxy1v5 amd64 0.4.17-1 [59.5 kB] Get: 107 http://deb.debian.org/debian bullseye/main amd64 glib-networking-common all 2.66.0-2 [68.1 kB] Get: 108 http://deb.debian.org/debian bullseye/main amd64 glib-networking-services amd64 2.66.0-2 [17.5 kB] Get: 109 http://deb.debian.org/debian bullseye/main amd64 dbus-user-session amd64 1.12.24-0+deb11u1 [99.7 kB] Get: 110 http://deb.debian.org/debian bullseye/main amd64 libdconf1 amd64 0.38.0-2 [43.5 kB] Get: 111 http://deb.debian.org/debian bullseye/main amd64 dconf-service amd64 0.38.0-2 [37.4 kB] Get: 112 http://deb.debian.org/debian bullseye/main amd64 dconf-gsettings-backend amd64 0.38.0-2 [30.6 kB] Get: 113 http://deb.debian.org/debian bullseye/main amd64 gsettings-desktop-schemas all 3.38.0-2 [588 kB] Get: 114 http://deb.debian.org/debian bullseye/main amd64 glib-networking amd64 2.66.0-2 [67.6 kB] Get: 115 http://deb.debian.org/debian bullseye/main amd64 libpsl5 amd64 0.21.0-1.2 [57.3 kB] Get: 116 http://deb.debian.org/debian bullseye/main amd64 libsoup2.4-1 amd64 2.72.0-2 [280 kB] Get: 117 http://deb.debian.org/debian bullseye/main amd64 libsoup-gnome2.4-1 amd64 2.72.0-2 [22.2 kB] Get: 118 http://deb.debian.org/debian bullseye/main amd64 librest-0.7-0 amd64 0.8.1-1.1 [33.8 kB] Get: 119 http://deb.debian.org/debian bullseye/main amd64 libwayland-client0 amd64 1.18.0-2~exp1.1 [26.9 kB] Get: 120 http://deb.debian.org/debian bullseye/main amd64 libwayland-cursor0 amd64 1.18.0-2~exp1.1 [14.6 kB] Get: 121 http://deb.debian.org/debian bullseye/main amd64 libwayland-egl1 amd64 1.18.0-2~exp1.1 [8448 B] Get: 122 http://deb.debian.org/debian bullseye/main amd64 libxcomposite1 amd64 1:0.4.5-1 [16.6 kB] Get: 123 http://deb.debian.org/debian bullseye/main amd64 libxfixes3 amd64 1:5.0.3-2 [22.1 kB] Get: 124 http://deb.debian.org/debian bullseye/main amd64 libxcursor1 amd64 1:1.2.0-2 [37.3 kB] Get: 125 http://deb.debian.org/debian bullseye/main amd64 libxdamage1 amd64 1:1.1.5-2 [15.7 kB] Get: 126 http://deb.debian.org/debian bullseye/main amd64 libxi6 amd64 2:1.7.10-1 [83.4 kB] Get: 127 http://deb.debian.org/debian bullseye/main amd64 libxinerama1 amd64 2:1.1.4-2 [17.7 kB] Get: 128 http://deb.debian.org/debian bullseye/main amd64 xkb-data all 2.29-2 [655 kB] Get: 129 http://deb.debian.org/debian bullseye/main amd64 libxkbcommon0 amd64 1.0.3-2 [101 kB] Get: 130 http://deb.debian.org/debian bullseye/main amd64 libxrandr2 amd64 2:1.5.1-1 [37.5 kB] Get: 131 http://deb.debian.org/debian bullseye/main amd64 libgtk-3-common all 3.24.24-4+deb11u3 [3757 kB] Get: 132 http://deb.debian.org/debian bullseye/main amd64 libgtk-3-0 amd64 3.24.24-4+deb11u3 [2716 kB] Get: 133 http://deb.debian.org/debian bullseye/main amd64 liblablgtk3-ocaml amd64 3.1.1+official-1+b1 [2910 kB] Get: 134 http://deb.debian.org/debian bullseye/main amd64 libgtksourceview-3.0-common all 3.24.11-2 [285 kB] Get: 135 http://deb.debian.org/debian bullseye/main amd64 libgtksourceview-3.0-1 amd64 3.24.11-2 [238 kB] Get: 136 http://deb.debian.org/debian bullseye/main amd64 liblablgtksourceview3-ocaml amd64 3.1.1+official-1+b1 [291 kB] Get: 137 http://deb.debian.org/debian bullseye/main amd64 libnum-ocaml amd64 1.4-1 [171 kB] Get: 138 http://deb.debian.org/debian bullseye/main amd64 libcoq-ocaml amd64 8.12.0-3+b3 [7758 kB] Get: 139 http://deb.debian.org/debian bullseye/main amd64 libncurses6 amd64 6.2+20201114-2+deb11u1 [102 kB] Get: 140 http://deb.debian.org/debian bullseye/main amd64 libncurses-dev amd64 6.2+20201114-2+deb11u1 [344 kB] Get: 141 http://deb.debian.org/debian bullseye/main amd64 libncurses5-dev amd64 6.2+20201114-2+deb11u1 [948 B] Get: 142 http://deb.debian.org/debian bullseye/main amd64 ocaml-compiler-libs amd64 4.11.1-4 [29.9 MB] Get: 143 http://deb.debian.org/debian bullseye/main amd64 ocaml-interp amd64 4.11.1-4 [5861 kB] Get: 144 http://deb.debian.org/debian bullseye/main amd64 ocaml-nox amd64 4.11.1-4 [68.2 MB] Get: 145 http://deb.debian.org/debian bullseye/main amd64 libfindlib-ocaml amd64 1.8.1-2 [193 kB] Get: 146 http://deb.debian.org/debian bullseye/main amd64 ocaml-findlib amd64 1.8.1-2 [477 kB] Get: 147 http://deb.debian.org/debian bullseye/main amd64 coq amd64 8.12.0-3+b3 [90.5 MB] Get: 148 http://deb.debian.org/debian bullseye/main amd64 libdebhelper-perl all 13.3.4 [189 kB] Get: 149 http://deb.debian.org/debian bullseye/main amd64 libtool all 2.4.6-15 [513 kB] Get: 150 http://deb.debian.org/debian bullseye/main amd64 dh-autoreconf all 20 [17.1 kB] Get: 151 http://deb.debian.org/debian bullseye/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 152 http://deb.debian.org/debian bullseye/main amd64 libsub-override-perl all 0.09-2 [10.2 kB] Get: 153 http://deb.debian.org/debian bullseye/main amd64 libfile-stripnondeterminism-perl all 1.12.0-1 [26.3 kB] Get: 154 http://deb.debian.org/debian bullseye/main amd64 dh-strip-nondeterminism all 1.12.0-1 [15.4 kB] Get: 155 http://deb.debian.org/debian bullseye/main amd64 libelf1 amd64 0.183-1 [165 kB] Get: 156 http://deb.debian.org/debian bullseye/main amd64 dwz amd64 0.13+20210201-1 [175 kB] Get: 157 http://deb.debian.org/debian bullseye/main amd64 gettext amd64 0.21-4 [1311 kB] Get: 158 http://deb.debian.org/debian bullseye/main amd64 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 159 http://deb.debian.org/debian bullseye/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 160 http://deb.debian.org/debian bullseye/main amd64 debhelper all 13.3.4 [1049 kB] Get: 161 http://deb.debian.org/debian bullseye/main amd64 lua5.1 amd64 5.1.5-8.1+b3 [99.9 kB] Fetched 308 MB in 3s (90.7 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libapparmor1:amd64. (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 ... 19707 files and directories currently installed.) Preparing to unpack .../0-libapparmor1_2.13.6-10_amd64.deb ... Unpacking libapparmor1:amd64 (2.13.6-10) ... Selecting previously unselected package libcap2:amd64. Preparing to unpack .../1-libcap2_1%3a2.44-1_amd64.deb ... Unpacking libcap2:amd64 (1:2.44-1) ... Selecting previously unselected package libargon2-1:amd64. Preparing to unpack .../2-libargon2-1_0~20171227-0.2_amd64.deb ... Unpacking libargon2-1:amd64 (0~20171227-0.2) ... Selecting previously unselected package dmsetup. Preparing to unpack .../3-dmsetup_2%3a1.02.175-2.1_amd64.deb ... Unpacking dmsetup (2:1.02.175-2.1) ... Selecting previously unselected package libdevmapper1.02.1:amd64. Preparing to unpack .../4-libdevmapper1.02.1_2%3a1.02.175-2.1_amd64.deb ... Unpacking libdevmapper1.02.1:amd64 (2:1.02.175-2.1) ... Selecting previously unselected package libjson-c5:amd64. Preparing to unpack .../5-libjson-c5_0.15-2_amd64.deb ... Unpacking libjson-c5:amd64 (0.15-2) ... Selecting previously unselected package libcryptsetup12:amd64. Preparing to unpack .../6-libcryptsetup12_2%3a2.3.7-1+deb11u1_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.3.7-1+deb11u1) ... Selecting previously unselected package libip4tc2:amd64. Preparing to unpack .../7-libip4tc2_1.8.7-1_amd64.deb ... Unpacking libip4tc2:amd64 (1.8.7-1) ... Selecting previously unselected package libkmod2:amd64. Preparing to unpack .../8-libkmod2_28-1_amd64.deb ... Unpacking libkmod2:amd64 (28-1) ... Selecting previously unselected package systemd. Preparing to unpack .../9-systemd_247.3-7+deb11u2_amd64.deb ... Unpacking systemd (247.3-7+deb11u2) ... Setting up libapparmor1:amd64 (2.13.6-10) ... Setting up libcap2:amd64 (1:2.44-1) ... Setting up libargon2-1:amd64 (0~20171227-0.2) ... Setting up libjson-c5:amd64 (0.15-2) ... Setting up libip4tc2:amd64 (1.8.7-1) ... Setting up libkmod2:amd64 (28-1) ... Setting up libdevmapper1.02.1:amd64 (2:1.02.175-2.1) ... Setting up libcryptsetup12:amd64 (2:2.3.7-1+deb11u1) ... Setting up systemd (247.3-7+deb11u2) ... 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. 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 ... 20562 files and directories currently installed.) Preparing to unpack .../00-systemd-sysv_247.3-7+deb11u2_amd64.deb ... Unpacking systemd-sysv (247.3-7+deb11u2) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../01-libdbus-1-3_1.12.24-0+deb11u1_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.12.24-0+deb11u1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../02-libexpat1_2.2.10-2+deb11u5_amd64.deb ... Unpacking libexpat1:amd64 (2.2.10-2+deb11u5) ... Selecting previously unselected package dbus. Preparing to unpack .../03-dbus_1.12.24-0+deb11u1_amd64.deb ... Unpacking dbus (1.12.24-0+deb11u1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../04-bsdextrautils_2.36.1-8+deb11u1_amd64.deb ... Unpacking bsdextrautils (2.36.1-8+deb11u1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../05-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../06-groff-base_1.22.4-6_amd64.deb ... Unpacking groff-base (1.22.4-6) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../07-libpipeline1_1.5.3-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../08-man-db_2.9.4-2_amd64.deb ... Unpacking man-db (2.9.4-2) ... Selecting previously unselected package libpython3.9-minimal:amd64. Preparing to unpack .../09-libpython3.9-minimal_3.9.2-1_amd64.deb ... Unpacking libpython3.9-minimal:amd64 (3.9.2-1) ... Selecting previously unselected package python3.9-minimal. Preparing to unpack .../10-python3.9-minimal_3.9.2-1_amd64.deb ... Unpacking python3.9-minimal (3.9.2-1) ... Setting up libpython3.9-minimal:amd64 (3.9.2-1) ... Setting up libexpat1:amd64 (2.2.10-2+deb11u5) ... 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 ... 21497 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.9.2-3_amd64.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:amd64. Preparing to unpack .../2-libmpdec3_2.5.1-1_amd64.deb ... Unpacking libmpdec3:amd64 (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:amd64. Preparing to unpack .../4-libreadline8_8.1-1_amd64.deb ... Unpacking libreadline8:amd64 (8.1-1) ... Selecting previously unselected package libpython3.9-stdlib:amd64. Preparing to unpack .../5-libpython3.9-stdlib_3.9.2-1_amd64.deb ... Unpacking libpython3.9-stdlib:amd64 (3.9.2-1) ... Selecting previously unselected package python3.9. Preparing to unpack .../6-python3.9_3.9.2-1_amd64.deb ... Unpacking python3.9 (3.9.2-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../7-libpython3-stdlib_3.9.2-3_amd64.deb ... Unpacking libpython3-stdlib:amd64 (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 ... 21918 files and directories currently installed.) Preparing to unpack .../000-python3_3.9.2-3_amd64.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_amd64.deb ... Unpacking libmagic-mgc (1:5.39-3) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../003-libmagic1_1%3a5.39-3_amd64.deb ... Unpacking libmagic1:amd64 (1:5.39-3) ... Selecting previously unselected package file. Preparing to unpack .../004-file_1%3a5.39-3_amd64.deb ... Unpacking file (1:5.39-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../005-gettext-base_0.21-4_amd64.deb ... Unpacking gettext-base (0.21-4) ... Selecting previously unselected package libpam-systemd:amd64. Preparing to unpack .../006-libpam-systemd_247.3-7+deb11u2_amd64.deb ... Unpacking libpam-systemd:amd64 (247.3-7+deb11u2) ... 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+deb11u1_all.deb ... Unpacking libgdk-pixbuf2.0-common (2.42.2+dfsg-1+deb11u1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../010-libglib2.0-0_2.66.8-1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.66.8-1) ... Selecting previously unselected package libicu67:amd64. Preparing to unpack .../011-libicu67_67.1-7_amd64.deb ... Unpacking libicu67:amd64 (67.1-7) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../012-libxml2_2.9.10+dfsg-6.7+deb11u4_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-6.7+deb11u4) ... Selecting previously unselected package shared-mime-info. Preparing to unpack .../013-shared-mime-info_2.0-1_amd64.deb ... Unpacking shared-mime-info (2.0-1) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../014-libjpeg62-turbo_1%3a2.0.6-4_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.0.6-4) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../015-libpng16-16_1.6.37-3_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.37-3) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../016-libdeflate0_1.7-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.7-1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../017-libjbig0_2.1-3.1+b2_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1+b2) ... Selecting previously unselected package libwebp6:amd64. Preparing to unpack .../018-libwebp6_0.6.1-2.1_amd64.deb ... Unpacking libwebp6:amd64 (0.6.1-2.1) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../019-libtiff5_4.2.0-1+deb11u4_amd64.deb ... Unpacking libtiff5:amd64 (4.2.0-1+deb11u4) ... Selecting previously unselected package libgdk-pixbuf-2.0-0:amd64. Preparing to unpack .../020-libgdk-pixbuf-2.0-0_2.42.2+dfsg-1+deb11u1_amd64.deb ... Unpacking libgdk-pixbuf-2.0-0:amd64 (2.42.2+dfsg-1+deb11u1) ... Selecting previously unselected package gtk-update-icon-cache. Preparing to unpack .../021-gtk-update-icon-cache_3.24.24-4+deb11u3_amd64.deb ... Unpacking gtk-update-icon-cache (3.24.24-4+deb11u3) ... 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:amd64. Preparing to unpack .../023-libsigsegv2_2.13-1_amd64.deb ... Unpacking libsigsegv2:amd64 (2.13-1) ... Selecting previously unselected package m4. Preparing to unpack .../024-m4_1.4.18-5_amd64.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_amd64.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_amd64.deb ... Unpacking ocaml-base-nox (4.11.1-4) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../031-libbrotli1_1.0.9-2+b2_amd64.deb ... Unpacking libbrotli1:amd64 (1.0.9-2+b2) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../032-libfreetype6_2.10.4+dfsg-1+deb11u1_amd64.deb ... Unpacking libfreetype6:amd64 (2.10.4+dfsg-1+deb11u1) ... 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:amd64. Preparing to unpack .../035-libfontconfig1_2.13.1-4.2_amd64.deb ... Unpacking libfontconfig1:amd64 (2.13.1-4.2) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../036-libpixman-1-0_0.40.0-1.1~deb11u1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.40.0-1.1~deb11u1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../037-libxau6_1%3a1.0.9-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-1) ... Selecting previously unselected package libmd0:amd64. Preparing to unpack .../038-libmd0_1.0.3-3_amd64.deb ... Unpacking libmd0:amd64 (1.0.3-3) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../039-libbsd0_0.11.3-1_amd64.deb ... Unpacking libbsd0:amd64 (0.11.3-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../040-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../041-libxcb1_1.14-3_amd64.deb ... Unpacking libxcb1:amd64 (1.14-3) ... Selecting previously unselected package libx11-data. Preparing to unpack .../042-libx11-data_2%3a1.7.2-1_all.deb ... Unpacking libx11-data (2:1.7.2-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../043-libx11-6_2%3a1.7.2-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.7.2-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../044-libxcb-render0_1.14-3_amd64.deb ... Unpacking libxcb-render0:amd64 (1.14-3) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../045-libxcb-shm0_1.14-3_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.14-3) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../046-libxext6_2%3a1.3.3-1.1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1.1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../047-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../048-libcairo2_1.16.0-5_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-5) ... Selecting previously unselected package libcairo2-ocaml. Preparing to unpack .../049-libcairo2-ocaml_0.6.2+dfsg-1_amd64.deb ... Unpacking libcairo2-ocaml (0.6.2+dfsg-1) ... Selecting previously unselected package libgdk-pixbuf-xlib-2.0-0:amd64. Preparing to unpack .../050-libgdk-pixbuf-xlib-2.0-0_2.40.2-2_amd64.deb ... Unpacking libgdk-pixbuf-xlib-2.0-0:amd64 (2.40.2-2) ... Selecting previously unselected package libgdk-pixbuf2.0-0:amd64. Preparing to unpack .../051-libgdk-pixbuf2.0-0_2.40.2-2_amd64.deb ... Unpacking libgdk-pixbuf2.0-0:amd64 (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:amd64. Preparing to unpack .../053-libatk1.0-0_2.36.0-2_amd64.deb ... Unpacking libatk1.0-0:amd64 (2.36.0-2) ... Selecting previously unselected package libatspi2.0-0:amd64. Preparing to unpack .../054-libatspi2.0-0_2.38.0-4+deb11u1_amd64.deb ... Unpacking libatspi2.0-0:amd64 (2.38.0-4+deb11u1) ... Selecting previously unselected package libatk-bridge2.0-0:amd64. Preparing to unpack .../055-libatk-bridge2.0-0_2.38.0-1_amd64.deb ... Unpacking libatk-bridge2.0-0:amd64 (2.38.0-1) ... Selecting previously unselected package libcairo-gobject2:amd64. Preparing to unpack .../056-libcairo-gobject2_1.16.0-5_amd64.deb ... Unpacking libcairo-gobject2:amd64 (1.16.0-5) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../057-liblcms2-2_2.12~rc1-2_amd64.deb ... Unpacking liblcms2-2:amd64 (2.12~rc1-2) ... Selecting previously unselected package libcolord2:amd64. Preparing to unpack .../058-libcolord2_1.4.5-3_amd64.deb ... Unpacking libcolord2:amd64 (1.4.5-3) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../059-libavahi-common-data_0.8-5+deb11u2_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.8-5+deb11u2) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../060-libavahi-common3_0.8-5+deb11u2_amd64.deb ... Unpacking libavahi-common3:amd64 (0.8-5+deb11u2) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../061-libavahi-client3_0.8-5+deb11u2_amd64.deb ... Unpacking libavahi-client3:amd64 (0.8-5+deb11u2) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../062-libcups2_2.3.3op2-3+deb11u2_amd64.deb ... Unpacking libcups2:amd64 (2.3.3op2-3+deb11u2) ... Selecting previously unselected package libepoxy0:amd64. Preparing to unpack .../063-libepoxy0_1.5.5-1_amd64.deb ... Unpacking libepoxy0:amd64 (1.5.5-1) ... Selecting previously unselected package libfribidi0:amd64. Preparing to unpack .../064-libfribidi0_1.0.8-2+deb11u1_amd64.deb ... Unpacking libfribidi0:amd64 (1.0.8-2+deb11u1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../065-libgraphite2-3_1.3.14-1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../066-libharfbuzz0b_2.7.4-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (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:amd64. Preparing to unpack .../068-libjson-glib-1.0-0_1.6.2-1_amd64.deb ... Unpacking libjson-glib-1.0-0:amd64 (1.6.2-1) ... Selecting previously unselected package fontconfig. Preparing to unpack .../069-fontconfig_2.13.1-4.2_amd64.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:amd64. Preparing to unpack .../071-libdatrie1_0.2.13-1_amd64.deb ... Unpacking libdatrie1:amd64 (0.2.13-1) ... Selecting previously unselected package libthai0:amd64. Preparing to unpack .../072-libthai0_0.1.28-3_amd64.deb ... Unpacking libthai0:amd64 (0.1.28-3) ... Selecting previously unselected package libpango-1.0-0:amd64. Preparing to unpack .../073-libpango-1.0-0_1.46.2-3_amd64.deb ... Unpacking libpango-1.0-0:amd64 (1.46.2-3) ... Selecting previously unselected package libpangoft2-1.0-0:amd64. Preparing to unpack .../074-libpangoft2-1.0-0_1.46.2-3_amd64.deb ... Unpacking libpangoft2-1.0-0:amd64 (1.46.2-3) ... Selecting previously unselected package libpangocairo-1.0-0:amd64. Preparing to unpack .../075-libpangocairo-1.0-0_1.46.2-3_amd64.deb ... Unpacking libpangocairo-1.0-0:amd64 (1.46.2-3) ... Selecting previously unselected package libproxy1v5:amd64. Preparing to unpack .../076-libproxy1v5_0.4.17-1_amd64.deb ... Unpacking libproxy1v5:amd64 (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_amd64.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.24-0+deb11u1_amd64.deb ... Unpacking dbus-user-session (1.12.24-0+deb11u1) ... Selecting previously unselected package libdconf1:amd64. Preparing to unpack .../080-libdconf1_0.38.0-2_amd64.deb ... Unpacking libdconf1:amd64 (0.38.0-2) ... Selecting previously unselected package dconf-service. Preparing to unpack .../081-dconf-service_0.38.0-2_amd64.deb ... Unpacking dconf-service (0.38.0-2) ... Selecting previously unselected package dconf-gsettings-backend:amd64. Preparing to unpack .../082-dconf-gsettings-backend_0.38.0-2_amd64.deb ... Unpacking dconf-gsettings-backend:amd64 (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:amd64. Preparing to unpack .../084-glib-networking_2.66.0-2_amd64.deb ... Unpacking glib-networking:amd64 (2.66.0-2) ... Selecting previously unselected package libpsl5:amd64. Preparing to unpack .../085-libpsl5_0.21.0-1.2_amd64.deb ... Unpacking libpsl5:amd64 (0.21.0-1.2) ... Selecting previously unselected package libsoup2.4-1:amd64. Preparing to unpack .../086-libsoup2.4-1_2.72.0-2_amd64.deb ... Unpacking libsoup2.4-1:amd64 (2.72.0-2) ... Selecting previously unselected package libsoup-gnome2.4-1:amd64. Preparing to unpack .../087-libsoup-gnome2.4-1_2.72.0-2_amd64.deb ... Unpacking libsoup-gnome2.4-1:amd64 (2.72.0-2) ... Selecting previously unselected package librest-0.7-0:amd64. Preparing to unpack .../088-librest-0.7-0_0.8.1-1.1_amd64.deb ... Unpacking librest-0.7-0:amd64 (0.8.1-1.1) ... Selecting previously unselected package libwayland-client0:amd64. Preparing to unpack .../089-libwayland-client0_1.18.0-2~exp1.1_amd64.deb ... Unpacking libwayland-client0:amd64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libwayland-cursor0:amd64. Preparing to unpack .../090-libwayland-cursor0_1.18.0-2~exp1.1_amd64.deb ... Unpacking libwayland-cursor0:amd64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libwayland-egl1:amd64. Preparing to unpack .../091-libwayland-egl1_1.18.0-2~exp1.1_amd64.deb ... Unpacking libwayland-egl1:amd64 (1.18.0-2~exp1.1) ... Selecting previously unselected package libxcomposite1:amd64. Preparing to unpack .../092-libxcomposite1_1%3a0.4.5-1_amd64.deb ... Unpacking libxcomposite1:amd64 (1:0.4.5-1) ... Selecting previously unselected package libxfixes3:amd64. Preparing to unpack .../093-libxfixes3_1%3a5.0.3-2_amd64.deb ... Unpacking libxfixes3:amd64 (1:5.0.3-2) ... Selecting previously unselected package libxcursor1:amd64. Preparing to unpack .../094-libxcursor1_1%3a1.2.0-2_amd64.deb ... Unpacking libxcursor1:amd64 (1:1.2.0-2) ... Selecting previously unselected package libxdamage1:amd64. Preparing to unpack .../095-libxdamage1_1%3a1.1.5-2_amd64.deb ... Unpacking libxdamage1:amd64 (1:1.1.5-2) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../096-libxi6_2%3a1.7.10-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.10-1) ... Selecting previously unselected package libxinerama1:amd64. Preparing to unpack .../097-libxinerama1_2%3a1.1.4-2_amd64.deb ... Unpacking libxinerama1:amd64 (2:1.1.4-2) ... Selecting previously unselected package xkb-data. Preparing to unpack .../098-xkb-data_2.29-2_all.deb ... Unpacking xkb-data (2.29-2) ... Selecting previously unselected package libxkbcommon0:amd64. Preparing to unpack .../099-libxkbcommon0_1.0.3-2_amd64.deb ... Unpacking libxkbcommon0:amd64 (1.0.3-2) ... Selecting previously unselected package libxrandr2:amd64. Preparing to unpack .../100-libxrandr2_2%3a1.5.1-1_amd64.deb ... Unpacking libxrandr2:amd64 (2:1.5.1-1) ... Selecting previously unselected package libgtk-3-common. Preparing to unpack .../101-libgtk-3-common_3.24.24-4+deb11u3_all.deb ... Unpacking libgtk-3-common (3.24.24-4+deb11u3) ... Selecting previously unselected package libgtk-3-0:amd64. Preparing to unpack .../102-libgtk-3-0_3.24.24-4+deb11u3_amd64.deb ... Unpacking libgtk-3-0:amd64 (3.24.24-4+deb11u3) ... Selecting previously unselected package liblablgtk3-ocaml. Preparing to unpack .../103-liblablgtk3-ocaml_3.1.1+official-1+b1_amd64.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:amd64. Preparing to unpack .../105-libgtksourceview-3.0-1_3.24.11-2_amd64.deb ... Unpacking libgtksourceview-3.0-1:amd64 (3.24.11-2) ... Selecting previously unselected package liblablgtksourceview3-ocaml. Preparing to unpack .../106-liblablgtksourceview3-ocaml_3.1.1+official-1+b1_amd64.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_amd64.deb ... Unpacking libnum-ocaml (1.4-1) ... Selecting previously unselected package libcoq-ocaml. Preparing to unpack .../108-libcoq-ocaml_8.12.0-3+b3_amd64.deb ... Unpacking libcoq-ocaml (8.12.0-3+b3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../109-libncurses6_6.2+20201114-2+deb11u1_amd64.deb ... Unpacking libncurses6:amd64 (6.2+20201114-2+deb11u1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../110-libncurses-dev_6.2+20201114-2+deb11u1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.2+20201114-2+deb11u1) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../111-libncurses5-dev_6.2+20201114-2+deb11u1_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.2+20201114-2+deb11u1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../112-ocaml-compiler-libs_4.11.1-4_amd64.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_amd64.deb ... Unpacking ocaml-interp (4.11.1-4) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../114-ocaml-nox_4.11.1-4_amd64.deb ... Unpacking ocaml-nox (4.11.1-4) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../115-libfindlib-ocaml_1.8.1-2_amd64.deb ... Unpacking libfindlib-ocaml (1.8.1-2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../116-ocaml-findlib_1.8.1-2_amd64.deb ... Unpacking ocaml-findlib (1.8.1-2) ... Selecting previously unselected package coq. Preparing to unpack .../117-coq_8.12.0-3+b3_amd64.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:amd64. Preparing to unpack .../125-libelf1_0.183-1_amd64.deb ... Unpacking libelf1:amd64 (0.183-1) ... Selecting previously unselected package dwz. Preparing to unpack .../126-dwz_0.13+20210201-1_amd64.deb ... Unpacking dwz (0.13+20210201-1) ... Selecting previously unselected package gettext. Preparing to unpack .../127-gettext_0.21-4_amd64.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_amd64.deb ... Unpacking lua5.1 (5.1.5-8.1+b3) ... Setting up media-types (4.0.0) ... Setting up libpipeline1:amd64 (1.5.3-1) ... Setting up libgraphite2-3:amd64 (1.3.14-1) ... Setting up liblcms2-2:amd64 (2.12~rc1-2) ... Setting up libpixman-1-0:amd64 (0.40.0-1.1~deb11u1) ... Setting up systemd-sysv (247.3-7+deb11u2) ... Setting up libxau6:amd64 (1:1.0.9-1) ... Setting up libproxy1v5:amd64 (0.4.17-1) ... Setting up libpsl5:amd64 (0.21.0-1.2) ... Setting up bsdextrautils (2.36.1-8+deb11u1) ... 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:amd64 (67.1-7) ... Setting up libdatrie1:amd64 (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:amd64 (2.66.8-1) ... Setting up libdebhelper-perl (13.3.4) ... Setting up libbrotli1:amd64 (1.0.9-2+b2) ... Setting up libgdk-pixbuf2.0-common (2.42.2+dfsg-1+deb11u1) ... Setting up libmagic1:amd64 (1:5.39-3) ... Setting up libdeflate0:amd64 (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:amd64 (2.1-3.1+b2) ... Setting up libcolord2:amd64 (1.4.5-3) ... Setting up libdconf1:amd64 (0.38.0-2) ... Setting up autotools-dev (20180224.1+nmu1) ... Setting up libjpeg62-turbo:amd64 (1:2.0.6-4) ... Setting up libx11-data (2:1.7.2-1) ... Setting up libepoxy0:amd64 (1.5.5-1) ... Setting up libavahi-common-data:amd64 (0.8-5+deb11u2) ... Setting up libncurses6:amd64 (6.2+20201114-2+deb11u1) ... Setting up libdbus-1-3:amd64 (1.12.24-0+deb11u1) ... Setting up dbus (1.12.24-0+deb11u1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up libsigsegv2:amd64 (2.13-1) ... Setting up libfribidi0:amd64 (1.0.8-2+deb11u1) ... Setting up libpng16-16:amd64 (1.6.37-3) ... Setting up autopoint (0.21-4) ... Setting up libwebp6:amd64 (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:amd64 (1.0.3-3) ... Setting up sensible-utils (0.0.14) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up libgtksourceview-3.0-common (3.24.11-2) ... Setting up libmpdec3:amd64 (2.5.1-1) ... Setting up libpam-systemd:amd64 (247.3-7+deb11u2) ... 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:amd64 (2.36.0-2) ... Setting up libtiff5:amd64 (4.2.0-1+deb11u4) ... Setting up libwayland-egl1:amd64 (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:amd64 (0.11.3-1) ... Setting up libelf1:amd64 (0.183-1) ... Setting up readline-common (8.1-1) ... Setting up libxml2:amd64 (2.9.10+dfsg-6.7+deb11u4) ... Setting up libxkbcommon0:amd64 (1.0.3-2) ... Setting up libwayland-client0:amd64 (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:amd64 (1:1.1.2-3) ... Setting up libncurses-dev:amd64 (6.2+20201114-2+deb11u1) ... Setting up libxcb1:amd64 (1.14-3) ... Setting up gettext (0.21-4) ... Setting up libtool (2.4.6-15) ... Setting up libxcb-render0:amd64 (1.14-3) ... Setting up libreadline8:amd64 (8.1-1) ... Setting up libavahi-common3:amd64 (0.8-5+deb11u2) ... Setting up libfindlib-ocaml (1.8.1-2) ... Setting up m4 (1.4.18-5) ... Setting up libxcb-shm0:amd64 (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:amd64 (1.6.2-1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libthai0:amd64 (0.1.28-3) ... Setting up dbus-user-session (1.12.24-0+deb11u1) ... Setting up libfreetype6:amd64 (2.10.4+dfsg-1+deb11u1) ... 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:amd64 (1.18.0-2~exp1.1) ... Setting up libncurses5-dev:amd64 (6.2+20201114-2+deb11u1) ... Setting up libx11-6:amd64 (2:1.7.2-1) ... Setting up libharfbuzz0b:amd64 (2.7.4-1) ... Setting up libgdk-pixbuf-2.0-0:amd64 (2.42.2+dfsg-1+deb11u1) ... Setting up libxcomposite1:amd64 (1:0.4.5-1) ... Setting up libavahi-client3:amd64 (0.8-5+deb11u2) ... Setting up libpython3.9-stdlib:amd64 (3.9.2-1) ... Setting up libpython3-stdlib:amd64 (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+deb11u3) ... Setting up libxdamage1:amd64 (1:1.1.5-2) ... Setting up libgdk-pixbuf-xlib-2.0-0:amd64 (2.40.2-2) ... Setting up libxrender1:amd64 (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:amd64 (2:1.3.3-1.1) ... Setting up dconf-service (0.38.0-2) ... Setting up libatspi2.0-0:amd64 (2.38.0-4+deb11u1) ... 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:amd64 (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:amd64 (1:5.0.3-2) ... Setting up libgdk-pixbuf2.0-0:amd64 (2.40.2-2) ... Setting up libxinerama1:amd64 (2:1.1.4-2) ... Setting up libxrandr2:amd64 (2:1.5.1-1) ... Setting up libcups2:amd64 (2.3.3op2-3+deb11u2) ... Setting up libfontconfig1:amd64 (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:amd64 (2:1.7.10-1) ... Setting up dconf-gsettings-backend:amd64 (0.38.0-2) ... Setting up libxcursor1:amd64 (1:1.2.0-2) ... Setting up libpango-1.0-0:amd64 (1.46.2-3) ... Setting up debhelper (13.3.4) ... Setting up python3 (3.9.2-3) ... Setting up libcairo2:amd64 (1.16.0-5) ... Setting up libcairo-gobject2:amd64 (1.16.0-5) ... Setting up libpangoft2-1.0-0:amd64 (1.46.2-3) ... Setting up libgtk-3-common (3.24.24-4+deb11u3) ... Setting up libpangocairo-1.0-0:amd64 (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:amd64 (2.66.0-2) ... Setting up libsoup2.4-1:amd64 (2.72.0-2) ... Setting up libsoup-gnome2.4-1:amd64 (2.72.0-2) ... Setting up librest-0.7-0:amd64 (0.8.1-1.1) ... Setting up libgtk-3-0:amd64 (3.24.24-4+deb11u3) ... Setting up libgtksourceview-3.0-1:amd64 (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-13+deb11u6) ... 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 I: Building the package I: Running cd /build/ssreflect-1.12.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../ssreflect_1.12.0-1_source.changes 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 dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 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_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: including full source code in upload I: copying local configuration 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/2548768 and its subdirectories I: Current time: Fri Aug 30 19:21:00 -12 2024 I: pbuilder-time-stamp: 1725088860 Sun Jul 30 00:58:00 UTC 2023 I: 1st build successful. Starting 2nd build on remote node ionos11-amd64.debian.net. Sun Jul 30 00:58:00 UTC 2023 I: Preparing to do remote build '2' on ionos11-amd64.debian.net. Sun Jul 30 01:56:46 UTC 2023 I: Deleting $TMPDIR on ionos11-amd64.debian.net. Sun Jul 30 01:56:46 UTC 2023 I: ssreflect_1.12.0-1_amd64.changes: Format: 1.8 Date: Sat, 02 Jan 2021 15:39:29 +0100 Source: ssreflect Binary: libssreflect-coq Architecture: all Version: 1.12.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Description: libssreflect-coq - Mathematical Components library for Coq Changes: ssreflect (1.12.0-1) unstable; urgency=medium . * New upstream release. * Update test loadssreflect. * Standards-version 4.5.1 (no change) Checksums-Sha1: 89a174385ecdfed3e8661800bb2f559c2b67d24a 26421500 libssreflect-coq_1.12.0-1_all.deb a70831d546317ed52a4c89ae00b67643f909b036 9511 ssreflect_1.12.0-1_amd64.buildinfo Checksums-Sha256: 28a8fa56b79ee0956de8429571459102805f1702ed2bf24fa70185105b48511a 26421500 libssreflect-coq_1.12.0-1_all.deb 21a227fc486f15f51839b2f785ad10a3130c33b29ed532061c20cbf4c7fd8115 9511 ssreflect_1.12.0-1_amd64.buildinfo Files: 1ad42c9e0080441762292f7787c101d8 26421500 math optional libssreflect-coq_1.12.0-1_all.deb f33ec457b329a3c209ab74d94008bbe4 9511 math optional ssreflect_1.12.0-1_amd64.buildinfo Sun Jul 30 01:56:49 UTC 2023 I: diffoscope 243 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.t9vpDsSJ/ssreflect_1.12.0-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.t9vpDsSJ/ssreflect_1.12.0-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.t9vpDsSJ/ssreflect_1.12.0-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.t9vpDsSJ/b1/ssreflect_1.12.0-1_amd64.changes /srv/reproducible-results/rbuild-debian/r-b-build.t9vpDsSJ/b2/ssreflect_1.12.0-1_amd64.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 3.800s) 3.800s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.373s) 0.372s 12 calls diffoscope.comparators.binary.FilesystemFile 0.000s 10 calls abc.DotChangesFile ## specialize (total time: 0.000s) 0.000s 1 call specialize Sun Jul 30 01:56:55 UTC 2023 I: diffoscope 243 found no differences in the changes files, and a .buildinfo file also exists. Sun Jul 30 01:56:55 UTC 2023 I: ssreflect from bullseye built successfully and reproducibly on amd64. Sun Jul 30 01:56:56 UTC 2023 I: Submitting .buildinfo files to external archives: Sun Jul 30 01:56:56 UTC 2023 I: Submitting 12K b1/ssreflect_1.12.0-1_amd64.buildinfo.asc Sun Jul 30 01:56:57 UTC 2023 I: Submitting 12K b2/ssreflect_1.12.0-1_amd64.buildinfo.asc Sun Jul 30 01:56:58 UTC 2023 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Sun Jul 30 01:56:58 UTC 2023 I: Done submitting .buildinfo files. Sun Jul 30 01:56:58 UTC 2023 I: Removing signed ssreflect_1.12.0-1_amd64.buildinfo.asc files: removed './b1/ssreflect_1.12.0-1_amd64.buildinfo.asc' removed './b2/ssreflect_1.12.0-1_amd64.buildinfo.asc'