Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/a/alt-ergo/alt-ergo_2.4.1-4_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/alt-ergo-2.4.1-4vy__nhlz/alt-ergo_2.4.1-4_amd64.buildinfo Get source package info: alt-ergo=2.4.1-4 Source URL: http://snapshot.notset.fr/mr/package/alt-ergo/2.4.1-4/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=adwaita-icon-theme=42.0-2 autoconf=2.71-2 automake=1:1.16.5-1.3 autopoint=0.21-6 autotools-dev=20220109.1 base-files=12.2 base-passwd=3.5.52 bash=5.1-6.1 binutils=2.38.50.20220629-4 binutils-common=2.38.50.20220629-4 binutils-x86-64-linux-gnu=2.38.50.20220629-4 bsdextrautils=2.38-4 bsdutils=1:2.38-4 build-essential=12.9 bzip2=1.0.8-5 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.3.0-4 dash=0.5.11+git20210903+057cd650a4ed-8 debconf=1.5.79 debhelper=13.8 debianutils=5.7-0.2 dh-autoreconf=20 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.13.0-1 dictionaries-common=1.28.14 diffutils=1:3.7-5 dpkg=1.21.9 dpkg-dev=1.21.9 dwz=0.14-1 emacsen-common=3.0.4 file=1:5.41-4 findutils=4.9.0-3 fontconfig=2.13.1-4.4 fontconfig-config=2.13.1-4.4 fonts-dejavu-core=2.37-2 g++=4:11.2.0-2 g++-11=11.3.0-4 gcc=4:11.2.0-2 gcc-11=11.3.0-4 gcc-11-base=11.3.0-4 gcc-12-base=12.1.0-5 gettext=0.21-6 gettext-base=0.21-6 gir1.2-atk-1.0=2.38.0-1 gir1.2-freedesktop=1.72.0-1+b1 gir1.2-gdkpixbuf-2.0=2.42.8+dfsg-1 gir1.2-glib-2.0=1.72.0-1+b1 gir1.2-gtk-2.0=2.24.33-2 gir1.2-harfbuzz-0.0=2.7.4-1+b1 gir1.2-pango-1.0=1.50.7+ds-1 grep=3.7-1 groff-base=1.22.4-8 gtk-update-icon-cache=3.24.34-1 gzip=1.12-1 hicolor-icon-theme=0.17-2 hostname=3.23 hunspell-en-us=1:2020.12.07-2 icu-devtools=71.1-3 init-system-helpers=1.63 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.3.0-4 libaspell15=0.60.8-4 libatk1.0-0=2.38.0-1 libatk1.0-data=2.38.0-1 libatk1.0-dev=2.38.0-1 libatomic1=12.1.0-5 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1+b1 libavahi-client3=0.8-6 libavahi-common-data=0.8-6 libavahi-common3=0.8-6 libbinutils=2.38.50.20220629-4 libblkid-dev=2.38-4 libblkid1=2.38-4 libbrotli-dev=1.0.9-2+b3 libbrotli1=1.0.9-2+b3 libbsd0=0.11.6-1 libbz2-1.0=1.0.8-5 libc-bin=2.33-7 libc-dev-bin=2.33-7 libc6=2.33-7 libc6-dev=2.33-7 libcairo-gobject2=1.16.0-5 libcairo-script-interpreter2=1.16.0-5 libcairo2=1.16.0-5 libcairo2-dev=1.16.0-5 libcap-ng0=0.8.3-1 libcap2=1:2.44-1 libcc1-0=12.1.0-5 libcmdliner-ocaml-dev=1.1.1-1 libcom-err2=1.46.5-2 libcrypt-dev=1:4.4.28-1 libcrypt1=1:4.4.28-1 libcsexp-ocaml=1.5.1-1+b1 libcsexp-ocaml-dev=1.5.1-1+b1 libctf-nobfd0=2.38.50.20220629-4 libctf0=2.38.50.20220629-4 libcups2=2.4.2-1 libdatrie-dev=0.2.13-2 libdatrie1=0.2.13-2 libdb5.3=5.3.28+dfsg1-0.10 libdbus-1-3=1.14.0-1 libdebconfclient0=0.263 libdebhelper-perl=13.8 libdeflate-dev=1.12-1 libdeflate0=1.12-1 libdpkg-perl=1.21.9 libdune-ocaml-dev=2.9.1-1+b1 libelf1=0.187-1 libenchant-2-2=2.3.3-1 libenchant-2-dev=2.3.3-1 libexpat1=2.4.8-1 libexpat1-dev=2.4.8-1 libffi-dev=3.4.2-4 libffi8=3.4.2-4 libfile-stripnondeterminism-perl=1.13.0-1 libfindlib-ocaml=1.9.3-1 libfontconfig-dev=2.13.1-4.4 libfontconfig1=2.13.1-4.4 libfontconfig1-dev=2.13.1-4.4 libfreetype-dev=2.12.1+dfsg-3 libfreetype6=2.12.1+dfsg-3 libfreetype6-dev=2.12.1+dfsg-3 libfribidi-dev=1.0.8-2.1 libfribidi0=1.0.8-2.1 libgcc-11-dev=11.3.0-4 libgcc-s1=12.1.0-5 libgcrypt20=1.10.1-2 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libgdk-pixbuf-2.0-0=2.42.8+dfsg-1 libgdk-pixbuf-2.0-dev=2.42.8+dfsg-1 libgdk-pixbuf2.0-bin=2.42.8+dfsg-1 libgdk-pixbuf2.0-common=2.42.8+dfsg-1 libgirepository-1.0-1=1.72.0-1+b1 libglib2.0-0=2.72.3-1 libglib2.0-bin=2.72.3-1 libglib2.0-data=2.72.3-1 libglib2.0-dev=2.72.3-1 libglib2.0-dev-bin=2.72.3-1 libgmp-dev=2:6.2.1+dfsg1-1 libgmp10=2:6.2.1+dfsg1-1 libgmp3-dev=2:6.2.1+dfsg1-1 libgmpxx4ldbl=2:6.2.1+dfsg1-1 libgnutls30=3.7.6-2 libgomp1=12.1.0-5 libgpg-error0=1.45-2 libgprofng0=2.38.50.20220629-4 libgraphite2-3=1.3.14-1 libgraphite2-dev=1.3.14-1 libgssapi-krb5-2=1.19.2-2+b2 libgtk2.0-0=2.24.33-2 libgtk2.0-common=2.24.33-2 libgtk2.0-dev=2.24.33-2 libgtkspell-dev=2.0.16-1.3 libgtkspell0=2.0.16-1.3 libharfbuzz-dev=2.7.4-1+b1 libharfbuzz-gobject0=2.7.4-1+b1 libharfbuzz-icu0=2.7.4-1+b1 libharfbuzz0b=2.7.4-1+b1 libhogweed6=3.7.3-1 libhunspell-1.7-0=1.7.0-4 libice-dev=2:1.0.10-1 libice6=2:1.0.10-1 libicu-dev=71.1-3 libicu71=71.1-3 libidn2-0=2.3.2-2 libisl23=0.24-2 libitm1=12.1.0-5 libjbig-dev=2.1-3.1+b2 libjbig0=2.1-3.1+b2 libjpeg-dev=1:2.1.2-1 libjpeg62-turbo=1:2.1.2-1 libjpeg62-turbo-dev=1:2.1.2-1 libk5crypto3=1.19.2-2+b2 libkeyutils1=1.6.3-1 libkrb5-3=1.19.2-2+b2 libkrb5support0=1.19.2-2+b2 liblablgtk2-ocaml=2.18.12-1 liblablgtk2-ocaml-dev=2.18.12-1 liblerc-dev=3.0+ds-1 liblerc3=3.0+ds-1 liblsan0=12.1.0-5 liblz4-1=1.9.3-2 liblzma-dev=5.2.5-2.1 liblzma5=5.2.5-2.1 liblzo2-2=2.10-2 libmagic-mgc=1:5.41-4 libmagic1=1:5.41-4 libmd0=1.0.4-1 libmount-dev=2.38-4 libmount1=2.38-4 libmpc3=1.2.1-2 libmpdec3=2.5.1-2 libmpfr6=4.1.0-3 libncurses-dev=6.3+20220423-2 libncurses5-dev=6.3+20220423-2 libncurses6=6.3+20220423-2 libncursesw6=6.3+20220423-2 libnettle8=3.7.3-1 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libnum-ocaml=1.4-2 libnum-ocaml-dev=1.4-2 libocamlgraph-ocaml-dev=2.0.0-3+b1 libp11-kit0=0.24.1-1 libpam-modules=1.4.0-13 libpam-modules-bin=1.4.0-13 libpam-runtime=1.4.0-13 libpam0g=1.4.0-13 libpango-1.0-0=1.50.7+ds-1 libpango1.0-dev=1.50.7+ds-1 libpangocairo-1.0-0=1.50.7+ds-1 libpangoft2-1.0-0=1.50.7+ds-1 libpangoxft-1.0-0=1.50.7+ds-1 libpcre16-3=2:8.39-14 libpcre2-16-0=10.40-1 libpcre2-32-0=10.40-1 libpcre2-8-0=10.40-1 libpcre2-dev=10.40-1 libpcre2-posix3=10.40-1 libpcre3=2:8.39-14 libpcre3-dev=2:8.39-14 libpcre32-3=2:8.39-14 libpcrecpp0v5=2:8.39-14 libperl5.34=5.34.0-4 libpipeline1=1.5.6-1 libpixman-1-0=0.40.0-1 libpixman-1-dev=0.40.0-1 libpng-dev=1.6.37-5 libpng16-16=1.6.37-5 libpsmt2-frontend-ocaml=0.4.0-1+b1 libpsmt2-frontend-ocaml-dev=0.4.0-1+b1 libpthread-stubs0-dev=0.4-1 libpython3-stdlib=3.10.4-1+b1 libpython3.10-minimal=3.10.5-1 libpython3.10-stdlib=3.10.5-1 libquadmath0=12.1.0-5 libreadline8=8.1.2-1.2 libseccomp2=2.5.4-1 libselinux1=3.4-1 libselinux1-dev=3.4-1 libsepol-dev=3.4-2 libsepol2=3.4-2 libsigsegv2=2.14-1 libsm-dev=2:1.2.3-1 libsm6=2:1.2.3-1 libsmartcols1=2.38-4 libsqlite3-0=3.39.0-1 libssl3=3.0.4-2 libstdc++-11-dev=11.3.0-4 libstdc++6=12.1.0-5 libsub-override-perl=0.09-3 libsystemd0=251.2-7 libtasn1-6=4.18.0-4 libtext-iconv-perl=1.7-7+b2 libthai-data=0.1.29-1 libthai-dev=0.1.29-1 libthai0=0.1.29-1 libtiff-dev=4.4.0-2 libtiff5=4.4.0-2 libtiffxx5=4.4.0-2 libtinfo6=6.3+20220423-2 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.7-4 libtsan0=11.3.0-4 libubsan1=12.1.0-5 libuchardet0=0.0.7-1 libudev1=251.2-7 libunistring2=1.0-1 libuuid1=2.38-4 libwebp7=1.2.2-2+b1 libx11-6=2:1.7.5-1 libx11-data=2:1.7.5-1 libx11-dev=2:1.7.5-1 libxau-dev=1:1.0.9-1 libxau6=1:1.0.9-1 libxcb-render0=1.14-3 libxcb-render0-dev=1.14-3 libxcb-shm0=1.14-3 libxcb-shm0-dev=1.14-3 libxcb1=1.14-3 libxcb1-dev=1.14-3 libxcomposite-dev=1:0.4.5-1 libxcomposite1=1:0.4.5-1 libxcursor-dev=1:1.2.1-1 libxcursor1=1:1.2.1-1 libxdamage-dev=1:1.1.5-2 libxdamage1=1:1.1.5-2 libxdmcp-dev=1:1.1.2-3 libxdmcp6=1:1.1.2-3 libxext-dev=2:1.3.4-1 libxext6=2:1.3.4-1 libxfixes-dev=1:6.0.0-1 libxfixes3=1:6.0.0-1 libxft-dev=2.3.4-1 libxft2=2.3.4-1 libxi-dev=2:1.8-1 libxi6=2:1.8-1 libxinerama-dev=2:1.1.4-3 libxinerama1=2:1.1.4-3 libxml2=2.9.14+dfsg-1 libxml2-utils=2.9.14+dfsg-1 libxrandr-dev=2:1.5.2-2+b1 libxrandr2=2:1.5.2-2+b1 libxrender-dev=1:0.9.10-1.1 libxrender1=1:0.9.10-1.1 libzarith-ocaml=1.12-1+b1 libzarith-ocaml-dev=1.12-1+b1 libzip-ocaml=1.11-1+b1 libzip-ocaml-dev=1.11-1+b1 libzstd1=1.5.2+dfsg-1 linux-libc-dev=5.18.5-1 login=1:4.11.1+dfsg1-2 lsb-base=11.2 m4=1.4.18-5 make=4.3-4.1 man-db=2.10.2-1 mawk=1.3.4.20200120-3.1 media-types=8.0.0 menhir=20220210+ds-2 ncurses-base=6.3+20220423-2 ncurses-bin=6.3+20220423-2 ocaml=4.13.1-3 ocaml-base=4.13.1-3 ocaml-compiler-libs=4.13.1-3 ocaml-dune=2.9.1-1+b1 ocaml-findlib=1.9.3-1 ocaml-interp=4.13.1-3 ocaml-nox=4.13.1-3 ocplib-simplex-ocaml-dev=0.4-2+b2 pango1.0-tools=1.50.7+ds-1 patch=2.7.6-7 perl=5.34.0-4 perl-base=5.34.0-4 perl-modules-5.34=5.34.0-4 pkg-config=0.29.2-1 po-debconf=1.0.21+nmu1 python3=3.10.4-1+b1 python3-distutils=3.10.5-1 python3-lib2to3=3.10.5-1 python3-minimal=3.10.4-1+b1 python3.10=3.10.5-1 python3.10-minimal=3.10.5-1 readline-common=8.1.2-1.2 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 shared-mime-info=2.2-1 sysvinit-utils=3.03-1 tar=1.34+dfsg-1 ucf=3.0043 util-linux=2.38-4 util-linux-extra=2.38-4 uuid-dev=2.38-4 x11-common=1:7.7+23 x11proto-dev=2022.1-1 xorg-sgml-doctools=1:1.11-1.1 xtrans-dev=1.4.0-1 xz-utils=5.2.5-2.1 zlib1g=1:1.2.11.dfsg-4 zlib1g-dev=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/20220706T084720Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220706T084720Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220704T093053Z/ 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-4 && mkdir -p /build/alt-ergo-K8F7Zh && dpkg-source --no-check -x /*.dsc /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1 && chown -R builduser:builduser /build/alt-ergo-K8F7Zh" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1656919803" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/alt-ergo-K8F7Zh /tmp/alt-ergo-2.4.1-4vy__nhlz bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220704T093053Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: null I: using /tmp/mmdebstrap.ksr2dCQM4X 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.ksr2dCQM4X Reading package lists... Building dependency tree... util-linux is already the newest version (2.38-4). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 136 kB of archives. After this operation, 401 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220704T093053Z unstable/main amd64 libfakeroot amd64 1.29-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220704T093053Z unstable/main amd64 fakeroot amd64 1.29-1 [87.3 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 136 kB in 0s (1011 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4627 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.29-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.29-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.29-1_amd64.deb ... Unpacking fakeroot (1.29-1) ... Setting up libfakeroot:amd64 (1.29-1) ... Setting up fakeroot (1.29-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.33-7) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220706T084720Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220706T084720Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220704T093053Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.ksr2dCQM4X Get:1 http://snapshot.notset.fr/archive/debian/20220706T084720Z bookworm InRelease [130 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20220704T093053Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20220706T084720Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220706T084720Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220706T084720Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220706T084720Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220706T084720Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220706T084720Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20220706T084720Z bookworm/main Sources [12.1 MB] Get:4 http://snapshot.notset.fr/archive/debian/20220706T084720Z bookworm/main amd64 Packages [11.6 MB] Fetched 23.8 MB in 20s (1181 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.ksr2dCQM4X I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d alt-ergo=2.4.1-4 && mkdir -p /build/alt-ergo-K8F7Zh && dpkg-source --no-check -x /*.dsc /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1 && chown -R builduser:builduser /build/alt-ergo-K8F7Zh"' exec /tmp/mmdebstrap.ksr2dCQM4X 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 2893 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220706T084720Z bookworm/main alt-ergo 2.4.1-4 (dsc) [2282 B] Get:2 http://snapshot.notset.fr/archive/debian/20220706T084720Z bookworm/main alt-ergo 2.4.1-4 (tar) [2883 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220706T084720Z bookworm/main alt-ergo 2.4.1-4 (diff) [8112 B] Fetched 2893 kB in 2s (1247 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'alt-ergo_2.4.1-4.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting alt-ergo in /build/alt-ergo-K8F7Zh/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-4.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying fix_menhir_inferences.patch dpkg-source: info: applying fix_cmdliner_1.1.1.patch I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1656919803" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.ksr2dCQM4X dpkg-buildpackage: info: source package alt-ergo dpkg-buildpackage: info: source version 2.4.1-4 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/build/alt-ergo-K8F7Zh/alt-ergo-2.4.1' if [ -f config.status ]; then \ /usr/bin/make dist-clean; \ fi make[1]: Leaving directory '/build/alt-ergo-K8F7Zh/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-K8F7Zh/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-K8F7Zh/alt-ergo-2.4.1' debian/rules override_dh_auto_build make[1]: Entering directory '/build/alt-ergo-K8F7Zh/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 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__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__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 ? 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__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_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 ... 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 _) 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__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__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__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__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__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-K8F7Zh/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-K8F7Zh/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-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo/META Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo/dune-package Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo/opam Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/bin/alt-ergo Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/plugins/AB-Why3-plugin.cma Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/plugins/AB-Why3-plugin.cmxs Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/plugins/fm-simplex-plugin.cma Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/plugins/fm-simplex-plugin.cmxs Installing /build/alt-ergo-K8F7Zh/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-K8F7Zh/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-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.ae Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/preludes/fpa-theory-2019-06-14-11h00.ae Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/share/alt-ergo/preludes/fpa-theory-2019-10-08-19h00.ae Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo/LICENSE.md Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo/README.md Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo/odoc-pages/index.mld Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo/odoc-pages/index_abwhy3.mld Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo/odoc-pages/index_common.mld Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo/odoc-pages/index_fmsimplex.mld Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/share/man/man1/alt-ergo.1 Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/AltErgoLib.a Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/AltErgoLib.cma Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/AltErgoLib.cmxa Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/META Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ac.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ac.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/adt.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/adt.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/adt_rel.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/adt_rel.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ac.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ac.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ac.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ac.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arith.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arith.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arith.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arith.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Commands.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Commands.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Commands.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Commands.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Config.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Config.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Config.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Emap.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Emap.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Emap.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Emap.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Errors.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Errors.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Errors.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Errors.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Expr.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Expr.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Expr.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Expr.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Format_shims.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Format_shims.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Format_shims.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Input.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Input.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Input.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Input.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Instances.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Instances.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Instances.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Instances.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Lists.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Lists.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Lists.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Lists.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Loc.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Loc.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Loc.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Loc.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching_types.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Matching_types.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumbersInterface.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumbersInterface.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Options.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Options.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Options.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Options.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Printer.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Printer.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Printer.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Printer.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Relation.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Relation.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Relation.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Relation.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sig.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sig.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sig_rel.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Sig_rel.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Steps.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Steps.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Steps.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Steps.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Theory.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Theory.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Theory.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Theory.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Timers.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Timers.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Timers.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Timers.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ty.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ty.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ty.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Ty.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typed.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typed.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typed.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Typed.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Uf.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Uf.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Uf.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Uf.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Use.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Use.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Use.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Use.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Util.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Util.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Util.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Util.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Var.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Var.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Var.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Var.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Vec.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Vec.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Vec.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Vec.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Version.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Version.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Version.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Version.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/arith.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/arith.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/arrays.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/arrays.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/arrays_rel.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/arrays_rel.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/bitv.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/bitv.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/bitv_rel.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/bitv_rel.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ccx.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ccx.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/cnf.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/cnf.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/commands.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/commands.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/config.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/dune-package Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/emap.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/emap.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/enum.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/enum.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/enum_rel.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/enum_rel.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/errors.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/errors.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/explanation.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/explanation.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/expr.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/expr.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/format_shims.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/fpa_rounding.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/fpa_rounding.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/frontend.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/frontend.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/fun_sat.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/fun_sat.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/gc_debug.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/gc_debug.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/hconsing.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/hconsing.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/hstring.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/hstring.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/iheap.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/iheap.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/inequalities.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/inequalities.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/input.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/input.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/instances.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/instances.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/intervalCalculus.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/intervalCalculus.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/intervals.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/intervals.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ite.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ite.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ite_rel.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ite_rel.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/lists.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/lists.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/loc.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/loc.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/matching.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/matching.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/matching_types.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/missing_primitives.js Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/myDynlink.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/myDynlink.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/myUnix.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/myUnix.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/numbers.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/numbers.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/numbersInterface.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/numsNumbers.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/numsNumbers.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/opam Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/options.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/options.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/parsed.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/parsed.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/parsed_interface.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/parsed_interface.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/polynome.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/polynome.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/printer.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/printer.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/profiling.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/profiling.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/records.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/records.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/records_rel.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/records_rel.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/relation.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/relation.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/sat_solver.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/sat_solver.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/sat_solver_sig.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/sat_solver_sig.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml_frontend.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml_frontend.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml_frontend_hybrid.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml_frontend_hybrid.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml_types.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/satml_types.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/shostak.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/shostak.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/sig.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/sig_rel.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/steps.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/steps.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/symbols.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/symbols.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/th_util.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/th_util.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/theory.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/theory.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/timers.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/timers.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ty.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/ty.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/typechecker.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/typechecker.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/typed.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/typed.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/uf.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/uf.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/use.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/use.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/util.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/util.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/var.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/var.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/vec.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/vec.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/version.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/version.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/xliteral.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/xliteral.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/zarithNumbers.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/zarithNumbers.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-lib/AltErgoLib.cmxs Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo-lib/LICENSE.md Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo-lib/README.md Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo-lib/odoc-pages/index.mld Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/AltErgoParsers.a Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/AltErgoParsers.cma Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/AltErgoParsers.cmxa Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/META Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_lexer.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_lexer.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_lexer.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_parser.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_parser.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_parser.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Native_parser.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/dune-package Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/missing_primitives.js Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/myZip.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/myZip.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/native_lexer.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/native_parser.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/native_parser.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/opam Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/parsers.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/parsers.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/parsers_loader.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/parsers_loader.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/psmt2_to_alt_ergo.ml Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/psmt2_to_alt_ergo.mli Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/lib/ocaml/alt-ergo-parsers/AltErgoParsers.cmxs Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo-parsers/LICENSE.md Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo-parsers/README.md Installing /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc/alt-ergo-parsers/odoc-pages/index.mld rm -rf /build/alt-ergo-K8F7Zh/alt-ergo-2.4.1/debian/alt-ergo/usr/doc make[1]: Leaving directory '/build/alt-ergo-K8F7Zh/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-dbgsym' in '../alt-ergo-dbgsym_2.4.1-4_amd64.deb'. dpkg-deb: building package 'alt-ergo' in '../alt-ergo_2.4.1-4_amd64.deb'. dpkg-genbuildinfo --build=any -O../alt-ergo_2.4.1-4_amd64.buildinfo dpkg-genchanges --build=any -O../alt-ergo_2.4.1-4_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-K8F7Zh /tmp/alt-ergo-2.4.1-4vy__nhlz I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.ksr2dCQM4X... I: success in 628.9149 seconds md5: alt-ergo-dbgsym_2.4.1-4_amd64.deb: OK md5: alt-ergo_2.4.1-4_amd64.deb: OK sha1: alt-ergo-dbgsym_2.4.1-4_amd64.deb: OK sha1: alt-ergo_2.4.1-4_amd64.deb: OK sha256: alt-ergo-dbgsym_2.4.1-4_amd64.deb: OK sha256: alt-ergo_2.4.1-4_amd64.deb: OK Checksums: OK