Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/m/mathcomp-analysis/mathcomp-analysis_0.3.13-1+b1_amd64.buildinfo Use metasnap for getting required timestamps Cannot get timestamps from metasnap: 404 (Not Found) Use snapshot for getting required timestamps Get source package info: mathcomp-analysis=0.3.13-1 Source URL: http://snapshot.notset.fr/mr/package/mathcomp-analysis/0.3.13-1/srcfiles?fileinfo=1 Initialize APT cache Get binary package info: autoconf=2.71-2 Binary URL: http://snapshot.notset.fr/mr/binary/autoconf/2.71-2/binfiles?fileinfo=1 Get binary package info: automake=1:1.16.5-1.1 Binary URL: http://snapshot.notset.fr/mr/binary/automake/1:1.16.5-1.1/binfiles?fileinfo=1 Get binary package info: autopoint=0.21-4 Binary URL: http://snapshot.notset.fr/mr/binary/autopoint/0.21-4/binfiles?fileinfo=1 Get binary package info: autotools-dev=20220109.1 Binary URL: http://snapshot.notset.fr/mr/binary/autotools-dev/20220109.1/binfiles?fileinfo=1 Get binary package info: base-files=12.2 Binary URL: http://snapshot.notset.fr/mr/binary/base-files/12.2/binfiles?fileinfo=1 Get binary package info: base-passwd=3.5.52 Binary URL: http://snapshot.notset.fr/mr/binary/base-passwd/3.5.52/binfiles?fileinfo=1 Get binary package info: bash=5.1-6 Binary URL: http://snapshot.notset.fr/mr/binary/bash/5.1-6/binfiles?fileinfo=1 Get binary package info: binutils=2.38-1 Binary URL: http://snapshot.notset.fr/mr/binary/binutils/2.38-1/binfiles?fileinfo=1 Get binary package info: binutils-common=2.38-1 Binary URL: http://snapshot.notset.fr/mr/binary/binutils-common/2.38-1/binfiles?fileinfo=1 Get binary package info: binutils-x86-64-linux-gnu=2.38-1 Binary URL: http://snapshot.notset.fr/mr/binary/binutils-x86-64-linux-gnu/2.38-1/binfiles?fileinfo=1 Get binary package info: bsdextrautils=2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/bsdextrautils/2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: bsdutils=1:2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/bsdutils/1:2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: build-essential=12.9 Binary URL: http://snapshot.notset.fr/mr/binary/build-essential/12.9/binfiles?fileinfo=1 Get binary package info: bzip2=1.0.8-5 Binary URL: http://snapshot.notset.fr/mr/binary/bzip2/1.0.8-5/binfiles?fileinfo=1 Get binary package info: coq=8.15.0+dfsg-2+b1 Binary URL: http://snapshot.notset.fr/mr/binary/coq/8.15.0+dfsg-2+b1/binfiles?fileinfo=1 Get binary package info: coreutils=8.32-4.1 Binary URL: http://snapshot.notset.fr/mr/binary/coreutils/8.32-4.1/binfiles?fileinfo=1 Get binary package info: cpp=4:11.2.0-2 Binary URL: http://snapshot.notset.fr/mr/binary/cpp/4:11.2.0-2/binfiles?fileinfo=1 Get binary package info: cpp-11=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/cpp-11/11.2.0-16/binfiles?fileinfo=1 Get binary package info: dash=0.5.11+git20210903+057cd650a4ed-3 Binary URL: http://snapshot.notset.fr/mr/binary/dash/0.5.11+git20210903+057cd650a4ed-3/binfiles?fileinfo=1 Get binary package info: debconf=1.5.79 Binary URL: http://snapshot.notset.fr/mr/binary/debconf/1.5.79/binfiles?fileinfo=1 Get binary package info: debhelper=13.6 Binary URL: http://snapshot.notset.fr/mr/binary/debhelper/13.6/binfiles?fileinfo=1 Get binary package info: debianutils=5.7-0.1 Binary URL: http://snapshot.notset.fr/mr/binary/debianutils/5.7-0.1/binfiles?fileinfo=1 Get binary package info: dh-autoreconf=20 Binary URL: http://snapshot.notset.fr/mr/binary/dh-autoreconf/20/binfiles?fileinfo=1 Get binary package info: dh-ocaml=1.1.3 Binary URL: http://snapshot.notset.fr/mr/binary/dh-ocaml/1.1.3/binfiles?fileinfo=1 Get binary package info: dh-strip-nondeterminism=1.13.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/dh-strip-nondeterminism/1.13.0-1/binfiles?fileinfo=1 Get binary package info: diffutils=1:3.7-5 Binary URL: http://snapshot.notset.fr/mr/binary/diffutils/1:3.7-5/binfiles?fileinfo=1 Get binary package info: dpkg=1.21.1 Binary URL: http://snapshot.notset.fr/mr/binary/dpkg/1.21.1/binfiles?fileinfo=1 Get binary package info: dpkg-dev=1.21.1 Binary URL: http://snapshot.notset.fr/mr/binary/dpkg-dev/1.21.1/binfiles?fileinfo=1 Get binary package info: dwz=0.14-1 Binary URL: http://snapshot.notset.fr/mr/binary/dwz/0.14-1/binfiles?fileinfo=1 Get binary package info: file=1:5.41-2 Binary URL: http://snapshot.notset.fr/mr/binary/file/1:5.41-2/binfiles?fileinfo=1 Get binary package info: findutils=4.8.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/findutils/4.8.0-1/binfiles?fileinfo=1 Get binary package info: g++=4:11.2.0-2 Binary URL: http://snapshot.notset.fr/mr/binary/g++/4:11.2.0-2/binfiles?fileinfo=1 Get binary package info: g++-11=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/g++-11/11.2.0-16/binfiles?fileinfo=1 Get binary package info: gcc=4:11.2.0-2 Binary URL: http://snapshot.notset.fr/mr/binary/gcc/4:11.2.0-2/binfiles?fileinfo=1 Get binary package info: gcc-11=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/gcc-11/11.2.0-16/binfiles?fileinfo=1 Get binary package info: gcc-11-base=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/gcc-11-base/11.2.0-16/binfiles?fileinfo=1 Get binary package info: gettext=0.21-4 Binary URL: http://snapshot.notset.fr/mr/binary/gettext/0.21-4/binfiles?fileinfo=1 Get binary package info: gettext-base=0.21-4 Binary URL: http://snapshot.notset.fr/mr/binary/gettext-base/0.21-4/binfiles?fileinfo=1 Get binary package info: grep=3.7-1 Binary URL: http://snapshot.notset.fr/mr/binary/grep/3.7-1/binfiles?fileinfo=1 Get binary package info: groff-base=1.22.4-8 Binary URL: http://snapshot.notset.fr/mr/binary/groff-base/1.22.4-8/binfiles?fileinfo=1 Get binary package info: gzip=1.10-4 Binary URL: http://snapshot.notset.fr/mr/binary/gzip/1.10-4/binfiles?fileinfo=1 Get binary package info: hostname=3.23 Binary URL: http://snapshot.notset.fr/mr/binary/hostname/3.23/binfiles?fileinfo=1 Get binary package info: init-system-helpers=1.62 Binary URL: http://snapshot.notset.fr/mr/binary/init-system-helpers/1.62/binfiles?fileinfo=1 Get binary package info: intltool-debian=0.35.0+20060710.5 Binary URL: http://snapshot.notset.fr/mr/binary/intltool-debian/0.35.0+20060710.5/binfiles?fileinfo=1 Get binary package info: libacl1=2.3.1-1 Binary URL: http://snapshot.notset.fr/mr/binary/libacl1/2.3.1-1/binfiles?fileinfo=1 Get binary package info: libarchive-zip-perl=1.68-1 Binary URL: http://snapshot.notset.fr/mr/binary/libarchive-zip-perl/1.68-1/binfiles?fileinfo=1 Get binary package info: libasan6=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libasan6/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libatomic1=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libatomic1/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libattr1=1:2.5.1-1 Binary URL: http://snapshot.notset.fr/mr/binary/libattr1/1:2.5.1-1/binfiles?fileinfo=1 Get binary package info: libaudit-common=1:3.0.7-1 Binary URL: http://snapshot.notset.fr/mr/binary/libaudit-common/1:3.0.7-1/binfiles?fileinfo=1 Get binary package info: libaudit1=1:3.0.7-1 Binary URL: http://snapshot.notset.fr/mr/binary/libaudit1/1:3.0.7-1/binfiles?fileinfo=1 Get binary package info: libbinutils=2.38-1 Binary URL: http://snapshot.notset.fr/mr/binary/libbinutils/2.38-1/binfiles?fileinfo=1 Get binary package info: libblkid1=2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libblkid1/2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: libbz2-1.0=1.0.8-5 Binary URL: http://snapshot.notset.fr/mr/binary/libbz2-1.0/1.0.8-5/binfiles?fileinfo=1 Get binary package info: libc-bin=2.33-6 Binary URL: http://snapshot.notset.fr/mr/binary/libc-bin/2.33-6/binfiles?fileinfo=1 Get binary package info: libc-dev-bin=2.33-6 Binary URL: http://snapshot.notset.fr/mr/binary/libc-dev-bin/2.33-6/binfiles?fileinfo=1 Get binary package info: libc6=2.33-6 Binary URL: http://snapshot.notset.fr/mr/binary/libc6/2.33-6/binfiles?fileinfo=1 Get binary package info: libc6-dev=2.33-6 Binary URL: http://snapshot.notset.fr/mr/binary/libc6-dev/2.33-6/binfiles?fileinfo=1 Get binary package info: libcap-ng0=0.7.9-2.2+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libcap-ng0/0.7.9-2.2+b1/binfiles?fileinfo=1 Get binary package info: libcap2=1:2.44-1 Binary URL: http://snapshot.notset.fr/mr/binary/libcap2/1:2.44-1/binfiles?fileinfo=1 Get binary package info: libcc1-0=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libcc1-0/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libcom-err2=1.46.5-2 Binary URL: http://snapshot.notset.fr/mr/binary/libcom-err2/1.46.5-2/binfiles?fileinfo=1 Get binary package info: libcoq-core-ocaml=8.15.0+dfsg-2+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-core-ocaml/8.15.0+dfsg-2+b1/binfiles?fileinfo=1 Get binary package info: libcoq-elpi-ocaml=1.13.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-elpi-ocaml/1.13.0-1/binfiles?fileinfo=1 Get binary package info: libcoq-elpi-ocaml-dev=1.13.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-elpi-ocaml-dev/1.13.0-1/binfiles?fileinfo=1 Get binary package info: libcoq-hierarchy-builder=1.2.1-2+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-hierarchy-builder/1.2.1-2+b1/binfiles?fileinfo=1 Get binary package info: libcoq-mathcomp=1.14.0-7 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-mathcomp/1.14.0-7/binfiles?fileinfo=1 Get binary package info: libcoq-mathcomp-algebra=1.14.0-7 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-mathcomp-algebra/1.14.0-7/binfiles?fileinfo=1 Get binary package info: libcoq-mathcomp-bigenough=1.0.1-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-mathcomp-bigenough/1.0.1-1+b1/binfiles?fileinfo=1 Get binary package info: libcoq-mathcomp-character=1.14.0-7 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-mathcomp-character/1.14.0-7/binfiles?fileinfo=1 Get binary package info: libcoq-mathcomp-field=1.14.0-7 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-mathcomp-field/1.14.0-7/binfiles?fileinfo=1 Get binary package info: libcoq-mathcomp-fingroup=1.14.0-7 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-mathcomp-fingroup/1.14.0-7/binfiles?fileinfo=1 Get binary package info: libcoq-mathcomp-finmap=1.5.1-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-mathcomp-finmap/1.5.1-1+b1/binfiles?fileinfo=1 Get binary package info: libcoq-mathcomp-solvable=1.14.0-7 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-mathcomp-solvable/1.14.0-7/binfiles?fileinfo=1 Get binary package info: libcoq-mathcomp-ssreflect=1.14.0-7 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-mathcomp-ssreflect/1.14.0-7/binfiles?fileinfo=1 Get binary package info: libcoq-stdlib=8.15.0+dfsg-2+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-stdlib/8.15.0+dfsg-2+b1/binfiles?fileinfo=1 Get binary package info: libcrypt-dev=1:4.4.27-1.1 Binary URL: http://snapshot.notset.fr/mr/binary/libcrypt-dev/1:4.4.27-1.1/binfiles?fileinfo=1 Get binary package info: libcrypt1=1:4.4.27-1.1 Binary URL: http://snapshot.notset.fr/mr/binary/libcrypt1/1:4.4.27-1.1/binfiles?fileinfo=1 Get binary package info: libctf-nobfd0=2.38-1 Binary URL: http://snapshot.notset.fr/mr/binary/libctf-nobfd0/2.38-1/binfiles?fileinfo=1 Get binary package info: libctf0=2.38-1 Binary URL: http://snapshot.notset.fr/mr/binary/libctf0/2.38-1/binfiles?fileinfo=1 Get binary package info: libdb5.3=5.3.28+dfsg1-0.8 Binary URL: http://snapshot.notset.fr/mr/binary/libdb5.3/5.3.28+dfsg1-0.8/binfiles?fileinfo=1 Get binary package info: libdebconfclient0=0.261 Binary URL: http://snapshot.notset.fr/mr/binary/libdebconfclient0/0.261/binfiles?fileinfo=1 Get binary package info: libdebhelper-perl=13.6 Binary URL: http://snapshot.notset.fr/mr/binary/libdebhelper-perl/13.6/binfiles?fileinfo=1 Get binary package info: libdpkg-perl=1.21.1 Binary URL: http://snapshot.notset.fr/mr/binary/libdpkg-perl/1.21.1/binfiles?fileinfo=1 Get binary package info: libelf1=0.186-1 Binary URL: http://snapshot.notset.fr/mr/binary/libelf1/0.186-1/binfiles?fileinfo=1 Get binary package info: libexpat1=2.4.4-1 Binary URL: http://snapshot.notset.fr/mr/binary/libexpat1/2.4.4-1/binfiles?fileinfo=1 Get binary package info: libffi8=3.4.2-4 Binary URL: http://snapshot.notset.fr/mr/binary/libffi8/3.4.2-4/binfiles?fileinfo=1 Get binary package info: libfile-stripnondeterminism-perl=1.13.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/libfile-stripnondeterminism-perl/1.13.0-1/binfiles?fileinfo=1 Get binary package info: libfindlib-ocaml=1.9.1-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libfindlib-ocaml/1.9.1-1+b1/binfiles?fileinfo=1 Get binary package info: libgcc-11-dev=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libgcc-11-dev/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libgcc-s1=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libgcc-s1/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libgcrypt20=1.9.4-5 Binary URL: http://snapshot.notset.fr/mr/binary/libgcrypt20/1.9.4-5/binfiles?fileinfo=1 Get binary package info: libgdbm-compat4=1.23-1 Binary URL: http://snapshot.notset.fr/mr/binary/libgdbm-compat4/1.23-1/binfiles?fileinfo=1 Get binary package info: libgdbm6=1.23-1 Binary URL: http://snapshot.notset.fr/mr/binary/libgdbm6/1.23-1/binfiles?fileinfo=1 Get binary package info: libgmp10=2:6.2.1+dfsg-3 Binary URL: http://snapshot.notset.fr/mr/binary/libgmp10/2:6.2.1+dfsg-3/binfiles?fileinfo=1 Get binary package info: libgomp1=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libgomp1/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libgpg-error0=1.43-3 Binary URL: http://snapshot.notset.fr/mr/binary/libgpg-error0/1.43-3/binfiles?fileinfo=1 Get binary package info: libgssapi-krb5-2=1.18.3-7 Binary URL: http://snapshot.notset.fr/mr/binary/libgssapi-krb5-2/1.18.3-7/binfiles?fileinfo=1 Get binary package info: libicu67=67.1-7 Binary URL: http://snapshot.notset.fr/mr/binary/libicu67/67.1-7/binfiles?fileinfo=1 Get binary package info: libisl23=0.24-2 Binary URL: http://snapshot.notset.fr/mr/binary/libisl23/0.24-2/binfiles?fileinfo=1 Get binary package info: libitm1=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libitm1/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libk5crypto3=1.18.3-7 Binary URL: http://snapshot.notset.fr/mr/binary/libk5crypto3/1.18.3-7/binfiles?fileinfo=1 Get binary package info: libkeyutils1=1.6.1-2 Binary URL: http://snapshot.notset.fr/mr/binary/libkeyutils1/1.6.1-2/binfiles?fileinfo=1 Get binary package info: libkrb5-3=1.18.3-7 Binary URL: http://snapshot.notset.fr/mr/binary/libkrb5-3/1.18.3-7/binfiles?fileinfo=1 Get binary package info: libkrb5support0=1.18.3-7 Binary URL: http://snapshot.notset.fr/mr/binary/libkrb5support0/1.18.3-7/binfiles?fileinfo=1 Get binary package info: liblsan0=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/liblsan0/11.2.0-16/binfiles?fileinfo=1 Get binary package info: liblz4-1=1.9.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/liblz4-1/1.9.3-2/binfiles?fileinfo=1 Get binary package info: liblzma5=5.2.5-2 Binary URL: http://snapshot.notset.fr/mr/binary/liblzma5/5.2.5-2/binfiles?fileinfo=1 Get binary package info: libmagic-mgc=1:5.41-2 Binary URL: http://snapshot.notset.fr/mr/binary/libmagic-mgc/1:5.41-2/binfiles?fileinfo=1 Get binary package info: libmagic1=1:5.41-2 Binary URL: http://snapshot.notset.fr/mr/binary/libmagic1/1:5.41-2/binfiles?fileinfo=1 Get binary package info: libmount1=2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libmount1/2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: libmpc3=1.2.1-1 Binary URL: http://snapshot.notset.fr/mr/binary/libmpc3/1.2.1-1/binfiles?fileinfo=1 Get binary package info: libmpdec3=2.5.1-2 Binary URL: http://snapshot.notset.fr/mr/binary/libmpdec3/2.5.1-2/binfiles?fileinfo=1 Get binary package info: libmpfr6=4.1.0-3 Binary URL: http://snapshot.notset.fr/mr/binary/libmpfr6/4.1.0-3/binfiles?fileinfo=1 Get binary package info: libncurses-dev=6.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libncurses-dev/6.3-2/binfiles?fileinfo=1 Get binary package info: libncurses5-dev=6.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libncurses5-dev/6.3-2/binfiles?fileinfo=1 Get binary package info: libncurses6=6.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libncurses6/6.3-2/binfiles?fileinfo=1 Get binary package info: libncursesw6=6.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libncursesw6/6.3-2/binfiles?fileinfo=1 Get binary package info: libnsl-dev=1.3.0-2 Binary URL: http://snapshot.notset.fr/mr/binary/libnsl-dev/1.3.0-2/binfiles?fileinfo=1 Get binary package info: libnsl2=1.3.0-2 Binary URL: http://snapshot.notset.fr/mr/binary/libnsl2/1.3.0-2/binfiles?fileinfo=1 Get binary package info: libpam-modules=1.4.0-11 Binary URL: http://snapshot.notset.fr/mr/binary/libpam-modules/1.4.0-11/binfiles?fileinfo=1 Get binary package info: libpam-modules-bin=1.4.0-11 Binary URL: http://snapshot.notset.fr/mr/binary/libpam-modules-bin/1.4.0-11/binfiles?fileinfo=1 Get binary package info: libpam-runtime=1.4.0-11 Binary URL: http://snapshot.notset.fr/mr/binary/libpam-runtime/1.4.0-11/binfiles?fileinfo=1 Get binary package info: libpam0g=1.4.0-11 Binary URL: http://snapshot.notset.fr/mr/binary/libpam0g/1.4.0-11/binfiles?fileinfo=1 Get binary package info: libpcre2-8-0=10.39-3 Binary URL: http://snapshot.notset.fr/mr/binary/libpcre2-8-0/10.39-3/binfiles?fileinfo=1 Get binary package info: libpcre3=2:8.39-13 Binary URL: http://snapshot.notset.fr/mr/binary/libpcre3/2:8.39-13/binfiles?fileinfo=1 Get binary package info: libperl5.34=5.34.0-3 Binary URL: http://snapshot.notset.fr/mr/binary/libperl5.34/5.34.0-3/binfiles?fileinfo=1 Get binary package info: libpipeline1=1.5.5-1 Binary URL: http://snapshot.notset.fr/mr/binary/libpipeline1/1.5.5-1/binfiles?fileinfo=1 Get binary package info: libpython3-stdlib=3.9.8-1 Binary URL: http://snapshot.notset.fr/mr/binary/libpython3-stdlib/3.9.8-1/binfiles?fileinfo=1 Get binary package info: libpython3.9-minimal=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/libpython3.9-minimal/3.9.10-1/binfiles?fileinfo=1 Get binary package info: libpython3.9-stdlib=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/libpython3.9-stdlib/3.9.10-1/binfiles?fileinfo=1 Get binary package info: libquadmath0=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libquadmath0/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libreadline8=8.1.2-1 Binary URL: http://snapshot.notset.fr/mr/binary/libreadline8/8.1.2-1/binfiles?fileinfo=1 Get binary package info: libseccomp2=2.5.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libseccomp2/2.5.3-2/binfiles?fileinfo=1 Get binary package info: libselinux1=3.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libselinux1/3.3-1+b1/binfiles?fileinfo=1 Get binary package info: libsigsegv2=2.14-1 Binary URL: http://snapshot.notset.fr/mr/binary/libsigsegv2/2.14-1/binfiles?fileinfo=1 Get binary package info: libsmartcols1=2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libsmartcols1/2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: libsqlite3-0=3.37.2-2 Binary URL: http://snapshot.notset.fr/mr/binary/libsqlite3-0/3.37.2-2/binfiles?fileinfo=1 Get binary package info: libssl1.1=1.1.1m-1 Binary URL: http://snapshot.notset.fr/mr/binary/libssl1.1/1.1.1m-1/binfiles?fileinfo=1 Get binary package info: libstdc++-11-dev=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libstdc++-11-dev/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libstdc++6=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libstdc++6/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libsub-override-perl=0.09-2 Binary URL: http://snapshot.notset.fr/mr/binary/libsub-override-perl/0.09-2/binfiles?fileinfo=1 Get binary package info: libsystemd0=250.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libsystemd0/250.3-2/binfiles?fileinfo=1 Get binary package info: libtinfo6=6.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libtinfo6/6.3-2/binfiles?fileinfo=1 Get binary package info: libtirpc-common=1.3.2-2 Binary URL: http://snapshot.notset.fr/mr/binary/libtirpc-common/1.3.2-2/binfiles?fileinfo=1 Get binary package info: libtirpc-dev=1.3.2-2 Binary URL: http://snapshot.notset.fr/mr/binary/libtirpc-dev/1.3.2-2/binfiles?fileinfo=1 Get binary package info: libtirpc3=1.3.2-2 Binary URL: http://snapshot.notset.fr/mr/binary/libtirpc3/1.3.2-2/binfiles?fileinfo=1 Get binary package info: libtool=2.4.6-15 Binary URL: http://snapshot.notset.fr/mr/binary/libtool/2.4.6-15/binfiles?fileinfo=1 Get binary package info: libtsan0=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libtsan0/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libubsan1=11.2.0-16 Binary URL: http://snapshot.notset.fr/mr/binary/libubsan1/11.2.0-16/binfiles?fileinfo=1 Get binary package info: libuchardet0=0.0.7-1 Binary URL: http://snapshot.notset.fr/mr/binary/libuchardet0/0.0.7-1/binfiles?fileinfo=1 Get binary package info: libudev1=250.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/libudev1/250.3-2/binfiles?fileinfo=1 Get binary package info: libunistring2=1.0-1 Binary URL: http://snapshot.notset.fr/mr/binary/libunistring2/1.0-1/binfiles?fileinfo=1 Get binary package info: libuuid1=2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libuuid1/2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: libxml2=2.9.12+dfsg-5+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libxml2/2.9.12+dfsg-5+b1/binfiles?fileinfo=1 Get binary package info: libzarith-ocaml=1.12-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/libzarith-ocaml/1.12-1+b1/binfiles?fileinfo=1 Get binary package info: libzstd1=1.4.8+dfsg-3 Binary URL: http://snapshot.notset.fr/mr/binary/libzstd1/1.4.8+dfsg-3/binfiles?fileinfo=1 Get binary package info: linux-libc-dev=5.16.7-2 Binary URL: http://snapshot.notset.fr/mr/binary/linux-libc-dev/5.16.7-2/binfiles?fileinfo=1 Get binary package info: login=1:4.11.1+dfsg1-1 Binary URL: http://snapshot.notset.fr/mr/binary/login/1:4.11.1+dfsg1-1/binfiles?fileinfo=1 Get binary package info: lsb-base=11.1.0 Binary URL: http://snapshot.notset.fr/mr/binary/lsb-base/11.1.0/binfiles?fileinfo=1 Get binary package info: m4=1.4.18-5 Binary URL: http://snapshot.notset.fr/mr/binary/m4/1.4.18-5/binfiles?fileinfo=1 Get binary package info: make=4.3-4.1 Binary URL: http://snapshot.notset.fr/mr/binary/make/4.3-4.1/binfiles?fileinfo=1 Get binary package info: man-db=2.10.1-1 Binary URL: http://snapshot.notset.fr/mr/binary/man-db/2.10.1-1/binfiles?fileinfo=1 Get binary package info: mawk=1.3.4.20200120-3+b1 Binary URL: http://snapshot.notset.fr/mr/binary/mawk/1.3.4.20200120-3+b1/binfiles?fileinfo=1 Get binary package info: media-types=5.0.0 Binary URL: http://snapshot.notset.fr/mr/binary/media-types/5.0.0/binfiles?fileinfo=1 Get binary package info: ncurses-base=6.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/ncurses-base/6.3-2/binfiles?fileinfo=1 Get binary package info: ncurses-bin=6.3-2 Binary URL: http://snapshot.notset.fr/mr/binary/ncurses-bin/6.3-2/binfiles?fileinfo=1 Get binary package info: ocaml=4.13.1-3 Binary URL: http://snapshot.notset.fr/mr/binary/ocaml/4.13.1-3/binfiles?fileinfo=1 Get binary package info: ocaml-base=4.13.1-3 Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-base/4.13.1-3/binfiles?fileinfo=1 Get binary package info: ocaml-compiler-libs=4.13.1-3 Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-compiler-libs/4.13.1-3/binfiles?fileinfo=1 Get binary package info: ocaml-dune=2.9.1-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-dune/2.9.1-1+b1/binfiles?fileinfo=1 Get binary package info: ocaml-findlib=1.9.1-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-findlib/1.9.1-1+b1/binfiles?fileinfo=1 Get binary package info: ocaml-interp=4.13.1-3 Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-interp/4.13.1-3/binfiles?fileinfo=1 Get binary package info: ocaml-nox=4.13.1-3 Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-nox/4.13.1-3/binfiles?fileinfo=1 Get binary package info: patch=2.7.6-7 Binary URL: http://snapshot.notset.fr/mr/binary/patch/2.7.6-7/binfiles?fileinfo=1 Get binary package info: perl=5.34.0-3 Binary URL: http://snapshot.notset.fr/mr/binary/perl/5.34.0-3/binfiles?fileinfo=1 Get binary package info: perl-base=5.34.0-3 Binary URL: http://snapshot.notset.fr/mr/binary/perl-base/5.34.0-3/binfiles?fileinfo=1 Get binary package info: perl-modules-5.34=5.34.0-3 Binary URL: http://snapshot.notset.fr/mr/binary/perl-modules-5.34/5.34.0-3/binfiles?fileinfo=1 Get binary package info: po-debconf=1.0.21+nmu1 Binary URL: http://snapshot.notset.fr/mr/binary/po-debconf/1.0.21+nmu1/binfiles?fileinfo=1 Get binary package info: python3=3.9.8-1 Binary URL: http://snapshot.notset.fr/mr/binary/python3/3.9.8-1/binfiles?fileinfo=1 Get binary package info: python3-minimal=3.9.8-1 Binary URL: http://snapshot.notset.fr/mr/binary/python3-minimal/3.9.8-1/binfiles?fileinfo=1 Get binary package info: python3.9=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/python3.9/3.9.10-1/binfiles?fileinfo=1 Get binary package info: python3.9-minimal=3.9.10-1 Binary URL: http://snapshot.notset.fr/mr/binary/python3.9-minimal/3.9.10-1/binfiles?fileinfo=1 Get binary package info: readline-common=8.1.2-1 Binary URL: http://snapshot.notset.fr/mr/binary/readline-common/8.1.2-1/binfiles?fileinfo=1 Get binary package info: rpcsvc-proto=1.4.2-4 Binary URL: http://snapshot.notset.fr/mr/binary/rpcsvc-proto/1.4.2-4/binfiles?fileinfo=1 Get binary package info: sed=4.8-1 Binary URL: http://snapshot.notset.fr/mr/binary/sed/4.8-1/binfiles?fileinfo=1 Get binary package info: sensible-utils=0.0.17 Binary URL: http://snapshot.notset.fr/mr/binary/sensible-utils/0.0.17/binfiles?fileinfo=1 Get binary package info: sysvinit-utils=3.01-1 Binary URL: http://snapshot.notset.fr/mr/binary/sysvinit-utils/3.01-1/binfiles?fileinfo=1 Get binary package info: tar=1.34+dfsg-1 Binary URL: http://snapshot.notset.fr/mr/binary/tar/1.34+dfsg-1/binfiles?fileinfo=1 Get binary package info: tzdata=2021e-1 Binary URL: http://snapshot.notset.fr/mr/binary/tzdata/2021e-1/binfiles?fileinfo=1 Get binary package info: util-linux=2.37.3-1+b1 Binary URL: http://snapshot.notset.fr/mr/binary/util-linux/2.37.3-1+b1/binfiles?fileinfo=1 Get binary package info: xz-utils=5.2.5-2 Binary URL: http://snapshot.notset.fr/mr/binary/xz-utils/5.2.5-2/binfiles?fileinfo=1 Get binary package info: zlib1g=1:1.2.11.dfsg-2 Binary URL: http://snapshot.notset.fr/mr/binary/zlib1g/1:1.2.11.dfsg-2/binfiles?fileinfo=1 Remaining packages to be found: 193 Timestamp source (34 packages): deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220208T213545Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220123T025342Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220219T032615Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220203T031730Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220215T025613Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220130T030506Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220216T030243Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211118T025207Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211103T025035Z/ bookworm main Remaining packages to be found: 5 Timestamp source (4 packages): deb http://snapshot.notset.fr/archive/debian/20220219T213354Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210830T143924Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211212T031254Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220212T154028Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220112T025121Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220208T152907Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211214T030236Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211122T030439Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220124T155715Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220217T154341Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210823T024636Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211205T025806Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220104T153720Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211223T031038Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210816T024705Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210901T090918Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220106T025822Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211123T025155Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211220T093239Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220208T091208Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220202T030237Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220129T210618Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220129T025638Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210911T144836Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220211T025424Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220125T033125Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210930T025245Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211108T025858Z/ bookworm main Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211105T024921Z/ bookworm main Remaining packages to be found: 1 Timestamp source (1 packages): deb http://snapshot.notset.fr/archive/debian/20220225T025859Z/ bookworm main New buildinfo file: /tmp/mathcomp-analysis-0.3.13-1+b154akliu4/mathcomp-analysis_0.3.13-1+b1_amd64.buildinfo env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf:all=2.71-2 automake:all=1:1.16.5-1.1 autopoint:all=0.21-4 autotools-dev:all=20220109.1 base-files:amd64=12.2 base-passwd:amd64=3.5.52 bash:amd64=5.1-6 binutils:amd64=2.38-1 binutils-common:amd64=2.38-1 binutils-x86-64-linux-gnu:amd64=2.38-1 bsdextrautils:amd64=2.37.3-1+b1 bsdutils:amd64=1:2.37.3-1+b1 build-essential:amd64=12.9 bzip2:amd64=1.0.8-5 coq:amd64=8.15.0+dfsg-2+b1 coreutils:amd64=8.32-4.1 cpp:amd64=4:11.2.0-2 cpp-11:amd64=11.2.0-16 dash:amd64=0.5.11+git20210903+057cd650a4ed-3 debconf:all=1.5.79 debhelper:all=13.6 debianutils:amd64=5.7-0.1 dh-autoreconf:all=20 dh-ocaml:all=1.1.3 dh-strip-nondeterminism:all=1.13.0-1 diffutils:amd64=1:3.7-5 dpkg:amd64=1.21.1 dpkg-dev:all=1.21.1 dwz:amd64=0.14-1 file:amd64=1:5.41-2 findutils:amd64=4.8.0-1 g++:amd64=4:11.2.0-2 g++-11:amd64=11.2.0-16 gcc:amd64=4:11.2.0-2 gcc-11:amd64=11.2.0-16 gcc-11-base:amd64=11.2.0-16 gettext:amd64=0.21-4 gettext-base:amd64=0.21-4 grep:amd64=3.7-1 groff-base:amd64=1.22.4-8 gzip:amd64=1.10-4 hostname:amd64=3.23 init-system-helpers:all=1.62 intltool-debian:all=0.35.0+20060710.5 libacl1:amd64=2.3.1-1 libarchive-zip-perl:all=1.68-1 libasan6:amd64=11.2.0-16 libatomic1:amd64=11.2.0-16 libattr1:amd64=1:2.5.1-1 libaudit-common:all=1:3.0.7-1 libaudit1:amd64=1:3.0.7-1 libbinutils:amd64=2.38-1 libblkid1:amd64=2.37.3-1+b1 libbz2-1.0:amd64=1.0.8-5 libc-bin:amd64=2.33-6 libc-dev-bin:amd64=2.33-6 libc6:amd64=2.33-6 libc6-dev:amd64=2.33-6 libcap-ng0:amd64=0.7.9-2.2+b1 libcap2:amd64=1:2.44-1 libcc1-0:amd64=11.2.0-16 libcom-err2:amd64=1.46.5-2 libcoq-core-ocaml:amd64=8.15.0+dfsg-2+b1 libcoq-elpi-ocaml:amd64=1.13.0-1 libcoq-elpi-ocaml-dev:amd64=1.13.0-1 libcoq-hierarchy-builder:amd64=1.2.1-2+b1 libcoq-mathcomp:all=1.14.0-7 libcoq-mathcomp-algebra:all=1.14.0-7 libcoq-mathcomp-bigenough:amd64=1.0.1-1+b1 libcoq-mathcomp-character:all=1.14.0-7 libcoq-mathcomp-field:all=1.14.0-7 libcoq-mathcomp-fingroup:all=1.14.0-7 libcoq-mathcomp-finmap:amd64=1.5.1-1+b1 libcoq-mathcomp-solvable:all=1.14.0-7 libcoq-mathcomp-ssreflect:all=1.14.0-7 libcoq-stdlib:amd64=8.15.0+dfsg-2+b1 libcrypt-dev:amd64=1:4.4.27-1.1 libcrypt1:amd64=1:4.4.27-1.1 libctf-nobfd0:amd64=2.38-1 libctf0:amd64=2.38-1 libdb5.3:amd64=5.3.28+dfsg1-0.8 libdebconfclient0:amd64=0.261 libdebhelper-perl:all=13.6 libdpkg-perl:all=1.21.1 libelf1:amd64=0.186-1 libexpat1:amd64=2.4.4-1 libffi8:amd64=3.4.2-4 libfile-stripnondeterminism-perl:all=1.13.0-1 libfindlib-ocaml:amd64=1.9.1-1+b1 libgcc-11-dev:amd64=11.2.0-16 libgcc-s1:amd64=11.2.0-16 libgcrypt20:amd64=1.9.4-5 libgdbm-compat4:amd64=1.23-1 libgdbm6:amd64=1.23-1 libgmp10:amd64=2:6.2.1+dfsg-3 libgomp1:amd64=11.2.0-16 libgpg-error0:amd64=1.43-3 libgssapi-krb5-2:amd64=1.18.3-7 libicu67:amd64=67.1-7 libisl23:amd64=0.24-2 libitm1:amd64=11.2.0-16 libk5crypto3:amd64=1.18.3-7 libkeyutils1:amd64=1.6.1-2 libkrb5-3:amd64=1.18.3-7 libkrb5support0:amd64=1.18.3-7 liblsan0:amd64=11.2.0-16 liblz4-1:amd64=1.9.3-2 liblzma5:amd64=5.2.5-2 libmagic-mgc:amd64=1:5.41-2 libmagic1:amd64=1:5.41-2 libmount1:amd64=2.37.3-1+b1 libmpc3:amd64=1.2.1-1 libmpdec3:amd64=2.5.1-2 libmpfr6:amd64=4.1.0-3 libncurses-dev:amd64=6.3-2 libncurses5-dev:amd64=6.3-2 libncurses6:amd64=6.3-2 libncursesw6:amd64=6.3-2 libnsl-dev:amd64=1.3.0-2 libnsl2:amd64=1.3.0-2 libpam-modules:amd64=1.4.0-11 libpam-modules-bin:amd64=1.4.0-11 libpam-runtime:all=1.4.0-11 libpam0g:amd64=1.4.0-11 libpcre2-8-0:amd64=10.39-3 libpcre3:amd64=2:8.39-13 libperl5.34:amd64=5.34.0-3 libpipeline1:amd64=1.5.5-1 libpython3-stdlib:amd64=3.9.8-1 libpython3.9-minimal:amd64=3.9.10-1 libpython3.9-stdlib:amd64=3.9.10-1 libquadmath0:amd64=11.2.0-16 libreadline8:amd64=8.1.2-1 libseccomp2:amd64=2.5.3-2 libselinux1:amd64=3.3-1+b1 libsigsegv2:amd64=2.14-1 libsmartcols1:amd64=2.37.3-1+b1 libsqlite3-0:amd64=3.37.2-2 libssl1.1:amd64=1.1.1m-1 libstdc++-11-dev:amd64=11.2.0-16 libstdc++6:amd64=11.2.0-16 libsub-override-perl:all=0.09-2 libsystemd0:amd64=250.3-2 libtinfo6:amd64=6.3-2 libtirpc-common:all=1.3.2-2 libtirpc-dev:amd64=1.3.2-2 libtirpc3:amd64=1.3.2-2 libtool:all=2.4.6-15 libtsan0:amd64=11.2.0-16 libubsan1:amd64=11.2.0-16 libuchardet0:amd64=0.0.7-1 libudev1:amd64=250.3-2 libunistring2:amd64=1.0-1 libuuid1:amd64=2.37.3-1+b1 libxml2:amd64=2.9.12+dfsg-5+b1 libzarith-ocaml:amd64=1.12-1+b1 libzstd1:amd64=1.4.8+dfsg-3 linux-libc-dev:amd64=5.16.7-2 login:amd64=1:4.11.1+dfsg1-1 lsb-base:all=11.1.0 m4:amd64=1.4.18-5 make:amd64=4.3-4.1 man-db:amd64=2.10.1-1 mawk:amd64=1.3.4.20200120-3+b1 media-types:all=5.0.0 ncurses-base:all=6.3-2 ncurses-bin:amd64=6.3-2 ocaml:amd64=4.13.1-3 ocaml-base:amd64=4.13.1-3 ocaml-compiler-libs:amd64=4.13.1-3 ocaml-dune:amd64=2.9.1-1+b1 ocaml-findlib:amd64=1.9.1-1+b1 ocaml-interp:amd64=4.13.1-3 ocaml-nox:all=4.13.1-3 patch:amd64=2.7.6-7 perl:amd64=5.34.0-3 perl-base:amd64=5.34.0-3 perl-modules-5.34:all=5.34.0-3 po-debconf:all=1.0.21+nmu1 python3:amd64=3.9.8-1 python3-minimal:amd64=3.9.8-1 python3.9:amd64=3.9.10-1 python3.9-minimal:amd64=3.9.10-1 readline-common:all=8.1.2-1 rpcsvc-proto:amd64=1.4.2-4 sed:amd64=4.8-1 sensible-utils:all=0.0.17 sysvinit-utils:amd64=3.01-1 tar:amd64=1.34+dfsg-1 tzdata:all=2021e-1 util-linux:amd64=2.37.3-1+b1 xz-utils:amd64=5.2.5-2 zlib1g:amd64=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220219T032615Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220219T032615Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220219T213354Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220225T025859Z/ bookworm main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d mathcomp-analysis=0.3.13-1 && mkdir -p /build/mathcomp-analysis-PA6NrN && dpkg-source --no-check -x /*.dsc /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13 && cd /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13 && { printf '%s' 'mathcomp-analysis (0.3.13-1+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild on buildd -- amd64 Build Daemon (x86-grnet-01) Wed, 16 Feb 2022 23:04:44 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/mathcomp-analysis-PA6NrN" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13 && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1645052684" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/mathcomp-analysis-PA6NrN /tmp/mathcomp-analysis-0.3.13-1+b154akliu4 bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220219T213354Z bookworm main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: tar I: using /tmp/mmdebstrap.8NFxSvMAiS 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.8NFxSvMAiS 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 136 kB of archives. After this operation, 406 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220219T213354Z bookworm/main amd64 libfakeroot amd64 1.27-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220219T213354Z bookworm/main amd64 fakeroot amd64 1.27-1 [87.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 136 kB in 0s (1178 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 ... 4693 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.27-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.27-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.27-1_amd64.deb ... Unpacking fakeroot (1.27-1) ... Setting up libfakeroot:amd64 (1.27-1) ... Setting up fakeroot (1.27-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.33-6) ... 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/ tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-archive-bullseye-automatic.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-archive-bullseye-security-automatic.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-archive-bullseye-stable.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-archive-buster-automatic.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-archive-buster-security-automatic.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-archive-buster-stable.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-archive-keyring.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-archive-removed-keys.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-archive-stretch-automatic.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-archive-stretch-security-automatic.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-archive-stretch-stable.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-ports-archive-keyring-removed.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-ports-archive-keyring.gpg': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file 'debian-keyring.gpg': Operation not supported I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220219T032615Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220219T032615Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220219T213354Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220225T025859Z/ bookworm main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.8NFxSvMAiS Get:1 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm InRelease [129 kB] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20220219T213354Z bookworm InRelease Get:4 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm InRelease [130 kB] Ign:5 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main Sources Ign:6 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main amd64 Packages Ign:5 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main Sources Ign:6 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main amd64 Packages Ign:5 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main Sources Ign:6 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main amd64 Packages Get:5 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main Sources [11.9 MB] Get:6 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main amd64 Packages [11.3 MB] Ign:7 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:8 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm/main amd64 Packages Ign:7 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:8 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm/main amd64 Packages Ign:7 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:8 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm/main amd64 Packages Get:7 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Get:8 http://snapshot.notset.fr/archive/debian/20220225T025859Z bookworm/main amd64 Packages [11.3 MB] Fetched 45.9 MB in 37s (1240 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.8NFxSvMAiS I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d mathcomp-analysis=0.3.13-1 && mkdir -p /build/mathcomp-analysis-PA6NrN && dpkg-source --no-check -x /*.dsc /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13 && cd /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13 && { printf '%s' 'mathcomp-analysis (0.3.13-1+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild on buildd -- amd64 Build Daemon (x86-grnet-01) Wed, 16 Feb 2022 23:04:44 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/mathcomp-analysis-PA6NrN"' exec /tmp/mmdebstrap.8NFxSvMAiS Reading package lists... NOTICE: 'mathcomp-analysis' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/mathcomp-analysis.git Please use: git clone https://salsa.debian.org/ocaml-team/mathcomp-analysis.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 524 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main mathcomp-analysis 0.3.13-1 (dsc) [2195 B] Get:2 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main mathcomp-analysis 0.3.13-1 (tar) [513 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220219T032615Z bookworm/main mathcomp-analysis 0.3.13-1 (diff) [8276 B] Fetched 524 kB in 0s (1183 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'mathcomp-analysis_0.3.13-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting mathcomp-analysis in /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13 dpkg-source: info: unpacking mathcomp-analysis_0.3.13.orig.tar.gz dpkg-source: info: unpacking mathcomp-analysis_0.3.13-1.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13 && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1645052684" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.8NFxSvMAiS dpkg-buildpackage: info: source package mathcomp-analysis dpkg-buildpackage: info: source version 0.3.13-1+b1 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by amd64 Build Daemon (x86-grnet-01) dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml dh_auto_clean make -j8 distclean make[1]: Entering directory '/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13' rm -f Makefile.coq Makefile.coq.conf Makefile.coq rm -f make[1]: Leaving directory '/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a dh_auto_configure -a dh_auto_build -a make -j8 "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13' /usr/bin/coq_makefile -f _CoqProject -o Makefile.coq make -f Makefile.coq make[2]: Entering directory '/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13' COQDEP VFILES COQC theories/boolp.v COQC theories/forms.v COQC theories/altreals/xfinmap.v File "./theories/forms.v", line 126, characters 0-52: Warning: class_of_axiom does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./theories/forms.v", line 142, characters 0-48: Warning: additiver does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./theories/forms.v", line 143, characters 0-45: Warning: linearr does not respect the uniform inheritance condition [uniform-inheritance,typechecker] File "./theories/forms.v", line 144, characters 0-20: Warning: Ignoring canonical projection to apply by GRing.Additive.apply in additiver: redundant with additiver [redundant-canonical-projection,typechecker] File "./theories/forms.v", line 145, characters 0-18: Warning: Ignoring canonical projection to apply by GRing.Linear.apply in linearr: redundant with linearr [redundant-canonical-projection,typechecker] File "./theories/forms.v", line 146, characters 0-20: Warning: Ignoring canonical projection to applyr_head by GRing.Additive.apply in additivel: redundant with additivel [redundant-canonical-projection,typechecker] File "./theories/forms.v", line 147, characters 0-18: Warning: Ignoring canonical projection to applyr_head by GRing.Linear.apply in linearl: redundant with linearl [redundant-canonical-projection,typechecker] COQC theories/classical_sets.v COQC theories/nngnum.v File "./theories/nngnum.v", line 88, characters 0-25: Warning: Ignoring canonical projection to NngNumDef by Sub in nngnum_subType: redundant with nngnum_subType [redundant-canonical-projection,typechecker] File "./theories/nngnum.v", line 88, characters 0-25: Warning: Ignoring canonical projection to num_of_nng by val in nngnum_subType: redundant with nngnum_subType [redundant-canonical-projection,typechecker] File "./theories/nngnum.v", line 88, characters 0-25: Warning: Ignoring canonical projection to nngnum_of by sub_sort in nngnum_subType: redundant with nngnum_subType [redundant-canonical-projection,typechecker] File "./theories/nngnum.v", line 89, characters 0-24: Warning: Ignoring canonical projection to nngnum_of by Equality.sort in nngnum_eqType: redundant with nngnum_eqType [redundant-canonical-projection,typechecker] File "./theories/nngnum.v", line 90, characters 0-28: Warning: Ignoring canonical projection to nngnum_of by Choice.sort in nngnum_choiceType: redundant with nngnum_choiceType [redundant-canonical-projection,typechecker] File "./theories/nngnum.v", line 91, characters 0-28: Warning: Ignoring canonical projection to nngnum_of by Order.POrder.sort in nngnum_porderType: redundant with nngnum_porderType [redundant-canonical-projection,typechecker] File "./theories/nngnum.v", line 92, characters 0-29: Warning: Ignoring canonical projection to nngnum_of by Order.Lattice.sort in nngnum_latticeType: redundant with nngnum_latticeType [redundant-canonical-projection,typechecker] File "./theories/nngnum.v", line 93, characters 0-27: Warning: Ignoring canonical projection to nngnum_of by Order.Total.sort in nngnum_orderType: redundant with nngnum_orderType [redundant-canonical-projection,typechecker] COQC theories/posnum.v COQC theories/prodnormedzmodule.v File "./theories/prodnormedzmodule.v", line 56, characters 0-25: Warning: Ignoring canonical projection to prod by Num.NormedZmodule.sort in @normedZmodType: redundant with @normedZmodType [redundant-canonical-projection,typechecker] COQC theories/reals.v COQC theories/cardinality.v COQC theories/topology.v COQC theories/altreals/discrete.v File "./theories/topology.v", line 980, characters 0-31: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances 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] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/topology.v", line 991, characters 0-32: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances 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] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/topology.v", line 1351, characters 0-25: 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 "./theories/topology.v", line 1626, characters 0-26: 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 "./theories/topology.v", line 1643, characters 0-33: 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 "./theories/topology.v", line 2418, characters 0-25: 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 theories/ereal.v COQC theories/normedtype.v COQC theories/nsatz_realtype.v COQC theories/altreals/realseq.v COQC theories/altreals/realsum.v File "./theories/altreals/realsum.v", line 445, characters 30-38: Warning: Notation iota_add is deprecated since mathcomp 1.13.0. Use iotaD instead. [deprecated-syntactic-definition,deprecated] File "./theories/altreals/realsum.v", line 445, characters 30-38: Warning: Notation iota_add is deprecated since mathcomp 1.13.0. Use iotaD instead. [deprecated-syntactic-definition,deprecated] File "./theories/altreals/realsum.v", line 445, characters 30-38: Warning: Notation iota_add is deprecated since mathcomp 1.13.0. Use iotaD instead. [deprecated-syntactic-definition,deprecated] COQC theories/altreals/distr.v File "./theories/normedtype.v", line 2663, characters 0-36: 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 theories/landau.v COQC theories/Rstruct.v COQC theories/summability.v COQC theories/derive.v COQC theories/sequences.v File "./theories/sequences.v", line 698, characters 56-64: Warning: Notation iota_add is deprecated since mathcomp 1.13.0. Use iotaD instead. [deprecated-syntactic-definition,deprecated] File "./theories/sequences.v", line 698, characters 56-64: Warning: Notation iota_add is deprecated since mathcomp 1.13.0. Use iotaD instead. [deprecated-syntactic-definition,deprecated] File "./theories/sequences.v", line 698, characters 56-64: Warning: Notation iota_add is deprecated since mathcomp 1.13.0. Use iotaD instead. [deprecated-syntactic-definition,deprecated] File "./theories/sequences.v", line 933, characters 15-23: Warning: Notation iota_add is deprecated since mathcomp 1.13.0. Use iotaD instead. [deprecated-syntactic-definition,deprecated] File "./theories/sequences.v", line 933, characters 15-23: Warning: Notation iota_add is deprecated since mathcomp 1.13.0. Use iotaD instead. [deprecated-syntactic-definition,deprecated] File "./theories/sequences.v", line 933, characters 15-23: Warning: Notation iota_add is deprecated since mathcomp 1.13.0. Use iotaD instead. [deprecated-syntactic-definition,deprecated] COQC theories/csum.v COQC theories/measure.v File "./theories/measure.v", line 558, characters 0-72: Warning: measure_additive_measure does not respect the uniform inheritance condition [uniform-inheritance,typechecker] COQC theories/realfun.v COQC theories/exp.v COQC theories/trigo.v File "./theories/trigo.v", line 96, characters 44-52: Warning: Notation iota_add is deprecated since mathcomp 1.13.0. Use iotaD instead. [deprecated-syntactic-definition,deprecated] File "./theories/trigo.v", line 96, characters 44-52: Warning: Notation iota_add is deprecated since mathcomp 1.13.0. Use iotaD instead. [deprecated-syntactic-definition,deprecated] File "./theories/trigo.v", line 96, characters 44-52: Warning: Notation iota_add is deprecated since mathcomp 1.13.0. Use iotaD instead. [deprecated-syntactic-definition,deprecated] make[2]: Leaving directory '/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13' make[1]: Leaving directory '/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13' 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 dh_auto_install --destdir=debian/libcoq-mathcomp-analysis/ -a make -j8 install DESTDIR=/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis AM_UPDATE_INFO_DIR=no "INSTALL=install --strip-program=true" make[1]: Entering directory '/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13' /usr/bin/coq_makefile -f _CoqProject -o Makefile.coq make -f Makefile.coq install make[2]: Entering directory '/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13' make[2]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. INSTALL theories/boolp.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/ereal.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/reals.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/posnum.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/nngnum.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/landau.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/classical_sets.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/Rstruct.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/topology.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/prodnormedzmodule.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/normedtype.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/realfun.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/sequences.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/exp.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/trigo.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/nsatz_realtype.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/cardinality.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/csum.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/forms.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/derive.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/measure.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/summability.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/altreals/xfinmap.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/altreals/discrete.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/altreals/realseq.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/altreals/realsum.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/altreals/distr.vo /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/boolp.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/ereal.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/reals.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/posnum.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/nngnum.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/landau.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/classical_sets.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/Rstruct.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/topology.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/prodnormedzmodule.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/normedtype.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/realfun.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/sequences.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/exp.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/trigo.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/nsatz_realtype.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/cardinality.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/csum.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/forms.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/derive.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/measure.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/summability.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/altreals/xfinmap.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/altreals/discrete.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/altreals/realseq.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/altreals/realsum.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/altreals/distr.v /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/boolp.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/ereal.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/reals.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/posnum.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/nngnum.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/landau.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/classical_sets.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/Rstruct.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/topology.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/prodnormedzmodule.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/normedtype.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/realfun.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/sequences.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/exp.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/trigo.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/nsatz_realtype.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/cardinality.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/csum.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/forms.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/derive.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/measure.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/summability.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis/ INSTALL theories/altreals/xfinmap.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/altreals/discrete.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/altreals/realseq.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/altreals/realsum.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals INSTALL theories/altreals/distr.glob /build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis//usr/lib/ocaml/coq//user-contrib/mathcomp/analysis//altreals make[3]: Entering directory '/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13' make[3]: Leaving directory '/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13' make[2]: Leaving directory '/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13' make[1]: Leaving directory '/build/mathcomp-analysis-PA6NrN/mathcomp-analysis-0.3.13' dh_ocamldoc -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_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a dh_gencontrol -a dpkg-gencontrol: warning: Provides field of package libcoq-mathcomp-analysis: substitution variable ${ocaml:Provides} used, but is not defined dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'libcoq-mathcomp-analysis' in '../libcoq-mathcomp-analysis_0.3.13-1+b1_amd64.deb'. dpkg-genbuildinfo --build=any -O../mathcomp-analysis_0.3.13-1+b1_amd64.buildinfo dpkg-genchanges --build=any -O../mathcomp-analysis_0.3.13-1+b1_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/mathcomp-analysis-PA6NrN /tmp/mathcomp-analysis-0.3.13-1+b154akliu4 tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis_0.3.13.orig.tar.gz': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.dir-locals.el': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.gitattributes': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.github/workflows/docker-action.yml': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.github/workflows/nix-action-8.13.yml': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.github/workflows/nix-action-8.14.yml': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.github/workflows/nix-action-master.yml': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.github/workflows': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.github': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.gitignore': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.nix/config.nix': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.nix/coq-nix-toolbox.nix': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.nix': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/AUTHORS.md': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/CHANGELOG.md': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/CHANGELOG_UNRELEASED.md': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/CONTRIBUTING.md': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/INSTALL.md': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/LICENCE': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/MANIFEST': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/Makefile': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/Makefile.common': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/NIX.md': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/ORIGINAL_FILES.md': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/README.md': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/_CoqProject': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/coq-mathcomp-analysis.opam': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/default.nix': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/etc/pr193.sed': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/etc': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/hierarchy.png': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/meta.yml': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/scripts/distribution': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/scripts/install-sh': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/scripts': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/Rstruct.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/LICENSE': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/dedekind.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/discrete.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/distr.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/realseq.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/realsum.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/xfinmap.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/.xfinmap.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/xfinmap.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/xfinmap.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/xfinmap.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/xfinmap.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/.discrete.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/discrete.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/discrete.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/discrete.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/discrete.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/.realseq.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/realseq.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/realseq.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/realseq.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/realseq.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/.realsum.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/realsum.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/realsum.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/realsum.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/realsum.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/.distr.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/distr.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/distr.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/distr.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals/distr.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/altreals': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/boolp.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/cardinality.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/classical_sets.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/csum.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/derive.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/ereal.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/exp.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/forms.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/landau.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/measure.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/misc/uniform_bigO.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/misc': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/nngnum.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/normedtype.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/nsatz_realtype.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/posnum.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/prodnormedzmodule.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/realfun.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/reals.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/sequences.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/summability.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/topology.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/trigo.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.boolp.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/boolp.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.forms.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/forms.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/boolp.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/boolp.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/boolp.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.classical_sets.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/classical_sets.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.nngnum.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/nngnum.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/nngnum.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/nngnum.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/nngnum.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.posnum.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/posnum.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.prodnormedzmodule.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/prodnormedzmodule.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/forms.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/forms.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/forms.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/posnum.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/posnum.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/posnum.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/prodnormedzmodule.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/prodnormedzmodule.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/prodnormedzmodule.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/classical_sets.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/classical_sets.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/classical_sets.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.cardinality.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/cardinality.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.reals.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/reals.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/reals.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/reals.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/reals.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.topology.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/topology.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/cardinality.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/cardinality.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/cardinality.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/topology.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/topology.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/topology.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.ereal.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/ereal.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/ereal.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/ereal.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/ereal.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.nsatz_realtype.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/nsatz_realtype.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.normedtype.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/normedtype.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/nsatz_realtype.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/nsatz_realtype.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/nsatz_realtype.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/normedtype.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/normedtype.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/normedtype.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.landau.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/landau.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.Rstruct.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/Rstruct.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/Rstruct.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/Rstruct.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/Rstruct.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.summability.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/summability.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/summability.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/summability.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/summability.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/landau.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/landau.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/landau.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.sequences.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/sequences.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.derive.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/derive.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/sequences.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/sequences.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/sequences.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.csum.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/csum.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/csum.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/csum.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/csum.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.measure.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/measure.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/measure.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/measure.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/measure.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/derive.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/derive.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/derive.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.realfun.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/realfun.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/realfun.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/realfun.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/realfun.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.exp.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/exp.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/exp.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/exp.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/exp.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/.trigo.aux': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/trigo.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/trigo.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/trigo.vos': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories/trigo.vok': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/theories': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/changelog': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/control': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/copyright': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis.docs': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/rules': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/source/format': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/source': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/upstream/metadata': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/upstream': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/watch': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/.debhelper/generated/_source/home': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/.debhelper/generated/_source': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/.debhelper/generated/libcoq-mathcomp-analysis/installed-by-dh_installdocs': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/.debhelper/generated/libcoq-mathcomp-analysis': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/.debhelper/generated': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/.debhelper': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/debhelper-build-stamp': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/boolp.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/ereal.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/reals.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/posnum.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/nngnum.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/landau.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/classical_sets.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/Rstruct.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/topology.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/prodnormedzmodule.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/normedtype.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/realfun.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/sequences.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/exp.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/trigo.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/nsatz_realtype.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/cardinality.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/csum.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/forms.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/derive.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/measure.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/summability.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/xfinmap.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/discrete.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/realseq.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/realsum.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/distr.vo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/xfinmap.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/discrete.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/realseq.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/realsum.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/distr.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/xfinmap.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/discrete.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/realseq.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/realsum.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals/distr.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/altreals': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/boolp.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/ereal.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/reals.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/posnum.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/nngnum.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/landau.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/classical_sets.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/Rstruct.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/topology.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/prodnormedzmodule.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/normedtype.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/realfun.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/sequences.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/exp.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/trigo.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/nsatz_realtype.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/cardinality.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/csum.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/forms.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/derive.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/measure.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/summability.v': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/boolp.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/ereal.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/reals.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/posnum.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/nngnum.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/landau.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/classical_sets.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/Rstruct.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/topology.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/prodnormedzmodule.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/normedtype.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/realfun.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/sequences.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/exp.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/trigo.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/nsatz_realtype.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/cardinality.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/csum.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/forms.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/derive.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/measure.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis/summability.glob': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp/analysis': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib/mathcomp': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq/user-contrib': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml/coq': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib/ocaml': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/lib': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/share/doc/libcoq-mathcomp-analysis/CHANGELOG_UNRELEASED.md': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/share/doc/libcoq-mathcomp-analysis/CONTRIBUTING.md': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/share/doc/libcoq-mathcomp-analysis/copyright': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/share/doc/libcoq-mathcomp-analysis/README.md.gz': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/share/doc/libcoq-mathcomp-analysis/changelog.gz': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/share/doc/libcoq-mathcomp-analysis/changelog.Debian.gz': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/share/doc/libcoq-mathcomp-analysis/changelog.Debian.amd64.gz': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/share/doc/libcoq-mathcomp-analysis': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/share/doc': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr/share': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/usr': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/DEBIAN/control': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/DEBIAN/md5sums': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis/DEBIAN': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis.olist.debhelper': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/libcoq-mathcomp-analysis.substvars': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian/files': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/debian': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.pc/.version': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.pc/.quilt_patches': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.pc/.quilt_series': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.pc/applied-patches': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.pc': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/ocamlinit-stamp': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/Makefile.coq': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/Makefile.coq.conf': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13/.Makefile.coq.d': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis-0.3.13': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './libcoq-mathcomp-analysis_0.3.13-1+b1_amd64.deb': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis_0.3.13-1+b1_amd64.buildinfo': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file './mathcomp-analysis_0.3.13-1+b1_amd64.changes': Operation not supported tar: setxattrat: Cannot set 'security.selinux' extended attribute for file '.': Operation not supported I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.8NFxSvMAiS... I: success in 891.9985 seconds md5: libcoq-mathcomp-analysis_0.3.13-1+b1_amd64.deb: OK sha1: libcoq-mathcomp-analysis_0.3.13-1+b1_amd64.deb: OK sha256: libcoq-mathcomp-analysis_0.3.13-1+b1_amd64.deb: OK Checksums: OK