https://launchpad.net/ubuntu/+source/alt-ergo/2.0.0-6/+build/19212811 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux riscv64-qemu-lcy01-022 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 Buildd toolchain package versions: launchpad-buildd_188 python-lpbuildd_188 sbuild_0.79.0-1ubuntu1 git_1:2.25.1-1ubuntu1 dpkg-dev_1.19.7ubuntu2 python-debian_0.1.36build1. Syncing the system clock with the buildd NTP service... 27 Apr 19:35:29 ntpdate[203931]: adjust time server 10.211.37.1 offset -0.000085 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19212811 --image-type chroot /home/buildd/filecache-default/f3eb94e98b295919e6c8d0c40a2cb7b393a0119c Creating target for build PACKAGEBUILD-19212811 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19212811 Starting target for build PACKAGEBUILD-19212811 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19212811 'deb http://ftpmaster.internal/ubuntu groovy main universe' 'deb http://ftpmaster.internal/ubuntu groovy-security main universe' 'deb http://ftpmaster.internal/ubuntu groovy-updates main universe' 'deb http://ftpmaster.internal/ubuntu groovy-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-19212811 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19212811 Updating target for build PACKAGEBUILD-19212811 Get:1 http://ftpmaster.internal/ubuntu groovy InRelease [268 kB] Get:2 http://ftpmaster.internal/ubuntu groovy-security InRelease [89.1 kB] Get:3 http://ftpmaster.internal/ubuntu groovy-updates InRelease [89.1 kB] Get:4 http://ftpmaster.internal/ubuntu groovy-proposed InRelease [109 kB] Get:5 http://ftpmaster.internal/ubuntu groovy/main riscv64 Packages [879 kB] Get:6 http://ftpmaster.internal/ubuntu groovy/main Translation-en [506 kB] Get:7 http://ftpmaster.internal/ubuntu groovy/universe riscv64 Packages [7951 kB] Get:8 http://ftpmaster.internal/ubuntu groovy/universe Translation-en [5124 kB] Get:9 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 Packages [30.5 kB] Get:10 http://ftpmaster.internal/ubuntu groovy-proposed/main Translation-en [20.4 kB] Get:11 http://ftpmaster.internal/ubuntu groovy-proposed/universe riscv64 Packages [152 kB] Get:12 http://ftpmaster.internal/ubuntu groovy-proposed/universe Translation-en [118 kB] Fetched 15.3 MB in 25s (604 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages will be upgraded: base-files cpp-9 g++-9 gcc-9 gcc-9-base libgcc-9-dev libidn2-0 libncursesw6 libssl1.1 libstdc++-9-dev libsystemd0 libtinfo6 libudev1 ncurses-base ncurses-bin openssl 16 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 26.2 MB of archives. After this operation, 15.4 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu groovy/main riscv64 base-files riscv64 11ubuntu6 [59.6 kB] Get:2 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 ncurses-bin riscv64 6.2-1 [166 kB] Get:3 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 ncurses-base all 6.2-1 [18.7 kB] Get:4 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsystemd0 riscv64 245.4-4ubuntu3 [243 kB] Get:5 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libncursesw6 riscv64 6.2-1 [116 kB] Get:6 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libtinfo6 riscv64 6.2-1 [78.7 kB] Get:7 http://ftpmaster.internal/ubuntu groovy/main riscv64 libudev1 riscv64 245.4-4ubuntu3 [70.4 kB] Get:8 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libidn2-0 riscv64 2.3.0-1 [50.5 kB] Get:9 http://ftpmaster.internal/ubuntu groovy/main riscv64 libssl1.1 riscv64 1.1.1f-1ubuntu2 [967 kB] Get:10 http://ftpmaster.internal/ubuntu groovy/main riscv64 openssl riscv64 1.1.1f-1ubuntu2 [595 kB] Get:11 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 g++-9 riscv64 9.3.0-11ubuntu2 [6930 kB] Get:12 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 gcc-9 riscv64 9.3.0-11ubuntu2 [6789 kB] Get:13 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libstdc++-9-dev riscv64 9.3.0-11ubuntu2 [3681 kB] Get:14 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libgcc-9-dev riscv64 9.3.0-11ubuntu2 [404 kB] Get:15 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 cpp-9 riscv64 9.3.0-11ubuntu2 [6047 kB] Get:16 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 gcc-9-base riscv64 9.3.0-11ubuntu2 [19.4 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 26.2 MB in 5s (5154 kB/s) (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../base-files_11ubuntu6_riscv64.deb ... Unpacking base-files (11ubuntu6) over (11ubuntu5) ... Setting up base-files (11ubuntu6) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.2-1_riscv64.deb ... Unpacking ncurses-bin (6.2-1) over (6.2-0ubuntu2) ... Setting up ncurses-bin (6.2-1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.2-1_all.deb ... Unpacking ncurses-base (6.2-1) over (6.2-0ubuntu2) ... Setting up ncurses-base (6.2-1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libsystemd0_245.4-4ubuntu3_riscv64.deb ... Unpacking libsystemd0:riscv64 (245.4-4ubuntu3) over (245.4-4ubuntu1) ... Setting up libsystemd0:riscv64 (245.4-4ubuntu3) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libncursesw6_6.2-1_riscv64.deb ... Unpacking libncursesw6:riscv64 (6.2-1) over (6.2-0ubuntu2) ... Preparing to unpack .../libtinfo6_6.2-1_riscv64.deb ... Unpacking libtinfo6:riscv64 (6.2-1) over (6.2-0ubuntu2) ... Setting up libtinfo6:riscv64 (6.2-1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libudev1_245.4-4ubuntu3_riscv64.deb ... Unpacking libudev1:riscv64 (245.4-4ubuntu3) over (245.4-4ubuntu1) ... Setting up libudev1:riscv64 (245.4-4ubuntu3) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../libidn2-0_2.3.0-1_riscv64.deb ... Unpacking libidn2-0:riscv64 (2.3.0-1) over (2.2.0-2) ... Setting up libidn2-0:riscv64 (2.3.0-1) ... (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../0-libssl1.1_1.1.1f-1ubuntu2_riscv64.deb ... Unpacking libssl1.1:riscv64 (1.1.1f-1ubuntu2) over (1.1.1f-1ubuntu1) ... Preparing to unpack .../1-openssl_1.1.1f-1ubuntu2_riscv64.deb ... Unpacking openssl (1.1.1f-1ubuntu2) over (1.1.1f-1ubuntu1) ... Preparing to unpack .../2-g++-9_9.3.0-11ubuntu2_riscv64.deb ... Unpacking g++-9 (9.3.0-11ubuntu2) over (9.3.0-10ubuntu2) ... Preparing to unpack .../3-gcc-9_9.3.0-11ubuntu2_riscv64.deb ... Unpacking gcc-9 (9.3.0-11ubuntu2) over (9.3.0-10ubuntu2) ... Preparing to unpack .../4-libstdc++-9-dev_9.3.0-11ubuntu2_riscv64.deb ... Unpacking libstdc++-9-dev:riscv64 (9.3.0-11ubuntu2) over (9.3.0-10ubuntu2) ... Preparing to unpack .../5-libgcc-9-dev_9.3.0-11ubuntu2_riscv64.deb ... Unpacking libgcc-9-dev:riscv64 (9.3.0-11ubuntu2) over (9.3.0-10ubuntu2) ... Preparing to unpack .../6-cpp-9_9.3.0-11ubuntu2_riscv64.deb ... Unpacking cpp-9 (9.3.0-11ubuntu2) over (9.3.0-10ubuntu2) ... Preparing to unpack .../7-gcc-9-base_9.3.0-11ubuntu2_riscv64.deb ... Unpacking gcc-9-base:riscv64 (9.3.0-11ubuntu2) over (9.3.0-10ubuntu2) ... Setting up libssl1.1:riscv64 (1.1.1f-1ubuntu2) ... Setting up libncursesw6:riscv64 (6.2-1) ... Setting up openssl (1.1.1f-1ubuntu2) ... Setting up gcc-9-base:riscv64 (9.3.0-11ubuntu2) ... Setting up libgcc-9-dev:riscv64 (9.3.0-11ubuntu2) ... Setting up cpp-9 (9.3.0-11ubuntu2) ... Setting up gcc-9 (9.3.0-11ubuntu2) ... Setting up libstdc++-9-dev:riscv64 (9.3.0-11ubuntu2) ... Setting up g++-9 (9.3.0-11ubuntu2) ... Processing triggers for libc-bin (2.31-0ubuntu9) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-19212811 riscv64 groovy-proposed -c chroot:build-PACKAGEBUILD-19212811 --arch=riscv64 --dist=groovy-proposed --nolog alt-ergo_2.0.0-6.dsc Initiating build PACKAGEBUILD-19212811 with 8 jobs across 8 processor cores. Kernel reported to sbuild: 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 sbuild (Debian sbuild) 0.79.0 (05 February 2020) on riscv64-qemu-lcy01-022 +==============================================================================+ | alt-ergo 2.0.0-6 (riscv64) Mon, 27 Apr 2020 19:38:03 +0000 | +==============================================================================+ Package: alt-ergo Version: 2.0.0-6 Source Version: 2.0.0-6 Distribution: groovy-proposed Machine Architecture: riscv64 Host Architecture: riscv64 Build Architecture: riscv64 Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-19212811/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/alt-ergo-7uIvg2/resolver-Xf0ecZ' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- alt-ergo_2.0.0-6.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/alt-ergo-7uIvg2/alt-ergo-2.0.0' with '<>' I: NOTICE: Log filtering will replace 'build/alt-ergo-7uIvg2' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 12), dh-ocaml (>= 0.9.0~), ocaml-nox (>= 4.04), menhir, ocaml-findlib, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev (>= 0.4), build-essential, fakeroot Filtered Build-Depends: debhelper-compat (= 12), dh-ocaml (>= 0.9.0~), ocaml-nox (>= 4.04), menhir, ocaml-findlib, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev (>= 0.4), build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [957 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [461 B] Get:5 copy:/<>/apt_archive ./ Packages [548 B] Fetched 1966 B in 0s (6901 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libgpm2 Use 'apt autoremove' to remove it. The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libicu66 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libncurses6 libnum-ocaml libnum-ocaml-dev libocamlgraph-ocaml-dev libpipeline1 libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzip-ocaml libzip-ocaml-dev m4 man-db menhir ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocplib-simplex-ocaml-dev po-debconf tzdata zlib1g-dev Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser menhir-doc camlp4 ocaml-doc tuareg-mode libmail-box-perl Recommended packages: curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev ocaml-man libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libicu66 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev libncurses6 libnum-ocaml libnum-ocaml-dev libocamlgraph-ocaml-dev libpipeline1 libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev libzip-ocaml libzip-ocaml-dev m4 man-db menhir ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocplib-simplex-ocaml-dev po-debconf sbuild-build-depends-main-dummy tzdata zlib1g-dev 0 upgraded, 58 newly installed, 0 to remove and 0 not upgraded. Need to get 76.8 MB of archives. After this operation, 331 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [968 B] Get:2 http://ftpmaster.internal/ubuntu groovy/main riscv64 libbsd0 riscv64 0.10.0-1 [42.0 kB] Get:3 http://ftpmaster.internal/ubuntu groovy/main riscv64 bsdmainutils riscv64 11.1.2ubuntu3 [176 kB] Get:4 http://ftpmaster.internal/ubuntu groovy/main riscv64 libuchardet0 riscv64 0.0.6-3build1 [64.9 kB] Get:5 http://ftpmaster.internal/ubuntu groovy/main riscv64 groff-base riscv64 1.22.4-4build1 [816 kB] Get:6 http://ftpmaster.internal/ubuntu groovy/main riscv64 libpipeline1 riscv64 1.5.2-2build1 [23.9 kB] Get:7 http://ftpmaster.internal/ubuntu groovy/main riscv64 man-db riscv64 2.9.1-1 [1075 kB] Get:8 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libncurses6 riscv64 6.2-1 [86.2 kB] Get:9 http://ftpmaster.internal/ubuntu groovy/main riscv64 libmagic-mgc riscv64 1:5.38-4 [218 kB] Get:10 http://ftpmaster.internal/ubuntu groovy/main riscv64 libmagic1 riscv64 1:5.38-4 [70.5 kB] Get:11 http://ftpmaster.internal/ubuntu groovy/main riscv64 file riscv64 1:5.38-4 [22.5 kB] Get:12 http://ftpmaster.internal/ubuntu groovy/main riscv64 libelf1 riscv64 0.176-1.1build1 [41.8 kB] Get:13 http://ftpmaster.internal/ubuntu groovy/main riscv64 libglib2.0-0 riscv64 2.64.2-1~fakesync1 [1123 kB] Get:14 http://ftpmaster.internal/ubuntu groovy/main riscv64 tzdata all 2019c-3ubuntu1 [294 kB] Get:15 http://ftpmaster.internal/ubuntu groovy/main riscv64 libicu66 riscv64 66.1-2ubuntu2 [8406 kB] Get:16 http://ftpmaster.internal/ubuntu groovy/main riscv64 libxml2 riscv64 2.9.10+dfsg-5 [559 kB] Get:17 http://ftpmaster.internal/ubuntu groovy/main riscv64 gettext-base riscv64 0.19.8.1-10build1 [47.4 kB] Get:18 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsigsegv2 riscv64 2.12-2 [13.0 kB] Get:19 http://ftpmaster.internal/ubuntu groovy/main riscv64 m4 riscv64 1.4.18-4 [188 kB] Get:20 http://ftpmaster.internal/ubuntu groovy/main riscv64 autoconf all 2.69-11.1 [321 kB] Get:21 http://ftpmaster.internal/ubuntu groovy/main riscv64 autotools-dev all 20180224.1 [39.6 kB] Get:22 http://ftpmaster.internal/ubuntu groovy/main riscv64 automake all 1:1.16.1-4ubuntu6 [522 kB] Get:23 http://ftpmaster.internal/ubuntu groovy/main riscv64 autopoint all 0.19.8.1-10build1 [412 kB] Get:24 http://ftpmaster.internal/ubuntu groovy/main riscv64 libtool all 2.4.6-14 [161 kB] Get:25 http://ftpmaster.internal/ubuntu groovy/main riscv64 dh-autoreconf all 19 [16.1 kB] Get:26 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libdebhelper-perl all 13ubuntu1 [62.5 kB] Get:27 http://ftpmaster.internal/ubuntu groovy/main riscv64 libarchive-zip-perl all 1.68-1 [90.2 kB] Get:28 http://ftpmaster.internal/ubuntu groovy/main riscv64 libsub-override-perl all 0.09-2 [9532 B] Get:29 http://ftpmaster.internal/ubuntu groovy/main riscv64 libfile-stripnondeterminism-perl all 1.7.0-1 [15.9 kB] Get:30 http://ftpmaster.internal/ubuntu groovy/main riscv64 dh-strip-nondeterminism all 1.7.0-1 [5228 B] Get:31 http://ftpmaster.internal/ubuntu groovy/main riscv64 dwz riscv64 0.13-5 [147 kB] Get:32 http://ftpmaster.internal/ubuntu groovy/main riscv64 libcroco3 riscv64 0.6.13-1 [71.1 kB] Get:33 http://ftpmaster.internal/ubuntu groovy/main riscv64 gettext riscv64 0.19.8.1-10build1 [844 kB] Get:34 http://ftpmaster.internal/ubuntu groovy/main riscv64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:35 http://ftpmaster.internal/ubuntu groovy/main riscv64 po-debconf all 1.0.21 [233 kB] Get:36 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 debhelper all 13ubuntu1 [877 kB] Get:37 http://ftpmaster.internal/ubuntu groovy/universe riscv64 ocaml-base-nox riscv64 4.08.1-8 [337 kB] Get:38 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libfindlib-ocaml riscv64 1.8.1-1build3 [114 kB] Get:39 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgmpxx4ldbl riscv64 2:6.2.0+dfsg-4 [8712 B] Get:40 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgmp-dev riscv64 2:6.2.0+dfsg-4 [693 kB] Get:41 http://ftpmaster.internal/ubuntu groovy/main riscv64 libgmp3-dev riscv64 2:6.2.0+dfsg-4 [2012 B] Get:42 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libncurses-dev riscv64 6.2-1 [691 kB] Get:43 http://ftpmaster.internal/ubuntu groovy-proposed/main riscv64 libncurses5-dev riscv64 6.2-1 [976 B] Get:44 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libnum-ocaml riscv64 1.3-1 [105 kB] Get:45 http://ftpmaster.internal/ubuntu groovy/universe riscv64 ocaml-compiler-libs riscv64 4.08.1-8 [15.2 MB] Get:46 http://ftpmaster.internal/ubuntu groovy/universe riscv64 ocaml-interp riscv64 4.08.1-8 [4636 kB] Get:47 http://ftpmaster.internal/ubuntu groovy/universe riscv64 ocaml-nox riscv64 4.08.1-8 [35.8 MB] Get:48 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libnum-ocaml-dev riscv64 1.3-1 [50.4 kB] Get:49 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libocamlgraph-ocaml-dev riscv64 1.8.8-1.1build1 [975 kB] Get:50 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libzarith-ocaml riscv64 1.9.1-1build1 [25.6 kB] Get:51 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libzarith-ocaml-dev riscv64 1.9.1-1build1 [86.3 kB] Get:52 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libzip-ocaml riscv64 1.09-2build1 [50.4 kB] Get:53 http://ftpmaster.internal/ubuntu groovy/main riscv64 zlib1g-dev riscv64 1:1.2.11.dfsg-2ubuntu1 [207 kB] Get:54 http://ftpmaster.internal/ubuntu groovy/universe riscv64 libzip-ocaml-dev riscv64 1.09-2build1 [23.8 kB] Get:55 http://ftpmaster.internal/ubuntu groovy/universe riscv64 menhir riscv64 20200123-2 [247 kB] Get:56 http://ftpmaster.internal/ubuntu groovy/universe riscv64 ocaml-findlib riscv64 1.8.1-1build3 [217 kB] Get:57 http://ftpmaster.internal/ubuntu groovy/universe riscv64 dh-ocaml all 1.1.1 [79.7 kB] Get:58 http://ftpmaster.internal/ubuntu groovy/universe riscv64 ocplib-simplex-ocaml-dev riscv64 0.4-2build1 [161 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 76.8 MB in 12s (6363 kB/s) Selecting previously unselected package libbsd0:riscv64. (Reading database ... 9817 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.10.0-1_riscv64.deb ... Unpacking libbsd0:riscv64 (0.10.0-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2ubuntu3_riscv64.deb ... Unpacking bsdmainutils (11.1.2ubuntu3) ... Selecting previously unselected package libuchardet0:riscv64. Preparing to unpack .../02-libuchardet0_0.0.6-3build1_riscv64.deb ... Unpacking libuchardet0:riscv64 (0.0.6-3build1) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-4build1_riscv64.deb ... Unpacking groff-base (1.22.4-4build1) ... Selecting previously unselected package libpipeline1:riscv64. Preparing to unpack .../04-libpipeline1_1.5.2-2build1_riscv64.deb ... Unpacking libpipeline1:riscv64 (1.5.2-2build1) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.9.1-1_riscv64.deb ... Unpacking man-db (2.9.1-1) ... Selecting previously unselected package libncurses6:riscv64. Preparing to unpack .../06-libncurses6_6.2-1_riscv64.deb ... Unpacking libncurses6:riscv64 (6.2-1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../07-libmagic-mgc_1%3a5.38-4_riscv64.deb ... Unpacking libmagic-mgc (1:5.38-4) ... Selecting previously unselected package libmagic1:riscv64. Preparing to unpack .../08-libmagic1_1%3a5.38-4_riscv64.deb ... Unpacking libmagic1:riscv64 (1:5.38-4) ... Selecting previously unselected package file. Preparing to unpack .../09-file_1%3a5.38-4_riscv64.deb ... Unpacking file (1:5.38-4) ... Selecting previously unselected package libelf1:riscv64. Preparing to unpack .../10-libelf1_0.176-1.1build1_riscv64.deb ... Unpacking libelf1:riscv64 (0.176-1.1build1) ... Selecting previously unselected package libglib2.0-0:riscv64. Preparing to unpack .../11-libglib2.0-0_2.64.2-1~fakesync1_riscv64.deb ... Unpacking libglib2.0-0:riscv64 (2.64.2-1~fakesync1) ... Selecting previously unselected package tzdata. Preparing to unpack .../12-tzdata_2019c-3ubuntu1_all.deb ... Unpacking tzdata (2019c-3ubuntu1) ... Selecting previously unselected package libicu66:riscv64. Preparing to unpack .../13-libicu66_66.1-2ubuntu2_riscv64.deb ... Unpacking libicu66:riscv64 (66.1-2ubuntu2) ... Selecting previously unselected package libxml2:riscv64. Preparing to unpack .../14-libxml2_2.9.10+dfsg-5_riscv64.deb ... Unpacking libxml2:riscv64 (2.9.10+dfsg-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../15-gettext-base_0.19.8.1-10build1_riscv64.deb ... Unpacking gettext-base (0.19.8.1-10build1) ... Selecting previously unselected package libsigsegv2:riscv64. Preparing to unpack .../16-libsigsegv2_2.12-2_riscv64.deb ... Unpacking libsigsegv2:riscv64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../17-m4_1.4.18-4_riscv64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../18-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../19-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../20-automake_1%3a1.16.1-4ubuntu6_all.deb ... Unpacking automake (1:1.16.1-4ubuntu6) ... Selecting previously unselected package autopoint. Preparing to unpack .../21-autopoint_0.19.8.1-10build1_all.deb ... Unpacking autopoint (0.19.8.1-10build1) ... Selecting previously unselected package libtool. Preparing to unpack .../22-libtool_2.4.6-14_all.deb ... Unpacking libtool (2.4.6-14) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../23-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../24-libdebhelper-perl_13ubuntu1_all.deb ... Unpacking libdebhelper-perl (13ubuntu1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../25-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../26-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../27-libfile-stripnondeterminism-perl_1.7.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.7.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../28-dh-strip-nondeterminism_1.7.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.7.0-1) ... Selecting previously unselected package dwz. Preparing to unpack .../29-dwz_0.13-5_riscv64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libcroco3:riscv64. Preparing to unpack .../30-libcroco3_0.6.13-1_riscv64.deb ... Unpacking libcroco3:riscv64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../31-gettext_0.19.8.1-10build1_riscv64.deb ... Unpacking gettext (0.19.8.1-10build1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../32-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../33-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../34-debhelper_13ubuntu1_all.deb ... Unpacking debhelper (13ubuntu1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../35-ocaml-base-nox_4.08.1-8_riscv64.deb ... Unpacking ocaml-base-nox (4.08.1-8) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../36-libfindlib-ocaml_1.8.1-1build3_riscv64.deb ... Unpacking libfindlib-ocaml (1.8.1-1build3) ... Selecting previously unselected package libgmpxx4ldbl:riscv64. Preparing to unpack .../37-libgmpxx4ldbl_2%3a6.2.0+dfsg-4_riscv64.deb ... Unpacking libgmpxx4ldbl:riscv64 (2:6.2.0+dfsg-4) ... Selecting previously unselected package libgmp-dev:riscv64. Preparing to unpack .../38-libgmp-dev_2%3a6.2.0+dfsg-4_riscv64.deb ... Unpacking libgmp-dev:riscv64 (2:6.2.0+dfsg-4) ... Selecting previously unselected package libgmp3-dev:riscv64. Preparing to unpack .../39-libgmp3-dev_2%3a6.2.0+dfsg-4_riscv64.deb ... Unpacking libgmp3-dev:riscv64 (2:6.2.0+dfsg-4) ... Selecting previously unselected package libncurses-dev:riscv64. Preparing to unpack .../40-libncurses-dev_6.2-1_riscv64.deb ... Unpacking libncurses-dev:riscv64 (6.2-1) ... Selecting previously unselected package libncurses5-dev:riscv64. Preparing to unpack .../41-libncurses5-dev_6.2-1_riscv64.deb ... Unpacking libncurses5-dev:riscv64 (6.2-1) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../42-libnum-ocaml_1.3-1_riscv64.deb ... Unpacking libnum-ocaml (1.3-1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../43-ocaml-compiler-libs_4.08.1-8_riscv64.deb ... Unpacking ocaml-compiler-libs (4.08.1-8) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../44-ocaml-interp_4.08.1-8_riscv64.deb ... Unpacking ocaml-interp (4.08.1-8) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../45-ocaml-nox_4.08.1-8_riscv64.deb ... Unpacking ocaml-nox (4.08.1-8) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../46-libnum-ocaml-dev_1.3-1_riscv64.deb ... Unpacking libnum-ocaml-dev (1.3-1) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../47-libocamlgraph-ocaml-dev_1.8.8-1.1build1_riscv64.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.8-1.1build1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../48-libzarith-ocaml_1.9.1-1build1_riscv64.deb ... Unpacking libzarith-ocaml (1.9.1-1build1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../49-libzarith-ocaml-dev_1.9.1-1build1_riscv64.deb ... Unpacking libzarith-ocaml-dev (1.9.1-1build1) ... Selecting previously unselected package libzip-ocaml. Preparing to unpack .../50-libzip-ocaml_1.09-2build1_riscv64.deb ... Unpacking libzip-ocaml (1.09-2build1) ... Selecting previously unselected package zlib1g-dev:riscv64. Preparing to unpack .../51-zlib1g-dev_1%3a1.2.11.dfsg-2ubuntu1_riscv64.deb ... Unpacking zlib1g-dev:riscv64 (1:1.2.11.dfsg-2ubuntu1) ... Selecting previously unselected package libzip-ocaml-dev. Preparing to unpack .../52-libzip-ocaml-dev_1.09-2build1_riscv64.deb ... Unpacking libzip-ocaml-dev (1.09-2build1) ... Selecting previously unselected package menhir. Preparing to unpack .../53-menhir_20200123-2_riscv64.deb ... Unpacking menhir (20200123-2) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../54-ocaml-findlib_1.8.1-1build3_riscv64.deb ... Unpacking ocaml-findlib (1.8.1-1build3) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../55-dh-ocaml_1.1.1_all.deb ... Unpacking dh-ocaml (1.1.1) ... Selecting previously unselected package ocplib-simplex-ocaml-dev. Preparing to unpack .../56-ocplib-simplex-ocaml-dev_0.4-2build1_riscv64.deb ... Unpacking ocplib-simplex-ocaml-dev (0.4-2build1) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../57-sbuild-build-depends-main-dummy_0.invalid.0_riscv64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up libpipeline1:riscv64 (1.5.2-2build1) ... Setting up libmagic-mgc (1:5.38-4) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:riscv64 (2.64.2-1~fakesync1) ... No schema files found: doing nothing. Setting up libdebhelper-perl (13ubuntu1) ... Setting up dh-ocaml (1.1.1) ... Setting up libmagic1:riscv64 (1:5.38-4) ... Setting up gettext-base (0.19.8.1-10build1) ... Setting up file (1:5.38-4) ... Setting up tzdata (2019c-3ubuntu1) ... Current default time zone: 'Etc/UTC' Local time is now: Mon Apr 27 19:40:55 UTC 2020. Universal Time is now: Mon Apr 27 19:40:55 UTC 2020. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20180224.1) ... Setting up libgmpxx4ldbl:riscv64 (2:6.2.0+dfsg-4) ... Setting up libncurses6:riscv64 (6.2-1) ... Setting up libsigsegv2:riscv64 (2.12-2) ... Setting up autopoint (0.19.8.1-10build1) ... Setting up zlib1g-dev:riscv64 (1:1.2.11.dfsg-2ubuntu1) ... Setting up libuchardet0:riscv64 (0.0.6-3build1) ... Setting up libsub-override-perl (0.09-2) ... Setting up ocaml-base-nox (4.08.1-8) ... Setting up libbsd0:riscv64 (0.10.0-1) ... Setting up libelf1:riscv64 (0.176-1.1build1) ... Setting up ocplib-simplex-ocaml-dev (0.4-2build1) ... Setting up menhir (20200123-2) ... Setting up libfile-stripnondeterminism-perl (1.7.0-1) ... Setting up libncurses-dev:riscv64 (6.2-1) ... Setting up libgmp-dev:riscv64 (2:6.2.0+dfsg-4) ... Setting up libtool (2.4.6-14) ... Setting up libicu66:riscv64 (66.1-2ubuntu2) ... Setting up libfindlib-ocaml (1.8.1-1build3) ... Setting up m4 (1.4.18-4) ... Setting up libzarith-ocaml (1.9.1-1build1) ... Setting up libzip-ocaml (1.09-2build1) ... Setting up bsdmainutils (11.1.2ubuntu3) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up ocaml-findlib (1.8.1-1build3) ... Setting up autoconf (2.69-11.1) ... Setting up dh-strip-nondeterminism (1.7.0-1) ... Setting up libnum-ocaml (1.3-1) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-4build1) ... Setting up libgmp3-dev:riscv64 (2:6.2.0+dfsg-4) ... Setting up libncurses5-dev:riscv64 (6.2-1) ... Setting up libxml2:riscv64 (2.9.10+dfsg-5) ... Setting up automake (1:1.16.1-4ubuntu6) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.9.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libcroco3:riscv64 (0.6.13-1) ... Setting up gettext (0.19.8.1-10build1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up ocaml-compiler-libs (4.08.1-8) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.08.1-8) ... Setting up ocaml-nox (4.08.1-8) ... Setting up libzarith-ocaml-dev (1.9.1-1build1) ... Setting up libocamlgraph-ocaml-dev (1.8.8-1.1build1) ... Setting up libnum-ocaml-dev (1.3-1) ... Setting up debhelper (13ubuntu1) ... Setting up libzip-ocaml-dev (1.09-2build1) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.31-0ubuntu9) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (riscv64 included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 5.3.0-13-generic #14+riscv64.5-Ubuntu SMP Wed Nov 13 20:10:41 UTC 2019 riscv64 (riscv64) Toolchain package versions: binutils_2.34-6ubuntu1 dpkg-dev_1.19.7ubuntu3 g++-9_9.3.0-11ubuntu2 gcc-9_9.3.0-11ubuntu2 libc6-dev_2.31-0ubuntu9 libstdc++-9-dev_9.3.0-11ubuntu2 libstdc++6_10-20200411-0ubuntu1 linux-libc-dev_5.4.0-24.28 Package versions: adduser_3.118ubuntu2 advancecomp_2.1-2.1build1 apt_2.0.2 autoconf_2.69-11.1 automake_1:1.16.1-4ubuntu6 autopoint_0.19.8.1-10build1 autotools-dev_20180224.1 base-files_11ubuntu6 base-passwd_3.5.47 bash_5.0-6ubuntu1 binutils_2.34-6ubuntu1 binutils-common_2.34-6ubuntu1 binutils-riscv64-linux-gnu_2.34-6ubuntu1 bsdmainutils_11.1.2ubuntu3 bsdutils_1:2.34-0.1ubuntu9 build-essential_12.8ubuntu1 bzip2_1.0.8-2 ca-certificates_20190110ubuntu1 coreutils_8.30-3ubuntu2 cpp_4:9.3.0-1ubuntu2 cpp-9_9.3.0-11ubuntu2 dash_0.5.10.2-6 debconf_1.5.73 debhelper_13ubuntu1 debianutils_4.9.1 dh-autoreconf_19 dh-ocaml_1.1.1 dh-strip-nondeterminism_1.7.0-1 diffutils_1:3.7-3 dpkg_1.19.7ubuntu3 dpkg-dev_1.19.7ubuntu3 dwz_0.13-5 e2fsprogs_1.45.5-2ubuntu1 fakeroot_1.24-1 file_1:5.38-4 findutils_4.7.0-1ubuntu1 g++_4:9.3.0-1ubuntu2 g++-9_9.3.0-11ubuntu2 gcc_4:9.3.0-1ubuntu2 gcc-10-base_10-20200411-0ubuntu1 gcc-8-base_8.4.0-3ubuntu2 gcc-9_9.3.0-11ubuntu2 gcc-9-base_9.3.0-11ubuntu2 gettext_0.19.8.1-10build1 gettext-base_0.19.8.1-10build1 gpg_2.2.19-3ubuntu2 gpg-agent_2.2.19-3ubuntu2 gpgconf_2.2.19-3ubuntu2 gpgv_2.2.19-3ubuntu2 grep_3.4-1 groff-base_1.22.4-4build1 gzip_1.10-0ubuntu4 hostname_3.23 init-system-helpers_1.57 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-6 libapt-pkg6.0_2.0.2 libarchive-zip-perl_1.68-1 libassuan0_2.5.3-7ubuntu2 libatomic1_10-20200411-0ubuntu1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-2ubuntu6 libaudit1_1:2.8.5-2ubuntu6 libbinutils_2.34-6ubuntu1 libblkid1_2.34-0.1ubuntu9 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-2 libc-bin_2.31-0ubuntu9 libc-dev-bin_2.31-0ubuntu9 libc6_2.31-0ubuntu9 libc6-dev_2.31-0ubuntu9 libcap-ng0_0.7.9-2.1build1 libcc1-0_10-20200411-0ubuntu1 libcom-err2_1.45.5-2ubuntu1 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.10-10ubuntu4 libcrypt1_1:4.4.10-10ubuntu4 libctf-nobfd0_2.34-6ubuntu1 libctf0_2.34-6ubuntu1 libdb5.3_5.3.28+dfsg1-0.6ubuntu2 libdebconfclient0_0.251ubuntu1 libdebhelper-perl_13ubuntu1 libdpkg-perl_1.19.7ubuntu3 libelf1_0.176-1.1build1 libext2fs2_1.45.5-2ubuntu1 libfakeroot_1.24-1 libffi7_3.3-4 libfile-stripnondeterminism-perl_1.7.0-1 libfindlib-ocaml_1.8.1-1build3 libgcc-9-dev_9.3.0-11ubuntu2 libgcc-s1_10-20200411-0ubuntu1 libgcc1_1:10-20200411-0ubuntu1 libgcrypt20_1.8.5-5ubuntu1 libgdbm-compat4_1.18.1-5 libgdbm6_1.18.1-5 libglib2.0-0_2.64.2-1~fakesync1 libgmp-dev_2:6.2.0+dfsg-4 libgmp10_2:6.2.0+dfsg-4 libgmp3-dev_2:6.2.0+dfsg-4 libgmpxx4ldbl_2:6.2.0+dfsg-4 libgnutls30_3.6.13-2ubuntu1 libgomp1_10-20200411-0ubuntu1 libgpg-error0_1.37-1 libgpm2_1.20.7-5 libhogweed5_3.5.1+really3.5.1-2 libicu66_66.1-2ubuntu2 libidn2-0_2.3.0-1 libisl22_0.22.1-1 liblocale-gettext-perl_1.07-4 liblockfile-bin_1.16-1.1 liblockfile1_1.16-1.1 liblz4-1_1.9.2-2 liblzma5_5.2.4-1 libmagic-mgc_1:5.38-4 libmagic1_1:5.38-4 libmount1_2.34-0.1ubuntu9 libmpc3_1.1.0-1 libmpfr6_4.0.2-1 libncurses-dev_6.2-1 libncurses5-dev_6.2-1 libncurses6_6.2-1 libncursesw6_6.2-1 libnettle7_3.5.1+really3.5.1-2 libnpth0_1.6-1 libnum-ocaml_1.3-1 libnum-ocaml-dev_1.3-1 libocamlgraph-ocaml-dev_1.8.8-1.1build1 libp11-kit0_0.23.20-1build1 libpam-modules_1.3.1-5ubuntu4 libpam-modules-bin_1.3.1-5ubuntu4 libpam-runtime_1.3.1-5ubuntu4 libpam0g_1.3.1-5ubuntu4 libpcre2-8-0_10.34-7 libpcre3_2:8.39-12build1 libperl5.30_5.30.0-9build1 libpipeline1_1.5.2-2build1 libpng16-16_1.6.37-2 libreadline8_8.0-4 libselinux1_3.0-1build2 libsemanage-common_3.0-1build2 libsemanage1_3.0-1build2 libsepol1_3.0-1 libsigsegv2_2.12-2 libsmartcols1_2.34-0.1ubuntu9 libsqlite3-0_3.31.1-4 libss2_1.45.5-2ubuntu1 libssl1.1_1.1.1f-1ubuntu2 libstdc++-9-dev_9.3.0-11ubuntu2 libstdc++6_10-20200411-0ubuntu1 libsub-override-perl_0.09-2 libsystemd0_245.4-4ubuntu3 libtasn1-6_4.16.0-2 libtext-charwidth-perl_0.04-10 libtext-iconv-perl_1.7-7 libtinfo6_6.2-1 libtool_2.4.6-14 libuchardet0_0.0.6-3build1 libudev1_245.4-4ubuntu3 libunistring2_0.9.10-2 libuuid1_2.34-0.1ubuntu9 libxml2_2.9.10+dfsg-5 libzarith-ocaml_1.9.1-1build1 libzarith-ocaml-dev_1.9.1-1build1 libzip-ocaml_1.09-2build1 libzip-ocaml-dev_1.09-2build1 libzstd1_1.4.4+dfsg-3 linux-libc-dev_5.4.0-24.28 lockfile-progs_0.1.18 login_1:4.8.1-1ubuntu5 logsave_1.45.5-2ubuntu1 lsb-base_11.1.0ubuntu2 m4_1.4.18-4 make_4.2.1-1.2 man-db_2.9.1-1 mawk_1.3.4.20200120-2 menhir_20200123-2 mount_2.34-0.1ubuntu9 ncurses-base_6.2-1 ncurses-bin_6.2-1 ocaml-base-nox_4.08.1-8 ocaml-compiler-libs_4.08.1-8 ocaml-findlib_1.8.1-1build3 ocaml-interp_4.08.1-8 ocaml-nox_4.08.1-8 ocplib-simplex-ocaml-dev_0.4-2build1 openssl_1.1.1f-1ubuntu2 optipng_0.7.7-1 passwd_1:4.8.1-1ubuntu5 patch_2.7.6-6 perl_5.30.0-9build1 perl-base_5.30.0-9build1 perl-modules-5.30_5.30.0-9build1 pinentry-curses_1.1.0-3build1 pkgbinarymangler_144 po-debconf_1.0.21 policyrcd-script-zg2_0.1-3 readline-common_8.0-4 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 sysvinit-utils_2.96-2.1ubuntu1 tar_1.30+dfsg-7 tzdata_2019c-3ubuntu1 ubuntu-keyring_2020.02.11.2 util-linux_2.34-0.1ubuntu9 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-2ubuntu1 zlib1g-dev_1:1.2.11.dfsg-2ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: alt-ergo Binary: alt-ergo Architecture: any Version: 2.0.0-6 Maintainer: Debian OCaml Maintainers Uploaders: Mehdi Dogguy , Ralf Treinen Homepage: http://alt-ergo.lri.fr Standards-Version: 4.5.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/alt-ergo Vcs-Git: https://salsa.debian.org/ocaml-team/alt-ergo.git Testsuite: autopkgtest Build-Depends: debhelper-compat (= 12), dh-ocaml (>= 0.9.0~), ocaml-nox (>= 4.04), menhir, ocaml-findlib, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.5~), libzarith-ocaml-dev, libzip-ocaml-dev, ocplib-simplex-ocaml-dev (>= 0.4) Package-List: alt-ergo deb math optional arch=any Checksums-Sha1: 594a9fd98182c47155206f3e358ef27b7f30b059 353488 alt-ergo_2.0.0.orig.tar.gz ddfba2473b734057d062be957069ef8d10bad642 7080 alt-ergo_2.0.0-6.debian.tar.xz Checksums-Sha256: bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b 353488 alt-ergo_2.0.0.orig.tar.gz e100772ab298c1d9e3f2bad4844a2e8fcfc038628ad0082a770aef009c224319 7080 alt-ergo_2.0.0-6.debian.tar.xz Files: e390c96bcac7c54a5949ad36611412ef 353488 alt-ergo_2.0.0.orig.tar.gz 1e6a1dbb455e565f98878d1578b51079 7080 alt-ergo_2.0.0-6.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl6WvpwACgkQdFxHZtTK zf+dxw/9GzwSVzzmHAj63IIq9tpMdeRFiS3bYRWQwWqvl1BjvNXiw56bA8oQFUGA 5XhNDTLAI1ohpHsQkUO//XnBKtlcxrfgl0ZzUqNf6t+985g0OmKt3gh/2hwBvOQQ A5Dr90A+T1Str1kD6m5gxd49QH0g/PuDDLMUX7BR2l2ujQUA1+NvVytl5p6we6G/ LQwxfYsg1jWLOaPBo76C+elwSvpnKmUFP/AepFklblwJCs5af4phlJPzEmty+2AT gt8jB4Hi2RkWrRaMxDSXvzun7QRGlUCnomhBDdslV7P+iRJhbYEMeaMA5znrKbhG HmXFbTtvpVBPUBOYIWWFuryFU3VX5keXYPsYz4Pbp8kOHB1+60+6iQd3LFtikjan kvfygsEr8kSIxs6zmgUKkp7TQNFvH156spmnlFhQVSfaP1j0flQL9DKvYvyKCfjc Bi/sSLhR+N8+E0VKWiL41O0t4GlO1kzf4tJklsDVy/m4N5ACYf+31YsOStzDqqI1 91vzTGpSRHZ7HmiGPafHOTGoP4+TwqBF4eSau3WQgy8dRguRX4OGV00cTJpVX4/Q 8TbImRzgYCZlbYYV5QmBh27hSgvYh3vTMILgwJlfg9F3Km7AzsuO5f+hUtRFP2PQ bzO1oEZUFsSZQ4lbvMwA/J6+kmafFmCgU3X5T8CR1ue2Pn2BuAE= =Mp1j -----END PGP SIGNATURE----- gpgv: Signature made Wed Apr 15 07:58:20 2020 UTC gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./alt-ergo_2.0.0-6.dsc dpkg-source: info: extracting alt-ergo in /<> dpkg-source: info: unpacking alt-ergo_2.0.0.orig.tar.gz dpkg-source: info: unpacking alt-ergo_2.0.0-6.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying 0001-dont-activate-debug-flag dpkg-source: info: applying 0002-Fix-compilation-with-camlzip-1.08.patch Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=8 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-19212811 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-19212811 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-19212811 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- Command: dpkg-buildpackage -us -uc -mLaunchpad Build Daemon -B -rfakeroot dpkg-buildpackage: info: source package alt-ergo dpkg-buildpackage: info: source version 2.0.0-6 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build . dpkg-buildpackage: info: host architecture riscv64 fakeroot debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' if [ -f config.status ]; then \ /usr/bin/make dist-clean; \ fi make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules build-arch dh build-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' dh_ocamlinit -a dh_auto_configure -a ./configure --build=riscv64-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-silent-rules --libdir=\${prefix}/lib/riscv64-linux-gnu --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking checking for ocp-ocamlc... no checking for ocamlc... ocamlc ocaml version is 4.08.1 ocaml library path is /usr/lib/ocaml checking for ocamlfind... yes ocamlfind found zarith in -I /usr/lib/ocaml/zarith ocamlfind found zip in -I /usr/lib/ocaml/zip ocamlfind found ocplib-simplex in -I /usr/lib/ocaml/ocplib-simplex checking for ocp-ocamlopt... no checking for ocamlopt... no configure: WARNING: Cannot find ocamlopt; bytecode compilation only. checking for ocp-ocamlc.opt... no checking for ocamlc.opt... no checking for ocamldep... ocamldep checking for ocamllex... ocamllex checking for ocamllex.opt... no checking for menhir... menhir ocamlfind: Package `lablgtk2.sourceview2' not found checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html* checking for ocamlweb... true checking platform... configure: creating ./config.status config.status: creating Makefile.configurable config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting configure: WARNING: unrecognized options: --disable-silent-rules, --disable-maintainer-mode, --disable-dependency-tracking dh_auto_build -a make -j8 make[1]: Entering directory '/<>' menhir -v parsers/why/why_parser.mly menhir -v parsers/why/why_parser.mly ocamllex parsers/why/why_lexer.mll > /dev/null ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/*.ml* lib/structures/*.ml* lib/reasoners/*.ml* lib/frontend/*.ml* tools/text/*.ml* \ tools/gui/*.ml* parsers/why/*.ml* plugins/common/*ml* plugins/satML/*ml* plugins/fm-simplex/*ml* > .depend ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/config.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/version.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/emap.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myUnix.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myDynlink.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myZip.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/util.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/lists.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numbersInterface.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/timers.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/gc_debug.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/loc.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/hconsing.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex tools/text/main_text.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/common/vec.mli gui compilation skipped (lablgtksourceview not detected) ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/fm-simplex/fmSimplexIneqs.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/version.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/emap.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myUnix.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myDynlink.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/myZip.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/util.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/lists.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numsNumbers.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/zarithNumbers.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numbers.mli File "/<>/lib/util/myUnix.ml", line 19, characters 7-22: 19 | if Pervasives.(<>) timelimit 0. then ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/hstring.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numsNumbers.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/options.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/zarithNumbers.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/numbers.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/ty.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/options.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/cmdline_parser.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/timers.ml File "/<>/lib/util/numbers.ml", line 50, characters 13-27: 50 | if Pervasives.(<) v min_float then min_float ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/util/numbers.ml", line 51, characters 18-32: 51 | else if Pervasives.(>) v max_float then max_float ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/util/zarithNumbers.ml", line 156, characters 16-30: 156 | let abs_n = Pervasives.abs n in ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/gc_debug.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/loc.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/hconsing.ml File "/<>/lib/util/options.ml", line 30, characters 20-70: 30 | [@ocaml.ppwarning "Options: should not parse args here in 'lib mod'"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22: Options: should not parse args here in 'lib mod' ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/util/hstring.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/symbols.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/ty.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/errors.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/common/vec.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/fm-simplex/simplex.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/errors.ml File "/<>/lib/util/options.ml", line 568, characters 33-51: 568 | let compare (a: int) (b: int) = Pervasives.compare a b ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/term.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/symbols.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/parsed.mli File "/<>/lib/structures/symbols.ml", line 118, characters 10-28: 118 | | _ -> Pervasives.compare s1 s2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/ty.ml", line 206, characters 33-51: 206 | | Tvar{v=v1} , Tvar{v=v2} -> Pervasives.compare v1 v2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/literal.mli File "/<>/lib/structures/ty.ml", line 229, characters 17-35: 229 | | t1 , t2 -> Pervasives.compare t1 t2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/term.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/fpa_rounding.mli File "/<>/lib/structures/ty.ml", line 272, characters 52-70: 272 | module M = Map.Make(struct type t=int let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/ty.ml", line 341, characters 30-48: 341 | let compare_subst = M.compare Pervasives.compare ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/ty.ml", line 343, characters 26-40: 343 | let equal_subst = M.equal Pervasives.(=) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/ty.ml", line 384, characters 45-63: 384 | Set.Make(struct type t = int let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsed_interface.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsers.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex parsers/why/why_parser.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/formula.mli File "/<>/lib/frontend/parsed_interface.mli", line 17, characters 20-77: 17 | [@ocaml.ppwarning "TODO: add documentation for every function in this file"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22: TODO: add documentation for every function in this file ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/parsed.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/typed.mli File "/<>/lib/structures/term.ml", line 273, characters 4-18: 273 | Pervasives.(=) (String.sub (Sy.to_string v.f) 0 4) "_sko" ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/fpa_rounding.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/literal.ml File "/<>/lib/structures/term.ml", line 341, characters 6-20: 341 | try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:" ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsed_interface.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/parsers.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex parsers/why/why_parser.ml File "/<>/lib/frontend/parsers.ml", line 39, characters 20-70: 39 | [@ocaml.ppwarning "TODO: add the ability to add parsers dynamically"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22: TODO: add the ability to add parsers dynamically File "/<>/lib/structures/literal.ml", line 98, characters 22-40: 98 | let compare a1 a2 = Pervasives.compare a1.tpos a2.tpos ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/parsers.ml", line 104, characters 9-24: 104 | if Pervasives.(<>) file "" then ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex parsers/why/why_lexer.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/explanation.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/typed.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/formula.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/commands.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/profiling.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/matching_types.mli File "/<>/lib/structures/formula.ml", line 112, characters 10-28: 112 | let c = Pervasives.compare (size f1) (size f2) in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sat_solver_sig.mli File "/<>/lib/structures/formula.ml", line 113, characters 14-32: 113 | if c=0 then Pervasives.compare v1.tag v2.tag else c ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/triggers.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/typechecker.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/cnf.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/satML/satml_frontend.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/exception.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/explanation.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/commands.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/profiling.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sig.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/fun_sat.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sat_solver.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/triggers.ml File "/<>/lib/structures/profiling.ml", line 89, characters 7-21: 89 | if Pervasives.(>) v 0. then v else -. v ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/typechecker.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/cnf.ml File "/<>/lib/structures/formula.ml", line 772, characters 6-20: 772 | try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:" ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/triggers.ml", line 37, characters 54-72: 37 | module Vtype = Set.Make(struct type t=int let compare=Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/triggers.ml", line 54, characters 17-35: 54 | | x , y -> Pervasives.compare x y ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/triggers.ml", line 59, characters 9-27: 59 | let c = Pervasives.compare x y in if c=0 then compare_list l1 l2 else c ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/cnf.ml", line 42, characters 20-135: 42 | ...................."TODO: Change Symbols.Float to store FP numeral \ 43 | constants (eg, <24, -149> for single) instead of having terms". Warning 22: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/frontend.mli File "/<>/lib/frontend/triggers.ml", line 79, characters 11-29: 79 | | _ -> Pervasives.compare c1 c2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/triggers.ml", line 155, characters 28-46: 155 | if c <> 0 then c else Pervasives.compare (a1, b1, c1, d1) (a2, b2, c2, d2) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/triggers.ml", line 193, characters 14-32: 193 | let c = Pervasives.compare a1 a2 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/structures/exception.ml File "/<>/lib/frontend/typechecker.ml", line 39, characters 48-66: 39 | Map.Make(struct type t = string let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/typechecker.ml", line 81, characters 30-44: 81 | | PPTvarid (y, _) -> Pervasives.(=) x y ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/typechecker.ml", line 100, characters 35-49: 100 | | PPTexternal (l, s, loc) when Pervasives.(=) s "farray" -> ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/typechecker.ml", line 111, characters 28-42: 111 | | Some (id, vars, ty) when Pervasives.(=) s id && ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/profiling.ml", line 636, characters 5-19: 636 | if Pervasives.(=) v 0. then fprintf fmt "-- " ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/profiling.ml", line 637, characters 10-24: 637 | else if Pervasives.(<) v 10. then fprintf fmt "%0.5f" v ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/structures/profiling.ml", line 638, characters 10-24: 638 | else if Pervasives.(<) v 100. then fprintf fmt "%0.4f" v ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/matching.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/use.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/uf.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/polynome.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/ac.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/use.ml File "/<>/lib/frontend/typechecker.ml", line 739, characters 7-21: 739 | if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/typechecker.ml", line 739, characters 32-46: 739 | if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/intervals.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/inequalities.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/intervalCalculus.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/arith.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/records.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/bitv.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/arrays.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sum.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sat_solver.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/frontend/frontend.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex tools/text/main_text.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/fm-simplex/simplex_cache.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/matching.ml File "/<>/lib/frontend/typechecker.ml", line 1726, characters 6-20: 1726 | try Pervasives.(=) (String.sub s 0 2) "@L" with Invalid_argument _ -> false ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/frontend/typechecker.ml", line 1729, characters 6-20: 1729 | try Pervasives.(=) (String.sub s 0 2) "@H" with Invalid_argument _ -> false ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/combine.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/polynome.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/ac.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/uf.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/intervals.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/inequalities.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/intervalCalculus.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/arith.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/records.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/bitv.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/arrays.ml File "/<>/lib/reasoners/intervalCalculus.ml", line 1892, characters 32-77: 1892 | [@ocaml.ppwarning "TODO: find an example triggering this case!"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22: TODO: find an example triggering this case! ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/sum.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/combine.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/fm-simplex/fmSimplexIneqs.ml File "/<>/lib/reasoners/combine.ml", line 484, characters 30-130: 484 | .............................."TODO: a simple way of handling equalities \ 485 | with void and unit is to add this case is the solver !". Warning 22: TODO: a simple way of handling equalities with void and unit is to add this case is the solver ! ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/ccx.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/theory.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/ccx.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/theory.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/satML/satml.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/instances.mli ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/satML/satml.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/instances.ml ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex lib/reasoners/fun_sat.ml File "/<>/lib/reasoners/fun_sat.ml", line 73, characters 31-46: 73 | stable := !stable && Pervasives.(<=) w 1e100; ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/reasoners/fun_sat.ml", line 99, characters 18-36: 99 | let c = Pervasives.compare b2 b1 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/lib/reasoners/fun_sat.ml", line 101, characters 15-33: 101 | else Pervasives.compare x2 x1 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -c -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex plugins/satML/satml_frontend.ml File "/<>/plugins/satML/satml.ml", line 1264, characters 4-18: 1264 | Pervasives.(<) (Vec.get env.vars j).weight (Vec.get env.vars i).weight ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/plugins/satML/satml.ml", line 1278, characters 7-21: 1278 | if Pervasives.(>) v.weight 1e100 then begin ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/plugins/satML/satml.ml", line 1290, characters 7-21: 1290 | if Pervasives.(>) c.activity 1e20 then begin ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/plugins/satML/satml_frontend.ml", line 308, characters 26-79: 308 | [@ocaml.ppwarning "TODO: modifications made in tbox are lost! improve?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22: TODO: modifications made in tbox are lost! improve? File "/<>/lib/reasoners/fun_sat.ml", line 967, characters 4-19: 967 | Pervasives.(<>) (Options.interpretation_timelimit ()) 0. then ^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/plugins/satML/satml.ml", line 1597, characters 12-30: 1597 | let c = Pervasives.compare c1.activity c2.activity in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "/<>/plugins/satML/satml_frontend.ml", line 480, characters 16-34: 480 | let res = Pervasives.compare w2 w1 in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -a -o fm-simplex-plugin.cma plugins/common/vec.cmo plugins/fm-simplex/simplex_cache.cmo plugins/fm-simplex/simplex.cmo plugins/fm-simplex/fmSimplexIneqs.cmo ocamlc -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -a -o satML-plugin.cma plugins/common/vec.cmo plugins/satML/satml.cmo plugins/satML/satml_frontend.cmo ocamlc -annot -absname -bin-annot -short-paths -strict-sequence -I /usr/lib/ocaml/zarith -I /usr/lib/ocaml/zip -I /usr/lib/ocaml/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/common -I plugins/satML -I plugins/fm-simplex -o alt-ergo.byte zarith.cma nums.cma unix.cma dynlink.cma str.cma zip.cma ocplibSimplex.cma lib/util/config.cmo lib/util/version.cmo lib/util/emap.cmo lib/util/myUnix.cmo lib/util/myDynlink.cmo lib/util/myZip.cmo lib/util/util.cmo lib/util/lists.cmo lib/util/numsNumbers.cmo lib/util/zarithNumbers.cmo lib/util/numbers.cmo lib/util/options.cmo lib/util/cmdline_parser.cmo lib/util/timers.cmo lib/util/gc_debug.cmo lib/util/loc.cmo lib/util/hconsing.cmo lib/util/hstring.cmo lib/structures/exception.cmo lib/structures/symbols.cmo lib/structures/ty.cmo lib/structures/parsed.cmo lib/structures/errors.cmo lib/structures/typed.cmo lib/structures/term.cmo lib/structures/fpa_rounding.cmo lib/structures/literal.cmo lib/structures/formula.cmo lib/structures/explanation.cmo lib/structures/commands.cmo lib/structures/profiling.cmo lib/reasoners/matching.cmo lib/reasoners/instances.cmo lib/reasoners/polynome.cmo lib/reasoners/ac.cmo lib/reasoners/uf.cmo lib/reasoners/use.cmo lib/reasoners/intervals.cmo lib/reasoners/inequalities.cmo lib/reasoners/intervalCalculus.cmo lib/reasoners/arith.cmo lib/reasoners/records.cmo lib/reasoners/bitv.cmo lib/reasoners/arrays.cmo lib/reasoners/sum.cmo lib/reasoners/combine.cmo lib/reasoners/ccx.cmo lib/reasoners/theory.cmo lib/reasoners/fun_sat.cmo lib/reasoners/sat_solver.cmo lib/frontend/triggers.cmo lib/frontend/typechecker.cmo lib/frontend/cnf.cmo lib/frontend/parsed_interface.cmo lib/frontend/frontend.cmo lib/frontend/parsers.cmo parsers/why/why_parser.cmo parsers/why/why_lexer.cmo tools/text/main_text.cmo make[1]: Leaving directory '/<>' dh_auto_test -a create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary-arch dh binary-arch --with ocaml dh_testroot -a dh_prep -a dh_auto_install -a make -j8 install DESTDIR=/<>/debian/alt-ergo AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/<>' mkdir -p /<>/debian/alt-ergo/usr/share/man/man1 mkdir -p /<>/debian/alt-ergo/usr/lib/riscv64-linux-gnu/alt-ergo/preludes cp -f doc/alt-ergo.1 /<>/debian/alt-ergo/usr/share/man/man1 cp -f preludes/fpa-theory-2017-01-04-16h00.why /<>/debian/alt-ergo/usr/lib/riscv64-linux-gnu/alt-ergo/preludes/ mkdir -p /<>/debian/alt-ergo/usr/lib/riscv64-linux-gnu/alt-ergo/plugins mkdir -p /<>/debian/alt-ergo/usr/lib/riscv64-linux-gnu/alt-ergo/plugins cp -f fm-simplex-plugin.cma /<>/debian/alt-ergo/usr/lib/riscv64-linux-gnu/alt-ergo/plugins cp -f satML-plugin.cma /<>/debian/alt-ergo/usr/lib/riscv64-linux-gnu/alt-ergo/plugins mkdir -p /<>/debian/alt-ergo/usr/bin cp -f alt-ergo.byte /<>/debian/alt-ergo/usr/bin/alt-ergo make[1]: Leaving directory '/<>' 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_dwz -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 Parsed_interface W: alt-ergo doesn't resolve dependency on unit Frontend W: alt-ergo doesn't resolve dependency on unit Loc W: alt-ergo doesn't resolve dependency on unit ZarithNumbers W: alt-ergo doesn't resolve dependency on unit Sig W: alt-ergo doesn't resolve dependency on unit Emap W: alt-ergo doesn't resolve dependency on unit Fpa_rounding W: alt-ergo doesn't resolve dependency on unit Arrays W: alt-ergo doesn't resolve dependency on unit NumbersInterface W: alt-ergo doesn't resolve dependency on unit Cnf W: alt-ergo doesn't resolve dependency on unit Asttypes W: alt-ergo doesn't resolve dependency on unit Cmdline_parser W: alt-ergo doesn't resolve dependency on unit Main_text W: alt-ergo doesn't resolve dependency on unit Why_parser W: alt-ergo doesn't resolve dependency on unit Literal W: alt-ergo doesn't resolve dependency on unit Parsed W: alt-ergo doesn't resolve dependency on unit Fun_sat W: alt-ergo doesn't resolve dependency on unit MyUnix W: alt-ergo doesn't resolve dependency on unit Gc_debug W: alt-ergo doesn't resolve dependency on unit OcplibSimplex W: alt-ergo doesn't resolve dependency on unit Combine W: alt-ergo doesn't resolve dependency on unit MyDynlink W: alt-ergo doesn't resolve dependency on unit Bitv W: alt-ergo doesn't resolve dependency on unit Errors W: alt-ergo doesn't resolve dependency on unit Numbers W: alt-ergo doesn't resolve dependency on unit Sum W: alt-ergo doesn't resolve dependency on unit Ty W: alt-ergo doesn't resolve dependency on unit Typed W: alt-ergo doesn't resolve dependency on unit Theory W: alt-ergo doesn't resolve dependency on unit NumsNumbers W: alt-ergo doesn't resolve dependency on unit Parsetree W: alt-ergo doesn't resolve dependency on unit Formula W: alt-ergo doesn't resolve dependency on unit Version W: alt-ergo doesn't resolve dependency on unit Matching W: alt-ergo doesn't resolve dependency on unit Typechecker W: alt-ergo doesn't resolve dependency on unit Lists W: alt-ergo doesn't resolve dependency on unit Hstring W: alt-ergo doesn't resolve dependency on unit Commands W: alt-ergo doesn't resolve dependency on unit Config W: alt-ergo doesn't resolve dependency on unit Why_lexer W: alt-ergo doesn't resolve dependency on unit IntervalCalculus W: alt-ergo doesn't resolve dependency on unit Matching_types W: alt-ergo doesn't resolve dependency on unit Symbols W: alt-ergo doesn't resolve dependency on unit Polynome W: alt-ergo doesn't resolve dependency on unit Timers W: alt-ergo doesn't resolve dependency on unit Options W: alt-ergo doesn't resolve dependency on unit Ccx W: alt-ergo doesn't resolve dependency on unit Use W: alt-ergo doesn't resolve dependency on unit Sat_solver_sig W: alt-ergo doesn't resolve dependency on unit MyZip W: alt-ergo doesn't resolve dependency on unit Uf W: alt-ergo doesn't resolve dependency on unit Explanation W: alt-ergo doesn't resolve dependency on unit Util W: alt-ergo doesn't resolve dependency on unit Arith W: alt-ergo doesn't resolve dependency on unit Records W: alt-ergo doesn't resolve dependency on unit Outcometree W: alt-ergo doesn't resolve dependency on unit Profiling W: alt-ergo doesn't resolve dependency on unit Inequalities W: alt-ergo doesn't resolve dependency on unit Exception W: alt-ergo doesn't resolve dependency on unit Parsers W: alt-ergo doesn't resolve dependency on unit Term W: alt-ergo doesn't resolve dependency on unit Triggers W: alt-ergo doesn't resolve dependency on unit Instances W: alt-ergo doesn't resolve dependency on unit Sat_solver W: alt-ergo doesn't resolve dependency on unit Ac W: alt-ergo doesn't resolve dependency on unit Profile W: alt-ergo doesn't resolve dependency on unit Intervals W: alt-ergo doesn't resolve dependency on unit Hconsing dh_gencontrol -a dpkg-gencontrol: warning: Depends field of package alt-ergo: substitution variable ${shlibs:Depends} used, but is not defined dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 144 pkgstriptranslations: processing alt-ergo (in debian/alt-ergo); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/alt-ergo/DEBIAN/control, package alt-ergo, directory debian/alt-ergo pkgstripfiles: Truncating usr/share/doc/alt-ergo/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 8 cpus) for package alt-ergo ... pkgstripfiles: No PNG files. dpkg-deb: building package 'alt-ergo' in '../alt-ergo_2.0.0-6_riscv64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any -mLaunchpad Build Daemon >../alt-ergo_2.0.0-6_riscv64.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) -------------------------------------------------------------------------------- Build finished at 2020-04-27T19:45:48Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ alt-ergo_2.0.0-6_riscv64.changes: --------------------------------- Format: 1.8 Date: Wed, 15 Apr 2020 09:56:28 +0200 Source: alt-ergo Binary: alt-ergo Architecture: riscv64 Version: 2.0.0-6 Distribution: groovy-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Ralf Treinen Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (2.0.0-6) unstable; urgency=medium . * Build without graphical interface, due to the removal of gtksourceview2: - drop build-dependencies liblablgtk2-gnome-ocaml-dev and liblablgtksourceview2-ocaml-dev - drop building and installing the gui from debian/rules - drop mention of the gui from the package description - announce this in debian/NEWS - drop override of dh_auto_{build,install} which are no longer needed since we do not have to specify gui any more * Drop override of dh_dwz which is no longer needed. * Standards-Version 4.5.0 (no change) Checksums-Sha1: a31d29636e252a0c76215a25d52c6ffcf953066d 5432 alt-ergo_2.0.0-6_riscv64.buildinfo cd57ccdaed1e4785bb069d9b68e1d300fa3546f6 268680 alt-ergo_2.0.0-6_riscv64.deb Checksums-Sha256: 4a587f0bf34af1dda641f6f8ae621d5d9c5a72329fa8984186a96a0bd786dd27 5432 alt-ergo_2.0.0-6_riscv64.buildinfo 692e66794221f9c9210939bd4eee5cb59b1e1b79748d33551a07f76c3c8807cc 268680 alt-ergo_2.0.0-6_riscv64.deb Files: 30fc049263c834abb8372f33f945b02b 5432 math optional alt-ergo_2.0.0-6_riscv64.buildinfo 42071e44f82413146319677565ae6d07 268680 math optional alt-ergo_2.0.0-6_riscv64.deb /<>/alt-ergo_2.0.0-6_riscv64.changes.new could not be renamed to /<>/alt-ergo_2.0.0-6_riscv64.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: alt-ergo Binary: alt-ergo Architecture: riscv64 Version: 2.0.0-6 Checksums-Md5: 42071e44f82413146319677565ae6d07 268680 alt-ergo_2.0.0-6_riscv64.deb Checksums-Sha1: cd57ccdaed1e4785bb069d9b68e1d300fa3546f6 268680 alt-ergo_2.0.0-6_riscv64.deb Checksums-Sha256: 692e66794221f9c9210939bd4eee5cb59b1e1b79748d33551a07f76c3c8807cc 268680 alt-ergo_2.0.0-6_riscv64.deb Build-Origin: Ubuntu Build-Architecture: riscv64 Build-Date: Mon, 27 Apr 2020 19:45:43 +0000 Build-Path: /<> Build-Tainted-By: usr-local-has-programs Installed-Build-Depends: autoconf (= 2.69-11.1), automake (= 1:1.16.1-4ubuntu6), autopoint (= 0.19.8.1-10build1), autotools-dev (= 20180224.1), base-files (= 11ubuntu6), base-passwd (= 3.5.47), bash (= 5.0-6ubuntu1), binutils (= 2.34-6ubuntu1), binutils-common (= 2.34-6ubuntu1), binutils-riscv64-linux-gnu (= 2.34-6ubuntu1), bsdmainutils (= 11.1.2ubuntu3), bsdutils (= 1:2.34-0.1ubuntu9), build-essential (= 12.8ubuntu1), bzip2 (= 1.0.8-2), coreutils (= 8.30-3ubuntu2), cpp (= 4:9.3.0-1ubuntu2), cpp-9 (= 9.3.0-11ubuntu2), dash (= 0.5.10.2-6), debconf (= 1.5.73), debhelper (= 13ubuntu1), debianutils (= 4.9.1), dh-autoreconf (= 19), dh-ocaml (= 1.1.1), dh-strip-nondeterminism (= 1.7.0-1), diffutils (= 1:3.7-3), dpkg (= 1.19.7ubuntu3), dpkg-dev (= 1.19.7ubuntu3), dwz (= 0.13-5), file (= 1:5.38-4), findutils (= 4.7.0-1ubuntu1), g++ (= 4:9.3.0-1ubuntu2), g++-9 (= 9.3.0-11ubuntu2), gcc (= 4:9.3.0-1ubuntu2), gcc-10-base (= 10-20200411-0ubuntu1), gcc-9 (= 9.3.0-11ubuntu2), gcc-9-base (= 9.3.0-11ubuntu2), gettext (= 0.19.8.1-10build1), gettext-base (= 0.19.8.1-10build1), grep (= 3.4-1), groff-base (= 1.22.4-4build1), gzip (= 1.10-0ubuntu4), hostname (= 3.23), init-system-helpers (= 1.57), intltool-debian (= 0.35.0+20060710.5), libacl1 (= 2.2.53-6), libarchive-zip-perl (= 1.68-1), libatomic1 (= 10-20200411-0ubuntu1), libattr1 (= 1:2.4.48-5), libaudit-common (= 1:2.8.5-2ubuntu6), libaudit1 (= 1:2.8.5-2ubuntu6), libbinutils (= 2.34-6ubuntu1), libblkid1 (= 2.34-0.1ubuntu9), libbsd0 (= 0.10.0-1), libbz2-1.0 (= 1.0.8-2), libc-bin (= 2.31-0ubuntu9), libc-dev-bin (= 2.31-0ubuntu9), libc6 (= 2.31-0ubuntu9), libc6-dev (= 2.31-0ubuntu9), libcap-ng0 (= 0.7.9-2.1build1), libcc1-0 (= 10-20200411-0ubuntu1), libcroco3 (= 0.6.13-1), libcrypt-dev (= 1:4.4.10-10ubuntu4), libcrypt1 (= 1:4.4.10-10ubuntu4), libctf-nobfd0 (= 2.34-6ubuntu1), libctf0 (= 2.34-6ubuntu1), libdb5.3 (= 5.3.28+dfsg1-0.6ubuntu2), libdebconfclient0 (= 0.251ubuntu1), libdebhelper-perl (= 13ubuntu1), libdpkg-perl (= 1.19.7ubuntu3), libelf1 (= 0.176-1.1build1), libffi7 (= 3.3-4), libfile-stripnondeterminism-perl (= 1.7.0-1), libfindlib-ocaml (= 1.8.1-1build3), libgcc-9-dev (= 9.3.0-11ubuntu2), libgcc-s1 (= 10-20200411-0ubuntu1), libgcrypt20 (= 1.8.5-5ubuntu1), libgdbm-compat4 (= 1.18.1-5), libgdbm6 (= 1.18.1-5), libglib2.0-0 (= 2.64.2-1~fakesync1), libgmp-dev (= 2:6.2.0+dfsg-4), libgmp10 (= 2:6.2.0+dfsg-4), libgmp3-dev (= 2:6.2.0+dfsg-4), libgmpxx4ldbl (= 2:6.2.0+dfsg-4), libgomp1 (= 10-20200411-0ubuntu1), libgpg-error0 (= 1.37-1), libicu66 (= 66.1-2ubuntu2), libisl22 (= 0.22.1-1), liblz4-1 (= 1.9.2-2), liblzma5 (= 5.2.4-1), libmagic-mgc (= 1:5.38-4), libmagic1 (= 1:5.38-4), libmount1 (= 2.34-0.1ubuntu9), libmpc3 (= 1.1.0-1), libmpfr6 (= 4.0.2-1), libncurses-dev (= 6.2-1), libncurses5-dev (= 6.2-1), libncurses6 (= 6.2-1), libncursesw6 (= 6.2-1), libnum-ocaml (= 1.3-1), libnum-ocaml-dev (= 1.3-1), libocamlgraph-ocaml-dev (= 1.8.8-1.1build1), libpam-modules (= 1.3.1-5ubuntu4), libpam-modules-bin (= 1.3.1-5ubuntu4), libpam-runtime (= 1.3.1-5ubuntu4), libpam0g (= 1.3.1-5ubuntu4), libpcre2-8-0 (= 10.34-7), libpcre3 (= 2:8.39-12build1), libperl5.30 (= 5.30.0-9build1), libpipeline1 (= 1.5.2-2build1), libselinux1 (= 3.0-1build2), libsigsegv2 (= 2.12-2), libsmartcols1 (= 2.34-0.1ubuntu9), libstdc++-9-dev (= 9.3.0-11ubuntu2), libstdc++6 (= 10-20200411-0ubuntu1), libsub-override-perl (= 0.09-2), libsystemd0 (= 245.4-4ubuntu3), libtinfo6 (= 6.2-1), libtool (= 2.4.6-14), libuchardet0 (= 0.0.6-3build1), libudev1 (= 245.4-4ubuntu3), libunistring2 (= 0.9.10-2), libuuid1 (= 2.34-0.1ubuntu9), libxml2 (= 2.9.10+dfsg-5), libzarith-ocaml (= 1.9.1-1build1), libzarith-ocaml-dev (= 1.9.1-1build1), libzip-ocaml (= 1.09-2build1), libzip-ocaml-dev (= 1.09-2build1), libzstd1 (= 1.4.4+dfsg-3), linux-libc-dev (= 5.4.0-24.28), login (= 1:4.8.1-1ubuntu5), lsb-base (= 11.1.0ubuntu2), m4 (= 1.4.18-4), make (= 4.2.1-1.2), man-db (= 2.9.1-1), mawk (= 1.3.4.20200120-2), menhir (= 20200123-2), ncurses-base (= 6.2-1), ncurses-bin (= 6.2-1), ocaml-base-nox (= 4.08.1-8), ocaml-compiler-libs (= 4.08.1-8), ocaml-findlib (= 1.8.1-1build3), ocaml-interp (= 4.08.1-8), ocaml-nox (= 4.08.1-8), ocplib-simplex-ocaml-dev (= 0.4-2build1), patch (= 2.7.6-6), perl (= 5.30.0-9build1), perl-base (= 5.30.0-9build1), perl-modules-5.30 (= 5.30.0-9build1), po-debconf (= 1.0.21), sed (= 4.7-1), sensible-utils (= 0.0.12+nmu1), sysvinit-utils (= 2.96-2.1ubuntu1), tar (= 1.30+dfsg-7), tzdata (= 2019c-3ubuntu1), util-linux (= 2.34-0.1ubuntu9), xz-utils (= 5.2.4-1), zlib1g (= 1:1.2.11.dfsg-2ubuntu1), zlib1g-dev (= 1:1.2.11.dfsg-2ubuntu1) Environment: DEB_BUILD_OPTIONS="parallel=8" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1586937388" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ alt-ergo_2.0.0-6_riscv64.deb ---------------------------- new Debian package, version 2.0. size 268680 bytes: control archive=1552 bytes. 1118 bytes, 23 lines control 1819 bytes, 22 lines md5sums Package: alt-ergo Version: 2.0.0-6 Architecture: riscv64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 2012 Depends: libnum-ocaml-3i393, libzarith-ocaml-3zs88, libzip-ocaml-5kn27, ocaml-base-nox-4.08.1 Suggests: why Section: math Priority: optional Homepage: http://alt-ergo.lri.fr Description: Automatic theorem prover dedicated to program verification Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic. . This package contains the prover as a command-line executable. drwxr-xr-x root/root 0 2020-04-15 07:56 ./ drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/ drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/bin/ -rwxr-xr-x root/root 1829627 2020-04-15 07:56 ./usr/bin/alt-ergo drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/lib/ drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/lib/riscv64-linux-gnu/ drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/lib/riscv64-linux-gnu/alt-ergo/ drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/lib/riscv64-linux-gnu/alt-ergo/plugins/ -rw-r--r-- root/root 66347 2020-04-15 07:56 ./usr/lib/riscv64-linux-gnu/alt-ergo/plugins/fm-simplex-plugin.cma -rw-r--r-- root/root 90011 2020-04-15 07:56 ./usr/lib/riscv64-linux-gnu/alt-ergo/plugins/satML-plugin.cma drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/lib/riscv64-linux-gnu/alt-ergo/preludes/ -rw-r--r-- root/root 31579 2020-04-15 07:56 ./usr/lib/riscv64-linux-gnu/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/share/ drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/share/doc/ drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/share/doc/alt-ergo/ -rw-r--r-- root/root 338 2020-04-15 07:56 ./usr/share/doc/alt-ergo/NEWS.Debian.gz -rw-r--r-- root/root 1703 2020-04-15 07:56 ./usr/share/doc/alt-ergo/changelog.Debian.gz -rw-r--r-- root/root 1761 2020-04-15 07:56 ./usr/share/doc/alt-ergo/copyright drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/share/doc/alt-ergo/examples/ drwxr-xr-x root/root 0 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/invalid/ -rw-r--r-- root/root 57 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/invalid/arith1.why -rw-r--r-- root/root 61 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/invalid/arith2.why -rw-r--r-- root/root 147 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/invalid/arrays.why -rw-r--r-- root/root 141 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/invalid/bitv.why drwxr-xr-x root/root 0 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/ -rw-r--r-- root/root 106 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/ac_arith.why -rw-r--r-- root/root 120 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/arith1.why -rw-r--r-- root/root 125 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/arith2.why -rw-r--r-- root/root 106 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/arith3.why -rw-r--r-- root/root 87 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/arith4.why -rw-r--r-- root/root 151 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/arrays.why -rw-r--r-- root/root 139 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/bitv.why -rw-r--r-- root/root 189 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/congruence.why -rw-r--r-- root/root 183 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/enum_arrays.why -rw-r--r-- root/root 182 2019-02-13 11:02 ./usr/share/doc/alt-ergo/examples/valid/quantifiers.why drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/share/man/ drwxr-xr-x root/root 0 2020-04-15 07:56 ./usr/share/man/man1/ -rw-r--r-- root/root 1177 2020-04-15 07:56 ./usr/share/man/man1/alt-ergo.1.gz +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: riscv64 Build Type: any Build-Space: 55924 Build-Time: 271 Distribution: groovy-proposed Host Architecture: riscv64 Install-Time: 173 Job: alt-ergo_2.0.0-6.dsc Machine Architecture: riscv64 Package: alt-ergo Package-Time: 465 Source-Version: 2.0.0-6 Space: 55924 Status: successful Version: 2.0.0-6 -------------------------------------------------------------------------------- Finished at 2020-04-27T19:45:48Z Build needed 00:07:45, 55924k disk space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19212811 Scanning for processes to kill in build PACKAGEBUILD-19212811 RUN: /usr/share/launchpad-buildd/bin/in-target umount-chroot --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19212811 Stopping target for build PACKAGEBUILD-19212811 RUN: /usr/share/launchpad-buildd/bin/in-target remove-build --backend=chroot --series=groovy --arch=riscv64 PACKAGEBUILD-19212811 Removing build PACKAGEBUILD-19212811