Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/a/alt-ergo/alt-ergo_2.4.1-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: alt-ergo=2.4.1-2
Source URL: http://snapshot.notset.fr/mr/package/alt-ergo/2.4.1-2/srcfiles?fileinfo=1
Initialize APT cache
Get binary package info: adwaita-icon-theme=42.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/adwaita-icon-theme/42.0-2/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.3
Binary URL: http://snapshot.notset.fr/mr/binary/automake/1:1.16.5-1.3/binfiles?fileinfo=1
Get binary package info: autopoint=0.21-6
Binary URL: http://snapshot.notset.fr/mr/binary/autopoint/0.21-6/binfiles?fileinfo=1
Get binary package info: autotools-dev=20220109.1
Binary URL: http://snapshot.notset.fr/mr/binary/autotools-dev/20220109.1/binfiles?fileinfo=1
Get binary package info: base-files=12.2
Binary URL: http://snapshot.notset.fr/mr/binary/base-files/12.2/binfiles?fileinfo=1
Get binary package info: base-passwd=3.5.52
Binary URL: http://snapshot.notset.fr/mr/binary/base-passwd/3.5.52/binfiles?fileinfo=1
Get binary package info: bash=5.1-6+b1
Binary URL: http://snapshot.notset.fr/mr/binary/bash/5.1-6+b1/binfiles?fileinfo=1
Get binary package info: binutils=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/binutils/2.38-4/binfiles?fileinfo=1
Get binary package info: binutils-common=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/binutils-common/2.38-4/binfiles?fileinfo=1
Get binary package info: binutils-x86-64-linux-gnu=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/binutils-x86-64-linux-gnu/2.38-4/binfiles?fileinfo=1
Get binary package info: bsdextrautils=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/bsdextrautils/2.38-4/binfiles?fileinfo=1
Get binary package info: bsdutils=1:2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/bsdutils/1:2.38-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-5
Binary URL: http://snapshot.notset.fr/mr/binary/bzip2/1.0.8-5/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.3.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/cpp-11/11.3.0-3/binfiles?fileinfo=1
Get binary package info: dash=0.5.11+git20210903+057cd650a4ed-8
Binary URL: http://snapshot.notset.fr/mr/binary/dash/0.5.11+git20210903+057cd650a4ed-8/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.7.1
Binary URL: http://snapshot.notset.fr/mr/binary/debhelper/13.7.1/binfiles?fileinfo=1
Get binary package info: debianutils=5.7-0.2
Binary URL: http://snapshot.notset.fr/mr/binary/debianutils/5.7-0.2/binfiles?fileinfo=1
Get binary package info: dh-autoreconf=20
Binary URL: http://snapshot.notset.fr/mr/binary/dh-autoreconf/20/binfiles?fileinfo=1
Get binary package info: dh-ocaml=1.1.3
Binary URL: http://snapshot.notset.fr/mr/binary/dh-ocaml/1.1.3/binfiles?fileinfo=1
Get binary package info: dh-strip-nondeterminism=1.13.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/dh-strip-nondeterminism/1.13.0-1/binfiles?fileinfo=1
Get binary package info: dictionaries-common=1.28.14
Binary URL: http://snapshot.notset.fr/mr/binary/dictionaries-common/1.28.14/binfiles?fileinfo=1
Get binary package info: diffutils=1:3.7-5
Binary URL: http://snapshot.notset.fr/mr/binary/diffutils/1:3.7-5/binfiles?fileinfo=1
Get binary package info: dpkg=1.21.8
Binary URL: http://snapshot.notset.fr/mr/binary/dpkg/1.21.8/binfiles?fileinfo=1
Get binary package info: dpkg-dev=1.21.8
Binary URL: http://snapshot.notset.fr/mr/binary/dpkg-dev/1.21.8/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: emacsen-common=3.0.4
Binary URL: http://snapshot.notset.fr/mr/binary/emacsen-common/3.0.4/binfiles?fileinfo=1
Get binary package info: file=1:5.41-4
Binary URL: http://snapshot.notset.fr/mr/binary/file/1:5.41-4/binfiles?fileinfo=1
Get binary package info: findutils=4.9.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/findutils/4.9.0-3/binfiles?fileinfo=1
Get binary package info: fontconfig=2.13.1-4.4
Binary URL: http://snapshot.notset.fr/mr/binary/fontconfig/2.13.1-4.4/binfiles?fileinfo=1
Get binary package info: fontconfig-config=2.13.1-4.4
Binary URL: http://snapshot.notset.fr/mr/binary/fontconfig-config/2.13.1-4.4/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.3.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/g++-11/11.3.0-3/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.3.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/gcc-11/11.3.0-3/binfiles?fileinfo=1
Get binary package info: gcc-11-base=11.3.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/gcc-11-base/11.3.0-3/binfiles?fileinfo=1
Get binary package info: gcc-12-base=12.1.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/gcc-12-base/12.1.0-2/binfiles?fileinfo=1
Get binary package info: gettext=0.21-6
Binary URL: http://snapshot.notset.fr/mr/binary/gettext/0.21-6/binfiles?fileinfo=1
Get binary package info: gettext-base=0.21-6
Binary URL: http://snapshot.notset.fr/mr/binary/gettext-base/0.21-6/binfiles?fileinfo=1
Get binary package info: gir1.2-atk-1.0=2.38.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-atk-1.0/2.38.0-1/binfiles?fileinfo=1
Get binary package info: gir1.2-freedesktop=1.72.0-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-freedesktop/1.72.0-1+b1/binfiles?fileinfo=1
Get binary package info: gir1.2-gdkpixbuf-2.0=2.42.8+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-gdkpixbuf-2.0/2.42.8+dfsg-1/binfiles?fileinfo=1
Get binary package info: gir1.2-glib-2.0=1.72.0-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-glib-2.0/1.72.0-1+b1/binfiles?fileinfo=1
Get binary package info: gir1.2-gtk-2.0=2.24.33-2
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-gtk-2.0/2.24.33-2/binfiles?fileinfo=1
Get binary package info: gir1.2-harfbuzz-0.0=2.7.4-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-harfbuzz-0.0/2.7.4-1+b1/binfiles?fileinfo=1
Get binary package info: gir1.2-pango-1.0=1.50.7+ds-1
Binary URL: http://snapshot.notset.fr/mr/binary/gir1.2-pango-1.0/1.50.7+ds-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-8
Binary URL: http://snapshot.notset.fr/mr/binary/groff-base/1.22.4-8/binfiles?fileinfo=1
Get binary package info: gtk-update-icon-cache=3.24.33-2
Binary URL: http://snapshot.notset.fr/mr/binary/gtk-update-icon-cache/3.24.33-2/binfiles?fileinfo=1
Get binary package info: gzip=1.12-1
Binary URL: http://snapshot.notset.fr/mr/binary/gzip/1.12-1/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: hunspell-en-us=1:2020.12.07-2
Binary URL: http://snapshot.notset.fr/mr/binary/hunspell-en-us/1:2020.12.07-2/binfiles?fileinfo=1
Get binary package info: icu-devtools=71.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/icu-devtools/71.1-3/binfiles?fileinfo=1
Get binary package info: init-system-helpers=1.63
Binary URL: http://snapshot.notset.fr/mr/binary/init-system-helpers/1.63/binfiles?fileinfo=1
Get binary package info: intltool-debian=0.35.0+20060710.5
Binary URL: http://snapshot.notset.fr/mr/binary/intltool-debian/0.35.0+20060710.5/binfiles?fileinfo=1
Get binary package info: libacl1=2.3.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libacl1/2.3.1-1/binfiles?fileinfo=1
Get binary package info: libarchive-zip-perl=1.68-1
Binary URL: http://snapshot.notset.fr/mr/binary/libarchive-zip-perl/1.68-1/binfiles?fileinfo=1
Get binary package info: libasan6=11.3.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/libasan6/11.3.0-3/binfiles?fileinfo=1
Get binary package info: libaspell15=0.60.8-4
Binary URL: http://snapshot.notset.fr/mr/binary/libaspell15/0.60.8-4/binfiles?fileinfo=1
Get binary package info: libatk1.0-0=2.38.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libatk1.0-0/2.38.0-1/binfiles?fileinfo=1
Get binary package info: libatk1.0-data=2.38.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libatk1.0-data/2.38.0-1/binfiles?fileinfo=1
Get binary package info: libatk1.0-dev=2.38.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libatk1.0-dev/2.38.0-1/binfiles?fileinfo=1
Get binary package info: libatomic1=12.1.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libatomic1/12.1.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.7-1
Binary URL: http://snapshot.notset.fr/mr/binary/libaudit-common/1:3.0.7-1/binfiles?fileinfo=1
Get binary package info: libaudit1=1:3.0.7-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libaudit1/1:3.0.7-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.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/libbinutils/2.38-4/binfiles?fileinfo=1
Get binary package info: libblkid-dev=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/libblkid-dev/2.38-4/binfiles?fileinfo=1
Get binary package info: libblkid1=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/libblkid1/2.38-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.6-1
Binary URL: http://snapshot.notset.fr/mr/binary/libbsd0/0.11.6-1/binfiles?fileinfo=1
Get binary package info: libbz2-1.0=1.0.8-5
Binary URL: http://snapshot.notset.fr/mr/binary/libbz2-1.0/1.0.8-5/binfiles?fileinfo=1
Get binary package info: libc-bin=2.33-7
Binary URL: http://snapshot.notset.fr/mr/binary/libc-bin/2.33-7/binfiles?fileinfo=1
Get binary package info: libc-dev-bin=2.33-7
Binary URL: http://snapshot.notset.fr/mr/binary/libc-dev-bin/2.33-7/binfiles?fileinfo=1
Get binary package info: libc6=2.33-7
Binary URL: http://snapshot.notset.fr/mr/binary/libc6/2.33-7/binfiles?fileinfo=1
Get binary package info: libc6-dev=2.33-7
Binary URL: http://snapshot.notset.fr/mr/binary/libc6-dev/2.33-7/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: libcap-ng0=0.7.9-2.2+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libcap-ng0/0.7.9-2.2+b2/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=12.1.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libcc1-0/12.1.0-2/binfiles?fileinfo=1
Get binary package info: libcmdliner-ocaml-dev=1.0.4-2+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libcmdliner-ocaml-dev/1.0.4-2+b2/binfiles?fileinfo=1
Get binary package info: libcom-err2=1.46.5-2
Binary URL: http://snapshot.notset.fr/mr/binary/libcom-err2/1.46.5-2/binfiles?fileinfo=1
Get binary package info: libcrypt-dev=1:4.4.27-1.1
Binary URL: http://snapshot.notset.fr/mr/binary/libcrypt-dev/1:4.4.27-1.1/binfiles?fileinfo=1
Get binary package info: libcrypt1=1:4.4.27-1.1
Binary URL: http://snapshot.notset.fr/mr/binary/libcrypt1/1:4.4.27-1.1/binfiles?fileinfo=1
Get binary package info: libcsexp-ocaml=1.5.1-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libcsexp-ocaml/1.5.1-1+b1/binfiles?fileinfo=1
Get binary package info: libcsexp-ocaml-dev=1.5.1-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libcsexp-ocaml-dev/1.5.1-1+b1/binfiles?fileinfo=1
Get binary package info: libctf-nobfd0=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/libctf-nobfd0/2.38-4/binfiles?fileinfo=1
Get binary package info: libctf0=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/libctf0/2.38-4/binfiles?fileinfo=1
Get binary package info: libcups2=2.4.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/libcups2/2.4.2-1/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.9
Binary URL: http://snapshot.notset.fr/mr/binary/libdb5.3/5.3.28+dfsg1-0.9/binfiles?fileinfo=1
Get binary package info: libdbus-1-3=1.14.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libdbus-1-3/1.14.0-1/binfiles?fileinfo=1
Get binary package info: libdebconfclient0=0.262
Binary URL: http://snapshot.notset.fr/mr/binary/libdebconfclient0/0.262/binfiles?fileinfo=1
Get binary package info: libdebhelper-perl=13.7.1
Binary URL: http://snapshot.notset.fr/mr/binary/libdebhelper-perl/13.7.1/binfiles?fileinfo=1
Get binary package info: libdeflate-dev=1.10-2
Binary URL: http://snapshot.notset.fr/mr/binary/libdeflate-dev/1.10-2/binfiles?fileinfo=1
Get binary package info: libdeflate0=1.10-2
Binary URL: http://snapshot.notset.fr/mr/binary/libdeflate0/1.10-2/binfiles?fileinfo=1
Get binary package info: libdpkg-perl=1.21.8
Binary URL: http://snapshot.notset.fr/mr/binary/libdpkg-perl/1.21.8/binfiles?fileinfo=1
Get binary package info: libdune-ocaml-dev=2.9.1-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libdune-ocaml-dev/2.9.1-1+b1/binfiles?fileinfo=1
Get binary package info: libelf1=0.187-1
Binary URL: http://snapshot.notset.fr/mr/binary/libelf1/0.187-1/binfiles?fileinfo=1
Get binary package info: libenchant-2-2=2.3.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/libenchant-2-2/2.3.2-1/binfiles?fileinfo=1
Get binary package info: libenchant-2-dev=2.3.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/libenchant-2-dev/2.3.2-1/binfiles?fileinfo=1
Get binary package info: libexpat1=2.4.8-1
Binary URL: http://snapshot.notset.fr/mr/binary/libexpat1/2.4.8-1/binfiles?fileinfo=1
Get binary package info: libexpat1-dev=2.4.8-1
Binary URL: http://snapshot.notset.fr/mr/binary/libexpat1-dev/2.4.8-1/binfiles?fileinfo=1
Get binary package info: libffi-dev=3.4.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/libffi-dev/3.4.2-4/binfiles?fileinfo=1
Get binary package info: libffi8=3.4.2-4
Binary URL: http://snapshot.notset.fr/mr/binary/libffi8/3.4.2-4/binfiles?fileinfo=1
Get binary package info: libfile-stripnondeterminism-perl=1.13.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libfile-stripnondeterminism-perl/1.13.0-1/binfiles?fileinfo=1
Get binary package info: libfindlib-ocaml=1.9.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/libfindlib-ocaml/1.9.3-1/binfiles?fileinfo=1
Get binary package info: libfontconfig-dev=2.13.1-4.4
Binary URL: http://snapshot.notset.fr/mr/binary/libfontconfig-dev/2.13.1-4.4/binfiles?fileinfo=1
Get binary package info: libfontconfig1=2.13.1-4.4
Binary URL: http://snapshot.notset.fr/mr/binary/libfontconfig1/2.13.1-4.4/binfiles?fileinfo=1
Get binary package info: libfontconfig1-dev=2.13.1-4.4
Binary URL: http://snapshot.notset.fr/mr/binary/libfontconfig1-dev/2.13.1-4.4/binfiles?fileinfo=1
Get binary package info: libfreetype-dev=2.12.1+dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/libfreetype-dev/2.12.1+dfsg-2/binfiles?fileinfo=1
Get binary package info: libfreetype6=2.12.1+dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/libfreetype6/2.12.1+dfsg-2/binfiles?fileinfo=1
Get binary package info: libfreetype6-dev=2.12.1+dfsg-2
Binary URL: http://snapshot.notset.fr/mr/binary/libfreetype6-dev/2.12.1+dfsg-2/binfiles?fileinfo=1
Get binary package info: libfribidi-dev=1.0.8-2.1
Binary URL: http://snapshot.notset.fr/mr/binary/libfribidi-dev/1.0.8-2.1/binfiles?fileinfo=1
Get binary package info: libfribidi0=1.0.8-2.1
Binary URL: http://snapshot.notset.fr/mr/binary/libfribidi0/1.0.8-2.1/binfiles?fileinfo=1
Get binary package info: libgcc-11-dev=11.3.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/libgcc-11-dev/11.3.0-3/binfiles?fileinfo=1
Get binary package info: libgcc-s1=12.1.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgcc-s1/12.1.0-2/binfiles?fileinfo=1
Get binary package info: libgcrypt20=1.10.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgcrypt20/1.10.1-2/binfiles?fileinfo=1
Get binary package info: libgdbm-compat4=1.23-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgdbm-compat4/1.23-1/binfiles?fileinfo=1
Get binary package info: libgdbm6=1.23-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgdbm6/1.23-1/binfiles?fileinfo=1
Get binary package info: libgdk-pixbuf-2.0-0=2.42.8+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgdk-pixbuf-2.0-0/2.42.8+dfsg-1/binfiles?fileinfo=1
Get binary package info: libgdk-pixbuf-2.0-dev=2.42.8+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgdk-pixbuf-2.0-dev/2.42.8+dfsg-1/binfiles?fileinfo=1
Get binary package info: libgdk-pixbuf2.0-bin=2.42.8+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgdk-pixbuf2.0-bin/2.42.8+dfsg-1/binfiles?fileinfo=1
Get binary package info: libgdk-pixbuf2.0-common=2.42.8+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/libgdk-pixbuf2.0-common/2.42.8+dfsg-1/binfiles?fileinfo=1
Get binary package info: libgirepository-1.0-1=1.72.0-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libgirepository-1.0-1/1.72.0-1+b1/binfiles?fileinfo=1
Get binary package info: libglib2.0-0=2.72.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libglib2.0-0/2.72.1-1/binfiles?fileinfo=1
Get binary package info: libglib2.0-bin=2.72.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libglib2.0-bin/2.72.1-1/binfiles?fileinfo=1
Get binary package info: libglib2.0-data=2.72.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libglib2.0-data/2.72.1-1/binfiles?fileinfo=1
Get binary package info: libglib2.0-dev=2.72.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libglib2.0-dev/2.72.1-1/binfiles?fileinfo=1
Get binary package info: libglib2.0-dev-bin=2.72.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libglib2.0-dev-bin/2.72.1-1/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.4-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgnutls30/3.7.4-2/binfiles?fileinfo=1
Get binary package info: libgomp1=12.1.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgomp1/12.1.0-2/binfiles?fileinfo=1
Get binary package info: libgpg-error0=1.45-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgpg-error0/1.45-2/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.19.2-2+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libgssapi-krb5-2/1.19.2-2+b2/binfiles?fileinfo=1
Get binary package info: libgtk2.0-0=2.24.33-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgtk2.0-0/2.24.33-2/binfiles?fileinfo=1
Get binary package info: libgtk2.0-common=2.24.33-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgtk2.0-common/2.24.33-2/binfiles?fileinfo=1
Get binary package info: libgtk2.0-dev=2.24.33-2
Binary URL: http://snapshot.notset.fr/mr/binary/libgtk2.0-dev/2.24.33-2/binfiles?fileinfo=1
Get binary package info: libgtkspell-dev=2.0.16-1.3
Binary URL: http://snapshot.notset.fr/mr/binary/libgtkspell-dev/2.0.16-1.3/binfiles?fileinfo=1
Get binary package info: libgtkspell0=2.0.16-1.3
Binary URL: http://snapshot.notset.fr/mr/binary/libgtkspell0/2.0.16-1.3/binfiles?fileinfo=1
Get binary package info: libharfbuzz-dev=2.7.4-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libharfbuzz-dev/2.7.4-1+b1/binfiles?fileinfo=1
Get binary package info: libharfbuzz-gobject0=2.7.4-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libharfbuzz-gobject0/2.7.4-1+b1/binfiles?fileinfo=1
Get binary package info: libharfbuzz-icu0=2.7.4-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libharfbuzz-icu0/2.7.4-1+b1/binfiles?fileinfo=1
Get binary package info: libharfbuzz0b=2.7.4-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libharfbuzz0b/2.7.4-1+b1/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: libhunspell-1.7-0=1.7.0-4
Binary URL: http://snapshot.notset.fr/mr/binary/libhunspell-1.7-0/1.7.0-4/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=71.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/libicu-dev/71.1-3/binfiles?fileinfo=1
Get binary package info: libicu71=71.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/libicu71/71.1-3/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: libisl23=0.24-2
Binary URL: http://snapshot.notset.fr/mr/binary/libisl23/0.24-2/binfiles?fileinfo=1
Get binary package info: libitm1=12.1.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libitm1/12.1.0-2/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.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/libjpeg-dev/1:2.1.2-1/binfiles?fileinfo=1
Get binary package info: libjpeg62-turbo=1:2.1.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/libjpeg62-turbo/1:2.1.2-1/binfiles?fileinfo=1
Get binary package info: libjpeg62-turbo-dev=1:2.1.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/libjpeg62-turbo-dev/1:2.1.2-1/binfiles?fileinfo=1
Get binary package info: libk5crypto3=1.19.2-2+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libk5crypto3/1.19.2-2+b2/binfiles?fileinfo=1
Get binary package info: libkeyutils1=1.6.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/libkeyutils1/1.6.1-3/binfiles?fileinfo=1
Get binary package info: libkrb5-3=1.19.2-2+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libkrb5-3/1.19.2-2+b2/binfiles?fileinfo=1
Get binary package info: libkrb5support0=1.19.2-2+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libkrb5support0/1.19.2-2+b2/binfiles?fileinfo=1
Get binary package info: liblablgtk2-ocaml=2.18.12-1
Binary URL: http://snapshot.notset.fr/mr/binary/liblablgtk2-ocaml/2.18.12-1/binfiles?fileinfo=1
Get binary package info: liblablgtk2-ocaml-dev=2.18.12-1
Binary URL: http://snapshot.notset.fr/mr/binary/liblablgtk2-ocaml-dev/2.18.12-1/binfiles?fileinfo=1
Get binary package info: liblsan0=12.1.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/liblsan0/12.1.0-2/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.1
Binary URL: http://snapshot.notset.fr/mr/binary/liblzma-dev/5.2.5-2.1/binfiles?fileinfo=1
Get binary package info: liblzma5=5.2.5-2.1
Binary URL: http://snapshot.notset.fr/mr/binary/liblzma5/5.2.5-2.1/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-4
Binary URL: http://snapshot.notset.fr/mr/binary/libmagic-mgc/1:5.41-4/binfiles?fileinfo=1
Get binary package info: libmagic1=1:5.41-4
Binary URL: http://snapshot.notset.fr/mr/binary/libmagic1/1:5.41-4/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: libmount-dev=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/libmount-dev/2.38-4/binfiles?fileinfo=1
Get binary package info: libmount1=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/libmount1/2.38-4/binfiles?fileinfo=1
Get binary package info: libmpc3=1.2.1-2
Binary URL: http://snapshot.notset.fr/mr/binary/libmpc3/1.2.1-2/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+20220423-2
Binary URL: http://snapshot.notset.fr/mr/binary/libncurses-dev/6.3+20220423-2/binfiles?fileinfo=1
Get binary package info: libncurses5-dev=6.3+20220423-2
Binary URL: http://snapshot.notset.fr/mr/binary/libncurses5-dev/6.3+20220423-2/binfiles?fileinfo=1
Get binary package info: libncurses6=6.3+20220423-2
Binary URL: http://snapshot.notset.fr/mr/binary/libncurses6/6.3+20220423-2/binfiles?fileinfo=1
Get binary package info: libncursesw6=6.3+20220423-2
Binary URL: http://snapshot.notset.fr/mr/binary/libncursesw6/6.3+20220423-2/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-2
Binary URL: http://snapshot.notset.fr/mr/binary/libnum-ocaml/1.4-2/binfiles?fileinfo=1
Get binary package info: libnum-ocaml-dev=1.4-2
Binary URL: http://snapshot.notset.fr/mr/binary/libnum-ocaml-dev/1.4-2/binfiles?fileinfo=1
Get binary package info: libocamlgraph-ocaml-dev=2.0.0-3+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libocamlgraph-ocaml-dev/2.0.0-3+b1/binfiles?fileinfo=1
Get binary package info: libp11-kit0=0.24.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libp11-kit0/0.24.1-1/binfiles?fileinfo=1
Get binary package info: libpam-modules=1.4.0-13
Binary URL: http://snapshot.notset.fr/mr/binary/libpam-modules/1.4.0-13/binfiles?fileinfo=1
Get binary package info: libpam-modules-bin=1.4.0-13
Binary URL: http://snapshot.notset.fr/mr/binary/libpam-modules-bin/1.4.0-13/binfiles?fileinfo=1
Get binary package info: libpam-runtime=1.4.0-13
Binary URL: http://snapshot.notset.fr/mr/binary/libpam-runtime/1.4.0-13/binfiles?fileinfo=1
Get binary package info: libpam0g=1.4.0-13
Binary URL: http://snapshot.notset.fr/mr/binary/libpam0g/1.4.0-13/binfiles?fileinfo=1
Get binary package info: libpango-1.0-0=1.50.7+ds-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpango-1.0-0/1.50.7+ds-1/binfiles?fileinfo=1
Get binary package info: libpango1.0-dev=1.50.7+ds-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpango1.0-dev/1.50.7+ds-1/binfiles?fileinfo=1
Get binary package info: libpangocairo-1.0-0=1.50.7+ds-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpangocairo-1.0-0/1.50.7+ds-1/binfiles?fileinfo=1
Get binary package info: libpangoft2-1.0-0=1.50.7+ds-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpangoft2-1.0-0/1.50.7+ds-1/binfiles?fileinfo=1
Get binary package info: libpangoxft-1.0-0=1.50.7+ds-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpangoxft-1.0-0/1.50.7+ds-1/binfiles?fileinfo=1
Get binary package info: libpcre16-3=2:8.39-14
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre16-3/2:8.39-14/binfiles?fileinfo=1
Get binary package info: libpcre2-16-0=10.40-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre2-16-0/10.40-1/binfiles?fileinfo=1
Get binary package info: libpcre2-32-0=10.40-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre2-32-0/10.40-1/binfiles?fileinfo=1
Get binary package info: libpcre2-8-0=10.40-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre2-8-0/10.40-1/binfiles?fileinfo=1
Get binary package info: libpcre2-dev=10.40-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre2-dev/10.40-1/binfiles?fileinfo=1
Get binary package info: libpcre2-posix3=10.40-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre2-posix3/10.40-1/binfiles?fileinfo=1
Get binary package info: libpcre3=2:8.39-14
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre3/2:8.39-14/binfiles?fileinfo=1
Get binary package info: libpcre3-dev=2:8.39-14
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre3-dev/2:8.39-14/binfiles?fileinfo=1
Get binary package info: libpcre32-3=2:8.39-14
Binary URL: http://snapshot.notset.fr/mr/binary/libpcre32-3/2:8.39-14/binfiles?fileinfo=1
Get binary package info: libpcrecpp0v5=2:8.39-14
Binary URL: http://snapshot.notset.fr/mr/binary/libpcrecpp0v5/2:8.39-14/binfiles?fileinfo=1
Get binary package info: libperl5.34=5.34.0-4
Binary URL: http://snapshot.notset.fr/mr/binary/libperl5.34/5.34.0-4/binfiles?fileinfo=1
Get binary package info: libpipeline1=1.5.6-1
Binary URL: http://snapshot.notset.fr/mr/binary/libpipeline1/1.5.6-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-5
Binary URL: http://snapshot.notset.fr/mr/binary/libpng-dev/1.6.37-5/binfiles?fileinfo=1
Get binary package info: libpng16-16=1.6.37-5
Binary URL: http://snapshot.notset.fr/mr/binary/libpng16-16/1.6.37-5/binfiles?fileinfo=1
Get binary package info: libpsmt2-frontend-ocaml=0.4.0-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libpsmt2-frontend-ocaml/0.4.0-1+b1/binfiles?fileinfo=1
Get binary package info: libpsmt2-frontend-ocaml-dev=0.4.0-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libpsmt2-frontend-ocaml-dev/0.4.0-1+b1/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.10.4-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libpython3-stdlib/3.10.4-1+b1/binfiles?fileinfo=1
Get binary package info: libpython3.10-minimal=3.10.4-4+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libpython3.10-minimal/3.10.4-4+b1/binfiles?fileinfo=1
Get binary package info: libpython3.10-stdlib=3.10.4-4+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libpython3.10-stdlib/3.10.4-4+b1/binfiles?fileinfo=1
Get binary package info: libquadmath0=12.1.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libquadmath0/12.1.0-2/binfiles?fileinfo=1
Get binary package info: libreadline8=8.1.2-1.2
Binary URL: http://snapshot.notset.fr/mr/binary/libreadline8/8.1.2-1.2/binfiles?fileinfo=1
Get binary package info: libseccomp2=2.5.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libseccomp2/2.5.4-1/binfiles?fileinfo=1
Get binary package info: libselinux1=3.3-1+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libselinux1/3.3-1+b2/binfiles?fileinfo=1
Get binary package info: libselinux1-dev=3.3-1+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libselinux1-dev/3.3-1+b2/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.14-1
Binary URL: http://snapshot.notset.fr/mr/binary/libsigsegv2/2.14-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.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/libsmartcols1/2.38-4/binfiles?fileinfo=1
Get binary package info: libsqlite3-0=3.38.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libsqlite3-0/3.38.5-1/binfiles?fileinfo=1
Get binary package info: libssl3=3.0.3-5
Binary URL: http://snapshot.notset.fr/mr/binary/libssl3/3.0.3-5/binfiles?fileinfo=1
Get binary package info: libstdc++-11-dev=11.3.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/libstdc++-11-dev/11.3.0-3/binfiles?fileinfo=1
Get binary package info: libstdc++6=12.1.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libstdc++6/12.1.0-2/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=251-2
Binary URL: http://snapshot.notset.fr/mr/binary/libsystemd0/251-2/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: libtext-iconv-perl=1.7-7+b2
Binary URL: http://snapshot.notset.fr/mr/binary/libtext-iconv-perl/1.7-7+b2/binfiles?fileinfo=1
Get binary package info: libthai-data=0.1.29-1
Binary URL: http://snapshot.notset.fr/mr/binary/libthai-data/0.1.29-1/binfiles?fileinfo=1
Get binary package info: libthai-dev=0.1.29-1
Binary URL: http://snapshot.notset.fr/mr/binary/libthai-dev/0.1.29-1/binfiles?fileinfo=1
Get binary package info: libthai0=0.1.29-1
Binary URL: http://snapshot.notset.fr/mr/binary/libthai0/0.1.29-1/binfiles?fileinfo=1
Get binary package info: libtiff-dev=4.4.0~rc1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libtiff-dev/4.4.0~rc1-1/binfiles?fileinfo=1
Get binary package info: libtiff5=4.4.0~rc1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libtiff5/4.4.0~rc1-1/binfiles?fileinfo=1
Get binary package info: libtiffxx5=4.4.0~rc1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libtiffxx5/4.4.0~rc1-1/binfiles?fileinfo=1
Get binary package info: libtinfo6=6.3+20220423-2
Binary URL: http://snapshot.notset.fr/mr/binary/libtinfo6/6.3+20220423-2/binfiles?fileinfo=1
Get binary package info: libtirpc-common=1.3.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libtirpc-common/1.3.2-2/binfiles?fileinfo=1
Get binary package info: libtirpc-dev=1.3.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libtirpc-dev/1.3.2-2/binfiles?fileinfo=1
Get binary package info: libtirpc3=1.3.2-2
Binary URL: http://snapshot.notset.fr/mr/binary/libtirpc3/1.3.2-2/binfiles?fileinfo=1
Get binary package info: libtool=2.4.7-4
Binary URL: http://snapshot.notset.fr/mr/binary/libtool/2.4.7-4/binfiles?fileinfo=1
Get binary package info: libtsan0=11.3.0-3
Binary URL: http://snapshot.notset.fr/mr/binary/libtsan0/11.3.0-3/binfiles?fileinfo=1
Get binary package info: libubsan1=12.1.0-2
Binary URL: http://snapshot.notset.fr/mr/binary/libubsan1/12.1.0-2/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=251-2
Binary URL: http://snapshot.notset.fr/mr/binary/libudev1/251-2/binfiles?fileinfo=1
Get binary package info: libunistring2=1.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libunistring2/1.0-1/binfiles?fileinfo=1
Get binary package info: libuuid1=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/libuuid1/2.38-4/binfiles?fileinfo=1
Get binary package info: libwebp7=1.2.2-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libwebp7/1.2.2-2+b1/binfiles?fileinfo=1
Get binary package info: libx11-6=2:1.7.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libx11-6/2:1.7.5-1/binfiles?fileinfo=1
Get binary package info: libx11-data=2:1.7.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libx11-data/2:1.7.5-1/binfiles?fileinfo=1
Get binary package info: libx11-dev=2:1.7.5-1
Binary URL: http://snapshot.notset.fr/mr/binary/libx11-dev/2:1.7.5-1/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-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: 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.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxcursor-dev/1:1.2.1-1/binfiles?fileinfo=1
Get binary package info: libxcursor1=1:1.2.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxcursor1/1:1.2.1-1/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:6.0.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxfixes-dev/1:6.0.0-1/binfiles?fileinfo=1
Get binary package info: libxfixes3=1:6.0.0-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxfixes3/1:6.0.0-1/binfiles?fileinfo=1
Get binary package info: libxft-dev=2.3.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxft-dev/2.3.4-1/binfiles?fileinfo=1
Get binary package info: libxft2=2.3.4-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxft2/2.3.4-1/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-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxinerama-dev/2:1.1.4-3/binfiles?fileinfo=1
Get binary package info: libxinerama1=2:1.1.4-3
Binary URL: http://snapshot.notset.fr/mr/binary/libxinerama1/2:1.1.4-3/binfiles?fileinfo=1
Get binary package info: libxml2=2.9.14+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxml2/2.9.14+dfsg-1/binfiles?fileinfo=1
Get binary package info: libxml2-utils=2.9.14+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/libxml2-utils/2.9.14+dfsg-1/binfiles?fileinfo=1
Get binary package info: libxrandr-dev=2:1.5.2-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libxrandr-dev/2:1.5.2-2+b1/binfiles?fileinfo=1
Get binary package info: libxrandr2=2:1.5.2-2+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libxrandr2/2:1.5.2-2+b1/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: libzarith-ocaml=1.12-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libzarith-ocaml/1.12-1+b1/binfiles?fileinfo=1
Get binary package info: libzarith-ocaml-dev=1.12-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libzarith-ocaml-dev/1.12-1+b1/binfiles?fileinfo=1
Get binary package info: libzip-ocaml=1.11-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libzip-ocaml/1.11-1+b1/binfiles?fileinfo=1
Get binary package info: libzip-ocaml-dev=1.11-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/libzip-ocaml-dev/1.11-1+b1/binfiles?fileinfo=1
Get binary package info: libzstd1=1.5.2+dfsg-1
Binary URL: http://snapshot.notset.fr/mr/binary/libzstd1/1.5.2+dfsg-1/binfiles?fileinfo=1
Get binary package info: linux-libc-dev=5.17.6-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/linux-libc-dev/5.17.6-1+b1/binfiles?fileinfo=1
Get binary package info: login=1:4.11.1+dfsg1-2
Binary URL: http://snapshot.notset.fr/mr/binary/login/1:4.11.1+dfsg1-2/binfiles?fileinfo=1
Get binary package info: lsb-base=11.2
Binary URL: http://snapshot.notset.fr/mr/binary/lsb-base/11.2/binfiles?fileinfo=1
Get binary package info: m4=1.4.18-5
Binary URL: http://snapshot.notset.fr/mr/binary/m4/1.4.18-5/binfiles?fileinfo=1
Get binary package info: make=4.3-4.1
Binary URL: http://snapshot.notset.fr/mr/binary/make/4.3-4.1/binfiles?fileinfo=1
Get binary package info: man-db=2.10.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/man-db/2.10.2-1/binfiles?fileinfo=1
Get binary package info: mawk=1.3.4.20200120-3+b1
Binary URL: http://snapshot.notset.fr/mr/binary/mawk/1.3.4.20200120-3+b1/binfiles?fileinfo=1
Get binary package info: media-types=8.0.0
Binary URL: http://snapshot.notset.fr/mr/binary/media-types/8.0.0/binfiles?fileinfo=1
Get binary package info: menhir=20220210+ds-2
Binary URL: http://snapshot.notset.fr/mr/binary/menhir/20220210+ds-2/binfiles?fileinfo=1
Get binary package info: ncurses-base=6.3+20220423-2
Binary URL: http://snapshot.notset.fr/mr/binary/ncurses-base/6.3+20220423-2/binfiles?fileinfo=1
Get binary package info: ncurses-bin=6.3+20220423-2
Binary URL: http://snapshot.notset.fr/mr/binary/ncurses-bin/6.3+20220423-2/binfiles?fileinfo=1
Get binary package info: ocaml=4.13.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml/4.13.1-3/binfiles?fileinfo=1
Get binary package info: ocaml-base=4.13.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-base/4.13.1-3/binfiles?fileinfo=1
Get binary package info: ocaml-compiler-libs=4.13.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-compiler-libs/4.13.1-3/binfiles?fileinfo=1
Get binary package info: ocaml-dune=2.9.1-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-dune/2.9.1-1+b1/binfiles?fileinfo=1
Get binary package info: ocaml-findlib=1.9.3-1
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-findlib/1.9.3-1/binfiles?fileinfo=1
Get binary package info: ocaml-interp=4.13.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-interp/4.13.1-3/binfiles?fileinfo=1
Get binary package info: ocaml-nox=4.13.1-3
Binary URL: http://snapshot.notset.fr/mr/binary/ocaml-nox/4.13.1-3/binfiles?fileinfo=1
Get binary package info: ocplib-simplex-ocaml-dev=0.4-2+b2
Binary URL: http://snapshot.notset.fr/mr/binary/ocplib-simplex-ocaml-dev/0.4-2+b2/binfiles?fileinfo=1
Get binary package info: pango1.0-tools=1.50.7+ds-1
Binary URL: http://snapshot.notset.fr/mr/binary/pango1.0-tools/1.50.7+ds-1/binfiles?fileinfo=1
Get binary package info: patch=2.7.6-7
Binary URL: http://snapshot.notset.fr/mr/binary/patch/2.7.6-7/binfiles?fileinfo=1
Get binary package info: perl=5.34.0-4
Binary URL: http://snapshot.notset.fr/mr/binary/perl/5.34.0-4/binfiles?fileinfo=1
Get binary package info: perl-base=5.34.0-4
Binary URL: http://snapshot.notset.fr/mr/binary/perl-base/5.34.0-4/binfiles?fileinfo=1
Get binary package info: perl-modules-5.34=5.34.0-4
Binary URL: http://snapshot.notset.fr/mr/binary/perl-modules-5.34/5.34.0-4/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.10.4-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/python3/3.10.4-1+b1/binfiles?fileinfo=1
Get binary package info: python3-distutils=3.9.12-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-distutils/3.9.12-1/binfiles?fileinfo=1
Get binary package info: python3-lib2to3=3.9.12-1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-lib2to3/3.9.12-1/binfiles?fileinfo=1
Get binary package info: python3-minimal=3.10.4-1+b1
Binary URL: http://snapshot.notset.fr/mr/binary/python3-minimal/3.10.4-1+b1/binfiles?fileinfo=1
Get binary package info: python3.10=3.10.4-4+b1
Binary URL: http://snapshot.notset.fr/mr/binary/python3.10/3.10.4-4+b1/binfiles?fileinfo=1
Get binary package info: python3.10-minimal=3.10.4-4+b1
Binary URL: http://snapshot.notset.fr/mr/binary/python3.10-minimal/3.10.4-4+b1/binfiles?fileinfo=1
Get binary package info: readline-common=8.1.2-1.2
Binary URL: http://snapshot.notset.fr/mr/binary/readline-common/8.1.2-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.2-1
Binary URL: http://snapshot.notset.fr/mr/binary/shared-mime-info/2.2-1/binfiles?fileinfo=1
Get binary package info: sysvinit-utils=3.03-1
Binary URL: http://snapshot.notset.fr/mr/binary/sysvinit-utils/3.03-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: ucf=3.0043
Binary URL: http://snapshot.notset.fr/mr/binary/ucf/3.0043/binfiles?fileinfo=1
Get binary package info: util-linux=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/util-linux/2.38-4/binfiles?fileinfo=1
Get binary package info: util-linux-extra=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/util-linux-extra/2.38-4/binfiles?fileinfo=1
Get binary package info: uuid-dev=2.38-4
Binary URL: http://snapshot.notset.fr/mr/binary/uuid-dev/2.38-4/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=2022.1-1
Binary URL: http://snapshot.notset.fr/mr/binary/x11proto-dev/2022.1-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.1
Binary URL: http://snapshot.notset.fr/mr/binary/xz-utils/5.2.5-2.1/binfiles?fileinfo=1
Get binary package info: zlib1g=1:1.2.11.dfsg-4
Binary URL: http://snapshot.notset.fr/mr/binary/zlib1g/1:1.2.11.dfsg-4/binfiles?fileinfo=1
Get binary package info: zlib1g-dev=1:1.2.11.dfsg-4
Binary URL: http://snapshot.notset.fr/mr/binary/zlib1g-dev/1:1.2.11.dfsg-4/binfiles?fileinfo=1
Remaining packages to be found: 365
Timestamp source (69 packages): deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220203T031730Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220419T024549Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220521T151904Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220501T085721Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220517T152537Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220505T025003Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220331T030648Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220506T032033Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220511T030041Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220425T032014Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211223T031038Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220204T030758Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220419T152848Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220420T090441Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220413T150025Z/ bookworm main
Remaining packages to be found: 4
Timestamp source (4 packages): deb http://snapshot.notset.fr/archive/debian/20220502T090439Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211103T025035Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220426T025843Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220406T090904Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220224T210146Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211118T025207Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220411T030705Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210823T024636Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220405T031327Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220528T212248Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220513T034642Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211202T085046Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220416T025423Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220527T032222Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220409T024953Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220125T033125Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211205T025806Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220422T030701Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210816T024705Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210901T090918Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211118T205424Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220124T155715Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220528T035722Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211019T025145Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220313T025414Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220509T030319Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220210T033039Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220404T152929Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220122T031231Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220315T031124Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220408T031931Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220414T030009Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220208T091208Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220421T030943Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220307T034739Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220518T031600Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220427T031445Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220311T094642Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211114T025323Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220503T030434Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210922T025414Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220207T030943Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220406T025611Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210928T025308Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220208T033400Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220510T155316Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220429T032719Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220325T205932Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210911T144836Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220321T040007Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220211T025424Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210930T025245Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211108T025858Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220317T031134Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220507T034236Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211208T025308Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220430T025357Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210909T025907Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220101T024315Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220512T031457Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220412T025122Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220526T092755Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211004T030201Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210903T030245Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220216T030243Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220318T025831Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220402T210321Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220106T025822Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220519T025519Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220303T024745Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220502T032918Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211026T024934Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210818T085356Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211017T024714Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220306T025301Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211008T024925Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220329T030734Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220202T030237Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220509T214601Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20211122T030439Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220212T154028Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220212T031344Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220316T034435Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220310T035035Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220323T030602Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220129T025638Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220520T032818Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210824T024320Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20210902T030735Z/ bookworm main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220514T093947Z/ unstable main
Skipping snapshot: deb http://snapshot.notset.fr/archive/debian/20220514T161632Z/ unstable main
Remaining packages to be found: 3
Timestamp source (2 packages): deb http://snapshot.notset.fr/archive/debian/20220523T151548Z/ unstable main
New buildinfo file: /tmp/alt-ergo-2.4.1-2es2gk6gs/alt-ergo_2.4.1-2_amd64.buildinfo
env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=adwaita-icon-theme:all=42.0-2 autoconf:all=2.71-2 automake:all=1:1.16.5-1.3 autopoint:all=0.21-6 autotools-dev:all=20220109.1 base-files:amd64=12.2 base-passwd:amd64=3.5.52 bash:amd64=5.1-6+b1 binutils:amd64=2.38-4 binutils-common:amd64=2.38-4 binutils-x86-64-linux-gnu:amd64=2.38-4 bsdextrautils:amd64=2.38-4 bsdutils:amd64=1:2.38-4 build-essential:amd64=12.9 bzip2:amd64=1.0.8-5 coreutils:amd64=8.32-4.1 cpp:amd64=4:11.2.0-2 cpp-11:amd64=11.3.0-3 dash:amd64=0.5.11+git20210903+057cd650a4ed-8 debconf:all=1.5.79 debhelper:all=13.7.1 debianutils:amd64=5.7-0.2 dh-autoreconf:all=20 dh-ocaml:all=1.1.3 dh-strip-nondeterminism:all=1.13.0-1 dictionaries-common:all=1.28.14 diffutils:amd64=1:3.7-5 dpkg:amd64=1.21.8 dpkg-dev:all=1.21.8 dwz:amd64=0.14-1 emacsen-common:all=3.0.4 file:amd64=1:5.41-4 findutils:amd64=4.9.0-3 fontconfig:amd64=2.13.1-4.4 fontconfig-config:all=2.13.1-4.4 fonts-dejavu-core:all=2.37-2 g++:amd64=4:11.2.0-2 g++-11:amd64=11.3.0-3 gcc:amd64=4:11.2.0-2 gcc-11:amd64=11.3.0-3 gcc-11-base:amd64=11.3.0-3 gcc-12-base:amd64=12.1.0-2 gettext:amd64=0.21-6 gettext-base:amd64=0.21-6 gir1.2-atk-1.0:amd64=2.38.0-1 gir1.2-freedesktop:amd64=1.72.0-1+b1 gir1.2-gdkpixbuf-2.0:amd64=2.42.8+dfsg-1 gir1.2-glib-2.0:amd64=1.72.0-1+b1 gir1.2-gtk-2.0:amd64=2.24.33-2 gir1.2-harfbuzz-0.0:amd64=2.7.4-1+b1 gir1.2-pango-1.0:amd64=1.50.7+ds-1 grep:amd64=3.7-1 groff-base:amd64=1.22.4-8 gtk-update-icon-cache:amd64=3.24.33-2 gzip:amd64=1.12-1 hicolor-icon-theme:all=0.17-2 hostname:amd64=3.23 hunspell-en-us:all=1:2020.12.07-2 icu-devtools:amd64=71.1-3 init-system-helpers:all=1.63 intltool-debian:all=0.35.0+20060710.5 libacl1:amd64=2.3.1-1 libarchive-zip-perl:all=1.68-1 libasan6:amd64=11.3.0-3 libaspell15:amd64=0.60.8-4 libatk1.0-0:amd64=2.38.0-1 libatk1.0-data:all=2.38.0-1 libatk1.0-dev:amd64=2.38.0-1 libatomic1:amd64=12.1.0-2 libattr1:amd64=1:2.5.1-1 libaudit-common:all=1:3.0.7-1 libaudit1:amd64=1:3.0.7-1+b1 libavahi-client3:amd64=0.8-5 libavahi-common-data:amd64=0.8-5 libavahi-common3:amd64=0.8-5 libbinutils:amd64=2.38-4 libblkid-dev:amd64=2.38-4 libblkid1:amd64=2.38-4 libbrotli-dev:amd64=1.0.9-2+b3 libbrotli1:amd64=1.0.9-2+b3 libbsd0:amd64=0.11.6-1 libbz2-1.0:amd64=1.0.8-5 libc-bin:amd64=2.33-7 libc-dev-bin:amd64=2.33-7 libc6:amd64=2.33-7 libc6-dev:amd64=2.33-7 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 libcap-ng0:amd64=0.7.9-2.2+b2 libcap2:amd64=1:2.44-1 libcc1-0:amd64=12.1.0-2 libcmdliner-ocaml-dev:amd64=1.0.4-2+b2 libcom-err2:amd64=1.46.5-2 libcrypt-dev:amd64=1:4.4.27-1.1 libcrypt1:amd64=1:4.4.27-1.1 libcsexp-ocaml:amd64=1.5.1-1+b1 libcsexp-ocaml-dev:amd64=1.5.1-1+b1 libctf-nobfd0:amd64=2.38-4 libctf0:amd64=2.38-4 libcups2:amd64=2.4.2-1 libdatrie-dev:amd64=0.2.13-2 libdatrie1:amd64=0.2.13-2 libdb5.3:amd64=5.3.28+dfsg1-0.9 libdbus-1-3:amd64=1.14.0-1 libdebconfclient0:amd64=0.262 libdebhelper-perl:all=13.7.1 libdeflate-dev:amd64=1.10-2 libdeflate0:amd64=1.10-2 libdpkg-perl:all=1.21.8 libdune-ocaml-dev:amd64=2.9.1-1+b1 libelf1:amd64=0.187-1 libenchant-2-2:amd64=2.3.2-1 libenchant-2-dev:amd64=2.3.2-1 libexpat1:amd64=2.4.8-1 libexpat1-dev:amd64=2.4.8-1 libffi-dev:amd64=3.4.2-4 libffi8:amd64=3.4.2-4 libfile-stripnondeterminism-perl:all=1.13.0-1 libfindlib-ocaml:amd64=1.9.3-1 libfontconfig-dev:amd64=2.13.1-4.4 libfontconfig1:amd64=2.13.1-4.4 libfontconfig1-dev:amd64=2.13.1-4.4 libfreetype-dev:amd64=2.12.1+dfsg-2 libfreetype6:amd64=2.12.1+dfsg-2 libfreetype6-dev:amd64=2.12.1+dfsg-2 libfribidi-dev:amd64=1.0.8-2.1 libfribidi0:amd64=1.0.8-2.1 libgcc-11-dev:amd64=11.3.0-3 libgcc-s1:amd64=12.1.0-2 libgcrypt20:amd64=1.10.1-2 libgdbm-compat4:amd64=1.23-1 libgdbm6:amd64=1.23-1 libgdk-pixbuf-2.0-0:amd64=2.42.8+dfsg-1 libgdk-pixbuf-2.0-dev:amd64=2.42.8+dfsg-1 libgdk-pixbuf2.0-bin:amd64=2.42.8+dfsg-1 libgdk-pixbuf2.0-common:all=2.42.8+dfsg-1 libgirepository-1.0-1:amd64=1.72.0-1+b1 libglib2.0-0:amd64=2.72.1-1 libglib2.0-bin:amd64=2.72.1-1 libglib2.0-data:all=2.72.1-1 libglib2.0-dev:amd64=2.72.1-1 libglib2.0-dev-bin:amd64=2.72.1-1 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.4-2 libgomp1:amd64=12.1.0-2 libgpg-error0:amd64=1.45-2 libgraphite2-3:amd64=1.3.14-1 libgraphite2-dev:amd64=1.3.14-1 libgssapi-krb5-2:amd64=1.19.2-2+b2 libgtk2.0-0:amd64=2.24.33-2 libgtk2.0-common:all=2.24.33-2 libgtk2.0-dev:amd64=2.24.33-2 libgtkspell-dev:amd64=2.0.16-1.3 libgtkspell0:amd64=2.0.16-1.3 libharfbuzz-dev:amd64=2.7.4-1+b1 libharfbuzz-gobject0:amd64=2.7.4-1+b1 libharfbuzz-icu0:amd64=2.7.4-1+b1 libharfbuzz0b:amd64=2.7.4-1+b1 libhogweed6:amd64=3.7.3-1 libhunspell-1.7-0:amd64=1.7.0-4 libice-dev:amd64=2:1.0.10-1 libice6:amd64=2:1.0.10-1 libicu-dev:amd64=71.1-3 libicu71:amd64=71.1-3 libidn2-0:amd64=2.3.2-2 libisl23:amd64=0.24-2 libitm1:amd64=12.1.0-2 libjbig-dev:amd64=2.1-3.1+b2 libjbig0:amd64=2.1-3.1+b2 libjpeg-dev:amd64=1:2.1.2-1 libjpeg62-turbo:amd64=1:2.1.2-1 libjpeg62-turbo-dev:amd64=1:2.1.2-1 libk5crypto3:amd64=1.19.2-2+b2 libkeyutils1:amd64=1.6.1-3 libkrb5-3:amd64=1.19.2-2+b2 libkrb5support0:amd64=1.19.2-2+b2 liblablgtk2-ocaml:amd64=2.18.12-1 liblablgtk2-ocaml-dev:amd64=2.18.12-1 liblsan0:amd64=12.1.0-2 liblz4-1:amd64=1.9.3-2 liblzma-dev:amd64=5.2.5-2.1 liblzma5:amd64=5.2.5-2.1 liblzo2-2:amd64=2.10-2 libmagic-mgc:amd64=1:5.41-4 libmagic1:amd64=1:5.41-4 libmd0:amd64=1.0.4-1 libmount-dev:amd64=2.38-4 libmount1:amd64=2.38-4 libmpc3:amd64=1.2.1-2 libmpdec3:amd64=2.5.1-2 libmpfr6:amd64=4.1.0-3 libncurses-dev:amd64=6.3+20220423-2 libncurses5-dev:amd64=6.3+20220423-2 libncurses6:amd64=6.3+20220423-2 libncursesw6:amd64=6.3+20220423-2 libnettle8:amd64=3.7.3-1 libnsl-dev:amd64=1.3.0-2 libnsl2:amd64=1.3.0-2 libnum-ocaml:amd64=1.4-2 libnum-ocaml-dev:amd64=1.4-2 libocamlgraph-ocaml-dev:amd64=2.0.0-3+b1 libp11-kit0:amd64=0.24.1-1 libpam-modules:amd64=1.4.0-13 libpam-modules-bin:amd64=1.4.0-13 libpam-runtime:all=1.4.0-13 libpam0g:amd64=1.4.0-13 libpango-1.0-0:amd64=1.50.7+ds-1 libpango1.0-dev:amd64=1.50.7+ds-1 libpangocairo-1.0-0:amd64=1.50.7+ds-1 libpangoft2-1.0-0:amd64=1.50.7+ds-1 libpangoxft-1.0-0:amd64=1.50.7+ds-1 libpcre16-3:amd64=2:8.39-14 libpcre2-16-0:amd64=10.40-1 libpcre2-32-0:amd64=10.40-1 libpcre2-8-0:amd64=10.40-1 libpcre2-dev:amd64=10.40-1 libpcre2-posix3:amd64=10.40-1 libpcre3:amd64=2:8.39-14 libpcre3-dev:amd64=2:8.39-14 libpcre32-3:amd64=2:8.39-14 libpcrecpp0v5:amd64=2:8.39-14 libperl5.34:amd64=5.34.0-4 libpipeline1:amd64=1.5.6-1 libpixman-1-0:amd64=0.40.0-1 libpixman-1-dev:amd64=0.40.0-1 libpng-dev:amd64=1.6.37-5 libpng16-16:amd64=1.6.37-5 libpsmt2-frontend-ocaml:amd64=0.4.0-1+b1 libpsmt2-frontend-ocaml-dev:amd64=0.4.0-1+b1 libpthread-stubs0-dev:amd64=0.4-1 libpython3-stdlib:amd64=3.10.4-1+b1 libpython3.10-minimal:amd64=3.10.4-4+b1 libpython3.10-stdlib:amd64=3.10.4-4+b1 libquadmath0:amd64=12.1.0-2 libreadline8:amd64=8.1.2-1.2 libseccomp2:amd64=2.5.4-1 libselinux1:amd64=3.3-1+b2 libselinux1-dev:amd64=3.3-1+b2 libsepol-dev:amd64=3.3-1 libsepol2:amd64=3.3-1 libsigsegv2:amd64=2.14-1 libsm-dev:amd64=2:1.2.3-1 libsm6:amd64=2:1.2.3-1 libsmartcols1:amd64=2.38-4 libsqlite3-0:amd64=3.38.5-1 libssl3:amd64=3.0.3-5 libstdc++-11-dev:amd64=11.3.0-3 libstdc++6:amd64=12.1.0-2 libsub-override-perl:all=0.09-2 libsystemd0:amd64=251-2 libtasn1-6:amd64=4.18.0-4 libtext-iconv-perl:amd64=1.7-7+b2 libthai-data:all=0.1.29-1 libthai-dev:amd64=0.1.29-1 libthai0:amd64=0.1.29-1 libtiff-dev:amd64=4.4.0~rc1-1 libtiff5:amd64=4.4.0~rc1-1 libtiffxx5:amd64=4.4.0~rc1-1 libtinfo6:amd64=6.3+20220423-2 libtirpc-common:all=1.3.2-2 libtirpc-dev:amd64=1.3.2-2 libtirpc3:amd64=1.3.2-2 libtool:all=2.4.7-4 libtsan0:amd64=11.3.0-3 libubsan1:amd64=12.1.0-2 libuchardet0:amd64=0.0.7-1 libudev1:amd64=251-2 libunistring2:amd64=1.0-1 libuuid1:amd64=2.38-4 libwebp7:amd64=1.2.2-2+b1 libx11-6:amd64=2:1.7.5-1 libx11-data:all=2:1.7.5-1 libx11-dev:amd64=2:1.7.5-1 libxau-dev:amd64=1:1.0.9-1 libxau6:amd64=1:1.0.9-1 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 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.1-1 libxcursor1:amd64=1:1.2.1-1 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:6.0.0-1 libxfixes3:amd64=1:6.0.0-1 libxft-dev:amd64=2.3.4-1 libxft2:amd64=2.3.4-1 libxi-dev:amd64=2:1.8-1 libxi6:amd64=2:1.8-1 libxinerama-dev:amd64=2:1.1.4-3 libxinerama1:amd64=2:1.1.4-3 libxml2:amd64=2.9.14+dfsg-1 libxml2-utils:amd64=2.9.14+dfsg-1 libxrandr-dev:amd64=2:1.5.2-2+b1 libxrandr2:amd64=2:1.5.2-2+b1 libxrender-dev:amd64=1:0.9.10-1 libxrender1:amd64=1:0.9.10-1 libzarith-ocaml:amd64=1.12-1+b1 libzarith-ocaml-dev:amd64=1.12-1+b1 libzip-ocaml:amd64=1.11-1+b1 libzip-ocaml-dev:amd64=1.11-1+b1 libzstd1:amd64=1.5.2+dfsg-1 linux-libc-dev:amd64=5.17.6-1+b1 login:amd64=1:4.11.1+dfsg1-2 lsb-base:all=11.2 m4:amd64=1.4.18-5 make:amd64=4.3-4.1 man-db:amd64=2.10.2-1 mawk:amd64=1.3.4.20200120-3+b1 media-types:all=8.0.0 menhir:amd64=20220210+ds-2 ncurses-base:all=6.3+20220423-2 ncurses-bin:amd64=6.3+20220423-2 ocaml:amd64=4.13.1-3 ocaml-base:amd64=4.13.1-3 ocaml-compiler-libs:amd64=4.13.1-3 ocaml-dune:amd64=2.9.1-1+b1 ocaml-findlib:amd64=1.9.3-1 ocaml-interp:amd64=4.13.1-3 ocaml-nox:all=4.13.1-3 ocplib-simplex-ocaml-dev:amd64=0.4-2+b2 pango1.0-tools:amd64=1.50.7+ds-1 patch:amd64=2.7.6-7 perl:amd64=5.34.0-4 perl-base:amd64=5.34.0-4 perl-modules-5.34:all=5.34.0-4 pkg-config:amd64=0.29.2-1 po-debconf:all=1.0.21+nmu1 python3:amd64=3.10.4-1+b1 python3-distutils:all=3.9.12-1 python3-lib2to3:all=3.9.12-1 python3-minimal:amd64=3.10.4-1+b1 python3.10:amd64=3.10.4-4+b1 python3.10-minimal:amd64=3.10.4-4+b1 readline-common:all=8.1.2-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.2-1 sysvinit-utils:amd64=3.03-1 tar:amd64=1.34+dfsg-1 ucf:all=3.0043 util-linux:amd64=2.38-4 util-linux-extra:amd64=2.38-4 uuid-dev:amd64=2.38-4 x11-common:all=1:7.7+23 x11proto-dev:all=2022.1-1 xorg-sgml-doctools:all=1:1.11-1.1 xtrans-dev:all=1.4.0-1 xz-utils:amd64=5.2.5-2.1 zlib1g:amd64=1:1.2.11.dfsg-4 zlib1g-dev:amd64=1:1.2.11.dfsg-4 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220528T100915Z/ unstable main
deb-src http://snapshot.notset.fr/archive/debian/20220528T100915Z/ unstable main
deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20220502T090439Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20220523T151548Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d alt-ergo=2.4.1-2 && mkdir -p /build/alt-ergo-LPa3EY && dpkg-source --no-check -x /*.dsc /build/alt-ergo-LPa3EY/alt-ergo-2.4.1 && chown -R builduser:builduser /build/alt-ergo-LPa3EY" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/alt-ergo-LPa3EY/alt-ergo-2.4.1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1653719768" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/alt-ergo-LPa3EY /tmp/alt-ergo-2.4.1-2es2gk6gs bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220224T210146Z bookworm main
I: automatically chosen mode: root
I: chroot architecture amd64 is equal to the host's architecture
I: automatically chosen format: null
I: using /tmp/mmdebstrap.5I4HgLd70T 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.5I4HgLd70T
Reading package lists...
Building dependency tree...
util-linux is already the newest version (2.37.3-1+b1).
The following NEW packages will be installed:
  fakeroot libfakeroot
0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded.
Need to get 136 kB of archives.
After this operation, 406 kB of additional disk space will be used.
Get:1 http://snapshot.notset.fr/archive/debian/20220224T210146Z bookworm/main amd64 libfakeroot amd64 1.27-1 [48.5 kB]
Get:2 http://snapshot.notset.fr/archive/debian/20220224T210146Z bookworm/main amd64 fakeroot amd64 1.27-1 [87.2 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 136 kB in 0s (1023 kB/s)
Selecting previously unselected package libfakeroot:amd64.
(Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 4693 files and directories currently installed.)
Preparing to unpack .../libfakeroot_1.27-1_amd64.deb ...
Unpacking libfakeroot:amd64 (1.27-1) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../fakeroot_1.27-1_amd64.deb ...
Unpacking fakeroot (1.27-1) ...
Setting up libfakeroot:amd64 (1.27-1) ...
Setting up fakeroot (1.27-1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode
Processing triggers for libc-bin (2.33-7) ...
I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/
I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220528T100915Z/ unstable main
deb-src http://snapshot.notset.fr/archive/debian/20220528T100915Z/ unstable main
deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20220502T090439Z/ bookworm main
deb http://snapshot.notset.fr/archive/debian/20220523T151548Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.5I4HgLd70T
Get:1 http://snapshot.notset.fr/archive/debian/20220528T100915Z unstable InRelease [165 kB]
Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB]
Get:3 http://snapshot.notset.fr/archive/debian/20220502T090439Z bookworm InRelease [130 kB]
Get:4 http://snapshot.notset.fr/archive/debian/20220523T151548Z unstable InRelease [165 kB]
Ign:5 http://snapshot.notset.fr/archive/debian/20220528T100915Z unstable/main Sources
Ign:6 http://snapshot.notset.fr/archive/debian/20220528T100915Z unstable/main amd64 Packages
Ign:5 http://snapshot.notset.fr/archive/debian/20220528T100915Z unstable/main Sources
Ign:6 http://snapshot.notset.fr/archive/debian/20220528T100915Z unstable/main amd64 Packages
Ign:5 http://snapshot.notset.fr/archive/debian/20220528T100915Z unstable/main Sources
Ign:6 http://snapshot.notset.fr/archive/debian/20220528T100915Z unstable/main amd64 Packages
Get:5 http://snapshot.notset.fr/archive/debian/20220528T100915Z unstable/main Sources [13.0 MB]
Get:6 http://snapshot.notset.fr/archive/debian/20220528T100915Z unstable/main amd64 Packages [12.5 MB]
Ign:7 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages
Ign:8 http://snapshot.notset.fr/archive/debian/20220502T090439Z bookworm/main amd64 Packages
Ign:9 http://snapshot.notset.fr/archive/debian/20220523T151548Z unstable/main amd64 Packages
Ign:7 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages
Ign:8 http://snapshot.notset.fr/archive/debian/20220502T090439Z bookworm/main amd64 Packages
Ign:9 http://snapshot.notset.fr/archive/debian/20220523T151548Z unstable/main amd64 Packages
Ign:7 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages
Ign:8 http://snapshot.notset.fr/archive/debian/20220502T090439Z bookworm/main amd64 Packages
Ign:9 http://snapshot.notset.fr/archive/debian/20220523T151548Z unstable/main amd64 Packages
Get:7 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB]
Get:8 http://snapshot.notset.fr/archive/debian/20220502T090439Z bookworm/main amd64 Packages [11.4 MB]
Get:9 http://snapshot.notset.fr/archive/debian/20220523T151548Z unstable/main amd64 Packages [12.4 MB]
Fetched 60.9 MB in 49s (1255 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.5I4HgLd70T
I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d alt-ergo=2.4.1-2 && mkdir -p /build/alt-ergo-LPa3EY && dpkg-source --no-check -x /*.dsc /build/alt-ergo-LPa3EY/alt-ergo-2.4.1 && chown -R builduser:builduser /build/alt-ergo-LPa3EY"' exec /tmp/mmdebstrap.5I4HgLd70T
Reading package lists...
NOTICE: 'alt-ergo' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/alt-ergo.git
Please use:
git clone https://salsa.debian.org/ocaml-team/alt-ergo.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 2892 kB of source archives.
Get:1 http://snapshot.notset.fr/archive/debian/20220528T100915Z unstable/main alt-ergo 2.4.1-2 (dsc) [2271 B]
Get:2 http://snapshot.notset.fr/archive/debian/20220528T100915Z unstable/main alt-ergo 2.4.1-2 (tar) [2883 kB]
Get:3 http://snapshot.notset.fr/archive/debian/20220528T100915Z unstable/main alt-ergo 2.4.1-2 (diff) [7136 B]
Fetched 2892 kB in 2s (1263 kB/s)
Download complete and in download only mode
W: Download is performed unsandboxed as root as file 'alt-ergo_2.4.1-2.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied)
dpkg-source: info: extracting alt-ergo in /build/alt-ergo-LPa3EY/alt-ergo-2.4.1
dpkg-source: info: unpacking alt-ergo_2.4.1.orig.tar.gz
dpkg-source: info: unpacking alt-ergo_2.4.1-2.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying fix_menhir_inferences.patch
I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/alt-ergo-LPa3EY/alt-ergo-2.4.1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1653719768" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.5I4HgLd70T
dpkg-buildpackage: info: source package alt-ergo
dpkg-buildpackage: info: source version 2.4.1-2
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
 debian/rules clean
dh  clean --with ocaml
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/build/alt-ergo-LPa3EY/alt-ergo-2.4.1'
if [ -f config.status ]; then \
	/usr/bin/make dist-clean;   \
fi
make[1]: Leaving directory '/build/alt-ergo-LPa3EY/alt-ergo-2.4.1'
   dh_ocamlclean
   dh_clean
 debian/rules binary-arch
dh  binary-arch --with ocaml
   dh_update_autotools_config -a
   dh_autoreconf -a
   dh_ocamlinit -a
   debian/rules override_dh_auto_configure
make[1]: Entering directory '/build/alt-ergo-LPa3EY/alt-ergo-2.4.1'
./configure --prefix /usr --libdir /usr/lib/ocaml --mandir /usr/share/man alt-ergo-lib
Using provided value for 'prefix' : /usr
Using provided value for 'libdir' : /usr/lib/ocaml
Using provided value for 'mandir' : /usr/share/man
Generating file src/lib/util/config.ml...done.
Generating file src/bin/text/flags.dune...done.
Generating file Makefile.config...done.
Found dune in path.
All deps are installed.
Good to go!
make[1]: Leaving directory '/build/alt-ergo-LPa3EY/alt-ergo-2.4.1'
   debian/rules override_dh_auto_build
make[1]: Entering directory '/build/alt-ergo-LPa3EY/alt-ergo-2.4.1'
dune build -p alt-ergo-lib,alt-ergo-parsers,alt-ergo
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Parsed_interface.{cmi,cmti}
File "src/lib/frontend/parsed_interface.mli", line 18, characters 20-77:
18 |   [@ocaml.ppwarning "TODO: add documentation for every function in this file"]
                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add documentation for every function in this file
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ty.{cmo,cmt}
File "src/lib/structures/ty.ml", line 200, characters 20-51:
200 |   [@ocaml.ppwarning "TODO: should be implemented ?"]
                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should be implemented ?
File "src/lib/structures/ty.ml", line 334, characters 24-65:
334 |       [@ocaml.ppwarning "TODO: detect when there are no changes "]
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: detect when there are no changes 
File "src/lib/structures/ty.ml", line 589, characters 28-59:
589 |   | _ , _ [@ocaml.ppwarning "TODO: remove fragile pattern "] ->
                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: remove fragile pattern 
File "src/lib/structures/ty.ml", line 639, characters 20-61:
639 |   [@ocaml.ppwarning "TODO: detect when there are no changes "]
                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: detect when there are no changes 
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Adt.{cmo,cmt}
File "src/lib/reasoners/adt.ml", lines 63-64, characters 21-30:
63 | ....................."XXX: IsConstr not interpreted currently. Maybe \
64 |                       it's OK".
Warning 22 [preprocessor]: XXX: IsConstr not interpreted currently. Maybe it's OK
File "src/lib/reasoners/adt.ml", line 105, characters 24-64:
105 |       [@ocaml.ppwarning "TODO: canonize Constr(list of selects)"]
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: canonize Constr(list of selects)
File "src/lib/reasoners/adt.ml", line 227, characters 21-37:
227 |   [@@ocaml.ppwarning "TODO: not sure"]
                           ^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: not sure
File "src/lib/reasoners/adt.ml", line 318, characters 24-50:
318 |       [@ocaml.ppwarning "TODO: abstract Selectors"] ->
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors
File "src/lib/reasoners/adt.ml", line 305, characters 26-66:
305 |         [@ocaml.ppwarning "TODO: abstract Selectors: case to test"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors: case to test
File "src/lib/reasoners/adt.ml", line 313, characters 27-67:
313 |          [@ocaml.ppwarning "TODO: abstract Selectors: case to test"] then
                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors: case to test
File "src/lib/reasoners/adt.ml", line 328, characters 27-53:
328 |          [@ocaml.ppwarning "TODO: abstract Selectors"] then
                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Cnf.{cmo,cmt}
File "src/lib/frontend/cnf.ml", lines 38-40, characters 19-33:
38 | ..................."TODO: Change Symbols.Float to store FP numeral \
39 |                     constants (eg, <24, -149> for single) instead of \
40 |                     having terms".
Warning 22 [preprocessor]: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms
File "src/lib/frontend/cnf.ml", line 250, characters 29-64:
250 |            [@ocaml.ppwarning "TODO: should introduce fresh vars"]
                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should introduce fresh vars
File "src/lib/frontend/cnf.ml", line 475, characters 29-64:
475 |            [@ocaml.ppwarning "TODO: should introduce fresh vars"]
                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should introduce fresh vars
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Records.{cmo,cmt}
File "src/lib/reasoners/records.ml", line 283, characters 26-69:
283 |         [@ocaml.ppwarning "TODO: should not rebuild if not changed !"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should not rebuild if not changed !
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_types.{cmo,cmt}
File "src/lib/structures/satml_types.ml", line 852, characters 33-71:
852 |                [@ocaml.ppwarning "xlit or at_lit is probably redundant"]
                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: xlit or at_lit is probably redundant
    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Ty.{cmx,o}
File "src/lib/structures/ty.ml", line 200, characters 20-51:
200 |   [@ocaml.ppwarning "TODO: should be implemented ?"]
                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should be implemented ?
File "src/lib/structures/ty.ml", line 334, characters 24-65:
334 |       [@ocaml.ppwarning "TODO: detect when there are no changes "]
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: detect when there are no changes 
File "src/lib/structures/ty.ml", line 589, characters 28-59:
589 |   | _ , _ [@ocaml.ppwarning "TODO: remove fragile pattern "] ->
                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: remove fragile pattern 
File "src/lib/structures/ty.ml", line 639, characters 20-61:
639 |   [@ocaml.ppwarning "TODO: detect when there are no changes "]
                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: detect when there are no changes 
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Shostak.{cmo,cmt}
File "src/lib/reasoners/shostak.ml", lines 551-553, characters 26-39:
551 | .........................."TODO: a simple way of handling equalities \
552 |                            with void and unit is to add this case is \
553 |                            the solver!".
Warning 22 [preprocessor]: TODO: a simple way of handling equalities with void and unit is to add this case is the solver!
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ite_rel.{cmo,cmt}
File "src/lib/reasoners/ite_rel.ml", line 119, characters 35-62:
119 |                  [@ocaml.ppwarning "TODO: build IFF instead ?"]
                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: build IFF instead ?
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Adt_rel.{cmo,cmt}
File "src/lib/reasoners/adt_rel.ml", lines 41-42, characters 22-51:
41 | ......................"selectors should be improved. only representatives \
42 |                        in it. No true or false _is".
Warning 22 [preprocessor]: selectors should be improved. only representatives in it. No true or false _is
File "src/lib/reasoners/adt_rel.ml", lines 296-297, characters 19-66:
296 | ..................."XXX improve. For each selector, store its \
297 |                     corresponding constructor when typechecking ?".
Warning 22 [preprocessor]: XXX improve. For each selector, store its corresponding constructor when typechecking ?
File "src/lib/reasoners/adt_rel.ml", line 334, characters 19-72:
334 | [@@ocaml.ppwarning "working with X.term_extract r would be sufficient ?"]
                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: working with X.term_extract r would be sufficient ?
File "src/lib/reasoners/adt_rel.ml", line 648, characters 31-77:
648 |              [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"]
                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ?
File "src/lib/reasoners/adt_rel.ml", line 709, characters 26-72:
709 |         [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ?
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Expr.{cmo,cmt}
File "src/lib/structures/expr.ml", line 1387, characters 33-66:
1387 |       else acc [@ocaml.ppwarning "TODO: add some stuff from let_e"]
                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add some stuff from let_e
File "src/lib/structures/expr.ml", lines 1599-1601, characters 24-55:
1599 | ........................"TODO: should also inline form in form. But \
1600 |                          not possible to detect if we are not \
1601 |                          inlining a form inside a term".
Warning 22 [preprocessor]: TODO: should also inline form in form. But not possible to detect if we are not inlining a form inside a term
File "src/lib/structures/expr.ml", lines 2094-2097, characters 34-77:
2094 | .................................."TODO: once 'let x = term in term' \
2095 |                                    added, check that the resulting sbt \
2096 |                                    is well normalized (may be not true \
2097 |                                    depending on the ordering of vars in lets".
Warning 22 [preprocessor]: TODO: once 'let x = term in term' added, check that the resulting sbt is well normalized (may be not true depending on the ordering of vars in lets
File "src/lib/structures/expr.ml", lines 2118-2120, characters 26-49:
2118 | .........................."TODO: do it for this case once \
2119 |                            free-vars issues of theories axioms \
2120 |                            with hypotheses fixed".
Warning 22 [preprocessor]: TODO: do it for this case once free-vars issues of theories axioms with hypotheses fixed
File "src/lib/structures/expr.ml", lines 2114-2116, characters 26-56:
2114 | .........................."TODO: filter_good_triggers for this \
2115 |                            case once free-vars issues of theories \
2116 |                            axioms with hypotheses fixed".
Warning 22 [preprocessor]: TODO: filter_good_triggers for this case once free-vars issues of theories axioms with hypotheses fixed
File "src/lib/structures/expr.ml", line 2320, characters 20-57:
2320 |   [@ocaml.ppwarning "TODO: add a match construct in expr"]
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add a match construct in expr
File "src/lib/structures/expr.ml", line 2319, characters 20-50:
2319 |   [@ocaml.ppwarning "TODO: add other elim schemes"]
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add other elim schemes
File "src/lib/structures/expr.ml", line 2318, characters 20-62:
2318 |   [@ocaml.ppwarning "TODO: introduce a let if e is a big expr"]
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: introduce a let if e is a big expr
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__IntervalCalculus.{cmo,cmt}
File "src/lib/reasoners/intervalCalculus.ml", line 1829, characters 27-63:
1829 |          [@ocaml.ppwarning "TODO: add other terms such as div!"]
                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add other terms such as div!
File "src/lib/reasoners/intervalCalculus.ml", line 2078, characters 28-73:
2078 |           [@ocaml.ppwarning "TODO: find an example triggering this case!"]
                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: find an example triggering this case!
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml.{cmo,cmt}
File "src/lib/reasoners/satml.ml", line 523, characters 26-66:
523 |         [@ocaml.ppwarning "TODO: try to disable 'fill_with_dummy'"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: try to disable 'fill_with_dummy'
File "src/lib/reasoners/satml.ml", lines 1576-1579, characters 28-42:
1576 | ............................"TODO: add a heavy assert that checks \
1577 |                              that clauses are not redundant, watchs \
1578 |                              are well set, unit and bottom are \
1579 |                              detected ...".
Warning 22 [preprocessor]: TODO: add a heavy assert that checks that clauses are not redundant, watchs are well set, unit and bottom are detected ...
File "src/lib/reasoners/satml.ml", lines 1645-1646, characters 22-43:
1645 | ......................"Issue: BAD decision_level, in particular, \
1646 |                        if minimal-bj is ON".
Warning 22 [preprocessor]: Issue: BAD decision_level, in particular, if minimal-bj is ON
      ocamlc src/parsers/.AltErgoParsers.objs/byte/altErgoParsers__Psmt2_to_alt_ergo.{cmo,cmt}
File "src/parsers/psmt2_to_alt_ergo.ml", lines 396-444, characters 4-21:
396 | ....match command.c with
397 |     | Cmd_Assert(assert_term) ->
398 |       (translate_assert (pos command) assert_term) :: acc
399 |     | Cmd_CheckEntailment(assert_term) ->
400 |       (translate_goal (pos command) assert_term) :: acc
...
441 |     | Cmd_SetInfo _ -> not_supported "set-info"; acc
442 |     | Cmd_Push n -> translate_push_pop mk_push n (pos command) :: acc
443 |     | Cmd_Pop n -> translate_push_pop mk_pop n (pos command) :: acc
444 |     | Cmd_Exit -> acc
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(Cmd_CheckAllSat _|Cmd_Maximize _|Cmd_Minimize _)
      ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_frontend.{cmo,cmt}
File "src/lib/reasoners/satml_frontend.ml", line 374, characters 24-77:
374 |       [@ocaml.ppwarning "TODO: modifications made in tbox are lost! improve?"]
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: modifications made in tbox are lost! improve?
File "src/lib/reasoners/satml_frontend.ml", lines 671-672, characters 6-63:
671 | ......"improve terms / atoms extraction in lazy/non-lazy \
672 |        and greedy/non-greedy mode. Separate atoms from terms !".
Warning 22 [preprocessor]: improve terms / atoms extraction in lazy/non-lazy and greedy/non-greedy mode. Separate atoms from terms !
File "src/lib/reasoners/satml_frontend.ml", line 693, characters 22-75:
693 |     [@ocaml.ppwarning "Issue for greedy: terms inside lemmas not extracted"]
                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: Issue for greedy: terms inside lemmas not extracted
File "src/lib/reasoners/satml_frontend.ml", lines 714-715, characters 22-73:
714 | ......................"!!! Possibles issues du to replacement of atoms \
715 |                        that are facts with TRUE by mk_lit (and simplify)".
Warning 22 [preprocessor]: !!! Possibles issues du to replacement of atoms that are facts with TRUE by mk_lit (and simplify)
File "src/lib/reasoners/satml_frontend.ml", line 748, characters 28-61:
748 |           [@ocaml.ppwarning "TODO: should be assert failure?"]
                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should be assert failure?
File "src/lib/reasoners/satml_frontend.ml", line 846, characters 34-79:
846 |                 [@ocaml.ppwarning "TODO: should fix for unsat cores generation"]
                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should fix for unsat cores generation
File "src/lib/reasoners/satml_frontend.ml", line 985, characters 20-79:
985 |                     "TODO: first intantiation a la DfsSAT before searching ..."]
                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: first intantiation a la DfsSAT before searching ...
    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Expr.{cmx,o}
File "src/lib/structures/expr.ml", line 1387, characters 33-66:
1387 |       else acc [@ocaml.ppwarning "TODO: add some stuff from let_e"]
                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add some stuff from let_e
File "src/lib/structures/expr.ml", lines 1599-1601, characters 24-55:
1599 | ........................"TODO: should also inline form in form. But \
1600 |                          not possible to detect if we are not \
1601 |                          inlining a form inside a term".
Warning 22 [preprocessor]: TODO: should also inline form in form. But not possible to detect if we are not inlining a form inside a term
File "src/lib/structures/expr.ml", lines 2094-2097, characters 34-77:
2094 | .................................."TODO: once 'let x = term in term' \
2095 |                                    added, check that the resulting sbt \
2096 |                                    is well normalized (may be not true \
2097 |                                    depending on the ordering of vars in lets".
Warning 22 [preprocessor]: TODO: once 'let x = term in term' added, check that the resulting sbt is well normalized (may be not true depending on the ordering of vars in lets
File "src/lib/structures/expr.ml", lines 2118-2120, characters 26-49:
2118 | .........................."TODO: do it for this case once \
2119 |                            free-vars issues of theories axioms \
2120 |                            with hypotheses fixed".
Warning 22 [preprocessor]: TODO: do it for this case once free-vars issues of theories axioms with hypotheses fixed
File "src/lib/structures/expr.ml", lines 2114-2116, characters 26-56:
2114 | .........................."TODO: filter_good_triggers for this \
2115 |                            case once free-vars issues of theories \
2116 |                            axioms with hypotheses fixed".
Warning 22 [preprocessor]: TODO: filter_good_triggers for this case once free-vars issues of theories axioms with hypotheses fixed
File "src/lib/structures/expr.ml", line 2320, characters 20-57:
2320 |   [@ocaml.ppwarning "TODO: add a match construct in expr"]
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add a match construct in expr
File "src/lib/structures/expr.ml", line 2319, characters 20-50:
2319 |   [@ocaml.ppwarning "TODO: add other elim schemes"]
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add other elim schemes
File "src/lib/structures/expr.ml", line 2318, characters 20-62:
2318 |   [@ocaml.ppwarning "TODO: introduce a let if e is a big expr"]
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: introduce a let if e is a big expr
    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Records.{cmx,o}
File "src/lib/reasoners/records.ml", line 283, characters 26-69:
283 |         [@ocaml.ppwarning "TODO: should not rebuild if not changed !"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should not rebuild if not changed !
    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml_types.{cmx,o}
File "src/lib/structures/satml_types.ml", line 852, characters 33-71:
852 |                [@ocaml.ppwarning "xlit or at_lit is probably redundant"]
                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: xlit or at_lit is probably redundant
    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Cnf.{cmx,o}
File "src/lib/frontend/cnf.ml", lines 38-40, characters 19-33:
38 | ..................."TODO: Change Symbols.Float to store FP numeral \
39 |                     constants (eg, <24, -149> for single) instead of \
40 |                     having terms".
Warning 22 [preprocessor]: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms
File "src/lib/frontend/cnf.ml", line 250, characters 29-64:
250 |            [@ocaml.ppwarning "TODO: should introduce fresh vars"]
                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should introduce fresh vars
File "src/lib/frontend/cnf.ml", line 475, characters 29-64:
475 |            [@ocaml.ppwarning "TODO: should introduce fresh vars"]
                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should introduce fresh vars
    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Adt.{cmx,o}
File "src/lib/reasoners/adt.ml", lines 63-64, characters 21-30:
63 | ....................."XXX: IsConstr not interpreted currently. Maybe \
64 |                       it's OK".
Warning 22 [preprocessor]: XXX: IsConstr not interpreted currently. Maybe it's OK
File "src/lib/reasoners/adt.ml", line 105, characters 24-64:
105 |       [@ocaml.ppwarning "TODO: canonize Constr(list of selects)"]
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: canonize Constr(list of selects)
File "src/lib/reasoners/adt.ml", line 227, characters 21-37:
227 |   [@@ocaml.ppwarning "TODO: not sure"]
                           ^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: not sure
File "src/lib/reasoners/adt.ml", line 318, characters 24-50:
318 |       [@ocaml.ppwarning "TODO: abstract Selectors"] ->
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors
File "src/lib/reasoners/adt.ml", line 305, characters 26-66:
305 |         [@ocaml.ppwarning "TODO: abstract Selectors: case to test"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors: case to test
File "src/lib/reasoners/adt.ml", line 313, characters 27-67:
313 |          [@ocaml.ppwarning "TODO: abstract Selectors: case to test"] then
                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors: case to test
File "src/lib/reasoners/adt.ml", line 328, characters 27-53:
328 |          [@ocaml.ppwarning "TODO: abstract Selectors"] then
                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: abstract Selectors
    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Shostak.{cmx,o}
File "src/lib/reasoners/shostak.ml", lines 551-553, characters 26-39:
551 | .........................."TODO: a simple way of handling equalities \
552 |                            with void and unit is to add this case is \
553 |                            the solver!".
Warning 22 [preprocessor]: TODO: a simple way of handling equalities with void and unit is to add this case is the solver!
    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Ite_rel.{cmx,o}
File "src/lib/reasoners/ite_rel.ml", line 119, characters 35-62:
119 |                  [@ocaml.ppwarning "TODO: build IFF instead ?"]
                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: build IFF instead ?
    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Adt_rel.{cmx,o}
File "src/lib/reasoners/adt_rel.ml", lines 41-42, characters 22-51:
41 | ......................"selectors should be improved. only representatives \
42 |                        in it. No true or false _is".
Warning 22 [preprocessor]: selectors should be improved. only representatives in it. No true or false _is
File "src/lib/reasoners/adt_rel.ml", lines 296-297, characters 19-66:
296 | ..................."XXX improve. For each selector, store its \
297 |                     corresponding constructor when typechecking ?".
Warning 22 [preprocessor]: XXX improve. For each selector, store its corresponding constructor when typechecking ?
File "src/lib/reasoners/adt_rel.ml", line 334, characters 19-72:
334 | [@@ocaml.ppwarning "working with X.term_extract r would be sufficient ?"]
                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: working with X.term_extract r would be sufficient ?
File "src/lib/reasoners/adt_rel.ml", line 648, characters 31-77:
648 |              [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"]
                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ?
File "src/lib/reasoners/adt_rel.ml", line 709, characters 26-72:
709 |         [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ?
    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__IntervalCalculus.{cmx,o}
File "src/lib/reasoners/intervalCalculus.ml", line 1829, characters 27-63:
1829 |          [@ocaml.ppwarning "TODO: add other terms such as div!"]
                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: add other terms such as div!
File "src/lib/reasoners/intervalCalculus.ml", line 2078, characters 28-73:
2078 |           [@ocaml.ppwarning "TODO: find an example triggering this case!"]
                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: find an example triggering this case!
    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml.{cmx,o}
File "src/lib/reasoners/satml.ml", line 523, characters 26-66:
523 |         [@ocaml.ppwarning "TODO: try to disable 'fill_with_dummy'"]
                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: try to disable 'fill_with_dummy'
File "src/lib/reasoners/satml.ml", lines 1576-1579, characters 28-42:
1576 | ............................"TODO: add a heavy assert that checks \
1577 |                              that clauses are not redundant, watchs \
1578 |                              are well set, unit and bottom are \
1579 |                              detected ...".
Warning 22 [preprocessor]: TODO: add a heavy assert that checks that clauses are not redundant, watchs are well set, unit and bottom are detected ...
File "src/lib/reasoners/satml.ml", lines 1645-1646, characters 22-43:
1645 | ......................"Issue: BAD decision_level, in particular, \
1646 |                        if minimal-bj is ON".
Warning 22 [preprocessor]: Issue: BAD decision_level, in particular, if minimal-bj is ON
    ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml_frontend.{cmx,o}
File "src/lib/reasoners/satml_frontend.ml", line 374, characters 24-77:
374 |       [@ocaml.ppwarning "TODO: modifications made in tbox are lost! improve?"]
                              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: modifications made in tbox are lost! improve?
File "src/lib/reasoners/satml_frontend.ml", lines 671-672, characters 6-63:
671 | ......"improve terms / atoms extraction in lazy/non-lazy \
672 |        and greedy/non-greedy mode. Separate atoms from terms !".
Warning 22 [preprocessor]: improve terms / atoms extraction in lazy/non-lazy and greedy/non-greedy mode. Separate atoms from terms !
File "src/lib/reasoners/satml_frontend.ml", line 693, characters 22-75:
693 |     [@ocaml.ppwarning "Issue for greedy: terms inside lemmas not extracted"]
                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: Issue for greedy: terms inside lemmas not extracted
File "src/lib/reasoners/satml_frontend.ml", lines 714-715, characters 22-73:
714 | ......................"!!! Possibles issues du to replacement of atoms \
715 |                        that are facts with TRUE by mk_lit (and simplify)".
Warning 22 [preprocessor]: !!! Possibles issues du to replacement of atoms that are facts with TRUE by mk_lit (and simplify)
File "src/lib/reasoners/satml_frontend.ml", line 748, characters 28-61:
748 |           [@ocaml.ppwarning "TODO: should be assert failure?"]
                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should be assert failure?
File "src/lib/reasoners/satml_frontend.ml", line 846, characters 34-79:
846 |                 [@ocaml.ppwarning "TODO: should fix for unsat cores generation"]
                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: should fix for unsat cores generation
File "src/lib/reasoners/satml_frontend.ml", line 985, characters 20-79:
985 |                     "TODO: first intantiation a la DfsSAT before searching ..."]
                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 22 [preprocessor]: TODO: first intantiation a la DfsSAT before searching ...
    ocamlopt src/parsers/.AltErgoParsers.objs/native/altErgoParsers__Psmt2_to_alt_ergo.{cmx,o}
File "src/parsers/psmt2_to_alt_ergo.ml", lines 396-444, characters 4-21:
396 | ....match command.c with
397 |     | Cmd_Assert(assert_term) ->
398 |       (translate_assert (pos command) assert_term) :: acc
399 |     | Cmd_CheckEntailment(assert_term) ->
400 |       (translate_goal (pos command) assert_term) :: acc
...
441 |     | Cmd_SetInfo _ -> not_supported "set-info"; acc
442 |     | Cmd_Push n -> translate_push_pop mk_push n (pos command) :: acc
443 |     | Cmd_Pop n -> translate_push_pop mk_pop n (pos command) :: acc
444 |     | Cmd_Exit -> acc
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
(Cmd_CheckAllSat _|Cmd_Maximize _|Cmd_Minimize _)
make[1]: Leaving directory '/build/alt-ergo-LPa3EY/alt-ergo-2.4.1'
dh: command-omitted: The call to "dh_auto_test -a" was omitted due to "DEB_BUILD_OPTIONS=nocheck"
   create-stamp debian/debhelper-build-stamp
   dh_prep -a
   debian/rules override_dh_auto_install
make[1]: Entering directory '/build/alt-ergo-LPa3EY/alt-ergo-2.4.1'
touch _build/default/altgr-ergo.install
dune install -p alt-ergo-lib,alt-ergo-parsers,alt-ergo --prefix=/usr --libdir=../usr/lib/ocaml --mandir=/usr/share/man --destdir=/build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo/META
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo/dune-package
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo/opam
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/bin/alt-ergo
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/plugins/AB-Why3-plugin.cma
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/plugins/AB-Why3-plugin.cmxs
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/plugins/fm-simplex-plugin.cma
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/plugins/fm-simplex-plugin.cmxs
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/preludes/b-set-theory-prelude-2018-09-28.ae
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/preludes/b-set-theory-prelude-2020-02-28.ae
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.ae
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/preludes/fpa-theory-2019-06-14-11h00.ae
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/preludes/fpa-theory-2019-10-08-19h00.ae
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo/LICENSE.md
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo/README.md
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo/odoc-pages/index.mld
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo/odoc-pages/index_abwhy3.mld
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo/odoc-pages/index_common.mld
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo/odoc-pages/index_fmsimplex.mld
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/share/man/man1/alt-ergo.1
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/AltErgoLib.a
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/AltErgoLib.cma
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/AltErgoLib.cmxa
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/META
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ac.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ac.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/adt.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/adt.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/adt_rel.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/adt_rel.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ac.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ac.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ac.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ac.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arith.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arith.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arith.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arith.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Commands.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Commands.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Commands.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Commands.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Config.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Config.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Config.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Emap.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Emap.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Emap.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Emap.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Errors.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Errors.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Errors.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Errors.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Expr.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Expr.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Expr.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Expr.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Format_shims.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Format_shims.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Format_shims.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Input.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Input.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Input.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Input.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Instances.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Instances.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Instances.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Instances.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Lists.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Lists.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Lists.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Lists.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Loc.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Loc.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Loc.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Loc.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching_types.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching_types.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumbersInterface.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumbersInterface.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Options.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Options.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Options.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Options.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Printer.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Printer.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Printer.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Printer.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Relation.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Relation.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Relation.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Relation.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sig.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sig.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sig_rel.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sig_rel.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Steps.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Steps.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Steps.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Steps.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Theory.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Theory.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Theory.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Theory.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Timers.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Timers.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Timers.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Timers.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ty.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ty.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ty.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ty.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typed.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typed.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typed.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typed.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Uf.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Uf.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Uf.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Uf.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Use.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Use.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Use.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Use.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Util.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Util.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Util.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Util.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Var.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Var.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Var.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Var.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Vec.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Vec.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Vec.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Vec.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Version.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Version.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Version.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Version.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/arith.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/arith.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/arrays.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/arrays.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/arrays_rel.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/arrays_rel.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/bitv.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/bitv.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/bitv_rel.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/bitv_rel.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ccx.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ccx.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/cnf.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/cnf.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/commands.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/commands.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/config.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/dune-package
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/emap.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/emap.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/enum.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/enum.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/enum_rel.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/enum_rel.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/errors.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/errors.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/explanation.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/explanation.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/expr.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/expr.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/format_shims.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/fpa_rounding.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/fpa_rounding.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/frontend.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/frontend.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/fun_sat.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/fun_sat.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/gc_debug.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/gc_debug.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/hconsing.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/hconsing.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/hstring.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/hstring.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/iheap.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/iheap.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/inequalities.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/inequalities.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/input.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/input.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/instances.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/instances.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/intervalCalculus.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/intervalCalculus.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/intervals.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/intervals.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ite.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ite.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ite_rel.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ite_rel.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/lists.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/lists.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/loc.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/loc.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/matching.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/matching.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/matching_types.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/missing_primitives.js
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/myDynlink.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/myDynlink.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/myUnix.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/myUnix.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/numbers.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/numbers.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/numbersInterface.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/numsNumbers.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/numsNumbers.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/opam
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/options.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/options.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/parsed.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/parsed.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/parsed_interface.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/parsed_interface.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/polynome.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/polynome.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/printer.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/printer.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/profiling.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/profiling.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/records.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/records.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/records_rel.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/records_rel.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/relation.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/relation.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/sat_solver.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/sat_solver.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/sat_solver_sig.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/sat_solver_sig.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml_frontend.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml_frontend.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml_frontend_hybrid.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml_frontend_hybrid.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml_types.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml_types.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/shostak.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/shostak.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/sig.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/sig_rel.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/steps.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/steps.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/symbols.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/symbols.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/th_util.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/th_util.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/theory.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/theory.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/timers.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/timers.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ty.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ty.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/typechecker.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/typechecker.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/typed.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/typed.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/uf.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/uf.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/use.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/use.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/util.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/util.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/var.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/var.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/vec.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/vec.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/version.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/version.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/xliteral.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/xliteral.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/zarithNumbers.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/zarithNumbers.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/AltErgoLib.cmxs
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo-lib/LICENSE.md
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo-lib/README.md
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo-lib/odoc-pages/index.mld
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/AltErgoParsers.a
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/AltErgoParsers.cma
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/AltErgoParsers.cmxa
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/META
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_lexer.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_lexer.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_lexer.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_parser.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_parser.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_parser.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_parser.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/dune-package
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/missing_primitives.js
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/myZip.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/myZip.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/native_lexer.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/native_parser.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/native_parser.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/opam
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/parsers.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/parsers.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/parsers_loader.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/parsers_loader.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/psmt2_to_alt_ergo.ml
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/psmt2_to_alt_ergo.mli
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/AltErgoParsers.cmxs
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo-parsers/LICENSE.md
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo-parsers/README.md
Installing /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo-parsers/odoc-pages/index.mld
rm -rf /build/alt-ergo-LPa3EY/alt-ergo-2.4.1/debian/alt-ergo/usr/doc
make[1]: Leaving directory '/build/alt-ergo-LPa3EY/alt-ergo-2.4.1'
   dh_ocamldoc -a
   dh_installdocs -a
   dh_installchangelogs -a
   dh_installexamples -a
   dh_installman -a
   dh_perl -a
   dh_link -a
   dh_strip_nondeterminism -a
   dh_compress -a
   dh_fixperms -a
   dh_missing -a
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
   dh_installdeb -a
   dh_ocaml -a
W: alt-ergo doesn't resolve dependency on unit OcplibSimplex
W: alt-ergo doesn't resolve dependency on unit OcplibSimplex
   dh_gencontrol -a
   dh_md5sums -a
   dh_builddeb -a
dpkg-deb: building package 'alt-ergo' in '../alt-ergo_2.4.1-2_amd64.deb'.
dpkg-deb: building package 'alt-ergo-dbgsym' in '../alt-ergo-dbgsym_2.4.1-2_amd64.deb'.
 dpkg-genbuildinfo --build=any -O../alt-ergo_2.4.1-2_amd64.buildinfo
 dpkg-genchanges --build=any -O../alt-ergo_2.4.1-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/alt-ergo-LPa3EY /tmp/alt-ergo-2.4.1-2es2gk6gs
I: cleaning package lists and apt cache...
I: removing tempdir /tmp/mmdebstrap.5I4HgLd70T...
I: success in 619.1903 seconds
md5: alt-ergo-dbgsym_2.4.1-2_amd64.deb: OK
md5: alt-ergo_2.4.1-2_amd64.deb: OK
sha1: alt-ergo-dbgsym_2.4.1-2_amd64.deb: OK
sha1: alt-ergo_2.4.1-2_amd64.deb: OK
sha256: alt-ergo-dbgsym_2.4.1-2_amd64.deb: OK
sha256: alt-ergo_2.4.1-2_amd64.deb: OK
Checksums: OK