Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/s/ssreflect/ssreflect_1.14.0-7_all.buildinfo
Use metasnap for getting required timestamps
Cannot get timestamps from metasnap: 404 (Not Found)
Use snapshot for getting required timestamps
Get source package info: ssreflect=1.14.0-7
Source URL: http://snapshot.notset.fr/mr/package/ssreflect/1.14.0-7/srcfiles?fileinfo=1
Initialize APT cache
Get binary package info: autoconf=2.71-2
Binary URL: http://snapshot.notset.fr/mr/binary/autoconf/2.71-2/binfiles?fileinfo=1
Get binary package info: automake=1:1.16.5-1.1
Binary URL: http://snapshot.notset.fr/mr/binary/automake/1:1.16.5-1.1/binfiles?fileinfo=1
Get binary package info: autopoint=0.21-4
Binary URL: http://snapshot.notset.fr/mr/binary/autopoint/0.21-4/binfiles?fileinfo=1
Get binary package info: autotools-dev=20220109.1
Binary URL: http://snapshot.notset.fr/mr/binary/autotools-dev/20220109.1/binfiles?fileinfo=1
Get binary package info: base-files=12.2
Binary URL: http://snapshot.notset.fr/mr/binary/base-files/12.2/binfiles?fileinfo=1
Get binary package info: base-passwd=3.5.52
Binary URL: http://snapshot.notset.fr/mr/binary/base-passwd/3.5.52/binfiles?fileinfo=1
Get binary package info: bash=5.1-6
Binary URL: http://snapshot.notset.fr/mr/binary/bash/5.1-6/binfiles?fileinfo=1
Get binary package info: binutils=2.38-1
Binary URL: http://snapshot.notset.fr/mr/binary/binutils/2.38-1/binfiles?fileinfo=1
Get binary package info: binutils-common=2.38-1
Binary URL: http://snapshot.notset.fr/mr/binary/binutils-common/2.38-1/binfiles?fileinfo=1
Get binary package info: binutils-x86-64-linux-gnu=2.38-1
Binary URL: http://snapshot.notset.fr/mr/binary/binutils-x86-64-linux-gnu/2.38-1/binfiles?fileinfo=1
Get binary package info: bsdextrautils=2.37.3-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/bsdextrautils/2.37.3-1+b1/binfiles?fileinfo=1
Get binary package info: bsdutils=1:2.37.3-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/bsdutils/1:2.37.3-1+b1/binfiles?fileinfo=1
Get binary package info: build-essential=12.9
Binary URL: http://snapshot.notset.fr/mr/binary/build-essential/12.9/binfiles?fileinfo=1
Get binary package info: bzip2=1.0.8-5
Binary URL: http://snapshot.notset.fr/mr/binary/bzip2/1.0.8-5/binfiles?fileinfo=1
Get binary package info: coq=8.15.0+dfsg-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/coq/8.15.0+dfsg-2+b1/binfiles?fileinfo=1
Get binary package info: coreutils=8.32-4.1
Binary URL: http://snapshot.notset.fr/mr/binary/coreutils/8.32-4.1/binfiles?fileinfo=1
Get binary package info: cpp=4:11.2.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/cpp/4:11.2.0-2/binfiles?fileinfo=1
Get binary package info: cpp-11=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/cpp-11/11.2.0-16/binfiles?fileinfo=1
Get binary package info: dash=0.5.11+git20210903+057cd650a4ed-3
Binary URL: http://snapshot.notset.fr/mr/binary/dash/0.5.11+git20210903+057cd650a4ed-3/binfiles?fileinfo=1
Get binary package info: debconf=1.5.79
Binary URL: http://snapshot.notset.fr/mr/binary/debconf/1.5.79/binfiles?fileinfo=1
Get binary package info: debhelper=13.6
Binary URL: http://snapshot.notset.fr/mr/binary/debhelper/13.6/binfiles?fileinfo=1
Get binary package info: debianutils=5.7-0.1
Binary URL: http://snapshot.notset.fr/mr/binary/debianutils/5.7-0.1/binfiles?fileinfo=1
Get binary package info: dh-autoreconf=20
Binary URL: http://snapshot.notset.fr/mr/binary/dh-autoreconf/20/binfiles?fileinfo=1
Get binary package info: dh-strip-nondeterminism=1.13.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/dh-strip-nondeterminism/1.13.0-1/binfiles?fileinfo=1
Get binary package info: diffutils=1:3.7-5
Binary URL: http://snapshot.notset.fr/mr/binary/diffutils/1:3.7-5/binfiles?fileinfo=1
Get binary package info: dpkg=1.21.1
Binary URL: http://snapshot.notset.fr/mr/binary/dpkg/1.21.1/binfiles?fileinfo=1
Get binary package info: dpkg-dev=1.21.1
Binary URL: http://snapshot.notset.fr/mr/binary/dpkg-dev/1.21.1/binfiles?fileinfo=1
Get binary package info: dwz=0.14-1
Binary URL: http://snapshot.notset.fr/mr/binary/dwz/0.14-1/binfiles?fileinfo=1
Get binary package info: file=1:5.41-2
Binary URL: http://snapshot.notset.fr/mr/binary/file/1:5.41-2/binfiles?fileinfo=1
Get binary package info: findutils=4.8.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/findutils/4.8.0-1/binfiles?fileinfo=1
Get binary package info: g++=4:11.2.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/g++/4:11.2.0-2/binfiles?fileinfo=1
Get binary package info: g++-11=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/g++-11/11.2.0-16/binfiles?fileinfo=1
Get binary package info: gcc=4:11.2.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/gcc/4:11.2.0-2/binfiles?fileinfo=1
Get binary package info: gcc-11=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/gcc-11/11.2.0-16/binfiles?fileinfo=1
Get binary package info: gcc-11-base=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/gcc-11-base/11.2.0-16/binfiles?fileinfo=1
Get binary package info: gettext=0.21-4
Binary URL: http://snapshot.notset.fr/mr/binary/gettext/0.21-4/binfiles?fileinfo=1
Get binary package info: gettext-base=0.21-4
Binary URL: http://snapshot.notset.fr/mr/binary/gettext-base/0.21-4/binfiles?fileinfo=1
Get binary package info: grep=3.7-1
Binary URL: http://snapshot.notset.fr/mr/binary/grep/3.7-1/binfiles?fileinfo=1
Get binary package info: groff-base=1.22.4-8
Binary URL: http://snapshot.notset.fr/mr/binary/groff-base/1.22.4-8/binfiles?fileinfo=1
Get binary package info: gzip=1.10-4
Binary URL: http://snapshot.notset.fr/mr/binary/gzip/1.10-4/binfiles?fileinfo=1
Get binary package info: hostname=3.23
Binary URL: http://snapshot.notset.fr/mr/binary/hostname/3.23/binfiles?fileinfo=1
Get binary package info: init-system-helpers=1.61
Binary URL: http://snapshot.notset.fr/mr/binary/init-system-helpers/1.61/binfiles?fileinfo=1
Get binary package info: intltool-debian=0.35.0+20060710.5
Binary URL: http://snapshot.notset.fr/mr/binary/intltool-debian/0.35.0+20060710.5/binfiles?fileinfo=1
Get binary package info: libacl1=2.3.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libacl1/2.3.1-1/binfiles?fileinfo=1
Get binary package info: libarchive-zip-perl=1.68-1
Binary URL: http://snapshot.notset.fr/mr/binary/libarchive-zip-perl/1.68-1/binfiles?fileinfo=1
Get binary package info: libasan6=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/libasan6/11.2.0-16/binfiles?fileinfo=1
Get binary package info: libatomic1=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/libatomic1/11.2.0-16/binfiles?fileinfo=1
Get binary package info: libattr1=1:2.5.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libattr1/1:2.5.1-1/binfiles?fileinfo=1
Get binary package info: libaudit-common=1:3.0.7-1
Binary URL: http://snapshot.notset.fr/mr/binary/libaudit-common/1:3.0.7-1/binfiles?fileinfo=1
Get binary package info: libaudit1=1:3.0.7-1
Binary URL: http://snapshot.notset.fr/mr/binary/libaudit1/1:3.0.7-1/binfiles?fileinfo=1
Get binary package info: libbinutils=2.38-1
Binary URL: http://snapshot.notset.fr/mr/binary/libbinutils/2.38-1/binfiles?fileinfo=1
Get binary package info: libblkid1=2.37.3-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libblkid1/2.37.3-1+b1/binfiles?fileinfo=1
Get binary package info: libbz2-1.0=1.0.8-5
Binary URL: http://snapshot.notset.fr/mr/binary/libbz2-1.0/1.0.8-5/binfiles?fileinfo=1
Get binary package info: libc-bin=2.33-5
Binary URL: http://snapshot.notset.fr/mr/binary/libc-bin/2.33-5/binfiles?fileinfo=1
Get binary package info: libc-dev-bin=2.33-5
Binary URL: http://snapshot.notset.fr/mr/binary/libc-dev-bin/2.33-5/binfiles?fileinfo=1
Get binary package info: libc6=2.33-5
Binary URL: http://snapshot.notset.fr/mr/binary/libc6/2.33-5/binfiles?fileinfo=1
Get binary package info: libc6-dev=2.33-5
Binary URL: http://snapshot.notset.fr/mr/binary/libc6-dev/2.33-5/binfiles?fileinfo=1
Get binary package info: libcap-ng0=0.7.9-2.2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libcap-ng0/0.7.9-2.2+b1/binfiles?fileinfo=1
Get binary package info: libcap2=1:2.44-1
Binary URL: http://snapshot.notset.fr/mr/binary/libcap2/1:2.44-1/binfiles?fileinfo=1
Get binary package info: libcc1-0=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/libcc1-0/11.2.0-16/binfiles?fileinfo=1
Get binary package info: libcom-err2=1.46.5-2
Binary URL: http://snapshot.notset.fr/mr/binary/libcom-err2/1.46.5-2/binfiles?fileinfo=1
Get binary package info: libcoq-core-ocaml=8.15.0+dfsg-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-core-ocaml/8.15.0+dfsg-2+b1/binfiles?fileinfo=1
Get binary package info: libcoq-stdlib=8.15.0+dfsg-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-stdlib/8.15.0+dfsg-2+b1/binfiles?fileinfo=1
Get binary package info: libcrypt-dev=1:4.4.27-1.1
Binary URL: http://snapshot.notset.fr/mr/binary/libcrypt-dev/1:4.4.27-1.1/binfiles?fileinfo=1
Get binary package info: libcrypt1=1:4.4.27-1.1
Binary URL: http://snapshot.notset.fr/mr/binary/libcrypt1/1:4.4.27-1.1/binfiles?fileinfo=1
Get binary package info: libctf-nobfd0=2.38-1
Binary URL: http://snapshot.notset.fr/mr/binary/libctf-nobfd0/2.38-1/binfiles?fileinfo=1
Get binary package info: libctf0=2.38-1
Binary URL: http://snapshot.notset.fr/mr/binary/libctf0/2.38-1/binfiles?fileinfo=1
Get binary package info: libdb5.3=5.3.28+dfsg1-0.8
Binary URL: http://snapshot.notset.fr/mr/binary/libdb5.3/5.3.28+dfsg1-0.8/binfiles?fileinfo=1
Get binary package info: libdebconfclient0=0.261
Binary URL: http://snapshot.notset.fr/mr/binary/libdebconfclient0/0.261/binfiles?fileinfo=1
Get binary package info: libdebhelper-perl=13.6
Binary URL: http://snapshot.notset.fr/mr/binary/libdebhelper-perl/13.6/binfiles?fileinfo=1
Get binary package info: libdpkg-perl=1.21.1
Binary URL: http://snapshot.notset.fr/mr/binary/libdpkg-perl/1.21.1/binfiles?fileinfo=1
Get binary package info: libelf1=0.186-1
Binary URL: http://snapshot.notset.fr/mr/binary/libelf1/0.186-1/binfiles?fileinfo=1
Get binary package info: libexpat1=2.4.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libexpat1/2.4.4-1/binfiles?fileinfo=1
Get binary package info: libffi8=3.4.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/libffi8/3.4.2-4/binfiles?fileinfo=1
Get binary package info: libfile-stripnondeterminism-perl=1.13.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libfile-stripnondeterminism-perl/1.13.0-1/binfiles?fileinfo=1
Get binary package info: libfindlib-ocaml=1.9.1-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libfindlib-ocaml/1.9.1-1+b1/binfiles?fileinfo=1
Get binary package info: libgcc-11-dev=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/libgcc-11-dev/11.2.0-16/binfiles?fileinfo=1
Get binary package info: libgcc-s1=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/libgcc-s1/11.2.0-16/binfiles?fileinfo=1
Get binary package info: libgcrypt20=1.9.4-5
Binary URL: http://snapshot.notset.fr/mr/binary/libgcrypt20/1.9.4-5/binfiles?fileinfo=1
Get binary package info: libgdbm-compat4=1.23-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgdbm-compat4/1.23-1/binfiles?fileinfo=1
Get binary package info: libgdbm6=1.23-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgdbm6/1.23-1/binfiles?fileinfo=1
Get binary package info: libgmp10=2:6.2.1+dfsg-3
Binary URL: http://snapshot.notset.fr/mr/binary/libgmp10/2:6.2.1+dfsg-3/binfiles?fileinfo=1
Get binary package info: libgomp1=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/libgomp1/11.2.0-16/binfiles?fileinfo=1
Get binary package info: libgpg-error0=1.43-3
Binary URL: http://snapshot.notset.fr/mr/binary/libgpg-error0/1.43-3/binfiles?fileinfo=1
Get binary package info: libgssapi-krb5-2=1.18.3-7
Binary URL: http://snapshot.notset.fr/mr/binary/libgssapi-krb5-2/1.18.3-7/binfiles?fileinfo=1
Get binary package info: libicu67=67.1-7
Binary URL: http://snapshot.notset.fr/mr/binary/libicu67/67.1-7/binfiles?fileinfo=1
Get binary package info: libisl23=0.24-2
Binary URL: http://snapshot.notset.fr/mr/binary/libisl23/0.24-2/binfiles?fileinfo=1
Get binary package info: libitm1=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/libitm1/11.2.0-16/binfiles?fileinfo=1
Get binary package info: libk5crypto3=1.18.3-7
Binary URL: http://snapshot.notset.fr/mr/binary/libk5crypto3/1.18.3-7/binfiles?fileinfo=1
Get binary package info: libkeyutils1=1.6.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/libkeyutils1/1.6.1-2/binfiles?fileinfo=1
Get binary package info: libkrb5-3=1.18.3-7
Binary URL: http://snapshot.notset.fr/mr/binary/libkrb5-3/1.18.3-7/binfiles?fileinfo=1
Get binary package info: libkrb5support0=1.18.3-7
Binary URL: http://snapshot.notset.fr/mr/binary/libkrb5support0/1.18.3-7/binfiles?fileinfo=1
Get binary package info: liblsan0=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/liblsan0/11.2.0-16/binfiles?fileinfo=1
Get binary package info: liblz4-1=1.9.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/liblz4-1/1.9.3-2/binfiles?fileinfo=1
Get binary package info: liblzma5=5.2.5-2
Binary URL: http://snapshot.notset.fr/mr/binary/liblzma5/5.2.5-2/binfiles?fileinfo=1
Get binary package info: libmagic-mgc=1:5.41-2
Binary URL: http://snapshot.notset.fr/mr/binary/libmagic-mgc/1:5.41-2/binfiles?fileinfo=1
Get binary package info: libmagic1=1:5.41-2
Binary URL: http://snapshot.notset.fr/mr/binary/libmagic1/1:5.41-2/binfiles?fileinfo=1
Get binary package info: libmount1=2.37.3-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libmount1/2.37.3-1+b1/binfiles?fileinfo=1
Get binary package info: libmpc3=1.2.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libmpc3/1.2.1-1/binfiles?fileinfo=1
Get binary package info: libmpdec3=2.5.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/libmpdec3/2.5.1-2/binfiles?fileinfo=1
Get binary package info: libmpfr6=4.1.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/libmpfr6/4.1.0-3/binfiles?fileinfo=1
Get binary package info: libncurses-dev=6.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/libncurses-dev/6.3-2/binfiles?fileinfo=1
Get binary package info: libncurses5-dev=6.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/libncurses5-dev/6.3-2/binfiles?fileinfo=1
Get binary package info: libncurses6=6.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/libncurses6/6.3-2/binfiles?fileinfo=1
Get binary package info: libncursesw6=6.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/libncursesw6/6.3-2/binfiles?fileinfo=1
Get binary package info: libnsl-dev=1.3.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libnsl-dev/1.3.0-2/binfiles?fileinfo=1
Get binary package info: libnsl2=1.3.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libnsl2/1.3.0-2/binfiles?fileinfo=1
Get binary package info: libpam-modules=1.4.0-11
Binary URL: http://snapshot.notset.fr/mr/binary/libpam-modules/1.4.0-11/binfiles?fileinfo=1
Get binary package info: libpam-modules-bin=1.4.0-11
Binary URL: http://snapshot.notset.fr/mr/binary/libpam-modules-bin/1.4.0-11/binfiles?fileinfo=1
Get binary package info: libpam-runtime=1.4.0-11
Binary URL: http://snapshot.notset.fr/mr/binary/libpam-runtime/1.4.0-11/binfiles?fileinfo=1
Get binary package info: libpam0g=1.4.0-11
Binary URL: http://snapshot.notset.fr/mr/binary/libpam0g/1.4.0-11/binfiles?fileinfo=1
Get binary package info: libpcre2-8-0=10.39-3
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre2-8-0/10.39-3/binfiles?fileinfo=1
Get binary package info: libpcre3=2:8.39-13
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre3/2:8.39-13/binfiles?fileinfo=1
Get binary package info: libperl5.34=5.34.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/libperl5.34/5.34.0-3/binfiles?fileinfo=1
Get binary package info: libpipeline1=1.5.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpipeline1/1.5.5-1/binfiles?fileinfo=1
Get binary package info: libpython3-stdlib=3.9.8-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpython3-stdlib/3.9.8-1/binfiles?fileinfo=1
Get binary package info: libpython3.9-minimal=3.9.10-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpython3.9-minimal/3.9.10-1/binfiles?fileinfo=1
Get binary package info: libpython3.9-stdlib=3.9.10-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpython3.9-stdlib/3.9.10-1/binfiles?fileinfo=1
Get binary package info: libquadmath0=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/libquadmath0/11.2.0-16/binfiles?fileinfo=1
Get binary package info: libreadline8=8.1.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/libreadline8/8.1.2-1/binfiles?fileinfo=1
Get binary package info: libseccomp2=2.5.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/libseccomp2/2.5.3-2/binfiles?fileinfo=1
Get binary package info: libselinux1=3.3-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libselinux1/3.3-1+b1/binfiles?fileinfo=1
Get binary package info: libsigsegv2=2.14-1
Binary URL: http://snapshot.notset.fr/mr/binary/libsigsegv2/2.14-1/binfiles?fileinfo=1
Get binary package info: libsmartcols1=2.37.3-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libsmartcols1/2.37.3-1+b1/binfiles?fileinfo=1
Get binary package info: libsqlite3-0=3.37.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libsqlite3-0/3.37.2-2/binfiles?fileinfo=1
Get binary package info: libssl1.1=1.1.1m-1
Binary URL: http://snapshot.notset.fr/mr/binary/libssl1.1/1.1.1m-1/binfiles?fileinfo=1
Get binary package info: libstdc++-11-dev=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/libstdc++-11-dev/11.2.0-16/binfiles?fileinfo=1
Get binary package info: libstdc++6=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/libstdc++6/11.2.0-16/binfiles?fileinfo=1
Get binary package info: libsub-override-perl=0.09-2
Binary URL: http://snapshot.notset.fr/mr/binary/libsub-override-perl/0.09-2/binfiles?fileinfo=1
Get binary package info: libsystemd0=250.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/libsystemd0/250.3-2/binfiles?fileinfo=1
Get binary package info: libtinfo6=6.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/libtinfo6/6.3-2/binfiles?fileinfo=1
Get binary package info: libtirpc-common=1.3.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libtirpc-common/1.3.2-2/binfiles?fileinfo=1
Get binary package info: libtirpc-dev=1.3.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libtirpc-dev/1.3.2-2/binfiles?fileinfo=1
Get binary package info: libtirpc3=1.3.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libtirpc3/1.3.2-2/binfiles?fileinfo=1
Get binary package info: libtool=2.4.6-15
Binary URL: http://snapshot.notset.fr/mr/binary/libtool/2.4.6-15/binfiles?fileinfo=1
Get binary package info: libtsan0=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/libtsan0/11.2.0-16/binfiles?fileinfo=1
Get binary package info: libubsan1=11.2.0-16
Binary URL: http://snapshot.notset.fr/mr/binary/libubsan1/11.2.0-16/binfiles?fileinfo=1
Get binary package info: libuchardet0=0.0.7-1
Binary URL: http://snapshot.notset.fr/mr/binary/libuchardet0/0.0.7-1/binfiles?fileinfo=1
Get binary package info: libudev1=250.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/libudev1/250.3-2/binfiles?fileinfo=1
Get binary package info: libunistring2=1.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libunistring2/1.0-1/binfiles?fileinfo=1
Get binary package info: libuuid1=2.37.3-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libuuid1/2.37.3-1+b1/binfiles?fileinfo=1
Get binary package info: libxml2=2.9.12+dfsg-5+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libxml2/2.9.12+dfsg-5+b1/binfiles?fileinfo=1
Get binary package info: libzarith-ocaml=1.12-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libzarith-ocaml/1.12-1+b1/binfiles?fileinfo=1
Get binary package info: libzstd1=1.4.8+dfsg-3
Binary URL: http://snapshot.notset.fr/mr/binary/libzstd1/1.4.8+dfsg-3/binfiles?fileinfo=1
Get binary package info: linux-libc-dev=5.16.7-2
Binary URL: http://snapshot.notset.fr/mr/binary/linux-libc-dev/5.16.7-2/binfiles?fileinfo=1
Get binary package info: login=1:4.11.1+dfsg1-1
Binary URL: http://snapshot.notset.fr/mr/binary/login/1:4.11.1+dfsg1-1/binfiles?fileinfo=1
Get binary package info: lsb-base=11.1.0
Binary URL: http://snapshot.notset.fr/mr/binary/lsb-base/11.1.0/binfiles?fileinfo=1
Get binary package info: lua5.1=5.1.5-8.1+b3
Binary URL: http://snapshot.notset.fr/mr/binary/lua5.1/5.1.5-8.1+b3/binfiles?fileinfo=1
Get binary package info: m4=1.4.18-5
Binary URL: http://snapshot.notset.fr/mr/binary/m4/1.4.18-5/binfiles?fileinfo=1
Get binary package info: make=4.3-4.1
Binary URL: http://snapshot.notset.fr/mr/binary/make/4.3-4.1/binfiles?fileinfo=1
Get binary package info: man-db=2.10.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/man-db/2.10.1-1/binfiles?fileinfo=1
Get binary package info: mawk=1.3.4.20200120-3+b1
Binary URL: http://snapshot.notset.fr/mr/binary/mawk/1.3.4.20200120-3+b1/binfiles?fileinfo=1
Get binary package info: media-types=5.0.0
Binary URL: http://snapshot.notset.fr/mr/binary/media-types/5.0.0/binfiles?fileinfo=1
Get binary package info: ncurses-base=6.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/ncurses-base/6.3-2/binfiles?fileinfo=1
Get binary package info: ncurses-bin=6.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/ncurses-bin/6.3-2/binfiles?fileinfo=1
Get binary package info: ocaml=4.13.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml/4.13.1-3/binfiles?fileinfo=1
Get binary package info: ocaml-base=4.13.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-base/4.13.1-3/binfiles?fileinfo=1
Get binary package info: ocaml-compiler-libs=4.13.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-compiler-libs/4.13.1-3/binfiles?fileinfo=1
Get binary package info: ocaml-findlib=1.9.1-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-findlib/1.9.1-1+b1/binfiles?fileinfo=1
Get binary package info: ocaml-interp=4.13.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-interp/4.13.1-3/binfiles?fileinfo=1
Get binary package info: ocaml-nox=4.13.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-nox/4.13.1-3/binfiles?fileinfo=1
Get binary package info: patch=2.7.6-7
Binary URL: http://snapshot.notset.fr/mr/binary/patch/2.7.6-7/binfiles?fileinfo=1
Get binary package info: perl=5.34.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/perl/5.34.0-3/binfiles?fileinfo=1
Get binary package info: perl-base=5.34.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/perl-base/5.34.0-3/binfiles?fileinfo=1
Get binary package info: perl-modules-5.34=5.34.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/perl-modules-5.34/5.34.0-3/binfiles?fileinfo=1
Get binary package info: po-debconf=1.0.21+nmu1
Binary URL: http://snapshot.notset.fr/mr/binary/po-debconf/1.0.21+nmu1/binfiles?fileinfo=1
Get binary package info: python3=3.9.8-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3/3.9.8-1/binfiles?fileinfo=1
Get binary package info: python3-minimal=3.9.8-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-minimal/3.9.8-1/binfiles?fileinfo=1
Get binary package info: python3.9=3.9.10-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3.9/3.9.10-1/binfiles?fileinfo=1
Get binary package info: python3.9-minimal=3.9.10-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3.9-minimal/3.9.10-1/binfiles?fileinfo=1
Get binary package info: readline-common=8.1.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/readline-common/8.1.2-1/binfiles?fileinfo=1
Get binary package info: rpcsvc-proto=1.4.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/rpcsvc-proto/1.4.2-4/binfiles?fileinfo=1
Get binary package info: sed=4.8-1
Binary URL: http://snapshot.notset.fr/mr/binary/sed/4.8-1/binfiles?fileinfo=1
Get binary package info: sensible-utils=0.0.17
Binary URL: http://snapshot.notset.fr/mr/binary/sensible-utils/0.0.17/binfiles?fileinfo=1
Get binary package info: sysvinit-utils=3.01-1
Binary URL: http://snapshot.notset.fr/mr/binary/sysvinit-utils/3.01-1/binfiles?fileinfo=1
Get binary package info: tar=1.34+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/tar/1.34+dfsg-1/binfiles?fileinfo=1
Get binary package info: tzdata=2021e-1
Binary URL: http://snapshot.notset.fr/mr/binary/tzdata/2021e-1/binfiles?fileinfo=1
Get binary package info: util-linux=2.37.3-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/util-linux/2.37.3-1+b1/binfiles?fileinfo=1
Get binary package info: xz-utils=5.2.5-2
Binary URL: http://snapshot.notset.fr/mr/binary/xz-utils/5.2.5-2/binfiles?fileinfo=1
Get binary package info: zlib1g=1:1.2.11.dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/zlib1g/1:1.2.11.dfsg-2/binfiles?fileinfo=1
Remaining packages to be found: 180
Timestamp source (34 packages): deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220208T213545Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220123T025342Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220203T031730Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220215T025613Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220130T030506Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220129T210618Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211118T025207Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211103T025035Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210830T143924Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211212T031254Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220212T154028Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220112T025121Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220208T152907Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211214T030236Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211122T030439Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220216T030243Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220124T155715Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220217T154341Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210823T024636Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211205T025806Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220104T153720Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211223T031038Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210816T024705Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210901T090918Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220106T025822Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211123T025155Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211220T093239Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220208T091208Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220202T030237Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220129T025638Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210911T144836Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220211T025424Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220125T033125Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210930T025245Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211108T025858Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211105T024921Z/ bookworm main
Remaining packages to be found: 2
Timestamp source (1 packages): deb http://snapshot.notset.fr/archive/debian/20220225T025859Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210909T025907Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220101T024315Z/ bookworm main
Remaining packages to be found: 1
Timestamp source (1 packages): deb http://snapshot.notset.fr/archive/debian/20211211T024809Z/ bookworm main
New buildinfo file: /tmp/ssreflect-1.14.0-7wd85wm8z/ssreflect_1.14.0-7_all.buildinfo
env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf:all=2.71-2 automake:all=1:1.16.5-1.1 autopoint:all=0.21-4 autotools-dev:all=20220109.1 base-files:amd64=12.2 base-passwd:amd64=3.5.52 bash:amd64=5.1-6 binutils:amd64=2.38-1 binutils-common:amd64=2.38-1 binutils-x86-64-linux-gnu:amd64=2.38-1 bsdextrautils:amd64=2.37.3-1+b1 bsdutils:amd64=1:2.37.3-1+b1 build-essential:amd64=12.9 bzip2:amd64=1.0.8-5 coq:amd64=8.15.0+dfsg-2+b1 coreutils:amd64=8.32-4.1 cpp:amd64=4:11.2.0-2 cpp-11:amd64=11.2.0-16 dash:amd64=0.5.11+git20210903+057cd650a4ed-3 debconf:all=1.5.79 debhelper:all=13.6 debianutils:amd64=5.7-0.1 dh-autoreconf:all=20 dh-strip-nondeterminism:all=1.13.0-1 diffutils:amd64=1:3.7-5 dpkg:amd64=1.21.1 dpkg-dev:all=1.21.1 dwz:amd64=0.14-1 file:amd64=1:5.41-2 findutils:amd64=4.8.0-1 g++:amd64=4:11.2.0-2 g++-11:amd64=11.2.0-16 gcc:amd64=4:11.2.0-2 gcc-11:amd64=11.2.0-16 gcc-11-base:amd64=11.2.0-16 gettext:amd64=0.21-4 gettext-base:amd64=0.21-4 grep:amd64=3.7-1 groff-base:amd64=1.22.4-8 gzip:amd64=1.10-4 hostname:amd64=3.23 init-system-helpers:all=1.61 intltool-debian:all=0.35.0+20060710.5 libacl1:amd64=2.3.1-1 libarchive-zip-perl:all=1.68-1 libasan6:amd64=11.2.0-16 libatomic1:amd64=11.2.0-16 libattr1:amd64=1:2.5.1-1 libaudit-common:all=1:3.0.7-1 libaudit1:amd64=1:3.0.7-1 libbinutils:amd64=2.38-1 libblkid1:amd64=2.37.3-1+b1 libbz2-1.0:amd64=1.0.8-5 libc-bin:amd64=2.33-5 libc-dev-bin:amd64=2.33-5 libc6:amd64=2.33-5 libc6-dev:amd64=2.33-5 libcap-ng0:amd64=0.7.9-2.2+b1 libcap2:amd64=1:2.44-1 libcc1-0:amd64=11.2.0-16 libcom-err2:amd64=1.46.5-2 libcoq-core-ocaml:amd64=8.15.0+dfsg-2+b1 libcoq-stdlib:amd64=8.15.0+dfsg-2+b1 libcrypt-dev:amd64=1:4.4.27-1.1 libcrypt1:amd64=1:4.4.27-1.1 libctf-nobfd0:amd64=2.38-1 libctf0:amd64=2.38-1 libdb5.3:amd64=5.3.28+dfsg1-0.8 libdebconfclient0:amd64=0.261 libdebhelper-perl:all=13.6 libdpkg-perl:all=1.21.1 libelf1:amd64=0.186-1 libexpat1:amd64=2.4.4-1 libffi8:amd64=3.4.2-4 libfile-stripnondeterminism-perl:all=1.13.0-1 libfindlib-ocaml:amd64=1.9.1-1+b1 libgcc-11-dev:amd64=11.2.0-16 libgcc-s1:amd64=11.2.0-16 libgcrypt20:amd64=1.9.4-5 libgdbm-compat4:amd64=1.23-1 libgdbm6:amd64=1.23-1 libgmp10:amd64=2:6.2.1+dfsg-3 libgomp1:amd64=11.2.0-16 libgpg-error0:amd64=1.43-3 libgssapi-krb5-2:amd64=1.18.3-7 libicu67:amd64=67.1-7 libisl23:amd64=0.24-2 libitm1:amd64=11.2.0-16 libk5crypto3:amd64=1.18.3-7 libkeyutils1:amd64=1.6.1-2 libkrb5-3:amd64=1.18.3-7 libkrb5support0:amd64=1.18.3-7 liblsan0:amd64=11.2.0-16 liblz4-1:amd64=1.9.3-2 liblzma5:amd64=5.2.5-2 libmagic-mgc:amd64=1:5.41-2 libmagic1:amd64=1:5.41-2 libmount1:amd64=2.37.3-1+b1 libmpc3:amd64=1.2.1-1 libmpdec3:amd64=2.5.1-2 libmpfr6:amd64=4.1.0-3 libncurses-dev:amd64=6.3-2 libncurses5-dev:amd64=6.3-2 libncurses6:amd64=6.3-2 libncursesw6:amd64=6.3-2 libnsl-dev:amd64=1.3.0-2 libnsl2:amd64=1.3.0-2 libpam-modules:amd64=1.4.0-11 libpam-modules-bin:amd64=1.4.0-11 libpam-runtime:all=1.4.0-11 libpam0g:amd64=1.4.0-11 libpcre2-8-0:amd64=10.39-3 libpcre3:amd64=2:8.39-13 libperl5.34:amd64=5.34.0-3 libpipeline1:amd64=1.5.5-1 libpython3-stdlib:amd64=3.9.8-1 libpython3.9-minimal:amd64=3.9.10-1 libpython3.9-stdlib:amd64=3.9.10-1 libquadmath0:amd64=11.2.0-16 libreadline8:amd64=8.1.2-1 libseccomp2:amd64=2.5.3-2 libselinux1:amd64=3.3-1+b1 libsigsegv2:amd64=2.14-1 libsmartcols1:amd64=2.37.3-1+b1 libsqlite3-0:amd64=3.37.2-2 libssl1.1:amd64=1.1.1m-1 libstdc++-11-dev:amd64=11.2.0-16 libstdc++6:amd64=11.2.0-16 libsub-override-perl:all=0.09-2 libsystemd0:amd64=250.3-2 libtinfo6:amd64=6.3-2 libtirpc-common:all=1.3.2-2 libtirpc-dev:amd64=1.3.2-2 libtirpc3:amd64=1.3.2-2 libtool:all=2.4.6-15 libtsan0:amd64=11.2.0-16 libubsan1:amd64=11.2.0-16 libuchardet0:amd64=0.0.7-1 libudev1:amd64=250.3-2 libunistring2:amd64=1.0-1 libuuid1:amd64=2.37.3-1+b1 libxml2:amd64=2.9.12+dfsg-5+b1 libzarith-ocaml:amd64=1.12-1+b1 libzstd1:amd64=1.4.8+dfsg-3 linux-libc-dev:amd64=5.16.7-2 login:amd64=1:4.11.1+dfsg1-1 lsb-base:all=11.1.0 lua5.1:amd64=5.1.5-8.1+b3 m4:amd64=1.4.18-5 make:amd64=4.3-4.1 man-db:amd64=2.10.1-1 mawk:amd64=1.3.4.20200120-3+b1 media-types:all=5.0.0 ncurses-base:all=6.3-2 ncurses-bin:amd64=6.3-2 ocaml:amd64=4.13.1-3 ocaml-base:amd64=4.13.1-3 ocaml-compiler-libs:amd64=4.13.1-3 ocaml-findlib:amd64=1.9.1-1+b1 ocaml-interp:amd64=4.13.1-3 ocaml-nox:all=4.13.1-3 patch:amd64=2.7.6-7 perl:amd64=5.34.0-3 perl-base:amd64=5.34.0-3 perl-modules-5.34:all=5.34.0-3 po-debconf:all=1.0.21+nmu1 python3:amd64=3.9.8-1 python3-minimal:amd64=3.9.8-1 python3.9:amd64=3.9.10-1 python3.9-minimal:amd64=3.9.10-1 readline-common:all=8.1.2-1 rpcsvc-proto:amd64=1.4.2-4 sed:amd64=4.8-1 sensible-utils:all=0.0.17 sysvinit-utils:amd64=3.01-1 tar:amd64=1.34+dfsg-1 tzdata:all=2021e-1 util-linux:amd64=2.37.3-1+b1 xz-utils:amd64=5.2.5-2 zlib1g:amd64=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/20220219T032615Z/ bookworm main
deb-src http://snapshot.notset.fr/archive/debian/20220219T032615Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20220225T025859Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20211211T024809Z/ bookworm 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.14.0-7 && mkdir -p /build/ssreflect-61S60P && dpkg-source --no-check -x /*.dsc /build/ssreflect-61S60P/ssreflect-1.14.0 && chown -R builduser:builduser /build/ssreflect-61S60P" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/ssreflect-61S60P/ssreflect-1.14.0 && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1645046358" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=all" --customize-hook=sync-out /build/ssreflect-61S60P /tmp/ssreflect-1.14.0-7wd85wm8z bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220129T210618Z bookworm main
I: automatically chosen mode: root
I: chroot architecture amd64 is equal to the host's architecture
I: automatically chosen format: null
I: using /tmp/mmdebstrap.cpjAkOim98 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.cpjAkOim98
Reading package lists...
Building dependency tree...
util-linux is already the newest version (2.37.2-6).
The following NEW packages will be installed:
  fakeroot libfakeroot
0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded.
Need to get 136 kB of archives.
After this operation, 406 kB of additional disk space will be used.
Get:1 http://snapshot.notset.fr/archive/debian/20220129T210618Z bookworm/main amd64 libfakeroot amd64 1.27-1 [48.5 kB]
Get:2 http://snapshot.notset.fr/archive/debian/20220129T210618Z bookworm/main amd64 fakeroot amd64 1.27-1 [87.2 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 136 kB in 0s (1031 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 ... 4686 files and directories currently installed.)
Preparing to unpack .../libfakeroot_1.27-1_amd64.deb ...
Unpacking libfakeroot:amd64 (1.27-1) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../fakeroot_1.27-1_amd64.deb ...
Unpacking fakeroot (1.27-1) ...
Setting up libfakeroot:amd64 (1.27-1) ...
Setting up fakeroot (1.27-1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode
Processing triggers for libc-bin (2.33-5) ...
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/20220219T032615Z/ bookworm main
deb-src http://snapshot.notset.fr/archive/debian/20220219T032615Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20220225T025859Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20211211T024809Z/ bookworm main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.cpjAkOim98
Get:1 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm InRelease [129 kB]
Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB]
Get:3 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm InRelease [130 kB]
Get:4 http://snapshot.notset.fr/archive/debian/20211211T024809Z bookworm InRelease [129 kB]
Ign:5 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main Sources
Ign:6 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main amd64 Packages
Ign:5 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main Sources
Ign:6 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main amd64 Packages
Ign:5 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main Sources
Ign:6 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main amd64 Packages
Get:5 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main Sources [11.9 MB]
Get:6 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main amd64 Packages [11.3 MB]
Ign:7 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages
Ign:8 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm/main amd64 Packages
Ign:9 http://snapshot.notset.fr/archive/debian/20211211T024809Z bookworm/main amd64 Packages
Ign:7 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages
Ign:8 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm/main amd64 Packages
Ign:9 http://snapshot.notset.fr/archive/debian/20211211T024809Z bookworm/main amd64 Packages
Ign:7 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages
Ign:8 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm/main amd64 Packages
Ign:9 http://snapshot.notset.fr/archive/debian/20211211T024809Z bookworm/main amd64 Packages
Get:7 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB]
Get:8 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm/main amd64 Packages [11.3 MB]
Get:9 http://snapshot.notset.fr/archive/debian/20211211T024809Z bookworm/main amd64 Packages [11.2 MB]
Fetched 57.2 MB in 46s (1241 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.cpjAkOim98
configuration error - unknown item 'NONEXISTENT' (notify administrator)
configuration error - unknown item 'PREVENT_NO_AUTH' (notify administrator)
I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d ssreflect=1.14.0-7 && mkdir -p /build/ssreflect-61S60P && dpkg-source --no-check -x /*.dsc /build/ssreflect-61S60P/ssreflect-1.14.0 && chown -R builduser:builduser /build/ssreflect-61S60P"' exec /tmp/mmdebstrap.cpjAkOim98
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 1368 kB of source archives.
Get:1 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main ssreflect 1.14.0-7 (dsc) [2580 B]
Get:2 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main ssreflect 1.14.0-7 (tar) [1353 kB]
Get:3 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main ssreflect 1.14.0-7 (diff) [12.4 kB]
Fetched 1368 kB in 1s (1298 kB/s)
Download complete and in download only mode
W: Download is performed unsandboxed as root as file 'ssreflect_1.14.0-7.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied)
dpkg-source: info: extracting ssreflect in /build/ssreflect-61S60P/ssreflect-1.14.0
dpkg-source: info: unpacking ssreflect_1.14.0.orig.tar.gz
dpkg-source: info: unpacking ssreflect_1.14.0-7.debian.tar.xz
I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/ssreflect-61S60P/ssreflect-1.14.0 && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1645046358" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=all"' exec /tmp/mmdebstrap.cpjAkOim98
dpkg-buildpackage: info: source package ssreflect
dpkg-buildpackage: info: source version 1.14.0-7
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@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-61S60P/ssreflect-1.14.0'
/usr/bin/make -C mathcomp all doc
make[2]: Entering directory '/build/ssreflect-61S60P/ssreflect-1.14.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
File "./ssreflect/seq.v", line 3562, characters 45-55:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
File "./ssreflect/seq.v", line 3565, characters 44-54:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
File "./ssreflect/seq.v", line 3565, characters 44-54:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
File "./ssreflect/seq.v", line 3565, characters 44-54:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
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
File "./ssreflect/finset.v", line 1069, characters 32-42:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
File "./ssreflect/finset.v", line 1766, characters 39-49:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
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
File "./algebra/matrix.v", line 1220, characters 51-61:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
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
File "./field/closed_field.v", line 769, characters 19-29:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
File "./field/closed_field.v", line 801, characters 31-41:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
File "./field/closed_field.v", line 803, characters 31-41:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
COQC fingroup/gproduct.v
File "./fingroup/gproduct.v", line 1675, characters 35-45:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
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
File "./ssreflect/seq.v", line 3562, characters 45-55:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
File "./ssreflect/seq.v", line 3565, characters 44-54:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
File "./ssreflect/seq.v", line 3565, characters 44-54:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
File "./ssreflect/seq.v", line 3565, characters 44-54:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
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
File "./ssreflect/finset.v", line 1069, characters 32-42:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
File "./ssreflect/finset.v", line 1766, characters 39-49:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
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
File "./algebra/matrix.v", line 1220, characters 51-61:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
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
File "./field/closed_field.v", line 769, characters 19-29:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
File "./field/closed_field.v", line 801, characters 31-41:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
File "./field/closed_field.v", line 803, characters 31-41:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
COQC fingroup/gproduct.v
File "./fingroup/gproduct.v", line 1675, characters 35-45:
Warning: Notation prod_curry is deprecated since 8.13. Use uncurry instead.
[deprecated-syntactic-definition,deprecated]
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 && 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-61S60P/ssreflect-1.14.0/mathcomp'
make[1]: Leaving directory '/build/ssreflect-61S60P/ssreflect-1.14.0'
   create-stamp debian/debhelper-build-stamp
   dh_prep -i
   debian/rules override_dh_auto_install
make[1]: Entering directory '/build/ssreflect-61S60P/ssreflect-1.14.0'
/usr/bin/make -C mathcomp install DSTROOT=/build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp
make[2]: Entering directory '/build/ssreflect-61S60P/ssreflect-1.14.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/ocaml/coq: Permission denied
make[3]: /usr/lib/ocaml/coq: Permission denied
make[3]: /usr/lib/ocaml/coq: Permission denied
make[3]: /usr/lib/ocaml/coq: Permission denied
make[3]: /usr/lib/ocaml/coq: Permission denied
make[3]: /usr/lib/ocaml/coq: Permission denied
INSTALL algebra/all_algebra.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/finalg.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/countalg.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/fraction.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/intdiv.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/interval.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/matrix.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxalgebra.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxpoly.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polydiv.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/poly.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polyXY.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/rat.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ring_quotient.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssralg.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrint.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrnum.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/vector.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/zmodp.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL all/all.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//all
INSTALL character/all_character.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/character.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/classfun.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/inertia.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/integral_char.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/mxabelem.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/mxrepresentation.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/vcharacter.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL field/algC.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/algebraics_fundamentals.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/algnum.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/all_field.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/closed_field.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/cyclotomic.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/falgebra.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/fieldext.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/finfield.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/galois.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/separable.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL fingroup/action.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/all_fingroup.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/automorphism.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/fingroup.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/gproduct.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/morphism.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/perm.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/presentation.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/quotient.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL solvable/abelian.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/all_solvable.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/alt.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/burnside_app.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/center.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/commutator.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/cyclic.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extraspecial.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extremal.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/finmodule.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/frobenius.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gfunctor.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gseries.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/hall.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/jordanholder.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/maximal.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/nilpotent.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/pgroup.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/primitive_action.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/sylow.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL ssreflect/all_ssreflect.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/bigop.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/binomial.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/choice.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/div.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/eqtype.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finfun.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fingraph.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finset.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fintype.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/generic_quotient.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/order.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/path.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/prime.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/seq.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrAC.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrbool.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssreflect.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrfun.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnat.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnotations.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrmatching.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/tuple.vo /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL algebra/all_algebra.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/finalg.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/countalg.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/fraction.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/intdiv.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/interval.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/matrix.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxalgebra.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxpoly.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polydiv.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/poly.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polyXY.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/rat.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ring_quotient.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssralg.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrint.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrnum.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/vector.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/zmodp.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL all/all.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//all
INSTALL character/all_character.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/character.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/classfun.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/inertia.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/integral_char.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/mxabelem.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/mxrepresentation.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/vcharacter.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL field/algC.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/algebraics_fundamentals.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/algnum.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/all_field.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/closed_field.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/cyclotomic.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/falgebra.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/fieldext.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/finfield.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/galois.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/separable.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL fingroup/action.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/all_fingroup.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/automorphism.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/fingroup.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/gproduct.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/morphism.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/perm.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/presentation.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/quotient.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL solvable/abelian.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/all_solvable.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/alt.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/burnside_app.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/center.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/commutator.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/cyclic.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extraspecial.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extremal.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/finmodule.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/frobenius.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gfunctor.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gseries.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/hall.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/jordanholder.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/maximal.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/nilpotent.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/pgroup.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/primitive_action.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/sylow.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL ssreflect/all_ssreflect.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/bigop.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/binomial.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/choice.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/div.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/eqtype.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finfun.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fingraph.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finset.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fintype.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/generic_quotient.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/order.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/path.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/prime.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/seq.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrAC.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrbool.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssreflect.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrfun.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnat.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnotations.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrmatching.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/tuple.v /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL algebra/all_algebra.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/finalg.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/countalg.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/fraction.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/intdiv.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/interval.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/matrix.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxalgebra.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/mxpoly.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polydiv.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/poly.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/polyXY.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/rat.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ring_quotient.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssralg.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrint.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/ssrnum.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/vector.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL algebra/zmodp.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra
INSTALL all/all.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//all
INSTALL character/all_character.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/character.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/classfun.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/inertia.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/integral_char.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/mxabelem.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/mxrepresentation.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL character/vcharacter.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character
INSTALL field/algC.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/algebraics_fundamentals.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/algnum.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/all_field.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/closed_field.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/cyclotomic.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/falgebra.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/fieldext.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/finfield.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/galois.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL field/separable.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field
INSTALL fingroup/action.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/all_fingroup.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/automorphism.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/fingroup.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/gproduct.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/morphism.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/perm.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/presentation.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL fingroup/quotient.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup
INSTALL solvable/abelian.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/all_solvable.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/alt.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/burnside_app.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/center.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/commutator.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/cyclic.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extraspecial.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/extremal.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/finmodule.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/frobenius.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gfunctor.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/gseries.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/hall.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/jordanholder.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/maximal.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/nilpotent.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/pgroup.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/primitive_action.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL solvable/sylow.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable
INSTALL ssreflect/all_ssreflect.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/bigop.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/binomial.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/choice.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/div.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/eqtype.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finfun.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fingraph.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/finset.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/fintype.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/generic_quotient.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/order.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/path.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/prime.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/seq.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrAC.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrbool.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssreflect.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrfun.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnat.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrnotations.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/ssrmatching.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
INSTALL ssreflect/tuple.glob /build/ssreflect-61S60P/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect
make[2]: Leaving directory '/build/ssreflect-61S60P/ssreflect-1.14.0/mathcomp'
for pkg in algebra character field fingroup solvable ssreflect; do \
	find debian/tmp/usr/lib/ocaml/coq/user-contrib/mathcomp/$pkg -regextype posix-awk \
	-regex '.*\.(v|vo|vos|glob)$' \
	>> debian/libcoq-mathcomp-$pkg.install ; \
done
find debian/tmp/usr/lib/ocaml/coq/user-contrib/mathcomp/all -regextype posix-awk \
-regex '.*\.(v|vo|vos|glob)$' \
>> debian/libcoq-mathcomp.install ;	
make[1]: Leaving directory '/build/ssreflect-61S60P/ssreflect-1.14.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-61S60P/ssreflect-1.14.0'
dh_gencontrol -- -VF:CoqABI="8.15.0+4.13.1"
make[1]: Leaving directory '/build/ssreflect-61S60P/ssreflect-1.14.0'
   dh_md5sums -i
   dh_builddeb -i
dpkg-deb: building package 'libcoq-mathcomp-algebra' in '../libcoq-mathcomp-algebra_1.14.0-7_all.deb'.
dpkg-deb: building package 'libcoq-mathcomp-character' in '../libcoq-mathcomp-character_1.14.0-7_all.deb'.
dpkg-deb: building package 'libcoq-mathcomp-field' in '../libcoq-mathcomp-field_1.14.0-7_all.deb'.
dpkg-deb: building package 'libcoq-mathcomp-fingroup' in '../libcoq-mathcomp-fingroup_1.14.0-7_all.deb'.
dpkg-deb: building package 'libcoq-mathcomp-solvable' in '../libcoq-mathcomp-solvable_1.14.0-7_all.deb'.
dpkg-deb: building package 'libcoq-mathcomp-ssreflect' in '../libcoq-mathcomp-ssreflect_1.14.0-7_all.deb'.
dpkg-deb: building package 'libcoq-mathcomp' in '../libcoq-mathcomp_1.14.0-7_all.deb'.
 dpkg-genbuildinfo --build=all -O../ssreflect_1.14.0-7_all.buildinfo
 dpkg-genchanges --build=all -O../ssreflect_1.14.0-7_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-61S60P /tmp/ssreflect-1.14.0-7wd85wm8z
I: cleaning package lists and apt cache...
I: removing tempdir /tmp/mmdebstrap.cpjAkOim98...
I: success in 6613.0619 seconds
md5: libcoq-mathcomp-algebra_1.14.0-7_all.deb: OK
md5: libcoq-mathcomp-character_1.14.0-7_all.deb: OK
md5: libcoq-mathcomp-field_1.14.0-7_all.deb: OK
md5: libcoq-mathcomp-fingroup_1.14.0-7_all.deb: OK
md5: libcoq-mathcomp-solvable_1.14.0-7_all.deb: OK
md5: libcoq-mathcomp-ssreflect_1.14.0-7_all.deb: OK
md5: libcoq-mathcomp_1.14.0-7_all.deb: OK
sha1: libcoq-mathcomp-algebra_1.14.0-7_all.deb: OK
sha1: libcoq-mathcomp-character_1.14.0-7_all.deb: OK
sha1: libcoq-mathcomp-field_1.14.0-7_all.deb: OK
sha1: libcoq-mathcomp-fingroup_1.14.0-7_all.deb: OK
sha1: libcoq-mathcomp-solvable_1.14.0-7_all.deb: OK
sha1: libcoq-mathcomp-ssreflect_1.14.0-7_all.deb: OK
sha1: libcoq-mathcomp_1.14.0-7_all.deb: OK
sha256: libcoq-mathcomp-algebra_1.14.0-7_all.deb: OK
sha256: libcoq-mathcomp-character_1.14.0-7_all.deb: OK
sha256: libcoq-mathcomp-field_1.14.0-7_all.deb: OK
sha256: libcoq-mathcomp-fingroup_1.14.0-7_all.deb: OK
sha256: libcoq-mathcomp-solvable_1.14.0-7_all.deb: OK
sha256: libcoq-mathcomp-ssreflect_1.14.0-7_all.deb: OK
sha256: libcoq-mathcomp_1.14.0-7_all.deb: OK
Checksums: OK