Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/s/ssreflect/ssreflect_1.14.0-8_all.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/ssreflect-1.14.0-8nq6h9hu7/ssreflect_1.14.0-8_all.buildinfo Get source package info: ssreflect=1.14.0-8 Source URL: http://snapshot.notset.fr/mr/package/ssreflect/1.14.0-8/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.71-2 automake=1:1.16.5-1.3 autopoint=0.21-4 autotools-dev=20220109.1 base-files=12.2 base-passwd=3.5.52 bash=5.1-6 binutils=2.38-3 binutils-common=2.38-3 binutils-x86-64-linux-gnu=2.38-3 bsdextrautils=2.37.3-1+b1 bsdutils=1:2.37.3-1+b1 build-essential=12.9 bzip2=1.0.8-5 coq=8.15.1+dfsg-1 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.2.0-18 dash=0.5.11+git20210903+057cd650a4ed-8 debconf=1.5.79 debhelper=13.6 debianutils=5.7-0.1 dh-autoreconf=20 dh-strip-nondeterminism=1.13.0-1 diffutils=1:3.7-5 dpkg=1.21.2 dpkg-dev=1.21.2 dwz=0.14-1 file=1:5.41-2 findutils=4.9.0-2 g++=4:11.2.0-2 g++-11=11.2.0-18 gcc=4:11.2.0-2 gcc-11=11.2.0-18 gcc-11-base=11.2.0-18 gcc-12-base=12-20220319-1 gettext=0.21-4 gettext-base=0.21-4 grep=3.7-1 groff-base=1.22.4-8 gzip=1.10-4 hostname=3.23 init-system-helpers=1.62 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.2.0-18 libatomic1=12-20220319-1 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1+b1 libbinutils=2.38-3 libblkid1=2.37.3-1+b1 libbz2-1.0=1.0.8-5 libc-bin=2.33-7 libc-dev-bin=2.33-7 libc6=2.33-7 libc6-dev=2.33-7 libcap-ng0=0.7.9-2.2+b1 libcap2=1:2.44-1 libcc1-0=12-20220319-1 libcom-err2=1.46.5-2 libcoq-core-ocaml=8.15.1+dfsg-1 libcoq-stdlib=8.15.1+dfsg-1 libcrypt-dev=1:4.4.27-1.1 libcrypt1=1:4.4.27-1.1 libctf-nobfd0=2.38-3 libctf0=2.38-3 libdb5.3=5.3.28+dfsg1-0.8 libdebconfclient0=0.261 libdebhelper-perl=13.6 libdpkg-perl=1.21.2 libelf1=0.186-1 libexpat1=2.4.7-1 libffi8=3.4.2-4 libfile-stripnondeterminism-perl=1.13.0-1 libfindlib-ocaml=1.9.3-1 libgcc-11-dev=11.2.0-18 libgcc-s1=12-20220319-1 libgcrypt20=1.9.4-5 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libgmp10=2:6.2.1+dfsg-3 libgomp1=12-20220319-1 libgpg-error0=1.43-3 libgssapi-krb5-2=1.19.2-2+b1 libicu67=67.1-7 libisl23=0.24-2 libitm1=12-20220319-1 libk5crypto3=1.19.2-2+b1 libkeyutils1=1.6.1-3 libkrb5-3=1.19.2-2+b1 libkrb5support0=1.19.2-2+b1 liblsan0=12-20220319-1 liblz4-1=1.9.3-2 liblzma5=5.2.5-2 libmagic-mgc=1:5.41-2 libmagic1=1:5.41-2 libmount1=2.37.3-1+b1 libmpc3=1.2.1-1 libmpdec3=2.5.1-2 libmpfr6=4.1.0-3 libncurses-dev=6.3-2 libncurses5-dev=6.3-2 libncurses6=6.3-2 libncursesw6=6.3-2 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libpam-modules=1.4.0-11 libpam-modules-bin=1.4.0-11 libpam-runtime=1.4.0-11 libpam0g=1.4.0-11 libpcre2-8-0=10.39-3 libpcre3=2:8.39-13 libperl5.34=5.34.0-3 libpipeline1=1.5.5-1 libpython3-stdlib=3.9.8-1 libpython3.9-minimal=3.9.11-1 libpython3.9-stdlib=3.9.11-1 libquadmath0=12-20220319-1 libreadline8=8.1.2-1 libseccomp2=2.5.3-2 libselinux1=3.3-1+b2 libsigsegv2=2.14-1 libsmartcols1=2.37.3-1+b1 libsqlite3-0=3.38.1-1 libssl1.1=1.1.1n-1 libstdc++-11-dev=11.2.0-18 libstdc++6=12-20220319-1 libsub-override-perl=0.09-2 libsystemd0=250.4-1 libtinfo6=6.3-2 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.7-1 libtsan0=11.2.0-18 libubsan1=12-20220319-1 libuchardet0=0.0.7-1 libudev1=250.4-1 libunistring2=1.0-1 libuuid1=2.37.3-1+b1 libxml2=2.9.13+dfsg-1 libzarith-ocaml=1.12-1+b1 libzstd1=1.4.9+dfsg-1 linux-libc-dev=5.16.14-1 login=1:4.11.1+dfsg1-2 lsb-base=11.1.0 lua5.4=5.4.4-1 m4=1.4.18-5 make=4.3-4.1 man-db=2.10.2-1 mawk=1.3.4.20200120-3+b1 media-types=7.0.0 ncurses-base=6.3-2 ncurses-bin=6.3-2 ocaml=4.13.1-3 ocaml-base=4.13.1-3 ocaml-compiler-libs=4.13.1-3 ocaml-findlib=1.9.3-1 ocaml-interp=4.13.1-3 ocaml-nox=4.13.1-3 patch=2.7.6-7 perl=5.34.0-3 perl-base=5.34.0-3 perl-modules-5.34=5.34.0-3 po-debconf=1.0.21+nmu1 python3=3.9.8-1 python3-minimal=3.9.8-1 python3.9=3.9.11-1 python3.9-minimal=3.9.11-1 readline-common=8.1.2-1 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sysvinit-utils=3.01-1 tar=1.34+dfsg-1 tzdata=2021e-1 util-linux=2.37.3-1+b1 xz-utils=5.2.5-2 zlib1g=1:1.2.11.dfsg-3 --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/20220323T210951Z/ unstable main deb-src http://snapshot.notset.fr/archive/debian/20220323T210951Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220421T205851Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220322T214128Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d ssreflect=1.14.0-8 && mkdir -p /build/ssreflect-vrIYHy && dpkg-source --no-check -x /*.dsc /build/ssreflect-vrIYHy/ssreflect-1.14.0 && chown -R builduser:builduser /build/ssreflect-vrIYHy" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/ssreflect-vrIYHy/ssreflect-1.14.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1648050299" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=all" --customize-hook=sync-out /build/ssreflect-vrIYHy /tmp/ssreflect-1.14.0-8nq6h9hu7 bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220322T214128Z unstable 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.g__eRo6Llc 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.g__eRo6Llc Reading package lists... Building dependency tree... util-linux is already the newest version (2.37.3-1+b1). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 135 kB of archives. After this operation, 406 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220322T214128Z unstable/main amd64 libfakeroot amd64 1.28-1 [48.2 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220322T214128Z unstable/main amd64 fakeroot amd64 1.28-1 [87.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 135 kB in 0s (854 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 ... 4702 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.28-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.28-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.28-1_amd64.deb ... Unpacking fakeroot (1.28-1) ... Setting up libfakeroot:amd64 (1.28-1) ... Setting up fakeroot (1.28-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.33-7) ... 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/20220323T210951Z/ unstable main deb-src http://snapshot.notset.fr/archive/debian/20220323T210951Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220421T205851Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220322T214128Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.g__eRo6Llc Get:1 http://snapshot.notset.fr/archive/debian/20220323T210951Z unstable InRelease [165 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220421T205851Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20220322T214128Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20220323T210951Z unstable/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220323T210951Z unstable/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220323T210951Z unstable/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220323T210951Z unstable/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220323T210951Z unstable/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220323T210951Z unstable/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20220323T210951Z unstable/main Sources [12.8 MB] Get:5 http://snapshot.notset.fr/archive/debian/20220323T210951Z unstable/main amd64 Packages [12.4 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20220421T205851Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20220421T205851Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20220421T205851Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20220421T205851Z unstable/main amd64 Packages [12.4 MB] Fetched 37.9 MB in 31s (1228 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.g__eRo6Llc I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d ssreflect=1.14.0-8 && mkdir -p /build/ssreflect-vrIYHy && dpkg-source --no-check -x /*.dsc /build/ssreflect-vrIYHy/ssreflect-1.14.0 && chown -R builduser:builduser /build/ssreflect-vrIYHy"' exec /tmp/mmdebstrap.g__eRo6Llc 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/20220323T210951Z unstable/main ssreflect 1.14.0-8 (dsc) [2580 B] Get:2 http://snapshot.notset.fr/archive/debian/20220323T210951Z unstable/main ssreflect 1.14.0-8 (tar) [1353 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220323T210951Z unstable/main ssreflect 1.14.0-8 (diff) [12.4 kB] Fetched 1368 kB in 1s (1237 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'ssreflect_1.14.0-8.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting ssreflect in /build/ssreflect-vrIYHy/ssreflect-1.14.0 dpkg-source: info: unpacking ssreflect_1.14.0.orig.tar.gz dpkg-source: info: unpacking ssreflect_1.14.0-8.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/ssreflect-vrIYHy/ssreflect-1.14.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1648050299" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=all"' exec /tmp/mmdebstrap.g__eRo6Llc dpkg-buildpackage: info: source package ssreflect dpkg-buildpackage: info: source version 1.14.0-8 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt 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-vrIYHy/ssreflect-1.14.0' /usr/bin/make -C mathcomp all doc make[2]: Entering directory '/build/ssreflect-vrIYHy/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-vrIYHy/ssreflect-1.14.0/mathcomp' make[1]: Leaving directory '/build/ssreflect-vrIYHy/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-vrIYHy/ssreflect-1.14.0' /usr/bin/make -C mathcomp install DSTROOT=/build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp make[2]: Entering directory '/build/ssreflect-vrIYHy/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-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/finalg.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/countalg.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/fraction.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/intdiv.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/interval.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/matrix.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/mxalgebra.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/mxpoly.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/polydiv.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/poly.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/polyXY.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/rat.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/ring_quotient.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/ssralg.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/ssrint.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/ssrnum.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/vector.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/zmodp.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL all/all.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//all INSTALL character/all_character.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/character.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/classfun.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/inertia.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/integral_char.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/mxabelem.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/mxrepresentation.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/vcharacter.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL field/algC.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/algebraics_fundamentals.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/algnum.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/all_field.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/closed_field.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/cyclotomic.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/falgebra.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/fieldext.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/finfield.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/galois.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/separable.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL fingroup/action.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/all_fingroup.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/automorphism.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/fingroup.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/gproduct.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/morphism.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/perm.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/presentation.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/quotient.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL solvable/abelian.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/all_solvable.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/alt.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/burnside_app.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/center.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/commutator.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/cyclic.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/extraspecial.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/extremal.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/finmodule.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/frobenius.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/gfunctor.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/gseries.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/hall.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/jordanholder.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/maximal.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/nilpotent.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/pgroup.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/primitive_action.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/sylow.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL ssreflect/all_ssreflect.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/bigop.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/binomial.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/choice.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/div.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/eqtype.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/finfun.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/fingraph.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/finset.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/fintype.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/generic_quotient.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/order.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/path.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/prime.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/seq.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrAC.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrbool.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssreflect.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrfun.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrnat.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrnotations.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrmatching.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/tuple.vo /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL algebra/all_algebra.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/finalg.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/countalg.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/fraction.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/intdiv.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/interval.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/matrix.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/mxalgebra.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/mxpoly.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/polydiv.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/poly.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/polyXY.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/rat.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/ring_quotient.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/ssralg.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/ssrint.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/ssrnum.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/vector.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/zmodp.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL all/all.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//all INSTALL character/all_character.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/character.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/classfun.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/inertia.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/integral_char.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/mxabelem.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/mxrepresentation.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/vcharacter.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL field/algC.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/algebraics_fundamentals.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/algnum.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/all_field.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/closed_field.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/cyclotomic.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/falgebra.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/fieldext.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/finfield.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/galois.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/separable.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL fingroup/action.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/all_fingroup.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/automorphism.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/fingroup.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/gproduct.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/morphism.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/perm.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/presentation.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/quotient.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL solvable/abelian.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/all_solvable.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/alt.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/burnside_app.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/center.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/commutator.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/cyclic.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/extraspecial.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/extremal.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/finmodule.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/frobenius.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/gfunctor.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/gseries.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/hall.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/jordanholder.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/maximal.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/nilpotent.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/pgroup.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/primitive_action.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/sylow.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL ssreflect/all_ssreflect.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/bigop.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/binomial.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/choice.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/div.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/eqtype.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/finfun.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/fingraph.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/finset.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/fintype.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/generic_quotient.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/order.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/path.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/prime.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/seq.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrAC.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrbool.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssreflect.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrfun.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrnat.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrnotations.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrmatching.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/tuple.v /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL algebra/all_algebra.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/finalg.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/countalg.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/fraction.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/intdiv.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/interval.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/matrix.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/mxalgebra.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/mxpoly.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/polydiv.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/poly.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/polyXY.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/rat.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/ring_quotient.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/ssralg.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/ssrint.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/ssrnum.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/vector.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL algebra/zmodp.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//algebra INSTALL all/all.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//all INSTALL character/all_character.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/character.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/classfun.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/inertia.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/integral_char.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/mxabelem.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/mxrepresentation.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL character/vcharacter.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//character INSTALL field/algC.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/algebraics_fundamentals.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/algnum.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/all_field.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/closed_field.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/cyclotomic.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/falgebra.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/fieldext.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/finfield.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/galois.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL field/separable.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//field INSTALL fingroup/action.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/all_fingroup.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/automorphism.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/fingroup.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/gproduct.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/morphism.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/perm.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/presentation.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL fingroup/quotient.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//fingroup INSTALL solvable/abelian.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/all_solvable.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/alt.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/burnside_app.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/center.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/commutator.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/cyclic.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/extraspecial.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/extremal.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/finmodule.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/frobenius.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/gfunctor.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/gseries.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/hall.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/jordanholder.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/maximal.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/nilpotent.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/pgroup.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/primitive_action.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL solvable/sylow.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//solvable INSTALL ssreflect/all_ssreflect.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/bigop.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/binomial.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/choice.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/div.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/eqtype.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/finfun.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/fingraph.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/finset.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/fintype.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/generic_quotient.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/order.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/path.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/prime.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/seq.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrAC.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrbool.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssreflect.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrfun.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrnat.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrnotations.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/ssrmatching.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect INSTALL ssreflect/tuple.glob /build/ssreflect-vrIYHy/ssreflect-1.14.0/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp//ssreflect make[2]: Leaving directory '/build/ssreflect-vrIYHy/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-vrIYHy/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-vrIYHy/ssreflect-1.14.0' dh_gencontrol -- -VF:CoqABI="8.15.1+4.13.1" make[1]: Leaving directory '/build/ssreflect-vrIYHy/ssreflect-1.14.0' dh_md5sums -i dh_builddeb -i dpkg-deb: building package 'libcoq-mathcomp-algebra' in '../libcoq-mathcomp-algebra_1.14.0-8_all.deb'. dpkg-deb: building package 'libcoq-mathcomp-fingroup' in '../libcoq-mathcomp-fingroup_1.14.0-8_all.deb'. dpkg-deb: building package 'libcoq-mathcomp-ssreflect' in '../libcoq-mathcomp-ssreflect_1.14.0-8_all.deb'. dpkg-deb: building package 'libcoq-mathcomp-character' in '../libcoq-mathcomp-character_1.14.0-8_all.deb'. dpkg-deb: building package 'libcoq-mathcomp-field' in '../libcoq-mathcomp-field_1.14.0-8_all.deb'. dpkg-deb: building package 'libcoq-mathcomp' in '../libcoq-mathcomp_1.14.0-8_all.deb'. dpkg-deb: building package 'libcoq-mathcomp-solvable' in '../libcoq-mathcomp-solvable_1.14.0-8_all.deb'. dpkg-genbuildinfo --build=all -O../ssreflect_1.14.0-8_all.buildinfo dpkg-genchanges --build=all -O../ssreflect_1.14.0-8_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-vrIYHy /tmp/ssreflect-1.14.0-8nq6h9hu7 I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.g__eRo6Llc... I: success in 3554.5690 seconds md5: libcoq-mathcomp-algebra_1.14.0-8_all.deb: OK md5: libcoq-mathcomp-character_1.14.0-8_all.deb: OK md5: libcoq-mathcomp-field_1.14.0-8_all.deb: OK md5: libcoq-mathcomp-fingroup_1.14.0-8_all.deb: OK md5: libcoq-mathcomp-solvable_1.14.0-8_all.deb: OK md5: libcoq-mathcomp-ssreflect_1.14.0-8_all.deb: OK md5: Value of 'md5' differs for libcoq-mathcomp_1.14.0-8_all.deb md5: Size differs for libcoq-mathcomp_1.14.0-8_all.deb sha1: libcoq-mathcomp-algebra_1.14.0-8_all.deb: OK sha1: libcoq-mathcomp-character_1.14.0-8_all.deb: OK sha1: libcoq-mathcomp-field_1.14.0-8_all.deb: OK sha1: libcoq-mathcomp-fingroup_1.14.0-8_all.deb: OK sha1: libcoq-mathcomp-solvable_1.14.0-8_all.deb: OK sha1: libcoq-mathcomp-ssreflect_1.14.0-8_all.deb: OK sha1: Value of 'sha1' differs for libcoq-mathcomp_1.14.0-8_all.deb sha1: Size differs for libcoq-mathcomp_1.14.0-8_all.deb sha256: libcoq-mathcomp-algebra_1.14.0-8_all.deb: OK sha256: libcoq-mathcomp-character_1.14.0-8_all.deb: OK sha256: libcoq-mathcomp-field_1.14.0-8_all.deb: OK sha256: libcoq-mathcomp-fingroup_1.14.0-8_all.deb: OK sha256: libcoq-mathcomp-solvable_1.14.0-8_all.deb: OK sha256: libcoq-mathcomp-ssreflect_1.14.0-8_all.deb: OK sha256: Value of 'sha256' differs for libcoq-mathcomp_1.14.0-8_all.deb sha256: Size differs for libcoq-mathcomp_1.14.0-8_all.deb Checksums: FAIL Cannot generate diffoscope for libcoq-mathcomp_1.14.0-8_all.deb: RetryError[]