Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/w/why3/why3_1.4.0-2_amd64.buildinfo
Use metasnap for getting required timestamps
Cannot get timestamps from metasnap: 404 (Not Found)
Use snapshot for getting required timestamps
Get source package info: why3=1.4.0-2
Source URL: http://snapshot.notset.fr/mr/package/why3/1.4.0-2/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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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-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-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-minimal=3.9.8-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-minimal/3.9.8-1/binfiles?fileinfo=1
Get binary package info: python3.9=3.9.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: 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: 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: 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: 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: 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: 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: 451
Timestamp source (160 packages): deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main
New buildinfo file: /tmp/why3-1.4.0-2l0w4s06v/why3_1.4.0-2_amd64.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 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 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 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 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 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 libcolord2:amd64=1.4.5-3 libcom-err2:amd64=1.46.4-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 libfontconfig-dev:amd64=2.13.1-4.2 libfontconfig1:amd64=2.13.1-4.2 libfontconfig1-dev:amd64=2.13.1-4.2 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 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 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 libjson-c5:amd64=0.15-2 libk5crypto3:amd64=1.18.3-7 libkeyutils1:amd64=1.6.1-2 libkmod2:amd64=29-1 libkrb5-3:amd64=1.18.3-7 libkrb5support0:amd64=1.18.3-7 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 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 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 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 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 libsystemd0:amd64=249.7-1 libtasn1-6:amd64=4.18.0-4 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 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 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 libxtst-dev:amd64=2:1.2.3-1 libxtst6:amd64=2:1.2.3-1 libxxf86vm1:amd64=1:1.1.4-1+b2 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 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 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 python3:amd64=3.9.8-1 python3-distutils:all=3.9.9-2 python3-lib2to3:all=3.9.9-2 python3-minimal:amd64=3.9.8-1 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 shared-mime-info:amd64=2.0-1 systemd:amd64=249.7-1 systemd-sysv:amd64=249.7-1 sysvinit-utils:amd64=3.00-1 tar:amd64=1.34+dfsg-1 tex-common:all=6.17 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 xkb-data:all=2.33-1 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/20211124T145842Z/ unstable main
deb-src http://snapshot.notset.fr/archive/debian/20211124T145842Z/ 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-2 && mkdir -p /build/why3-GhYObL && dpkg-source --no-check -x /*.dsc /build/why3-GhYObL/why3-1.4.0 && chown -R builduser:builduser /build/why3-GhYObL" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/why3-GhYObL/why3-1.4.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1637740182" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/why3-GhYObL /tmp/why3-1.4.0-2l0w4s06v 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.hg7SlPlkBh 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.hg7SlPlkBh
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 (1051 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/20211124T145842Z/ unstable main
deb-src http://snapshot.notset.fr/archive/debian/20211124T145842Z/ unstable main
deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.hg7SlPlkBh
Get:1 http://snapshot.notset.fr/archive/debian/20211124T145842Z unstable InRelease [165 kB]
Hit:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease
Ign:3 http://snapshot.notset.fr/archive/debian/20211124T145842Z unstable/main Sources
Ign:4 http://snapshot.notset.fr/archive/debian/20211124T145842Z unstable/main amd64 Packages
Ign:3 http://snapshot.notset.fr/archive/debian/20211124T145842Z unstable/main Sources
Ign:4 http://snapshot.notset.fr/archive/debian/20211124T145842Z unstable/main amd64 Packages
Ign:3 http://snapshot.notset.fr/archive/debian/20211124T145842Z unstable/main Sources
Ign:4 http://snapshot.notset.fr/archive/debian/20211124T145842Z unstable/main amd64 Packages
Get:3 http://snapshot.notset.fr/archive/debian/20211124T145842Z unstable/main Sources [12.5 MB]
Get:4 http://snapshot.notset.fr/archive/debian/20211124T145842Z unstable/main amd64 Packages [12.0 MB]
Fetched 24.7 MB in 21s (1191 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.hg7SlPlkBh
I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d why3=1.4.0-2 && mkdir -p /build/why3-GhYObL && dpkg-source --no-check -x /*.dsc /build/why3-GhYObL/why3-1.4.0 && chown -R builduser:builduser /build/why3-GhYObL"' exec /tmp/mmdebstrap.hg7SlPlkBh
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/20211124T145842Z unstable/main why3 1.4.0-2 (dsc) [2614 B]
Get:2 http://snapshot.notset.fr/archive/debian/20211124T145842Z unstable/main why3 1.4.0-2 (tar) [6307 kB]
Get:3 http://snapshot.notset.fr/archive/debian/20211124T145842Z unstable/main why3 1.4.0-2 (diff) [39.7 kB]
Fetched 6349 kB in 5s (1271 kB/s)
Download complete and in download only mode
W: Download is performed unsandboxed as root as file 'why3_1.4.0-2.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied)
dpkg-source: info: extracting why3 in /build/why3-GhYObL/why3-1.4.0
dpkg-source: info: unpacking why3_1.4.0.orig.tar.gz
dpkg-source: info: unpacking why3_1.4.0-2.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-GhYObL/why3-1.4.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1637740182" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.hg7SlPlkBh
dpkg-buildpackage: info: source package why3
dpkg-buildpackage: info: source version 1.4.0-2
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Stéphane Glondu <glondu@debian.org>
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
 debian/rules clean
dh clean --with ocaml,tex
   dh_ocamlclean
   dh_clean
 debian/rules binary-arch
dh binary-arch --with ocaml,tex
   dh_update_autotools_config -a
   dh_autoreconf -a
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 -a
   debian/rules override_dh_auto_configure
make[1]: Entering directory '/build/why3-GhYObL/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... no
configure: WARNING: Cannot find sphinx-build, Documentation disabled.
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               : no (sphinx-build not found)
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-GhYObL/why3-1.4.0'
   debian/rules override_dh_auto_build-arch
make[1]: Entering directory '/build/why3-GhYObL/why3-1.4.0'
/usr/bin/make all byte
make[2]: Entering directory '/build/why3-GhYObL/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
mkdir lib/plugins
Ocamlc   src/util/mysexplib.ml
Ocamlopt src/util/mysexplib.ml
Ocamlc   src/util/config.ml
Ocamlopt src/util/config.ml
Ocamlc   src/util/bigInt.mli
Ocamlopt src/util/bigInt.ml
Ocamlc   src/util/mlmpfr_wrapper.mli
Ocamlopt src/util/mlmpfr_wrapper.ml
Ocamlc   src/util/util.mli
File "src/util/util.mli", line 103, characters 22-52:
103 | val ansi_color_tags : Format.formatter_tag_functions
                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Format.formatter_tag_functions
Use formatter_stag_functions.
Ocamlopt src/util/util.ml
Ocamlc   src/util/opt.mli
Ocamlopt src/util/opt.ml
Ocamlc   src/util/lists.mli
Ocamlopt src/util/lists.ml
Ocamlc   src/util/strings.mli
Ocamlopt src/util/strings.ml
Ocamlc   src/util/pp.mli
File "src/util/pp.mli", line 122, characters 33-51:
122 |   ('b,  formatter, unit, string) Pervasives.format4 -> 'b
                                       ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/pp.mli", line 125, characters 33-51:
125 |   ('b,  formatter, unit, string) Pervasives.format4 -> 'b
                                       ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlopt src/util/pp.ml
Ocamlc   src/util/extmap.mli
Ocamlopt src/util/extmap.ml
Ocamlc   src/util/extset.mli
Ocamlopt src/util/extset.ml
Ocamlc   src/util/exthtbl.mli
Ocamlopt src/util/exthtbl.ml
Ocamlc   src/util/weakhtbl.mli
Ocamlopt src/util/weakhtbl.ml
Ocamlc   src/util/diffmap.mli
Ocamlopt src/util/diffmap.ml
Ocamlc   src/util/hashcons.mli
Ocamlopt src/util/hashcons.ml
Ocamlc   src/util/wstdlib.mli
Ocamlopt src/util/wstdlib.ml
Ocamlc   src/util/exn_printer.mli
Ocamlopt src/util/exn_printer.ml
Ocamlc   src/util/getopt.mli
Ocamlopt src/util/getopt.ml
Ocamlc   src/util/json_base.mli
Ocamlopt src/util/json_base.ml
Ocamlc   src/util/json_parser.mli
Ocamlopt src/util/json_parser.ml
Ocamlc   src/util/json_lexer.ml
Ocamlopt src/util/json_lexer.ml
Ocamlc   src/util/debug.mli
Ocamlopt src/util/debug.ml
File "src/util/debug.ml", line 115, characters 21-39:
115 |           (List.sort Pervasives.compare list);
                           ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/util/loc.mli
Ocamlopt src/util/loc.ml
File "src/util/loc.ml", line 69, characters 14-32:
69 | let compare = Pervasives.compare
                   ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/loc.ml", line 70, characters 12-26:
70 | let equal = Pervasives.(=)
                 ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/util/lexlib.mli
Ocamlopt src/util/lexlib.ml
Ocamlc   src/util/print_tree.mli
Ocamlopt src/util/print_tree.ml
Ocamlc   src/util/dynlink_wrapper.ml
Ocamlopt src/util/dynlink_wrapper.ml
Ocamlc   src/util/cmdline.mli
Ocamlopt src/util/cmdline.ml
Ocamlc   src/util/warning.mli
Ocamlopt src/util/warning.ml
Ocamlc   src/util/sysutil.mli
Ocamlopt src/util/sysutil.ml
Ocamlc   src/util/rc.mli
Ocamlopt src/util/rc.ml
Ocamlc   src/util/plugin.mli
Ocamlopt src/util/plugin.ml
Ocamlc   src/util/number.mli
Ocamlopt src/util/number.ml
Ocamlc   src/util/constant.mli
Ocamlopt src/util/constant.ml
File "src/util/constant.ml", line 26, characters 33-51:
26 |       let c = if structural then Pervasives.compare k1 k2 else 0 in
                                      ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/constant.ml", line 29, characters 33-51:
29 |       let c = if structural then Pervasives.compare k1 k2 else 0 in
                                      ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/constant.ml", line 32, characters 6-24:
32 |       Pervasives.compare c1 c2
           ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/util/vector.mli
Ocamlopt src/util/vector.ml
Ocamlc   src/util/pqueue.mli
Ocamlopt src/util/pqueue.ml
Ocamlc   src/util/re.ml
Ocamlopt src/util/re.ml
Ocamlc   src/core/ident.mli
Ocamlopt src/core/ident.ml
Ocamlc   src/core/ty.mli
Ocamlopt src/core/ty.ml
Ocamlc   src/core/term.mli
Ocamlopt src/core/term.ml
File "src/core/term.ml", line 281, characters 39-57:
281 |   let perv_compare h1 h2 = comp_raise (Pervasives.compare h1 h2) in
                                             ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/core/pattern.mli
Ocamlopt src/core/pattern.ml
Ocamlc   src/core/decl.mli
Ocamlopt src/core/decl.ml
Ocamlc   src/core/coercion.mli
Ocamlopt src/core/coercion.ml
Ocamlc   src/core/theory.mli
Ocamlopt src/core/theory.ml
Ocamlc   src/core/task.mli
Ocamlopt src/core/task.ml
Ocamlc   src/core/pretty.mli
Ocamlopt src/core/pretty.ml
Ocamlc   src/core/dterm.mli
Ocamlopt src/core/dterm.ml
Ocamlc   src/core/env.mli
Ocamlopt src/core/env.ml
Ocamlc   src/core/trans.mli
Ocamlopt src/core/trans.ml
Ocamlc   src/core/printer.mli
Ocamlopt src/core/printer.ml
Ocamlc   src/core/model_parser.mli
Ocamlopt src/core/model_parser.ml
Ocamlc   src/driver/prove_client.mli
Ocamlopt src/driver/prove_client.ml
Ocamlc   src/driver/call_provers.mli
Ocamlopt src/driver/call_provers.ml
Ocamlc   src/driver/driver_ast.ml
Ocamlopt src/driver/driver_ast.ml
Ocamlc   src/driver/driver_parser.mli
Ocamlopt src/driver/driver_parser.ml
Ocamlc   src/driver/driver_lexer.mli
Ocamlopt src/driver/driver_lexer.ml
Ocamlc   src/driver/driver.mli
Ocamlopt src/driver/driver.ml
Ocamlc   src/driver/whyconf.mli
Ocamlopt src/driver/whyconf.ml
Ocamlc   src/driver/autodetection.mli
Ocamlopt src/driver/autodetection.ml
Ocamlc   src/driver/smtv2_model_defs.mli
Ocamlopt src/driver/smtv2_model_defs.ml
Ocamlc   src/driver/collect_data_model.mli
Ocamlopt src/driver/collect_data_model.ml
Ocamlc   src/driver/sexp.mli
Ocamlopt src/driver/sexp.ml
Ocamlc   src/driver/smtv2_model_parser.ml
Ocamlopt src/driver/smtv2_model_parser.ml
Ocamlc   src/mlw/ity.mli
Ocamlopt src/mlw/ity.ml
Ocamlc   src/mlw/expr.mli
Ocamlopt src/mlw/expr.ml
Ocamlc   src/mlw/pdecl.mli
Ocamlopt src/mlw/pdecl.ml
Ocamlc   src/mlw/eval_match.mli
Ocamlopt src/mlw/eval_match.ml
Ocamlc   src/mlw/typeinv.mli
Ocamlopt src/mlw/typeinv.ml
Ocamlc   src/mlw/vc.mli
Ocamlopt src/mlw/vc.ml
Ocamlc   src/mlw/pmodule.mli
Ocamlopt src/mlw/pmodule.ml
Ocamlc   src/mlw/dexpr.mli
Ocamlopt src/mlw/dexpr.ml
Ocamlc   src/mlw/big_real.mli
Ocamlopt src/mlw/big_real.ml
Ocamlc   src/mlw/pinterp.mli
Ocamlopt src/mlw/pinterp.ml
File "src/mlw/pinterp.ml", line 60, characters 14-28:
60 |       let n = Pervasives.max 0 (Array.length a - 25) in
                   ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/mlw/pinterp.ml", line 1851, characters 48-62:
1851 |   let s = String.(if length s > n then sub s 0 (Pervasives.min n (length s)) ^ "..." else s) in
                                                       ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/mlw/counterexample.mli
Ocamlopt src/mlw/counterexample.ml
Ocamlc   src/extract/mltree.ml
Ocamlopt src/extract/mltree.ml
Ocamlc   src/extract/compile.mli
Ocamlopt src/extract/compile.ml
Linking src/util/ppx_debug_optim
findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/lib/ocaml, /usr/lib/ocaml/compiler-libs
Ocamlc   src/extract/mlinterp.mli
Ocamlopt src/extract/mlinterp.ml
Ocamlc   src/extract/pdriver.mli
Ocamlopt src/extract/pdriver.ml
Ocamlc   src/extract/ml_printer.mli
Ocamlopt src/extract/ml_printer.ml
Ocamlc   src/extract/c.ml
Ocamlopt src/extract/c.ml
Ocamlc   src/extract/ocaml.ml
Ocamlopt src/extract/ocaml.ml
Ocamlc   src/extract/cakeml.ml
Ocamlopt src/extract/cakeml.ml
Ocamlc   src/parser/ptree.ml
Ocamlopt src/parser/ptree.ml
Ocamlc   src/parser/ptree_helpers.mli
Ocamlopt src/parser/ptree_helpers.ml
Ocamlc   src/parser/glob.mli
Ocamlopt src/parser/glob.ml
Ocamlc   src/parser/typing.mli
Ocamlopt src/parser/typing.ml
Ocamlc   src/parser/parser_messages.ml
Ocamlopt src/parser/parser_messages.ml
Ocamlc   src/parser/parser.mli
Ocamlopt src/parser/parser.ml
Ocamlc   src/parser/report.mli
Ocamlopt src/parser/report.ml
Ocamlc   src/parser/lexer.mli
Ocamlopt src/parser/lexer.ml
Ocamlc   src/parser/mlw_printer.mli
Ocamlopt src/parser/mlw_printer.ml
Ocamlc   src/transform/simplify_formula.mli
Ocamlopt src/transform/simplify_formula.ml
Ocamlc   src/transform/inlining.mli
Ocamlopt src/transform/inlining.ml
Ocamlc   src/transform/split_goal.mli
Ocamlopt src/transform/split_goal.ml
Ocamlc   src/transform/args_wrapper.mli
Ocamlopt src/transform/args_wrapper.ml
Ocamlc   src/transform/detect_polymorphism.mli
Ocamlopt src/transform/detect_polymorphism.ml
Ocamlc   src/transform/reduction_engine.mli
Ocamlopt src/transform/reduction_engine.ml
Ocamlc   src/transform/compute.mli
Ocamlopt src/transform/compute.ml
Ocamlc   src/transform/eliminate_definition.mli
Ocamlopt src/transform/eliminate_definition.ml
Ocamlc   src/transform/eliminate_algebraic.mli
Ocamlopt src/transform/eliminate_algebraic.ml
Ocamlc   src/transform/abstract_quantifiers.ml
Ocamlopt src/transform/abstract_quantifiers.ml
Ocamlc   src/transform/eliminate_unknown_types.ml
Ocamlopt src/transform/eliminate_unknown_types.ml
Ocamlc   src/transform/eliminate_unknown_lsymbols.ml
Ocamlopt src/transform/eliminate_unknown_lsymbols.ml
Ocamlc   src/transform/eliminate_symbol.ml
Ocamlopt src/transform/eliminate_symbol.ml
Ocamlc   src/transform/eliminate_inductive.mli
Ocamlopt src/transform/eliminate_inductive.ml
Ocamlc   src/transform/eliminate_let.mli
Ocamlopt src/transform/eliminate_let.ml
Ocamlc   src/transform/eliminate_if.mli
Ocamlopt src/transform/eliminate_if.ml
Ocamlc   src/transform/libencoding.mli
Ocamlopt src/transform/libencoding.ml
Ocamlc   src/transform/discriminate.mli
Ocamlopt src/transform/discriminate.ml
Ocamlc   src/transform/encoding.mli
Ocamlopt src/transform/encoding.ml
Ocamlc   src/transform/encoding_select.mli
Ocamlopt src/transform/encoding_select.ml
Ocamlc   src/transform/encoding_guards_full.mli
Ocamlopt src/transform/encoding_guards_full.ml
Ocamlc   src/transform/encoding_tags_full.mli
Ocamlopt src/transform/encoding_tags_full.ml
Ocamlc   src/transform/encoding_guards.mli
Ocamlopt src/transform/encoding_guards.ml
Ocamlc   src/transform/encoding_tags.mli
Ocamlopt src/transform/encoding_tags.ml
Ocamlc   src/transform/encoding_twin.mli
Ocamlopt src/transform/encoding_twin.ml
Ocamlc   src/transform/encoding_sort.mli
Ocamlopt src/transform/encoding_sort.ml
Ocamlc   src/transform/simplify_array.mli
Ocamlopt src/transform/simplify_array.ml
Ocamlc   src/transform/filter_trigger.mli
Ocamlopt src/transform/filter_trigger.ml
Ocamlc   src/transform/abstraction.mli
Ocamlopt src/transform/abstraction.ml
Ocamlc   src/transform/close_epsilon.mli
Ocamlopt src/transform/close_epsilon.ml
Ocamlc   src/transform/lift_epsilon.mli
Ocamlopt src/transform/lift_epsilon.ml
Ocamlc   src/transform/eliminate_epsilon.mli
Ocamlopt src/transform/eliminate_epsilon.ml
Ocamlc   src/transform/intro_projections_counterexmp.mli
Ocamlopt src/transform/intro_projections_counterexmp.ml
Ocamlc   src/transform/instantiate_predicate.mli
Ocamlopt src/transform/instantiate_predicate.ml
Ocamlc   src/transform/smoke_detector.mli
Ocamlopt src/transform/smoke_detector.ml
Ocamlc   src/transform/prop_curry.ml
Ocamlopt src/transform/prop_curry.ml
Ocamlc   src/transform/eliminate_literal.mli
Ocamlopt src/transform/eliminate_literal.ml
Ocamlc   src/transform/generic_arg_trans_utils.mli
Ocamlopt src/transform/generic_arg_trans_utils.ml
Ocamlc   src/transform/case.ml
Ocamlopt src/transform/case.ml
Ocamlc   src/transform/apply.mli
Ocamlopt src/transform/apply.ml
Ocamlc   src/transform/subst.mli
Ocamlopt src/transform/subst.ml
Ocamlc   src/transform/introduction.mli
Ocamlopt src/transform/introduction.ml
Ocamlc   src/transform/ind_itp.mli
Ocamlopt src/transform/ind_itp.ml
Ocamlc   src/transform/destruct.mli
Ocamlopt src/transform/destruct.ml
Ocamlc   src/transform/cut.ml
Ocamlopt src/transform/cut.ml
Ocamlc   src/transform/congruence.ml
Ocamlopt src/transform/congruence.ml
Ocamlc   src/transform/intro_vc_vars_counterexmp.mli
Ocamlopt src/transform/intro_vc_vars_counterexmp.ml
Ocamlc   src/transform/prepare_for_counterexmp.mli
Ocamlopt src/transform/prepare_for_counterexmp.ml
Ocamlc   src/transform/induction.mli
Ocamlopt src/transform/induction.ml
Ocamlc   src/transform/induction_pr.mli
Ocamlopt src/transform/induction_pr.ml
Ocamlc   src/transform/matching.ml
File "src/transform/matching.ml", line 157, characters 15-33:
157 |     let (--) = Pervasives.compare in
                     ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/transform/matching.ml", line 268, characters 16-34:
268 |   let compare = Pervasives.compare
                      ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlopt src/transform/matching.ml
File "src/transform/matching.ml", line 157, characters 15-33:
157 |     let (--) = Pervasives.compare in
                     ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/transform/matching.ml", line 268, characters 16-34:
268 |   let compare = Pervasives.compare
                      ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/transform/reflection.mli
Ocamlopt src/transform/reflection.ml
Ocamlc   src/printer/cntexmp_printer.mli
Ocamlopt src/printer/cntexmp_printer.ml
Ocamlc   src/printer/alt_ergo.mli
Ocamlopt src/printer/alt_ergo.ml
Ocamlc   src/printer/why3printer.mli
Ocamlopt src/printer/why3printer.ml
Ocamlc   src/printer/smtv1.mli
Ocamlopt src/printer/smtv1.ml
Ocamlc   src/printer/smtv2.mli
Ocamlopt src/printer/smtv2.ml
Ocamlc   src/printer/coq.mli
Ocamlopt src/printer/coq.ml
Ocamlc   src/printer/pvs.ml
Ocamlopt src/printer/pvs.ml
Ocamlc   src/printer/isabelle.ml
Ocamlopt src/printer/isabelle.ml
Ocamlc   src/printer/simplify.mli
Ocamlopt src/printer/simplify.ml
Ocamlc   src/printer/gappa.mli
Ocamlopt src/printer/gappa.ml
Ocamlc   src/printer/cvc3.mli
Ocamlopt src/printer/cvc3.ml
Ocamlc   src/printer/yices.ml
Ocamlopt src/printer/yices.ml
Ocamlc   src/printer/mathematica.ml
Ocamlopt src/printer/mathematica.ml
Ocamlc   src/session/compress.mli
Ocamlopt src/session/compress.ml
File "src/session/compress_z.ml", line 44, characters 23-33:
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/session/xml.mli
Ocamlopt src/session/xml.ml
Ocamlc   src/session/termcode.mli
Ocamlopt src/session/termcode.ml
File "src/session/termcode.ml", line 1106, characters 24-42:
1106 |     let compare e1 e2 = Pervasives.compare e1.shape e2.shape in
                               ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/session/session_itp.mli
Ocamlopt src/session/session_itp.ml
Ocamlc   src/session/strategy.mli
Ocamlopt src/session/strategy.ml
Ocamlc   src/session/strategy_parser.mli
Ocamlopt src/session/strategy_parser.ml
Ocamlc   src/session/controller_itp.mli
Ocamlopt src/session/controller_itp.ml
Ocamlc   src/session/itp_communication.mli
Ocamlopt src/session/itp_communication.ml
Ocamlc   src/session/server_utils.mli
Ocamlopt src/session/server_utils.ml
Ocamlc   src/session/itp_server.mli
Ocamlopt src/session/itp_server.ml
Ocamlc   src/session/json_util.mli
Ocamlopt src/session/json_util.ml
Ocamlc   src/session/unix_scheduler.mli
Ocamlopt src/session/unix_scheduler.ml
Ocamlc   src/util/bigInt.ml
Ocamlc   src/util/mlmpfr_wrapper.ml
Ocamlc   src/util/util.ml
Ocamlc   src/util/opt.ml
Ocamlc   src/util/lists.ml
Ocamlc   src/util/strings.ml
Ocamlc   src/util/pp.ml
Ocamlc   src/util/extmap.ml
Ocamlc   src/util/extset.ml
Ocamlc   src/util/exthtbl.ml
Ocamlc   src/util/weakhtbl.ml
Ocamlc   src/util/diffmap.ml
Ocamlc   src/util/hashcons.ml
Ocamlc   src/util/wstdlib.ml
Ocamlc   src/util/exn_printer.ml
Ocamlc   src/util/getopt.ml
Ocamlc   src/util/json_base.ml
Ocamlc   src/util/json_parser.ml
Ocamlc   src/util/debug.ml
File "src/util/debug.ml", line 115, characters 21-39:
115 |           (List.sort Pervasives.compare list);
                           ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/util/loc.ml
File "src/util/loc.ml", line 69, characters 14-32:
69 | let compare = Pervasives.compare
                   ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/loc.ml", line 70, characters 12-26:
70 | let equal = Pervasives.(=)
                 ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/util/lexlib.ml
Ocamlc   src/util/print_tree.ml
Ocamlc   src/util/cmdline.ml
Ocamlc   src/util/warning.ml
Ocamlc   src/util/sysutil.ml
Ocamlc   src/util/rc.ml
Ocamlc   src/util/plugin.ml
Ocamlc   src/util/number.ml
Ocamlc   src/util/constant.ml
File "src/util/constant.ml", line 26, characters 33-51:
26 |       let c = if structural then Pervasives.compare k1 k2 else 0 in
                                      ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/constant.ml", line 29, characters 33-51:
29 |       let c = if structural then Pervasives.compare k1 k2 else 0 in
                                      ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/constant.ml", line 32, characters 6-24:
32 |       Pervasives.compare c1 c2
           ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/util/vector.ml
Ocamlc   src/util/pqueue.ml
Ocamlc   src/core/ident.ml
Ocamlc   src/core/ty.ml
Ocamlc   src/core/term.ml
File "src/core/term.ml", line 281, characters 39-57:
281 |   let perv_compare h1 h2 = comp_raise (Pervasives.compare h1 h2) in
                                             ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/core/pattern.ml
Ocamlc   src/core/decl.ml
Ocamlc   src/core/coercion.ml
Ocamlc   src/core/theory.ml
Ocamlc   src/core/task.ml
Ocamlc   src/core/pretty.ml
Ocamlc   src/core/dterm.ml
Ocamlc   src/core/env.ml
Ocamlc   src/core/trans.ml
Ocamlc   src/core/printer.ml
Ocamlc   src/core/model_parser.ml
Ocamlc   src/driver/prove_client.ml
Ocamlc   src/driver/call_provers.ml
Ocamlc   src/driver/driver_parser.ml
Ocamlc   src/driver/driver_lexer.ml
Ocamlc   src/driver/driver.ml
Ocamlc   src/driver/whyconf.ml
Ocamlc   src/driver/autodetection.ml
Ocamlc   src/driver/smtv2_model_defs.ml
Ocamlc   src/driver/collect_data_model.ml
Ocamlc   src/driver/sexp.ml
Ocamlc   src/mlw/ity.ml
Ocamlc   src/mlw/expr.ml
Ocamlc   src/mlw/pdecl.ml
Ocamlc   src/mlw/eval_match.ml
Ocamlc   src/mlw/typeinv.ml
Ocamlc   src/mlw/vc.ml
Ocamlc   src/mlw/pmodule.ml
Ocamlc   src/mlw/dexpr.ml
Ocamlc   src/mlw/big_real.ml
Ocamlc   src/mlw/pinterp.ml
File "src/mlw/pinterp.ml", line 60, characters 14-28:
60 |       let n = Pervasives.max 0 (Array.length a - 25) in
                   ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/mlw/pinterp.ml", line 1851, characters 48-62:
1851 |   let s = String.(if length s > n then sub s 0 (Pervasives.min n (length s)) ^ "..." else s) in
                                                       ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/mlw/counterexample.ml
Ocamlc   src/extract/compile.ml
Ocamlc   src/extract/mlinterp.ml
Ocamlc   src/extract/pdriver.ml
Ocamlc   src/extract/ml_printer.ml
Ocamlc   src/parser/ptree_helpers.ml
Ocamlc   src/parser/glob.ml
Ocamlc   src/parser/typing.ml
Ocamlc   src/parser/parser.ml
Ocamlc   src/parser/report.ml
Ocamlc   src/parser/lexer.ml
Ocamlc   src/parser/mlw_printer.ml
Ocamlc   src/transform/simplify_formula.ml
Ocamlc   src/transform/inlining.ml
Ocamlc   src/transform/split_goal.ml
Ocamlc   src/transform/args_wrapper.ml
Ocamlc   src/transform/detect_polymorphism.ml
Ocamlc   src/transform/reduction_engine.ml
Ocamlc   src/transform/compute.ml
Ocamlc   src/transform/eliminate_definition.ml
Ocamlc   src/transform/eliminate_algebraic.ml
Ocamlc   src/transform/eliminate_inductive.ml
Ocamlc   src/transform/eliminate_let.ml
Ocamlc   src/transform/eliminate_if.ml
Ocamlc   src/transform/libencoding.ml
Ocamlc   src/transform/discriminate.ml
Ocamlc   src/transform/encoding.ml
Ocamlc   src/transform/encoding_select.ml
Ocamlc   src/transform/encoding_guards_full.ml
Ocamlc   src/transform/encoding_tags_full.ml
Ocamlc   src/transform/encoding_guards.ml
Ocamlc   src/transform/encoding_tags.ml
Ocamlc   src/transform/encoding_twin.ml
Ocamlc   src/transform/encoding_sort.ml
Ocamlc   src/transform/simplify_array.ml
Ocamlc   src/transform/filter_trigger.ml
Ocamlc   src/transform/abstraction.ml
Ocamlc   src/transform/close_epsilon.ml
Ocamlc   src/transform/lift_epsilon.ml
Ocamlc   src/transform/eliminate_epsilon.ml
Ocamlc   src/transform/intro_projections_counterexmp.ml
Ocamlc   src/transform/instantiate_predicate.ml
Ocamlc   src/transform/smoke_detector.ml
Ocamlc   src/transform/eliminate_literal.ml
Ocamlc   src/transform/generic_arg_trans_utils.ml
Ocamlc   src/transform/apply.ml
Ocamlc   src/transform/subst.ml
Ocamlc   src/transform/introduction.ml
Ocamlc   src/transform/ind_itp.ml
Ocamlc   src/transform/destruct.ml
Ocamlc   src/transform/intro_vc_vars_counterexmp.ml
Ocamlc   src/transform/prepare_for_counterexmp.ml
Ocamlc   src/transform/induction.ml
Ocamlc   src/transform/induction_pr.ml
Ocamlc   src/transform/reflection.ml
Ocamlc   src/printer/cntexmp_printer.ml
Ocamlc   src/printer/alt_ergo.ml
Ocamlc   src/printer/why3printer.ml
Ocamlc   src/printer/smtv1.ml
Ocamlc   src/printer/smtv2.ml
Ocamlc   src/printer/coq.ml
Ocamlc   src/printer/simplify.ml
Ocamlc   src/printer/gappa.ml
Ocamlc   src/printer/cvc3.ml
Ocamlc   src/session/compress.ml
File "src/session/compress_z.ml", line 44, characters 23-33:
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/session/xml.ml
Ocamlc   src/session/termcode.ml
File "src/session/termcode.ml", line 1106, characters 24-42:
1106 |     let compare e1 e2 = Pervasives.compare e1.shape e2.shape in
                               ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/session/session_itp.ml
Ocamlc   src/session/strategy.ml
Ocamlc   src/session/strategy_parser.ml
Ocamlc   src/session/controller_itp.ml
Ocamlc   src/session/server_utils.ml
Ocamlc   src/session/itp_communication.ml
Ocamlc   src/session/itp_server.ml
Ocamlc   src/session/json_util.ml
Ocamlc   src/session/unix_scheduler.ml
Linking  lib/why3/why3.cmo
Linking  lib/why3/why3.cmx
Ocamlc   plugins/parser/genequlin.ml
Ocamlopt plugins/parser/genequlin.ml
Linking  lib/plugins/genequlin.cmxs
Ocamlc   plugins/parser/dimacs.ml
Ocamlopt plugins/parser/dimacs.ml
Linking  lib/plugins/dimacs.cmxs
Ocamlc   plugins/tptp/tptp_ast.ml
Ocamlopt plugins/tptp/tptp_ast.ml
Ocamlc   plugins/tptp/tptp_parser.mli
Ocamlopt plugins/tptp/tptp_parser.ml
Ocamlc   plugins/tptp/tptp_typing.mli
Ocamlopt plugins/tptp/tptp_typing.ml
Ocamlc   plugins/tptp/tptp_lexer.mli
Ocamlopt plugins/tptp/tptp_lexer.ml
Ocamlc   plugins/tptp/tptp_printer.mli
Ocamlopt plugins/tptp/tptp_printer.ml
Linking  lib/plugins/tptp.cmxs
Ocamlc   plugins/python/py_ast.ml
Ocamlopt plugins/python/py_ast.ml
Ocamlc   plugins/python/py_parser.mli
Ocamlopt plugins/python/py_parser.ml
Ocamlc   plugins/python/py_lexer.ml
Ocamlopt plugins/python/py_lexer.ml
Ocamlc   plugins/python/py_main.ml
Ocamlopt plugins/python/py_main.ml
Linking  lib/plugins/python.cmxs
Ocamlc   plugins/microc/mc_ast.ml
Ocamlopt plugins/microc/mc_ast.ml
Ocamlc   plugins/microc/mc_parser.mli
Ocamlopt plugins/microc/mc_parser.ml
Ocamlc   plugins/microc/mc_lexer.ml
Ocamlopt plugins/microc/mc_lexer.ml
Ocamlc   plugins/microc/mc_printer.mli
Ocamlopt plugins/microc/mc_printer.ml
Ocamlc   plugins/microc/mc_main.ml
Ocamlopt plugins/microc/mc_main.ml
Linking  lib/plugins/microc.cmxs
Ocamlc   plugins/cfg/cfg_ast.ml
Ocamlopt plugins/cfg/cfg_ast.ml
Ocamlc   plugins/cfg/cfg_tokens.ml
Ocamlopt plugins/cfg/cfg_tokens.ml
Ocamlc   plugins/cfg/cfg_parser.mli
Ocamlopt plugins/cfg/cfg_parser.ml
Ocamlc   plugins/cfg/cfg_lexer.ml
Ocamlopt plugins/cfg/cfg_lexer.ml
Ocamlc   plugins/cfg/cfg_main.ml
Ocamlopt plugins/cfg/cfg_main.ml
Linking  lib/plugins/cfg.cmxs
Ocamlc   plugins/transform/hypothesis_selection.ml
File "plugins/transform/hypothesis_selection.ml", line 25, characters 16-34:
25 |   let compare = Pervasives.compare
                     ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlopt plugins/transform/hypothesis_selection.ml
File "plugins/transform/hypothesis_selection.ml", line 25, characters 16-34:
25 |   let compare = Pervasives.compare
                     ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Linking  lib/plugins/hypothesis_selection.cmxs
Linking  lib/why3/why3.cmxa
Linking  lib/why3/why3.cmxs
Ocamlc   src/tools/main.ml
Ocamlopt src/tools/main.ml
Linking  bin/why3.opt
Ocamlc   src/tools/why3config.ml
Ocamlopt src/tools/why3config.ml
Linking  bin/why3config.cmxs
Ocamlc   src/tools/why3execute.ml
Ocamlopt src/tools/why3execute.ml
Linking  bin/why3execute.cmxs
Ocamlc   src/tools/why3extract.ml
Ocamlopt src/tools/why3extract.ml
Linking  bin/why3extract.cmxs
Ocamlc   src/tools/why3prove.ml
File "src/tools/why3prove.ml", line 446, characters 6-40:
446 |       Format.set_formatter_tag_functions Util.ansi_color_tags;
            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Format.set_formatter_tag_functions
Use Format.set_formatter_stag_functions.
Ocamlopt src/tools/why3prove.ml
File "src/tools/why3prove.ml", line 446, characters 6-40:
446 |       Format.set_formatter_tag_functions Util.ansi_color_tags;
            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Format.set_formatter_tag_functions
Use Format.set_formatter_stag_functions.
Linking  bin/why3prove.cmxs
Ocamlc   src/tools/why3realize.ml
Ocamlopt src/tools/why3realize.ml
Linking  bin/why3realize.cmxs
Ocamlc   src/tools/why3replay.ml
Ocamlopt src/tools/why3replay.ml
Linking  bin/why3replay.cmxs
Ocamlc   src/tools/why3wc.ml
Ocamlopt src/tools/why3wc.ml
Linking  bin/why3wc.cmxs
Ocamlc   src/ide/gtkcompat.ml
Ocamlopt src/ide/gtkcompat.ml
Ocamlc   src/ide/gconfig.mli
Ocamlopt src/ide/gconfig.ml
Ocamlc   src/ide/ide_utils.mli
Ocamlopt src/ide/ide_utils.ml
Ocamlc   src/ide/why3ide.ml
Ocamlopt src/ide/why3ide.ml
Linking  bin/why3ide.cmxs
Ocamlc   src/ide/wserver.mli
Ocamlopt src/ide/wserver.ml
Ocamlc   src/ide/why3web.ml
Ocamlopt src/ide/why3web.ml
Linking  bin/why3webserver.cmxs
Ocamlc   src/why3session/why3session_lib.mli
Ocamlopt src/why3session/why3session_lib.ml
Ocamlc   src/why3session/why3session_info.ml
Ocamlopt src/why3session/why3session_info.ml
Ocamlc   src/why3session/why3session_html.ml
Ocamlopt src/why3session/why3session_html.ml
Ocamlc   src/why3session/why3session_latex.ml
Ocamlopt src/why3session/why3session_latex.ml
Ocamlc   src/why3session/why3session_update.ml
Ocamlopt src/why3session/why3session_update.ml
Ocamlc   src/why3session/why3session_main.ml
Ocamlopt src/why3session/why3session_main.ml
Linking  bin/why3session.cmxs
Ocamlc   src/tools/why3shell.ml
Ocamlopt src/tools/why3shell.ml
Linking  bin/why3shell.cmxs
Ocamlc   src/isabelle-client/isabelle_client_main.ml
Ocamlopt src/isabelle-client/isabelle_client_main.ml
Linking  bin/isabelle_client.opt
Ocamlc   src/tools/why3pp_sexp.ml
Ocamlopt src/tools/why3pp_sexp.ml
Ocamlc   src/tools/why3pp.ml
Ocamlopt src/tools/why3pp.ml
Linking  bin/why3pp.cmxs
Ocamlc   src/why3doc/doc_html.mli
Ocamlopt src/why3doc/doc_html.ml
Ocamlc   src/why3doc/doc_def.mli
Ocamlopt src/why3doc/doc_def.ml
Ocamlc   src/why3doc/doc_lexer.ml
Ocamlopt src/why3doc/doc_lexer.ml
Ocamlc   src/why3doc/doc_main.ml
Ocamlopt src/why3doc/doc_main.ml
Linking  bin/why3doc.cmxs
gcc -Wall -O -g -g -O2 -ffile-prefix-map=/build/why3-GhYObL/why3-1.4.0=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/logging.o -c src/server/logging.c
gcc -Wall -O -g -g -O2 -ffile-prefix-map=/build/why3-GhYObL/why3-1.4.0=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/arraylist.o -c src/server/arraylist.c
gcc -Wall -O -g -g -O2 -ffile-prefix-map=/build/why3-GhYObL/why3-1.4.0=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/options.o -c src/server/options.c
gcc -Wall -O -g -g -O2 -ffile-prefix-map=/build/why3-GhYObL/why3-1.4.0=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/queue.o -c src/server/queue.c
gcc -Wall -O -g -g -O2 -ffile-prefix-map=/build/why3-GhYObL/why3-1.4.0=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/readbuf.o -c src/server/readbuf.c
gcc -Wall -O -g -g -O2 -ffile-prefix-map=/build/why3-GhYObL/why3-1.4.0=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/request.o -c src/server/request.c
gcc -Wall -O -g -g -O2 -ffile-prefix-map=/build/why3-GhYObL/why3-1.4.0=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/proc.o -c src/server/proc.c
gcc -Wall -O -g -g -O2 -ffile-prefix-map=/build/why3-GhYObL/why3-1.4.0=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/writebuf.o -c src/server/writebuf.c
gcc -Wall -O -g -g -O2 -ffile-prefix-map=/build/why3-GhYObL/why3-1.4.0=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/server-unix.o -c src/server/server-unix.c
gcc -Wall -O -g -g -O2 -ffile-prefix-map=/build/why3-GhYObL/why3-1.4.0=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/server-win.o -c src/server/server-win.c
gcc -Wall -Wl,-z,relro -o  lib/why3server src/server/logging.o src/server/arraylist.o src/server/options.o src/server/queue.o src/server/readbuf.o src/server/request.o src/server/proc.o src/server/writebuf.o src/server/server-unix.o src/server/server-win.o
gcc -Wall -O -g -g -O2 -ffile-prefix-map=/build/why3-GhYObL/why3-1.4.0=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c
gcc -Wall -O -g -g -O2 -ffile-prefix-map=/build/why3-GhYObL/why3-1.4.0=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/cpulimit-win.o -c src/server/cpulimit-win.c
gcc -Wall -Wl,-z,relro -o lib/why3cpulimit src/server/cpulimit-unix.o src/server/cpulimit-win.o
Coqc     lib/coq/BuiltIn.v
Coqc     lib/coq/HighOrd.v
Coqc     lib/coq/int/Int.v
Coqc     lib/coq/int/Exponentiation.v
Coqc     lib/coq/int/Abs.v
Coqc     lib/coq/int/ComputerDivision.v
Coqc     lib/coq/int/EuclideanDivision.v
Coqc     lib/coq/int/Div2.v
Coqc     lib/coq/int/MinMax.v
Coqc     lib/coq/int/Power.v
Coqc     lib/coq/int/NumOf.v
Coqc     lib/coq/bool/Bool.v
Coqc     lib/coq/real/Real.v
Coqc     lib/coq/real/Abs.v
Coqc     lib/coq/real/ExpLog.v
Coqc     lib/coq/real/FromInt.v
Coqc     lib/coq/real/MinMax.v
Coqc     lib/coq/real/RealInfix.v
Coqc     lib/coq/real/PowerInt.v
Coqc     lib/coq/real/Square.v
Coqc     lib/coq/real/PowerReal.v
Coqc     lib/coq/real/Trigonometry.v
Coqc     lib/coq/number/Parity.v
Coqc     lib/coq/number/Divisibility.v
Coqc     lib/coq/number/Gcd.v
Coqc     lib/coq/number/Prime.v
Coqc     lib/coq/number/Coprime.v
Coqc     lib/coq/map/Map.v
Coqc     lib/coq/map/Const.v
Coqc     lib/coq/set/Set.v
File "./lib/coq/set/Set.v", line 44, characters 0-16:
Warning: Adding and removing hints in the core database implicitly is
deprecated. Please specify a hint database.
[implicit-core-hint-db,deprecated]
File "./lib/coq/set/Set.v", line 44, characters 0-16:
Warning: The default value for hint locality is currently "local" in a
section and "global" otherwise, but is scheduled to change in a future
release. For the time being, adding hints outside of sections without
specifying an explicit locality attribute is therefore deprecated. It is
recommended to use "export" whenever possible. Use the attributes #[local],
#[global] and #[export] depending on your choice. For example: "#[export]
Hint Unfold foo : bar." [deprecated-hint-without-locality,deprecated]
Coqc     lib/coq/set/Cardinal.v
Coqc     lib/coq/set/Fset.v
Coqc     lib/coq/set/FsetInduction.v
Coqc     lib/coq/set/FsetInt.v
Coqc     lib/coq/set/FsetSum.v
Coqc     lib/coq/set/SetApp.v
Coqc     lib/coq/set/SetAppInt.v
Coqc     lib/coq/set/SetImp.v
Coqc     lib/coq/set/SetImpInt.v
Coqc     lib/coq/map/Occ.v
Coqc     lib/coq/map/MapPermut.v
Coqc     lib/coq/map/MapInjection.v
Coqc     lib/coq/list/List.v
Coqc     lib/coq/list/Length.v
Coqc     lib/coq/list/Mem.v
Coqc     lib/coq/option/Option.v
Coqc     lib/coq/list/Nth.v
Coqc     lib/coq/list/NthLength.v
Coqc     lib/coq/list/HdTl.v
Coqc     lib/coq/list/NthHdTl.v
Coqc     lib/coq/list/Append.v
Coqc     lib/coq/list/NthLengthAppend.v
Coqc     lib/coq/list/Reverse.v
Coqc     lib/coq/list/HdTlNoOpt.v
Coqc     lib/coq/list/NthNoOpt.v
Coqc     lib/coq/list/RevAppend.v
Coqc     lib/coq/list/Combine.v
Coqc     lib/coq/list/Distinct.v
Coqc     lib/coq/list/NumOcc.v
Coqc     lib/coq/list/Permut.v
Coqc     lib/coq/bv/Pow2int.v
Coqc     lib/coq/bv/BV_Gen.v
Coqc     lib/coq/for_drivers/ComputerOfEuclideanDivision.v
Generate drivers/coq-realizations.aux
Generate drivers/pvs-realizations.aux
Generate drivers/isabelle-realizations.aux
Linking  lib/plugins/genequlin.cmo
Linking  lib/plugins/dimacs.cmo
Ocamlc   plugins/tptp/tptp_parser.ml
Ocamlc   plugins/tptp/tptp_typing.ml
Ocamlc   plugins/tptp/tptp_lexer.ml
Ocamlc   plugins/tptp/tptp_printer.ml
Linking  lib/plugins/tptp.cmo
Ocamlc   plugins/python/py_parser.ml
Linking  lib/plugins/python.cmo
Ocamlc   plugins/microc/mc_parser.ml
Ocamlc   plugins/microc/mc_printer.ml
Linking  lib/plugins/microc.cmo
Ocamlc   plugins/cfg/cfg_parser.ml
Linking  lib/plugins/cfg.cmo
Linking  lib/plugins/hypothesis_selection.cmo
Linking  lib/why3/why3.cma
Linking  bin/why3.byte
Linking  bin/why3config.cma
Linking  bin/why3execute.cma
Linking  bin/why3extract.cma
Linking  bin/why3prove.cma
Linking  bin/why3realize.cma
Linking  bin/why3replay.cma
Linking  bin/why3wc.cma
Ocamlc   src/ide/gconfig.ml
Ocamlc   src/ide/ide_utils.ml
Linking  bin/why3ide.cma
Ocamlc   src/ide/wserver.ml
Linking  bin/why3webserver.cma
Ocamlc   src/why3session/why3session_lib.ml
Linking  bin/why3session.cma
Linking  bin/why3shell.cma
Linking  bin/isabelle_client.byte
Linking  bin/why3pp.cma
Ocamlc   src/why3doc/doc_html.ml
Ocamlc   src/why3doc/doc_def.ml
Linking  bin/why3doc.cma
make[2]: Leaving directory '/build/why3-GhYObL/why3-1.4.0'
make[1]: Leaving directory '/build/why3-GhYObL/why3-1.4.0'
   dh_auto_test -a
   create-stamp debian/debhelper-build-stamp
   dh_prep -a
   dh_installdirs -a
   debian/rules override_dh_auto_install
make[1]: Entering directory '/build/why3-GhYObL/why3-1.4.0'
# do nothing
make[1]: Leaving directory '/build/why3-GhYObL/why3-1.4.0'
   debian/rules override_dh_install-arch
make[1]: Entering directory '/build/why3-GhYObL/why3-1.4.0'
dh build-arch --with ocaml,tex
   dh_update_autotools_config -a
   dh_autoreconf -a
dh_autoreconf: warning: Only runs once, see dh-autoreconf(7)
   dh_ocamlinit -a
   debian/rules override_dh_auto_configure
make[2]: Entering directory '/build/why3-GhYObL/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... no
configure: WARNING: Cannot find sphinx-build, Documentation disabled.
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               : no (sphinx-build not found)
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[2]: Leaving directory '/build/why3-GhYObL/why3-1.4.0'
   debian/rules override_dh_auto_build-arch
make[2]: Entering directory '/build/why3-GhYObL/why3-1.4.0'
/usr/bin/make all byte
make[3]: Entering directory '/build/why3-GhYObL/why3-1.4.0'
cp src/tools/why3pp_sexp-dummy.ml src/tools/why3pp_sexp.ml
Ocamldep src/tools/why3pp.ml
Ocamldep src/tools/why3pp_sexp.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
Generate src/util/config.ml
cp src/util/mysexplib-dummy.ml src/util/mysexplib.ml
cp src/util/mlmpfr_dummy.ml src/util/mlmpfr_wrapper.ml
cp src/util/dynlink_new.ml src/util/dynlink_wrapper.ml
cp src/session/compress_z.ml src/session/compress.ml
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
Ocamlc   src/util/mysexplib.ml
Ocamlopt src/util/mysexplib.ml
Ocamlc   src/util/config.ml
Ocamlopt src/util/config.ml
Ocamlopt src/util/bigInt.ml
Ocamlopt src/util/mlmpfr_wrapper.ml
Ocamlopt src/util/loc.ml
File "src/util/loc.ml", line 69, characters 14-32:
69 | let compare = Pervasives.compare
                   ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/loc.ml", line 70, characters 12-26:
70 | let equal = Pervasives.(=)
                 ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlopt src/util/lexlib.ml
Ocamlc   src/util/dynlink_wrapper.ml
Ocamlopt src/util/dynlink_wrapper.ml
Ocamlopt src/util/warning.ml
Ocamlopt src/util/number.ml
Ocamlopt src/util/constant.ml
File "src/util/constant.ml", line 26, characters 33-51:
26 |       let c = if structural then Pervasives.compare k1 k2 else 0 in
                                      ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/constant.ml", line 29, characters 33-51:
29 |       let c = if structural then Pervasives.compare k1 k2 else 0 in
                                      ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/constant.ml", line 32, characters 6-24:
32 |       Pervasives.compare c1 c2
           ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/util/re.ml
Ocamlopt src/util/re.ml
Ocamlopt src/core/ident.ml
Ocamlopt src/core/ty.ml
Ocamlopt src/core/term.ml
File "src/core/term.ml", line 281, characters 39-57:
281 |   let perv_compare h1 h2 = comp_raise (Pervasives.compare h1 h2) in
                                             ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlopt src/core/pattern.ml
Ocamlopt src/core/decl.ml
Ocamlopt src/core/coercion.ml
Ocamlopt src/core/theory.ml
Ocamlopt src/core/task.ml
Ocamlopt src/core/pretty.ml
Ocamlopt src/core/dterm.ml
Ocamlopt src/core/env.ml
Ocamlopt src/core/trans.ml
Ocamlopt src/core/printer.ml
Ocamlopt src/core/model_parser.ml
Ocamlopt src/driver/prove_client.ml
Ocamlopt src/driver/call_provers.ml
Ocamlopt src/driver/driver_ast.ml
Ocamlopt src/driver/driver_parser.ml
Ocamlopt src/driver/driver_lexer.ml
Ocamlopt src/driver/driver.ml
Ocamlc   src/driver/whyconf.mli
Ocamlopt src/driver/whyconf.ml
Ocamlc   src/driver/autodetection.mli
Ocamlopt src/driver/autodetection.ml
Ocamlopt src/driver/smtv2_model_defs.ml
Ocamlopt src/driver/collect_data_model.ml
Ocamlc   src/driver/smtv2_model_parser.ml
Ocamlopt src/driver/smtv2_model_parser.ml
Ocamlopt src/mlw/ity.ml
Ocamlopt src/mlw/expr.ml
Ocamlopt src/mlw/pdecl.ml
Ocamlopt src/mlw/eval_match.ml
Ocamlopt src/mlw/typeinv.ml
Ocamlopt src/mlw/vc.ml
Ocamlopt src/mlw/pmodule.ml
Ocamlopt src/mlw/dexpr.ml
Ocamlopt src/mlw/big_real.ml
Ocamlc   src/mlw/pinterp.mli
Ocamlopt src/mlw/pinterp.ml
File "src/mlw/pinterp.ml", line 60, characters 14-28:
60 |       let n = Pervasives.max 0 (Array.length a - 25) in
                   ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/mlw/pinterp.ml", line 1851, characters 48-62:
1851 |   let s = String.(if length s > n then sub s 0 (Pervasives.min n (length s)) ^ "..." else s) in
                                                       ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/mlw/counterexample.mli
Ocamlopt src/mlw/counterexample.ml
Ocamlopt src/extract/mltree.ml
Ocamlopt src/extract/compile.ml
Ocamlopt src/extract/mlinterp.ml
Ocamlopt src/extract/pdriver.ml
Ocamlopt src/extract/ml_printer.ml
Ocamlc   src/extract/c.ml
Ocamlopt src/extract/c.ml
Ocamlopt src/extract/ocaml.ml
Ocamlopt src/extract/cakeml.ml
Ocamlc   src/parser/ptree.ml
Ocamlopt src/parser/ptree.ml
Ocamlc   src/parser/ptree_helpers.mli
Ocamlopt src/parser/ptree_helpers.ml
Ocamlopt src/parser/glob.ml
Ocamlc   src/parser/typing.mli
Ocamlopt src/parser/typing.ml
Ocamlc   src/parser/parser.mli
Ocamlopt src/parser/parser.ml
Ocamlc   src/parser/report.mli
Ocamlopt src/parser/report.ml
Ocamlc   src/parser/lexer.mli
Ocamlopt src/parser/lexer.ml
Ocamlc   src/parser/mlw_printer.mli
Ocamlopt src/parser/mlw_printer.ml
Ocamlopt src/transform/simplify_formula.ml
Ocamlopt src/transform/inlining.ml
Ocamlopt src/transform/split_goal.ml
Ocamlc   src/transform/args_wrapper.mli
Ocamlopt src/transform/args_wrapper.ml
Ocamlopt src/transform/detect_polymorphism.ml
Ocamlopt src/transform/reduction_engine.ml
Ocamlopt src/transform/compute.ml
Ocamlopt src/transform/eliminate_definition.ml
Ocamlopt src/transform/eliminate_algebraic.ml
Ocamlopt src/transform/abstract_quantifiers.ml
Ocamlopt src/transform/eliminate_unknown_types.ml
Ocamlopt src/transform/eliminate_unknown_lsymbols.ml
Ocamlopt src/transform/eliminate_symbol.ml
Ocamlopt src/transform/eliminate_inductive.ml
Ocamlopt src/transform/eliminate_let.ml
Ocamlopt src/transform/eliminate_if.ml
Ocamlopt src/transform/libencoding.ml
Ocamlopt src/transform/discriminate.ml
Ocamlopt src/transform/encoding.ml
Ocamlopt src/transform/encoding_select.ml
Ocamlopt src/transform/encoding_guards_full.ml
Ocamlopt src/transform/encoding_tags_full.ml
Ocamlopt src/transform/encoding_guards.ml
Ocamlopt src/transform/encoding_tags.ml
Ocamlopt src/transform/encoding_twin.ml
Ocamlopt src/transform/encoding_sort.ml
Ocamlopt src/transform/simplify_array.ml
Ocamlopt src/transform/filter_trigger.ml
Ocamlopt src/transform/abstraction.ml
Ocamlopt src/transform/close_epsilon.ml
Ocamlopt src/transform/lift_epsilon.ml
Ocamlopt src/transform/eliminate_epsilon.ml
Ocamlopt src/transform/intro_projections_counterexmp.ml
Ocamlopt src/transform/instantiate_predicate.ml
Ocamlopt src/transform/smoke_detector.ml
Ocamlopt src/transform/prop_curry.ml
Ocamlopt src/transform/eliminate_literal.ml
Ocamlopt src/transform/generic_arg_trans_utils.ml
Ocamlc   src/transform/case.ml
Ocamlopt src/transform/case.ml
Ocamlopt src/transform/apply.ml
Ocamlopt src/transform/subst.ml
Ocamlopt src/transform/introduction.ml
Ocamlc   src/transform/ind_itp.mli
Ocamlopt src/transform/ind_itp.ml
Ocamlopt src/transform/destruct.ml
Ocamlc   src/transform/cut.ml
Ocamlopt src/transform/cut.ml
Ocamlopt src/transform/congruence.ml
Ocamlopt src/transform/intro_vc_vars_counterexmp.ml
Ocamlopt src/transform/prepare_for_counterexmp.ml
Ocamlopt src/transform/induction.ml
Ocamlopt src/transform/induction_pr.ml
Ocamlopt src/transform/matching.ml
File "src/transform/matching.ml", line 157, characters 15-33:
157 |     let (--) = Pervasives.compare in
                     ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/transform/matching.ml", line 268, characters 16-34:
268 |   let compare = Pervasives.compare
                      ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlopt src/transform/reflection.ml
Ocamlopt src/printer/cntexmp_printer.ml
Ocamlopt src/printer/alt_ergo.ml
Ocamlopt src/printer/why3printer.ml
Ocamlopt src/printer/smtv1.ml
Ocamlopt src/printer/smtv2.ml
Ocamlopt src/printer/coq.ml
Ocamlc   src/printer/pvs.ml
Ocamlopt src/printer/pvs.ml
Ocamlopt src/printer/isabelle.ml
Ocamlopt src/printer/simplify.ml
Ocamlopt src/printer/gappa.ml
Ocamlopt src/printer/cvc3.ml
Ocamlopt src/printer/yices.ml
Ocamlopt src/printer/mathematica.ml
Ocamlopt src/session/compress.ml
File "src/session/compress_z.ml", line 44, characters 23-33:
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlopt src/session/termcode.ml
File "src/session/termcode.ml", line 1106, characters 24-42:
1106 |     let compare e1 e2 = Pervasives.compare e1.shape e2.shape in
                               ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/session/session_itp.mli
Ocamlopt src/session/session_itp.ml
Ocamlc   src/session/strategy.mli
Ocamlopt src/session/strategy.ml
Ocamlc   src/session/strategy_parser.mli
Ocamlopt src/session/strategy_parser.ml
Ocamlc   src/session/controller_itp.mli
Ocamlopt src/session/controller_itp.ml
Ocamlc   src/session/itp_communication.mli
Ocamlopt src/session/itp_communication.ml
Ocamlc   src/session/server_utils.mli
Ocamlopt src/session/server_utils.ml
Ocamlc   src/session/itp_server.mli
Ocamlopt src/session/itp_server.ml
Ocamlc   src/session/json_util.mli
Ocamlopt src/session/json_util.ml
Ocamlc   src/util/bigInt.ml
Ocamlc   src/util/mlmpfr_wrapper.ml
Ocamlc   src/util/loc.ml
File "src/util/loc.ml", line 69, characters 14-32:
69 | let compare = Pervasives.compare
                   ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/loc.ml", line 70, characters 12-26:
70 | let equal = Pervasives.(=)
                 ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/util/number.ml
Ocamlc   src/util/constant.ml
File "src/util/constant.ml", line 26, characters 33-51:
26 |       let c = if structural then Pervasives.compare k1 k2 else 0 in
                                      ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/constant.ml", line 29, characters 33-51:
29 |       let c = if structural then Pervasives.compare k1 k2 else 0 in
                                      ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/util/constant.ml", line 32, characters 6-24:
32 |       Pervasives.compare c1 c2
           ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/core/ident.ml
Ocamlc   src/core/model_parser.ml
Ocamlc   src/driver/prove_client.ml
Ocamlc   src/driver/call_provers.ml
Ocamlc   src/driver/driver.ml
Ocamlc   src/driver/whyconf.ml
Ocamlc   src/driver/autodetection.ml
Ocamlc   src/driver/collect_data_model.ml
Ocamlc   src/mlw/ity.ml
Ocamlc   src/mlw/pinterp.ml
File "src/mlw/pinterp.ml", line 60, characters 14-28:
60 |       let n = Pervasives.max 0 (Array.length a - 25) in
                   ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/mlw/pinterp.ml", line 1851, characters 48-62:
1851 |   let s = String.(if length s > n then sub s 0 (Pervasives.min n (length s)) ^ "..." else s) in
                                                       ^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/mlw/counterexample.ml
Ocamlc   src/parser/ptree_helpers.ml
Ocamlc   src/parser/typing.ml
Ocamlc   src/parser/parser.ml
Ocamlc   src/parser/report.ml
Ocamlc   src/parser/lexer.ml
Ocamlc   src/parser/mlw_printer.ml
Ocamlc   src/transform/args_wrapper.ml
Ocamlc   src/transform/compute.ml
Ocamlc   src/transform/eliminate_definition.ml
Ocamlc   src/transform/intro_projections_counterexmp.ml
Ocamlc   src/transform/apply.ml
Ocamlc   src/transform/subst.ml
Ocamlc   src/transform/ind_itp.ml
Ocamlc   src/transform/destruct.ml
Ocamlc   src/transform/induction.ml
Ocamlc   src/transform/induction_pr.ml
Ocamlc   src/transform/reflection.ml
Ocamlc   src/printer/coq.ml
Ocamlc   src/session/compress.ml
File "src/session/compress_z.ml", line 44, characters 23-33:
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlc   src/session/session_itp.ml
Ocamlc   src/session/strategy.ml
Ocamlc   src/session/strategy_parser.ml
Ocamlc   src/session/controller_itp.ml
Ocamlc   src/session/server_utils.ml
Ocamlc   src/session/itp_communication.ml
Ocamlc   src/session/itp_server.ml
Ocamlc   src/session/json_util.ml
Linking  lib/why3/why3.cmo
Linking  lib/why3/why3.cmx
Ocamlc   plugins/parser/genequlin.ml
Ocamlopt plugins/parser/genequlin.ml
Linking  lib/plugins/genequlin.cmxs
Ocamlc   plugins/parser/dimacs.ml
Ocamlopt plugins/parser/dimacs.ml
Linking  lib/plugins/dimacs.cmxs
Ocamlc   plugins/tptp/tptp_ast.ml
Ocamlopt plugins/tptp/tptp_ast.ml
Ocamlc   plugins/tptp/tptp_parser.mli
Ocamlopt plugins/tptp/tptp_parser.ml
Ocamlc   plugins/tptp/tptp_typing.mli
Ocamlopt plugins/tptp/tptp_typing.ml
Ocamlc   plugins/tptp/tptp_lexer.mli
Ocamlopt plugins/tptp/tptp_lexer.ml
Ocamlopt plugins/tptp/tptp_printer.ml
Linking  lib/plugins/tptp.cmxs
Ocamlc   plugins/python/py_ast.ml
Ocamlopt plugins/python/py_ast.ml
Ocamlc   plugins/python/py_parser.mli
Ocamlopt plugins/python/py_parser.ml
Ocamlc   plugins/python/py_lexer.ml
Ocamlopt plugins/python/py_lexer.ml
Ocamlc   plugins/python/py_main.ml
Ocamlopt plugins/python/py_main.ml
Linking  lib/plugins/python.cmxs
Ocamlc   plugins/microc/mc_ast.ml
Ocamlopt plugins/microc/mc_ast.ml
Ocamlc   plugins/microc/mc_parser.mli
Ocamlopt plugins/microc/mc_parser.ml
Ocamlc   plugins/microc/mc_lexer.ml
Ocamlopt plugins/microc/mc_lexer.ml
Ocamlc   plugins/microc/mc_printer.mli
Ocamlopt plugins/microc/mc_printer.ml
Ocamlc   plugins/microc/mc_main.ml
Ocamlopt plugins/microc/mc_main.ml
Linking  lib/plugins/microc.cmxs
Ocamlc   plugins/cfg/cfg_ast.ml
Ocamlopt plugins/cfg/cfg_ast.ml
Ocamlc   plugins/cfg/cfg_tokens.ml
Ocamlopt plugins/cfg/cfg_tokens.ml
Ocamlc   plugins/cfg/cfg_parser.mli
Ocamlopt plugins/cfg/cfg_parser.ml
Ocamlc   plugins/cfg/cfg_lexer.ml
Ocamlopt plugins/cfg/cfg_lexer.ml
Ocamlc   plugins/cfg/cfg_main.ml
Ocamlopt plugins/cfg/cfg_main.ml
Linking  lib/plugins/cfg.cmxs
Ocamlc   plugins/transform/hypothesis_selection.ml
File "plugins/transform/hypothesis_selection.ml", line 25, characters 16-34:
25 |   let compare = Pervasives.compare
                     ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Ocamlopt plugins/transform/hypothesis_selection.ml
File "plugins/transform/hypothesis_selection.ml", line 25, characters 16-34:
25 |   let compare = Pervasives.compare
                     ^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.

If you need to stay compatible with OCaml < 4.07, you can use the 
stdlib-shims library: https://github.com/ocaml/stdlib-shims
Linking  lib/plugins/hypothesis_selection.cmxs
Linking  lib/why3/why3.cmxa
Linking  lib/why3/why3.cmxs
Ocamlc   src/tools/main.ml
Ocamlopt src/tools/main.ml
Linking  bin/why3.opt
Ocamlc   src/tools/why3config.ml
Ocamlopt src/tools/why3config.ml
Linking  bin/why3config.cmxs
Ocamlc   src/tools/why3execute.ml
Ocamlopt src/tools/why3execute.ml
Linking  bin/why3execute.cmxs
Ocamlc   src/tools/why3extract.ml
Ocamlopt src/tools/why3extract.ml
Linking  bin/why3extract.cmxs
Ocamlc   src/tools/why3prove.ml
File "src/tools/why3prove.ml", line 446, characters 6-40:
446 |       Format.set_formatter_tag_functions Util.ansi_color_tags;
            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Format.set_formatter_tag_functions
Use Format.set_formatter_stag_functions.
Ocamlopt src/tools/why3prove.ml
File "src/tools/why3prove.ml", line 446, characters 6-40:
446 |       Format.set_formatter_tag_functions Util.ansi_color_tags;
            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Format.set_formatter_tag_functions
Use Format.set_formatter_stag_functions.
Linking  bin/why3prove.cmxs
Ocamlc   src/tools/why3realize.ml
Ocamlopt src/tools/why3realize.ml
Linking  bin/why3realize.cmxs
Ocamlc   src/tools/why3replay.ml
Ocamlopt src/tools/why3replay.ml
Linking  bin/why3replay.cmxs
Ocamlc   src/tools/why3wc.ml
Ocamlopt src/tools/why3wc.ml
Linking  bin/why3wc.cmxs
Ocamlc   src/ide/gtkcompat.ml
Ocamlopt src/ide/gtkcompat.ml
Ocamlc   src/ide/gconfig.mli
Ocamlopt src/ide/gconfig.ml
Ocamlc   src/ide/why3ide.ml
Ocamlopt src/ide/why3ide.ml
Linking  bin/why3ide.cmxs
Ocamlopt src/ide/wserver.ml
Ocamlc   src/ide/why3web.ml
Ocamlopt src/ide/why3web.ml
Linking  bin/why3webserver.cmxs
Ocamlc   src/why3session/why3session_lib.mli
Ocamlopt src/why3session/why3session_lib.ml
Ocamlc   src/why3session/why3session_info.ml
Ocamlopt src/why3session/why3session_info.ml
Ocamlc   src/why3session/why3session_html.ml
Ocamlopt src/why3session/why3session_html.ml
Ocamlc   src/why3session/why3session_latex.ml
Ocamlopt src/why3session/why3session_latex.ml
Ocamlc   src/why3session/why3session_update.ml
Ocamlopt src/why3session/why3session_update.ml
Ocamlc   src/why3session/why3session_main.ml
Ocamlopt src/why3session/why3session_main.ml
Linking  bin/why3session.cmxs
Ocamlc   src/tools/why3shell.ml
Ocamlopt src/tools/why3shell.ml
Linking  bin/why3shell.cmxs
Ocamlc   src/isabelle-client/isabelle_client_main.ml
Ocamlopt src/isabelle-client/isabelle_client_main.ml
Linking  bin/isabelle_client.opt
Ocamlc   src/tools/why3pp_sexp.ml
Ocamlopt src/tools/why3pp_sexp.ml
Ocamlc   src/tools/why3pp.ml
Ocamlopt src/tools/why3pp.ml
Linking  bin/why3pp.cmxs
Ocamlopt src/why3doc/doc_html.ml
Ocamlc   src/why3doc/doc_def.mli
Ocamlopt src/why3doc/doc_def.ml
Ocamlc   src/why3doc/doc_lexer.ml
Ocamlopt src/why3doc/doc_lexer.ml
Ocamlc   src/why3doc/doc_main.ml
Ocamlopt src/why3doc/doc_main.ml
Linking  bin/why3doc.cmxs
Generate drivers/coq-realizations.aux
Generate drivers/pvs-realizations.aux
Generate drivers/isabelle-realizations.aux
Linking  lib/plugins/genequlin.cmo
Linking  lib/plugins/dimacs.cmo
Ocamlc   plugins/tptp/tptp_parser.ml
Ocamlc   plugins/tptp/tptp_typing.ml
Ocamlc   plugins/tptp/tptp_lexer.ml
Ocamlc   plugins/tptp/tptp_printer.ml
Linking  lib/plugins/tptp.cmo
Ocamlc   plugins/python/py_parser.ml
Linking  lib/plugins/python.cmo
Ocamlc   plugins/microc/mc_parser.ml
Ocamlc   plugins/microc/mc_printer.ml
Linking  lib/plugins/microc.cmo
Ocamlc   plugins/cfg/cfg_parser.ml
Linking  lib/plugins/cfg.cmo
Linking  lib/plugins/hypothesis_selection.cmo
Linking  lib/why3/why3.cma
Linking  bin/why3.byte
Linking  bin/why3config.cma
Linking  bin/why3execute.cma
Linking  bin/why3extract.cma
Linking  bin/why3prove.cma
Linking  bin/why3realize.cma
Linking  bin/why3replay.cma
Linking  bin/why3wc.cma
Ocamlc   src/ide/gconfig.ml
Linking  bin/why3ide.cma
Ocamlc   src/ide/wserver.ml
Linking  bin/why3webserver.cma
Ocamlc   src/why3session/why3session_lib.ml
Linking  bin/why3session.cma
Linking  bin/why3shell.cma
Linking  bin/isabelle_client.byte
Linking  bin/why3pp.cma
Ocamlc   src/why3doc/doc_html.ml
Ocamlc   src/why3doc/doc_def.ml
Linking  bin/why3doc.cma
make[3]: Leaving directory '/build/why3-GhYObL/why3-1.4.0'
make[2]: Leaving directory '/build/why3-GhYObL/why3-1.4.0'
   dh_auto_test -a
   create-stamp debian/debhelper-build-stamp
/usr/bin/make install install-lib DESTDIR=/build/why3-GhYObL/why3-1.4.0/debian/tmp
make[2]: Entering directory '/build/why3-GhYObL/why3-1.4.0'
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/plugins
/usr/bin/install -c -m 644 lib/plugins/genequlin.cmo lib/plugins/dimacs.cmo lib/plugins/tptp.cmo lib/plugins/python.cmo lib/plugins/microc.cmo lib/plugins/cfg.cmo lib/plugins/hypothesis_selection.cmo lib/plugins/genequlin.cmxs lib/plugins/dimacs.cmxs lib/plugins/tptp.cmxs lib/plugins/python.cmxs lib/plugins/microc.cmxs lib/plugins/cfg.cmxs lib/plugins/hypothesis_selection.cmxs /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/plugins
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/bin
/usr/bin/install -c bin/why3.opt /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/bin/why3
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/usr/bin/install -c -m 644 bin/why3config.cmxs bin/why3execute.cmxs bin/why3extract.cmxs bin/why3prove.cmxs bin/why3realize.cmxs bin/why3replay.cmxs bin/why3wc.cmxs /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3
/usr/bin/install -c lib/why3server /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/why3server
/usr/bin/install -c lib/why3cpulimit /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/why3cpulimit
/usr/bin/install -c lib/why3-call-pvs /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/why3-call-pvs
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/usr/bin/install -c -m 644 bin/why3webserver.cmxs /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/usr/bin/install -c -m 644 bin/why3session.cmxs /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/usr/bin/install -c -m 644 bin/why3shell.cmxs /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/usr/bin/install -c -m 644 bin/why3pp.cmxs /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/usr/bin/install -c -m 644 bin/why3doc.cmxs /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/vim
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/vim/ftdetect
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/vim/syntax
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/lang
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/stdlib
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/stdlib/mach
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/drivers
/usr/bin/install -c -m 644 stdlib/*.mlw /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/stdlib
/usr/bin/install -c -m 644 stdlib/mach/*.mlw /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/stdlib/mach
/usr/bin/install -c -m 644 drivers/*.drv drivers/*.gen /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/drivers
/usr/bin/install -c -m 644 LICENSE /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/
/usr/bin/install -c -m 644 share/provers-detection-data.conf /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/
/usr/bin/install -c -m 644 share/why3session.dtd /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3
/usr/bin/install -c -m 644 share/Makefile.config /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3
/usr/bin/install -c -m 644 share/vim/ftdetect/why3.vim /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/vim/ftdetect/why3.vim
/usr/bin/install -c -m 644 share/vim/syntax/why3.vim /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/vim/syntax/why3.vim
/usr/bin/install -c -m 644 share/lang/why3.lang /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/lang/why3.lang
/usr/bin/install -c -m 644 share/lang/why3c.lang /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/lang/why3c.lang
/usr/bin/install -c -m 644 share/lang/why3py.lang /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/lang/why3py.lang
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/drivers
/usr/bin/install -c -m 644 drivers/coq-realizations.aux /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/drivers/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/drivers/
/usr/bin/install -c -m 644 drivers/pvs-realizations.aux /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/drivers/
/usr/bin/install -c -m 644 drivers/isabelle-realizations.aux /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/drivers/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/emacs/site-lisp/
/usr/bin/install -c -m 644 share/emacs/why3.el /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/emacs/site-lisp/why3.el
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/usr/bin/install -c -m 644 bin/why3ide.cmxs /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/commands
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/images
for i in share/images/*.rc; do \
     d=`basename $i .rc`; \
     /usr/bin/install -c -m 644 $i /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/images; \
     /bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/images/$d; \
     /usr/bin/install -c -m 644 share/images/$d/* /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/images/$d; \
done
/usr/bin/install -c -m 644 share/images/*.png /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/images
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq
/usr/bin/install -c -m 644 lib/coq/version /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/
/usr/bin/install -c -m 644 lib/coq/BuiltIn.vo lib/coq/HighOrd.vo /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/int
/usr/bin/install -c -m 644 lib/coq/int/Exponentiation.vo lib/coq/int/Abs.vo lib/coq/int/ComputerDivision.vo lib/coq/int/Div2.vo lib/coq/int/EuclideanDivision.vo lib/coq/int/Int.vo lib/coq/int/MinMax.vo lib/coq/int/Power.vo lib/coq/int/NumOf.vo /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/int/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/bool
/usr/bin/install -c -m 644 lib/coq/bool/Bool.vo /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/bool/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/real
/usr/bin/install -c -m 644 lib/coq/real/Abs.vo lib/coq/real/ExpLog.vo lib/coq/real/FromInt.vo lib/coq/real/MinMax.vo lib/coq/real/PowerInt.vo lib/coq/real/PowerReal.vo lib/coq/real/Real.vo lib/coq/real/RealInfix.vo lib/coq/real/Square.vo lib/coq/real/Trigonometry.vo /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/real/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/number
/usr/bin/install -c -m 644 lib/coq/number/Divisibility.vo lib/coq/number/Gcd.vo lib/coq/number/Parity.vo lib/coq/number/Prime.vo lib/coq/number/Coprime.vo /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/number/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/set
/usr/bin/install -c -m 644 lib/coq/set/Set.vo lib/coq/set/Cardinal.vo lib/coq/set/Fset.vo lib/coq/set/FsetInduction.vo lib/coq/set/FsetInt.vo lib/coq/set/FsetSum.vo lib/coq/set/SetApp.vo lib/coq/set/SetAppInt.vo lib/coq/set/SetImp.vo lib/coq/set/SetImpInt.vo /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/set/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/map
/usr/bin/install -c -m 644 lib/coq/map/Map.vo lib/coq/map/Const.vo lib/coq/map/Occ.vo lib/coq/map/MapPermut.vo lib/coq/map/MapInjection.vo /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/map/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/list
/usr/bin/install -c -m 644 lib/coq/list/List.vo lib/coq/list/Length.vo lib/coq/list/Mem.vo lib/coq/list/Nth.vo lib/coq/list/NthLength.vo lib/coq/list/HdTl.vo lib/coq/list/NthHdTl.vo lib/coq/list/Append.vo lib/coq/list/NthLengthAppend.vo lib/coq/list/Reverse.vo lib/coq/list/HdTlNoOpt.vo lib/coq/list/NthNoOpt.vo lib/coq/list/RevAppend.vo lib/coq/list/Combine.vo lib/coq/list/Distinct.vo lib/coq/list/NumOcc.vo lib/coq/list/Permut.vo /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/list/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/option
/usr/bin/install -c -m 644 lib/coq/option/Option.vo /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/option/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/bv
/usr/bin/install -c -m 644 lib/coq/bv/Pow2int.vo lib/coq/bv/BV_Gen.vo /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/bv/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/for_drivers
/usr/bin/install -c -m 644 lib/coq/for_drivers/ComputerOfEuclideanDivision.vo /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/lib/ocaml/why3/coq/for_drivers/
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/drivers
/usr/bin/install -c -m 644 drivers/coq-realizations.aux /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/share/why3/drivers/
if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then \
  /usr/bin/install -c share/bash/why3 /etc/bash_completion.d; \
fi
/bin/mkdir -p /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/local/lib/ocaml/4.11.1/why3
/usr/bin/install -c -m 644 lib/why3/why3.a lib/why3/why3.cma lib/why3/why3.cmx lib/why3/why3.cmi lib/why3/why3.cmxa lib/why3/why3.cmxs lib/why3/why3.cmt \
	lib/why3/META /build/why3-GhYObL/why3-1.4.0/debian/tmp/usr/local/lib/ocaml/4.11.1/why3
make[2]: Leaving directory '/build/why3-GhYObL/why3-1.4.0'
dh_install -a -XLICENSE
echo 'F:CoqABI=8.14.0+4.11.1' >> debian/why3-coq.substvars
make[1]: Leaving directory '/build/why3-GhYObL/why3-1.4.0'
   dh_ocamldoc -a
   dh_installdocs -a
   dh_installchangelogs -a
   debian/rules override_dh_installexamples
make[1]: Entering directory '/build/why3-GhYObL/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-GhYObL/why3-1.4.0'
   dh_installman -a
   dh_installemacsen -a
   dh_perl -a
   dh_link -a
   dh_installtex -a
   dh_strip_nondeterminism -a
   debian/rules override_dh_compress
make[1]: Entering directory '/build/why3-GhYObL/why3-1.4.0'
dh_compress -Xmanual.pdf
make[1]: Leaving directory '/build/why3-GhYObL/why3-1.4.0'
   dh_fixperms -a
   dh_missing -a
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
   dh_installdeb -a
   debian/rules override_dh_ocaml
make[1]: Entering directory '/build/why3-GhYObL/why3-1.4.0'
dh_ocaml --nodefined-map=why3-coq:Why3,MenhirLib,Gzip,Zlib,Zip \
  --nodefined-map=why3:Graph,Bigarray,Gaux,Gpointer,Gobject,PangoEnums,Gutf8,Glib,Pango,GdkEnums,Gdk,GDraw,GPango,GdkEvent,GdkPixbuf,GtkEnums,Gtk,GtkObject,GtkSignal,GtkBaseProps,GtkStock,GtkBase,GtkData,OgtkBaseProps,GObj,GtkBinProps,GData,GtkTreeProps,OgtkTreeProps,GtkTextProps,OgtkTextProps,GtkPackProps,OgtkPackProps,GtkMiscProps,OgtkMiscProps,GtkMenuProps,OgtkMenuProps,GtkFileProps,OgtkFileProps,GtkEditProps,OgtkEditProps,GtkContainersProps,OgtkContainersProps,GtkButtonProps,OgtkButtonProps,OgtkBinProps,GtkWindow,GtkTree,GtkMain,GtkText,GtkPack,GtkMisc,GtkMenu,GtkFile,GtkEdit,GtkContainers,GtkButton,GdkKeysyms,GContainer,GPack,GFile,GWindow,GTree,GBin,GButton,GMenu,GEdit,GMain,GMisc,GText,GToolbox,SourceView3Enums,GtkSourceView3Props,OgtkSourceView3Props,GtkSourceView3,GSourceView3,Gtkcompat,Gconfig,Ide_utils,Why3ide
W: why3 doesn't resolve dependency on unit Gobject
W: why3 doesn't resolve dependency on unit Ide_utils
W: why3 doesn't resolve dependency on unit GtkSignal
W: why3 doesn't resolve dependency on unit Gtkcompat
W: why3 doesn't resolve dependency on unit Gpointer
W: why3 doesn't resolve dependency on unit Gpointer
W: why3 doesn't resolve dependency on unit Gutf8
W: why3 doesn't resolve dependency on unit Glib
W: why3 doesn't resolve dependency on unit Gconfig
W: why3 doesn't resolve dependency on unit Glib
W: why3 doesn't resolve dependency on unit Gaux
W: why3 doesn't resolve dependency on unit Gconfig
W: why3 doesn't resolve dependency on unit Gobject
W: why3 doesn't resolve dependency on unit GtkSignal
W: why3 doesn't resolve dependency on unit Gutf8
W: why3 doesn't resolve dependency on unit Ide_utils
W: why3 doesn't resolve dependency on unit Gaux
make[1]: Leaving directory '/build/why3-GhYObL/why3-1.4.0'
   dh_gencontrol -a
dpkg-gencontrol: warning: Depends field of package why3-coq: substitution variable ${ocaml:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package why3-coq: substitution variable ${shlibs:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package libwhy3-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package libwhy3-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined
   dh_md5sums -a
   dh_builddeb -a
dpkg-deb: building package 'why3' in '../why3_1.4.0-2_amd64.deb'.
dpkg-deb: building package 'why3-coq' in '../why3-coq_1.4.0-2_amd64.deb'.
dpkg-deb: building package 'libwhy3-ocaml-dev-dbgsym' in '../libwhy3-ocaml-dev-dbgsym_1.4.0-2_amd64.deb'.
dpkg-deb: building package 'libwhy3-ocaml-dev' in '../libwhy3-ocaml-dev_1.4.0-2_amd64.deb'.
dpkg-deb: building package 'why3-dbgsym' in '../why3-dbgsym_1.4.0-2_amd64.deb'.
 dpkg-genbuildinfo --build=any
 dpkg-genchanges --build=any >../why3_1.4.0-2_amd64.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
I: running special hook: sync-out /build/why3-GhYObL /tmp/why3-1.4.0-2l0w4s06v
I: cleaning package lists and apt cache...
I: creating tarball...
I: done
I: removing tempdir /tmp/mmdebstrap.hg7SlPlkBh...
I: success in 2979.3639 seconds
md5: libwhy3-ocaml-dev-dbgsym_1.4.0-2_amd64.deb: OK
md5: libwhy3-ocaml-dev_1.4.0-2_amd64.deb: OK
md5: why3-coq_1.4.0-2_amd64.deb: OK
md5: why3-dbgsym_1.4.0-2_amd64.deb: OK
md5: why3_1.4.0-2_amd64.deb: OK
sha1: libwhy3-ocaml-dev-dbgsym_1.4.0-2_amd64.deb: OK
sha1: libwhy3-ocaml-dev_1.4.0-2_amd64.deb: OK
sha1: why3-coq_1.4.0-2_amd64.deb: OK
sha1: why3-dbgsym_1.4.0-2_amd64.deb: OK
sha1: why3_1.4.0-2_amd64.deb: OK
sha256: libwhy3-ocaml-dev-dbgsym_1.4.0-2_amd64.deb: OK
sha256: libwhy3-ocaml-dev_1.4.0-2_amd64.deb: OK
sha256: why3-coq_1.4.0-2_amd64.deb: OK
sha256: why3-dbgsym_1.4.0-2_amd64.deb: OK
sha256: why3_1.4.0-2_amd64.deb: OK
Checksums: OK