Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/w/why3/why3_1.4.0-1_all.buildinfo
Use metasnap for getting required timestamps
Cannot get timestamps from metasnap: 404 (Not Found)
Use snapshot for getting required timestamps
Get source package info: why3=1.4.0-1
Source URL: http://snapshot.notset.fr/mr/package/why3/1.4.0-1/srcfiles?fileinfo=1
Initialize APT cache
Get binary package info: adduser=3.118
Binary URL: http://snapshot.notset.fr/mr/binary/adduser/3.118/binfiles?fileinfo=1
Get binary package info: adwaita-icon-theme=41.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/adwaita-icon-theme/41.0-1/binfiles?fileinfo=1
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=20180224.1+nmu1
Binary URL: http://snapshot.notset.fr/mr/binary/autotools-dev/20180224.1+nmu1/binfiles?fileinfo=1
Get binary package info: base-files=12
Binary URL: http://snapshot.notset.fr/mr/binary/base-files/12/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-3.1
Binary URL: http://snapshot.notset.fr/mr/binary/bash/5.1-3.1/binfiles?fileinfo=1
Get binary package info: binutils=2.37-10
Binary URL: http://snapshot.notset.fr/mr/binary/binutils/2.37-10/binfiles?fileinfo=1
Get binary package info: binutils-common=2.37-10
Binary URL: http://snapshot.notset.fr/mr/binary/binutils-common/2.37-10/binfiles?fileinfo=1
Get binary package info: binutils-x86-64-linux-gnu=2.37-10
Binary URL: http://snapshot.notset.fr/mr/binary/binutils-x86-64-linux-gnu/2.37-10/binfiles?fileinfo=1
Get binary package info: bsdextrautils=2.37.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/bsdextrautils/2.37.2-4/binfiles?fileinfo=1
Get binary package info: bsdutils=1:2.37.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/bsdutils/1:2.37.2-4/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-4
Binary URL: http://snapshot.notset.fr/mr/binary/bzip2/1.0.8-4/binfiles?fileinfo=1
Get binary package info: ca-certificates=20211016
Binary URL: http://snapshot.notset.fr/mr/binary/ca-certificates/20211016/binfiles?fileinfo=1
Get binary package info: coq=8.14.0+dfsg-6+b1
Binary URL: http://snapshot.notset.fr/mr/binary/coq/8.14.0+dfsg-6+b1/binfiles?fileinfo=1
Get binary package info: coq-theories=8.14.0+dfsg-6+b1
Binary URL: http://snapshot.notset.fr/mr/binary/coq-theories/8.14.0+dfsg-6+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-12
Binary URL: http://snapshot.notset.fr/mr/binary/cpp-11/11.2.0-12/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: dbus=1.12.20-3
Binary URL: http://snapshot.notset.fr/mr/binary/dbus/1.12.20-3/binfiles?fileinfo=1
Get binary package info: dbus-bin=1.12.20-3
Binary URL: http://snapshot.notset.fr/mr/binary/dbus-bin/1.12.20-3/binfiles?fileinfo=1
Get binary package info: dbus-daemon=1.12.20-3
Binary URL: http://snapshot.notset.fr/mr/binary/dbus-daemon/1.12.20-3/binfiles?fileinfo=1
Get binary package info: dbus-session-bus-common=1.12.20-3
Binary URL: http://snapshot.notset.fr/mr/binary/dbus-session-bus-common/1.12.20-3/binfiles?fileinfo=1
Get binary package info: dbus-system-bus-common=1.12.20-3
Binary URL: http://snapshot.notset.fr/mr/binary/dbus-system-bus-common/1.12.20-3/binfiles?fileinfo=1
Get binary package info: dbus-user-session=1.12.20-3
Binary URL: http://snapshot.notset.fr/mr/binary/dbus-user-session/1.12.20-3/binfiles?fileinfo=1
Get binary package info: dconf-gsettings-backend=0.40.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/dconf-gsettings-backend/0.40.0-2/binfiles?fileinfo=1
Get binary package info: dconf-service=0.40.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/dconf-service/0.40.0-2/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.5.2
Binary URL: http://snapshot.notset.fr/mr/binary/debhelper/13.5.2/binfiles?fileinfo=1
Get binary package info: debianutils=5.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/debianutils/5.5-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.12.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/dh-strip-nondeterminism/1.12.1-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: dmsetup=2:1.02.175-2.1
Binary URL: http://snapshot.notset.fr/mr/binary/dmsetup/2:1.02.175-2.1/binfiles?fileinfo=1
Get binary package info: docutils-common=0.17.1+dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/docutils-common/0.17.1+dfsg-2/binfiles?fileinfo=1
Get binary package info: dpkg=1.20.9
Binary URL: http://snapshot.notset.fr/mr/binary/dpkg/1.20.9/binfiles?fileinfo=1
Get binary package info: dpkg-dev=1.20.9
Binary URL: http://snapshot.notset.fr/mr/binary/dpkg-dev/1.20.9/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: fontconfig=2.13.1-4.2
Binary URL: http://snapshot.notset.fr/mr/binary/fontconfig/2.13.1-4.2/binfiles?fileinfo=1
Get binary package info: fontconfig-config=2.13.1-4.2
Binary URL: http://snapshot.notset.fr/mr/binary/fontconfig-config/2.13.1-4.2/binfiles?fileinfo=1
Get binary package info: fonts-dejavu-core=2.37-2
Binary URL: http://snapshot.notset.fr/mr/binary/fonts-dejavu-core/2.37-2/binfiles?fileinfo=1
Get binary package info: fonts-lmodern=2.004.5-6.1
Binary URL: http://snapshot.notset.fr/mr/binary/fonts-lmodern/2.004.5-6.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-12
Binary URL: http://snapshot.notset.fr/mr/binary/g++-11/11.2.0-12/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-12
Binary URL: http://snapshot.notset.fr/mr/binary/gcc-11/11.2.0-12/binfiles?fileinfo=1
Get binary package info: gcc-11-base=11.2.0-12
Binary URL: http://snapshot.notset.fr/mr/binary/gcc-11-base/11.2.0-12/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: gir1.2-atk-1.0=2.36.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-atk-1.0/2.36.0-2/binfiles?fileinfo=1
Get binary package info: gir1.2-atspi-2.0=2.42.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-atspi-2.0/2.42.0-2/binfiles?fileinfo=1
Get binary package info: gir1.2-freedesktop=1.70.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-freedesktop/1.70.0-2/binfiles?fileinfo=1
Get binary package info: gir1.2-gdkpixbuf-2.0=2.42.6+dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-gdkpixbuf-2.0/2.42.6+dfsg-2/binfiles?fileinfo=1
Get binary package info: gir1.2-glib-2.0=1.70.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-glib-2.0/1.70.0-2/binfiles?fileinfo=1
Get binary package info: gir1.2-gtk-3.0=3.24.30-3
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-gtk-3.0/3.24.30-3/binfiles?fileinfo=1
Get binary package info: gir1.2-gtksource-3.0=3.24.11-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-gtksource-3.0/3.24.11-2+b1/binfiles?fileinfo=1
Get binary package info: gir1.2-harfbuzz-0.0=2.7.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-harfbuzz-0.0/2.7.4-1/binfiles?fileinfo=1
Get binary package info: gir1.2-pango-1.0=1.48.10+ds1-1
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-pango-1.0/1.48.10+ds1-1/binfiles?fileinfo=1
Get binary package info: graphviz=2.42.2-5+b1
Binary URL: http://snapshot.notset.fr/mr/binary/graphviz/2.42.2-5+b1/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-7
Binary URL: http://snapshot.notset.fr/mr/binary/groff-base/1.22.4-7/binfiles?fileinfo=1
Get binary package info: gtk-update-icon-cache=3.24.30-3
Binary URL: http://snapshot.notset.fr/mr/binary/gtk-update-icon-cache/3.24.30-3/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: hicolor-icon-theme=0.17-2
Binary URL: http://snapshot.notset.fr/mr/binary/hicolor-icon-theme/0.17-2/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: icu-devtools=67.1-7
Binary URL: http://snapshot.notset.fr/mr/binary/icu-devtools/67.1-7/binfiles?fileinfo=1
Get binary package info: init-system-helpers=1.60
Binary URL: http://snapshot.notset.fr/mr/binary/init-system-helpers/1.60/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: libann0=1.1.2+doc-7
Binary URL: http://snapshot.notset.fr/mr/binary/libann0/1.1.2+doc-7/binfiles?fileinfo=1
Get binary package info: libapache-pom-java=18-1
Binary URL: http://snapshot.notset.fr/mr/binary/libapache-pom-java/18-1/binfiles?fileinfo=1
Get binary package info: libapparmor1=3.0.3-6
Binary URL: http://snapshot.notset.fr/mr/binary/libapparmor1/3.0.3-6/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: libargon2-1=0~20171227-0.2
Binary URL: http://snapshot.notset.fr/mr/binary/libargon2-1/0~20171227-0.2/binfiles?fileinfo=1
Get binary package info: libasan6=11.2.0-12
Binary URL: http://snapshot.notset.fr/mr/binary/libasan6/11.2.0-12/binfiles?fileinfo=1
Get binary package info: libatk-bridge2.0-0=2.38.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libatk-bridge2.0-0/2.38.0-2/binfiles?fileinfo=1
Get binary package info: libatk-bridge2.0-dev=2.38.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libatk-bridge2.0-dev/2.38.0-2/binfiles?fileinfo=1
Get binary package info: libatk1.0-0=2.36.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libatk1.0-0/2.36.0-2/binfiles?fileinfo=1
Get binary package info: libatk1.0-data=2.36.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libatk1.0-data/2.36.0-2/binfiles?fileinfo=1
Get binary package info: libatk1.0-dev=2.36.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libatk1.0-dev/2.36.0-2/binfiles?fileinfo=1
Get binary package info: libatomic1=11.2.0-12
Binary URL: http://snapshot.notset.fr/mr/binary/libatomic1/11.2.0-12/binfiles?fileinfo=1
Get binary package info: libatspi2.0-0=2.42.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libatspi2.0-0/2.42.0-2/binfiles?fileinfo=1
Get binary package info: libatspi2.0-dev=2.42.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libatspi2.0-dev/2.42.0-2/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.6-1
Binary URL: http://snapshot.notset.fr/mr/binary/libaudit-common/1:3.0.6-1/binfiles?fileinfo=1
Get binary package info: libaudit1=1:3.0.6-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libaudit1/1:3.0.6-1+b1/binfiles?fileinfo=1
Get binary package info: libavahi-client3=0.8-5
Binary URL: http://snapshot.notset.fr/mr/binary/libavahi-client3/0.8-5/binfiles?fileinfo=1
Get binary package info: libavahi-common-data=0.8-5
Binary URL: http://snapshot.notset.fr/mr/binary/libavahi-common-data/0.8-5/binfiles?fileinfo=1
Get binary package info: libavahi-common3=0.8-5
Binary URL: http://snapshot.notset.fr/mr/binary/libavahi-common3/0.8-5/binfiles?fileinfo=1
Get binary package info: libbinutils=2.37-10
Binary URL: http://snapshot.notset.fr/mr/binary/libbinutils/2.37-10/binfiles?fileinfo=1
Get binary package info: libblkid-dev=2.37.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/libblkid-dev/2.37.2-4/binfiles?fileinfo=1
Get binary package info: libblkid1=2.37.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/libblkid1/2.37.2-4/binfiles?fileinfo=1
Get binary package info: libbrotli-dev=1.0.9-2+b3
Binary URL: http://snapshot.notset.fr/mr/binary/libbrotli-dev/1.0.9-2+b3/binfiles?fileinfo=1
Get binary package info: libbrotli1=1.0.9-2+b3
Binary URL: http://snapshot.notset.fr/mr/binary/libbrotli1/1.0.9-2+b3/binfiles?fileinfo=1
Get binary package info: libbsd0=0.11.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libbsd0/0.11.3-1/binfiles?fileinfo=1
Get binary package info: libbz2-1.0=1.0.8-4
Binary URL: http://snapshot.notset.fr/mr/binary/libbz2-1.0/1.0.8-4/binfiles?fileinfo=1
Get binary package info: libc-bin=2.32-4
Binary URL: http://snapshot.notset.fr/mr/binary/libc-bin/2.32-4/binfiles?fileinfo=1
Get binary package info: libc-dev-bin=2.32-4
Binary URL: http://snapshot.notset.fr/mr/binary/libc-dev-bin/2.32-4/binfiles?fileinfo=1
Get binary package info: libc6=2.32-4
Binary URL: http://snapshot.notset.fr/mr/binary/libc6/2.32-4/binfiles?fileinfo=1
Get binary package info: libc6-dev=2.32-4
Binary URL: http://snapshot.notset.fr/mr/binary/libc6-dev/2.32-4/binfiles?fileinfo=1
Get binary package info: libcairo-gobject2=1.16.0-5
Binary URL: http://snapshot.notset.fr/mr/binary/libcairo-gobject2/1.16.0-5/binfiles?fileinfo=1
Get binary package info: libcairo-script-interpreter2=1.16.0-5
Binary URL: http://snapshot.notset.fr/mr/binary/libcairo-script-interpreter2/1.16.0-5/binfiles?fileinfo=1
Get binary package info: libcairo2=1.16.0-5
Binary URL: http://snapshot.notset.fr/mr/binary/libcairo2/1.16.0-5/binfiles?fileinfo=1
Get binary package info: libcairo2-dev=1.16.0-5
Binary URL: http://snapshot.notset.fr/mr/binary/libcairo2-dev/1.16.0-5/binfiles?fileinfo=1
Get binary package info: libcairo2-ocaml=0.6.2+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/libcairo2-ocaml/0.6.2+dfsg-1/binfiles?fileinfo=1
Get binary package info: libcairo2-ocaml-dev=0.6.2+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/libcairo2-ocaml-dev/0.6.2+dfsg-1/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-12
Binary URL: http://snapshot.notset.fr/mr/binary/libcc1-0/11.2.0-12/binfiles?fileinfo=1
Get binary package info: libcdt5=2.42.2-5+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libcdt5/2.42.2-5+b1/binfiles?fileinfo=1
Get binary package info: libcgraph6=2.42.2-5+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libcgraph6/2.42.2-5+b1/binfiles?fileinfo=1
Get binary package info: libcolord2=1.4.5-3
Binary URL: http://snapshot.notset.fr/mr/binary/libcolord2/1.4.5-3/binfiles?fileinfo=1
Get binary package info: libcom-err2=1.46.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libcom-err2/1.46.4-1/binfiles?fileinfo=1
Get binary package info: libcommons-logging-java=1.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libcommons-logging-java/1.2-2/binfiles?fileinfo=1
Get binary package info: libcommons-parent-java=43-1
Binary URL: http://snapshot.notset.fr/mr/binary/libcommons-parent-java/43-1/binfiles?fileinfo=1
Get binary package info: libcoq-ocaml=8.14.0+dfsg-6+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-ocaml/8.14.0+dfsg-6+b1/binfiles?fileinfo=1
Get binary package info: libcoq-ocaml-dev=8.14.0+dfsg-6+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libcoq-ocaml-dev/8.14.0+dfsg-6+b1/binfiles?fileinfo=1
Get binary package info: libcrypt-dev=1:4.4.26-1
Binary URL: http://snapshot.notset.fr/mr/binary/libcrypt-dev/1:4.4.26-1/binfiles?fileinfo=1
Get binary package info: libcrypt1=1:4.4.26-1
Binary URL: http://snapshot.notset.fr/mr/binary/libcrypt1/1:4.4.26-1/binfiles?fileinfo=1
Get binary package info: libcryptsetup12=2:2.4.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/libcryptsetup12/2:2.4.2-1/binfiles?fileinfo=1
Get binary package info: libctf-nobfd0=2.37-10
Binary URL: http://snapshot.notset.fr/mr/binary/libctf-nobfd0/2.37-10/binfiles?fileinfo=1
Get binary package info: libctf0=2.37-10
Binary URL: http://snapshot.notset.fr/mr/binary/libctf0/2.37-10/binfiles?fileinfo=1
Get binary package info: libcups2=2.3.3op2-7
Binary URL: http://snapshot.notset.fr/mr/binary/libcups2/2.3.3op2-7/binfiles?fileinfo=1
Get binary package info: libdatrie-dev=0.2.13-2
Binary URL: http://snapshot.notset.fr/mr/binary/libdatrie-dev/0.2.13-2/binfiles?fileinfo=1
Get binary package info: libdatrie1=0.2.13-2
Binary URL: http://snapshot.notset.fr/mr/binary/libdatrie1/0.2.13-2/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: libdbus-1-3=1.12.20-3
Binary URL: http://snapshot.notset.fr/mr/binary/libdbus-1-3/1.12.20-3/binfiles?fileinfo=1
Get binary package info: libdbus-1-dev=1.12.20-3
Binary URL: http://snapshot.notset.fr/mr/binary/libdbus-1-dev/1.12.20-3/binfiles?fileinfo=1
Get binary package info: libdconf1=0.40.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libdconf1/0.40.0-2/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.5.2
Binary URL: http://snapshot.notset.fr/mr/binary/libdebhelper-perl/13.5.2/binfiles?fileinfo=1
Get binary package info: libdeflate-dev=1.8-1
Binary URL: http://snapshot.notset.fr/mr/binary/libdeflate-dev/1.8-1/binfiles?fileinfo=1
Get binary package info: libdeflate0=1.8-1
Binary URL: http://snapshot.notset.fr/mr/binary/libdeflate0/1.8-1/binfiles?fileinfo=1
Get binary package info: libdevmapper1.02.1=2:1.02.175-2.1
Binary URL: http://snapshot.notset.fr/mr/binary/libdevmapper1.02.1/2:1.02.175-2.1/binfiles?fileinfo=1
Get binary package info: libdpkg-perl=1.20.9
Binary URL: http://snapshot.notset.fr/mr/binary/libdpkg-perl/1.20.9/binfiles?fileinfo=1
Get binary package info: libdrm-amdgpu1=2.4.108-1
Binary URL: http://snapshot.notset.fr/mr/binary/libdrm-amdgpu1/2.4.108-1/binfiles?fileinfo=1
Get binary package info: libdrm-common=2.4.108-1
Binary URL: http://snapshot.notset.fr/mr/binary/libdrm-common/2.4.108-1/binfiles?fileinfo=1
Get binary package info: libdrm-intel1=2.4.108-1
Binary URL: http://snapshot.notset.fr/mr/binary/libdrm-intel1/2.4.108-1/binfiles?fileinfo=1
Get binary package info: libdrm-nouveau2=2.4.108-1
Binary URL: http://snapshot.notset.fr/mr/binary/libdrm-nouveau2/2.4.108-1/binfiles?fileinfo=1
Get binary package info: libdrm-radeon1=2.4.108-1
Binary URL: http://snapshot.notset.fr/mr/binary/libdrm-radeon1/2.4.108-1/binfiles?fileinfo=1
Get binary package info: libdrm2=2.4.108-1
Binary URL: http://snapshot.notset.fr/mr/binary/libdrm2/2.4.108-1/binfiles?fileinfo=1
Get binary package info: libedit2=3.1-20210910-1
Binary URL: http://snapshot.notset.fr/mr/binary/libedit2/3.1-20210910-1/binfiles?fileinfo=1
Get binary package info: libegl-dev=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libegl-dev/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libegl-mesa0=21.2.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libegl-mesa0/21.2.5-1/binfiles?fileinfo=1
Get binary package info: libegl1=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libegl1/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libegl1-mesa-dev=21.2.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libegl1-mesa-dev/21.2.5-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: libepoxy-dev=1.5.9-2
Binary URL: http://snapshot.notset.fr/mr/binary/libepoxy-dev/1.5.9-2/binfiles?fileinfo=1
Get binary package info: libepoxy0=1.5.9-2
Binary URL: http://snapshot.notset.fr/mr/binary/libepoxy0/1.5.9-2/binfiles?fileinfo=1
Get binary package info: libexpat1=2.4.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/libexpat1/2.4.1-3/binfiles?fileinfo=1
Get binary package info: libexpat1-dev=2.4.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/libexpat1-dev/2.4.1-3/binfiles?fileinfo=1
Get binary package info: libffi-dev=3.4.2-3
Binary URL: http://snapshot.notset.fr/mr/binary/libffi-dev/3.4.2-3/binfiles?fileinfo=1
Get binary package info: libffi8=3.4.2-3
Binary URL: http://snapshot.notset.fr/mr/binary/libffi8/3.4.2-3/binfiles?fileinfo=1
Get binary package info: libfile-stripnondeterminism-perl=1.12.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libfile-stripnondeterminism-perl/1.12.1-1/binfiles?fileinfo=1
Get binary package info: libfindlib-ocaml=1.8.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/libfindlib-ocaml/1.8.1-2/binfiles?fileinfo=1
Get binary package info: libfontbox-java=1:1.8.16-2
Binary URL: http://snapshot.notset.fr/mr/binary/libfontbox-java/1:1.8.16-2/binfiles?fileinfo=1
Get binary package info: libfontconfig-dev=2.13.1-4.2
Binary URL: http://snapshot.notset.fr/mr/binary/libfontconfig-dev/2.13.1-4.2/binfiles?fileinfo=1
Get binary package info: libfontconfig1=2.13.1-4.2
Binary URL: http://snapshot.notset.fr/mr/binary/libfontconfig1/2.13.1-4.2/binfiles?fileinfo=1
Get binary package info: libfontconfig1-dev=2.13.1-4.2
Binary URL: http://snapshot.notset.fr/mr/binary/libfontconfig1-dev/2.13.1-4.2/binfiles?fileinfo=1
Get binary package info: libfontenc1=1:1.1.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libfontenc1/1:1.1.4-1/binfiles?fileinfo=1
Get binary package info: libfreetype-dev=2.11.0+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/libfreetype-dev/2.11.0+dfsg-1/binfiles?fileinfo=1
Get binary package info: libfreetype6=2.11.0+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/libfreetype6/2.11.0+dfsg-1/binfiles?fileinfo=1
Get binary package info: libfreetype6-dev=2.11.0+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/libfreetype6-dev/2.11.0+dfsg-1/binfiles?fileinfo=1
Get binary package info: libfribidi-dev=1.0.8-2
Binary URL: http://snapshot.notset.fr/mr/binary/libfribidi-dev/1.0.8-2/binfiles?fileinfo=1
Get binary package info: libfribidi0=1.0.8-2
Binary URL: http://snapshot.notset.fr/mr/binary/libfribidi0/1.0.8-2/binfiles?fileinfo=1
Get binary package info: libgbm1=21.2.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgbm1/21.2.5-1/binfiles?fileinfo=1
Get binary package info: libgcc-11-dev=11.2.0-12
Binary URL: http://snapshot.notset.fr/mr/binary/libgcc-11-dev/11.2.0-12/binfiles?fileinfo=1
Get binary package info: libgcc-s1=11.2.0-12
Binary URL: http://snapshot.notset.fr/mr/binary/libgcc-s1/11.2.0-12/binfiles?fileinfo=1
Get binary package info: libgcrypt20=1.9.4-3+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libgcrypt20/1.9.4-3+b1/binfiles?fileinfo=1
Get binary package info: libgd3=2.3.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgd3/2.3.0-2/binfiles?fileinfo=1
Get binary package info: libgdbm-compat4=1.22-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgdbm-compat4/1.22-1/binfiles?fileinfo=1
Get binary package info: libgdbm6=1.22-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgdbm6/1.22-1/binfiles?fileinfo=1
Get binary package info: libgdk-pixbuf-2.0-0=2.42.6+dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgdk-pixbuf-2.0-0/2.42.6+dfsg-2/binfiles?fileinfo=1
Get binary package info: libgdk-pixbuf-2.0-dev=2.42.6+dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgdk-pixbuf-2.0-dev/2.42.6+dfsg-2/binfiles?fileinfo=1
Get binary package info: libgdk-pixbuf2.0-bin=2.42.6+dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgdk-pixbuf2.0-bin/2.42.6+dfsg-2/binfiles?fileinfo=1
Get binary package info: libgdk-pixbuf2.0-common=2.42.6+dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgdk-pixbuf2.0-common/2.42.6+dfsg-2/binfiles?fileinfo=1
Get binary package info: libgirepository-1.0-1=1.70.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgirepository-1.0-1/1.70.0-2/binfiles?fileinfo=1
Get binary package info: libgl-dev=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libgl-dev/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libgl1=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libgl1/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libgl1-mesa-dri=21.2.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgl1-mesa-dri/21.2.5-1/binfiles?fileinfo=1
Get binary package info: libglapi-mesa=21.2.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libglapi-mesa/21.2.5-1/binfiles?fileinfo=1
Get binary package info: libgles-dev=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libgles-dev/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libgles1=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libgles1/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libgles2=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libgles2/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libglib2.0-0=2.70.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libglib2.0-0/2.70.1-1/binfiles?fileinfo=1
Get binary package info: libglib2.0-bin=2.70.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libglib2.0-bin/2.70.1-1/binfiles?fileinfo=1
Get binary package info: libglib2.0-data=2.70.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libglib2.0-data/2.70.1-1/binfiles?fileinfo=1
Get binary package info: libglib2.0-dev=2.70.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libglib2.0-dev/2.70.1-1/binfiles?fileinfo=1
Get binary package info: libglib2.0-dev-bin=2.70.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libglib2.0-dev-bin/2.70.1-1/binfiles?fileinfo=1
Get binary package info: libglvnd-core-dev=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libglvnd-core-dev/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libglvnd-dev=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libglvnd-dev/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libglvnd0=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libglvnd0/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libglx-dev=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libglx-dev/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libglx-mesa0=21.2.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libglx-mesa0/21.2.5-1/binfiles?fileinfo=1
Get binary package info: libglx0=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libglx0/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libgmp-dev=2:6.2.1+dfsg-3
Binary URL: http://snapshot.notset.fr/mr/binary/libgmp-dev/2:6.2.1+dfsg-3/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: libgmp3-dev=2:6.2.1+dfsg-3
Binary URL: http://snapshot.notset.fr/mr/binary/libgmp3-dev/2:6.2.1+dfsg-3/binfiles?fileinfo=1
Get binary package info: libgmpxx4ldbl=2:6.2.1+dfsg-3
Binary URL: http://snapshot.notset.fr/mr/binary/libgmpxx4ldbl/2:6.2.1+dfsg-3/binfiles?fileinfo=1
Get binary package info: libgnutls30=3.7.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgnutls30/3.7.2-2/binfiles?fileinfo=1
Get binary package info: libgomp1=11.2.0-12
Binary URL: http://snapshot.notset.fr/mr/binary/libgomp1/11.2.0-12/binfiles?fileinfo=1
Get binary package info: libgpg-error0=1.42-3
Binary URL: http://snapshot.notset.fr/mr/binary/libgpg-error0/1.42-3/binfiles?fileinfo=1
Get binary package info: libgraphite2-3=1.3.14-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgraphite2-3/1.3.14-1/binfiles?fileinfo=1
Get binary package info: libgraphite2-dev=1.3.14-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgraphite2-dev/1.3.14-1/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: libgtk-3-0=3.24.30-3
Binary URL: http://snapshot.notset.fr/mr/binary/libgtk-3-0/3.24.30-3/binfiles?fileinfo=1
Get binary package info: libgtk-3-common=3.24.30-3
Binary URL: http://snapshot.notset.fr/mr/binary/libgtk-3-common/3.24.30-3/binfiles?fileinfo=1
Get binary package info: libgtk-3-dev=3.24.30-3
Binary URL: http://snapshot.notset.fr/mr/binary/libgtk-3-dev/3.24.30-3/binfiles?fileinfo=1
Get binary package info: libgtksourceview-3.0-1=3.24.11-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libgtksourceview-3.0-1/3.24.11-2+b1/binfiles?fileinfo=1
Get binary package info: libgtksourceview-3.0-common=3.24.11-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgtksourceview-3.0-common/3.24.11-2/binfiles?fileinfo=1
Get binary package info: libgtksourceview-3.0-dev=3.24.11-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libgtksourceview-3.0-dev/3.24.11-2+b1/binfiles?fileinfo=1
Get binary package info: libgts-0.7-5=0.7.6+darcs121130-5
Binary URL: http://snapshot.notset.fr/mr/binary/libgts-0.7-5/0.7.6+darcs121130-5/binfiles?fileinfo=1
Get binary package info: libgvc6=2.42.2-5+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libgvc6/2.42.2-5+b1/binfiles?fileinfo=1
Get binary package info: libgvpr2=2.42.2-5+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libgvpr2/2.42.2-5+b1/binfiles?fileinfo=1
Get binary package info: libharfbuzz-dev=2.7.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libharfbuzz-dev/2.7.4-1/binfiles?fileinfo=1
Get binary package info: libharfbuzz-gobject0=2.7.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libharfbuzz-gobject0/2.7.4-1/binfiles?fileinfo=1
Get binary package info: libharfbuzz-icu0=2.7.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libharfbuzz-icu0/2.7.4-1/binfiles?fileinfo=1
Get binary package info: libharfbuzz0b=2.7.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libharfbuzz0b/2.7.4-1/binfiles?fileinfo=1
Get binary package info: libhogweed6=3.7.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libhogweed6/3.7.3-1/binfiles?fileinfo=1
Get binary package info: libice-dev=2:1.0.10-1
Binary URL: http://snapshot.notset.fr/mr/binary/libice-dev/2:1.0.10-1/binfiles?fileinfo=1
Get binary package info: libice6=2:1.0.10-1
Binary URL: http://snapshot.notset.fr/mr/binary/libice6/2:1.0.10-1/binfiles?fileinfo=1
Get binary package info: libicu-dev=67.1-7
Binary URL: http://snapshot.notset.fr/mr/binary/libicu-dev/67.1-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: libidn2-0=2.3.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libidn2-0/2.3.2-2/binfiles?fileinfo=1
Get binary package info: libip4tc2=1.8.7-1
Binary URL: http://snapshot.notset.fr/mr/binary/libip4tc2/1.8.7-1/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-12
Binary URL: http://snapshot.notset.fr/mr/binary/libitm1/11.2.0-12/binfiles?fileinfo=1
Get binary package info: libjbig-dev=2.1-3.1+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libjbig-dev/2.1-3.1+b2/binfiles?fileinfo=1
Get binary package info: libjbig0=2.1-3.1+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libjbig0/2.1-3.1+b2/binfiles?fileinfo=1
Get binary package info: libjpeg-dev=1:2.1.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/libjpeg-dev/1:2.1.1-2/binfiles?fileinfo=1
Get binary package info: libjpeg62-turbo=1:2.1.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/libjpeg62-turbo/1:2.1.1-2/binfiles?fileinfo=1
Get binary package info: libjpeg62-turbo-dev=1:2.1.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/libjpeg62-turbo-dev/1:2.1.1-2/binfiles?fileinfo=1
Get binary package info: libjs-jquery=3.5.1+dfsg+~3.5.5-8
Binary URL: http://snapshot.notset.fr/mr/binary/libjs-jquery/3.5.1+dfsg+~3.5.5-8/binfiles?fileinfo=1
Get binary package info: libjs-sphinxdoc=4.2.0-5
Binary URL: http://snapshot.notset.fr/mr/binary/libjs-sphinxdoc/4.2.0-5/binfiles?fileinfo=1
Get binary package info: libjs-underscore=1.9.1~dfsg-4
Binary URL: http://snapshot.notset.fr/mr/binary/libjs-underscore/1.9.1~dfsg-4/binfiles?fileinfo=1
Get binary package info: libjson-c5=0.15-2
Binary URL: http://snapshot.notset.fr/mr/binary/libjson-c5/0.15-2/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: libkmod2=29-1
Binary URL: http://snapshot.notset.fr/mr/binary/libkmod2/29-1/binfiles?fileinfo=1
Get binary package info: libkpathsea6=2021.20210626.59705-1
Binary URL: http://snapshot.notset.fr/mr/binary/libkpathsea6/2021.20210626.59705-1/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: liblab-gamut1=2.42.2-5+b1
Binary URL: http://snapshot.notset.fr/mr/binary/liblab-gamut1/2.42.2-5+b1/binfiles?fileinfo=1
Get binary package info: liblablgtk3-ocaml=3.1.1+official-1+b2
Binary URL: http://snapshot.notset.fr/mr/binary/liblablgtk3-ocaml/3.1.1+official-1+b2/binfiles?fileinfo=1
Get binary package info: liblablgtk3-ocaml-dev=3.1.1+official-1+b2
Binary URL: http://snapshot.notset.fr/mr/binary/liblablgtk3-ocaml-dev/3.1.1+official-1+b2/binfiles?fileinfo=1
Get binary package info: liblablgtksourceview3-ocaml=3.1.1+official-1+b2
Binary URL: http://snapshot.notset.fr/mr/binary/liblablgtksourceview3-ocaml/3.1.1+official-1+b2/binfiles?fileinfo=1
Get binary package info: liblablgtksourceview3-ocaml-dev=3.1.1+official-1+b2
Binary URL: http://snapshot.notset.fr/mr/binary/liblablgtksourceview3-ocaml-dev/3.1.1+official-1+b2/binfiles?fileinfo=1
Get binary package info: liblcms2-2=2.12~rc1-2
Binary URL: http://snapshot.notset.fr/mr/binary/liblcms2-2/2.12~rc1-2/binfiles?fileinfo=1
Get binary package info: libllvm12=1:12.0.1-16
Binary URL: http://snapshot.notset.fr/mr/binary/libllvm12/1:12.0.1-16/binfiles?fileinfo=1
Get binary package info: liblsan0=11.2.0-12
Binary URL: http://snapshot.notset.fr/mr/binary/liblsan0/11.2.0-12/binfiles?fileinfo=1
Get binary package info: libltdl7=2.4.6-15
Binary URL: http://snapshot.notset.fr/mr/binary/libltdl7/2.4.6-15/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: liblzma-dev=5.2.5-2
Binary URL: http://snapshot.notset.fr/mr/binary/liblzma-dev/5.2.5-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: liblzo2-2=2.10-2
Binary URL: http://snapshot.notset.fr/mr/binary/liblzo2-2/2.10-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: libmd0=1.0.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libmd0/1.0.4-1/binfiles?fileinfo=1
Get binary package info: libmenhir-ocaml-dev=20210929-1
Binary URL: http://snapshot.notset.fr/mr/binary/libmenhir-ocaml-dev/20210929-1/binfiles?fileinfo=1
Get binary package info: libmount-dev=2.37.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/libmount-dev/2.37.2-4/binfiles?fileinfo=1
Get binary package info: libmount1=2.37.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/libmount1/2.37.2-4/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-1
Binary URL: http://snapshot.notset.fr/mr/binary/libncurses-dev/6.3-1/binfiles?fileinfo=1
Get binary package info: libncurses5-dev=6.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libncurses5-dev/6.3-1/binfiles?fileinfo=1
Get binary package info: libncurses6=6.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libncurses6/6.3-1/binfiles?fileinfo=1
Get binary package info: libncursesw6=6.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libncursesw6/6.3-1/binfiles?fileinfo=1
Get binary package info: libnettle8=3.7.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libnettle8/3.7.3-1/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: libnum-ocaml=1.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libnum-ocaml/1.4-1/binfiles?fileinfo=1
Get binary package info: libnum-ocaml-dev=1.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libnum-ocaml-dev/1.4-1/binfiles?fileinfo=1
Get binary package info: libocamlgraph-ocaml-dev=1.8.8-1.1+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libocamlgraph-ocaml-dev/1.8.8-1.1+b2/binfiles?fileinfo=1
Get binary package info: libopengl-dev=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libopengl-dev/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libopengl0=1.3.4-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libopengl0/1.3.4-2+b1/binfiles?fileinfo=1
Get binary package info: libp11-kit0=0.24.0-5
Binary URL: http://snapshot.notset.fr/mr/binary/libp11-kit0/0.24.0-5/binfiles?fileinfo=1
Get binary package info: libpam-modules=1.4.0-10
Binary URL: http://snapshot.notset.fr/mr/binary/libpam-modules/1.4.0-10/binfiles?fileinfo=1
Get binary package info: libpam-modules-bin=1.4.0-10
Binary URL: http://snapshot.notset.fr/mr/binary/libpam-modules-bin/1.4.0-10/binfiles?fileinfo=1
Get binary package info: libpam-runtime=1.4.0-10
Binary URL: http://snapshot.notset.fr/mr/binary/libpam-runtime/1.4.0-10/binfiles?fileinfo=1
Get binary package info: libpam-systemd=249.7-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpam-systemd/249.7-1/binfiles?fileinfo=1
Get binary package info: libpam0g=1.4.0-10
Binary URL: http://snapshot.notset.fr/mr/binary/libpam0g/1.4.0-10/binfiles?fileinfo=1
Get binary package info: libpango-1.0-0=1.48.10+ds1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpango-1.0-0/1.48.10+ds1-1/binfiles?fileinfo=1
Get binary package info: libpango1.0-dev=1.48.10+ds1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpango1.0-dev/1.48.10+ds1-1/binfiles?fileinfo=1
Get binary package info: libpangocairo-1.0-0=1.48.10+ds1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpangocairo-1.0-0/1.48.10+ds1-1/binfiles?fileinfo=1
Get binary package info: libpangoft2-1.0-0=1.48.10+ds1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpangoft2-1.0-0/1.48.10+ds1-1/binfiles?fileinfo=1
Get binary package info: libpangoxft-1.0-0=1.48.10+ds1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpangoxft-1.0-0/1.48.10+ds1-1/binfiles?fileinfo=1
Get binary package info: libpaper-utils=1.1.28+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libpaper-utils/1.1.28+b1/binfiles?fileinfo=1
Get binary package info: libpaper1=1.1.28+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libpaper1/1.1.28+b1/binfiles?fileinfo=1
Get binary package info: libpathplan4=2.42.2-5+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libpathplan4/2.42.2-5+b1/binfiles?fileinfo=1
Get binary package info: libpciaccess0=0.16-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpciaccess0/0.16-1/binfiles?fileinfo=1
Get binary package info: libpcre16-3=2:8.39-13
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre16-3/2:8.39-13/binfiles?fileinfo=1
Get binary package info: libpcre2-16-0=10.39-3
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre2-16-0/10.39-3/binfiles?fileinfo=1
Get binary package info: libpcre2-32-0=10.39-3
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre2-32-0/10.39-3/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: libpcre2-dev=10.39-3
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre2-dev/10.39-3/binfiles?fileinfo=1
Get binary package info: libpcre2-posix3=10.39-3
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre2-posix3/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: libpcre3-dev=2:8.39-13
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre3-dev/2:8.39-13/binfiles?fileinfo=1
Get binary package info: libpcre32-3=2:8.39-13
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre32-3/2:8.39-13/binfiles?fileinfo=1
Get binary package info: libpcrecpp0v5=2:8.39-13
Binary URL: http://snapshot.notset.fr/mr/binary/libpcrecpp0v5/2:8.39-13/binfiles?fileinfo=1
Get binary package info: libpdfbox-java=1:1.8.16-2
Binary URL: http://snapshot.notset.fr/mr/binary/libpdfbox-java/1:1.8.16-2/binfiles?fileinfo=1
Get binary package info: libperl5.32=5.32.1-6
Binary URL: http://snapshot.notset.fr/mr/binary/libperl5.32/5.32.1-6/binfiles?fileinfo=1
Get binary package info: libpipeline1=1.5.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpipeline1/1.5.4-1/binfiles?fileinfo=1
Get binary package info: libpixman-1-0=0.40.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpixman-1-0/0.40.0-1/binfiles?fileinfo=1
Get binary package info: libpixman-1-dev=0.40.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpixman-1-dev/0.40.0-1/binfiles?fileinfo=1
Get binary package info: libpng-dev=1.6.37-3
Binary URL: http://snapshot.notset.fr/mr/binary/libpng-dev/1.6.37-3/binfiles?fileinfo=1
Get binary package info: libpng16-16=1.6.37-3
Binary URL: http://snapshot.notset.fr/mr/binary/libpng16-16/1.6.37-3/binfiles?fileinfo=1
Get binary package info: libptexenc1=2021.20210626.59705-1
Binary URL: http://snapshot.notset.fr/mr/binary/libptexenc1/2021.20210626.59705-1/binfiles?fileinfo=1
Get binary package info: libpthread-stubs0-dev=0.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpthread-stubs0-dev/0.4-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.9-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpython3.9-minimal/3.9.9-1/binfiles?fileinfo=1
Get binary package info: libpython3.9-stdlib=3.9.9-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpython3.9-stdlib/3.9.9-1/binfiles?fileinfo=1
Get binary package info: libquadmath0=11.2.0-12
Binary URL: http://snapshot.notset.fr/mr/binary/libquadmath0/11.2.0-12/binfiles?fileinfo=1
Get binary package info: libreadline8=8.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/libreadline8/8.1-2/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: libselinux1-dev=3.3-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libselinux1-dev/3.3-1+b1/binfiles?fileinfo=1
Get binary package info: libsemanage-common=3.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libsemanage-common/3.3-1/binfiles?fileinfo=1
Get binary package info: libsemanage2=3.3-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libsemanage2/3.3-1+b1/binfiles?fileinfo=1
Get binary package info: libsensors-config=1:3.6.0-7
Binary URL: http://snapshot.notset.fr/mr/binary/libsensors-config/1:3.6.0-7/binfiles?fileinfo=1
Get binary package info: libsensors5=1:3.6.0-7
Binary URL: http://snapshot.notset.fr/mr/binary/libsensors5/1:3.6.0-7/binfiles?fileinfo=1
Get binary package info: libsepol-dev=3.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libsepol-dev/3.3-1/binfiles?fileinfo=1
Get binary package info: libsepol2=3.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libsepol2/3.3-1/binfiles?fileinfo=1
Get binary package info: libsigsegv2=2.13-1
Binary URL: http://snapshot.notset.fr/mr/binary/libsigsegv2/2.13-1/binfiles?fileinfo=1
Get binary package info: libsm-dev=2:1.2.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libsm-dev/2:1.2.3-1/binfiles?fileinfo=1
Get binary package info: libsm6=2:1.2.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libsm6/2:1.2.3-1/binfiles?fileinfo=1
Get binary package info: libsmartcols1=2.37.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/libsmartcols1/2.37.2-4/binfiles?fileinfo=1
Get binary package info: libsqlite3-0=3.36.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libsqlite3-0/3.36.0-2/binfiles?fileinfo=1
Get binary package info: libsqlite3-dev=3.36.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libsqlite3-dev/3.36.0-2/binfiles?fileinfo=1
Get binary package info: libsqlite3-ocaml=5.0.2-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libsqlite3-ocaml/5.0.2-1+b1/binfiles?fileinfo=1
Get binary package info: libsqlite3-ocaml-dev=5.0.2-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libsqlite3-ocaml-dev/5.0.2-1+b1/binfiles?fileinfo=1
Get binary package info: libssl1.1=1.1.1l-1
Binary URL: http://snapshot.notset.fr/mr/binary/libssl1.1/1.1.1l-1/binfiles?fileinfo=1
Get binary package info: libstdc++-11-dev=11.2.0-12
Binary URL: http://snapshot.notset.fr/mr/binary/libstdc++-11-dev/11.2.0-12/binfiles?fileinfo=1
Get binary package info: libstdc++6=11.2.0-12
Binary URL: http://snapshot.notset.fr/mr/binary/libstdc++6/11.2.0-12/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: libsynctex2=2021.20210626.59705-1
Binary URL: http://snapshot.notset.fr/mr/binary/libsynctex2/2021.20210626.59705-1/binfiles?fileinfo=1
Get binary package info: libsystemd0=249.7-1
Binary URL: http://snapshot.notset.fr/mr/binary/libsystemd0/249.7-1/binfiles?fileinfo=1
Get binary package info: libtasn1-6=4.18.0-4
Binary URL: http://snapshot.notset.fr/mr/binary/libtasn1-6/4.18.0-4/binfiles?fileinfo=1
Get binary package info: libteckit0=2.5.11+ds1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libteckit0/2.5.11+ds1-1/binfiles?fileinfo=1
Get binary package info: libtexlua53=2021.20210626.59705-1
Binary URL: http://snapshot.notset.fr/mr/binary/libtexlua53/2021.20210626.59705-1/binfiles?fileinfo=1
Get binary package info: libtexluajit2=2021.20210626.59705-1
Binary URL: http://snapshot.notset.fr/mr/binary/libtexluajit2/2021.20210626.59705-1/binfiles?fileinfo=1
Get binary package info: libthai-data=0.1.28-4.1
Binary URL: http://snapshot.notset.fr/mr/binary/libthai-data/0.1.28-4.1/binfiles?fileinfo=1
Get binary package info: libthai-dev=0.1.28-4.1
Binary URL: http://snapshot.notset.fr/mr/binary/libthai-dev/0.1.28-4.1/binfiles?fileinfo=1
Get binary package info: libthai0=0.1.28-4.1
Binary URL: http://snapshot.notset.fr/mr/binary/libthai0/0.1.28-4.1/binfiles?fileinfo=1
Get binary package info: libtiff-dev=4.3.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libtiff-dev/4.3.0-2/binfiles?fileinfo=1
Get binary package info: libtiff5=4.3.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libtiff5/4.3.0-2/binfiles?fileinfo=1
Get binary package info: libtiffxx5=4.3.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libtiffxx5/4.3.0-2/binfiles?fileinfo=1
Get binary package info: libtinfo6=6.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libtinfo6/6.3-1/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-12
Binary URL: http://snapshot.notset.fr/mr/binary/libtsan0/11.2.0-12/binfiles?fileinfo=1
Get binary package info: libubsan1=11.2.0-12
Binary URL: http://snapshot.notset.fr/mr/binary/libubsan1/11.2.0-12/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=249.7-1
Binary URL: http://snapshot.notset.fr/mr/binary/libudev1/249.7-1/binfiles?fileinfo=1
Get binary package info: libunistring2=0.9.10-6
Binary URL: http://snapshot.notset.fr/mr/binary/libunistring2/0.9.10-6/binfiles?fileinfo=1
Get binary package info: libuuid1=2.37.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/libuuid1/2.37.2-4/binfiles?fileinfo=1
Get binary package info: libvulkan1=1.2.189.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libvulkan1/1.2.189.0-2/binfiles?fileinfo=1
Get binary package info: libwayland-bin=1.19.0-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libwayland-bin/1.19.0-2+b1/binfiles?fileinfo=1
Get binary package info: libwayland-client0=1.19.0-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libwayland-client0/1.19.0-2+b1/binfiles?fileinfo=1
Get binary package info: libwayland-cursor0=1.19.0-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libwayland-cursor0/1.19.0-2+b1/binfiles?fileinfo=1
Get binary package info: libwayland-dev=1.19.0-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libwayland-dev/1.19.0-2+b1/binfiles?fileinfo=1
Get binary package info: libwayland-egl1=1.19.0-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libwayland-egl1/1.19.0-2+b1/binfiles?fileinfo=1
Get binary package info: libwayland-server0=1.19.0-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libwayland-server0/1.19.0-2+b1/binfiles?fileinfo=1
Get binary package info: libwebp6=0.6.1-2.1
Binary URL: http://snapshot.notset.fr/mr/binary/libwebp6/0.6.1-2.1/binfiles?fileinfo=1
Get binary package info: libx11-6=2:1.7.2-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libx11-6/2:1.7.2-2+b1/binfiles?fileinfo=1
Get binary package info: libx11-data=2:1.7.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libx11-data/2:1.7.2-2/binfiles?fileinfo=1
Get binary package info: libx11-dev=2:1.7.2-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libx11-dev/2:1.7.2-2+b1/binfiles?fileinfo=1
Get binary package info: libx11-xcb1=2:1.7.2-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libx11-xcb1/2:1.7.2-2+b1/binfiles?fileinfo=1
Get binary package info: libxau-dev=1:1.0.9-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxau-dev/1:1.0.9-1/binfiles?fileinfo=1
Get binary package info: libxau6=1:1.0.9-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxau6/1:1.0.9-1/binfiles?fileinfo=1
Get binary package info: libxaw7=2:1.0.13-1.1
Binary URL: http://snapshot.notset.fr/mr/binary/libxaw7/2:1.0.13-1.1/binfiles?fileinfo=1
Get binary package info: libxcb-dri2-0=1.14-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxcb-dri2-0/1.14-3/binfiles?fileinfo=1
Get binary package info: libxcb-dri3-0=1.14-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxcb-dri3-0/1.14-3/binfiles?fileinfo=1
Get binary package info: libxcb-glx0=1.14-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxcb-glx0/1.14-3/binfiles?fileinfo=1
Get binary package info: libxcb-present0=1.14-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxcb-present0/1.14-3/binfiles?fileinfo=1
Get binary package info: libxcb-render0=1.14-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxcb-render0/1.14-3/binfiles?fileinfo=1
Get binary package info: libxcb-render0-dev=1.14-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxcb-render0-dev/1.14-3/binfiles?fileinfo=1
Get binary package info: libxcb-shm0=1.14-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxcb-shm0/1.14-3/binfiles?fileinfo=1
Get binary package info: libxcb-shm0-dev=1.14-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxcb-shm0-dev/1.14-3/binfiles?fileinfo=1
Get binary package info: libxcb-sync1=1.14-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxcb-sync1/1.14-3/binfiles?fileinfo=1
Get binary package info: libxcb-xfixes0=1.14-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxcb-xfixes0/1.14-3/binfiles?fileinfo=1
Get binary package info: libxcb1=1.14-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxcb1/1.14-3/binfiles?fileinfo=1
Get binary package info: libxcb1-dev=1.14-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxcb1-dev/1.14-3/binfiles?fileinfo=1
Get binary package info: libxcomposite-dev=1:0.4.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxcomposite-dev/1:0.4.5-1/binfiles?fileinfo=1
Get binary package info: libxcomposite1=1:0.4.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxcomposite1/1:0.4.5-1/binfiles?fileinfo=1
Get binary package info: libxcursor-dev=1:1.2.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libxcursor-dev/1:1.2.0-2/binfiles?fileinfo=1
Get binary package info: libxcursor1=1:1.2.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libxcursor1/1:1.2.0-2/binfiles?fileinfo=1
Get binary package info: libxdamage-dev=1:1.1.5-2
Binary URL: http://snapshot.notset.fr/mr/binary/libxdamage-dev/1:1.1.5-2/binfiles?fileinfo=1
Get binary package info: libxdamage1=1:1.1.5-2
Binary URL: http://snapshot.notset.fr/mr/binary/libxdamage1/1:1.1.5-2/binfiles?fileinfo=1
Get binary package info: libxdmcp-dev=1:1.1.2-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxdmcp-dev/1:1.1.2-3/binfiles?fileinfo=1
Get binary package info: libxdmcp6=1:1.1.2-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxdmcp6/1:1.1.2-3/binfiles?fileinfo=1
Get binary package info: libxext-dev=2:1.3.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxext-dev/2:1.3.4-1/binfiles?fileinfo=1
Get binary package info: libxext6=2:1.3.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxext6/2:1.3.4-1/binfiles?fileinfo=1
Get binary package info: libxfixes-dev=1:5.0.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/libxfixes-dev/1:5.0.3-2/binfiles?fileinfo=1
Get binary package info: libxfixes3=1:5.0.3-2
Binary URL: http://snapshot.notset.fr/mr/binary/libxfixes3/1:5.0.3-2/binfiles?fileinfo=1
Get binary package info: libxft-dev=2.3.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libxft-dev/2.3.2-2/binfiles?fileinfo=1
Get binary package info: libxft2=2.3.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libxft2/2.3.2-2/binfiles?fileinfo=1
Get binary package info: libxi-dev=2:1.8-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxi-dev/2:1.8-1/binfiles?fileinfo=1
Get binary package info: libxi6=2:1.8-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxi6/2:1.8-1/binfiles?fileinfo=1
Get binary package info: libxinerama-dev=2:1.1.4-2
Binary URL: http://snapshot.notset.fr/mr/binary/libxinerama-dev/2:1.1.4-2/binfiles?fileinfo=1
Get binary package info: libxinerama1=2:1.1.4-2
Binary URL: http://snapshot.notset.fr/mr/binary/libxinerama1/2:1.1.4-2/binfiles?fileinfo=1
Get binary package info: libxkbcommon-dev=1.3.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxkbcommon-dev/1.3.1-1/binfiles?fileinfo=1
Get binary package info: libxkbcommon0=1.3.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxkbcommon0/1.3.1-1/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: libxml2-dev=2.9.12+dfsg-5+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libxml2-dev/2.9.12+dfsg-5+b1/binfiles?fileinfo=1
Get binary package info: libxmu6=2:1.1.2-2+b3
Binary URL: http://snapshot.notset.fr/mr/binary/libxmu6/2:1.1.2-2+b3/binfiles?fileinfo=1
Get binary package info: libxpm4=1:3.5.12-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxpm4/1:3.5.12-1/binfiles?fileinfo=1
Get binary package info: libxrandr-dev=2:1.5.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxrandr-dev/2:1.5.2-1/binfiles?fileinfo=1
Get binary package info: libxrandr2=2:1.5.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxrandr2/2:1.5.2-1/binfiles?fileinfo=1
Get binary package info: libxrender-dev=1:0.9.10-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxrender-dev/1:0.9.10-1/binfiles?fileinfo=1
Get binary package info: libxrender1=1:0.9.10-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxrender1/1:0.9.10-1/binfiles?fileinfo=1
Get binary package info: libxshmfence1=1.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxshmfence1/1.3-1/binfiles?fileinfo=1
Get binary package info: libxt6=1:1.2.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxt6/1:1.2.0-1/binfiles?fileinfo=1
Get binary package info: libxtst-dev=2:1.2.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxtst-dev/2:1.2.3-1/binfiles?fileinfo=1
Get binary package info: libxtst6=2:1.2.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxtst6/2:1.2.3-1/binfiles?fileinfo=1
Get binary package info: libxxf86vm1=1:1.1.4-1+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libxxf86vm1/1:1.1.4-1+b2/binfiles?fileinfo=1
Get binary package info: libyaml-0-2=0.2.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/libyaml-0-2/0.2.2-1/binfiles?fileinfo=1
Get binary package info: libz3-4=4.8.12-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libz3-4/4.8.12-1+b1/binfiles?fileinfo=1
Get binary package info: libzarith-ocaml=1.12-1
Binary URL: http://snapshot.notset.fr/mr/binary/libzarith-ocaml/1.12-1/binfiles?fileinfo=1
Get binary package info: libzarith-ocaml-dev=1.12-1
Binary URL: http://snapshot.notset.fr/mr/binary/libzarith-ocaml-dev/1.12-1/binfiles?fileinfo=1
Get binary package info: libzip-ocaml=1.11-1
Binary URL: http://snapshot.notset.fr/mr/binary/libzip-ocaml/1.11-1/binfiles?fileinfo=1
Get binary package info: libzip-ocaml-dev=1.11-1
Binary URL: http://snapshot.notset.fr/mr/binary/libzip-ocaml-dev/1.11-1/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: libzzip-0-13=0.13.72+dfsg.1-1.1
Binary URL: http://snapshot.notset.fr/mr/binary/libzzip-0-13/0.13.72+dfsg.1-1.1/binfiles?fileinfo=1
Get binary package info: linux-libc-dev=5.15.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/linux-libc-dev/5.15.3-1/binfiles?fileinfo=1
Get binary package info: login=1:4.8.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/login/1:4.8.1-2/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.9.4-2
Binary URL: http://snapshot.notset.fr/mr/binary/man-db/2.9.4-2/binfiles?fileinfo=1
Get binary package info: mawk=1.3.4.20200120-2
Binary URL: http://snapshot.notset.fr/mr/binary/mawk/1.3.4.20200120-2/binfiles?fileinfo=1
Get binary package info: media-types=4.0.0
Binary URL: http://snapshot.notset.fr/mr/binary/media-types/4.0.0/binfiles?fileinfo=1
Get binary package info: menhir=20210929-1
Binary URL: http://snapshot.notset.fr/mr/binary/menhir/20210929-1/binfiles?fileinfo=1
Get binary package info: mount=2.37.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/mount/2.37.2-4/binfiles?fileinfo=1
Get binary package info: ncurses-base=6.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/ncurses-base/6.3-1/binfiles?fileinfo=1
Get binary package info: ncurses-bin=6.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/ncurses-bin/6.3-1/binfiles?fileinfo=1
Get binary package info: ocaml-base-nox=4.11.1-4
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-base-nox/4.11.1-4/binfiles?fileinfo=1
Get binary package info: ocaml-compiler-libs=4.11.1-4
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-compiler-libs/4.11.1-4/binfiles?fileinfo=1
Get binary package info: ocaml-findlib=1.8.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-findlib/1.8.1-2/binfiles?fileinfo=1
Get binary package info: ocaml-interp=4.11.1-4
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-interp/4.11.1-4/binfiles?fileinfo=1
Get binary package info: ocaml-nox=4.11.1-4
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-nox/4.11.1-4/binfiles?fileinfo=1
Get binary package info: openssl=1.1.1l-1
Binary URL: http://snapshot.notset.fr/mr/binary/openssl/1.1.1l-1/binfiles?fileinfo=1
Get binary package info: pango1.0-tools=1.48.10+ds1-1
Binary URL: http://snapshot.notset.fr/mr/binary/pango1.0-tools/1.48.10+ds1-1/binfiles?fileinfo=1
Get binary package info: passwd=1:4.8.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/passwd/1:4.8.1-2/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.32.1-6
Binary URL: http://snapshot.notset.fr/mr/binary/perl/5.32.1-6/binfiles?fileinfo=1
Get binary package info: perl-base=5.32.1-6
Binary URL: http://snapshot.notset.fr/mr/binary/perl-base/5.32.1-6/binfiles?fileinfo=1
Get binary package info: perl-modules-5.32=5.32.1-6
Binary URL: http://snapshot.notset.fr/mr/binary/perl-modules-5.32/5.32.1-6/binfiles?fileinfo=1
Get binary package info: pkg-config=0.29.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/pkg-config/0.29.2-1/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: preview-latex-style=12.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/preview-latex-style/12.2-1/binfiles?fileinfo=1
Get binary package info: python-babel-localedata=2.8.0+dfsg.1-7
Binary URL: http://snapshot.notset.fr/mr/binary/python-babel-localedata/2.8.0+dfsg.1-7/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-alabaster=0.7.12-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-alabaster/0.7.12-1/binfiles?fileinfo=1
Get binary package info: python3-babel=2.8.0+dfsg.1-7
Binary URL: http://snapshot.notset.fr/mr/binary/python3-babel/2.8.0+dfsg.1-7/binfiles?fileinfo=1
Get binary package info: python3-certifi=2020.6.20-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-certifi/2020.6.20-1/binfiles?fileinfo=1
Get binary package info: python3-chardet=4.0.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-chardet/4.0.0-1/binfiles?fileinfo=1
Get binary package info: python3-distutils=3.9.9-2
Binary URL: http://snapshot.notset.fr/mr/binary/python3-distutils/3.9.9-2/binfiles?fileinfo=1
Get binary package info: python3-docutils=0.17.1+dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/python3-docutils/0.17.1+dfsg-2/binfiles?fileinfo=1
Get binary package info: python3-idna=2.10-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-idna/2.10-1/binfiles?fileinfo=1
Get binary package info: python3-imagesize=1.3.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-imagesize/1.3.0-1/binfiles?fileinfo=1
Get binary package info: python3-jinja2=3.0.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/python3-jinja2/3.0.1-2/binfiles?fileinfo=1
Get binary package info: python3-latexcodec=2.0.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-latexcodec/2.0.1-1/binfiles?fileinfo=1
Get binary package info: python3-lib2to3=3.9.9-2
Binary URL: http://snapshot.notset.fr/mr/binary/python3-lib2to3/3.9.9-2/binfiles?fileinfo=1
Get binary package info: python3-markupsafe=2.0.1-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-markupsafe/2.0.1-2+b1/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-packaging=21.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-packaging/21.2-1/binfiles?fileinfo=1
Get binary package info: python3-pkg-resources=58.2.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-pkg-resources/58.2.0-1/binfiles?fileinfo=1
Get binary package info: python3-pybtex=0.23.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-pybtex/0.23.0-1/binfiles?fileinfo=1
Get binary package info: python3-pybtex-docutils=1.0.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-pybtex-docutils/1.0.1-1/binfiles?fileinfo=1
Get binary package info: python3-pygments=2.7.1+dfsg-2.1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-pygments/2.7.1+dfsg-2.1/binfiles?fileinfo=1
Get binary package info: python3-pyparsing=2.4.7-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-pyparsing/2.4.7-1/binfiles?fileinfo=1
Get binary package info: python3-requests=2.25.1+dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/python3-requests/2.25.1+dfsg-2/binfiles?fileinfo=1
Get binary package info: python3-roman=3.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-roman/3.3-1/binfiles?fileinfo=1
Get binary package info: python3-six=1.16.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/python3-six/1.16.0-2/binfiles?fileinfo=1
Get binary package info: python3-snowballstemmer=2.2.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-snowballstemmer/2.2.0-1/binfiles?fileinfo=1
Get binary package info: python3-sphinx=4.2.0-5
Binary URL: http://snapshot.notset.fr/mr/binary/python3-sphinx/4.2.0-5/binfiles?fileinfo=1
Get binary package info: python3-sphinxcontrib.bibtex=2.4.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/python3-sphinxcontrib.bibtex/2.4.1-3/binfiles?fileinfo=1
Get binary package info: python3-tz=2021.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-tz/2021.3-1/binfiles?fileinfo=1
Get binary package info: python3-urllib3=1.26.5-1~exp1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-urllib3/1.26.5-1~exp1/binfiles?fileinfo=1
Get binary package info: python3-yaml=5.4.1-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-yaml/5.4.1-1+b1/binfiles?fileinfo=1
Get binary package info: python3.9=3.9.9-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3.9/3.9.9-1/binfiles?fileinfo=1
Get binary package info: python3.9-minimal=3.9.9-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3.9-minimal/3.9.9-1/binfiles?fileinfo=1
Get binary package info: readline-common=8.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/readline-common/8.1-2/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: sgml-base=1.30
Binary URL: http://snapshot.notset.fr/mr/binary/sgml-base/1.30/binfiles?fileinfo=1
Get binary package info: shared-mime-info=2.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/shared-mime-info/2.0-1/binfiles?fileinfo=1
Get binary package info: sphinx-common=4.2.0-5
Binary URL: http://snapshot.notset.fr/mr/binary/sphinx-common/4.2.0-5/binfiles?fileinfo=1
Get binary package info: systemd=249.7-1
Binary URL: http://snapshot.notset.fr/mr/binary/systemd/249.7-1/binfiles?fileinfo=1
Get binary package info: systemd-sysv=249.7-1
Binary URL: http://snapshot.notset.fr/mr/binary/systemd-sysv/249.7-1/binfiles?fileinfo=1
Get binary package info: sysvinit-utils=3.00-1
Binary URL: http://snapshot.notset.fr/mr/binary/sysvinit-utils/3.00-1/binfiles?fileinfo=1
Get binary package info: t1utils=1.41-4
Binary URL: http://snapshot.notset.fr/mr/binary/t1utils/1.41-4/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: tex-common=6.17
Binary URL: http://snapshot.notset.fr/mr/binary/tex-common/6.17/binfiles?fileinfo=1
Get binary package info: tex-gyre=20180621-3.1
Binary URL: http://snapshot.notset.fr/mr/binary/tex-gyre/20180621-3.1/binfiles?fileinfo=1
Get binary package info: texlive-base=2021.20210921-1
Binary URL: http://snapshot.notset.fr/mr/binary/texlive-base/2021.20210921-1/binfiles?fileinfo=1
Get binary package info: texlive-bibtex-extra=2021.20210921-1
Binary URL: http://snapshot.notset.fr/mr/binary/texlive-bibtex-extra/2021.20210921-1/binfiles?fileinfo=1
Get binary package info: texlive-binaries=2021.20210626.59705-1
Binary URL: http://snapshot.notset.fr/mr/binary/texlive-binaries/2021.20210626.59705-1/binfiles?fileinfo=1
Get binary package info: texlive-fonts-recommended=2021.20210921-1
Binary URL: http://snapshot.notset.fr/mr/binary/texlive-fonts-recommended/2021.20210921-1/binfiles?fileinfo=1
Get binary package info: texlive-latex-base=2021.20210921-1
Binary URL: http://snapshot.notset.fr/mr/binary/texlive-latex-base/2021.20210921-1/binfiles?fileinfo=1
Get binary package info: texlive-latex-extra=2021.20210921-1
Binary URL: http://snapshot.notset.fr/mr/binary/texlive-latex-extra/2021.20210921-1/binfiles?fileinfo=1
Get binary package info: texlive-latex-recommended=2021.20210921-1
Binary URL: http://snapshot.notset.fr/mr/binary/texlive-latex-recommended/2021.20210921-1/binfiles?fileinfo=1
Get binary package info: texlive-pictures=2021.20210921-1
Binary URL: http://snapshot.notset.fr/mr/binary/texlive-pictures/2021.20210921-1/binfiles?fileinfo=1
Get binary package info: texlive-plain-generic=2021.20210921-1
Binary URL: http://snapshot.notset.fr/mr/binary/texlive-plain-generic/2021.20210921-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: ucf=3.0043
Binary URL: http://snapshot.notset.fr/mr/binary/ucf/3.0043/binfiles?fileinfo=1
Get binary package info: util-linux=2.37.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/util-linux/2.37.2-4/binfiles?fileinfo=1
Get binary package info: uuid-dev=2.37.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/uuid-dev/2.37.2-4/binfiles?fileinfo=1
Get binary package info: wayland-protocols=1.23-1
Binary URL: http://snapshot.notset.fr/mr/binary/wayland-protocols/1.23-1/binfiles?fileinfo=1
Get binary package info: x11-common=1:7.7+23
Binary URL: http://snapshot.notset.fr/mr/binary/x11-common/1:7.7+23/binfiles?fileinfo=1
Get binary package info: x11proto-dev=2021.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/x11proto-dev/2021.5-1/binfiles?fileinfo=1
Get binary package info: xdg-utils=1.1.3-4.1
Binary URL: http://snapshot.notset.fr/mr/binary/xdg-utils/1.1.3-4.1/binfiles?fileinfo=1
Get binary package info: xfonts-encodings=1:1.0.4-2.1
Binary URL: http://snapshot.notset.fr/mr/binary/xfonts-encodings/1:1.0.4-2.1/binfiles?fileinfo=1
Get binary package info: xfonts-utils=1:7.7+6
Binary URL: http://snapshot.notset.fr/mr/binary/xfonts-utils/1:7.7+6/binfiles?fileinfo=1
Get binary package info: xkb-data=2.33-1
Binary URL: http://snapshot.notset.fr/mr/binary/xkb-data/2.33-1/binfiles?fileinfo=1
Get binary package info: xml-core=0.18+nmu1
Binary URL: http://snapshot.notset.fr/mr/binary/xml-core/0.18+nmu1/binfiles?fileinfo=1
Get binary package info: xorg-sgml-doctools=1:1.11-1.1
Binary URL: http://snapshot.notset.fr/mr/binary/xorg-sgml-doctools/1:1.11-1.1/binfiles?fileinfo=1
Get binary package info: xtrans-dev=1.4.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/xtrans-dev/1.4.0-1/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
Get binary package info: zlib1g-dev=1:1.2.11.dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/zlib1g-dev/1:1.2.11.dfsg-2/binfiles?fileinfo=1
Remaining packages to be found: 533
Timestamp source (197 packages): deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main
New buildinfo file: /tmp/why3-1.4.0-1xk45yz50/why3_1.4.0-1_all.buildinfo
env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=adduser:all=3.118 adwaita-icon-theme:all=41.0-1 autoconf:all=2.71-2 automake:all=1:1.16.5-1.1 autopoint:all=0.21-4 autotools-dev:all=20180224.1+nmu1 base-files:amd64=12 base-passwd:amd64=3.5.52 bash:amd64=5.1-3.1 binutils:amd64=2.37-10 binutils-common:amd64=2.37-10 binutils-x86-64-linux-gnu:amd64=2.37-10 bsdextrautils:amd64=2.37.2-4 bsdutils:amd64=1:2.37.2-4 build-essential:amd64=12.9 bzip2:amd64=1.0.8-4 ca-certificates:all=20211016 coq:amd64=8.14.0+dfsg-6+b1 coq-theories:amd64=8.14.0+dfsg-6+b1 coreutils:amd64=8.32-4.1 cpp:amd64=4:11.2.0-2 cpp-11:amd64=11.2.0-12 dash:amd64=0.5.11+git20210903+057cd650a4ed-3 dbus:amd64=1.12.20-3 dbus-bin:amd64=1.12.20-3 dbus-daemon:amd64=1.12.20-3 dbus-session-bus-common:all=1.12.20-3 dbus-system-bus-common:all=1.12.20-3 dbus-user-session:amd64=1.12.20-3 dconf-gsettings-backend:amd64=0.40.0-2 dconf-service:amd64=0.40.0-2 debconf:all=1.5.79 debhelper:all=13.5.2 debianutils:amd64=5.5-1 dh-autoreconf:all=20 dh-ocaml:all=1.1.3 dh-strip-nondeterminism:all=1.12.1-1 diffutils:amd64=1:3.7-5 dmsetup:amd64=2:1.02.175-2.1 docutils-common:all=0.17.1+dfsg-2 dpkg:amd64=1.20.9 dpkg-dev:all=1.20.9 dwz:amd64=0.14-1 file:amd64=1:5.41-2 findutils:amd64=4.8.0-1 fontconfig:amd64=2.13.1-4.2 fontconfig-config:all=2.13.1-4.2 fonts-dejavu-core:all=2.37-2 fonts-lmodern:all=2.004.5-6.1 g++:amd64=4:11.2.0-2 g++-11:amd64=11.2.0-12 gcc:amd64=4:11.2.0-2 gcc-11:amd64=11.2.0-12 gcc-11-base:amd64=11.2.0-12 gettext:amd64=0.21-4 gettext-base:amd64=0.21-4 gir1.2-atk-1.0:amd64=2.36.0-2 gir1.2-atspi-2.0:amd64=2.42.0-2 gir1.2-freedesktop:amd64=1.70.0-2 gir1.2-gdkpixbuf-2.0:amd64=2.42.6+dfsg-2 gir1.2-glib-2.0:amd64=1.70.0-2 gir1.2-gtk-3.0:amd64=3.24.30-3 gir1.2-gtksource-3.0:amd64=3.24.11-2+b1 gir1.2-harfbuzz-0.0:amd64=2.7.4-1 gir1.2-pango-1.0:amd64=1.48.10+ds1-1 graphviz:amd64=2.42.2-5+b1 grep:amd64=3.7-1 groff-base:amd64=1.22.4-7 gtk-update-icon-cache:amd64=3.24.30-3 gzip:amd64=1.10-4 hicolor-icon-theme:all=0.17-2 hostname:amd64=3.23 icu-devtools:amd64=67.1-7 init-system-helpers:all=1.60 intltool-debian:all=0.35.0+20060710.5 libacl1:amd64=2.3.1-1 libann0:amd64=1.1.2+doc-7 libapache-pom-java:all=18-1 libapparmor1:amd64=3.0.3-6 libarchive-zip-perl:all=1.68-1 libargon2-1:amd64=0~20171227-0.2 libasan6:amd64=11.2.0-12 libatk-bridge2.0-0:amd64=2.38.0-2 libatk-bridge2.0-dev:amd64=2.38.0-2 libatk1.0-0:amd64=2.36.0-2 libatk1.0-data:all=2.36.0-2 libatk1.0-dev:amd64=2.36.0-2 libatomic1:amd64=11.2.0-12 libatspi2.0-0:amd64=2.42.0-2 libatspi2.0-dev:amd64=2.42.0-2 libattr1:amd64=1:2.5.1-1 libaudit-common:all=1:3.0.6-1 libaudit1:amd64=1:3.0.6-1+b1 libavahi-client3:amd64=0.8-5 libavahi-common-data:amd64=0.8-5 libavahi-common3:amd64=0.8-5 libbinutils:amd64=2.37-10 libblkid-dev:amd64=2.37.2-4 libblkid1:amd64=2.37.2-4 libbrotli-dev:amd64=1.0.9-2+b3 libbrotli1:amd64=1.0.9-2+b3 libbsd0:amd64=0.11.3-1 libbz2-1.0:amd64=1.0.8-4 libc-bin:amd64=2.32-4 libc-dev-bin:amd64=2.32-4 libc6:amd64=2.32-4 libc6-dev:amd64=2.32-4 libcairo-gobject2:amd64=1.16.0-5 libcairo-script-interpreter2:amd64=1.16.0-5 libcairo2:amd64=1.16.0-5 libcairo2-dev:amd64=1.16.0-5 libcairo2-ocaml:amd64=0.6.2+dfsg-1 libcairo2-ocaml-dev:amd64=0.6.2+dfsg-1 libcap-ng0:amd64=0.7.9-2.2+b1 libcap2:amd64=1:2.44-1 libcc1-0:amd64=11.2.0-12 libcdt5:amd64=2.42.2-5+b1 libcgraph6:amd64=2.42.2-5+b1 libcolord2:amd64=1.4.5-3 libcom-err2:amd64=1.46.4-1 libcommons-logging-java:all=1.2-2 libcommons-parent-java:all=43-1 libcoq-ocaml:amd64=8.14.0+dfsg-6+b1 libcoq-ocaml-dev:amd64=8.14.0+dfsg-6+b1 libcrypt-dev:amd64=1:4.4.26-1 libcrypt1:amd64=1:4.4.26-1 libcryptsetup12:amd64=2:2.4.2-1 libctf-nobfd0:amd64=2.37-10 libctf0:amd64=2.37-10 libcups2:amd64=2.3.3op2-7 libdatrie-dev:amd64=0.2.13-2 libdatrie1:amd64=0.2.13-2 libdb5.3:amd64=5.3.28+dfsg1-0.8 libdbus-1-3:amd64=1.12.20-3 libdbus-1-dev:amd64=1.12.20-3 libdconf1:amd64=0.40.0-2 libdebconfclient0:amd64=0.261 libdebhelper-perl:all=13.5.2 libdeflate-dev:amd64=1.8-1 libdeflate0:amd64=1.8-1 libdevmapper1.02.1:amd64=2:1.02.175-2.1 libdpkg-perl:all=1.20.9 libdrm-amdgpu1:amd64=2.4.108-1 libdrm-common:all=2.4.108-1 libdrm-intel1:amd64=2.4.108-1 libdrm-nouveau2:amd64=2.4.108-1 libdrm-radeon1:amd64=2.4.108-1 libdrm2:amd64=2.4.108-1 libedit2:amd64=3.1-20210910-1 libegl-dev:amd64=1.3.4-2+b1 libegl-mesa0:amd64=21.2.5-1 libegl1:amd64=1.3.4-2+b1 libegl1-mesa-dev:amd64=21.2.5-1 libelf1:amd64=0.186-1 libepoxy-dev:amd64=1.5.9-2 libepoxy0:amd64=1.5.9-2 libexpat1:amd64=2.4.1-3 libexpat1-dev:amd64=2.4.1-3 libffi-dev:amd64=3.4.2-3 libffi8:amd64=3.4.2-3 libfile-stripnondeterminism-perl:all=1.12.1-1 libfindlib-ocaml:amd64=1.8.1-2 libfontbox-java:all=1:1.8.16-2 libfontconfig-dev:amd64=2.13.1-4.2 libfontconfig1:amd64=2.13.1-4.2 libfontconfig1-dev:amd64=2.13.1-4.2 libfontenc1:amd64=1:1.1.4-1 libfreetype-dev:amd64=2.11.0+dfsg-1 libfreetype6:amd64=2.11.0+dfsg-1 libfreetype6-dev:amd64=2.11.0+dfsg-1 libfribidi-dev:amd64=1.0.8-2 libfribidi0:amd64=1.0.8-2 libgbm1:amd64=21.2.5-1 libgcc-11-dev:amd64=11.2.0-12 libgcc-s1:amd64=11.2.0-12 libgcrypt20:amd64=1.9.4-3+b1 libgd3:amd64=2.3.0-2 libgdbm-compat4:amd64=1.22-1 libgdbm6:amd64=1.22-1 libgdk-pixbuf-2.0-0:amd64=2.42.6+dfsg-2 libgdk-pixbuf-2.0-dev:amd64=2.42.6+dfsg-2 libgdk-pixbuf2.0-bin:amd64=2.42.6+dfsg-2 libgdk-pixbuf2.0-common:all=2.42.6+dfsg-2 libgirepository-1.0-1:amd64=1.70.0-2 libgl-dev:amd64=1.3.4-2+b1 libgl1:amd64=1.3.4-2+b1 libgl1-mesa-dri:amd64=21.2.5-1 libglapi-mesa:amd64=21.2.5-1 libgles-dev:amd64=1.3.4-2+b1 libgles1:amd64=1.3.4-2+b1 libgles2:amd64=1.3.4-2+b1 libglib2.0-0:amd64=2.70.1-1 libglib2.0-bin:amd64=2.70.1-1 libglib2.0-data:all=2.70.1-1 libglib2.0-dev:amd64=2.70.1-1 libglib2.0-dev-bin:amd64=2.70.1-1 libglvnd-core-dev:amd64=1.3.4-2+b1 libglvnd-dev:amd64=1.3.4-2+b1 libglvnd0:amd64=1.3.4-2+b1 libglx-dev:amd64=1.3.4-2+b1 libglx-mesa0:amd64=21.2.5-1 libglx0:amd64=1.3.4-2+b1 libgmp-dev:amd64=2:6.2.1+dfsg-3 libgmp10:amd64=2:6.2.1+dfsg-3 libgmp3-dev:amd64=2:6.2.1+dfsg-3 libgmpxx4ldbl:amd64=2:6.2.1+dfsg-3 libgnutls30:amd64=3.7.2-2 libgomp1:amd64=11.2.0-12 libgpg-error0:amd64=1.42-3 libgraphite2-3:amd64=1.3.14-1 libgraphite2-dev:amd64=1.3.14-1 libgssapi-krb5-2:amd64=1.18.3-7 libgtk-3-0:amd64=3.24.30-3 libgtk-3-common:all=3.24.30-3 libgtk-3-dev:amd64=3.24.30-3 libgtksourceview-3.0-1:amd64=3.24.11-2+b1 libgtksourceview-3.0-common:all=3.24.11-2 libgtksourceview-3.0-dev:amd64=3.24.11-2+b1 libgts-0.7-5:amd64=0.7.6+darcs121130-5 libgvc6:amd64=2.42.2-5+b1 libgvpr2:amd64=2.42.2-5+b1 libharfbuzz-dev:amd64=2.7.4-1 libharfbuzz-gobject0:amd64=2.7.4-1 libharfbuzz-icu0:amd64=2.7.4-1 libharfbuzz0b:amd64=2.7.4-1 libhogweed6:amd64=3.7.3-1 libice-dev:amd64=2:1.0.10-1 libice6:amd64=2:1.0.10-1 libicu-dev:amd64=67.1-7 libicu67:amd64=67.1-7 libidn2-0:amd64=2.3.2-2 libip4tc2:amd64=1.8.7-1 libisl23:amd64=0.24-2 libitm1:amd64=11.2.0-12 libjbig-dev:amd64=2.1-3.1+b2 libjbig0:amd64=2.1-3.1+b2 libjpeg-dev:amd64=1:2.1.1-2 libjpeg62-turbo:amd64=1:2.1.1-2 libjpeg62-turbo-dev:amd64=1:2.1.1-2 libjs-jquery:all=3.5.1+dfsg+~3.5.5-8 libjs-sphinxdoc:all=4.2.0-5 libjs-underscore:all=1.9.1~dfsg-4 libjson-c5:amd64=0.15-2 libk5crypto3:amd64=1.18.3-7 libkeyutils1:amd64=1.6.1-2 libkmod2:amd64=29-1 libkpathsea6:amd64=2021.20210626.59705-1 libkrb5-3:amd64=1.18.3-7 libkrb5support0:amd64=1.18.3-7 liblab-gamut1:amd64=2.42.2-5+b1 liblablgtk3-ocaml:amd64=3.1.1+official-1+b2 liblablgtk3-ocaml-dev:amd64=3.1.1+official-1+b2 liblablgtksourceview3-ocaml:amd64=3.1.1+official-1+b2 liblablgtksourceview3-ocaml-dev:amd64=3.1.1+official-1+b2 liblcms2-2:amd64=2.12~rc1-2 libllvm12:amd64=1:12.0.1-16 liblsan0:amd64=11.2.0-12 libltdl7:amd64=2.4.6-15 liblz4-1:amd64=1.9.3-2 liblzma-dev:amd64=5.2.5-2 liblzma5:amd64=5.2.5-2 liblzo2-2:amd64=2.10-2 libmagic-mgc:amd64=1:5.41-2 libmagic1:amd64=1:5.41-2 libmd0:amd64=1.0.4-1 libmenhir-ocaml-dev:amd64=20210929-1 libmount-dev:amd64=2.37.2-4 libmount1:amd64=2.37.2-4 libmpc3:amd64=1.2.1-1 libmpdec3:amd64=2.5.1-2 libmpfr6:amd64=4.1.0-3 libncurses-dev:amd64=6.3-1 libncurses5-dev:amd64=6.3-1 libncurses6:amd64=6.3-1 libncursesw6:amd64=6.3-1 libnettle8:amd64=3.7.3-1 libnsl-dev:amd64=1.3.0-2 libnsl2:amd64=1.3.0-2 libnum-ocaml:amd64=1.4-1 libnum-ocaml-dev:amd64=1.4-1 libocamlgraph-ocaml-dev:amd64=1.8.8-1.1+b2 libopengl-dev:amd64=1.3.4-2+b1 libopengl0:amd64=1.3.4-2+b1 libp11-kit0:amd64=0.24.0-5 libpam-modules:amd64=1.4.0-10 libpam-modules-bin:amd64=1.4.0-10 libpam-runtime:all=1.4.0-10 libpam-systemd:amd64=249.7-1 libpam0g:amd64=1.4.0-10 libpango-1.0-0:amd64=1.48.10+ds1-1 libpango1.0-dev:amd64=1.48.10+ds1-1 libpangocairo-1.0-0:amd64=1.48.10+ds1-1 libpangoft2-1.0-0:amd64=1.48.10+ds1-1 libpangoxft-1.0-0:amd64=1.48.10+ds1-1 libpaper-utils:amd64=1.1.28+b1 libpaper1:amd64=1.1.28+b1 libpathplan4:amd64=2.42.2-5+b1 libpciaccess0:amd64=0.16-1 libpcre16-3:amd64=2:8.39-13 libpcre2-16-0:amd64=10.39-3 libpcre2-32-0:amd64=10.39-3 libpcre2-8-0:amd64=10.39-3 libpcre2-dev:amd64=10.39-3 libpcre2-posix3:amd64=10.39-3 libpcre3:amd64=2:8.39-13 libpcre3-dev:amd64=2:8.39-13 libpcre32-3:amd64=2:8.39-13 libpcrecpp0v5:amd64=2:8.39-13 libpdfbox-java:all=1:1.8.16-2 libperl5.32:amd64=5.32.1-6 libpipeline1:amd64=1.5.4-1 libpixman-1-0:amd64=0.40.0-1 libpixman-1-dev:amd64=0.40.0-1 libpng-dev:amd64=1.6.37-3 libpng16-16:amd64=1.6.37-3 libptexenc1:amd64=2021.20210626.59705-1 libpthread-stubs0-dev:amd64=0.4-1 libpython3-stdlib:amd64=3.9.8-1 libpython3.9-minimal:amd64=3.9.9-1 libpython3.9-stdlib:amd64=3.9.9-1 libquadmath0:amd64=11.2.0-12 libreadline8:amd64=8.1-2 libseccomp2:amd64=2.5.3-2 libselinux1:amd64=3.3-1+b1 libselinux1-dev:amd64=3.3-1+b1 libsemanage-common:all=3.3-1 libsemanage2:amd64=3.3-1+b1 libsensors-config:all=1:3.6.0-7 libsensors5:amd64=1:3.6.0-7 libsepol-dev:amd64=3.3-1 libsepol2:amd64=3.3-1 libsigsegv2:amd64=2.13-1 libsm-dev:amd64=2:1.2.3-1 libsm6:amd64=2:1.2.3-1 libsmartcols1:amd64=2.37.2-4 libsqlite3-0:amd64=3.36.0-2 libsqlite3-dev:amd64=3.36.0-2 libsqlite3-ocaml:amd64=5.0.2-1+b1 libsqlite3-ocaml-dev:amd64=5.0.2-1+b1 libssl1.1:amd64=1.1.1l-1 libstdc++-11-dev:amd64=11.2.0-12 libstdc++6:amd64=11.2.0-12 libsub-override-perl:all=0.09-2 libsynctex2:amd64=2021.20210626.59705-1 libsystemd0:amd64=249.7-1 libtasn1-6:amd64=4.18.0-4 libteckit0:amd64=2.5.11+ds1-1 libtexlua53:amd64=2021.20210626.59705-1 libtexluajit2:amd64=2021.20210626.59705-1 libthai-data:all=0.1.28-4.1 libthai-dev:amd64=0.1.28-4.1 libthai0:amd64=0.1.28-4.1 libtiff-dev:amd64=4.3.0-2 libtiff5:amd64=4.3.0-2 libtiffxx5:amd64=4.3.0-2 libtinfo6:amd64=6.3-1 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-12 libubsan1:amd64=11.2.0-12 libuchardet0:amd64=0.0.7-1 libudev1:amd64=249.7-1 libunistring2:amd64=0.9.10-6 libuuid1:amd64=2.37.2-4 libvulkan1:amd64=1.2.189.0-2 libwayland-bin:amd64=1.19.0-2+b1 libwayland-client0:amd64=1.19.0-2+b1 libwayland-cursor0:amd64=1.19.0-2+b1 libwayland-dev:amd64=1.19.0-2+b1 libwayland-egl1:amd64=1.19.0-2+b1 libwayland-server0:amd64=1.19.0-2+b1 libwebp6:amd64=0.6.1-2.1 libx11-6:amd64=2:1.7.2-2+b1 libx11-data:all=2:1.7.2-2 libx11-dev:amd64=2:1.7.2-2+b1 libx11-xcb1:amd64=2:1.7.2-2+b1 libxau-dev:amd64=1:1.0.9-1 libxau6:amd64=1:1.0.9-1 libxaw7:amd64=2:1.0.13-1.1 libxcb-dri2-0:amd64=1.14-3 libxcb-dri3-0:amd64=1.14-3 libxcb-glx0:amd64=1.14-3 libxcb-present0:amd64=1.14-3 libxcb-render0:amd64=1.14-3 libxcb-render0-dev:amd64=1.14-3 libxcb-shm0:amd64=1.14-3 libxcb-shm0-dev:amd64=1.14-3 libxcb-sync1:amd64=1.14-3 libxcb-xfixes0:amd64=1.14-3 libxcb1:amd64=1.14-3 libxcb1-dev:amd64=1.14-3 libxcomposite-dev:amd64=1:0.4.5-1 libxcomposite1:amd64=1:0.4.5-1 libxcursor-dev:amd64=1:1.2.0-2 libxcursor1:amd64=1:1.2.0-2 libxdamage-dev:amd64=1:1.1.5-2 libxdamage1:amd64=1:1.1.5-2 libxdmcp-dev:amd64=1:1.1.2-3 libxdmcp6:amd64=1:1.1.2-3 libxext-dev:amd64=2:1.3.4-1 libxext6:amd64=2:1.3.4-1 libxfixes-dev:amd64=1:5.0.3-2 libxfixes3:amd64=1:5.0.3-2 libxft-dev:amd64=2.3.2-2 libxft2:amd64=2.3.2-2 libxi-dev:amd64=2:1.8-1 libxi6:amd64=2:1.8-1 libxinerama-dev:amd64=2:1.1.4-2 libxinerama1:amd64=2:1.1.4-2 libxkbcommon-dev:amd64=1.3.1-1 libxkbcommon0:amd64=1.3.1-1 libxml2:amd64=2.9.12+dfsg-5+b1 libxml2-dev:amd64=2.9.12+dfsg-5+b1 libxmu6:amd64=2:1.1.2-2+b3 libxpm4:amd64=1:3.5.12-1 libxrandr-dev:amd64=2:1.5.2-1 libxrandr2:amd64=2:1.5.2-1 libxrender-dev:amd64=1:0.9.10-1 libxrender1:amd64=1:0.9.10-1 libxshmfence1:amd64=1.3-1 libxt6:amd64=1:1.2.0-1 libxtst-dev:amd64=2:1.2.3-1 libxtst6:amd64=2:1.2.3-1 libxxf86vm1:amd64=1:1.1.4-1+b2 libyaml-0-2:amd64=0.2.2-1 libz3-4:amd64=4.8.12-1+b1 libzarith-ocaml:amd64=1.12-1 libzarith-ocaml-dev:amd64=1.12-1 libzip-ocaml:amd64=1.11-1 libzip-ocaml-dev:amd64=1.11-1 libzstd1:amd64=1.4.8+dfsg-3 libzzip-0-13:amd64=0.13.72+dfsg.1-1.1 linux-libc-dev:amd64=5.15.3-1 login:amd64=1:4.8.1-2 lsb-base:all=11.1.0 m4:amd64=1.4.18-5 make:amd64=4.3-4.1 man-db:amd64=2.9.4-2 mawk:amd64=1.3.4.20200120-2 media-types:all=4.0.0 menhir:amd64=20210929-1 mount:amd64=2.37.2-4 ncurses-base:all=6.3-1 ncurses-bin:amd64=6.3-1 ocaml-base-nox:amd64=4.11.1-4 ocaml-compiler-libs:amd64=4.11.1-4 ocaml-findlib:amd64=1.8.1-2 ocaml-interp:amd64=4.11.1-4 ocaml-nox:amd64=4.11.1-4 openssl:amd64=1.1.1l-1 pango1.0-tools:amd64=1.48.10+ds1-1 passwd:amd64=1:4.8.1-2 patch:amd64=2.7.6-7 perl:amd64=5.32.1-6 perl-base:amd64=5.32.1-6 perl-modules-5.32:all=5.32.1-6 pkg-config:amd64=0.29.2-1 po-debconf:all=1.0.21+nmu1 preview-latex-style:all=12.2-1 python-babel-localedata:all=2.8.0+dfsg.1-7 python3:amd64=3.9.8-1 python3-alabaster:all=0.7.12-1 python3-babel:all=2.8.0+dfsg.1-7 python3-certifi:all=2020.6.20-1 python3-chardet:all=4.0.0-1 python3-distutils:all=3.9.9-2 python3-docutils:all=0.17.1+dfsg-2 python3-idna:all=2.10-1 python3-imagesize:all=1.3.0-1 python3-jinja2:all=3.0.1-2 python3-latexcodec:all=2.0.1-1 python3-lib2to3:all=3.9.9-2 python3-markupsafe:amd64=2.0.1-2+b1 python3-minimal:amd64=3.9.8-1 python3-packaging:all=21.2-1 python3-pkg-resources:all=58.2.0-1 python3-pybtex:all=0.23.0-1 python3-pybtex-docutils:all=1.0.1-1 python3-pygments:all=2.7.1+dfsg-2.1 python3-pyparsing:all=2.4.7-1 python3-requests:all=2.25.1+dfsg-2 python3-roman:all=3.3-1 python3-six:all=1.16.0-2 python3-snowballstemmer:all=2.2.0-1 python3-sphinx:all=4.2.0-5 python3-sphinxcontrib.bibtex:all=2.4.1-3 python3-tz:all=2021.3-1 python3-urllib3:all=1.26.5-1~exp1 python3-yaml:amd64=5.4.1-1+b1 python3.9:amd64=3.9.9-1 python3.9-minimal:amd64=3.9.9-1 readline-common:all=8.1-2 rpcsvc-proto:amd64=1.4.2-4 sed:amd64=4.8-1 sensible-utils:all=0.0.17 sgml-base:all=1.30 shared-mime-info:amd64=2.0-1 sphinx-common:all=4.2.0-5 systemd:amd64=249.7-1 systemd-sysv:amd64=249.7-1 sysvinit-utils:amd64=3.00-1 t1utils:amd64=1.41-4 tar:amd64=1.34+dfsg-1 tex-common:all=6.17 tex-gyre:all=20180621-3.1 texlive-base:all=2021.20210921-1 texlive-bibtex-extra:all=2021.20210921-1 texlive-binaries:amd64=2021.20210626.59705-1 texlive-fonts-recommended:all=2021.20210921-1 texlive-latex-base:all=2021.20210921-1 texlive-latex-extra:all=2021.20210921-1 texlive-latex-recommended:all=2021.20210921-1 texlive-pictures:all=2021.20210921-1 texlive-plain-generic:all=2021.20210921-1 tzdata:all=2021e-1 ucf:all=3.0043 util-linux:amd64=2.37.2-4 uuid-dev:amd64=2.37.2-4 wayland-protocols:all=1.23-1 x11-common:all=1:7.7+23 x11proto-dev:all=2021.5-1 xdg-utils:all=1.1.3-4.1 xfonts-encodings:all=1:1.0.4-2.1 xfonts-utils:amd64=1:7.7+6 xkb-data:all=2.33-1 xml-core:all=0.18+nmu1 xorg-sgml-doctools:all=1:1.11-1.1 xtrans-dev:all=1.4.0-1 xz-utils:amd64=5.2.5-2 zlib1g:amd64=1:1.2.11.dfsg-2 zlib1g-dev: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/20211123T204852Z/ unstable main
deb-src http://snapshot.notset.fr/archive/debian/20211123T204852Z/ unstable main
deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ 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 why3=1.4.0-1 && mkdir -p /build/why3-vqvcSC && dpkg-source --no-check -x /*.dsc /build/why3-vqvcSC/why3-1.4.0 && chown -R builduser:builduser /build/why3-vqvcSC" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/why3-vqvcSC/why3-1.4.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1637673983" dpkg-buildpackage -uc -a amd64 --build=all" --customize-hook=sync-out /build/why3-vqvcSC /tmp/why3-1.4.0-1xk45yz50 bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20210814T212851Z 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.5uwdW4LUxm 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.5uwdW4LUxm
Reading package lists...
Building dependency tree...
util-linux is already the newest version (2.36.1-8).
The following NEW packages will be installed:
  fakeroot libfakeroot
0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded.
Need to get 134 kB of archives.
After this operation, 397 kB of additional disk space will be used.
Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 libfakeroot amd64 1.25.3-1.1 [47.0 kB]
Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 fakeroot amd64 1.25.3-1.1 [87.0 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 134 kB in 0s (1104 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 ... 4668 files and directories currently installed.)
Preparing to unpack .../libfakeroot_1.25.3-1.1_amd64.deb ...
Unpacking libfakeroot:amd64 (1.25.3-1.1) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../fakeroot_1.25.3-1.1_amd64.deb ...
Unpacking fakeroot (1.25.3-1.1) ...
Setting up libfakeroot:amd64 (1.25.3-1.1) ...
Setting up fakeroot (1.25.3-1.1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode
Processing triggers for libc-bin (2.31-13) ...
I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/
I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20211123T204852Z/ unstable main
deb-src http://snapshot.notset.fr/archive/debian/20211123T204852Z/ unstable main
deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.5uwdW4LUxm
Get:1 http://snapshot.notset.fr/archive/debian/20211123T204852Z unstable InRelease [165 kB]
Hit:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease
Ign:3 http://snapshot.notset.fr/archive/debian/20211123T204852Z unstable/main Sources
Ign:4 http://snapshot.notset.fr/archive/debian/20211123T204852Z unstable/main amd64 Packages
Ign:3 http://snapshot.notset.fr/archive/debian/20211123T204852Z unstable/main Sources
Ign:4 http://snapshot.notset.fr/archive/debian/20211123T204852Z unstable/main amd64 Packages
Ign:3 http://snapshot.notset.fr/archive/debian/20211123T204852Z unstable/main Sources
Ign:4 http://snapshot.notset.fr/archive/debian/20211123T204852Z unstable/main amd64 Packages
Get:3 http://snapshot.notset.fr/archive/debian/20211123T204852Z unstable/main Sources [12.5 MB]
Get:4 http://snapshot.notset.fr/archive/debian/20211123T204852Z unstable/main amd64 Packages [12.0 MB]
Fetched 24.7 MB in 20s (1206 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.5uwdW4LUxm
I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d why3=1.4.0-1 && mkdir -p /build/why3-vqvcSC && dpkg-source --no-check -x /*.dsc /build/why3-vqvcSC/why3-1.4.0 && chown -R builduser:builduser /build/why3-vqvcSC"' exec /tmp/mmdebstrap.5uwdW4LUxm
Reading package lists...
NOTICE: 'why3' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/why3.git
Please use:
git clone https://salsa.debian.org/ocaml-team/why3.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 6349 kB of source archives.
Get:1 http://snapshot.notset.fr/archive/debian/20211123T204852Z unstable/main why3 1.4.0-1 (dsc) [2614 B]
Get:2 http://snapshot.notset.fr/archive/debian/20211123T204852Z unstable/main why3 1.4.0-1 (tar) [6307 kB]
Get:3 http://snapshot.notset.fr/archive/debian/20211123T204852Z unstable/main why3 1.4.0-1 (diff) [39.7 kB]
Fetched 6349 kB in 5s (1248 kB/s)
Download complete and in download only mode
W: Download is performed unsandboxed as root as file 'why3_1.4.0-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied)
dpkg-source: info: extracting why3 in /build/why3-vqvcSC/why3-1.4.0
dpkg-source: info: unpacking why3_1.4.0.orig.tar.gz
dpkg-source: info: unpacking why3_1.4.0-1.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying hardening-flags
dpkg-source: info: applying 0002-Add-support-for-Coq-8.14.patch
dpkg-source: info: applying 0003-Fix-bug-in-theory.patch
I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/why3-vqvcSC/why3-1.4.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1637673983" dpkg-buildpackage -uc -a amd64 --build=all"' exec /tmp/mmdebstrap.5uwdW4LUxm
dpkg-buildpackage: info: source package why3
dpkg-buildpackage: info: source version 1.4.0-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Stéphane Glondu <glondu@debian.org>
 dpkg-source --before-build .
 debian/rules clean
dh clean --with ocaml,tex
   dh_ocamlclean
   dh_clean
 debian/rules binary-indep
dh binary-indep --with ocaml,tex
   dh_update_autotools_config -i
   dh_autoreconf -i
autoreconf: warning: autoconf input should be named 'configure.ac', not 'configure.in'
aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in'
configure.in:197: warning: The macro `AC_PROG_CC_STDC' is obsolete.
configure.in:197: You should run autoupdate.
./lib/autoconf/c.m4:1666: AC_PROG_CC_STDC is expanded from...
configure.in:197: the top level
   dh_ocamlinit -i
   debian/rules override_dh_auto_configure
make[1]: Entering directory '/build/why3-vqvcSC/why3-1.4.0'
autoconf
configure.in:197: warning: The macro `AC_PROG_CC_STDC' is obsolete.
configure.in:197: You should run autoupdate.
./lib/autoconf/c.m4:1666: AC_PROG_CC_STDC is expanded from...
configure.in:197: the top level
dh_auto_configure -- \
	--disable-emacs-compilation \
	--libdir=/usr/lib/ocaml
	./configure --build=x86_64-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-option-checking --disable-silent-rules --libdir=\${prefix}/lib/x86_64-linux-gnu --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking --disable-emacs-compilation --libdir=/usr/lib/ocaml
checking executable suffix... <none>
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether the compiler supports GNU C... yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... none needed
checking for a race-free mkdir -p... /bin/mkdir -p
checking for a BSD-compatible install... /usr/bin/install -c
checking for ocamlc... ocamlc
ocaml version is 4.11.1
ocaml library path is /usr/lib/ocaml
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
checking for menhir... menhir
checking for ocamlfind... ocamlfind
ocamlfind found compiler-libs in /usr/lib/ocaml/compiler-libs
checking for sphinx-build... sphinx-build
checking for latexmk... no
checking for rubber... no
checking for pdflatex... pdflatex
ocamlfind found num in /usr/lib/ocaml/num
checking for /usr/lib/ocaml/num/nums.cma... no
checking for /usr/lib/ocaml/num/num.cmi... no
checking for /usr/lib/ocaml/nums.cma... yes
checking for /usr/lib/ocaml/num.cmi... yes
ocamlfind found zarith in /usr/lib/ocaml/zarith
checking for /usr/lib/ocaml/zarith/z.cmi... yes
ocamlfind found camlzip in /usr/lib/ocaml/zip
checking for /usr/lib/ocaml/zip/zip.cmi... yes
ocamlfind found menhirLib in /usr/lib/ocaml/menhirLib
checking for /usr/lib/ocaml/menhirLib/menhirLib.cmi... yes
ocamlfind found seq in /usr/lib/ocaml/seq
checking for /usr/lib/ocaml/seq/seq.cma... no
checking for /usr/lib/ocaml/seq/seq.cmi... no
checking for /usr/lib/ocaml/stdlib__seq.cmi... yes
ocamlfind: Package `re' not found
checking for /usr/lib/ocaml/re/re.cmx... no
checking for /usr/lib/ocaml/re/re.cmi... no
configure: WARNING: Library re not found.
ocamlfind found lablgtk3 in /usr/lib/ocaml/lablgtk3
checking for /usr/lib/ocaml/lablgtk3/gtkButton.cmi... yes
ocamlfind found lablgtk3-sourceview3 in /usr/lib/ocaml/lablgtk3-sourceview3
checking for /usr/lib/ocaml/lablgtk3-sourceview3/gSourceView3.cmi... yes
ocamlfind found ocamlgraph in /usr/lib/ocaml/ocamlgraph
checking for /usr/lib/ocaml/ocamlgraph/graph.cmi... yes
ocamlfind: Package `js_of_ocaml' not found
ocamlfind: Package `mlmpfr' not found
ocamlfind: Package `ppx_sexp_conv' not found
checking for coqc... coqc
checking Coq version... 8.14.0
checking for coqdep... coqdep
checking for Flocq... File "./conftest.v", line 1, characters 15-28:
Error: Cannot find a physical path bound to logical path matching suffix
Flocq.

no
configure: WARNING: Cannot find Flocq.
checking for pvs... no
configure: WARNING: Cannot find pvs.
checking for isabelle... no
configure: WARNING: Cannot find isabelle.
configure: creating ./config.status
config.status: creating Makefile
config.status: creating src/config.sh
config.status: creating lib/why3/META
config.status: creating .merlin
config.status: creating src/jessie/Makefile
config.status: creating src/jessie/.merlin
config.status: creating lib/coq/version
config.status: creating lib/pvs/version
config.status: executing chmod commands

                 Summary
-----------------------------------------
Verbose make                : no
OCaml compiler              : yes
    Version                 : 4.11.1
    Library path            : /usr/lib/ocaml
    Ocamlfind               : yes
    Native compilation      : yes
    Profiling               : no
    Memory profiling        : no (disabled by default)
    PPX                     : yes
    S-expr for why3pp       : no (requires ppx_sexp_conv)
    Javascript support      : no (js_of_ocaml not found)
    Mpfr support            : no (mlmpfr not found)
    Re support              : no
Components
    Why3 library            : yes
    GTK IDE                 : yes (gtk3)
    Web IDE                 : no (Javascript support not available)
    GMP arithmetic          : yes
    Compressed sessions     : yes
    Hypothesis selection    : yes
    Invariant inference(exp): no (disabled by default)
    Frama-C support         : no (disabled by default)
Documentation               : yes
    HTML                    : yes
    PDF                     : yes
Support for interactive proof assistants
    Coq                     : yes
        Version             : 8.14.0
        Library path        : /usr/lib/coq
        Realization support : yes
            FP arithmetic   : no (Flocq >= 3.1 not found)
    PVS                     : no (pvs not found)
    Isabelle                : no (isabelle not found)
Installable                 : yes
    Binary path             : ${exec_prefix}/bin
    Library path            : /usr/lib/ocaml/why3
    Data path               : ${prefix}/share/why3
    OCaml library path      : /usr/local/lib/ocaml/4.11.1/why3
    Relocatable             : no
make[1]: Leaving directory '/build/why3-vqvcSC/why3-1.4.0'
   debian/rules override_dh_auto_build-indep
make[1]: Entering directory '/build/why3-vqvcSC/why3-1.4.0'
/usr/bin/make doc
make[2]: Entering directory '/build/why3-vqvcSC/why3-1.4.0'
Ocamldep src/trywhy3/worker_proto.ml
Ocamldep src/trywhy3/why3_worker.ml
Ocamldep src/trywhy3/trywhy3.ml
Ocamldep src/trywhy3/shortener.ml
Ocamldep src/trywhy3/bindings.ml
Ocamldep src/trywhy3/alt_ergo_worker.ml
Ocamllex src/why3doc/doc_lexer.mll
125 states, 1119 transitions, table size 5226 bytes
1793 additional bytes used for bindings
Ocamldep src/why3doc/doc_main.ml
Ocamldep src/why3doc/doc_lexer.ml
Ocamldep src/why3doc/doc_def.ml
Ocamldep src/why3doc/doc_html.ml
cp src/tools/why3pp_sexp-dummy.ml src/tools/why3pp_sexp.ml
Ocamldep src/tools/why3pp.ml
Ocamldep src/tools/why3pp_sexp.ml
Ocamldep src/isabelle-client/isabelle_client_main.ml
Coqdep   lib/coq/for_drivers/ComputerOfEuclideanDivision.v
Coqdep   lib/coq/bv/BV_Gen.v
Coqdep   lib/coq/bv/Pow2int.v
Coqdep   lib/coq/option/Option.v
Coqdep   lib/coq/list/Permut.v
Coqdep   lib/coq/list/NumOcc.v
Coqdep   lib/coq/list/Distinct.v
Coqdep   lib/coq/list/Combine.v
Coqdep   lib/coq/list/RevAppend.v
Coqdep   lib/coq/list/NthNoOpt.v
Coqdep   lib/coq/list/HdTlNoOpt.v
Coqdep   lib/coq/list/Reverse.v
Coqdep   lib/coq/list/NthLengthAppend.v
Coqdep   lib/coq/list/Append.v
Coqdep   lib/coq/list/NthHdTl.v
Coqdep   lib/coq/list/HdTl.v
Coqdep   lib/coq/list/NthLength.v
Coqdep   lib/coq/list/Nth.v
Coqdep   lib/coq/list/Mem.v
Coqdep   lib/coq/list/Length.v
Coqdep   lib/coq/list/List.v
Coqdep   lib/coq/map/MapInjection.v
Coqdep   lib/coq/map/MapPermut.v
Coqdep   lib/coq/map/Occ.v
Coqdep   lib/coq/map/Const.v
Coqdep   lib/coq/map/Map.v
Coqdep   lib/coq/set/SetImpInt.v
Coqdep   lib/coq/set/SetImp.v
Coqdep   lib/coq/set/SetAppInt.v
Coqdep   lib/coq/set/SetApp.v
Coqdep   lib/coq/set/FsetSum.v
Coqdep   lib/coq/set/FsetInt.v
Coqdep   lib/coq/set/FsetInduction.v
Coqdep   lib/coq/set/Fset.v
Coqdep   lib/coq/set/Cardinal.v
Coqdep   lib/coq/set/Set.v
Coqdep   lib/coq/number/Coprime.v
Coqdep   lib/coq/number/Prime.v
Coqdep   lib/coq/number/Parity.v
Coqdep   lib/coq/number/Gcd.v
Coqdep   lib/coq/number/Divisibility.v
Coqdep   lib/coq/real/Trigonometry.v
Coqdep   lib/coq/real/Square.v
Coqdep   lib/coq/real/RealInfix.v
Coqdep   lib/coq/real/Real.v
Coqdep   lib/coq/real/PowerReal.v
Coqdep   lib/coq/real/PowerInt.v
Coqdep   lib/coq/real/MinMax.v
Coqdep   lib/coq/real/FromInt.v
Coqdep   lib/coq/real/ExpLog.v
Coqdep   lib/coq/real/Abs.v
Coqdep   lib/coq/bool/Bool.v
Coqdep   lib/coq/int/NumOf.v
Coqdep   lib/coq/int/Power.v
Coqdep   lib/coq/int/MinMax.v
Coqdep   lib/coq/int/Int.v
Coqdep   lib/coq/int/EuclideanDivision.v
Coqdep   lib/coq/int/Div2.v
Coqdep   lib/coq/int/ComputerDivision.v
Coqdep   lib/coq/int/Abs.v
Coqdep   lib/coq/int/Exponentiation.v
Coqdep   lib/coq/HighOrd.v
Coqdep   lib/coq/BuiltIn.v
Ocamldep src/tools/why3shell.ml
Ocamldep src/why3session/why3session_main.ml
Ocamldep src/why3session/why3session_update.ml
Ocamldep src/why3session/why3session_latex.ml
Ocamldep src/why3session/why3session_html.ml
Ocamldep src/why3session/why3session_info.ml
Ocamldep src/why3session/why3session_lib.ml
Ocamldep src/ide/why3web.ml
Ocamldep src/ide/wserver.ml
cp src/ide/gtkcompat3.ml src/ide/gtkcompat.ml
Ocamldep src/ide/why3ide.ml
Ocamldep src/ide/ide_utils.ml
Ocamldep src/ide/gconfig.ml
Ocamldep src/ide/gtkcompat.ml
Ocamllex src/tools/why3wc.mll
307 states, 15627 transitions, table size 64350 bytes
Ocamldep src/tools/why3wc.ml
Ocamldep src/tools/why3replay.ml
Ocamldep src/tools/why3realize.ml
Ocamldep src/tools/why3prove.ml
Ocamldep src/tools/why3extract.ml
Ocamldep src/tools/why3execute.ml
Ocamldep src/tools/why3config.ml
Ocamldep src/tools/main.ml
Ocamllex plugins/tptp/tptp_lexer.mll
101 states, 1563 transitions, table size 6858 bytes
3126 additional bytes used for bindings
Menhir plugins/tptp/tptp_parser.mly
Ocamllex plugins/python/py_lexer.mll
56 states, 651 transitions, table size 2940 bytes
1375 additional bytes used for bindings
Menhir plugins/python/py_parser.mly
Ocamllex plugins/microc/mc_lexer.mll
77 states, 473 transitions, table size 2354 bytes
1504 additional bytes used for bindings
Menhir plugins/microc/mc_parser.mly
Ocamllex plugins/cfg/cfg_lexer.mll
155 states, 4342 transitions, table size 18298 bytes
7537 additional bytes used for bindings
Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly
Ocamllex plugins/parser/dimacs.mll
34 states, 434 transitions, table size 1940 bytes
1293 additional bytes used for bindings
Ocamldep plugins/cfg/cfg_main.ml
Ocamldep plugins/cfg/cfg_lexer.ml
Ocamldep plugins/cfg/cfg_parser.ml
Ocamldep plugins/cfg/cfg_tokens.ml
Ocamldep plugins/cfg/cfg_ast.ml
Ocamldep plugins/microc/mc_main.ml
Ocamldep plugins/microc/mc_printer.ml
Ocamldep plugins/microc/mc_lexer.ml
Ocamldep plugins/microc/mc_parser.ml
Ocamldep plugins/microc/mc_ast.ml
Ocamldep plugins/python/py_main.ml
Ocamldep plugins/python/py_lexer.ml
Ocamldep plugins/python/py_parser.ml
Ocamldep plugins/python/py_ast.ml
Ocamldep plugins/tptp/tptp_printer.ml
Ocamldep plugins/tptp/tptp_lexer.ml
Ocamldep plugins/tptp/tptp_typing.ml
Ocamldep plugins/tptp/tptp_parser.ml
Ocamldep plugins/tptp/tptp_ast.ml
Ocamldep plugins/transform/hypothesis_selection.ml
Ocamldep plugins/parser/dimacs.ml
Ocamldep plugins/parser/genequlin.ml
Generate src/util/config.ml
Ocamllex src/util/rc.mll
48 states, 1889 transitions, table size 7844 bytes
3073 additional bytes used for bindings
Ocamllex src/util/lexlib.mll
39 states, 600 transitions, table size 2634 bytes
1338 additional bytes used for bindings
cp src/util/mysexplib-dummy.ml src/util/mysexplib.ml
Menhir src/util/json_parser.mly
Ocamllex src/util/json_lexer.mll
52 states, 495 transitions, table size 2292 bytes
cp src/util/mlmpfr_dummy.ml src/util/mlmpfr_wrapper.ml
cp src/util/dynlink_new.ml src/util/dynlink_wrapper.ml
Ocamllex src/parser/lexer.mll
158 states, 4359 transitions, table size 18384 bytes
7555 additional bytes used for bindings
Menhir src/parser/parser_common.mly src/parser/parser.mly
Read 3 sample input sentences and 3 error messages.
menhir --explain --strict src/parser/parser_common.mly src/parser/parser.mly --base src/parser/parser --compile-errors \
	src/parser/handcrafted.messages > src/parser/parser_messages.ml
Read 3 sample input sentences and 3 error messages.
Menhir src/driver/driver_parser.mly
Ocamllex src/driver/driver_lexer.mll
34 states, 1366 transitions, table size 5668 bytes
Ocamllex src/driver/sexp.mll
27 states, 306 transitions, table size 1386 bytes
cp src/session/compress_z.ml src/session/compress.ml
Ocamllex src/session/xml.mll
117 states, 1396 transitions, table size 6286 bytes
3556 additional bytes used for bindings
Ocamllex src/session/strategy_parser.mll
43 states, 639 transitions, table size 2814 bytes
1799 additional bytes used for bindings
Ocamldep src/session/unix_scheduler.ml
Ocamldep src/session/json_util.ml
Ocamldep src/session/itp_server.ml
Ocamldep src/session/itp_communication.ml
Ocamldep src/session/server_utils.ml
Ocamldep src/session/controller_itp.ml
Ocamldep src/session/strategy_parser.ml
Ocamldep src/session/strategy.ml
Ocamldep src/session/session_itp.ml
Ocamldep src/session/termcode.ml
Ocamldep src/session/xml.ml
Ocamldep src/session/compress.ml
Ocamldep src/printer/mathematica.ml
Ocamldep src/printer/yices.ml
Ocamldep src/printer/cvc3.ml
Ocamldep src/printer/gappa.ml
Ocamldep src/printer/simplify.ml
Ocamldep src/printer/isabelle.ml
Ocamldep src/printer/pvs.ml
Ocamldep src/printer/coq.ml
Ocamldep src/printer/smtv2.ml
Ocamldep src/printer/smtv1.ml
Ocamldep src/printer/why3printer.ml
Ocamldep src/printer/alt_ergo.ml
Ocamldep src/printer/cntexmp_printer.ml
Ocamldep src/transform/reflection.ml
Ocamldep src/transform/matching.ml
Ocamldep src/transform/induction_pr.ml
Ocamldep src/transform/induction.ml
Ocamldep src/transform/prepare_for_counterexmp.ml
Ocamldep src/transform/intro_vc_vars_counterexmp.ml
Ocamldep src/transform/congruence.ml
Ocamldep src/transform/cut.ml
Ocamldep src/transform/destruct.ml
Ocamldep src/transform/ind_itp.ml
Ocamldep src/transform/introduction.ml
Ocamldep src/transform/subst.ml
Ocamldep src/transform/apply.ml
Ocamldep src/transform/case.ml
Ocamldep src/transform/generic_arg_trans_utils.ml
Ocamldep src/transform/eliminate_literal.ml
Ocamldep src/transform/prop_curry.ml
Ocamldep src/transform/smoke_detector.ml
Ocamldep src/transform/instantiate_predicate.ml
Ocamldep src/transform/intro_projections_counterexmp.ml
Ocamldep src/transform/eliminate_epsilon.ml
Ocamldep src/transform/lift_epsilon.ml
Ocamldep src/transform/close_epsilon.ml
Ocamldep src/transform/abstraction.ml
Ocamldep src/transform/filter_trigger.ml
Ocamldep src/transform/simplify_array.ml
Ocamldep src/transform/encoding_sort.ml
Ocamldep src/transform/encoding_twin.ml
Ocamldep src/transform/encoding_tags.ml
Ocamldep src/transform/encoding_guards.ml
Ocamldep src/transform/encoding_tags_full.ml
Ocamldep src/transform/encoding_guards_full.ml
Ocamldep src/transform/encoding_select.ml
Ocamldep src/transform/encoding.ml
Ocamldep src/transform/discriminate.ml
Ocamldep src/transform/libencoding.ml
Ocamldep src/transform/eliminate_if.ml
Ocamldep src/transform/eliminate_let.ml
Ocamldep src/transform/eliminate_inductive.ml
Ocamldep src/transform/eliminate_symbol.ml
Ocamldep src/transform/eliminate_unknown_lsymbols.ml
Ocamldep src/transform/eliminate_unknown_types.ml
Ocamldep src/transform/abstract_quantifiers.ml
Ocamldep src/transform/eliminate_algebraic.ml
Ocamldep src/transform/eliminate_definition.ml
Ocamldep src/transform/compute.ml
Ocamldep src/transform/reduction_engine.ml
Ocamldep src/transform/detect_polymorphism.ml
Ocamldep src/transform/args_wrapper.ml
Ocamldep src/transform/split_goal.ml
Ocamldep src/transform/inlining.ml
Ocamldep src/transform/simplify_formula.ml
Ocamldep src/parser/mlw_printer.ml
Ocamldep src/parser/lexer.ml
Ocamldep src/parser/report.ml
Ocamldep src/parser/typing.ml
Ocamldep src/parser/parser.ml
Ocamldep src/parser/parser_messages.ml
Ocamldep src/parser/glob.ml
Ocamldep src/parser/ptree_helpers.ml
Ocamldep src/parser/ptree.ml
Ocamldep src/extract/cakeml.ml
Ocamldep src/extract/ocaml.ml
Ocamldep src/extract/c.ml
Ocamldep src/extract/ml_printer.ml
Ocamldep src/extract/pdriver.ml
Ocamldep src/extract/mlinterp.ml
Ocamldep src/extract/compile.ml
Ocamldep src/extract/mltree.ml
Ocamldep src/mlw/counterexample.ml
Ocamldep src/mlw/pinterp.ml
Ocamldep src/mlw/big_real.ml
Ocamldep src/mlw/dexpr.ml
Ocamldep src/mlw/pmodule.ml
Ocamldep src/mlw/vc.ml
Ocamldep src/mlw/typeinv.ml
Ocamldep src/mlw/eval_match.ml
Ocamldep src/mlw/pdecl.ml
Ocamldep src/mlw/expr.ml
Ocamldep src/mlw/ity.ml
Ocamldep src/driver/smtv2_model_parser.ml
Ocamldep src/driver/sexp.ml
Ocamldep src/driver/collect_data_model.ml
Ocamldep src/driver/smtv2_model_defs.ml
Ocamldep src/driver/autodetection.ml
Ocamldep src/driver/whyconf.ml
Ocamldep src/driver/driver.ml
Ocamldep src/driver/driver_lexer.ml
Ocamldep src/driver/driver_parser.ml
Ocamldep src/driver/driver_ast.ml
Ocamldep src/driver/call_provers.ml
Ocamldep src/driver/prove_client.ml
Ocamldep src/core/model_parser.ml
Ocamldep src/core/printer.ml
Ocamldep src/core/trans.ml
Ocamldep src/core/env.ml
Ocamldep src/core/dterm.ml
Ocamldep src/core/pretty.ml
Ocamldep src/core/task.ml
Ocamldep src/core/theory.ml
Ocamldep src/core/coercion.ml
Ocamldep src/core/decl.ml
Ocamldep src/core/pattern.ml
Ocamldep src/core/term.ml
Ocamldep src/core/ty.ml
Ocamldep src/core/ident.ml
cp src/util/recompat.ml src/util/re.ml
Ocamldep src/util/re.ml
Ocamldep src/util/pqueue.ml
Ocamldep src/util/vector.ml
Ocamldep src/util/constant.ml
Ocamldep src/util/number.ml
Ocamldep src/util/bigInt.ml
Ocamldep src/util/plugin.ml
Ocamldep src/util/rc.ml
Ocamldep src/util/sysutil.ml
Ocamldep src/util/warning.ml
Ocamldep src/util/cmdline.ml
Ocamldep src/util/dynlink_wrapper.ml
Ocamldep src/util/print_tree.ml
Ocamldep src/util/lexlib.ml
Ocamldep src/util/loc.ml
Ocamldep src/util/debug.ml
Ocamldep src/util/json_lexer.ml
Ocamldep src/util/json_parser.ml
Ocamldep src/util/json_base.ml
Ocamldep src/util/getopt.ml
Ocamldep src/util/exn_printer.ml
Ocamldep src/util/wstdlib.ml
Ocamldep src/util/hashcons.ml
Ocamldep src/util/diffmap.ml
Ocamldep src/util/weakhtbl.ml
Ocamldep src/util/exthtbl.ml
Ocamldep src/util/extset.ml
Ocamldep src/util/extmap.ml
Ocamldep src/util/pp.ml
Ocamldep src/util/strings.ml
Ocamldep src/util/lists.ml
Ocamldep src/util/opt.ml
Ocamldep src/util/util.ml
Ocamldep src/util/mlmpfr_wrapper.ml
Ocamldep src/util/config.ml
Ocamldep src/util/mysexplib.ml
doc/drv_depgraph drivers/alt_ergo.drv drivers/alt_ergo_2_2_0.drv drivers/alt_ergo_2_3.drv drivers/alt_ergo_common.drv drivers/alt_ergo_fp.drv drivers/alt_ergo_model.drv drivers/alt_ergo_smt2.drv drivers/beagle.drv drivers/c.drv drivers/cakeml.drv drivers/coq-realize.drv drivers/coq-ssreflect.drv drivers/coq.drv drivers/cvc3.drv drivers/cvc4-realize.drv drivers/cvc4.drv drivers/cvc4_14.drv drivers/cvc4_15.drv drivers/cvc4_15_counterexample.drv drivers/cvc4_16.drv drivers/cvc4_16_counterexample.drv drivers/cvc4_17.drv drivers/cvc4_17_counterexample.drv drivers/cvc4_17_strings.drv drivers/cvc4_17_strings_counterexample.drv drivers/eprover.drv drivers/gappa.drv drivers/iprover.drv drivers/isabelle2018-realize.drv drivers/isabelle2018.drv drivers/isabelle2019-realize.drv drivers/isabelle2019.drv drivers/mathematica.drv drivers/mathsat.drv drivers/metis.drv drivers/metitarski.drv drivers/ocaml-unsafe-int.drv drivers/ocaml64.drv drivers/polypaver.drv drivers/princess.drv drivers/psyche.drv drivers/pvs-realize.drv drivers/pvs.drv drivers/safeprover.drv drivers/simplify.drv drivers/spass.drv drivers/spass_types.drv drivers/tptp-tff0.drv drivers/tptp-tff1.drv drivers/vampire-smt.drv drivers/vampire.drv drivers/verit.drv drivers/why3.drv drivers/why3_smt.drv drivers/why3_tptp.drv drivers/yices-smt2.drv drivers/yices.drv drivers/z3.drv drivers/z3_432.drv drivers/z3_440.drv drivers/z3_440_counterexample.drv drivers/z3_471.drv drivers/z3_471_counterexample.drv drivers/z3_471_nobv.drv drivers/z3_smtv1.drv drivers/zenon.drv drivers/zenon_modulo.drv drivers/coq-common.gen drivers/cvc4_16.gen drivers/cvc4_bv.gen drivers/discrimination.gen drivers/isabelle-common.gen drivers/no-bv.gen drivers/pvs-common.gen drivers/smt-libv2-bv-realization.gen drivers/smt-libv2-bv.gen drivers/smt-libv2-floats-gnatprove.gen drivers/smt-libv2-floats-int_via_bv.gen drivers/smt-libv2-floats-int_via_real.gen drivers/smt-libv2-floats.gen drivers/smt-libv2-gnatprove.gen drivers/smt-libv2.gen drivers/smtlib-strings.gen drivers/tptp.gen drivers/z3_bv.gen > doc/generated/drivers-all.dot
ccomps -X smt-libv2.gen doc/generated/drivers-all.dot > doc/generated/drivers-smt.dot
ccomps -X tptp.gen doc/generated/drivers-all.dot > doc/generated/drivers-tptp.dot
ccomps -X coq-common.gen doc/generated/drivers-all.dot > doc/generated/drivers-coq.dot
ccomps -X isabelle-common.gen doc/generated/drivers-all.dot > doc/generated/drivers-isabelle.dot
ccomps -X pvs-common.gen doc/generated/drivers-all.dot > doc/generated/drivers-pvs.dot
bin/why3 pp --output=dep stdlib/int.mlw | tred > doc/generated/library-int.dot
/bin/sh: 1: bin/why3: not found
bin/why3 pp --output=dep stdlib/array.mlw | tred > doc/generated/library-array.dot
/bin/sh: 1: bin/why3: not found
sphinx-build -b html -d doc/.doctrees doc doc/html
Running Sphinx v4.2.0
making output directory... done
checking bibtex cache... out of date
parsing bibtex file /build/why3-vqvcSC/why3-1.4.0/doc/manual.bib... parsed 16 entries
building [mo]: targets for 0 po files that are out of date
building [html]: targets for 16 source files that are out of date
updating environment: [new config] 16 added, 0 changed, 0 removed
reading sources... [  6%] api
reading sources... [ 12%] changes
reading sources... [ 18%] exec
reading sources... [ 25%] foreword
reading sources... [ 31%] genindex
reading sources... [ 37%] index
reading sources... [ 43%] input_formats
reading sources... [ 50%] install
reading sources... [ 56%] itp
reading sources... [ 62%] manpages
reading sources... [ 68%] starting
reading sources... [ 75%] syntaxref
reading sources... [ 81%] technical
reading sources... [ 87%] vcgen
reading sources... [ 93%] whyml
reading sources... [100%] zebibliography

looking for now-outdated files... none found
pickling environment... done
checking consistency... done
preparing documents... done
writing output... [  6%] api
writing output... [ 12%] changes
writing output... [ 18%] exec
writing output... [ 25%] foreword
writing output... [ 31%] genindex
writing output... [ 37%] index
writing output... [ 43%] input_formats
writing output... [ 50%] install
writing output... [ 56%] itp
writing output... [ 62%] manpages
writing output... [ 68%] starting
writing output... [ 75%] syntaxref
writing output... [ 81%] technical
writing output... [ 87%] vcgen
writing output... [ 93%] whyml
writing output... [100%] zebibliography

/build/why3-vqvcSC/why3-1.4.0/doc/input_formats.rst:364: WARNING: 'token' reference target not found: terminator
WARNING: dot code '': dot did not produce an output file:
[stderr]
b''
[stdout]
b''
WARNING: dot code '': dot did not produce an output file:
[stderr]
b''
[stdout]
b''
generating indices... genindex done
writing additional pages... search done
copying images... [ 10%] images/ce_example0_p1.png
copying images... [ 20%] images/ce_example0_p2.png
copying images... [ 30%] images/hello_proof.png
copying images... [ 40%] images/gui-1.png
copying images... [ 50%] images/gui-2.png
copying images... [ 60%] images/gui-3.png
copying images... [ 70%] images/gui-4.png
copying images... [ 80%] images/coqide.png
copying images... [ 90%] images/gui-5.png
copying images... [100%] images/gui-infer.png

copying static files... done
copying extra files... done
dumping search index in English (code: en)... done
dumping object inventory... done
build succeeded, 3 warnings.

The HTML pages are in doc/html.
sphinx-build -b latex -d doc/.doctrees doc doc/latex
Running Sphinx v4.2.0
making output directory... done
loading pickled environment... checking bibtex cache... up to date
done
building [mo]: targets for 0 po files that are out of date
building [latex]: all documents
updating environment: 0 added, 0 changed, 0 removed
looking for now-outdated files... none found
processing manual.tex... index foreword starting whyml api install manpages syntaxref vcgen input_formats exec itp technical changes zebibliography genindex 
resolving references...
/build/why3-vqvcSC/why3-1.4.0/doc/input_formats.rst:364: WARNING: 'token' reference target not found: terminator
done
writing... WARNING: dot code '': dot did not produce an output file:
[stderr]
b''
[stdout]
b''
WARNING: dot code '': dot did not produce an output file:
[stderr]
b''
[stdout]
b''
done
copying images... [ 10%] images/gui-1.png
copying images... [ 20%] images/gui-2.png
copying images... [ 30%] images/gui-3.png
copying images... [ 40%] images/gui-4.png
copying images... [ 50%] images/coqide.png
copying images... [ 60%] images/gui-5.png
copying images... [ 70%] images/ce_example0_p1.png
copying images... [ 80%] images/ce_example0_p2.png
copying images... [ 90%] images/hello_proof.png
copying images... [100%] images/gui-infer.png

copying TeX support files... copying TeX support files...
done
build succeeded, 3 warnings.

The LaTeX files are in doc/latex.
Run 'make' in that directory to run these through (pdf)latex
(use `make latexpdf' here to do that automatically).
running LaTeX compilation...
cd doc/latex; pdflatex manual.tex >/dev/null
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
This is makeindex, version 2.15 [TeX Live 2022/dev] (kpathsea + Thai support).
Scanning input file manual.idx....done (451 entries accepted, 0 rejected).
Sorting entries......done (4158 comparisons).
Generating output file manual.ind....done (845 lines written, 0 warnings).
Output written in manual.ind.
Transcript written in manual.ilg.
running LaTeX again to try to fix references...
make[2]: Leaving directory '/build/why3-vqvcSC/why3-1.4.0'
cd doc/html; \
for f in *.html; do \
  sed -e "s|https://cdnjs.cloudflare.com/ajax/libs/mathjax/[0-9.]\+/latest.js|/usr/share/javascript/mathjax/MathJax.js|" $f > $f.out; \
  mv $f.out $f; \
done
make[1]: Leaving directory '/build/why3-vqvcSC/why3-1.4.0'
   dh_auto_test -i
   create-stamp debian/debhelper-build-stamp
   dh_prep -i
   debian/rules override_dh_auto_install
make[1]: Entering directory '/build/why3-vqvcSC/why3-1.4.0'
# do nothing
make[1]: Leaving directory '/build/why3-vqvcSC/why3-1.4.0'
   debian/rules override_dh_install-indep
make[1]: Entering directory '/build/why3-vqvcSC/why3-1.4.0'
# do nothing
make[1]: Leaving directory '/build/why3-vqvcSC/why3-1.4.0'
   dh_ocamldoc -i
   dh_installdocs -i
   dh_installchangelogs -i
   debian/rules override_dh_installexamples
make[1]: Entering directory '/build/why3-vqvcSC/why3-1.4.0'
dh_installexamples
if [ -d debian/why3-examples/usr/share/doc/why3-examples/examples ]; \
then \
  find debian/why3-examples/usr/share/doc/why3-examples/examples \
    -name why3shapes.gz \
    -exec sh -c 'if [ $(zcat {} | wc -c) -eq 0 ]; then \rm {}; fi' \;;\
fi
make[1]: Leaving directory '/build/why3-vqvcSC/why3-1.4.0'
   dh_installman -i
   dh_perl -i
   dh_link -i
   dh_installtex -i
   dh_strip_nondeterminism -i
   debian/rules override_dh_compress
make[1]: Entering directory '/build/why3-vqvcSC/why3-1.4.0'
dh_compress -Xmanual.pdf
make[1]: Leaving directory '/build/why3-vqvcSC/why3-1.4.0'
   dh_fixperms -i
   dh_missing -i
   dh_installdeb -i
   debian/rules override_dh_ocaml
make[1]: Entering directory '/build/why3-vqvcSC/why3-1.4.0'
dh_ocaml --nodefined-map=why3-coq:Why3,MenhirLib,Gzip,Zlib,Zip \
  
make[1]: Leaving directory '/build/why3-vqvcSC/why3-1.4.0'
   dh_gencontrol -i
   dh_md5sums -i
   dh_builddeb -i
dpkg-deb: building package 'why3-doc-pdf' in '../why3-doc-pdf_1.4.0-1_all.deb'.
dpkg-deb: building package 'why3-examples' in '../why3-examples_1.4.0-1_all.deb'.
dpkg-deb: building package 'why3-doc-html' in '../why3-doc-html_1.4.0-1_all.deb'.
 dpkg-genbuildinfo --build=all
 dpkg-genchanges --build=all >../why3_1.4.0-1_all.changes
dpkg-genchanges: info: binary-only arch-indep upload (source code and arch-specific packages not included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
I: running special hook: sync-out /build/why3-vqvcSC /tmp/why3-1.4.0-1xk45yz50
I: cleaning package lists and apt cache...
I: creating tarball...
I: done
I: removing tempdir /tmp/mmdebstrap.5uwdW4LUxm...
I: success in 7672.1630 seconds
md5: why3-doc-html_1.4.0-1_all.deb: OK
md5: Value of 'md5' differs for why3-doc-pdf_1.4.0-1_all.deb
md5: Size differs for why3-doc-pdf_1.4.0-1_all.deb
md5: why3-examples_1.4.0-1_all.deb: OK
sha1: why3-doc-html_1.4.0-1_all.deb: OK
sha1: Value of 'sha1' differs for why3-doc-pdf_1.4.0-1_all.deb
sha1: Size differs for why3-doc-pdf_1.4.0-1_all.deb
sha1: why3-examples_1.4.0-1_all.deb: OK
sha256: why3-doc-html_1.4.0-1_all.deb: OK
sha256: Value of 'sha256' differs for why3-doc-pdf_1.4.0-1_all.deb
sha256: Size differs for why3-doc-pdf_1.4.0-1_all.deb
sha256: why3-examples_1.4.0-1_all.deb: OK
Checksums: FAIL
diffoscope run passed