Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/s/ssreflect/ssreflect_1.12.0-1_all.buildinfo
Use metasnap for getting required timestamps
New buildinfo file: /tmp/ssreflect-1.12.0-1wwlpfaow/ssreflect_1.12.0-1_all.buildinfo
Get source package info: ssreflect=1.12.0-1
Source URL: http://snapshot.notset.fr/mr/package/ssreflect/1.12.0-1/srcfiles?fileinfo=1
env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=adduser=3.118 adwaita-icon-theme=3.38.0-1 autoconf=2.69-14 automake=1:1.16.3-2 autopoint=0.21-3 autotools-dev=20180224.1+nmu1 base-files=11 base-passwd=3.5.48 bash=5.1-2 binutils=2.35.1-7 binutils-common=2.35.1-7 binutils-x86-64-linux-gnu=2.35.1-7 bsdextrautils=2.36.1-4 bsdutils=1:2.36.1-4 build-essential=12.9 bzip2=1.0.8-4 coq=8.12.0-3+b3 coq-theories=8.12.0-3+b3 coreutils=8.32-4+b1 cpp=4:10.2.0-1 cpp-10=10.2.1-5 dash=0.5.11+git20200708+dd9ef66-5 dbus=1.12.20-1 dbus-user-session=1.12.20-1 dconf-gsettings-backend=0.38.0-1 dconf-service=0.38.0-1 debconf=1.5.74 debhelper=13.3.1 debianutils=4.11.2 dh-autoreconf=19 dh-strip-nondeterminism=1.9.0-1 diffutils=1:3.7-5 dmsetup=2:1.02.173-1 dpkg=1.20.7.1 dpkg-dev=1.20.7.1 dwz=0.13+20201015-2 file=1:5.39-3 findutils=4.8.0-1 fontconfig=2.13.1-4.2 fontconfig-config=2.13.1-4.2 fonts-dejavu-core=2.37-2 g++=4:10.2.0-1 g++-10=10.2.1-5 gcc=4:10.2.0-1 gcc-10=10.2.1-5 gcc-10-base=10.2.1-5 gettext=0.21-3 gettext-base=0.21-3 glib-networking=2.66.0-2 glib-networking-common=2.66.0-2 glib-networking-services=2.66.0-2 grep=3.6-1 groff-base=1.22.4-5 gsettings-desktop-schemas=3.38.0-2 gtk-update-icon-cache=3.24.24-1 gzip=1.10-2 hicolor-icon-theme=0.17-2 hostname=3.23 init-system-helpers=1.60 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-9 libapparmor1=2.13.6-3 libarchive-zip-perl=1.68-1 libargon2-1=0~20171227-0.2 libasan6=10.2.1-5 libatk-bridge2.0-0=2.38.0-1 libatk1.0-0=2.36.0-2 libatk1.0-data=2.36.0-2 libatomic1=10.2.1-5 libatspi2.0-0=2.38.0-2 libattr1=1:2.4.48-6 libaudit-common=1:3.0-2 libaudit1=1:3.0-2 libavahi-client3=0.8-3 libavahi-common-data=0.8-3 libavahi-common3=0.8-3 libbinutils=2.35.1-7 libblkid1=2.36.1-4 libbrotli1=1.0.9-2+b2 libbsd0=0.10.0-1 libbz2-1.0=1.0.8-4 libc-bin=2.31-9 libc-dev-bin=2.31-9 libc6=2.31-9 libc6-dev=2.31-9 libcairo-gobject2=1.16.0-5 libcairo2=1.16.0-5 libcairo2-ocaml=0.6.1+dfsg-6 libcap-ng0=0.7.9-2.2+b1 libcap2=1:2.44-1 libcc1-0=10.2.1-5 libcolord2=1.4.5-2 libcom-err2=1.45.6-1 libcoq-ocaml=8.12.0-3+b3 libcrypt-dev=1:4.4.17-1 libcrypt1=1:4.4.17-1 libcryptsetup12=2:2.3.4-1 libctf-nobfd0=2.35.1-7 libctf0=2.35.1-7 libcups2=2.3.3op1-6 libdatrie1=0.2.12-3 libdb5.3=5.3.28+dfsg1-0.6 libdbus-1-3=1.12.20-1 libdconf1=0.38.0-1 libdebconfclient0=0.256 libdebhelper-perl=13.3.1 libdeflate0=1.7-1 libdevmapper1.02.1=2:1.02.173-1 libdpkg-perl=1.20.7.1 libelf1=0.182-3 libepoxy0=1.5.4-1 libexpat1=2.2.10-1 libffi7=3.3-5 libfile-stripnondeterminism-perl=1.9.0-1 libfindlib-ocaml=1.8.1-2 libfontconfig1=2.13.1-4.2 libfreetype6=2.10.4+dfsg-1 libfribidi0=1.0.8-2 libgcc-10-dev=10.2.1-5 libgcc-s1=10.2.1-5 libgcrypt20=1.8.7-2 libgdbm-compat4=1.18.1-5.1 libgdbm6=1.18.1-5.1 libgdk-pixbuf-2.0-0=2.42.2+dfsg-1 libgdk-pixbuf-xlib-2.0-0=2.40.2-2 libgdk-pixbuf2.0-0=2.40.2-2 libgdk-pixbuf2.0-common=2.42.2+dfsg-1 libglib2.0-0=2.66.4-1 libgmp10=2:6.2.1+dfsg-1 libgnutls30=3.7.0-5 libgomp1=10.2.1-5 libgpg-error0=1.38-2 libgraphite2-3=1.3.14-1 libgssapi-krb5-2=1.18.3-4 libgtk-3-0=3.24.24-1 libgtk-3-common=3.24.24-1 libgtksourceview-3.0-1=3.24.11-2 libgtksourceview-3.0-common=3.24.11-2 libharfbuzz0b=2.6.7-1 libhogweed6=3.6-2 libicu67=67.1-5 libidn2-0=2.3.0-4 libip4tc2=1.8.6-1 libisl23=0.23-1 libitm1=10.2.1-5 libjbig0=2.1-3.1+b2 libjpeg62-turbo=1:2.0.5-2 libjson-c5=0.15-1 libjson-glib-1.0-0=1.6.0-2 libjson-glib-1.0-common=1.6.0-2 libk5crypto3=1.18.3-4 libkeyutils1=1.6.1-2 libkmod2=28-1 libkrb5-3=1.18.3-4 libkrb5support0=1.18.3-4 liblablgtk3-ocaml=3.1.1+official-1+b1 liblablgtksourceview3-ocaml=3.1.1+official-1+b1 liblcms2-2=2.9-4+b1 liblsan0=10.2.1-5 liblz4-1=1.9.3-1 liblzma5=5.2.5-1.0 libmagic-mgc=1:5.39-3 libmagic1=1:5.39-3 libmount1=2.36.1-4 libmpc3=1.2.0-1 libmpfr6=4.1.0-3 libncurses-dev=6.2+20201114-2 libncurses5-dev=6.2+20201114-2 libncurses6=6.2+20201114-2 libncursesw6=6.2+20201114-2 libnettle8=3.6-2 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libnum-ocaml=1.4-1 libp11-kit0=0.23.22-1 libpam-modules=1.4.0-2 libpam-modules-bin=1.4.0-2 libpam-runtime=1.4.0-2 libpam-systemd=247.2-4 libpam0g=1.4.0-2 libpango-1.0-0=1.46.2-3 libpangocairo-1.0-0=1.46.2-3 libpangoft2-1.0-0=1.46.2-3 libpcre2-8-0=10.36-2 libpcre3=2:8.39-13 libperl5.32=5.32.0-6 libpipeline1=1.5.3-1 libpixman-1-0=0.40.0-1 libpng16-16=1.6.37-3 libproxy1v5=0.4.17-1 libpsl5=0.21.0-1.1 libpython3-stdlib=3.9.1-1 libpython3.9-minimal=3.9.1-2 libpython3.9-stdlib=3.9.1-2 libquadmath0=10.2.1-5 libreadline8=8.1-1 librest-0.7-0=0.8.1-1.1 libseccomp2=2.5.1-1 libselinux1=3.1-2+b2 libsemanage-common=3.1-1 libsemanage1=3.1-1+b2 libsepol1=3.1-1 libsigsegv2=2.12-3 libsmartcols1=2.36.1-4 libsoup-gnome2.4-1=2.72.0-2 libsoup2.4-1=2.72.0-2 libsqlite3-0=3.34.0-1 libssl1.1=1.1.1i-1 libstdc++-10-dev=10.2.1-5 libstdc++6=10.2.1-5 libsub-override-perl=0.09-2 libsystemd0=247.2-4 libtasn1-6=4.16.0-2 libthai-data=0.1.28-3 libthai0=0.1.28-3 libtiff5=4.2.0-1 libtinfo6=6.2+20201114-2 libtirpc-common=1.3.1-1 libtirpc-dev=1.3.1-1 libtirpc3=1.3.1-1 libtool=2.4.6-15 libtsan0=10.2.1-5 libubsan1=10.2.1-5 libuchardet0=0.0.7-1 libudev1=247.2-4 libunistring2=0.9.10-4 libuuid1=2.36.1-4 libwayland-client0=1.18.0-2~exp1.1 libwayland-cursor0=1.18.0-2~exp1.1 libwayland-egl1=1.18.0-2~exp1.1 libwebp6=0.6.1-2+b1 libx11-6=2:1.7.0-1 libx11-data=2:1.7.0-1 libxau6=1:1.0.8-1+b2 libxcb-render0=1.14-2.1 libxcb-shm0=1.14-2.1 libxcb1=1.14-2.1 libxcomposite1=1:0.4.5-1 libxcursor1=1:1.2.0-2 libxdamage1=1:1.1.5-2 libxdmcp6=1:1.1.2-3 libxext6=2:1.3.3-1.1 libxfixes3=1:5.0.3-2 libxi6=2:1.7.10-1 libxinerama1=2:1.1.4-2 libxkbcommon0=1.0.3-2 libxml2=2.9.10+dfsg-6.3+b1 libxrandr2=2:1.5.1-1 libxrender1=1:0.9.10-1 libzstd1=1.4.8+dfsg-1 linux-libc-dev=5.10.5-1 login=1:4.8.1-1 lsb-base=11.1.0 lua5.1=5.1.5-8.1+b3 m4=1.4.18-5 mailcap=3.68 make=4.3-4 man-db=2.9.3-2 mawk=1.3.4.20200120-2 media-types=3.0.0 mime-support=3.66 mount=2.36.1-4 ncurses-base=6.2+20201114-2 ncurses-bin=6.2+20201114-2 ocaml-base-nox=4.11.1-4 ocaml-compiler-libs=4.11.1-4 ocaml-findlib=1.8.1-2 ocaml-interp=4.11.1-4 ocaml-nox=4.11.1-4 passwd=1:4.8.1-1 patch=2.7.6-7 perl=5.32.0-6 perl-base=5.32.0-6 perl-modules-5.32=5.32.0-6 po-debconf=1.0.21+nmu1 python3=3.9.1-1 python3-minimal=3.9.1-1 python3.9=3.9.1-2 python3.9-minimal=3.9.1-2 readline-common=8.1-1 sed=4.7-1 sensible-utils=0.0.12+nmu1 shared-mime-info=2.0-1 systemd=247.2-4 systemd-sysv=247.2-4 systemd-timesyncd=247.2-4 sysvinit-utils=2.96-5 tar=1.32+dfsg-1 tzdata=2020f-1 ucf=3.0043 util-linux=2.36.1-4 xkb-data=2.29-2 xz-utils=5.2.5-1.0 zlib1g=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main
deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20210115T083904Z/ unstable main
deb http://snapshot.notset.fr/archive/debian/20210110T204103Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d ssreflect=1.12.0-1 && mkdir -p /build/ssreflect-2vFEaI && dpkg-source --no-check -x /*.dsc /build/ssreflect-2vFEaI/ssreflect-1.12.0 && chown -R builduser:builduser /build/ssreflect-2vFEaI" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/ssreflect-2vFEaI/ssreflect-1.12.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1609598369" dpkg-buildpackage -uc -a amd64 --build=all" --customize-hook=sync-out /build/ssreflect-2vFEaI /tmp/ssreflect-1.12.0-1wwlpfaow bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20210110T204103Z unstable main
I: automatically chosen mode: root
I: chroot architecture amd64 is equal to the host's architecture
I: automatically chosen format: tar
I: using /tmp/mmdebstrap.dVzRoFpioM as tempdir
I: running apt-get update...
I: downloading packages with apt...
I: extracting archives...
I: installing essential packages...
I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.dVzRoFpioM
Reading package lists...
Building dependency tree...
util-linux is already the newest version (2.36.1-4).
The following NEW packages will be installed:
  fakeroot libfakeroot
0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded.
Need to get 134 kB of archives.
After this operation, 397 kB of additional disk space will be used.
Get:1 http://snapshot.notset.fr/archive/debian/20210110T204103Z unstable/main amd64 libfakeroot amd64 1.25.3-1.1 [47.0 kB]
Get:2 http://snapshot.notset.fr/archive/debian/20210110T204103Z unstable/main amd64 fakeroot amd64 1.25.3-1.1 [87.0 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 134 kB in 0s (1023 kB/s)
Selecting previously unselected package libfakeroot: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 ... 4661 files and directories currently installed.)
Preparing to unpack .../libfakeroot_1.25.3-1.1_amd64.deb ...
Unpacking libfakeroot:amd64 (1.25.3-1.1) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../fakeroot_1.25.3-1.1_amd64.deb ...
Unpacking fakeroot (1.25.3-1.1) ...
Setting up libfakeroot:amd64 (1.25.3-1.1) ...
Setting up fakeroot (1.25.3-1.1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode
Processing triggers for libc-bin (2.31-9) ...
I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/
I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main
deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20210115T083904Z/ unstable main
deb http://snapshot.notset.fr/archive/debian/20210110T204103Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.dVzRoFpioM
Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB]
Get:2 http://snapshot.notset.fr/archive/debian/20210115T083904Z unstable InRelease [153 kB]
Hit:3 http://snapshot.notset.fr/archive/debian/20210110T204103Z unstable InRelease
Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources
Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages
Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources
Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages
Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources
Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages
Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB]
Get:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB]
Ign:6 http://snapshot.notset.fr/archive/debian/20210115T083904Z unstable/main amd64 Packages
Ign:6 http://snapshot.notset.fr/archive/debian/20210115T083904Z unstable/main amd64 Packages
Ign:6 http://snapshot.notset.fr/archive/debian/20210115T083904Z unstable/main amd64 Packages
Get:6 http://snapshot.notset.fr/archive/debian/20210115T083904Z unstable/main amd64 Packages [11.6 MB]
Fetched 34.4 MB in 31s (1105 kB/s)
Reading package lists...
I: installing remaining packages inside the chroot...
I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.dVzRoFpioM
I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d ssreflect=1.12.0-1 && mkdir -p /build/ssreflect-2vFEaI && dpkg-source --no-check -x /*.dsc /build/ssreflect-2vFEaI/ssreflect-1.12.0 && chown -R builduser:builduser /build/ssreflect-2vFEaI"' exec /tmp/mmdebstrap.dVzRoFpioM
Reading package lists...
NOTICE: 'ssreflect' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/ssreflect.git
Please use:
git clone https://salsa.debian.org/ocaml-team/ssreflect.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 1334 kB of source archives.
Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main ssreflect 1.12.0-1 (dsc) [2094 B]
Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main ssreflect 1.12.0-1 (tar) [1319 kB]
Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main ssreflect 1.12.0-1 (diff) [12.8 kB]
Fetched 1334 kB in 1s (1260 kB/s)
Download complete and in download only mode
W: Download is performed unsandboxed as root as file 'ssreflect_1.12.0-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied)
dpkg-source: info: extracting ssreflect in /build/ssreflect-2vFEaI/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: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/ssreflect-2vFEaI/ssreflect-1.12.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1609598369" dpkg-buildpackage -uc -a amd64 --build=all"' exec /tmp/mmdebstrap.dVzRoFpioM
dpkg-buildpackage: info: source package ssreflect
dpkg-buildpackage: info: source version 1.12.0-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Ralf Treinen <treinen@debian.org>
 dpkg-source --before-build .
 debian/rules clean
dh clean
   dh_clean
 debian/rules binary-indep
dh binary-indep
   dh_update_autotools_config -i
   dh_autoreconf -i
   debian/rules override_dh_auto_build
make[1]: Entering directory '/build/ssreflect-2vFEaI/ssreflect-1.12.0'
/usr/bin/make -C mathcomp all doc
make[2]: Entering directory '/build/ssreflect-2vFEaI/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-2vFEaI/ssreflect-1.12.0/mathcomp'
make[1]: Leaving directory '/build/ssreflect-2vFEaI/ssreflect-1.12.0'
   create-stamp debian/debhelper-build-stamp
   dh_prep -i
   debian/rules override_dh_auto_install
make[1]: Entering directory '/build/ssreflect-2vFEaI/ssreflect-1.12.0'
/usr/bin/make -C mathcomp install DSTROOT=/build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp
make[2]: Entering directory '/build/ssreflect-2vFEaI/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-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/finalg.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/countalg.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/fraction.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/intdiv.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/interval.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/matrix.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxalgebra.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxpoly.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polydiv.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/poly.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polyXY.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/rat.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ring_quotient.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssralg.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrint.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrnum.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/vector.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/zmodp.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL all/all.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//all
INSTALL character/all_character.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/character.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/classfun.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/inertia.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/integral_char.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/mxabelem.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/mxrepresentation.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/vcharacter.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL field/algC.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/algebraics_fundamentals.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/algnum.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/all_field.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/closed_field.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/cyclotomic.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/falgebra.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/fieldext.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/finfield.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/galois.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/separable.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL fingroup/action.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/all_fingroup.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/automorphism.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/fingroup.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/gproduct.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/morphism.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/perm.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/presentation.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/quotient.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL solvable/abelian.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/all_solvable.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/alt.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/burnside_app.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/center.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/commutator.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/cyclic.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extraspecial.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extremal.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/finmodule.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/frobenius.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gfunctor.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gseries.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/hall.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/jordanholder.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/maximal.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/nilpotent.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/pgroup.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/primitive_action.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/sylow.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL ssreflect/all_ssreflect.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/bigop.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/binomial.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/choice.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/div.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/eqtype.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finfun.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fingraph.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finset.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fintype.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/generic_quotient.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/order.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/path.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/prime.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/seq.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrAC.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrbool.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssreflect.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrfun.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnat.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnotations.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrmatching.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/tuple.vo /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL algebra/all_algebra.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/finalg.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/countalg.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/fraction.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/intdiv.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/interval.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/matrix.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxalgebra.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxpoly.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polydiv.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/poly.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polyXY.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/rat.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ring_quotient.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssralg.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrint.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrnum.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/vector.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/zmodp.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL all/all.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//all
INSTALL character/all_character.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/character.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/classfun.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/inertia.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/integral_char.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/mxabelem.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/mxrepresentation.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/vcharacter.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL field/algC.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/algebraics_fundamentals.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/algnum.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/all_field.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/closed_field.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/cyclotomic.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/falgebra.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/fieldext.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/finfield.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/galois.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/separable.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL fingroup/action.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/all_fingroup.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/automorphism.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/fingroup.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/gproduct.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/morphism.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/perm.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/presentation.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/quotient.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL solvable/abelian.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/all_solvable.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/alt.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/burnside_app.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/center.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/commutator.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/cyclic.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extraspecial.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extremal.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/finmodule.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/frobenius.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gfunctor.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gseries.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/hall.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/jordanholder.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/maximal.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/nilpotent.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/pgroup.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/primitive_action.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/sylow.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL ssreflect/all_ssreflect.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/bigop.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/binomial.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/choice.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/div.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/eqtype.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finfun.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fingraph.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finset.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fintype.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/generic_quotient.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/order.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/path.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/prime.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/seq.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrAC.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrbool.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssreflect.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrfun.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnat.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnotations.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrmatching.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/tuple.v /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL algebra/all_algebra.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/finalg.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/countalg.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/fraction.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/intdiv.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/interval.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/matrix.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxalgebra.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxpoly.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polydiv.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/poly.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polyXY.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/rat.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ring_quotient.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssralg.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrint.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrnum.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/vector.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL algebra/zmodp.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//algebra
INSTALL all/all.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//all
INSTALL character/all_character.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/character.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/classfun.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/inertia.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/integral_char.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/mxabelem.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/mxrepresentation.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL character/vcharacter.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//character
INSTALL field/algC.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/algebraics_fundamentals.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/algnum.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/all_field.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/closed_field.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/cyclotomic.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/falgebra.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/fieldext.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/finfield.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/galois.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL field/separable.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//field
INSTALL fingroup/action.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/all_fingroup.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/automorphism.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/fingroup.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/gproduct.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/morphism.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/perm.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/presentation.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/quotient.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//fingroup
INSTALL solvable/abelian.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/all_solvable.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/alt.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/burnside_app.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/center.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/commutator.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/cyclic.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extraspecial.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extremal.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/finmodule.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/frobenius.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gfunctor.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gseries.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/hall.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/jordanholder.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/maximal.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/nilpotent.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/pgroup.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/primitive_action.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL solvable/sylow.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//solvable
INSTALL ssreflect/all_ssreflect.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/bigop.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/binomial.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/choice.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/div.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/eqtype.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finfun.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fingraph.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finset.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fintype.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/generic_quotient.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/order.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/path.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/prime.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/seq.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrAC.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrbool.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssreflect.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrfun.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnat.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnotations.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrmatching.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/tuple.glob /build/ssreflect-2vFEaI/ssreflect-1.12.0/debian/tmp//usr/lib/coq//user-contrib/mathcomp//ssreflect
make[2]: Leaving directory '/build/ssreflect-2vFEaI/ssreflect-1.12.0/mathcomp'
make[1]: Leaving directory '/build/ssreflect-2vFEaI/ssreflect-1.12.0'
   dh_install -i
   dh_installdocs -i
   dh_installchangelogs -i
   dh_installexamples -i
   dh_lintian -i
   dh_perl -i
   dh_link -i
   dh_strip_nondeterminism -i
   dh_compress -i
   dh_fixperms -i
   dh_missing -i
   dh_installdeb -i
   debian/rules override_dh_gencontrol
make[1]: Entering directory '/build/ssreflect-2vFEaI/ssreflect-1.12.0'
dh_gencontrol -- -VF:CoqABI="8.12.0+4.11.1"
make[1]: Leaving directory '/build/ssreflect-2vFEaI/ssreflect-1.12.0'
   dh_md5sums -i
   dh_builddeb -i
dpkg-deb: building package 'libssreflect-coq' in '../libssreflect-coq_1.12.0-1_all.deb'.
 dpkg-genbuildinfo --build=all
 dpkg-genchanges --build=all >../ssreflect_1.12.0-1_all.changes
dpkg-genchanges: info: binary-only arch-indep upload (source code and arch-specific packages not included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
I: running special hook: sync-out /build/ssreflect-2vFEaI /tmp/ssreflect-1.12.0-1wwlpfaow
I: cleaning package lists and apt cache...
I: creating tarball...
I: done
I: removing tempdir /tmp/mmdebstrap.dVzRoFpioM...
I: success in 5846.8210 seconds
md5: libssreflect-coq_1.12.0-1_all.deb: OK
sha1: libssreflect-coq_1.12.0-1_all.deb: OK
sha256: libssreflect-coq_1.12.0-1_all.deb: OK
Checksums: OK