https://launchpad.net/ubuntu/+source/alt-ergo/2.0.0-7build2/+build/20343119 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux lgw01-amd64-031 4.15.0-124-generic #127-Ubuntu SMP Fri Nov 6 10:54:43 UTC 2020 x86_64 Buildd toolchain package versions: launchpad-buildd_193~468~ubuntu18.04.1 python3-lpbuildd_193~468~ubuntu18.04.1 sbuild_0.75.0-1ubuntu1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu16.04.1 bzr_2.7.0+bzr6622-10 git-build-recipe_0.3.6~git201906051340.ff11471~ubuntu18.04.1 git_1:2.17.1-1ubuntu0.7 dpkg-dev_1.19.0.5ubuntu2.3 python-debian_0.1.32 python3-debian_0.1.32. Syncing the system clock with the buildd NTP service... 28 Nov 09:24:32 ntpdate[1764]: adjust time server 10.211.37.1 offset -0.000909 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=hirsute --arch=amd64 PACKAGEBUILD-20343119 --image-type chroot /home/buildd/filecache-default/720a8366e1260e086c1691fe6381a3f2b1c21d81 Creating target for build PACKAGEBUILD-20343119 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=hirsute --arch=amd64 PACKAGEBUILD-20343119 Starting target for build PACKAGEBUILD-20343119 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=hirsute --arch=amd64 PACKAGEBUILD-20343119 'deb http://ftpmaster.internal/ubuntu hirsute main universe' 'deb http://ftpmaster.internal/ubuntu hirsute-security main universe' 'deb http://ftpmaster.internal/ubuntu hirsute-updates main universe' 'deb http://ftpmaster.internal/ubuntu hirsute-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-20343119 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=hirsute --arch=amd64 PACKAGEBUILD-20343119 Updating target for build PACKAGEBUILD-20343119 Get:1 http://ftpmaster.internal/ubuntu hirsute InRelease [269 kB] Get:2 http://ftpmaster.internal/ubuntu hirsute-security InRelease [90.7 kB] Get:3 http://ftpmaster.internal/ubuntu hirsute-updates InRelease [90.7 kB] Get:4 http://ftpmaster.internal/ubuntu hirsute-proposed InRelease [121 kB] Get:5 http://ftpmaster.internal/ubuntu hirsute/main amd64 Packages [1387 kB] Get:6 http://ftpmaster.internal/ubuntu hirsute/main Translation-en [509 kB] Get:7 http://ftpmaster.internal/ubuntu hirsute/universe amd64 Packages [12.8 MB] Get:8 http://ftpmaster.internal/ubuntu hirsute/universe Translation-en [5343 kB] Get:9 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 Packages [289 kB] Get:10 http://ftpmaster.internal/ubuntu hirsute-proposed/main Translation-en [95.5 kB] Get:11 http://ftpmaster.internal/ubuntu hirsute-proposed/universe amd64 Packages [1545 kB] Get:12 http://ftpmaster.internal/ubuntu hirsute-proposed/universe Translation-en [457 kB] Fetched 23.0 MB in 5s (4282 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following packages were automatically installed and are no longer required: libisl22 libperl5.30 perl-modules-5.30 Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: libisl23 libperl5.32 perl-modules-5.32 The following packages will be upgraded: apt base-files base-passwd bash binutils binutils-common binutils-x86-64-linux-gnu bsdutils coreutils cpp-10 dash dpkg dpkg-dev fakeroot g++-10 gcc-10 gcc-10-base grep init init-system-helpers libapparmor1 libapt-pkg6.0 libasan6 libatomic1 libaudit-common libaudit1 libbinutils libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcap-ng0 libcap2 libcc1-0 libcrypt-dev libcrypt1 libcryptsetup12 libctf-nobfd0 libctf0 libdebconfclient0 libdevmapper1.02.1 libdpkg-perl libfakeroot libgcc-10-dev libgcc-s1 libgcrypt20 libgomp1 libgssapi-krb5-2 libidn2-0 libip4tc2 libitm1 libk5crypto3 libkrb5-3 libkrb5support0 liblsan0 liblz4-1 libmount1 libmpc3 libncurses6 libncursesw6 libnpth0 libquadmath0 libreadline8 libseccomp2 libselinux1 libsemanage-common libsemanage1 libsmartcols1 libstdc++-10-dev libstdc++6 libsystemd0 libtinfo6 libtirpc-common libtirpc-dev libtirpc3 libtsan0 libubsan1 libudev1 libuuid1 linux-libc-dev mount ncurses-base ncurses-bin perl perl-base readline-common systemd systemd-sysv systemd-timesyncd sysvinit-utils tar tzdata util-linux 94 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 178 MB of archives. After this operation, 475 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu hirsute/main amd64 libcrypt-dev amd64 1:4.4.17-1ubuntu1 [105 kB] Get:2 http://ftpmaster.internal/ubuntu hirsute/main amd64 libcrypt1 amd64 1:4.4.17-1ubuntu1 [78.8 kB] Get:3 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libc6-dev amd64 2.32-0ubuntu5 [2128 kB] Get:4 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libc-dev-bin amd64 2.32-0ubuntu5 [30.9 kB] Get:5 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 linux-libc-dev amd64 5.8.0-31.33+21.04.1 [1136 kB] Get:6 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libtirpc-common all 1.2.6-3 [7444 B] Get:7 http://ftpmaster.internal/ubuntu hirsute/main amd64 libk5crypto3 amd64 1.17-10ubuntu1 [79.2 kB] Get:8 http://ftpmaster.internal/ubuntu hirsute/main amd64 libgssapi-krb5-2 amd64 1.17-10ubuntu1 [121 kB] Get:9 http://ftpmaster.internal/ubuntu hirsute/main amd64 libkrb5-3 amd64 1.17-10ubuntu1 [332 kB] Get:10 http://ftpmaster.internal/ubuntu hirsute/main amd64 libkrb5support0 amd64 1.17-10ubuntu1 [30.7 kB] Get:11 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libtirpc-dev amd64 1.2.6-3 [184 kB] Get:12 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libtirpc3 amd64 1.2.6-3 [77.2 kB] Get:13 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libisl23 amd64 0.23-1 [652 kB] Get:14 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libcc1-0 amd64 10.2.0-19ubuntu2 [48.6 kB] Get:15 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 gcc-10-base amd64 10.2.0-19ubuntu2 [19.6 kB] Get:16 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libgcc-s1 amd64 10.2.0-19ubuntu2 [41.7 kB] Get:17 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libgomp1 amd64 10.2.0-19ubuntu2 [102 kB] Get:18 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libitm1 amd64 10.2.0-19ubuntu2 [26.4 kB] Get:19 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libatomic1 amd64 10.2.0-19ubuntu2 [9284 B] Get:20 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libasan6 amd64 10.2.0-19ubuntu2 [344 kB] Get:21 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 liblsan0 amd64 10.2.0-19ubuntu2 [144 kB] Get:22 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libtsan0 amd64 10.2.0-19ubuntu2 [319 kB] Get:23 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libubsan1 amd64 10.2.0-19ubuntu2 [136 kB] Get:24 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libquadmath0 amd64 10.2.0-19ubuntu2 [146 kB] Get:25 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 g++-10 amd64 10.2.0-19ubuntu2 [45.6 MB] Get:26 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libstdc++-10-dev amd64 10.2.0-19ubuntu2 [1732 kB] Get:27 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libgcc-10-dev amd64 10.2.0-19ubuntu2 [2342 kB] Get:28 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 gcc-10 amd64 10.2.0-19ubuntu2 [49.6 MB] Get:29 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 cpp-10 amd64 10.2.0-19ubuntu2 [41.9 MB] Get:30 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libstdc++6 amd64 10.2.0-19ubuntu2 [501 kB] Get:31 http://ftpmaster.internal/ubuntu hirsute/main amd64 libmpc3 amd64 1.2.0-1 [44.3 kB] Get:32 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libctf-nobfd0 amd64 2.35.1-3ubuntu1 [48.4 kB] Get:33 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libctf0 amd64 2.35.1-3ubuntu1 [47.6 kB] Get:34 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libbinutils amd64 2.35.1-3ubuntu1 [481 kB] Get:35 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 binutils-common amd64 2.35.1-3ubuntu1 [212 kB] Get:36 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 binutils amd64 2.35.1-3ubuntu1 [3380 B] Get:37 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 binutils-x86-64-linux-gnu amd64 2.35.1-3ubuntu1 [1648 kB] Get:38 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libc6 amd64 2.32-0ubuntu5 [2684 kB] Get:39 http://ftpmaster.internal/ubuntu hirsute/main amd64 base-files amd64 11ubuntu16 [60.5 kB] Get:40 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 bash amd64 5.1~rc3-1ubuntu1 [680 kB] Get:41 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 bsdutils amd64 1:2.36.1-1ubuntu2 [86.8 kB] Get:42 http://ftpmaster.internal/ubuntu hirsute/main amd64 coreutils amd64 8.32-4ubuntu1 [1352 kB] Get:43 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 tar amd64 1.32+dfsg-1 [279 kB] Get:44 http://ftpmaster.internal/ubuntu hirsute/main amd64 dpkg amd64 1.20.5ubuntu3 [1172 kB] Get:45 http://ftpmaster.internal/ubuntu hirsute/main amd64 dash amd64 0.5.11+git20200708+dd9ef66+really0.5.10.2-0ubuntu1 [86.8 kB] Get:46 http://ftpmaster.internal/ubuntu hirsute/main amd64 grep amd64 3.6-1 [155 kB] Get:47 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libncursesw6 amd64 6.2+20201114-1 [132 kB] Get:48 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libncurses6 amd64 6.2+20201114-1 [102 kB] Get:49 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libtinfo6 amd64 6.2+20201114-1 [87.5 kB] Get:50 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 ncurses-bin amd64 6.2+20201114-1 [173 kB] Get:51 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 perl-modules-5.32 all 5.32.0-5 [2754 kB] Get:52 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libperl5.32 amd64 5.32.0-5 [4044 kB] Get:53 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 perl amd64 5.32.0-5 [225 kB] Get:54 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 perl-base amd64 5.32.0-5 [1562 kB] Get:55 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 util-linux amd64 2.36.1-1ubuntu2 [1073 kB] Get:56 http://ftpmaster.internal/ubuntu hirsute/main amd64 libdebconfclient0 amd64 0.255ubuntu1 [6184 B] Get:57 http://ftpmaster.internal/ubuntu hirsute/main amd64 base-passwd amd64 3.5.48 [47.5 kB] Get:58 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 init-system-helpers all 1.59 [38.2 kB] Get:59 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libc-bin amd64 2.32-0ubuntu5 [622 kB] Get:60 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 ncurses-base all 6.2+20201114-1 [18.5 kB] Get:61 http://ftpmaster.internal/ubuntu hirsute/main amd64 sysvinit-utils amd64 2.96-5ubuntu1 [20.8 kB] Get:62 http://ftpmaster.internal/ubuntu hirsute/main amd64 libgcrypt20 amd64 1.8.7-2ubuntu1 [424 kB] Get:63 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 liblz4-1 amd64 1.9.3-0ubuntu1 [56.0 kB] Get:64 http://ftpmaster.internal/ubuntu hirsute/main amd64 systemd-sysv amd64 246.6-2ubuntu1 [10.3 kB] Get:65 http://ftpmaster.internal/ubuntu hirsute/main amd64 systemd-timesyncd amd64 246.6-2ubuntu1 [28.2 kB] Get:66 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libapparmor1 amd64 3.0.0-0ubuntu4 [35.9 kB] Get:67 http://ftpmaster.internal/ubuntu hirsute/main amd64 libaudit-common all 1:2.8.5-3ubuntu2 [4092 B] Get:68 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libcap-ng0 amd64 0.7.9-2.2build1 [11.0 kB] Get:69 http://ftpmaster.internal/ubuntu hirsute/main amd64 libaudit1 amd64 1:2.8.5-3ubuntu2 [39.5 kB] Get:70 http://ftpmaster.internal/ubuntu hirsute/main amd64 libcap2 amd64 1:2.44-1 [17.2 kB] Get:71 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libblkid1 amd64 2.36.1-1ubuntu2 [132 kB] Get:72 http://ftpmaster.internal/ubuntu hirsute/main amd64 libselinux1 amd64 3.1-2build1 [69.4 kB] Get:73 http://ftpmaster.internal/ubuntu hirsute/main amd64 libudev1 amd64 246.6-2ubuntu1 [67.6 kB] Get:74 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libdevmapper1.02.1 amd64 2:1.02.167-1ubuntu4 [128 kB] Get:75 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libuuid1 amd64 2.36.1-1ubuntu2 [21.6 kB] Get:76 http://ftpmaster.internal/ubuntu hirsute/main amd64 libcryptsetup12 amd64 2:2.3.4-1ubuntu1 [195 kB] Get:77 http://ftpmaster.internal/ubuntu hirsute/main amd64 libidn2-0 amd64 2.3.0-4 [52.4 kB] Get:78 http://ftpmaster.internal/ubuntu hirsute/main amd64 libip4tc2 amd64 1.8.5-3ubuntu4 [18.7 kB] Get:79 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libmount1 amd64 2.36.1-1ubuntu2 [147 kB] Get:80 http://ftpmaster.internal/ubuntu hirsute/main amd64 libseccomp2 amd64 2.4.3-1ubuntu5 [42.0 kB] Get:81 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 mount amd64 2.36.1-1ubuntu2 [121 kB] Get:82 http://ftpmaster.internal/ubuntu hirsute/main amd64 systemd amd64 246.6-2ubuntu1 [4165 kB] Get:83 http://ftpmaster.internal/ubuntu hirsute/main amd64 libsystemd0 amd64 246.6-2ubuntu1 [273 kB] Get:84 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libapt-pkg6.0 amd64 2.1.12 [849 kB] Get:85 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 apt amd64 2.1.12 [1314 kB] Get:86 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 init amd64 1.59 [6164 B] Get:87 http://ftpmaster.internal/ubuntu hirsute/main amd64 libsemanage-common all 3.1-1build1 [10.1 kB] Get:88 http://ftpmaster.internal/ubuntu hirsute/main amd64 libsemanage1 amd64 3.1-1build1 [87.2 kB] Get:89 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libsmartcols1 amd64 2.36.1-1ubuntu2 [94.6 kB] Get:90 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 readline-common all 8.1~rc3-1 [54.1 kB] Get:91 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libreadline8 amd64 8.1~rc3-1 [137 kB] Get:92 http://ftpmaster.internal/ubuntu hirsute/main amd64 tzdata all 2020d-1ubuntu1 [293 kB] Get:93 http://ftpmaster.internal/ubuntu hirsute/main amd64 dpkg-dev all 1.20.5ubuntu3 [758 kB] Get:94 http://ftpmaster.internal/ubuntu hirsute/main amd64 libdpkg-perl all 1.20.5ubuntu3 [232 kB] Get:95 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libfakeroot amd64 1.25.3-1.1 [26.8 kB] Get:96 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 fakeroot amd64 1.25.3-1.1 [62.9 kB] Get:97 http://ftpmaster.internal/ubuntu hirsute/main amd64 libnpth0 amd64 1.6-3 [8220 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 178 MB in 6s (31.8 MB/s) (Reading database ... 12980 files and directories currently installed.) Preparing to unpack .../libcrypt-dev_1%3a4.4.17-1ubuntu1_amd64.deb ... Unpacking libcrypt-dev:amd64 (1:4.4.17-1ubuntu1) over (1:4.4.16-1ubuntu1) ... Preparing to unpack .../libcrypt1_1%3a4.4.17-1ubuntu1_amd64.deb ... Unpacking libcrypt1:amd64 (1:4.4.17-1ubuntu1) over (1:4.4.16-1ubuntu1) ... Setting up libcrypt1:amd64 (1:4.4.17-1ubuntu1) ... (Reading database ... 12980 files and directories currently installed.) Preparing to unpack .../00-libc6-dev_2.32-0ubuntu5_amd64.deb ... Unpacking libc6-dev:amd64 (2.32-0ubuntu5) over (2.32-0ubuntu3) ... Preparing to unpack .../01-libc-dev-bin_2.32-0ubuntu5_amd64.deb ... Unpacking libc-dev-bin (2.32-0ubuntu5) over (2.32-0ubuntu3) ... Preparing to unpack .../02-linux-libc-dev_5.8.0-31.33+21.04.1_amd64.deb ... Unpacking linux-libc-dev:amd64 (5.8.0-31.33+21.04.1) over (5.8.0-25.26) ... Preparing to unpack .../03-libtirpc-common_1.2.6-3_all.deb ... Unpacking libtirpc-common (1.2.6-3) over (1.2.6-1build1) ... Preparing to unpack .../04-libk5crypto3_1.17-10ubuntu1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.17-10ubuntu1) over (1.17-10) ... Preparing to unpack .../05-libgssapi-krb5-2_1.17-10ubuntu1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.17-10ubuntu1) over (1.17-10) ... Preparing to unpack .../06-libkrb5-3_1.17-10ubuntu1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.17-10ubuntu1) over (1.17-10) ... Preparing to unpack .../07-libkrb5support0_1.17-10ubuntu1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.17-10ubuntu1) over (1.17-10) ... Preparing to unpack .../08-libtirpc-dev_1.2.6-3_amd64.deb ... Unpacking libtirpc-dev:amd64 (1.2.6-3) over (1.2.6-1build1) ... Preparing to unpack .../09-libtirpc3_1.2.6-3_amd64.deb ... Unpacking libtirpc3:amd64 (1.2.6-3) over (1.2.6-1build1) ... Selecting previously unselected package libisl23:amd64. Preparing to unpack .../10-libisl23_0.23-1_amd64.deb ... Unpacking libisl23:amd64 (0.23-1) ... Preparing to unpack .../11-libcc1-0_10.2.0-19ubuntu2_amd64.deb ... Unpacking libcc1-0:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../12-gcc-10-base_10.2.0-19ubuntu2_amd64.deb ... Unpacking gcc-10-base:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Setting up gcc-10-base:amd64 (10.2.0-19ubuntu2) ... (Reading database ... 12985 files and directories currently installed.) Preparing to unpack .../libgcc-s1_10.2.0-19ubuntu2_amd64.deb ... Unpacking libgcc-s1:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Setting up libgcc-s1:amd64 (10.2.0-19ubuntu2) ... (Reading database ... 12985 files and directories currently installed.) Preparing to unpack .../00-libgomp1_10.2.0-19ubuntu2_amd64.deb ... Unpacking libgomp1:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../01-libitm1_10.2.0-19ubuntu2_amd64.deb ... Unpacking libitm1:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../02-libatomic1_10.2.0-19ubuntu2_amd64.deb ... Unpacking libatomic1:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../03-libasan6_10.2.0-19ubuntu2_amd64.deb ... Unpacking libasan6:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../04-liblsan0_10.2.0-19ubuntu2_amd64.deb ... Unpacking liblsan0:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../05-libtsan0_10.2.0-19ubuntu2_amd64.deb ... Unpacking libtsan0:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../06-libubsan1_10.2.0-19ubuntu2_amd64.deb ... Unpacking libubsan1:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../07-libquadmath0_10.2.0-19ubuntu2_amd64.deb ... Unpacking libquadmath0:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../08-g++-10_10.2.0-19ubuntu2_amd64.deb ... Unpacking g++-10 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../09-libstdc++-10-dev_10.2.0-19ubuntu2_amd64.deb ... Unpacking libstdc++-10-dev:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../10-libgcc-10-dev_10.2.0-19ubuntu2_amd64.deb ... Unpacking libgcc-10-dev:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../11-gcc-10_10.2.0-19ubuntu2_amd64.deb ... Unpacking gcc-10 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../12-cpp-10_10.2.0-19ubuntu2_amd64.deb ... Unpacking cpp-10 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Preparing to unpack .../13-libstdc++6_10.2.0-19ubuntu2_amd64.deb ... Unpacking libstdc++6:amd64 (10.2.0-19ubuntu2) over (10.2.0-13ubuntu1) ... Setting up libstdc++6:amd64 (10.2.0-19ubuntu2) ... (Reading database ... 12983 files and directories currently installed.) Preparing to unpack .../0-libmpc3_1.2.0-1_amd64.deb ... Unpacking libmpc3:amd64 (1.2.0-1) over (1.2.0~rc1-1) ... Preparing to unpack .../1-libctf-nobfd0_2.35.1-3ubuntu1_amd64.deb ... Unpacking libctf-nobfd0:amd64 (2.35.1-3ubuntu1) over (2.35.1-1ubuntu1) ... Preparing to unpack .../2-libctf0_2.35.1-3ubuntu1_amd64.deb ... Unpacking libctf0:amd64 (2.35.1-3ubuntu1) over (2.35.1-1ubuntu1) ... Preparing to unpack .../3-libbinutils_2.35.1-3ubuntu1_amd64.deb ... Unpacking libbinutils:amd64 (2.35.1-3ubuntu1) over (2.35.1-1ubuntu1) ... Preparing to unpack .../4-binutils-common_2.35.1-3ubuntu1_amd64.deb ... Unpacking binutils-common:amd64 (2.35.1-3ubuntu1) over (2.35.1-1ubuntu1) ... Preparing to unpack .../5-binutils_2.35.1-3ubuntu1_amd64.deb ... Unpacking binutils (2.35.1-3ubuntu1) over (2.35.1-1ubuntu1) ... Preparing to unpack .../6-binutils-x86-64-linux-gnu_2.35.1-3ubuntu1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.35.1-3ubuntu1) over (2.35.1-1ubuntu1) ... Preparing to unpack .../7-libc6_2.32-0ubuntu5_amd64.deb ... Unpacking libc6:amd64 (2.32-0ubuntu5) over (2.32-0ubuntu3) ... Setting up libc6:amd64 (2.32-0ubuntu5) ... (Reading database ... 12983 files and directories currently installed.) Preparing to unpack .../base-files_11ubuntu16_amd64.deb ... Unpacking base-files (11ubuntu16) over (11ubuntu14) ... Setting up base-files (11ubuntu16) ... 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 ... 12983 files and directories currently installed.) Preparing to unpack .../bash_5.1~rc3-1ubuntu1_amd64.deb ... Unpacking bash (5.1~rc3-1ubuntu1) over (5.0-6ubuntu2) ... Setting up bash (5.1~rc3-1ubuntu1) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 12983 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.36.1-1ubuntu2_amd64.deb ... Unpacking bsdutils (1:2.36.1-1ubuntu2) over (1:2.36-3ubuntu1) ... Setting up bsdutils (1:2.36.1-1ubuntu2) ... (Reading database ... 12983 files and directories currently installed.) Preparing to unpack .../coreutils_8.32-4ubuntu1_amd64.deb ... Unpacking coreutils (8.32-4ubuntu1) over (8.32-3ubuntu1) ... Setting up coreutils (8.32-4ubuntu1) ... (Reading database ... 12983 files and directories currently installed.) Preparing to unpack .../tar_1.32+dfsg-1_amd64.deb ... Unpacking tar (1.32+dfsg-1) over (1.30+dfsg-7) ... Setting up tar (1.32+dfsg-1) ... (Reading database ... 12983 files and directories currently installed.) Preparing to unpack .../dpkg_1.20.5ubuntu3_amd64.deb ... Unpacking dpkg (1.20.5ubuntu3) over (1.20.5ubuntu2) ... Setting up dpkg (1.20.5ubuntu3) ... (Reading database ... 12983 files and directories currently installed.) Preparing to unpack .../dash_0.5.11+git20200708+dd9ef66+really0.5.10.2-0ubuntu1_amd64.deb ... Unpacking dash (0.5.11+git20200708+dd9ef66+really0.5.10.2-0ubuntu1) over (0.5.10.2-7) ... Setting up dash (0.5.11+git20200708+dd9ef66+really0.5.10.2-0ubuntu1) ... (Reading database ... 12983 files and directories currently installed.) Preparing to unpack .../archives/grep_3.6-1_amd64.deb ... Unpacking grep (3.6-1) over (3.4-1) ... Setting up grep (3.6-1) ... (Reading database ... 12984 files and directories currently installed.) Preparing to unpack .../libncursesw6_6.2+20201114-1_amd64.deb ... Unpacking libncursesw6:amd64 (6.2+20201114-1) over (6.2-1) ... Preparing to unpack .../libncurses6_6.2+20201114-1_amd64.deb ... Unpacking libncurses6:amd64 (6.2+20201114-1) over (6.2-1) ... Preparing to unpack .../libtinfo6_6.2+20201114-1_amd64.deb ... Unpacking libtinfo6:amd64 (6.2+20201114-1) over (6.2-1) ... Setting up libtinfo6:amd64 (6.2+20201114-1) ... (Reading database ... 12984 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.2+20201114-1_amd64.deb ... Unpacking ncurses-bin (6.2+20201114-1) over (6.2-1) ... Setting up ncurses-bin (6.2+20201114-1) ... (Reading database ... 12984 files and directories currently installed.) Preparing to unpack .../perl_5.32.0-5_amd64.deb ... Unpacking perl (5.32.0-5) over (5.30.3-4) ... Selecting previously unselected package perl-modules-5.32. Preparing to unpack .../perl-modules-5.32_5.32.0-5_all.deb ... Unpacking perl-modules-5.32 (5.32.0-5) ... Selecting previously unselected package libperl5.32:amd64. Preparing to unpack .../libperl5.32_5.32.0-5_amd64.deb ... Unpacking libperl5.32:amd64 (5.32.0-5) ... Preparing to unpack .../perl-base_5.32.0-5_amd64.deb ... Unpacking perl-base (5.32.0-5) over (5.30.3-4) ... Setting up perl-base (5.32.0-5) ... (Reading database ... 14905 files and directories currently installed.) Preparing to unpack .../util-linux_2.36.1-1ubuntu2_amd64.deb ... Unpacking util-linux (2.36.1-1ubuntu2) over (2.36-3ubuntu1) ... Setting up util-linux (2.36.1-1ubuntu2) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.255ubuntu1_amd64.deb ... Unpacking libdebconfclient0:amd64 (0.255ubuntu1) over (0.252ubuntu1) ... Setting up libdebconfclient0:amd64 (0.255ubuntu1) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.48_amd64.deb ... Unpacking base-passwd (3.5.48) over (3.5.47) ... Setting up base-passwd (3.5.48) ... Changing home-directory of irc from /var/run/ircd to /run/ircd 1 changes have been made, rewriting files Writing passwd-file to /etc/passwd Writing shadow-file to /etc/shadow Writing group-file to /etc/group (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.59_all.deb ... Unpacking init-system-helpers (1.59) over (1.58) ... Setting up init-system-helpers (1.59) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libc-bin_2.32-0ubuntu5_amd64.deb ... Unpacking libc-bin (2.32-0ubuntu5) over (2.32-0ubuntu3) ... Setting up libc-bin (2.32-0ubuntu5) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.2+20201114-1_all.deb ... Unpacking ncurses-base (6.2+20201114-1) over (6.2-1) ... Setting up ncurses-base (6.2+20201114-1) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_2.96-5ubuntu1_amd64.deb ... Unpacking sysvinit-utils (2.96-5ubuntu1) over (2.96-3ubuntu1) ... Setting up sysvinit-utils (2.96-5ubuntu1) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.8.7-2ubuntu1_amd64.deb ... Unpacking libgcrypt20:amd64 (1.8.7-2ubuntu1) over (1.8.5-5ubuntu2) ... Setting up libgcrypt20:amd64 (1.8.7-2ubuntu1) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../liblz4-1_1.9.3-0ubuntu1_amd64.deb ... Unpacking liblz4-1:amd64 (1.9.3-0ubuntu1) over (1.9.2-2) ... Setting up liblz4-1:amd64 (1.9.3-0ubuntu1) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../systemd-sysv_246.6-2ubuntu1_amd64.deb ... Unpacking systemd-sysv (246.6-2ubuntu1) over (246.6-1ubuntu1) ... Preparing to unpack .../systemd-timesyncd_246.6-2ubuntu1_amd64.deb ... Unpacking systemd-timesyncd (246.6-2ubuntu1) over (246.6-1ubuntu1) ... Preparing to unpack .../libapparmor1_3.0.0-0ubuntu4_amd64.deb ... Unpacking libapparmor1:amd64 (3.0.0-0ubuntu4) over (3.0.0-0ubuntu1) ... Preparing to unpack .../libaudit-common_1%3a2.8.5-3ubuntu2_all.deb ... Unpacking libaudit-common (1:2.8.5-3ubuntu2) over (1:2.8.5-3ubuntu1) ... Setting up libaudit-common (1:2.8.5-3ubuntu2) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.7.9-2.2build1_amd64.deb ... Unpacking libcap-ng0:amd64 (0.7.9-2.2build1) over (0.7.9-2.2) ... Setting up libcap-ng0:amd64 (0.7.9-2.2build1) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.8.5-3ubuntu2_amd64.deb ... Unpacking libaudit1:amd64 (1:2.8.5-3ubuntu2) over (1:2.8.5-3ubuntu1) ... Setting up libaudit1:amd64 (1:2.8.5-3ubuntu2) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.44-1_amd64.deb ... Unpacking libcap2:amd64 (1:2.44-1) over (1:2.43-1) ... Preparing to unpack .../libblkid1_2.36.1-1ubuntu2_amd64.deb ... Unpacking libblkid1:amd64 (2.36.1-1ubuntu2) over (2.36-3ubuntu1) ... Setting up libblkid1:amd64 (2.36.1-1ubuntu2) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libselinux1_3.1-2build1_amd64.deb ... Unpacking libselinux1:amd64 (3.1-2build1) over (3.1-2) ... Setting up libselinux1:amd64 (3.1-2build1) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libudev1_246.6-2ubuntu1_amd64.deb ... Unpacking libudev1:amd64 (246.6-2ubuntu1) over (246.6-1ubuntu1) ... Setting up libudev1:amd64 (246.6-2ubuntu1) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libdevmapper1.02.1_2%3a1.02.167-1ubuntu4_amd64.deb ... Unpacking libdevmapper1.02.1:amd64 (2:1.02.167-1ubuntu4) over (2:1.02.167-1ubuntu3) ... Preparing to unpack .../libuuid1_2.36.1-1ubuntu2_amd64.deb ... Unpacking libuuid1:amd64 (2.36.1-1ubuntu2) over (2.36-3ubuntu1) ... Setting up libuuid1:amd64 (2.36.1-1ubuntu2) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libcryptsetup12_2%3a2.3.4-1ubuntu1_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.3.4-1ubuntu1) over (2:2.3.3-1ubuntu6) ... Preparing to unpack .../libidn2-0_2.3.0-4_amd64.deb ... Unpacking libidn2-0:amd64 (2.3.0-4) over (2.3.0-1) ... Setting up libidn2-0:amd64 (2.3.0-4) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libip4tc2_1.8.5-3ubuntu4_amd64.deb ... Unpacking libip4tc2:amd64 (1.8.5-3ubuntu4) over (1.8.5-3ubuntu1) ... Preparing to unpack .../libmount1_2.36.1-1ubuntu2_amd64.deb ... Unpacking libmount1:amd64 (2.36.1-1ubuntu2) over (2.36-3ubuntu1) ... Setting up libmount1:amd64 (2.36.1-1ubuntu2) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.4.3-1ubuntu5_amd64.deb ... Unpacking libseccomp2:amd64 (2.4.3-1ubuntu5) over (2.4.3-1ubuntu4) ... Setting up libseccomp2:amd64 (2.4.3-1ubuntu5) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../mount_2.36.1-1ubuntu2_amd64.deb ... Unpacking mount (2.36.1-1ubuntu2) over (2.36-3ubuntu1) ... Preparing to unpack .../systemd_246.6-2ubuntu1_amd64.deb ... Unpacking systemd (246.6-2ubuntu1) over (246.6-1ubuntu1) ... Preparing to unpack .../libsystemd0_246.6-2ubuntu1_amd64.deb ... Unpacking libsystemd0:amd64 (246.6-2ubuntu1) over (246.6-1ubuntu1) ... Setting up libsystemd0:amd64 (246.6-2ubuntu1) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.1.12_amd64.deb ... Unpacking libapt-pkg6.0:amd64 (2.1.12) over (2.1.10) ... Setting up libapt-pkg6.0:amd64 (2.1.12) ... (Reading database ... 14906 files and directories currently installed.) Preparing to unpack .../archives/apt_2.1.12_amd64.deb ... Unpacking apt (2.1.12) over (2.1.10) ... Setting up apt (2.1.12) ... Setting up libapparmor1:amd64 (3.0.0-0ubuntu4) ... Setting up libcap2:amd64 (1:2.44-1) ... Setting up libdevmapper1.02.1:amd64 (2:1.02.167-1ubuntu4) ... Setting up libcryptsetup12:amd64 (2:2.3.4-1ubuntu1) ... Setting up libip4tc2:amd64 (1.8.5-3ubuntu4) ... Setting up mount (2.36.1-1ubuntu2) ... Setting up systemd-timesyncd (246.6-2ubuntu1) ... Setting up systemd (246.6-2ubuntu1) ... Initializing machine ID from random generator. Setting up systemd-sysv (246.6-2ubuntu1) ... (Reading database ... 14910 files and directories currently installed.) Preparing to unpack .../archives/init_1.59_amd64.deb ... Unpacking init (1.59) over (1.58) ... Preparing to unpack .../libsemanage-common_3.1-1build1_all.deb ... Unpacking libsemanage-common (3.1-1build1) over (3.1-1) ... Setting up libsemanage-common (3.1-1build1) ... (Reading database ... 14910 files and directories currently installed.) Preparing to unpack .../libsemanage1_3.1-1build1_amd64.deb ... Unpacking libsemanage1:amd64 (3.1-1build1) over (3.1-1) ... Setting up libsemanage1:amd64 (3.1-1build1) ... (Reading database ... 14910 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.36.1-1ubuntu2_amd64.deb ... Unpacking libsmartcols1:amd64 (2.36.1-1ubuntu2) over (2.36-3ubuntu1) ... Setting up libsmartcols1:amd64 (2.36.1-1ubuntu2) ... (Reading database ... 14910 files and directories currently installed.) Preparing to unpack .../0-readline-common_8.1~rc3-1_all.deb ... Unpacking readline-common (8.1~rc3-1) over (8.0-4) ... Preparing to unpack .../1-libreadline8_8.1~rc3-1_amd64.deb ... Unpacking libreadline8:amd64 (8.1~rc3-1) over (8.0-4) ... Preparing to unpack .../2-tzdata_2020d-1ubuntu1_all.deb ... Unpacking tzdata (2020d-1ubuntu1) over (2020b-1ubuntu1) ... Preparing to unpack .../3-dpkg-dev_1.20.5ubuntu3_all.deb ... Unpacking dpkg-dev (1.20.5ubuntu3) over (1.20.5ubuntu2) ... Preparing to unpack .../4-libdpkg-perl_1.20.5ubuntu3_all.deb ... Unpacking libdpkg-perl (1.20.5ubuntu3) over (1.20.5ubuntu2) ... Preparing to unpack .../5-libfakeroot_1.25.3-1.1_amd64.deb ... Unpacking libfakeroot:amd64 (1.25.3-1.1) over (1.25.2-1) ... Preparing to unpack .../6-fakeroot_1.25.3-1.1_amd64.deb ... Unpacking fakeroot (1.25.3-1.1) over (1.25.2-1) ... Preparing to unpack .../7-libnpth0_1.6-3_amd64.deb ... Unpacking libnpth0:amd64 (1.6-3) over (1.6-2) ... Setting up init (1.59) ... Setting up libtirpc-common (1.2.6-3) ... Setting up perl-modules-5.32 (5.32.0-5) ... Setting up binutils-common:amd64 (2.35.1-3ubuntu1) ... Setting up linux-libc-dev:amd64 (5.8.0-31.33+21.04.1) ... Setting up libctf-nobfd0:amd64 (2.35.1-3ubuntu1) ... Setting up libnpth0:amd64 (1.6-3) ... Setting up libgomp1:amd64 (10.2.0-19ubuntu2) ... Setting up libfakeroot:amd64 (1.25.3-1.1) ... Setting up libasan6:amd64 (10.2.0-19ubuntu2) ... Setting up libkrb5support0:amd64 (1.17-10ubuntu1) ... Setting up tzdata (2020d-1ubuntu1) ... Current default time zone: 'Etc/UTC' Local time is now: Sat Nov 28 09:25:47 UTC 2020. Universal Time is now: Sat Nov 28 09:25:47 UTC 2020. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up fakeroot (1.25.3-1.1) ... Setting up libncurses6:amd64 (6.2+20201114-1) ... Setting up libquadmath0:amd64 (10.2.0-19ubuntu2) ... Setting up libmpc3:amd64 (1.2.0-1) ... Setting up libatomic1:amd64 (10.2.0-19ubuntu2) ... Setting up libncursesw6:amd64 (6.2+20201114-1) ... Setting up libk5crypto3:amd64 (1.17-10ubuntu1) ... Setting up libperl5.32:amd64 (5.32.0-5) ... Setting up libubsan1:amd64 (10.2.0-19ubuntu2) ... Setting up libcrypt-dev:amd64 (1:4.4.17-1ubuntu1) ... Setting up libkrb5-3:amd64 (1.17-10ubuntu1) ... Setting up libbinutils:amd64 (2.35.1-3ubuntu1) ... Setting up libisl23:amd64 (0.23-1) ... Setting up libc-dev-bin (2.32-0ubuntu5) ... Setting up readline-common (8.1~rc3-1) ... Setting up libcc1-0:amd64 (10.2.0-19ubuntu2) ... Setting up liblsan0:amd64 (10.2.0-19ubuntu2) ... Setting up cpp-10 (10.2.0-19ubuntu2) ... Setting up libitm1:amd64 (10.2.0-19ubuntu2) ... Setting up libtsan0:amd64 (10.2.0-19ubuntu2) ... Setting up libctf0:amd64 (2.35.1-3ubuntu1) ... Setting up libgcc-10-dev:amd64 (10.2.0-19ubuntu2) ... Setting up libreadline8:amd64 (8.1~rc3-1) ... Setting up perl (5.32.0-5) ... Setting up libgssapi-krb5-2:amd64 (1.17-10ubuntu1) ... Setting up libdpkg-perl (1.20.5ubuntu3) ... Setting up binutils-x86-64-linux-gnu (2.35.1-3ubuntu1) ... Setting up libtirpc3:amd64 (1.2.6-3) ... Setting up binutils (2.35.1-3ubuntu1) ... Setting up dpkg-dev (1.20.5ubuntu3) ... Setting up libtirpc-dev:amd64 (1.2.6-3) ... Setting up gcc-10 (10.2.0-19ubuntu2) ... Setting up libc6-dev:amd64 (2.32-0ubuntu5) ... Setting up libstdc++-10-dev:amd64 (10.2.0-19ubuntu2) ... Setting up g++-10 (10.2.0-19ubuntu2) ... Processing triggers for libc-bin (2.32-0ubuntu5) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-20343119 amd64 hirsute-proposed -c chroot:build-PACKAGEBUILD-20343119 --arch=amd64 --dist=hirsute-proposed --nolog -A alt-ergo_2.0.0-7build2.dsc Initiating build PACKAGEBUILD-20343119 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.15.0-124-generic #127-Ubuntu SMP Fri Nov 6 10:54:43 UTC 2020 x86_64 sbuild (Debian sbuild) 0.75.0 (21 Mar 2018) on lgw01-amd64-031.buildd +==============================================================================+ | alt-ergo 2.0.0-7build2 (amd64) Sat, 28 Nov 2020 09:25:50 +0000 | +==============================================================================+ Package: alt-ergo Version: 2.0.0-7build2 Source Version: 2.0.0-7build2 Distribution: hirsute-proposed Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: binary I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-20343119/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- alt-ergo_2.0.0-7build2.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/alt-ergo-ebW09L/alt-ergo-2.0.0' with '<>' I: NOTICE: Log filtering will replace 'build/alt-ergo-ebW09L' with '<>' +------------------------------------------------------------------------------+ | Install build-essential | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-el2bKK/apt_archive/sbuild-build-depends-core-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-core-dummy dpkg-scanpackages: info: Wrote 1 entries to output Packages file. Ign:1 copy:/<>/resolver-el2bKK/apt_archive ./ InRelease Get:2 copy:/<>/resolver-el2bKK/apt_archive ./ Release [957 B] Ign:3 copy:/<>/resolver-el2bKK/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-el2bKK/apt_archive ./ Sources [349 B] Get:5 copy:/<>/resolver-el2bKK/apt_archive ./ Packages [433 B] Fetched 1739 B in 0s (76.1 kB/s) Reading package lists... Reading package lists... Install core build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libisl22 libperl5.30 perl-modules-5.30 Use 'apt autoremove' to remove them. The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 856 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-el2bKK/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [856 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 856 B in 0s (51.2 kB/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 14910 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 13), dh-ocaml, 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) Filtered Build-Depends: debhelper-compat (= 13), dh-ocaml, 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) dpkg-deb: building package 'sbuild-build-depends-alt-ergo-dummy' in '/<>/resolver-el2bKK/apt_archive/sbuild-build-depends-alt-ergo-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-alt-ergo-dummy sbuild-build-depends-core-dummy dpkg-scanpackages: info: Wrote 2 entries to output Packages file. Ign:1 copy:/<>/resolver-el2bKK/apt_archive ./ InRelease Get:2 copy:/<>/resolver-el2bKK/apt_archive ./ Release [963 B] Ign:3 copy:/<>/resolver-el2bKK/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-el2bKK/apt_archive ./ Sources [583 B] Get:5 copy:/<>/resolver-el2bKK/apt_archive ./ Packages [667 B] Fetched 2213 B in 0s (43.9 kB/s) Reading package lists... Reading package lists... Install alt-ergo build dependencies (apt-based resolver) -------------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libisl22 libperl5.30 perl-modules-5.30 Use 'apt autoremove' to remove them. The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcroco3 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libicu67 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev 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 zlib1g-dev Suggested packages: autoconf-archive gnu-standards autoconf-doc 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 elpa-tuareg 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 bsdextrautils debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcroco3 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libfindlib-ocaml libglib2.0-0 libgmp-dev libgmp3-dev libgmpxx4ldbl libicu67 libmagic-mgc libmagic1 libncurses-dev libncurses5-dev 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-alt-ergo-dummy zlib1g-dev 0 upgraded, 55 newly installed, 0 to remove and 0 not upgraded. Need to get 126 MB of archives. After this operation, 554 MB of additional disk space will be used. Get:1 copy:/<>/resolver-el2bKK/apt_archive ./ sbuild-build-depends-alt-ergo-dummy 0.invalid.0 [952 B] Get:2 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 bsdextrautils amd64 2.36.1-1ubuntu2 [77.3 kB] Get:3 http://ftpmaster.internal/ubuntu hirsute/main amd64 libuchardet0 amd64 0.0.7-1 [68.0 kB] Get:4 http://ftpmaster.internal/ubuntu hirsute/main amd64 groff-base amd64 1.22.4-5 [847 kB] Get:5 http://ftpmaster.internal/ubuntu hirsute/main amd64 libpipeline1 amd64 1.5.3-1 [27.8 kB] Get:6 http://ftpmaster.internal/ubuntu hirsute/main amd64 man-db amd64 2.9.3-2 [1117 kB] Get:7 http://ftpmaster.internal/ubuntu hirsute/main amd64 libmagic-mgc amd64 1:5.39-3 [228 kB] Get:8 http://ftpmaster.internal/ubuntu hirsute/main amd64 libmagic1 amd64 1:5.39-3 [80.6 kB] Get:9 http://ftpmaster.internal/ubuntu hirsute/main amd64 file amd64 1:5.39-3 [23.7 kB] Get:10 http://ftpmaster.internal/ubuntu hirsute/main amd64 libelf1 amd64 0.182-1 [44.2 kB] Get:11 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libglib2.0-0 amd64 2.66.3-1 [1307 kB] Get:12 http://ftpmaster.internal/ubuntu hirsute/main amd64 libicu67 amd64 67.1-4 [8620 kB] Get:13 http://ftpmaster.internal/ubuntu hirsute/main amd64 libxml2 amd64 2.9.10+dfsg-6.2 [623 kB] Get:14 http://ftpmaster.internal/ubuntu hirsute/main amd64 gettext-base amd64 0.19.8.1-10build1 [50.2 kB] Get:15 http://ftpmaster.internal/ubuntu hirsute/main amd64 libsigsegv2 amd64 2.12-2build1 [13.9 kB] Get:16 http://ftpmaster.internal/ubuntu hirsute/main amd64 m4 amd64 1.4.18-4 [199 kB] Get:17 http://ftpmaster.internal/ubuntu hirsute/main amd64 autoconf all 2.69-11.1 [321 kB] Get:18 http://ftpmaster.internal/ubuntu hirsute/main amd64 autotools-dev all 20180224.1 [39.6 kB] Get:19 http://ftpmaster.internal/ubuntu hirsute/main amd64 automake all 1:1.16.2-4ubuntu1 [548 kB] Get:20 http://ftpmaster.internal/ubuntu hirsute/main amd64 autopoint all 0.19.8.1-10build1 [412 kB] Get:21 http://ftpmaster.internal/ubuntu hirsute/main amd64 libtool all 2.4.6-14 [161 kB] Get:22 http://ftpmaster.internal/ubuntu hirsute/main amd64 dh-autoreconf all 19 [16.1 kB] Get:23 http://ftpmaster.internal/ubuntu hirsute/main amd64 libdebhelper-perl all 13.2.1ubuntu1 [63.6 kB] Get:24 http://ftpmaster.internal/ubuntu hirsute/main amd64 libarchive-zip-perl all 1.68-1 [90.2 kB] Get:25 http://ftpmaster.internal/ubuntu hirsute/main amd64 libsub-override-perl all 0.09-2 [9532 B] Get:26 http://ftpmaster.internal/ubuntu hirsute/main amd64 libfile-stripnondeterminism-perl all 1.9.0-1 [17.2 kB] Get:27 http://ftpmaster.internal/ubuntu hirsute/main amd64 dh-strip-nondeterminism all 1.9.0-1 [5192 B] Get:28 http://ftpmaster.internal/ubuntu hirsute/main amd64 dwz amd64 0.13-5 [151 kB] Get:29 http://ftpmaster.internal/ubuntu hirsute/main amd64 libcroco3 amd64 0.6.13-1 [82.5 kB] Get:30 http://ftpmaster.internal/ubuntu hirsute/main amd64 gettext amd64 0.19.8.1-10build1 [895 kB] Get:31 http://ftpmaster.internal/ubuntu hirsute/main amd64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:32 http://ftpmaster.internal/ubuntu hirsute/main amd64 po-debconf all 1.0.21 [233 kB] Get:33 http://ftpmaster.internal/ubuntu hirsute/main amd64 debhelper all 13.2.1ubuntu1 [879 kB] Get:34 http://ftpmaster.internal/ubuntu hirsute/universe amd64 ocaml-base-nox amd64 4.11.1-4 [545 kB] Get:35 http://ftpmaster.internal/ubuntu hirsute/universe amd64 libfindlib-ocaml amd64 1.8.1-2 [186 kB] Get:36 http://ftpmaster.internal/ubuntu hirsute/main amd64 libgmpxx4ldbl amd64 2:6.2.0+dfsg-6ubuntu1 [9192 B] Get:37 http://ftpmaster.internal/ubuntu hirsute/main amd64 libgmp-dev amd64 2:6.2.0+dfsg-6ubuntu1 [318 kB] Get:38 http://ftpmaster.internal/ubuntu hirsute/main amd64 libgmp3-dev amd64 2:6.2.0+dfsg-6ubuntu1 [2024 B] Get:39 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libncurses-dev amd64 6.2+20201114-1 [346 kB] Get:40 http://ftpmaster.internal/ubuntu hirsute-proposed/main amd64 libncurses5-dev amd64 6.2+20201114-1 [992 B] Get:41 http://ftpmaster.internal/ubuntu hirsute-proposed/universe amd64 libnum-ocaml amd64 1.4-1 [170 kB] Get:42 http://ftpmaster.internal/ubuntu hirsute/universe amd64 ocaml-compiler-libs amd64 4.11.1-4 [29.7 MB] Get:43 http://ftpmaster.internal/ubuntu hirsute/universe amd64 ocaml-interp amd64 4.11.1-4 [5696 kB] Get:44 http://ftpmaster.internal/ubuntu hirsute/universe amd64 ocaml-nox amd64 4.11.1-4 [68.1 MB] Get:45 http://ftpmaster.internal/ubuntu hirsute-proposed/universe amd64 libnum-ocaml-dev amd64 1.4-1 [106 kB] Get:46 http://ftpmaster.internal/ubuntu hirsute/universe amd64 libocamlgraph-ocaml-dev amd64 1.8.8-1.1build2 [1671 kB] Get:47 http://ftpmaster.internal/ubuntu hirsute/universe amd64 libzarith-ocaml amd64 1.10-1build1 [51.9 kB] Get:48 http://ftpmaster.internal/ubuntu hirsute/universe amd64 libzarith-ocaml-dev amd64 1.10-1build1 [87.8 kB] Get:49 http://ftpmaster.internal/ubuntu hirsute/universe amd64 libzip-ocaml amd64 1.10-1build1 [81.5 kB] Get:50 http://ftpmaster.internal/ubuntu hirsute/main amd64 zlib1g-dev amd64 1:1.2.11.dfsg-2ubuntu4 [156 kB] Get:51 http://ftpmaster.internal/ubuntu hirsute/universe amd64 libzip-ocaml-dev amd64 1.10-1build1 [44.8 kB] Get:52 http://ftpmaster.internal/ubuntu hirsute/universe amd64 menhir amd64 20200624-1build1 [833 kB] Get:53 http://ftpmaster.internal/ubuntu hirsute/universe amd64 ocaml-findlib amd64 1.8.1-2 [474 kB] Get:54 http://ftpmaster.internal/ubuntu hirsute/universe amd64 dh-ocaml all 1.1.3 [78.9 kB] Get:55 http://ftpmaster.internal/ubuntu hirsute/universe amd64 ocplib-simplex-ocaml-dev amd64 0.4-2build2 [269 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 126 MB in 6s (21.7 MB/s) Selecting previously unselected package bsdextrautils. (Reading database ... 14910 files and directories currently installed.) Preparing to unpack .../00-bsdextrautils_2.36.1-1ubuntu2_amd64.deb ... Unpacking bsdextrautils (2.36.1-1ubuntu2) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../01-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../02-groff-base_1.22.4-5_amd64.deb ... Unpacking groff-base (1.22.4-5) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../03-libpipeline1_1.5.3-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.9.3-2_amd64.deb ... Unpacking man-db (2.9.3-2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../05-libmagic-mgc_1%3a5.39-3_amd64.deb ... Unpacking libmagic-mgc (1:5.39-3) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../06-libmagic1_1%3a5.39-3_amd64.deb ... Unpacking libmagic1:amd64 (1:5.39-3) ... Selecting previously unselected package file. Preparing to unpack .../07-file_1%3a5.39-3_amd64.deb ... Unpacking file (1:5.39-3) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../08-libelf1_0.182-1_amd64.deb ... Unpacking libelf1:amd64 (0.182-1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../09-libglib2.0-0_2.66.3-1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.66.3-1) ... Selecting previously unselected package libicu67:amd64. Preparing to unpack .../10-libicu67_67.1-4_amd64.deb ... Unpacking libicu67:amd64 (67.1-4) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../11-libxml2_2.9.10+dfsg-6.2_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-6.2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../12-gettext-base_0.19.8.1-10build1_amd64.deb ... Unpacking gettext-base (0.19.8.1-10build1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../13-libsigsegv2_2.12-2build1_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2build1) ... Selecting previously unselected package m4. Preparing to unpack .../14-m4_1.4.18-4_amd64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../15-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../16-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../17-automake_1%3a1.16.2-4ubuntu1_all.deb ... Unpacking automake (1:1.16.2-4ubuntu1) ... Selecting previously unselected package autopoint. Preparing to unpack .../18-autopoint_0.19.8.1-10build1_all.deb ... Unpacking autopoint (0.19.8.1-10build1) ... Selecting previously unselected package libtool. Preparing to unpack .../19-libtool_2.4.6-14_all.deb ... Unpacking libtool (2.4.6-14) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../20-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../21-libdebhelper-perl_13.2.1ubuntu1_all.deb ... Unpacking libdebhelper-perl (13.2.1ubuntu1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../22-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 .../23-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 .../24-libfile-stripnondeterminism-perl_1.9.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.9.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../25-dh-strip-nondeterminism_1.9.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.9.0-1) ... Selecting previously unselected package dwz. Preparing to unpack .../26-dwz_0.13-5_amd64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../27-libcroco3_0.6.13-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../28-gettext_0.19.8.1-10build1_amd64.deb ... Unpacking gettext (0.19.8.1-10build1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../29-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 .../30-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../31-debhelper_13.2.1ubuntu1_all.deb ... Unpacking debhelper (13.2.1ubuntu1) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../32-ocaml-base-nox_4.11.1-4_amd64.deb ... Unpacking ocaml-base-nox (4.11.1-4) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../33-libfindlib-ocaml_1.8.1-2_amd64.deb ... Unpacking libfindlib-ocaml (1.8.1-2) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../34-libgmpxx4ldbl_2%3a6.2.0+dfsg-6ubuntu1_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.2.0+dfsg-6ubuntu1) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../35-libgmp-dev_2%3a6.2.0+dfsg-6ubuntu1_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.2.0+dfsg-6ubuntu1) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../36-libgmp3-dev_2%3a6.2.0+dfsg-6ubuntu1_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.2.0+dfsg-6ubuntu1) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../37-libncurses-dev_6.2+20201114-1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.2+20201114-1) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../38-libncurses5-dev_6.2+20201114-1_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.2+20201114-1) ... Selecting previously unselected package libnum-ocaml. Preparing to unpack .../39-libnum-ocaml_1.4-1_amd64.deb ... Unpacking libnum-ocaml (1.4-1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../40-ocaml-compiler-libs_4.11.1-4_amd64.deb ... Unpacking ocaml-compiler-libs (4.11.1-4) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../41-ocaml-interp_4.11.1-4_amd64.deb ... Unpacking ocaml-interp (4.11.1-4) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../42-ocaml-nox_4.11.1-4_amd64.deb ... Unpacking ocaml-nox (4.11.1-4) ... Selecting previously unselected package libnum-ocaml-dev. Preparing to unpack .../43-libnum-ocaml-dev_1.4-1_amd64.deb ... Unpacking libnum-ocaml-dev (1.4-1) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../44-libocamlgraph-ocaml-dev_1.8.8-1.1build2_amd64.deb ... Unpacking libocamlgraph-ocaml-dev (1.8.8-1.1build2) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../45-libzarith-ocaml_1.10-1build1_amd64.deb ... Unpacking libzarith-ocaml (1.10-1build1) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../46-libzarith-ocaml-dev_1.10-1build1_amd64.deb ... Unpacking libzarith-ocaml-dev (1.10-1build1) ... Selecting previously unselected package libzip-ocaml. Preparing to unpack .../47-libzip-ocaml_1.10-1build1_amd64.deb ... Unpacking libzip-ocaml (1.10-1build1) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../48-zlib1g-dev_1%3a1.2.11.dfsg-2ubuntu4_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.11.dfsg-2ubuntu4) ... Selecting previously unselected package libzip-ocaml-dev. Preparing to unpack .../49-libzip-ocaml-dev_1.10-1build1_amd64.deb ... Unpacking libzip-ocaml-dev (1.10-1build1) ... Selecting previously unselected package menhir. Preparing to unpack .../50-menhir_20200624-1build1_amd64.deb ... Unpacking menhir (20200624-1build1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../51-ocaml-findlib_1.8.1-2_amd64.deb ... Unpacking ocaml-findlib (1.8.1-2) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../52-dh-ocaml_1.1.3_all.deb ... Unpacking dh-ocaml (1.1.3) ... Selecting previously unselected package ocplib-simplex-ocaml-dev. Preparing to unpack .../53-ocplib-simplex-ocaml-dev_0.4-2build2_amd64.deb ... Unpacking ocplib-simplex-ocaml-dev (0.4-2build2) ... Selecting previously unselected package sbuild-build-depends-alt-ergo-dummy. Preparing to unpack .../54-sbuild-build-depends-alt-ergo-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ... Setting up libpipeline1:amd64 (1.5.3-1) ... Setting up libncurses-dev:amd64 (6.2+20201114-1) ... Setting up bsdextrautils (2.36.1-1ubuntu2) ... update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode Setting up libicu67:amd64 (67.1-4) ... Setting up libmagic-mgc (1:5.39-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:amd64 (2.66.3-1) ... No schema files found: doing nothing. Setting up libdebhelper-perl (13.2.1ubuntu1) ... Setting up dh-ocaml (1.1.3) ... Setting up libmagic1:amd64 (1:5.39-3) ... Setting up gettext-base (0.19.8.1-10build1) ... Setting up file (1:5.39-3) ... Setting up autotools-dev (20180224.1) ... Setting up libgmpxx4ldbl:amd64 (2:6.2.0+dfsg-6ubuntu1) ... Setting up libsigsegv2:amd64 (2.12-2build1) ... Setting up autopoint (0.19.8.1-10build1) ... Setting up zlib1g-dev:amd64 (1:1.2.11.dfsg-2ubuntu4) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up libncurses5-dev:amd64 (6.2+20201114-1) ... Setting up libsub-override-perl (0.09-2) ... Setting up ocaml-base-nox (4.11.1-4) ... Setting up libelf1:amd64 (0.182-1) ... Setting up libxml2:amd64 (2.9.10+dfsg-6.2) ... Setting up ocplib-simplex-ocaml-dev (0.4-2build2) ... Setting up menhir (20200624-1build1) ... Setting up libfile-stripnondeterminism-perl (1.9.0-1) ... Setting up libgmp-dev:amd64 (2:6.2.0+dfsg-6ubuntu1) ... Setting up libtool (2.4.6-14) ... Setting up libfindlib-ocaml (1.8.1-2) ... Setting up m4 (1.4.18-4) ... Setting up libzarith-ocaml (1.10-1build1) ... Setting up libzip-ocaml (1.10-1build1) ... Setting up ocaml-findlib (1.8.1-2) ... Setting up libcroco3:amd64 (0.6.13-1) ... Setting up autoconf (2.69-11.1) ... Setting up dh-strip-nondeterminism (1.9.0-1) ... Setting up libnum-ocaml (1.4-1) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-5) ... Setting up libgmp3-dev:amd64 (2:6.2.0+dfsg-6ubuntu1) ... Setting up automake (1:1.16.2-4ubuntu1) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up gettext (0.19.8.1-10build1) ... Setting up man-db (2.9.3-2) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /lib/systemd/system/man-db.timer. Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up ocaml-compiler-libs (4.11.1-4) ... Setting up debhelper (13.2.1ubuntu1) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.11.1-4) ... Setting up ocaml-nox (4.11.1-4) ... Setting up libzarith-ocaml-dev (1.10-1build1) ... Setting up libocamlgraph-ocaml-dev (1.8.8-1.1build2) ... Setting up libnum-ocaml-dev (1.4-1) ... Setting up libzip-ocaml-dev (1.10-1build1) ... Setting up sbuild-build-depends-alt-ergo-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.32-0ubuntu5) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.15.0-124-generic amd64 (x86_64) Toolchain package versions: binutils_2.35.1-3ubuntu1 dpkg-dev_1.20.5ubuntu3 g++-10_10.2.0-19ubuntu2 gcc-10_10.2.0-19ubuntu2 libc6-dev_2.32-0ubuntu5 libstdc++-10-dev_10.2.0-19ubuntu2 libstdc++6_10.2.0-19ubuntu2 linux-libc-dev_5.8.0-31.33+21.04.1 Package versions: adduser_3.118ubuntu2 advancecomp_2.1-2.1build1 apt_2.1.12 autoconf_2.69-11.1 automake_1:1.16.2-4ubuntu1 autopoint_0.19.8.1-10build1 autotools-dev_20180224.1 base-files_11ubuntu16 base-passwd_3.5.48 bash_5.1~rc3-1ubuntu1 binutils_2.35.1-3ubuntu1 binutils-common_2.35.1-3ubuntu1 binutils-x86-64-linux-gnu_2.35.1-3ubuntu1 bsdextrautils_2.36.1-1ubuntu2 bsdutils_1:2.36.1-1ubuntu2 build-essential_12.8ubuntu3 bzip2_1.0.8-4ubuntu2 ca-certificates_20200601 coreutils_8.32-4ubuntu1 cpp_4:10.2.0-1ubuntu1 cpp-10_10.2.0-19ubuntu2 dash_0.5.11+git20200708+dd9ef66+really0.5.10.2-0ubuntu1 debconf_1.5.74 debhelper_13.2.1ubuntu1 debianutils_4.11.2 dh-autoreconf_19 dh-ocaml_1.1.3 dh-strip-nondeterminism_1.9.0-1 diffutils_1:3.7-3ubuntu1 dpkg_1.20.5ubuntu3 dpkg-dev_1.20.5ubuntu3 dwz_0.13-5 e2fsprogs_1.45.6-1ubuntu1 fakeroot_1.25.3-1.1 file_1:5.39-3 findutils_4.7.0-1ubuntu2 g++_4:10.2.0-1ubuntu1 g++-10_10.2.0-19ubuntu2 gcc_4:10.2.0-1ubuntu1 gcc-10_10.2.0-19ubuntu2 gcc-10-base_10.2.0-19ubuntu2 gettext_0.19.8.1-10build1 gettext-base_0.19.8.1-10build1 gpg_2.2.20-1ubuntu1 gpg-agent_2.2.20-1ubuntu1 gpgconf_2.2.20-1ubuntu1 gpgv_2.2.20-1ubuntu1 grep_3.6-1 groff-base_1.22.4-5 gzip_1.10-2ubuntu1 hostname_3.23 init_1.59 init-system-helpers_1.59 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-8 libapparmor1_3.0.0-0ubuntu4 libapt-pkg6.0_2.1.12 libarchive-zip-perl_1.68-1 libargon2-1_0~20171227-0.2build20.10.0 libasan6_10.2.0-19ubuntu2 libassuan0_2.5.3-7.1 libatomic1_10.2.0-19ubuntu2 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-3ubuntu2 libaudit1_1:2.8.5-3ubuntu2 libbinutils_2.35.1-3ubuntu1 libblkid1_2.36.1-1ubuntu2 libbz2-1.0_1.0.8-4ubuntu2 libc-bin_2.32-0ubuntu5 libc-dev-bin_2.32-0ubuntu5 libc6_2.32-0ubuntu5 libc6-dev_2.32-0ubuntu5 libcap-ng0_0.7.9-2.2build1 libcap2_1:2.44-1 libcc1-0_10.2.0-19ubuntu2 libcom-err2_1.45.6-1ubuntu1 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.17-1ubuntu1 libcrypt1_1:4.4.17-1ubuntu1 libcryptsetup12_2:2.3.4-1ubuntu1 libctf-nobfd0_2.35.1-3ubuntu1 libctf0_2.35.1-3ubuntu1 libdb5.3_5.3.28+dfsg1-0.6ubuntu3 libdebconfclient0_0.255ubuntu1 libdebhelper-perl_13.2.1ubuntu1 libdevmapper1.02.1_2:1.02.167-1ubuntu4 libdpkg-perl_1.20.5ubuntu3 libelf1_0.182-1 libext2fs2_1.45.6-1ubuntu1 libfakeroot_1.25.3-1.1 libffi8ubuntu1_3.4~20200819gead65ca871-0ubuntu3 libfile-stripnondeterminism-perl_1.9.0-1 libfindlib-ocaml_1.8.1-2 libgcc-10-dev_10.2.0-19ubuntu2 libgcc-s1_10.2.0-19ubuntu2 libgcrypt20_1.8.7-2ubuntu1 libgdbm-compat4_1.18.1-5.1 libgdbm6_1.18.1-5.1 libglib2.0-0_2.66.3-1 libgmp-dev_2:6.2.0+dfsg-6ubuntu1 libgmp10_2:6.2.0+dfsg-6ubuntu1 libgmp3-dev_2:6.2.0+dfsg-6ubuntu1 libgmpxx4ldbl_2:6.2.0+dfsg-6ubuntu1 libgnutls30_3.6.15-4ubuntu2 libgomp1_10.2.0-19ubuntu2 libgpg-error0_1.38-2 libgssapi-krb5-2_1.17-10ubuntu1 libhogweed6_3.6-2 libicu67_67.1-4 libidn2-0_2.3.0-4 libip4tc2_1.8.5-3ubuntu4 libisl22_0.22.1-1 libisl23_0.23-1 libitm1_10.2.0-19ubuntu2 libjson-c5_0.15-1 libk5crypto3_1.17-10ubuntu1 libkeyutils1_1.6.1-2ubuntu1 libkmod2_27+20200310-2ubuntu1 libkrb5-3_1.17-10ubuntu1 libkrb5support0_1.17-10ubuntu1 liblockfile-bin_1.16-1.1 liblockfile1_1.16-1.1 liblsan0_10.2.0-19ubuntu2 liblz4-1_1.9.3-0ubuntu1 liblzma5_5.2.4-1ubuntu1 libmagic-mgc_1:5.39-3 libmagic1_1:5.39-3 libmount1_2.36.1-1ubuntu2 libmpc3_1.2.0-1 libmpfr6_4.1.0-3 libncurses-dev_6.2+20201114-1 libncurses5-dev_6.2+20201114-1 libncurses6_6.2+20201114-1 libncursesw6_6.2+20201114-1 libnettle8_3.6-2 libnpth0_1.6-3 libnsl-dev_1.3.0-0ubuntu3 libnsl2_1.3.0-0ubuntu3 libnss-nis_3.1-0ubuntu4 libnss-nisplus_1.3-0ubuntu4 libnum-ocaml_1.4-1 libnum-ocaml-dev_1.4-1 libocamlgraph-ocaml-dev_1.8.8-1.1build2 libp11-kit0_0.23.21-2build1 libpam-modules_1.3.1-5ubuntu6 libpam-modules-bin_1.3.1-5ubuntu6 libpam-runtime_1.3.1-5ubuntu6 libpam0g_1.3.1-5ubuntu6 libpcre2-8-0_10.34-7 libpcre3_2:8.39-13 libperl5.30_5.30.3-4 libperl5.32_5.32.0-5 libpipeline1_1.5.3-1 libpng16-16_1.6.37-3 libprocps8_2:3.3.16-5ubuntu2 libquadmath0_10.2.0-19ubuntu2 libreadline8_8.1~rc3-1 libseccomp2_2.4.3-1ubuntu5 libselinux1_3.1-2build1 libsemanage-common_3.1-1build1 libsemanage1_3.1-1build1 libsepol1_3.1-1 libsigsegv2_2.12-2build1 libsmartcols1_2.36.1-1ubuntu2 libsqlite3-0_3.33.0-1 libss2_1.45.6-1ubuntu1 libssl1.1_1.1.1f-1ubuntu4 libstdc++-10-dev_10.2.0-19ubuntu2 libstdc++6_10.2.0-19ubuntu2 libsub-override-perl_0.09-2 libsystemd0_246.6-2ubuntu1 libtasn1-6_4.16.0-2 libtinfo6_6.2+20201114-1 libtirpc-common_1.2.6-3 libtirpc-dev_1.2.6-3 libtirpc3_1.2.6-3 libtool_2.4.6-14 libtsan0_10.2.0-19ubuntu2 libubsan1_10.2.0-19ubuntu2 libuchardet0_0.0.7-1 libudev1_246.6-2ubuntu1 libunistring2_0.9.10-4 libuuid1_2.36.1-1ubuntu2 libxml2_2.9.10+dfsg-6.2 libzarith-ocaml_1.10-1build1 libzarith-ocaml-dev_1.10-1build1 libzip-ocaml_1.10-1build1 libzip-ocaml-dev_1.10-1build1 libzstd1_1.4.5+dfsg-4 linux-libc-dev_5.8.0-31.33+21.04.1 lockfile-progs_0.1.18 login_1:4.8.1-1ubuntu6 logsave_1.45.6-1ubuntu1 lsb-base_11.1.0ubuntu2 m4_1.4.18-4 make_4.3-4ubuntu1 man-db_2.9.3-2 mawk_1.3.4.20200120-2 menhir_20200624-1build1 mount_2.36.1-1ubuntu2 ncurses-base_6.2+20201114-1 ncurses-bin_6.2+20201114-1 ocaml-base-nox_4.11.1-4 ocaml-compiler-libs_4.11.1-4 ocaml-findlib_1.8.1-2 ocaml-interp_4.11.1-4 ocaml-nox_4.11.1-4 ocplib-simplex-ocaml-dev_0.4-2build2 openssl_1.1.1f-1ubuntu4 optipng_0.7.7-1 passwd_1:4.8.1-1ubuntu6 patch_2.7.6-6 perl_5.32.0-5 perl-base_5.32.0-5 perl-modules-5.30_5.30.3-4 perl-modules-5.32_5.32.0-5 pinentry-curses_1.1.0-4build1 pkgbinarymangler_146 po-debconf_1.0.21 policyrcd-script-zg2_0.1-3 procps_2:3.3.16-5ubuntu2 readline-common_8.1~rc3-1 rpcsvc-proto_1.4.2-0ubuntu4 sbuild-build-depends-alt-ergo-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.7-1ubuntu1 sensible-utils_0.0.13 systemd_246.6-2ubuntu1 systemd-sysv_246.6-2ubuntu1 systemd-timesyncd_246.6-2ubuntu1 sysvinit-utils_2.96-5ubuntu1 tar_1.32+dfsg-1 tzdata_2020d-1ubuntu1 ubuntu-keyring_2020.06.17.1 util-linux_2.36.1-1ubuntu2 xz-utils_5.2.4-1ubuntu1 zlib1g_1:1.2.11.dfsg-2ubuntu4 zlib1g-dev_1:1.2.11.dfsg-2ubuntu4 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Sat Nov 28 09:23:47 2020 UTC gpgv: using RSA key 92978A6E195E4921825F7FF0F34F09744E9F5DD9 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./alt-ergo_2.0.0-7build2.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-7build2.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=4 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-20343119 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-20343119 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-20343119 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package alt-ergo dpkg-buildpackage: info: source version 2.0.0-7build2 dpkg-buildpackage: info: source distribution hirsute dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean --with ocaml debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' if [ -f config.status ]; then \ /usr/bin/make dist-clean; \ fi make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules binary dh binary --with ocaml dh_update_autotools_config dh_autoreconf aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' dh_ocamlinit dh_auto_configure ./configure --build=x86_64-linux-gnu --prefix=/usr --includedir=\${prefix}/include --mandir=\${prefix}/share/man --infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var --disable-option-checking --disable-silent-rules --libdir=\${prefix}/lib/x86_64-linux-gnu --runstatedir=/run --disable-maintainer-mode --disable-dependency-tracking checking for ocp-ocamlc... no checking for ocamlc... ocamlc ocaml version is 4.11.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... ocamlopt checking ocamlopt version... ok checking for ocp-ocamlc.opt... no checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocp-ocamlopt.opt... no checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version... ok checking for ocamldep... ocamldep checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt 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 dh_auto_build make -j4 make[1]: Entering directory '/<>' menhir -v parsers/why/why_parser.mly menhir -v parsers/why/why_parser.mly ocamllex.opt 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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/config.ml ocamlc.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/version.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/emap.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/myUnix.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/myDynlink.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/myZip.ml 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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/util.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/lists.ml ocamlc.opt -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.opt -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.opt -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 ocamlc.opt -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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/numsNumbers.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/zarithNumbers.ml ocamlc.opt -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 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.opt -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.opt -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.opt -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.opt -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.opt -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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/numbers.ml ocamlc.opt -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 ocamlc.opt -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/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 ocamlc.opt -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.opt -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 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.opt -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.opt -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 ocamlc.opt -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 ocamlc.opt -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.opt -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.opt -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.opt -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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/options.ml ocamlc.opt -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.opt -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.opt -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/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.opt -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 ocamlc.opt -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.opt -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.opt -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.opt -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.opt -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/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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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.opt -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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/cmdline_parser.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/timers.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/gc_debug.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/loc.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/hconsing.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo plugins/common/vec.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/util/hstring.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo plugins/fm-simplex/simplex.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/ty.ml 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 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 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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/symbols.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/errors.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/polynome.ml 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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/term.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/parsed.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/typed.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/frontend/parsed_interface.ml 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 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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/frontend/parsers.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo 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/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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/literal.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/fpa_rounding.ml 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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/frontend/triggers.ml 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/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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo plugins/fm-simplex/simplex_cache.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/formula.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/ac.ml 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 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 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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/frontend/typechecker.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/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 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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/explanation.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/commands.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/profiling.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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/frontend/cnf.ml 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 File "/<>/lib/frontend/cnf.ml", lines 42-43, characters 20-65: 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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/structures/exception.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/use.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/uf.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/intervals.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/frontend/frontend.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/matching.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/sum.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/records.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/bitv.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/arrays.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/inequalities.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/intervalCalculus.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo plugins/fm-simplex/fmSimplexIneqs.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! ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/arith.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/combine.ml File "/<>/lib/reasoners/combine.ml", lines 484-485, characters 30-55: 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 ! ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo parsers/why/why_lexer.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/ccx.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/theory.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/instances.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo plugins/satML/satml.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.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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo 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 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 ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo lib/reasoners/sat_solver.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo tools/text/main_text.ml ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo plugins/satML/satml_frontend.ml ocamlopt.opt -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 -shared -o fm-simplex-plugin.cmxs plugins/common/vec.cmx plugins/fm-simplex/simplex_cache.cmx plugins/fm-simplex/simplex.cmx plugins/fm-simplex/fmSimplexIneqs.cmx 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? ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -inline 100 -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 -for-pack AltErgo -o alt-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa lib/util/config.cmx lib/util/version.cmx lib/util/emap.cmx lib/util/myUnix.cmx lib/util/myDynlink.cmx lib/util/myZip.cmx lib/util/util.cmx lib/util/lists.cmx lib/util/numsNumbers.cmx lib/util/zarithNumbers.cmx lib/util/numbers.cmx lib/util/options.cmx lib/util/cmdline_parser.cmx lib/util/timers.cmx lib/util/gc_debug.cmx lib/util/loc.cmx lib/util/hconsing.cmx lib/util/hstring.cmx lib/structures/exception.cmx lib/structures/symbols.cmx lib/structures/ty.cmx lib/structures/parsed.cmx lib/structures/errors.cmx lib/structures/typed.cmx lib/structures/term.cmx lib/structures/fpa_rounding.cmx lib/structures/literal.cmx lib/structures/formula.cmx lib/structures/explanation.cmx lib/structures/commands.cmx lib/structures/profiling.cmx lib/reasoners/matching.cmx lib/reasoners/instances.cmx lib/reasoners/polynome.cmx lib/reasoners/ac.cmx lib/reasoners/uf.cmx lib/reasoners/use.cmx lib/reasoners/intervals.cmx lib/reasoners/inequalities.cmx lib/reasoners/intervalCalculus.cmx lib/reasoners/arith.cmx lib/reasoners/records.cmx lib/reasoners/bitv.cmx lib/reasoners/arrays.cmx lib/reasoners/sum.cmx lib/reasoners/combine.cmx lib/reasoners/ccx.cmx lib/reasoners/theory.cmx lib/reasoners/fun_sat.cmx lib/reasoners/sat_solver.cmx lib/frontend/triggers.cmx lib/frontend/typechecker.cmx lib/frontend/cnf.cmx lib/frontend/parsed_interface.cmx lib/frontend/frontend.cmx lib/frontend/parsers.cmx parsers/why/why_parser.cmx parsers/why/why_lexer.cmx tools/text/main_text.cmx 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 ocamlopt.opt -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 -shared -o satML-plugin.cmxs plugins/common/vec.cmx plugins/satML/satml.cmx plugins/satML/satml_frontend.cmx make[1]: Leaving directory '/<>' dh_auto_test create-stamp debian/debhelper-build-stamp dh_testroot dh_prep dh_auto_install make -j4 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/x86_64-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/x86_64-linux-gnu/alt-ergo/preludes/ mkdir -p /<>/debian/alt-ergo/usr/lib/x86_64-linux-gnu/alt-ergo/plugins mkdir -p /<>/debian/alt-ergo/usr/lib/x86_64-linux-gnu/alt-ergo/plugins cp -f fm-simplex-plugin.cmxs /<>/debian/alt-ergo/usr/lib/x86_64-linux-gnu/alt-ergo/plugins cp -f satML-plugin.cmxs /<>/debian/alt-ergo/usr/lib/x86_64-linux-gnu/alt-ergo/plugins mkdir -p /<>/debian/alt-ergo/usr/bin cp -f alt-ergo.opt /<>/debian/alt-ergo/usr/bin/alt-ergo make[1]: Leaving directory '/<>' dh_ocamldoc dh_installdocs dh_installchangelogs dh_installexamples dh_installman dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb dh_ocaml W: alt-ergo doesn't resolve dependency on unit Instances W: alt-ergo doesn't resolve dependency on unit Use W: alt-ergo doesn't resolve dependency on unit Numbers W: alt-ergo doesn't resolve dependency on unit Explanation W: alt-ergo doesn't resolve dependency on unit Profiling W: alt-ergo doesn't resolve dependency on unit Typed W: alt-ergo doesn't resolve dependency on unit Term W: alt-ergo doesn't resolve dependency on unit Sat_solver_sig W: alt-ergo doesn't resolve dependency on unit Inequalities W: alt-ergo doesn't resolve dependency on unit Timers W: alt-ergo doesn't resolve dependency on unit Fun_sat W: alt-ergo doesn't resolve dependency on unit Symbols W: alt-ergo doesn't resolve dependency on unit Sat_solver W: alt-ergo doesn't resolve dependency on unit Commands W: alt-ergo doesn't resolve dependency on unit Timers W: alt-ergo doesn't resolve dependency on unit Term W: alt-ergo doesn't resolve dependency on unit Exception W: alt-ergo doesn't resolve dependency on unit Matching_types W: alt-ergo doesn't resolve dependency on unit Hconsing W: alt-ergo doesn't resolve dependency on unit Hstring W: alt-ergo doesn't resolve dependency on unit Explanation W: alt-ergo doesn't resolve dependency on unit Options W: alt-ergo doesn't resolve dependency on unit Numbers W: alt-ergo doesn't resolve dependency on unit Theory W: alt-ergo doesn't resolve dependency on unit Combine W: alt-ergo doesn't resolve dependency on unit Inequalities W: alt-ergo doesn't resolve dependency on unit Uf W: alt-ergo doesn't resolve dependency on unit Literal W: alt-ergo doesn't resolve dependency on unit Instances W: alt-ergo doesn't resolve dependency on unit Polynome W: alt-ergo doesn't resolve dependency on unit Formula W: alt-ergo doesn't resolve dependency on unit Exception W: alt-ergo doesn't resolve dependency on unit Util W: alt-ergo doesn't resolve dependency on unit Ty W: alt-ergo doesn't resolve dependency on unit Loc W: alt-ergo doesn't resolve dependency on unit Sat_solver W: alt-ergo doesn't resolve dependency on unit Theory W: alt-ergo doesn't resolve dependency on unit Hconsing W: alt-ergo doesn't resolve dependency on unit Ccx W: alt-ergo doesn't resolve dependency on unit Fun_sat W: alt-ergo doesn't resolve dependency on unit Profiling W: alt-ergo doesn't resolve dependency on unit NumbersInterface W: alt-ergo doesn't resolve dependency on unit Sig W: alt-ergo doesn't resolve dependency on unit Parsed W: alt-ergo doesn't resolve dependency on unit Formula W: alt-ergo doesn't resolve dependency on unit Symbols W: alt-ergo doesn't resolve dependency on unit Literal W: alt-ergo doesn't resolve dependency on unit Hstring W: alt-ergo doesn't resolve dependency on unit Options W: alt-ergo doesn't resolve dependency on unit Util dh_gencontrol dh_md5sums dh_builddeb INFO: pkgstriptranslations version 146 INFO: pkgstriptranslations version 146 pkgstriptranslations: processing alt-ergo (in debian/alt-ergo); do_strip: , oemstrip: pkgstriptranslations: processing alt-ergo-dbgsym (in debian/.debhelper/alt-ergo/dbgsym-root); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/alt-ergo/DEBIAN/control, package alt-ergo, directory debian/alt-ergo pkgstripfiles: processing control file: debian/.debhelper/alt-ergo/dbgsym-root/DEBIAN/control, package alt-ergo-dbgsym, directory debian/.debhelper/alt-ergo/dbgsym-root dpkg-deb: building package 'alt-ergo-dbgsym' in 'debian/.debhelper/scratch-space/build-alt-ergo/alt-ergo-dbgsym_2.0.0-7build2_amd64.deb'. pkgstripfiles: Truncating usr/share/doc/alt-ergo/changelog.Debian.gz to topmost ten records pkgstripfiles: Running PNG optimization (using 4 cpus) for package alt-ergo ... pkgstripfiles: No PNG files. dpkg-deb: building package 'alt-ergo' in '../alt-ergo_2.0.0-7build2_amd64.deb'. Renaming alt-ergo-dbgsym_2.0.0-7build2_amd64.deb to alt-ergo-dbgsym_2.0.0-7build2_amd64.ddeb dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary -mLaunchpad Build Daemon >../alt-ergo_2.0.0-7build2_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 2020-11-28T09:26:57Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Post Build Chroot | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ alt-ergo_2.0.0-7build2_amd64.changes: ------------------------------------- Format: 1.8 Date: Sat, 28 Nov 2020 10:23:45 +0100 Source: alt-ergo Binary: alt-ergo Architecture: amd64 Version: 2.0.0-7build2 Distribution: hirsute-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (2.0.0-7build2) hirsute; urgency=medium . * Rebuild against new OCAML ABI. Checksums-Sha1: 5b3a20c495353f77ccd28cfd3a70c2e7cfbd157e 385388 alt-ergo-dbgsym_2.0.0-7build2_amd64.ddeb 41982497dc9db10cc32aab0ab292c7c2f03668ea 6474 alt-ergo_2.0.0-7build2_amd64.buildinfo 5dfdb566b2ab26d2267bff63f2384175f09c76ca 2003728 alt-ergo_2.0.0-7build2_amd64.deb Checksums-Sha256: 63ecd2b71be80307ccc3ec1fb99ead2df0387183c521f34bc8033b932b1a8cff 385388 alt-ergo-dbgsym_2.0.0-7build2_amd64.ddeb bb95e936acc01437bd796d56c0491d1e41e365483ef8f31882b40bffcf5e2491 6474 alt-ergo_2.0.0-7build2_amd64.buildinfo f215e34bfa91a6c88d6793cc987416062ac227d996c007cca163c5e3d9934654 2003728 alt-ergo_2.0.0-7build2_amd64.deb Files: 12d6370e46e44653394be3e3b573c494 385388 debug optional alt-ergo-dbgsym_2.0.0-7build2_amd64.ddeb b96ff107f73fa94d7706aa6a802fd314 6474 math optional alt-ergo_2.0.0-7build2_amd64.buildinfo 77d38e2a4bf54fdbf884b66f84c39a21 2003728 math optional alt-ergo_2.0.0-7build2_amd64.deb +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: alt-ergo Binary: alt-ergo alt-ergo-dbgsym Architecture: amd64 Version: 2.0.0-7build2 Checksums-Md5: 12d6370e46e44653394be3e3b573c494 385388 alt-ergo-dbgsym_2.0.0-7build2_amd64.ddeb 77d38e2a4bf54fdbf884b66f84c39a21 2003728 alt-ergo_2.0.0-7build2_amd64.deb Checksums-Sha1: 5b3a20c495353f77ccd28cfd3a70c2e7cfbd157e 385388 alt-ergo-dbgsym_2.0.0-7build2_amd64.ddeb 5dfdb566b2ab26d2267bff63f2384175f09c76ca 2003728 alt-ergo_2.0.0-7build2_amd64.deb Checksums-Sha256: 63ecd2b71be80307ccc3ec1fb99ead2df0387183c521f34bc8033b932b1a8cff 385388 alt-ergo-dbgsym_2.0.0-7build2_amd64.ddeb f215e34bfa91a6c88d6793cc987416062ac227d996c007cca163c5e3d9934654 2003728 alt-ergo_2.0.0-7build2_amd64.deb Build-Origin: Ubuntu Build-Architecture: amd64 Build-Date: Sat, 28 Nov 2020 09:26:57 +0000 Build-Path: /<> Build-Tainted-By: usr-local-has-programs Installed-Build-Depends: autoconf (= 2.69-11.1), automake (= 1:1.16.2-4ubuntu1), autopoint (= 0.19.8.1-10build1), autotools-dev (= 20180224.1), base-files (= 11ubuntu16), base-passwd (= 3.5.48), bash (= 5.1~rc3-1ubuntu1), binutils (= 2.35.1-3ubuntu1), binutils-common (= 2.35.1-3ubuntu1), binutils-x86-64-linux-gnu (= 2.35.1-3ubuntu1), bsdextrautils (= 2.36.1-1ubuntu2), bsdutils (= 1:2.36.1-1ubuntu2), build-essential (= 12.8ubuntu3), bzip2 (= 1.0.8-4ubuntu2), coreutils (= 8.32-4ubuntu1), cpp (= 4:10.2.0-1ubuntu1), cpp-10 (= 10.2.0-19ubuntu2), dash (= 0.5.11+git20200708+dd9ef66+really0.5.10.2-0ubuntu1), debconf (= 1.5.74), debhelper (= 13.2.1ubuntu1), debianutils (= 4.11.2), dh-autoreconf (= 19), dh-ocaml (= 1.1.3), dh-strip-nondeterminism (= 1.9.0-1), diffutils (= 1:3.7-3ubuntu1), dpkg (= 1.20.5ubuntu3), dpkg-dev (= 1.20.5ubuntu3), dwz (= 0.13-5), file (= 1:5.39-3), findutils (= 4.7.0-1ubuntu2), g++ (= 4:10.2.0-1ubuntu1), g++-10 (= 10.2.0-19ubuntu2), gcc (= 4:10.2.0-1ubuntu1), gcc-10 (= 10.2.0-19ubuntu2), gcc-10-base (= 10.2.0-19ubuntu2), gettext (= 0.19.8.1-10build1), gettext-base (= 0.19.8.1-10build1), grep (= 3.6-1), groff-base (= 1.22.4-5), gzip (= 1.10-2ubuntu1), hostname (= 3.23), init-system-helpers (= 1.59), intltool-debian (= 0.35.0+20060710.5), libacl1 (= 2.2.53-8), libarchive-zip-perl (= 1.68-1), libasan6 (= 10.2.0-19ubuntu2), libatomic1 (= 10.2.0-19ubuntu2), libattr1 (= 1:2.4.48-5), libaudit-common (= 1:2.8.5-3ubuntu2), libaudit1 (= 1:2.8.5-3ubuntu2), libbinutils (= 2.35.1-3ubuntu1), libblkid1 (= 2.36.1-1ubuntu2), libbz2-1.0 (= 1.0.8-4ubuntu2), libc-bin (= 2.32-0ubuntu5), libc-dev-bin (= 2.32-0ubuntu5), libc6 (= 2.32-0ubuntu5), libc6-dev (= 2.32-0ubuntu5), libcap-ng0 (= 0.7.9-2.2build1), libcc1-0 (= 10.2.0-19ubuntu2), libcom-err2 (= 1.45.6-1ubuntu1), libcroco3 (= 0.6.13-1), libcrypt-dev (= 1:4.4.17-1ubuntu1), libcrypt1 (= 1:4.4.17-1ubuntu1), libctf-nobfd0 (= 2.35.1-3ubuntu1), libctf0 (= 2.35.1-3ubuntu1), libdb5.3 (= 5.3.28+dfsg1-0.6ubuntu3), libdebconfclient0 (= 0.255ubuntu1), libdebhelper-perl (= 13.2.1ubuntu1), libdpkg-perl (= 1.20.5ubuntu3), libelf1 (= 0.182-1), libffi8ubuntu1 (= 3.4~20200819gead65ca871-0ubuntu3), libfile-stripnondeterminism-perl (= 1.9.0-1), libfindlib-ocaml (= 1.8.1-2), libgcc-10-dev (= 10.2.0-19ubuntu2), libgcc-s1 (= 10.2.0-19ubuntu2), libgcrypt20 (= 1.8.7-2ubuntu1), libgdbm-compat4 (= 1.18.1-5.1), libgdbm6 (= 1.18.1-5.1), libglib2.0-0 (= 2.66.3-1), libgmp-dev (= 2:6.2.0+dfsg-6ubuntu1), libgmp10 (= 2:6.2.0+dfsg-6ubuntu1), libgmp3-dev (= 2:6.2.0+dfsg-6ubuntu1), libgmpxx4ldbl (= 2:6.2.0+dfsg-6ubuntu1), libgomp1 (= 10.2.0-19ubuntu2), libgpg-error0 (= 1.38-2), libgssapi-krb5-2 (= 1.17-10ubuntu1), libicu67 (= 67.1-4), libisl23 (= 0.23-1), libitm1 (= 10.2.0-19ubuntu2), libk5crypto3 (= 1.17-10ubuntu1), libkeyutils1 (= 1.6.1-2ubuntu1), libkrb5-3 (= 1.17-10ubuntu1), libkrb5support0 (= 1.17-10ubuntu1), liblsan0 (= 10.2.0-19ubuntu2), liblz4-1 (= 1.9.3-0ubuntu1), liblzma5 (= 5.2.4-1ubuntu1), libmagic-mgc (= 1:5.39-3), libmagic1 (= 1:5.39-3), libmount1 (= 2.36.1-1ubuntu2), libmpc3 (= 1.2.0-1), libmpfr6 (= 4.1.0-3), libncurses-dev (= 6.2+20201114-1), libncurses5-dev (= 6.2+20201114-1), libncurses6 (= 6.2+20201114-1), libncursesw6 (= 6.2+20201114-1), libnsl-dev (= 1.3.0-0ubuntu3), libnsl2 (= 1.3.0-0ubuntu3), libnum-ocaml (= 1.4-1), libnum-ocaml-dev (= 1.4-1), libocamlgraph-ocaml-dev (= 1.8.8-1.1build2), libpam-modules (= 1.3.1-5ubuntu6), libpam-modules-bin (= 1.3.1-5ubuntu6), libpam-runtime (= 1.3.1-5ubuntu6), libpam0g (= 1.3.1-5ubuntu6), libpcre2-8-0 (= 10.34-7), libpcre3 (= 2:8.39-13), libperl5.32 (= 5.32.0-5), libpipeline1 (= 1.5.3-1), libquadmath0 (= 10.2.0-19ubuntu2), libseccomp2 (= 2.4.3-1ubuntu5), libselinux1 (= 3.1-2build1), libsigsegv2 (= 2.12-2build1), libsmartcols1 (= 2.36.1-1ubuntu2), libssl1.1 (= 1.1.1f-1ubuntu4), libstdc++-10-dev (= 10.2.0-19ubuntu2), libstdc++6 (= 10.2.0-19ubuntu2), libsub-override-perl (= 0.09-2), libsystemd0 (= 246.6-2ubuntu1), libtinfo6 (= 6.2+20201114-1), libtirpc-common (= 1.2.6-3), libtirpc-dev (= 1.2.6-3), libtirpc3 (= 1.2.6-3), libtool (= 2.4.6-14), libtsan0 (= 10.2.0-19ubuntu2), libubsan1 (= 10.2.0-19ubuntu2), libuchardet0 (= 0.0.7-1), libudev1 (= 246.6-2ubuntu1), libunistring2 (= 0.9.10-4), libuuid1 (= 2.36.1-1ubuntu2), libxml2 (= 2.9.10+dfsg-6.2), libzarith-ocaml (= 1.10-1build1), libzarith-ocaml-dev (= 1.10-1build1), libzip-ocaml (= 1.10-1build1), libzip-ocaml-dev (= 1.10-1build1), libzstd1 (= 1.4.5+dfsg-4), linux-libc-dev (= 5.8.0-31.33+21.04.1), login (= 1:4.8.1-1ubuntu6), lsb-base (= 11.1.0ubuntu2), m4 (= 1.4.18-4), make (= 4.3-4ubuntu1), man-db (= 2.9.3-2), mawk (= 1.3.4.20200120-2), menhir (= 20200624-1build1), ncurses-base (= 6.2+20201114-1), ncurses-bin (= 6.2+20201114-1), ocaml-base-nox (= 4.11.1-4), ocaml-compiler-libs (= 4.11.1-4), ocaml-findlib (= 1.8.1-2), ocaml-interp (= 4.11.1-4), ocaml-nox (= 4.11.1-4), ocplib-simplex-ocaml-dev (= 0.4-2build2), patch (= 2.7.6-6), perl (= 5.32.0-5), perl-base (= 5.32.0-5), perl-modules-5.32 (= 5.32.0-5), po-debconf (= 1.0.21), rpcsvc-proto (= 1.4.2-0ubuntu4), sed (= 4.7-1ubuntu1), sensible-utils (= 0.0.13), sysvinit-utils (= 2.96-5ubuntu1), tar (= 1.32+dfsg-1), util-linux (= 2.36.1-1ubuntu2), xz-utils (= 5.2.4-1ubuntu1), zlib1g (= 1:1.2.11.dfsg-2ubuntu4), zlib1g-dev (= 1:1.2.11.dfsg-2ubuntu4) Environment: DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1606555425" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ alt-ergo_2.0.0-7build2_amd64.deb -------------------------------- new Debian package, version 2.0. size 2003728 bytes: control archive=1576 bytes. 1140 bytes, 23 lines control 1818 bytes, 22 lines md5sums Package: alt-ergo Version: 2.0.0-7build2 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 9723 Depends: libc6 (>= 2.29), libgmp10 (>= 2:5.1.1), zlib1g (>= 1:1.1.4), libnum-ocaml-80ki3, ocaml-base-nox-4.11.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-11-28 09:23 ./ drwxr-xr-x root/root 0 2020-11-28 09:23 ./usr/ drwxr-xr-x root/root 0 2020-11-28 09:23 ./usr/bin/ -rwxr-xr-x root/root 9192264 2020-11-28 09:23 ./usr/bin/alt-ergo drwxr-xr-x root/root 0 2020-11-28 09:23 ./usr/lib/ drwxr-xr-x root/root 0 2020-11-28 09:23 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2020-11-28 09:23 ./usr/lib/x86_64-linux-gnu/alt-ergo/ drwxr-xr-x root/root 0 2020-11-28 09:23 ./usr/lib/x86_64-linux-gnu/alt-ergo/plugins/ -rw-r--r-- root/root 278440 2020-11-28 09:23 ./usr/lib/x86_64-linux-gnu/alt-ergo/plugins/fm-simplex-plugin.cmxs -rw-r--r-- root/root 410640 2020-11-28 09:23 ./usr/lib/x86_64-linux-gnu/alt-ergo/plugins/satML-plugin.cmxs drwxr-xr-x root/root 0 2020-11-28 09:23 ./usr/lib/x86_64-linux-gnu/alt-ergo/preludes/ -rw-r--r-- root/root 31579 2020-11-28 09:23 ./usr/lib/x86_64-linux-gnu/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why drwxr-xr-x root/root 0 2020-11-28 09:23 ./usr/share/ drwxr-xr-x root/root 0 2020-11-28 09:23 ./usr/share/doc/ drwxr-xr-x root/root 0 2020-11-28 09:23 ./usr/share/doc/alt-ergo/ -rw-r--r-- root/root 338 2020-08-11 08:05 ./usr/share/doc/alt-ergo/NEWS.Debian.gz -rw-r--r-- root/root 1531 2020-11-28 09:23 ./usr/share/doc/alt-ergo/changelog.Debian.gz -rw-r--r-- root/root 1761 2020-08-11 08:05 ./usr/share/doc/alt-ergo/copyright drwxr-xr-x root/root 0 2020-11-28 09:23 ./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-11-28 09:23 ./usr/share/man/ drwxr-xr-x root/root 0 2020-11-28 09:23 ./usr/share/man/man1/ -rw-r--r-- root/root 1177 2020-11-28 09:23 ./usr/share/man/man1/alt-ergo.1.gz +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: binary Build-Space: n/a Build-Time: 30 Distribution: hirsute-proposed Host Architecture: amd64 Install-Time: 36 Job: alt-ergo_2.0.0-7build2.dsc Machine Architecture: amd64 Package: alt-ergo Package-Time: 67 Source-Version: 2.0.0-7build2 Space: n/a Status: successful Version: 2.0.0-7build2 -------------------------------------------------------------------------------- Finished at 2020-11-28T09:26:57Z Build needed 00:01:07, no disk space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=hirsute --arch=amd64 PACKAGEBUILD-20343119 Scanning for processes to kill in build PACKAGEBUILD-20343119