Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/c/coqeal/coqeal_1.1.1-1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/coqeal-1.1.1-14u5vcctj/coqeal_1.1.1-1_amd64.buildinfo Get source package info: coqeal=1.1.1-1 Source URL: http://snapshot.notset.fr/mr/package/coqeal/1.1.1-1/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-6 autotools-dev=20220109.1 base-files=12.2 base-passwd=3.5.52 bash=5.1-6.1 binutils=2.38.50.20220629-4 binutils-common=2.38.50.20220629-4 binutils-x86-64-linux-gnu=2.38.50.20220629-4 bsdextrautils=2.38-4 bsdutils=1:2.38-4 build-essential=12.9 bzip2=1.0.8-5 coq=8.15.2+dfsg-2 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.3.0-4 dash=0.5.11+git20210903+057cd650a4ed-8 debconf=1.5.79 debhelper=13.8 debianutils=5.7-0.2 dh-autoreconf=20 dh-coq=0.3 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.13.0-1 diffutils=1:3.7-5 dpkg=1.21.9 dpkg-dev=1.21.9 dwz=0.14-1 file=1:5.41-4 findutils=4.9.0-3 g++=4:11.2.0-2 g++-11=11.3.0-4 gcc=4:11.2.0-2 gcc-11=11.3.0-4 gcc-11-base=11.3.0-4 gcc-12-base=12.1.0-5 gettext=0.21-6 gettext-base=0.21-6 grep=3.7-1 groff-base=1.22.4-8 gzip=1.12-1 hostname=3.23 init-system-helpers=1.64 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.3.0-4 libatomic1=12.1.0-5 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1+b1 libbinutils=2.38.50.20220629-4 libblkid1=2.38-4 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.8.3-1 libcap2=1:2.44-1 libcc1-0=12.1.0-5 libcom-err2=1.46.5-2 libcoq-bignums=8.15.0-7 libcoq-bignums-ocaml=8.15.0-7 libcoq-core-ocaml=8.15.2+dfsg-2 libcoq-core-ocaml-dev=8.15.2+dfsg-2 libcoq-mathcomp-algebra=1.15.0-1 libcoq-mathcomp-bigenough=1.0.1-8 libcoq-mathcomp-field=1.15.0-1 libcoq-mathcomp-fingroup=1.15.0-1 libcoq-mathcomp-finmap=1.5.1-9 libcoq-mathcomp-multinomials=1.5.5-8 libcoq-mathcomp-real-closed=1.1.3-1 libcoq-mathcomp-solvable=1.15.0-1 libcoq-mathcomp-ssreflect=1.15.0-1 libcoq-paramcoq=1.1.3-7 libcoq-paramcoq-ocaml=1.1.3-7 libcoq-stdlib=8.15.2+dfsg-2 libcrypt-dev=1:4.4.28-1 libcrypt1=1:4.4.28-1 libctf-nobfd0=2.38.50.20220629-4 libctf0=2.38.50.20220629-4 libdb5.3=5.3.28+dfsg1-0.10 libdebconfclient0=0.263 libdebhelper-perl=13.8 libdpkg-perl=1.21.9 libelf1=0.187-1 libexpat1=2.4.8-1 libffi8=3.4.2-4 libfile-stripnondeterminism-perl=1.13.0-1 libfindlib-ocaml=1.9.3-1 libgcc-11-dev=11.3.0-4 libgcc-s1=12.1.0-5 libgcrypt20=1.10.1-2 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libgmp-dev=2:6.2.1+dfsg1-1 libgmp10=2:6.2.1+dfsg1-1 libgmp3-dev=2:6.2.1+dfsg1-1 libgmpxx4ldbl=2:6.2.1+dfsg1-1 libgomp1=12.1.0-5 libgpg-error0=1.45-2 libgprofng0=2.38.50.20220629-4 libgssapi-krb5-2=1.19.2-2+b2 libicu71=71.1-3 libisl23=0.24-2 libitm1=12.1.0-5 libk5crypto3=1.19.2-2+b2 libkeyutils1=1.6.3-1 libkrb5-3=1.19.2-2+b2 libkrb5support0=1.19.2-2+b2 liblsan0=12.1.0-5 liblz4-1=1.9.3-2 liblzma5=5.2.5-2.1 libmagic-mgc=1:5.41-4 libmagic1=1:5.41-4 libmount1=2.38-4 libmpc3=1.2.1-2 libmpdec3=2.5.1-2 libmpfr6=4.1.0-3 libncurses-dev=6.3+20220423-2 libncurses5-dev=6.3+20220423-2 libncurses6=6.3+20220423-2 libncursesw6=6.3+20220423-2 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libpam-modules=1.4.0-13 libpam-modules-bin=1.4.0-13 libpam-runtime=1.4.0-13 libpam0g=1.4.0-13 libpcre2-8-0=10.40-1 libpcre3=2:8.39-14 libperl5.34=5.34.0-5 libpipeline1=1.5.6-1 libpython3-stdlib=3.10.4-1+b1 libpython3.10-minimal=3.10.5-1 libpython3.10-stdlib=3.10.5-1 libquadmath0=12.1.0-5 libreadline8=8.1.2-1.2 libseccomp2=2.5.4-1 libselinux1=3.4-1 libsigsegv2=2.14-1 libsmartcols1=2.38-4 libsqlite3-0=3.39.0-2 libssl3=3.0.4-2 libstdc++-11-dev=11.3.0-4 libstdc++6=12.1.0-5 libsub-override-perl=0.09-3 libsystemd0=251.2-7 libtinfo6=6.3+20220423-2 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.7-4 libtsan0=11.3.0-4 libubsan1=12.1.0-5 libuchardet0=0.0.7-1 libudev1=251.2-7 libunistring2=1.0-1 libuuid1=2.38-4 libxml2=2.9.14+dfsg-1 libzarith-ocaml=1.12-1+b1 libzarith-ocaml-dev=1.12-1+b1 libzstd1=1.5.2+dfsg-1 linux-libc-dev=5.18.5-1 login=1:4.11.1+dfsg1-2 lsb-base=11.2 m4=1.4.18-5 make=4.3-4.1 man-db=2.10.2-1 mawk=1.3.4.20200120-3.1 media-types=8.0.0 ncurses-base=6.3+20220423-2 ncurses-bin=6.3+20220423-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-5 perl-base=5.34.0-5 perl-modules-5.34=5.34.0-5 po-debconf=1.0.21+nmu1 python3=3.10.4-1+b1 python3-minimal=3.10.4-1+b1 python3.10=3.10.5-1 python3.10-minimal=3.10.5-1 readline-common=8.1.2-1.2 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sysvinit-utils=3.03-1 tar=1.34+dfsg-1 util-linux=2.38-4 util-linux-extra=2.38-4 xz-utils=5.2.5-2.1 zlib1g=1:1.2.11.dfsg-4 --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/20220710T025311Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220710T025311Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220714T031504Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220706T211221Z/ 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 coqeal=1.1.1-1 && mkdir -p /build/coqeal-AN42H1 && dpkg-source --no-check -x /*.dsc /build/coqeal-AN42H1/coqeal-1.1.1 && chown -R builduser:builduser /build/coqeal-AN42H1" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coqeal-AN42H1/coqeal-1.1.1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1657264210" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/coqeal-AN42H1 /tmp/coqeal-1.1.1-14u5vcctj bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220706T211221Z 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.mjgXN_2fWq 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.mjgXN_2fWq Reading package lists... Building dependency tree... util-linux is already the newest version (2.38-4). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 136 kB of archives. After this operation, 401 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220706T211221Z unstable/main amd64 libfakeroot amd64 1.29-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220706T211221Z unstable/main amd64 fakeroot amd64 1.29-1 [87.3 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 136 kB in 0s (1115 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 ... 4627 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.29-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.29-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.29-1_amd64.deb ... Unpacking fakeroot (1.29-1) ... Setting up libfakeroot:amd64 (1.29-1) ... Setting up fakeroot (1.29-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/20220710T025311Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220710T025311Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220714T031504Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220706T211221Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.mjgXN_2fWq Get:1 http://snapshot.notset.fr/archive/debian/20220710T025311Z bookworm InRelease [130 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220714T031504Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20220706T211221Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20220710T025311Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220710T025311Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220710T025311Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220710T025311Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220710T025311Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220710T025311Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20220710T025311Z bookworm/main Sources [12.1 MB] Get:5 http://snapshot.notset.fr/archive/debian/20220710T025311Z bookworm/main amd64 Packages [11.5 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20220714T031504Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20220714T031504Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20220714T031504Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20220714T031504Z unstable/main amd64 Packages [12.5 MB] Fetched 36.5 MB in 30s (1226 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.mjgXN_2fWq I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d coqeal=1.1.1-1 && mkdir -p /build/coqeal-AN42H1 && dpkg-source --no-check -x /*.dsc /build/coqeal-AN42H1/coqeal-1.1.1 && chown -R builduser:builduser /build/coqeal-AN42H1"' exec /tmp/mmdebstrap.mjgXN_2fWq Reading package lists... NOTICE: 'coqeal' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/coq-coqeal.git Please use: git clone https://salsa.debian.org/ocaml-team/coq-coqeal.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 223 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220710T025311Z bookworm/main coqeal 1.1.1-1 (dsc) [2153 B] Get:2 http://snapshot.notset.fr/archive/debian/20220710T025311Z bookworm/main coqeal 1.1.1-1 (tar) [219 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220710T025311Z bookworm/main coqeal 1.1.1-1 (diff) [2080 B] Fetched 223 kB in 0s (578 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'coqeal_1.1.1-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting coqeal in /build/coqeal-AN42H1/coqeal-1.1.1 dpkg-source: info: unpacking coqeal_1.1.1.orig.tar.gz dpkg-source: info: unpacking coqeal_1.1.1-1.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/coqeal-AN42H1/coqeal-1.1.1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1657264210" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.mjgXN_2fWq dpkg-buildpackage: info: source package coqeal dpkg-buildpackage: info: source version 1.1.1-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with coq debian/rules override_dh_auto_clean make[1]: Entering directory '/build/coqeal-AN42H1/coqeal-1.1.1' # not good make[1]: Leaving directory '/build/coqeal-AN42H1/coqeal-1.1.1' dh_clean debian/rules binary-arch dh binary-arch --with coq dh_update_autotools_config -a dh_autoreconf -a dh_auto_configure -a dh_auto_build -a make -j10 "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/coqeal-AN42H1/coqeal-1.1.1' coq_makefile -f _CoqProject -o Makefile.coq make[2]: Entering directory '/build/coqeal-AN42H1/coqeal-1.1.1' COQDEP VFILES COQC theory/atomic_operations.v COQC theory/ssrcomplements.v COQC theory/dvdring.v COQC theory/minor.v COQC theory/perm_eq_image.v COQC theory/gauss.v COQC theory/karatsuba.v COQC theory/ssralg_ring_tac.v COQC theory/toomcook.v COQC refinements/hrel.v COQC refinements/param.v COQC refinements/poly_op.v COQC theory/strassen.v 'leq_R' is now a registered translation. 'nilp_R' is now a registered translation. COQC theory/rank.v COQC refinements/refinements.v File "./refinements/poly_op.v", line 28, characters 0-63: Warning: The default value for Typeclasses Opaque and Typeclasses Transparent locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding typeclass transparency hints outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Typeclasses Transparent foo." [deprecated-typeclasses-transparency-without-locality,deprecated] File "./refinements/refinements.v", line 310, characters 0-169: Warning: The default value for Typeclasses Opaque and Typeclasses Transparent locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding typeclass transparency hints outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Typeclasses Transparent foo." [deprecated-typeclasses-transparency-without-locality,deprecated] COQC refinements/pos.v COQC refinements/poly_div.v COQC refinements/trivial_seq.v COQC refinements/boolF2.v COQC theory/binetcauchy.v COQC theory/closed_poly.v COQC refinements/binnat.v File "./refinements/binnat.v", line 182, characters 0-51: Warning: The default value for Typeclasses Opaque and Typeclasses Transparent locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding typeclass transparency hints outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Typeclasses Transparent foo." [deprecated-typeclasses-transparency-without-locality,deprecated] File "./refinements/binnat.v", line 376, characters 35-51: Warning: Notation rel_of_simpl_rel is deprecated since mathcomp 1.15. Use rel_of_simpl instead. [deprecated-syntactic-definition,deprecated] File "./refinements/binnat.v", line 376, characters 35-51: Warning: Notation rel_of_simpl_rel is deprecated since mathcomp 1.15. Use rel_of_simpl instead. [deprecated-syntactic-definition,deprecated] File "./refinements/binnat.v", line 441, characters 0-41: Warning: The default value for Typeclasses Opaque and Typeclasses Transparent locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding typeclass transparency hints outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Typeclasses Transparent foo." [deprecated-typeclasses-transparency-without-locality,deprecated] COQC refinements/binint.v COQC refinements/binord.v File "./refinements/binord.v", line 159, characters 45-61: Warning: Notation rel_of_simpl_rel is deprecated since mathcomp 1.15. Use rel_of_simpl instead. [deprecated-syntactic-definition,deprecated] File "./refinements/binord.v", line 159, characters 45-61: Warning: Notation rel_of_simpl_rel is deprecated since mathcomp 1.15. Use rel_of_simpl instead. [deprecated-syntactic-definition,deprecated] COQC refinements/seqpoly.v COQC refinements/hpoly.v COQC refinements/rational.v COQC refinements/binrat.v 'exp_seqpoly_R' is now a registered translation. 'expQnat_R' is now a registered translation. 'exp_hpoly_R' is now a registered translation. COQC theory/polydvd.v COQC theory/stronglydiscrete.v COQC theory/mxstructure.v COQC refinements/karatsuba.v COQC refinements/seqmx.v COQC refinements/examples/irred.v File "./refinements/seqmx.v", line 69, characters 0-222: Warning: The default value for Typeclasses Opaque and Typeclasses Transparent locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding typeclass transparency hints outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Typeclasses Transparent foo." [deprecated-typeclasses-transparency-without-locality,deprecated] COQC theory/coherent.v COQC theory/companion.v COQC theory/similar.v 'diag_seqmx_R' is now a registered translation. COQC theory/bareiss_dvdring.v COQC theory/bareiss.v COQC theory/edr.v File "./theory/edr.v", line 324, characters 10-19: Warning: Notation enum_ordS is deprecated since mathcomp 1.15.0. Use enum_ordSl instead. [deprecated-syntactic-definition,deprecated] File "./theory/edr.v", line 324, characters 10-19: Warning: Notation enum_ordS is deprecated since mathcomp 1.15.0. Use enum_ordSl instead. [deprecated-syntactic-definition,deprecated] File "./theory/edr.v", line 324, characters 10-19: Warning: Notation enum_ordS is deprecated since mathcomp 1.15.0. Use enum_ordSl instead. [deprecated-syntactic-definition,deprecated] COQC theory/fpmod.v COQC theory/smith.v COQC theory/kaplansky.v COQC theory/smithpid.v Finished transaction in 7.801 secs (5.682u,0.013s) (successful) COQC refinements/seqmx_complements.v COQC refinements/bareiss_eff.v COQC refinements/multipoly.v File "./refinements/seqmx_complements.v", line 46, characters 0-58: Warning: The default value for Typeclasses Opaque and Typeclasses Transparent locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding typeclass transparency hints outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Typeclasses Transparent foo." [deprecated-typeclasses-transparency-without-locality,deprecated] Finished transaction in 11.919 secs (5.609u,0.01s) (successful) COQC theory/smith_complements.v File "./theory/smith_complements.v", line 174, characters 27-36: Warning: Notation enum_ordS is deprecated since mathcomp 1.15.0. Use enum_ordSl instead. [deprecated-syntactic-definition,deprecated] File "./theory/smith_complements.v", line 174, characters 27-36: Warning: Notation enum_ordS is deprecated since mathcomp 1.15.0. Use enum_ordSl instead. [deprecated-syntactic-definition,deprecated] File "./theory/smith_complements.v", line 174, characters 27-36: Warning: Notation enum_ordS is deprecated since mathcomp 1.15.0. Use enum_ordSl instead. [deprecated-syntactic-definition,deprecated] COQC theory/frobenius_form.v COQC theory/jordan.v make[2]: Leaving directory '/build/coqeal-AN42H1/coqeal-1.1.1' make[1]: Leaving directory '/build/coqeal-AN42H1/coqeal-1.1.1' dh: command-omitted: The call to "dh_auto_test -a" was omitted due to "DEB_BUILD_OPTIONS=nocheck" create-stamp debian/debhelper-build-stamp dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/build/coqeal-AN42H1/coqeal-1.1.1' make install DESTDIR=/build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp make[2]: Entering directory '/build/coqeal-AN42H1/coqeal-1.1.1' make[3]: Entering directory '/build/coqeal-AN42H1/coqeal-1.1.1' INSTALL theory/atomic_operations.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/bareiss_dvdring.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/bareiss.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/binetcauchy.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/closed_poly.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/coherent.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/companion.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/dvdring.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/edr.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/fpmod.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/frobenius_form.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/gauss.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/jordan.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/kaplansky.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/karatsuba.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/minor.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/mxstructure.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/perm_eq_image.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/polydvd.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/rank.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/similar.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/smithpid.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/smith.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/smith_complements.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/ssralg_ring_tac.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/ssrcomplements.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/strassen.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/stronglydiscrete.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/toomcook.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL refinements/hrel.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/param.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/refinements.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/pos.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binnat.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binint.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/poly_op.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqpoly.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/karatsuba.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/poly_div.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binord.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqmx.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqmx_complements.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/hpoly.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/bareiss_eff.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/rational.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/boolF2.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/trivial_seq.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/examples/irred.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements/examples INSTALL refinements/binrat.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/multipoly.vo /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL theory/atomic_operations.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/bareiss_dvdring.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/bareiss.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/binetcauchy.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/closed_poly.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/coherent.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/companion.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/dvdring.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/edr.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/fpmod.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/frobenius_form.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/gauss.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/jordan.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/kaplansky.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/karatsuba.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/minor.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/mxstructure.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/perm_eq_image.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/polydvd.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/rank.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/similar.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/smithpid.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/smith.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/smith_complements.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/ssralg_ring_tac.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/ssrcomplements.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/strassen.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/stronglydiscrete.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/toomcook.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL refinements/hrel.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/param.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/refinements.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/pos.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binnat.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binint.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/poly_op.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqpoly.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/karatsuba.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/poly_div.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binord.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqmx.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqmx_complements.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/hpoly.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/bareiss_eff.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/rational.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/boolF2.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/trivial_seq.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/examples/irred.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements/examples INSTALL refinements/binrat.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/multipoly.v /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL theory/atomic_operations.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/bareiss_dvdring.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/bareiss.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/binetcauchy.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/closed_poly.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/coherent.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/companion.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/dvdring.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/edr.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/fpmod.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/frobenius_form.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/gauss.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/jordan.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/kaplansky.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/karatsuba.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/minor.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/mxstructure.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/perm_eq_image.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/polydvd.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/rank.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/similar.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/smithpid.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/smith.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/smith_complements.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/ssralg_ring_tac.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/ssrcomplements.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/strassen.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/stronglydiscrete.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL theory/toomcook.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//theory INSTALL refinements/hrel.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/param.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/refinements.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/pos.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binnat.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binint.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/poly_op.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqpoly.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/karatsuba.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/poly_div.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/binord.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqmx.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/seqmx_complements.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/hpoly.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/bareiss_eff.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/rational.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/boolF2.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/trivial_seq.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/examples/irred.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements/examples INSTALL refinements/binrat.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements INSTALL refinements/multipoly.glob /build/coqeal-AN42H1/coqeal-1.1.1/debian/tmp//usr/lib/ocaml/coq//user-contrib/CoqEAL//refinements make[4]: Entering directory '/build/coqeal-AN42H1/coqeal-1.1.1' make[4]: Leaving directory '/build/coqeal-AN42H1/coqeal-1.1.1' make[3]: Leaving directory '/build/coqeal-AN42H1/coqeal-1.1.1' make[2]: Leaving directory '/build/coqeal-AN42H1/coqeal-1.1.1' make[1]: Leaving directory '/build/coqeal-AN42H1/coqeal-1.1.1' dh_install -a dh_installdocs -a dh_installchangelogs -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_coq -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libcoq-coqeal' in '../libcoq-coqeal_1.1.1-1_amd64.deb'. dpkg-genbuildinfo --build=any -O../coqeal_1.1.1-1_amd64.buildinfo dpkg-genchanges --build=any -O../coqeal_1.1.1-1_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/coqeal-AN42H1 /tmp/coqeal-1.1.1-14u5vcctj I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.mjgXN_2fWq... I: success in 711.3884 seconds md5: Value of 'md5' differs for libcoq-coqeal_1.1.1-1_amd64.deb md5: Size differs for libcoq-coqeal_1.1.1-1_amd64.deb sha1: Value of 'sha1' differs for libcoq-coqeal_1.1.1-1_amd64.deb sha1: Size differs for libcoq-coqeal_1.1.1-1_amd64.deb sha256: Value of 'sha256' differs for libcoq-coqeal_1.1.1-1_amd64.deb sha256: Size differs for libcoq-coqeal_1.1.1-1_amd64.deb Checksums: FAIL Cannot generate diffoscope for libcoq-coqeal_1.1.1-1_amd64.deb: RetryError[]