https://launchpad.net/ubuntu/+archive/test-rebuild-20191220-focal/+build/18287506 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux lgw01-amd64-030 4.4.0-170-generic #199-Ubuntu SMP Thu Nov 14 01:45:04 UTC 2019 x86_64 Buildd toolchain package versions: launchpad-buildd_183 python-lpbuildd_183 sbuild_0.67.0-2ubuntu7.1 bzr-builder_0.7.3+bzr174~ppa13~ubuntu14.10.1 bzr_2.7.0-2ubuntu3.1 git-build-recipe_0.3.6~git201906051340.ff11471~ubuntu16.04.1 git_1:2.7.4-0ubuntu1.7 dpkg-dev_1.18.4ubuntu1.6 python-debian_0.1.27ubuntu2. Syncing the system clock with the buildd NTP service... 5 Jan 10:10:11 ntpdate[1910]: adjust time server 10.211.37.1 offset 0.000717 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=focal --arch=amd64 PACKAGEBUILD-18287506 --image-type chroot /home/buildd/filecache-default/e96c25c651525abc9f0cabeb95ea71010abf4ecb Creating target for build PACKAGEBUILD-18287506 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=focal --arch=amd64 PACKAGEBUILD-18287506 Starting target for build PACKAGEBUILD-18287506 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=focal --arch=amd64 PACKAGEBUILD-18287506 'deb http://ftpmaster.internal/ubuntu focal main restricted universe multiverse' Overriding sources.list in build-PACKAGEBUILD-18287506 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=focal --arch=amd64 PACKAGEBUILD-18287506 Updating target for build PACKAGEBUILD-18287506 Get:1 http://ftpmaster.internal/ubuntu focal InRelease [255 kB] Get:2 http://ftpmaster.internal/ubuntu focal/main amd64 Packages [966 kB] Get:3 http://ftpmaster.internal/ubuntu focal/main Translation-en [499 kB] Get:4 http://ftpmaster.internal/ubuntu focal/restricted amd64 Packages [18.4 kB] Get:5 http://ftpmaster.internal/ubuntu focal/restricted Translation-en [5768 B] Get:6 http://ftpmaster.internal/ubuntu focal/universe amd64 Packages [8671 kB] Get:7 http://ftpmaster.internal/ubuntu focal/universe Translation-en [5195 kB] Get:8 http://ftpmaster.internal/ubuntu focal/multiverse amd64 Packages [152 kB] Get:9 http://ftpmaster.internal/ubuntu focal/multiverse Translation-en [110 kB] Fetched 15.9 MB in 5s (3266 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: libhogweed4 libisl21 libnettle6 libperl5.28 perl-modules-5.28 Use 'sudo apt autoremove' to remove them. The following NEW packages will be installed: libhogweed5 libisl22 libnettle7 libperl5.30 perl-modules-5.30 The following packages will be upgraded: apt base-files base-passwd bash binutils binutils-common binutils-x86-64-linux-gnu bsdutils bzip2 cpp-9 debianutils fdisk g++-9 gcc-9 gcc-9-base gpg gpg-agent gpgconf gpgv gzip hostname libacl1 libapparmor1 libapt-pkg5.90 libasan5 libatomic1 libattr1 libaudit-common libaudit1 libbinutils libblkid1 libbz2-1.0 libc-bin libc-dev-bin libc6 libc6-dev libcap-ng0 libcap2 libcc1-0 libcryptsetup12 libdebconfclient0 libdevmapper1.02.1 libfdisk1 libgcc-9-dev libgcc1 libgcrypt20 libgnutls30 libgomp1 libitm1 libjson-c4 libkmod2 liblockfile-bin liblockfile1 liblsan0 liblz4-1 libmount1 libncurses6 libncursesw6 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre2-8-0 libquadmath0 libseccomp2 libselinux1 libsemanage-common libsemanage1 libsepol1 libsmartcols1 libsqlite3-0 libstdc++-9-dev libstdc++6 libsystemd0 libtasn1-6 libtinfo6 libtsan0 libubsan1 libudev1 libuuid1 libzstd1 linux-libc-dev lsb-base mount ncurses-base ncurses-bin perl perl-base sensible-utils systemd systemd-sysv sysvinit-utils util-linux 94 upgraded, 5 newly installed, 0 to remove and 0 not upgraded. Need to get 70.2 MB of archives. After this operation, 51.0 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu focal/main amd64 libc6-dev amd64 2.30-0ubuntu3 [2549 kB] Get:2 http://ftpmaster.internal/ubuntu focal/main amd64 libc-dev-bin amd64 2.30-0ubuntu3 [71.8 kB] Get:3 http://ftpmaster.internal/ubuntu focal/main amd64 linux-libc-dev amd64 5.3.0-24.26 [1096 kB] Get:4 http://ftpmaster.internal/ubuntu focal/main amd64 libisl22 amd64 0.22-2 [592 kB] Get:5 http://ftpmaster.internal/ubuntu focal/main amd64 libcc1-0 amd64 9.2.1-21ubuntu1 [49.0 kB] Get:6 http://ftpmaster.internal/ubuntu focal/main amd64 binutils-x86-64-linux-gnu amd64 2.33.1-6ubuntu3 [1639 kB] Get:7 http://ftpmaster.internal/ubuntu focal/main amd64 libbinutils amd64 2.33.1-6ubuntu3 [474 kB] Get:8 http://ftpmaster.internal/ubuntu focal/main amd64 binutils-common amd64 2.33.1-6ubuntu3 [203 kB] Get:9 http://ftpmaster.internal/ubuntu focal/main amd64 binutils amd64 2.33.1-6ubuntu3 [3400 B] Get:10 http://ftpmaster.internal/ubuntu focal/main amd64 gcc-9-base amd64 9.2.1-21ubuntu1 [19.1 kB] Get:11 http://ftpmaster.internal/ubuntu focal/main amd64 libgcc1 amd64 1:9.2.1-21ubuntu1 [40.8 kB] Get:12 http://ftpmaster.internal/ubuntu focal/main amd64 libgomp1 amd64 9.2.1-21ubuntu1 [89.3 kB] Get:13 http://ftpmaster.internal/ubuntu focal/main amd64 libitm1 amd64 9.2.1-21ubuntu1 [28.1 kB] Get:14 http://ftpmaster.internal/ubuntu focal/main amd64 libatomic1 amd64 9.2.1-21ubuntu1 [9236 B] Get:15 http://ftpmaster.internal/ubuntu focal/main amd64 libasan5 amd64 9.2.1-21ubuntu1 [395 kB] Get:16 http://ftpmaster.internal/ubuntu focal/main amd64 liblsan0 amd64 9.2.1-21ubuntu1 [139 kB] Get:17 http://ftpmaster.internal/ubuntu focal/main amd64 libtsan0 amd64 9.2.1-21ubuntu1 [301 kB] Get:18 http://ftpmaster.internal/ubuntu focal/main amd64 libubsan1 amd64 9.2.1-21ubuntu1 [130 kB] Get:19 http://ftpmaster.internal/ubuntu focal/main amd64 libquadmath0 amd64 9.2.1-21ubuntu1 [146 kB] Get:20 http://ftpmaster.internal/ubuntu focal/main amd64 g++-9 amd64 9.2.1-21ubuntu1 [11.0 MB] Get:21 http://ftpmaster.internal/ubuntu focal/main amd64 libstdc++-9-dev amd64 9.2.1-21ubuntu1 [1709 kB] Get:22 http://ftpmaster.internal/ubuntu focal/main amd64 libgcc-9-dev amd64 9.2.1-21ubuntu1 [2362 kB] Get:23 http://ftpmaster.internal/ubuntu focal/main amd64 gcc-9 amd64 9.2.1-21ubuntu1 [10.4 MB] Get:24 http://ftpmaster.internal/ubuntu focal/main amd64 cpp-9 amd64 9.2.1-21ubuntu1 [9729 kB] Get:25 http://ftpmaster.internal/ubuntu focal/main amd64 libstdc++6 amd64 9.2.1-21ubuntu1 [512 kB] Get:26 http://ftpmaster.internal/ubuntu focal/main amd64 libc6 amd64 2.30-0ubuntu3 [2725 kB] Get:27 http://ftpmaster.internal/ubuntu focal/main amd64 base-files amd64 11ubuntu2 [60.1 kB] Get:28 http://ftpmaster.internal/ubuntu focal/main amd64 debianutils amd64 4.9.1 [85.8 kB] Get:29 http://ftpmaster.internal/ubuntu focal/main amd64 bash amd64 5.0-5ubuntu1 [639 kB] Get:30 http://ftpmaster.internal/ubuntu focal/main amd64 bsdutils amd64 1:2.34-0.1ubuntu4 [63.8 kB] Get:31 http://ftpmaster.internal/ubuntu focal/main amd64 gzip amd64 1.10-0ubuntu4 [95.3 kB] Get:32 http://ftpmaster.internal/ubuntu focal/main amd64 hostname amd64 3.23 [11.4 kB] Get:33 http://ftpmaster.internal/ubuntu focal/main amd64 ncurses-bin amd64 6.1+20191019-1ubuntu1 [172 kB] Get:34 http://ftpmaster.internal/ubuntu focal/main amd64 perl-modules-5.30 all 5.30.0-9 [2739 kB] Get:35 http://ftpmaster.internal/ubuntu focal/main amd64 libperl5.30 amd64 5.30.0-9 [3950 kB] Get:36 http://ftpmaster.internal/ubuntu focal/main amd64 perl amd64 5.30.0-9 [224 kB] Get:37 http://ftpmaster.internal/ubuntu focal/main amd64 perl-base amd64 5.30.0-9 [1511 kB] Get:38 http://ftpmaster.internal/ubuntu focal/main amd64 bzip2 amd64 1.0.8-2 [34.1 kB] Get:39 http://ftpmaster.internal/ubuntu focal/main amd64 libbz2-1.0 amd64 1.0.8-2 [32.3 kB] Get:40 http://ftpmaster.internal/ubuntu focal/main amd64 libblkid1 amd64 2.34-0.1ubuntu4 [137 kB] Get:41 http://ftpmaster.internal/ubuntu focal/main amd64 libuuid1 amd64 2.34-0.1ubuntu4 [20.5 kB] Get:42 http://ftpmaster.internal/ubuntu focal/main amd64 libfdisk1 amd64 2.34-0.1ubuntu4 [175 kB] Get:43 http://ftpmaster.internal/ubuntu focal/main amd64 libpcre2-8-0 amd64 10.34-7 [197 kB] Get:44 http://ftpmaster.internal/ubuntu focal/main amd64 libselinux1 amd64 3.0-1 [68.7 kB] Get:45 http://ftpmaster.internal/ubuntu focal/main amd64 libmount1 amd64 2.34-0.1ubuntu4 [149 kB] Get:46 http://ftpmaster.internal/ubuntu focal/main amd64 libncurses6 amd64 6.1+20191019-1ubuntu1 [101 kB] Get:47 http://ftpmaster.internal/ubuntu focal/main amd64 libtinfo6 amd64 6.1+20191019-1ubuntu1 [85.9 kB] Get:48 http://ftpmaster.internal/ubuntu focal/main amd64 libncursesw6 amd64 6.1+20191019-1ubuntu1 [132 kB] Get:49 http://ftpmaster.internal/ubuntu focal/main amd64 libsmartcols1 amd64 2.34-0.1ubuntu4 [101 kB] Get:50 http://ftpmaster.internal/ubuntu focal/main amd64 fdisk amd64 2.34-0.1ubuntu4 [120 kB] Get:51 http://ftpmaster.internal/ubuntu focal/main amd64 util-linux amd64 2.34-0.1ubuntu4 [1022 kB] Get:52 http://ftpmaster.internal/ubuntu focal/main amd64 libdebconfclient0 amd64 0.250ubuntu2 [6336 B] Get:53 http://ftpmaster.internal/ubuntu focal/main amd64 base-passwd amd64 3.5.47 [47.7 kB] Get:54 http://ftpmaster.internal/ubuntu focal/main amd64 libc-bin amd64 2.30-0ubuntu3 [625 kB] Get:55 http://ftpmaster.internal/ubuntu focal/main amd64 ncurses-base all 6.1+20191019-1ubuntu1 [17.9 kB] Get:56 http://ftpmaster.internal/ubuntu focal/main amd64 lsb-base all 11.1.0ubuntu2 [12.1 kB] Get:57 http://ftpmaster.internal/ubuntu focal/main amd64 sysvinit-utils amd64 2.96-1ubuntu1 [20.8 kB] Get:58 http://ftpmaster.internal/ubuntu focal/main amd64 liblz4-1 amd64 1.9.2-2 [55.9 kB] Get:59 http://ftpmaster.internal/ubuntu focal/main amd64 systemd-sysv amd64 244-3ubuntu1 [9368 B] Get:60 http://ftpmaster.internal/ubuntu focal/main amd64 libacl1 amd64 2.2.53-5ubuntu1 [18.7 kB] Get:61 http://ftpmaster.internal/ubuntu focal/main amd64 libapparmor1 amd64 2.13.3-7ubuntu1 [34.3 kB] Get:62 http://ftpmaster.internal/ubuntu focal/main amd64 libaudit-common all 1:2.8.5-2ubuntu5 [4076 B] Get:63 http://ftpmaster.internal/ubuntu focal/main amd64 libcap-ng0 amd64 0.7.9-2.1 [11.1 kB] Get:64 http://ftpmaster.internal/ubuntu focal/main amd64 libaudit1 amd64 1:2.8.5-2ubuntu5 [39.1 kB] Get:65 http://ftpmaster.internal/ubuntu focal/main amd64 libcap2 amd64 1:2.27-1 [14.1 kB] Get:66 http://ftpmaster.internal/ubuntu focal/main amd64 libudev1 amd64 244-3ubuntu1 [76.3 kB] Get:67 http://ftpmaster.internal/ubuntu focal/main amd64 libdevmapper1.02.1 amd64 2:1.02.155-2ubuntu7 [127 kB] Get:68 http://ftpmaster.internal/ubuntu focal/main amd64 libjson-c4 amd64 0.13.1+dfsg-6 [29.2 kB] Get:69 http://ftpmaster.internal/ubuntu focal/main amd64 libcryptsetup12 amd64 2:2.2.2-1ubuntu1 [182 kB] Get:70 http://ftpmaster.internal/ubuntu focal/main amd64 libnettle7 amd64 3.5.1+really3.5.1-2 [114 kB] Get:71 http://ftpmaster.internal/ubuntu focal/main amd64 libhogweed5 amd64 3.5.1+really3.5.1-2 [138 kB] Get:72 http://ftpmaster.internal/ubuntu focal/main amd64 libp11-kit0 amd64 0.23.18.1-2 [189 kB] Get:73 http://ftpmaster.internal/ubuntu focal/main amd64 libtasn1-6 amd64 4.15.0-2 [37.7 kB] Get:74 http://ftpmaster.internal/ubuntu focal/main amd64 libgnutls30 amd64 3.6.11.1-2 [793 kB] Get:75 http://ftpmaster.internal/ubuntu focal/main amd64 libkmod2 amd64 26-3ubuntu1 [42.9 kB] Get:76 http://ftpmaster.internal/ubuntu focal/main amd64 libpam0g amd64 1.3.1-5ubuntu4 [55.4 kB] Get:77 http://ftpmaster.internal/ubuntu focal/main amd64 libseccomp2 amd64 2.4.2-2ubuntu1 [39.4 kB] Get:78 http://ftpmaster.internal/ubuntu focal/main amd64 mount amd64 2.34-0.1ubuntu4 [115 kB] Get:79 http://ftpmaster.internal/ubuntu focal/main amd64 systemd amd64 244-3ubuntu1 [3677 kB] Get:80 http://ftpmaster.internal/ubuntu focal/main amd64 libsystemd0 amd64 244-3ubuntu1 [260 kB] Get:81 http://ftpmaster.internal/ubuntu focal/main amd64 libzstd1 amd64 1.4.4+dfsg-1 [237 kB] Get:82 http://ftpmaster.internal/ubuntu focal/main amd64 libapt-pkg5.90 amd64 1.9.5 [851 kB] Get:83 http://ftpmaster.internal/ubuntu focal/main amd64 libgcrypt20 amd64 1.8.5-3ubuntu1 [419 kB] Get:84 http://ftpmaster.internal/ubuntu focal/main amd64 gpgv amd64 2.2.17-3ubuntu1 [200 kB] Get:85 http://ftpmaster.internal/ubuntu focal/main amd64 apt amd64 1.9.5 [1281 kB] Get:86 http://ftpmaster.internal/ubuntu focal/main amd64 libpam-modules-bin amd64 1.3.1-5ubuntu4 [37.7 kB] Get:87 http://ftpmaster.internal/ubuntu focal/main amd64 libpam-modules amd64 1.3.1-5ubuntu4 [250 kB] Get:88 http://ftpmaster.internal/ubuntu focal/main amd64 libattr1 amd64 1:2.4.48-5 [12.7 kB] Get:89 http://ftpmaster.internal/ubuntu focal/main amd64 libpam-runtime all 1.3.1-5ubuntu4 [37.3 kB] Get:90 http://ftpmaster.internal/ubuntu focal/main amd64 libsepol1 amd64 3.0-1 [252 kB] Get:91 http://ftpmaster.internal/ubuntu focal/main amd64 libsemanage-common all 3.0-1 [9880 B] Get:92 http://ftpmaster.internal/ubuntu focal/main amd64 libsemanage1 amd64 3.0-1 [85.3 kB] Get:93 http://ftpmaster.internal/ubuntu focal/main amd64 sensible-utils all 0.0.12+nmu1 [15.0 kB] Get:94 http://ftpmaster.internal/ubuntu focal/main amd64 libsqlite3-0 amd64 3.30.1-1ubuntu1 [540 kB] Get:95 http://ftpmaster.internal/ubuntu focal/main amd64 gpg amd64 2.2.17-3ubuntu1 [479 kB] Get:96 http://ftpmaster.internal/ubuntu focal/main amd64 gpgconf amd64 2.2.17-3ubuntu1 [124 kB] Get:97 http://ftpmaster.internal/ubuntu focal/main amd64 gpg-agent amd64 2.2.17-3ubuntu1 [232 kB] Get:98 http://ftpmaster.internal/ubuntu focal/main amd64 liblockfile-bin amd64 1.16-1.1 [11.7 kB] Get:99 http://ftpmaster.internal/ubuntu focal/main amd64 liblockfile1 amd64 1.16-1.1 [6680 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 70.2 MB in 8s (8932 kB/s) (Reading database ... 12741 files and directories currently installed.) Preparing to unpack .../0-libc6-dev_2.30-0ubuntu3_amd64.deb ... Unpacking libc6-dev:amd64 (2.30-0ubuntu3) over (2.30-0ubuntu2) ... Preparing to unpack .../1-libc-dev-bin_2.30-0ubuntu3_amd64.deb ... Unpacking libc-dev-bin (2.30-0ubuntu3) over (2.30-0ubuntu2) ... Preparing to unpack .../2-linux-libc-dev_5.3.0-24.26_amd64.deb ... Unpacking linux-libc-dev:amd64 (5.3.0-24.26) over (5.3.0-18.19) ... Selecting previously unselected package libisl22:amd64. Preparing to unpack .../3-libisl22_0.22-2_amd64.deb ... Unpacking libisl22:amd64 (0.22-2) ... Preparing to unpack .../4-libcc1-0_9.2.1-21ubuntu1_amd64.deb ... Unpacking libcc1-0:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../5-binutils-x86-64-linux-gnu_2.33.1-6ubuntu3_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.33.1-6ubuntu3) over (2.33-2ubuntu1) ... Preparing to unpack .../6-libbinutils_2.33.1-6ubuntu3_amd64.deb ... Unpacking libbinutils:amd64 (2.33.1-6ubuntu3) over (2.33-2ubuntu1) ... Preparing to unpack .../7-binutils-common_2.33.1-6ubuntu3_amd64.deb ... Unpacking binutils-common:amd64 (2.33.1-6ubuntu3) over (2.33-2ubuntu1) ... Preparing to unpack .../8-binutils_2.33.1-6ubuntu3_amd64.deb ... Unpacking binutils (2.33.1-6ubuntu3) over (2.33-2ubuntu1) ... Preparing to unpack .../9-gcc-9-base_9.2.1-21ubuntu1_amd64.deb ... Unpacking gcc-9-base:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Setting up gcc-9-base:amd64 (9.2.1-21ubuntu1) ... (Reading database ... 12747 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a9.2.1-21ubuntu1_amd64.deb ... Unpacking libgcc1:amd64 (1:9.2.1-21ubuntu1) over (1:9.2.1-9ubuntu2) ... Setting up libgcc1:amd64 (1:9.2.1-21ubuntu1) ... (Reading database ... 12747 files and directories currently installed.) Preparing to unpack .../00-libgomp1_9.2.1-21ubuntu1_amd64.deb ... Unpacking libgomp1:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../01-libitm1_9.2.1-21ubuntu1_amd64.deb ... Unpacking libitm1:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../02-libatomic1_9.2.1-21ubuntu1_amd64.deb ... Unpacking libatomic1:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../03-libasan5_9.2.1-21ubuntu1_amd64.deb ... Unpacking libasan5:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../04-liblsan0_9.2.1-21ubuntu1_amd64.deb ... Unpacking liblsan0:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../05-libtsan0_9.2.1-21ubuntu1_amd64.deb ... Unpacking libtsan0:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../06-libubsan1_9.2.1-21ubuntu1_amd64.deb ... Unpacking libubsan1:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../07-libquadmath0_9.2.1-21ubuntu1_amd64.deb ... Unpacking libquadmath0:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../08-g++-9_9.2.1-21ubuntu1_amd64.deb ... Unpacking g++-9 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../09-libstdc++-9-dev_9.2.1-21ubuntu1_amd64.deb ... Unpacking libstdc++-9-dev:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../10-libgcc-9-dev_9.2.1-21ubuntu1_amd64.deb ... Unpacking libgcc-9-dev:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../11-gcc-9_9.2.1-21ubuntu1_amd64.deb ... Unpacking gcc-9 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../12-cpp-9_9.2.1-21ubuntu1_amd64.deb ... Unpacking cpp-9 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Preparing to unpack .../13-libstdc++6_9.2.1-21ubuntu1_amd64.deb ... Unpacking libstdc++6:amd64 (9.2.1-21ubuntu1) over (9.2.1-9ubuntu2) ... Setting up libstdc++6:amd64 (9.2.1-21ubuntu1) ... (Reading database ... 12747 files and directories currently installed.) Preparing to unpack .../libc6_2.30-0ubuntu3_amd64.deb ... Unpacking libc6:amd64 (2.30-0ubuntu3) over (2.30-0ubuntu2) ... Setting up libc6:amd64 (2.30-0ubuntu3) ... (Reading database ... 12747 files and directories currently installed.) Preparing to unpack .../base-files_11ubuntu2_amd64.deb ... Unpacking base-files (11ubuntu2) over (10.2ubuntu7) ... Setting up base-files (11ubuntu2) ... Installing new version of config file /etc/debian_version ... 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 ... Installing new version of config file /etc/update-motd.d/50-motd-news ... Updating /root/.profile to current default. (Reading database ... 12747 files and directories currently installed.) Preparing to unpack .../debianutils_4.9.1_amd64.deb ... Unpacking debianutils (4.9.1) over (4.8.6.3) ... Setting up debianutils (4.9.1) ... (Reading database ... 12747 files and directories currently installed.) Preparing to unpack .../bash_5.0-5ubuntu1_amd64.deb ... Unpacking bash (5.0-5ubuntu1) over (5.0-4ubuntu1) ... Setting up bash (5.0-5ubuntu1) ... 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 ... 12747 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.34-0.1ubuntu4_amd64.deb ... Unpacking bsdutils (1:2.34-0.1ubuntu4) over (1:2.34-0.1ubuntu2) ... Setting up bsdutils (1:2.34-0.1ubuntu4) ... (Reading database ... 12747 files and directories currently installed.) Preparing to unpack .../gzip_1.10-0ubuntu4_amd64.deb ... Unpacking gzip (1.10-0ubuntu4) over (1.10-0ubuntu3) ... Setting up gzip (1.10-0ubuntu4) ... (Reading database ... 12747 files and directories currently installed.) Preparing to unpack .../hostname_3.23_amd64.deb ... Unpacking hostname (3.23) over (3.22) ... Setting up hostname (3.23) ... (Reading database ... 12747 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.1+20191019-1ubuntu1_amd64.deb ... Unpacking ncurses-bin (6.1+20191019-1ubuntu1) over (6.1+20190803-1ubuntu1) ... Setting up ncurses-bin (6.1+20191019-1ubuntu1) ... (Reading database ... 12747 files and directories currently installed.) Preparing to unpack .../perl_5.30.0-9_amd64.deb ... Unpacking perl (5.30.0-9) over (5.28.1-6build1) ... Replacing files in old package perl-base (5.28.1-6build1) ... Selecting previously unselected package perl-modules-5.30. Preparing to unpack .../perl-modules-5.30_5.30.0-9_all.deb ... Unpacking perl-modules-5.30 (5.30.0-9) ... Selecting previously unselected package libperl5.30:amd64. Preparing to unpack .../libperl5.30_5.30.0-9_amd64.deb ... Unpacking libperl5.30:amd64 (5.30.0-9) ... Preparing to unpack .../perl-base_5.30.0-9_amd64.deb ... Unpacking perl-base (5.30.0-9) over (5.28.1-6build1) ... Setting up perl-base (5.30.0-9) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../bzip2_1.0.8-2_amd64.deb ... Unpacking bzip2 (1.0.8-2) over (1.0.6-9.2) ... Preparing to unpack .../libbz2-1.0_1.0.8-2_amd64.deb ... Unpacking libbz2-1.0:amd64 (1.0.8-2) over (1.0.6-9.2) ... Setting up libbz2-1.0:amd64 (1.0.8-2) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../libblkid1_2.34-0.1ubuntu4_amd64.deb ... Unpacking libblkid1:amd64 (2.34-0.1ubuntu4) over (2.34-0.1ubuntu2) ... Setting up libblkid1:amd64 (2.34-0.1ubuntu4) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../libuuid1_2.34-0.1ubuntu4_amd64.deb ... Unpacking libuuid1:amd64 (2.34-0.1ubuntu4) over (2.34-0.1ubuntu2) ... Setting up libuuid1:amd64 (2.34-0.1ubuntu4) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.34-0.1ubuntu4_amd64.deb ... Unpacking libfdisk1:amd64 (2.34-0.1ubuntu4) over (2.34-0.1ubuntu2) ... Setting up libfdisk1:amd64 (2.34-0.1ubuntu4) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../libpcre2-8-0_10.34-7_amd64.deb ... Unpacking libpcre2-8-0:amd64 (10.34-7) over (10.32-5) ... Setting up libpcre2-8-0:amd64 (10.34-7) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../libselinux1_3.0-1_amd64.deb ... Unpacking libselinux1:amd64 (3.0-1) over (2.9-2) ... Setting up libselinux1:amd64 (3.0-1) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../libmount1_2.34-0.1ubuntu4_amd64.deb ... Unpacking libmount1:amd64 (2.34-0.1ubuntu4) over (2.34-0.1ubuntu2) ... Setting up libmount1:amd64 (2.34-0.1ubuntu4) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../libncurses6_6.1+20191019-1ubuntu1_amd64.deb ... Unpacking libncurses6:amd64 (6.1+20191019-1ubuntu1) over (6.1+20190803-1ubuntu1) ... Preparing to unpack .../libtinfo6_6.1+20191019-1ubuntu1_amd64.deb ... Unpacking libtinfo6:amd64 (6.1+20191019-1ubuntu1) over (6.1+20190803-1ubuntu1) ... Setting up libtinfo6:amd64 (6.1+20191019-1ubuntu1) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../libncursesw6_6.1+20191019-1ubuntu1_amd64.deb ... Unpacking libncursesw6:amd64 (6.1+20191019-1ubuntu1) over (6.1+20190803-1ubuntu1) ... Setting up libncursesw6:amd64 (6.1+20191019-1ubuntu1) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.34-0.1ubuntu4_amd64.deb ... Unpacking libsmartcols1:amd64 (2.34-0.1ubuntu4) over (2.34-0.1ubuntu2) ... Setting up libsmartcols1:amd64 (2.34-0.1ubuntu4) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../fdisk_2.34-0.1ubuntu4_amd64.deb ... Unpacking fdisk (2.34-0.1ubuntu4) over (2.34-0.1ubuntu2) ... Setting up fdisk (2.34-0.1ubuntu4) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../util-linux_2.34-0.1ubuntu4_amd64.deb ... Unpacking util-linux (2.34-0.1ubuntu4) over (2.34-0.1ubuntu2) ... Setting up util-linux (2.34-0.1ubuntu4) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.250ubuntu2_amd64.deb ... Unpacking libdebconfclient0:amd64 (0.250ubuntu2) over (0.249ubuntu1) ... Setting up libdebconfclient0:amd64 (0.250ubuntu2) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../base-passwd_3.5.47_amd64.deb ... Unpacking base-passwd (3.5.47) over (3.5.46) ... Setting up base-passwd (3.5.47) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../libc-bin_2.30-0ubuntu3_amd64.deb ... Unpacking libc-bin (2.30-0ubuntu3) over (2.30-0ubuntu2) ... Setting up libc-bin (2.30-0ubuntu3) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.1+20191019-1ubuntu1_all.deb ... Unpacking ncurses-base (6.1+20191019-1ubuntu1) over (6.1+20190803-1ubuntu1) ... Setting up ncurses-base (6.1+20191019-1ubuntu1) ... (Reading database ... 14650 files and directories currently installed.) Preparing to unpack .../lsb-base_11.1.0ubuntu2_all.deb ... Unpacking lsb-base (11.1.0ubuntu2) over (11.0.1ubuntu1) ... Setting up lsb-base (11.1.0ubuntu2) ... (Reading database ... 14649 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_2.96-1ubuntu1_amd64.deb ... Unpacking sysvinit-utils (2.96-1ubuntu1) over (2.95-5ubuntu2) ... Setting up sysvinit-utils (2.96-1ubuntu1) ... (Reading database ... 14649 files and directories currently installed.) Preparing to unpack .../liblz4-1_1.9.2-2_amd64.deb ... Unpacking liblz4-1:amd64 (1.9.2-2) over (1.9.1-1) ... Setting up liblz4-1:amd64 (1.9.2-2) ... (Reading database ... 14649 files and directories currently installed.) Preparing to unpack .../systemd-sysv_244-3ubuntu1_amd64.deb ... Unpacking systemd-sysv (244-3ubuntu1) over (242-7ubuntu3) ... Preparing to unpack .../libacl1_2.2.53-5ubuntu1_amd64.deb ... Unpacking libacl1:amd64 (2.2.53-5ubuntu1) over (2.2.53-4) ... Setting up libacl1:amd64 (2.2.53-5ubuntu1) ... (Reading database ... 14649 files and directories currently installed.) Preparing to unpack .../libapparmor1_2.13.3-7ubuntu1_amd64.deb ... Unpacking libapparmor1:amd64 (2.13.3-7ubuntu1) over (2.13.3-5ubuntu1) ... Preparing to unpack .../libaudit-common_1%3a2.8.5-2ubuntu5_all.deb ... Unpacking libaudit-common (1:2.8.5-2ubuntu5) over (1:2.8.5-2ubuntu1) ... Setting up libaudit-common (1:2.8.5-2ubuntu5) ... (Reading database ... 14649 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.7.9-2.1_amd64.deb ... Unpacking libcap-ng0:amd64 (0.7.9-2.1) over (0.7.9-2) ... Setting up libcap-ng0:amd64 (0.7.9-2.1) ... (Reading database ... 14649 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.8.5-2ubuntu5_amd64.deb ... Unpacking libaudit1:amd64 (1:2.8.5-2ubuntu5) over (1:2.8.5-2ubuntu1) ... Setting up libaudit1:amd64 (1:2.8.5-2ubuntu5) ... (Reading database ... 14649 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.27-1_amd64.deb ... Unpacking libcap2:amd64 (1:2.27-1) over (1:2.25-2) ... Preparing to unpack .../libudev1_244-3ubuntu1_amd64.deb ... Unpacking libudev1:amd64 (244-3ubuntu1) over (242-7ubuntu3) ... Setting up libudev1:amd64 (244-3ubuntu1) ... (Reading database ... 14649 files and directories currently installed.) Preparing to unpack .../libdevmapper1.02.1_2%3a1.02.155-2ubuntu7_amd64.deb ... Unpacking libdevmapper1.02.1:amd64 (2:1.02.155-2ubuntu7) over (2:1.02.155-2ubuntu6) ... Preparing to unpack .../libjson-c4_0.13.1+dfsg-6_amd64.deb ... Unpacking libjson-c4:amd64 (0.13.1+dfsg-6) over (0.13.1+dfsg-4) ... Preparing to unpack .../libcryptsetup12_2%3a2.2.2-1ubuntu1_amd64.deb ... Unpacking libcryptsetup12:amd64 (2:2.2.2-1ubuntu1) over (2:2.2.0-3ubuntu1) ... Selecting previously unselected package libnettle7:amd64. Preparing to unpack .../libnettle7_3.5.1+really3.5.1-2_amd64.deb ... Unpacking libnettle7:amd64 (3.5.1+really3.5.1-2) ... Setting up libnettle7:amd64 (3.5.1+really3.5.1-2) ... Selecting previously unselected package libhogweed5:amd64. (Reading database ... 14656 files and directories currently installed.) Preparing to unpack .../libhogweed5_3.5.1+really3.5.1-2_amd64.deb ... Unpacking libhogweed5:amd64 (3.5.1+really3.5.1-2) ... Setting up libhogweed5:amd64 (3.5.1+really3.5.1-2) ... (Reading database ... 14659 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.18.1-2_amd64.deb ... Unpacking libp11-kit0:amd64 (0.23.18.1-2) over (0.23.17-2) ... Setting up libp11-kit0:amd64 (0.23.18.1-2) ... (Reading database ... 14659 files and directories currently installed.) Preparing to unpack .../libtasn1-6_4.15.0-2_amd64.deb ... Unpacking libtasn1-6:amd64 (4.15.0-2) over (4.14-3) ... Setting up libtasn1-6:amd64 (4.15.0-2) ... (Reading database ... 14659 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.6.11.1-2_amd64.deb ... Unpacking libgnutls30:amd64 (3.6.11.1-2) over (3.6.9-5ubuntu1) ... Setting up libgnutls30:amd64 (3.6.11.1-2) ... (Reading database ... 14658 files and directories currently installed.) Preparing to unpack .../libkmod2_26-3ubuntu1_amd64.deb ... Unpacking libkmod2:amd64 (26-3ubuntu1) over (26-1ubuntu1) ... Preparing to unpack .../libpam0g_1.3.1-5ubuntu4_amd64.deb ... Unpacking libpam0g:amd64 (1.3.1-5ubuntu4) over (1.3.1-5ubuntu1) ... Setting up libpam0g:amd64 (1.3.1-5ubuntu4) ... (Reading database ... 14658 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.4.2-2ubuntu1_amd64.deb ... Unpacking libseccomp2:amd64 (2.4.2-2ubuntu1) over (2.4.1-0ubuntu0.19.10.3) ... Setting up libseccomp2:amd64 (2.4.2-2ubuntu1) ... (Reading database ... 14658 files and directories currently installed.) Preparing to unpack .../mount_2.34-0.1ubuntu4_amd64.deb ... Unpacking mount (2.34-0.1ubuntu4) over (2.34-0.1ubuntu2) ... Preparing to unpack .../systemd_244-3ubuntu1_amd64.deb ... Unpacking systemd (244-3ubuntu1) over (242-7ubuntu3) ... Preparing to unpack .../libsystemd0_244-3ubuntu1_amd64.deb ... Unpacking libsystemd0:amd64 (244-3ubuntu1) over (242-7ubuntu3) ... Setting up libsystemd0:amd64 (244-3ubuntu1) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../libzstd1_1.4.4+dfsg-1_amd64.deb ... Unpacking libzstd1:amd64 (1.4.4+dfsg-1) over (1.4.3+dfsg-1) ... Setting up libzstd1:amd64 (1.4.4+dfsg-1) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../libapt-pkg5.90_1.9.5_amd64.deb ... Unpacking libapt-pkg5.90:amd64 (1.9.5) over (1.9.4) ... Setting up libapt-pkg5.90:amd64 (1.9.5) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.8.5-3ubuntu1_amd64.deb ... Unpacking libgcrypt20:amd64 (1.8.5-3ubuntu1) over (1.8.4-5ubuntu2) ... Setting up libgcrypt20:amd64 (1.8.5-3ubuntu1) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../gpgv_2.2.17-3ubuntu1_amd64.deb ... Unpacking gpgv (2.2.17-3ubuntu1) over (2.2.12-1ubuntu3) ... Setting up gpgv (2.2.17-3ubuntu1) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../archives/apt_1.9.5_amd64.deb ... Unpacking apt (1.9.5) over (1.9.4) ... Setting up apt (1.9.5) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.3.1-5ubuntu4_amd64.deb ... Unpacking libpam-modules-bin (1.3.1-5ubuntu4) over (1.3.1-5ubuntu1) ... Setting up libpam-modules-bin (1.3.1-5ubuntu4) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.3.1-5ubuntu4_amd64.deb ... Unpacking libpam-modules:amd64 (1.3.1-5ubuntu4) over (1.3.1-5ubuntu1) ... Setting up libpam-modules:amd64 (1.3.1-5ubuntu4) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../libattr1_1%3a2.4.48-5_amd64.deb ... Unpacking libattr1:amd64 (1:2.4.48-5) over (1:2.4.48-4) ... Setting up libattr1:amd64 (1:2.4.48-5) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.3.1-5ubuntu4_all.deb ... Unpacking libpam-runtime (1.3.1-5ubuntu4) over (1.3.1-5ubuntu1) ... Setting up libpam-runtime (1.3.1-5ubuntu4) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../libsepol1_3.0-1_amd64.deb ... Unpacking libsepol1:amd64 (3.0-1) over (2.9-2) ... Setting up libsepol1:amd64 (3.0-1) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../libsemanage-common_3.0-1_all.deb ... Unpacking libsemanage-common (3.0-1) over (2.9-3) ... Setting up libsemanage-common (3.0-1) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../libsemanage1_3.0-1_amd64.deb ... Unpacking libsemanage1:amd64 (3.0-1) over (2.9-3) ... Setting up libsemanage1:amd64 (3.0-1) ... (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../0-sensible-utils_0.0.12+nmu1_all.deb ... Unpacking sensible-utils (0.0.12+nmu1) over (0.0.12) ... Preparing to unpack .../1-libsqlite3-0_3.30.1-1ubuntu1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.30.1-1ubuntu1) over (3.29.0-2) ... Preparing to unpack .../2-gpg_2.2.17-3ubuntu1_amd64.deb ... Unpacking gpg (2.2.17-3ubuntu1) over (2.2.12-1ubuntu3) ... Preparing to unpack .../3-gpgconf_2.2.17-3ubuntu1_amd64.deb ... Unpacking gpgconf (2.2.17-3ubuntu1) over (2.2.12-1ubuntu3) ... Preparing to unpack .../4-gpg-agent_2.2.17-3ubuntu1_amd64.deb ... Unpacking gpg-agent (2.2.17-3ubuntu1) over (2.2.12-1ubuntu3) ... Preparing to unpack .../5-liblockfile-bin_1.16-1.1_amd64.deb ... Unpacking liblockfile-bin (1.16-1.1) over (1.15-1) ... Preparing to unpack .../6-liblockfile1_1.16-1.1_amd64.deb ... Unpacking liblockfile1:amd64 (1.16-1.1) over (1.15-1) ... Setting up libapparmor1:amd64 (2.13.3-7ubuntu1) ... Setting up liblockfile-bin (1.16-1.1) ... Setting up perl-modules-5.30 (5.30.0-9) ... Setting up libsqlite3-0:amd64 (3.30.1-1ubuntu1) ... Setting up binutils-common:amd64 (2.33.1-6ubuntu3) ... Setting up linux-libc-dev:amd64 (5.3.0-24.26) ... Setting up libgomp1:amd64 (9.2.1-21ubuntu1) ... Setting up bzip2 (1.0.8-2) ... Setting up libcap2:amd64 (1:2.27-1) ... Setting up libasan5:amd64 (9.2.1-21ubuntu1) ... Setting up libncurses6:amd64 (6.1+20191019-1ubuntu1) ... Setting up libquadmath0:amd64 (9.2.1-21ubuntu1) ... Setting up libatomic1:amd64 (9.2.1-21ubuntu1) ... Setting up libubsan1:amd64 (9.2.1-21ubuntu1) ... Setting up libdevmapper1.02.1:amd64 (2:1.02.155-2ubuntu7) ... Setting up mount (2.34-0.1ubuntu4) ... Setting up sensible-utils (0.0.12+nmu1) ... Setting up gpgconf (2.2.17-3ubuntu1) ... Setting up libperl5.30:amd64 (5.30.0-9) ... Setting up libisl22:amd64 (0.22-2) ... Setting up liblockfile1:amd64 (1.16-1.1) ... Setting up libjson-c4:amd64 (0.13.1+dfsg-6) ... Setting up libbinutils:amd64 (2.33.1-6ubuntu3) ... Setting up libc-dev-bin (2.30-0ubuntu3) ... Setting up libcc1-0:amd64 (9.2.1-21ubuntu1) ... Setting up gpg (2.2.17-3ubuntu1) ... Setting up liblsan0:amd64 (9.2.1-21ubuntu1) ... Setting up libitm1:amd64 (9.2.1-21ubuntu1) ... Setting up libkmod2:amd64 (26-3ubuntu1) ... Setting up binutils-x86-64-linux-gnu (2.33.1-6ubuntu3) ... Setting up libtsan0:amd64 (9.2.1-21ubuntu1) ... Setting up gpg-agent (2.2.17-3ubuntu1) ... Installing new version of config file /etc/logcheck/ignore.d.server/gpg-agent ... Created symlink /etc/systemd/user/sockets.target.wants/gpg-agent-browser.socket -> /usr/lib/systemd/user/gpg-agent-browser.socket. Created symlink /etc/systemd/user/sockets.target.wants/gpg-agent-extra.socket -> /usr/lib/systemd/user/gpg-agent-extra.socket. Created symlink /etc/systemd/user/sockets.target.wants/gpg-agent-ssh.socket -> /usr/lib/systemd/user/gpg-agent-ssh.socket. Created symlink /etc/systemd/user/sockets.target.wants/gpg-agent.socket -> /usr/lib/systemd/user/gpg-agent.socket. Setting up binutils (2.33.1-6ubuntu3) ... Setting up libgcc-9-dev:amd64 (9.2.1-21ubuntu1) ... Setting up perl (5.30.0-9) ... Setting up cpp-9 (9.2.1-21ubuntu1) ... Setting up libc6-dev:amd64 (2.30-0ubuntu3) ... Setting up libcryptsetup12:amd64 (2:2.2.2-1ubuntu1) ... Setting up gcc-9 (9.2.1-21ubuntu1) ... Setting up libstdc++-9-dev:amd64 (9.2.1-21ubuntu1) ... Setting up systemd (244-3ubuntu1) ... Installing new version of config file /etc/dhcp/dhclient-enter-hooks.d/resolved ... Installing new version of config file /etc/systemd/networkd.conf ... Installing new version of config file /etc/systemd/system.conf ... Installing new version of config file /etc/systemd/user.conf ... Initializing machine ID from KVM UUID. Setting up g++-9 (9.2.1-21ubuntu1) ... Setting up systemd-sysv (244-3ubuntu1) ... Processing triggers for libc-bin (2.30-0ubuntu3) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-18287506 amd64 focal -c chroot:build-PACKAGEBUILD-18287506 --arch=amd64 --dist=focal --nolog -A coq-doc_8.6-1.dsc Initiating build PACKAGEBUILD-18287506 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 4.4.0-170-generic #199-Ubuntu SMP Thu Nov 14 01:45:04 UTC 2019 x86_64 sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on lgw01-amd64-030.buildd +==============================================================================+ | coq-doc 8.6-1 (amd64) 05 Jan 2020 10:10 | +==============================================================================+ Package: coq-doc Version: 8.6-1 Source Version: 8.6-1 Distribution: focal Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 I: NOTICE: Log filtering will replace 'build/coq-doc-dsKKQg/coq-doc-8.6' with '<>' I: NOTICE: Log filtering will replace 'build/coq-doc-dsKKQg' with '<>' I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-18287506/chroot-autobuild' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- coq-doc_8.6-1.dsc exists in .; copying to chroot Check architectures ------------------- Check dependencies ------------------ Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<>/resolver-gee6_4/apt_archive/sbuild-build-depends-core-dummy.deb'. Ign:1 copy:/<>/resolver-gee6_4/apt_archive ./ InRelease Get:2 copy:/<>/resolver-gee6_4/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-gee6_4/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-gee6_4/apt_archive ./ Sources [214 B] Get:5 copy:/<>/resolver-gee6_4/apt_archive ./ Packages [528 B] Fetched 2861 B in 0s (266 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: libhogweed4 libisl21 libnettle6 libperl5.28 perl-modules-5.28 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 852 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/<>/resolver-gee6_4/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 852 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 14652 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) ... Merged Build-Depends: debhelper (>= 9), texlive, texlive-base, texlive-latex-extra, texlive-science, texlive-lang-french, texlive-humanities, hevea (>= 1.05), imagemagick, fig2dev, camlp5, ocaml-nox, ocaml-findlib Filtered Build-Depends: debhelper (>= 9), texlive, texlive-base, texlive-latex-extra, texlive-science, texlive-lang-french, texlive-humanities, hevea (>= 1.05), imagemagick, fig2dev, camlp5, ocaml-nox, ocaml-findlib dpkg-deb: building package 'sbuild-build-depends-coq-doc-dummy' in '/<>/resolver-q4R5KA/apt_archive/sbuild-build-depends-coq-doc-dummy.deb'. Ign:1 copy:/<>/resolver-q4R5KA/apt_archive ./ InRelease Get:2 copy:/<>/resolver-q4R5KA/apt_archive ./ Release [2119 B] Ign:3 copy:/<>/resolver-q4R5KA/apt_archive ./ Release.gpg Get:4 copy:/<>/resolver-q4R5KA/apt_archive ./ Sources [304 B] Get:5 copy:/<>/resolver-q4R5KA/apt_archive ./ Packages [618 B] Fetched 3041 B in 0s (0 B/s) Reading package lists... Reading package lists... +------------------------------------------------------------------------------+ | Install coq-doc 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: libhogweed4 libisl21 libnettle6 libperl5.28 perl-modules-5.28 Use 'apt autoremove' to remove them. The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils camlp5 debhelper dh-autoreconf dh-strip-nondeterminism dwz fig2dev file fontconfig-config fonts-dejavu-core fonts-gfs-baskerville fonts-gfs-porson fonts-lmodern gawk gettext gettext-base ghostscript groff-base hevea hicolor-icon-theme imagemagick imagemagick-6-common imagemagick-6.q16 intltool-debian libarchive-zip-perl libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcroco3 libcups2 libdbus-1-3 libdebhelper-perl libelf1 libexpat1 libfftw3-double3 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfreetype6 libglib2.0-0 libgraphite2-3 libgs9 libgs9-common libgssapi-krb5-2 libharfbuzz-icu0 libharfbuzz0b libice6 libicu63 libidn11 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libk5crypto3 libkeyutils1 libkpathsea6 libkrb5-3 libkrb5support0 liblcms2-2 liblqr-1-0 libltdl7 libmagic-mgc libmagic1 libmagickcore-6.q16-6 libmagickwand-6.q16-6 libmpdec2 libncurses-dev libncurses5-dev libnetpbm10 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libptexenc1 libpython-stdlib libpython2-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libsigsegv2 libsm6 libsub-override-perl libsynctex2 libteckit0 libtexlua53 libtexluajit2 libtiff5 libtool libuchardet0 libwebp6 libwebpmux3 libx11-6 libx11-data libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxi6 libxml2 libxmu6 libxpm4 libxrender1 libxt6 libzzip-0-13 m4 man-db mime-support netpbm ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf poppler-data preview-latex-style python python-minimal python2 python2-minimal python2.7 python2.7-minimal python3 python3-minimal python3.7 python3.7-minimal t1utils tex-common texlive texlive-base texlive-binaries texlive-fonts-recommended texlive-humanities texlive-lang-french texlive-lang-greek texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures texlive-science ucf x11-common xdg-utils Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make xfig gawk-doc gettext-doc libasprintf-dev libgettextpo-dev ghostscript-x groff hevea-doc imagemagick-doc autotrace cups-bsd | lpr | lprng curl enscript ffmpeg gimp gnuplot grads graphviz hp2xx html2ps libwmf-bin mplayer povray radiance sane-utils ufraw-batch cups-common libfftw3-bin libfftw3-dev krb5-doc krb5-user liblcms2-utils libmagickcore-6.q16-6-extra ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser camlp4 ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl poppler-utils fonts-japanese-mincho | fonts-ipafont-mincho fonts-japanese-gothic | fonts-ipafont-gothic fonts-arphic-ukai fonts-arphic-uming fonts-nanum python-doc python-tk python2-doc python2.7-doc binfmt-support python3-doc python3-tk python3-venv python3.7-venv python3.7-doc perl-tk xpdf | pdf-viewer xzdec texlive-fonts-recommended-doc texlive-humanities-doc texlive-latex-base-doc python-pygments icc-profiles libfile-which-perl libspreadsheet-parseexcel-perl texlive-latex-extra-doc texlive-latex-recommended-doc texlive-luatex texlive-pstricks dot2tex prerex ruby-tcltk | libtcltk-ruby texlive-pictures-doc vprerex texlive-science-doc Recommended packages: curl | wget | lynx gsfonts libmagickcore-6.q16-6-extra dbus libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs fonts-droid-fallback krb5-locales libltdl-dev libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl lmodern dvisvgm tex-gyre tipa texlive-plain-generic ruby | ruby-interpreter tk python-sympy libfile-mimeinfo-perl libnet-dbus-perl libx11-protocol-perl x11-utils x11-xserver-utils The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils camlp5 debhelper dh-autoreconf dh-strip-nondeterminism dwz fig2dev file fontconfig-config fonts-dejavu-core fonts-gfs-baskerville fonts-gfs-porson fonts-lmodern gawk gettext gettext-base ghostscript groff-base hevea hicolor-icon-theme imagemagick imagemagick-6-common imagemagick-6.q16 intltool-debian libarchive-zip-perl libavahi-client3 libavahi-common-data libavahi-common3 libbsd0 libcairo2 libcroco3 libcups2 libdbus-1-3 libdebhelper-perl libelf1 libexpat1 libfftw3-double3 libfile-stripnondeterminism-perl libfindlib-ocaml libfontconfig1 libfreetype6 libglib2.0-0 libgraphite2-3 libgs9 libgs9-common libgssapi-krb5-2 libharfbuzz-icu0 libharfbuzz0b libice6 libicu63 libidn11 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libk5crypto3 libkeyutils1 libkpathsea6 libkrb5-3 libkrb5support0 liblcms2-2 liblqr-1-0 libltdl7 libmagic-mgc libmagic1 libmagickcore-6.q16-6 libmagickwand-6.q16-6 libmpdec2 libncurses-dev libncurses5-dev libnetpbm10 libpaper-utils libpaper1 libpipeline1 libpixman-1-0 libptexenc1 libpython-stdlib libpython2-stdlib libpython2.7-minimal libpython2.7-stdlib libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libsigsegv2 libsm6 libsub-override-perl libsynctex2 libteckit0 libtexlua53 libtexluajit2 libtiff5 libtool libuchardet0 libwebp6 libwebpmux3 libx11-6 libx11-data libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxi6 libxml2 libxmu6 libxpm4 libxrender1 libxt6 libzzip-0-13 m4 man-db mime-support netpbm ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf poppler-data preview-latex-style python python-minimal python2 python2-minimal python2.7 python2.7-minimal python3 python3-minimal python3.7 python3.7-minimal sbuild-build-depends-coq-doc-dummy t1utils tex-common texlive texlive-base texlive-binaries texlive-fonts-recommended texlive-humanities texlive-lang-french texlive-lang-greek texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures texlive-science ucf x11-common xdg-utils 0 upgraded, 156 newly installed, 0 to remove and 0 not upgraded. Need to get 315 MB of archives. After this operation, 917 MB of additional disk space will be used. Get:1 copy:/<>/resolver-q4R5KA/apt_archive ./ sbuild-build-depends-coq-doc-dummy 0.invalid.0 [948 B] Get:2 http://ftpmaster.internal/ubuntu focal/main amd64 libpython3.7-minimal amd64 3.7.5-2 [545 kB] Get:3 http://ftpmaster.internal/ubuntu focal/main amd64 libexpat1 amd64 2.2.9-1 [73.3 kB] Get:4 http://ftpmaster.internal/ubuntu focal/main amd64 python3.7-minimal amd64 3.7.5-2 [1766 kB] Get:5 http://ftpmaster.internal/ubuntu focal/main amd64 python3-minimal amd64 3.7.5-1ubuntu1 [23.3 kB] Get:6 http://ftpmaster.internal/ubuntu focal/main amd64 mime-support all 3.64ubuntu1 [30.6 kB] Get:7 http://ftpmaster.internal/ubuntu focal/main amd64 libmpdec2 amd64 2.4.2-2 [84.1 kB] Get:8 http://ftpmaster.internal/ubuntu focal/main amd64 libpython3.7-stdlib amd64 3.7.5-2 [1732 kB] Get:9 http://ftpmaster.internal/ubuntu focal/main amd64 python3.7 amd64 3.7.5-2 [301 kB] Get:10 http://ftpmaster.internal/ubuntu focal/main amd64 libpython3-stdlib amd64 3.7.5-1ubuntu1 [6844 B] Get:11 http://ftpmaster.internal/ubuntu focal/main amd64 python3 amd64 3.7.5-1ubuntu1 [47.2 kB] Get:12 http://ftpmaster.internal/ubuntu focal/main amd64 libbsd0 amd64 0.10.0-1 [45.4 kB] Get:13 http://ftpmaster.internal/ubuntu focal/main amd64 bsdmainutils amd64 11.1.2ubuntu2 [181 kB] Get:14 http://ftpmaster.internal/ubuntu focal/main amd64 libuchardet0 amd64 0.0.6-3 [64.9 kB] Get:15 http://ftpmaster.internal/ubuntu focal/main amd64 groff-base amd64 1.22.4-4 [865 kB] Get:16 http://ftpmaster.internal/ubuntu focal/main amd64 libpipeline1 amd64 1.5.1-3 [27.4 kB] Get:17 http://ftpmaster.internal/ubuntu focal/main amd64 man-db amd64 2.9.0-2 [1114 kB] Get:18 http://ftpmaster.internal/ubuntu focal/main amd64 libsigsegv2 amd64 2.12-2 [13.9 kB] Get:19 http://ftpmaster.internal/ubuntu focal/main amd64 gawk amd64 1:5.0.1+dfsg-1 [418 kB] Get:20 http://ftpmaster.internal/ubuntu focal/main amd64 libfftw3-double3 amd64 3.3.8-2ubuntu1 [728 kB] Get:21 http://ftpmaster.internal/ubuntu focal/main amd64 libfreetype6 amd64 2.10.1-2 [341 kB] Get:22 http://ftpmaster.internal/ubuntu focal/main amd64 ucf all 3.0038+nmu1 [51.6 kB] Get:23 http://ftpmaster.internal/ubuntu focal/main amd64 fonts-dejavu-core all 2.37-1 [1041 kB] Get:24 http://ftpmaster.internal/ubuntu focal/main amd64 fontconfig-config all 2.13.1-2ubuntu2 [28.9 kB] Get:25 http://ftpmaster.internal/ubuntu focal/main amd64 libfontconfig1 amd64 2.13.1-2ubuntu2 [114 kB] Get:26 http://ftpmaster.internal/ubuntu focal/main amd64 libjbig0 amd64 2.1-3.1build1 [26.7 kB] Get:27 http://ftpmaster.internal/ubuntu focal/main amd64 libjpeg-turbo8 amd64 2.0.3-0ubuntu1 [118 kB] Get:28 http://ftpmaster.internal/ubuntu focal/main amd64 libjpeg8 amd64 8c-2ubuntu8 [2194 B] Get:29 http://ftpmaster.internal/ubuntu focal/main amd64 liblcms2-2 amd64 2.9-4 [140 kB] Get:30 http://ftpmaster.internal/ubuntu focal/main amd64 libglib2.0-0 amd64 2.63.3-1 [1279 kB] Get:31 http://ftpmaster.internal/ubuntu focal/universe amd64 liblqr-1-0 amd64 0.4.2-2.1 [27.7 kB] Get:32 http://ftpmaster.internal/ubuntu focal/main amd64 libltdl7 amd64 2.4.6-11 [38.3 kB] Get:33 http://ftpmaster.internal/ubuntu focal/main amd64 libwebp6 amd64 0.6.1-2 [185 kB] Get:34 http://ftpmaster.internal/ubuntu focal/main amd64 libtiff5 amd64 4.1.0+git191117-1 [162 kB] Get:35 http://ftpmaster.internal/ubuntu focal/main amd64 libwebpmux3 amd64 0.6.1-2 [19.6 kB] Get:36 http://ftpmaster.internal/ubuntu focal/main amd64 libxau6 amd64 1:1.0.9-0ubuntu1 [7488 B] Get:37 http://ftpmaster.internal/ubuntu focal/main amd64 libxdmcp6 amd64 1:1.1.3-0ubuntu1 [10.6 kB] Get:38 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb1 amd64 1.13.1-2 [45.2 kB] Get:39 http://ftpmaster.internal/ubuntu focal/main amd64 libx11-data all 2:1.6.8-1 [113 kB] Get:40 http://ftpmaster.internal/ubuntu focal/main amd64 libx11-6 amd64 2:1.6.8-1 [573 kB] Get:41 http://ftpmaster.internal/ubuntu focal/main amd64 libxext6 amd64 2:1.3.4-0ubuntu1 [29.1 kB] Get:42 http://ftpmaster.internal/ubuntu focal/main amd64 libicu63 amd64 63.2-2 [8294 kB] Get:43 http://ftpmaster.internal/ubuntu focal/main amd64 libxml2 amd64 2.9.4+dfsg1-8ubuntu1 [648 kB] Get:44 http://ftpmaster.internal/ubuntu focal/universe amd64 imagemagick-6-common all 8:6.9.10.23+dfsg-2.1ubuntu10 [60.9 kB] Get:45 http://ftpmaster.internal/ubuntu focal/universe amd64 libmagickcore-6.q16-6 amd64 8:6.9.10.23+dfsg-2.1ubuntu10 [1645 kB] Get:46 http://ftpmaster.internal/ubuntu focal/universe amd64 libmagickwand-6.q16-6 amd64 8:6.9.10.23+dfsg-2.1ubuntu10 [304 kB] Get:47 http://ftpmaster.internal/ubuntu focal/main amd64 poppler-data all 0.4.9-2 [1475 kB] Get:48 http://ftpmaster.internal/ubuntu focal/universe amd64 libpython2.7-minimal amd64 2.7.17-1 [335 kB] Get:49 http://ftpmaster.internal/ubuntu focal/universe amd64 python2.7-minimal amd64 2.7.17-1 [1308 kB] Get:50 http://ftpmaster.internal/ubuntu focal/universe amd64 python2-minimal amd64 2.7.17-1 [27.8 kB] Get:51 http://ftpmaster.internal/ubuntu focal/universe amd64 python-minimal amd64 2.7.17-1 [5996 B] Get:52 http://ftpmaster.internal/ubuntu focal/universe amd64 libpython2.7-stdlib amd64 2.7.17-1 [1882 kB] Get:53 http://ftpmaster.internal/ubuntu focal/universe amd64 python2.7 amd64 2.7.17-1 [248 kB] Get:54 http://ftpmaster.internal/ubuntu focal/universe amd64 libpython2-stdlib amd64 2.7.17-1 [7400 B] Get:55 http://ftpmaster.internal/ubuntu focal/universe amd64 libpython-stdlib amd64 2.7.17-1 [5836 B] Get:56 http://ftpmaster.internal/ubuntu focal/universe amd64 python2 amd64 2.7.17-1 [26.5 kB] Get:57 http://ftpmaster.internal/ubuntu focal/universe amd64 python amd64 2.7.17-1 [7836 B] Get:58 http://ftpmaster.internal/ubuntu focal/universe amd64 tex-common all 6.13 [32.7 kB] Get:59 http://ftpmaster.internal/ubuntu focal/main amd64 libmagic-mgc amd64 1:5.37-6 [209 kB] Get:60 http://ftpmaster.internal/ubuntu focal/main amd64 libmagic1 amd64 1:5.37-6 [75.3 kB] Get:61 http://ftpmaster.internal/ubuntu focal/main amd64 file amd64 1:5.37-6 [23.2 kB] Get:62 http://ftpmaster.internal/ubuntu focal/main amd64 libdbus-1-3 amd64 1.12.16-2ubuntu2 [179 kB] Get:63 http://ftpmaster.internal/ubuntu focal/main amd64 libelf1 amd64 0.176-1.1 [44.1 kB] Get:64 http://ftpmaster.internal/ubuntu focal/main amd64 gettext-base amd64 0.19.8.1-10 [50.2 kB] Get:65 http://ftpmaster.internal/ubuntu focal/main amd64 libkrb5support0 amd64 1.17-6 [31.4 kB] Get:66 http://ftpmaster.internal/ubuntu focal/main amd64 libk5crypto3 amd64 1.17-6 [80.2 kB] Get:67 http://ftpmaster.internal/ubuntu focal/main amd64 libkeyutils1 amd64 1.6-6ubuntu1 [10.2 kB] Get:68 http://ftpmaster.internal/ubuntu focal/main amd64 libkrb5-3 amd64 1.17-6 [330 kB] Get:69 http://ftpmaster.internal/ubuntu focal/main amd64 libgssapi-krb5-2 amd64 1.17-6 [121 kB] Get:70 http://ftpmaster.internal/ubuntu focal/main amd64 m4 amd64 1.4.18-4 [199 kB] Get:71 http://ftpmaster.internal/ubuntu focal/main amd64 autoconf all 2.69-11ubuntu1 [321 kB] Get:72 http://ftpmaster.internal/ubuntu focal/main amd64 autotools-dev all 20180224.1 [39.6 kB] Get:73 http://ftpmaster.internal/ubuntu focal/main amd64 automake all 1:1.16.1-4ubuntu3 [522 kB] Get:74 http://ftpmaster.internal/ubuntu focal/main amd64 autopoint all 0.19.8.1-10 [412 kB] Get:75 http://ftpmaster.internal/ubuntu focal/main amd64 libtool all 2.4.6-11 [194 kB] Get:76 http://ftpmaster.internal/ubuntu focal/main amd64 dh-autoreconf all 19 [16.1 kB] Get:77 http://ftpmaster.internal/ubuntu focal/main amd64 libdebhelper-perl all 12.7.1ubuntu1 [52.0 kB] Get:78 http://ftpmaster.internal/ubuntu focal/main amd64 libarchive-zip-perl all 1.67-1 [90.4 kB] Get:79 http://ftpmaster.internal/ubuntu focal/main amd64 libsub-override-perl all 0.09-2 [9532 B] Get:80 http://ftpmaster.internal/ubuntu focal/main amd64 libfile-stripnondeterminism-perl all 1.6.3-1 [16.0 kB] Get:81 http://ftpmaster.internal/ubuntu focal/main amd64 dh-strip-nondeterminism all 1.6.3-1 [5224 B] Get:82 http://ftpmaster.internal/ubuntu focal/main amd64 dwz amd64 0.13-5 [151 kB] Get:83 http://ftpmaster.internal/ubuntu focal/main amd64 libcroco3 amd64 0.6.13-1 [82.5 kB] Get:84 http://ftpmaster.internal/ubuntu focal/main amd64 gettext amd64 0.19.8.1-10 [897 kB] Get:85 http://ftpmaster.internal/ubuntu focal/main amd64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:86 http://ftpmaster.internal/ubuntu focal/main amd64 po-debconf all 1.0.21 [233 kB] Get:87 http://ftpmaster.internal/ubuntu focal/main amd64 debhelper all 12.7.1ubuntu1 [875 kB] Get:88 http://ftpmaster.internal/ubuntu focal/main amd64 libavahi-common-data amd64 0.7-4ubuntu6 [21.3 kB] Get:89 http://ftpmaster.internal/ubuntu focal/main amd64 libavahi-common3 amd64 0.7-4ubuntu6 [21.7 kB] Get:90 http://ftpmaster.internal/ubuntu focal/main amd64 libavahi-client3 amd64 0.7-4ubuntu6 [25.5 kB] Get:91 http://ftpmaster.internal/ubuntu focal/main amd64 libcups2 amd64 2.3.0-7 [230 kB] Get:92 http://ftpmaster.internal/ubuntu focal/main amd64 libidn11 amd64 1.33-2.2ubuntu2 [46.2 kB] Get:93 http://ftpmaster.internal/ubuntu focal/main amd64 libijs-0.35 amd64 0.35-15 [15.7 kB] Get:94 http://ftpmaster.internal/ubuntu focal/main amd64 libjbig2dec0 amd64 0.17-1 [58.8 kB] Get:95 http://ftpmaster.internal/ubuntu focal/main amd64 libpaper1 amd64 1.1.28 [13.0 kB] Get:96 http://ftpmaster.internal/ubuntu focal/main amd64 libgs9-common all 9.27~dfsg+0-0ubuntu4 [5093 kB] Get:97 http://ftpmaster.internal/ubuntu focal/main amd64 libgs9 amd64 9.27~dfsg+0-0ubuntu4 [2390 kB] Get:98 http://ftpmaster.internal/ubuntu focal/main amd64 ghostscript amd64 9.27~dfsg+0-0ubuntu4 [51.6 kB] Get:99 http://ftpmaster.internal/ubuntu focal/universe amd64 libnetpbm10 amd64 2:10.0-15.3build1 [58.0 kB] Get:100 http://ftpmaster.internal/ubuntu focal/universe amd64 netpbm amd64 2:10.0-15.3build1 [1017 kB] Get:101 http://ftpmaster.internal/ubuntu focal/main amd64 x11-common all 1:7.7+19ubuntu12 [22.4 kB] Get:102 http://ftpmaster.internal/ubuntu focal/main amd64 libxpm4 amd64 1:3.5.12-1 [34.0 kB] Get:103 http://ftpmaster.internal/ubuntu focal/universe amd64 fig2dev amd64 1:3.2.7a-7 [629 kB] Get:104 http://ftpmaster.internal/ubuntu focal/universe amd64 fonts-gfs-baskerville all 1.1-5 [43.4 kB] Get:105 http://ftpmaster.internal/ubuntu focal/universe amd64 fonts-gfs-porson all 1.1-6 [33.7 kB] Get:106 http://ftpmaster.internal/ubuntu focal/universe amd64 fonts-lmodern all 2.004.5-6 [4532 kB] Get:107 http://ftpmaster.internal/ubuntu focal/main amd64 libpaper-utils amd64 1.1.28 [8400 B] Get:108 http://ftpmaster.internal/ubuntu focal/main amd64 libkpathsea6 amd64 2019.20190605.51237-3 [57.1 kB] Get:109 http://ftpmaster.internal/ubuntu focal/main amd64 libptexenc1 amd64 2019.20190605.51237-3 [37.6 kB] Get:110 http://ftpmaster.internal/ubuntu focal/main amd64 libsynctex2 amd64 2019.20190605.51237-3 [55.0 kB] Get:111 http://ftpmaster.internal/ubuntu focal/main amd64 libtexlua53 amd64 2019.20190605.51237-3 [105 kB] Get:112 http://ftpmaster.internal/ubuntu focal/main amd64 libtexluajit2 amd64 2019.20190605.51237-3 [235 kB] Get:113 http://ftpmaster.internal/ubuntu focal/main amd64 t1utils amd64 1.41-3 [56.1 kB] Get:114 http://ftpmaster.internal/ubuntu focal/main amd64 libpixman-1-0 amd64 0.38.4-0ubuntu1 [227 kB] Get:115 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-render0 amd64 1.13.1-2 [14.8 kB] Get:116 http://ftpmaster.internal/ubuntu focal/main amd64 libxcb-shm0 amd64 1.13.1-2 [5548 B] Get:117 http://ftpmaster.internal/ubuntu focal/main amd64 libxrender1 amd64 1:0.9.10-1 [18.7 kB] Get:118 http://ftpmaster.internal/ubuntu focal/main amd64 libcairo2 amd64 1.16.0-4ubuntu1 [583 kB] Get:119 http://ftpmaster.internal/ubuntu focal/main amd64 libgraphite2-3 amd64 1.3.13-11 [73.7 kB] Get:120 http://ftpmaster.internal/ubuntu focal/main amd64 libharfbuzz0b amd64 2.6.4-1ubuntu1 [391 kB] Get:121 http://ftpmaster.internal/ubuntu focal/main amd64 libharfbuzz-icu0 amd64 2.6.4-1ubuntu1 [5576 B] Get:122 http://ftpmaster.internal/ubuntu focal/universe amd64 libteckit0 amd64 2.5.8+ds2-5ubuntu1 [317 kB] Get:123 http://ftpmaster.internal/ubuntu focal/main amd64 libice6 amd64 2:1.0.10-0ubuntu1 [41.0 kB] Get:124 http://ftpmaster.internal/ubuntu focal/main amd64 libsm6 amd64 2:1.2.3-1 [16.1 kB] Get:125 http://ftpmaster.internal/ubuntu focal/main amd64 libxt6 amd64 1:1.1.5-1 [160 kB] Get:126 http://ftpmaster.internal/ubuntu focal/main amd64 libxmu6 amd64 2:1.1.3-0ubuntu1 [45.8 kB] Get:127 http://ftpmaster.internal/ubuntu focal/main amd64 libxaw7 amd64 2:1.0.13-1 [173 kB] Get:128 http://ftpmaster.internal/ubuntu focal/main amd64 libxi6 amd64 2:1.7.10-0ubuntu1 [29.9 kB] Get:129 http://ftpmaster.internal/ubuntu focal/universe amd64 libzzip-0-13 amd64 0.13.62-3.2 [25.8 kB] Get:130 http://ftpmaster.internal/ubuntu focal/main amd64 texlive-binaries amd64 2019.20190605.51237-3 [8187 kB] Get:131 http://ftpmaster.internal/ubuntu focal/main amd64 xdg-utils all 1.1.3-1ubuntu2 [60.5 kB] Get:132 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-base all 2019.20191208-4 [20.5 MB] Get:133 http://ftpmaster.internal/ubuntu focal/universe amd64 ocaml-base-nox amd64 4.05.0-12ubuntu3 [543 kB] Get:134 http://ftpmaster.internal/ubuntu focal/universe amd64 hevea all 2.32-3 [884 kB] Get:135 http://ftpmaster.internal/ubuntu focal/main amd64 hicolor-icon-theme all 0.17-2 [9976 B] Get:136 http://ftpmaster.internal/ubuntu focal/universe amd64 imagemagick-6.q16 amd64 8:6.9.10.23+dfsg-2.1ubuntu10 [427 kB] Get:137 http://ftpmaster.internal/ubuntu focal/universe amd64 imagemagick amd64 8:6.9.10.23+dfsg-2.1ubuntu10 [14.4 kB] Get:138 http://ftpmaster.internal/ubuntu focal/universe amd64 libfindlib-ocaml amd64 1.8.1-1build2 [166 kB] Get:139 http://ftpmaster.internal/ubuntu focal/main amd64 libncurses-dev amd64 6.1+20191019-1ubuntu1 [339 kB] Get:140 http://ftpmaster.internal/ubuntu focal/main amd64 libncurses5-dev amd64 6.1+20191019-1ubuntu1 [992 B] Get:141 http://ftpmaster.internal/ubuntu focal/universe amd64 ocaml-interp amd64 4.05.0-12ubuntu3 [3465 kB] Get:142 http://ftpmaster.internal/ubuntu focal/universe amd64 ocaml-nox amd64 4.05.0-12ubuntu3 [27.5 MB] Get:143 http://ftpmaster.internal/ubuntu focal/universe amd64 ocaml-compiler-libs amd64 4.05.0-12ubuntu3 [18.9 MB] Get:144 http://ftpmaster.internal/ubuntu focal/universe amd64 ocaml-findlib amd64 1.8.1-1build2 [375 kB] Get:145 http://ftpmaster.internal/ubuntu focal/universe amd64 preview-latex-style all 11.91-2ubuntu1 [185 kB] Get:146 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-fonts-recommended all 2019.20191208-4 [5198 kB] Get:147 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-latex-base all 2019.20191208-4 [849 kB] Get:148 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-latex-recommended all 2019.20191208-4 [15.7 MB] Get:149 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive all 2019.20191208-4 [14.4 kB] Get:150 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-humanities all 2019.20191208-1 [375 kB] Get:151 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-lang-french all 2019.20191208-1 [59.2 MB] Get:152 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-lang-greek all 2019.20191208-1 [77.3 MB] Get:153 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-pictures all 2019.20191208-4 [4462 kB] Get:154 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-latex-extra all 2019.20191208-1 [12.4 MB] Get:155 http://ftpmaster.internal/ubuntu focal/universe amd64 texlive-science all 2019.20191208-1 [3194 kB] Get:156 http://ftpmaster.internal/ubuntu focal/universe amd64 camlp5 amd64 7.08-2 [3307 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 315 MB in 28s (11.1 MB/s) Selecting previously unselected package libpython3.7-minimal:amd64. (Reading database ... 14652 files and directories currently installed.) Preparing to unpack .../libpython3.7-minimal_3.7.5-2_amd64.deb ... Unpacking libpython3.7-minimal:amd64 (3.7.5-2) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../libexpat1_2.2.9-1_amd64.deb ... Unpacking libexpat1:amd64 (2.2.9-1) ... Selecting previously unselected package python3.7-minimal. Preparing to unpack .../python3.7-minimal_3.7.5-2_amd64.deb ... Unpacking python3.7-minimal (3.7.5-2) ... Setting up libpython3.7-minimal:amd64 (3.7.5-2) ... Setting up libexpat1:amd64 (2.2.9-1) ... Setting up python3.7-minimal (3.7.5-2) ... Selecting previously unselected package python3-minimal. (Reading database ... 14901 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.7.5-1ubuntu1_amd64.deb ... Unpacking python3-minimal (3.7.5-1ubuntu1) ... Selecting previously unselected package mime-support. Preparing to unpack .../1-mime-support_3.64ubuntu1_all.deb ... Unpacking mime-support (3.64ubuntu1) ... Selecting previously unselected package libmpdec2:amd64. Preparing to unpack .../2-libmpdec2_2.4.2-2_amd64.deb ... Unpacking libmpdec2:amd64 (2.4.2-2) ... Selecting previously unselected package libpython3.7-stdlib:amd64. Preparing to unpack .../3-libpython3.7-stdlib_3.7.5-2_amd64.deb ... Unpacking libpython3.7-stdlib:amd64 (3.7.5-2) ... Selecting previously unselected package python3.7. Preparing to unpack .../4-python3.7_3.7.5-2_amd64.deb ... Unpacking python3.7 (3.7.5-2) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../5-libpython3-stdlib_3.7.5-1ubuntu1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.7.5-1ubuntu1) ... Setting up python3-minimal (3.7.5-1ubuntu1) ... Selecting previously unselected package python3. (Reading database ... 15339 files and directories currently installed.) Preparing to unpack .../0-python3_3.7.5-1ubuntu1_amd64.deb ... Unpacking python3 (3.7.5-1ubuntu1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../1-libbsd0_0.10.0-1_amd64.deb ... Unpacking libbsd0:amd64 (0.10.0-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../2-bsdmainutils_11.1.2ubuntu2_amd64.deb ... Unpacking bsdmainutils (11.1.2ubuntu2) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../3-libuchardet0_0.0.6-3_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../4-groff-base_1.22.4-4_amd64.deb ... Unpacking groff-base (1.22.4-4) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../5-libpipeline1_1.5.1-3_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.1-3) ... Selecting previously unselected package man-db. Preparing to unpack .../6-man-db_2.9.0-2_amd64.deb ... Unpacking man-db (2.9.0-2) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../7-libsigsegv2_2.12-2_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2) ... Setting up libsigsegv2:amd64 (2.12-2) ... Selecting previously unselected package gawk. (Reading database ... 15965 files and directories currently installed.) Preparing to unpack .../00-gawk_1%3a5.0.1+dfsg-1_amd64.deb ... Unpacking gawk (1:5.0.1+dfsg-1) ... Selecting previously unselected package libfftw3-double3:amd64. Preparing to unpack .../01-libfftw3-double3_3.3.8-2ubuntu1_amd64.deb ... Unpacking libfftw3-double3:amd64 (3.3.8-2ubuntu1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../02-libfreetype6_2.10.1-2_amd64.deb ... Unpacking libfreetype6:amd64 (2.10.1-2) ... Selecting previously unselected package ucf. Preparing to unpack .../03-ucf_3.0038+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0038+nmu1) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../04-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../05-fontconfig-config_2.13.1-2ubuntu2_all.deb ... Unpacking fontconfig-config (2.13.1-2ubuntu2) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../06-libfontconfig1_2.13.1-2ubuntu2_amd64.deb ... Unpacking libfontconfig1:amd64 (2.13.1-2ubuntu2) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../07-libjbig0_2.1-3.1build1_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1build1) ... Selecting previously unselected package libjpeg-turbo8:amd64. Preparing to unpack .../08-libjpeg-turbo8_2.0.3-0ubuntu1_amd64.deb ... Unpacking libjpeg-turbo8:amd64 (2.0.3-0ubuntu1) ... Selecting previously unselected package libjpeg8:amd64. Preparing to unpack .../09-libjpeg8_8c-2ubuntu8_amd64.deb ... Unpacking libjpeg8:amd64 (8c-2ubuntu8) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../10-liblcms2-2_2.9-4_amd64.deb ... Unpacking liblcms2-2:amd64 (2.9-4) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../11-libglib2.0-0_2.63.3-1_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.63.3-1) ... Selecting previously unselected package liblqr-1-0:amd64. Preparing to unpack .../12-liblqr-1-0_0.4.2-2.1_amd64.deb ... Unpacking liblqr-1-0:amd64 (0.4.2-2.1) ... Selecting previously unselected package libltdl7:amd64. Preparing to unpack .../13-libltdl7_2.4.6-11_amd64.deb ... Unpacking libltdl7:amd64 (2.4.6-11) ... Selecting previously unselected package libwebp6:amd64. Preparing to unpack .../14-libwebp6_0.6.1-2_amd64.deb ... Unpacking libwebp6:amd64 (0.6.1-2) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../15-libtiff5_4.1.0+git191117-1_amd64.deb ... Unpacking libtiff5:amd64 (4.1.0+git191117-1) ... Selecting previously unselected package libwebpmux3:amd64. Preparing to unpack .../16-libwebpmux3_0.6.1-2_amd64.deb ... Unpacking libwebpmux3:amd64 (0.6.1-2) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../17-libxau6_1%3a1.0.9-0ubuntu1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-0ubuntu1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../18-libxdmcp6_1%3a1.1.3-0ubuntu1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.3-0ubuntu1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../19-libxcb1_1.13.1-2_amd64.deb ... Unpacking libxcb1:amd64 (1.13.1-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../20-libx11-data_2%3a1.6.8-1_all.deb ... Unpacking libx11-data (2:1.6.8-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../21-libx11-6_2%3a1.6.8-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.8-1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../22-libxext6_2%3a1.3.4-0ubuntu1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-0ubuntu1) ... Selecting previously unselected package libicu63:amd64. Preparing to unpack .../23-libicu63_63.2-2_amd64.deb ... Unpacking libicu63:amd64 (63.2-2) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../24-libxml2_2.9.4+dfsg1-8ubuntu1_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-8ubuntu1) ... Selecting previously unselected package imagemagick-6-common. Preparing to unpack .../25-imagemagick-6-common_8%3a6.9.10.23+dfsg-2.1ubuntu10_all.deb ... Unpacking imagemagick-6-common (8:6.9.10.23+dfsg-2.1ubuntu10) ... Selecting previously unselected package libmagickcore-6.q16-6:amd64. Preparing to unpack .../26-libmagickcore-6.q16-6_8%3a6.9.10.23+dfsg-2.1ubuntu10_amd64.deb ... Unpacking libmagickcore-6.q16-6:amd64 (8:6.9.10.23+dfsg-2.1ubuntu10) ... Selecting previously unselected package libmagickwand-6.q16-6:amd64. Preparing to unpack .../27-libmagickwand-6.q16-6_8%3a6.9.10.23+dfsg-2.1ubuntu10_amd64.deb ... Unpacking libmagickwand-6.q16-6:amd64 (8:6.9.10.23+dfsg-2.1ubuntu10) ... Selecting previously unselected package poppler-data. Preparing to unpack .../28-poppler-data_0.4.9-2_all.deb ... Unpacking poppler-data (0.4.9-2) ... Selecting previously unselected package libpython2.7-minimal:amd64. Preparing to unpack .../29-libpython2.7-minimal_2.7.17-1_amd64.deb ... Unpacking libpython2.7-minimal:amd64 (2.7.17-1) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../30-python2.7-minimal_2.7.17-1_amd64.deb ... Unpacking python2.7-minimal (2.7.17-1) ... Selecting previously unselected package python2-minimal. Preparing to unpack .../31-python2-minimal_2.7.17-1_amd64.deb ... Unpacking python2-minimal (2.7.17-1) ... Selecting previously unselected package python-minimal. Preparing to unpack .../32-python-minimal_2.7.17-1_amd64.deb ... Unpacking python-minimal (2.7.17-1) ... Selecting previously unselected package libpython2.7-stdlib:amd64. Preparing to unpack .../33-libpython2.7-stdlib_2.7.17-1_amd64.deb ... Unpacking libpython2.7-stdlib:amd64 (2.7.17-1) ... Selecting previously unselected package python2.7. Preparing to unpack .../34-python2.7_2.7.17-1_amd64.deb ... Unpacking python2.7 (2.7.17-1) ... Selecting previously unselected package libpython2-stdlib:amd64. Preparing to unpack .../35-libpython2-stdlib_2.7.17-1_amd64.deb ... Unpacking libpython2-stdlib:amd64 (2.7.17-1) ... Selecting previously unselected package libpython-stdlib:amd64. Preparing to unpack .../36-libpython-stdlib_2.7.17-1_amd64.deb ... Unpacking libpython-stdlib:amd64 (2.7.17-1) ... Setting up libpython2.7-minimal:amd64 (2.7.17-1) ... Setting up python2.7-minimal (2.7.17-1) ... Setting up python2-minimal (2.7.17-1) ... Selecting previously unselected package python2. (Reading database ... 18214 files and directories currently installed.) Preparing to unpack .../python2_2.7.17-1_amd64.deb ... Unpacking python2 (2.7.17-1) ... Setting up python-minimal (2.7.17-1) ... Selecting previously unselected package python. (Reading database ... 18246 files and directories currently installed.) Preparing to unpack .../000-python_2.7.17-1_amd64.deb ... Unpacking python (2.7.17-1) ... Selecting previously unselected package tex-common. Preparing to unpack .../001-tex-common_6.13_all.deb ... Unpacking tex-common (6.13) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../002-libmagic-mgc_1%3a5.37-6_amd64.deb ... Unpacking libmagic-mgc (1:5.37-6) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../003-libmagic1_1%3a5.37-6_amd64.deb ... Unpacking libmagic1:amd64 (1:5.37-6) ... Selecting previously unselected package file. Preparing to unpack .../004-file_1%3a5.37-6_amd64.deb ... Unpacking file (1:5.37-6) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../005-libdbus-1-3_1.12.16-2ubuntu2_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.12.16-2ubuntu2) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../006-libelf1_0.176-1.1_amd64.deb ... Unpacking libelf1:amd64 (0.176-1.1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../007-gettext-base_0.19.8.1-10_amd64.deb ... Unpacking gettext-base (0.19.8.1-10) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../008-libkrb5support0_1.17-6_amd64.deb ... Unpacking libkrb5support0:amd64 (1.17-6) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../009-libk5crypto3_1.17-6_amd64.deb ... Unpacking libk5crypto3:amd64 (1.17-6) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../010-libkeyutils1_1.6-6ubuntu1_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6-6ubuntu1) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../011-libkrb5-3_1.17-6_amd64.deb ... Unpacking libkrb5-3:amd64 (1.17-6) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../012-libgssapi-krb5-2_1.17-6_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.17-6) ... Selecting previously unselected package m4. Preparing to unpack .../013-m4_1.4.18-4_amd64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../014-autoconf_2.69-11ubuntu1_all.deb ... Unpacking autoconf (2.69-11ubuntu1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../015-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../016-automake_1%3a1.16.1-4ubuntu3_all.deb ... Unpacking automake (1:1.16.1-4ubuntu3) ... Selecting previously unselected package autopoint. Preparing to unpack .../017-autopoint_0.19.8.1-10_all.deb ... Unpacking autopoint (0.19.8.1-10) ... Selecting previously unselected package libtool. Preparing to unpack .../018-libtool_2.4.6-11_all.deb ... Unpacking libtool (2.4.6-11) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../019-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../020-libdebhelper-perl_12.7.1ubuntu1_all.deb ... Unpacking libdebhelper-perl (12.7.1ubuntu1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../021-libarchive-zip-perl_1.67-1_all.deb ... Unpacking libarchive-zip-perl (1.67-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../022-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 .../023-libfile-stripnondeterminism-perl_1.6.3-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.6.3-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../024-dh-strip-nondeterminism_1.6.3-1_all.deb ... Unpacking dh-strip-nondeterminism (1.6.3-1) ... Selecting previously unselected package dwz. Preparing to unpack .../025-dwz_0.13-5_amd64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../026-libcroco3_0.6.13-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../027-gettext_0.19.8.1-10_amd64.deb ... Unpacking gettext (0.19.8.1-10) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../028-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 .../029-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../030-debhelper_12.7.1ubuntu1_all.deb ... Unpacking debhelper (12.7.1ubuntu1) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../031-libavahi-common-data_0.7-4ubuntu6_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.7-4ubuntu6) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../032-libavahi-common3_0.7-4ubuntu6_amd64.deb ... Unpacking libavahi-common3:amd64 (0.7-4ubuntu6) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../033-libavahi-client3_0.7-4ubuntu6_amd64.deb ... Unpacking libavahi-client3:amd64 (0.7-4ubuntu6) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../034-libcups2_2.3.0-7_amd64.deb ... Unpacking libcups2:amd64 (2.3.0-7) ... Selecting previously unselected package libidn11:amd64. Preparing to unpack .../035-libidn11_1.33-2.2ubuntu2_amd64.deb ... Unpacking libidn11:amd64 (1.33-2.2ubuntu2) ... Selecting previously unselected package libijs-0.35:amd64. Preparing to unpack .../036-libijs-0.35_0.35-15_amd64.deb ... Unpacking libijs-0.35:amd64 (0.35-15) ... Selecting previously unselected package libjbig2dec0:amd64. Preparing to unpack .../037-libjbig2dec0_0.17-1_amd64.deb ... Unpacking libjbig2dec0:amd64 (0.17-1) ... Selecting previously unselected package libpaper1:amd64. Preparing to unpack .../038-libpaper1_1.1.28_amd64.deb ... Unpacking libpaper1:amd64 (1.1.28) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../039-libgs9-common_9.27~dfsg+0-0ubuntu4_all.deb ... Unpacking libgs9-common (9.27~dfsg+0-0ubuntu4) ... Selecting previously unselected package libgs9:amd64. Preparing to unpack .../040-libgs9_9.27~dfsg+0-0ubuntu4_amd64.deb ... Unpacking libgs9:amd64 (9.27~dfsg+0-0ubuntu4) ... Selecting previously unselected package ghostscript. Preparing to unpack .../041-ghostscript_9.27~dfsg+0-0ubuntu4_amd64.deb ... Unpacking ghostscript (9.27~dfsg+0-0ubuntu4) ... Selecting previously unselected package libnetpbm10. Preparing to unpack .../042-libnetpbm10_2%3a10.0-15.3build1_amd64.deb ... Unpacking libnetpbm10 (2:10.0-15.3build1) ... Selecting previously unselected package netpbm. Preparing to unpack .../043-netpbm_2%3a10.0-15.3build1_amd64.deb ... Unpacking netpbm (2:10.0-15.3build1) ... Selecting previously unselected package x11-common. Preparing to unpack .../044-x11-common_1%3a7.7+19ubuntu12_all.deb ... dpkg-query: no packages found matching nux-tools Unpacking x11-common (1:7.7+19ubuntu12) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../045-libxpm4_1%3a3.5.12-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1) ... Selecting previously unselected package fig2dev. Preparing to unpack .../046-fig2dev_1%3a3.2.7a-7_amd64.deb ... Unpacking fig2dev (1:3.2.7a-7) ... Selecting previously unselected package fonts-gfs-baskerville. Preparing to unpack .../047-fonts-gfs-baskerville_1.1-5_all.deb ... Unpacking fonts-gfs-baskerville (1.1-5) ... Selecting previously unselected package fonts-gfs-porson. Preparing to unpack .../048-fonts-gfs-porson_1.1-6_all.deb ... Unpacking fonts-gfs-porson (1.1-6) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../049-fonts-lmodern_2.004.5-6_all.deb ... Unpacking fonts-lmodern (2.004.5-6) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../050-libpaper-utils_1.1.28_amd64.deb ... Unpacking libpaper-utils (1.1.28) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../051-libkpathsea6_2019.20190605.51237-3_amd64.deb ... Unpacking libkpathsea6:amd64 (2019.20190605.51237-3) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../052-libptexenc1_2019.20190605.51237-3_amd64.deb ... Unpacking libptexenc1:amd64 (2019.20190605.51237-3) ... Selecting previously unselected package libsynctex2:amd64. Preparing to unpack .../053-libsynctex2_2019.20190605.51237-3_amd64.deb ... Unpacking libsynctex2:amd64 (2019.20190605.51237-3) ... Selecting previously unselected package libtexlua53:amd64. Preparing to unpack .../054-libtexlua53_2019.20190605.51237-3_amd64.deb ... Unpacking libtexlua53:amd64 (2019.20190605.51237-3) ... Selecting previously unselected package libtexluajit2:amd64. Preparing to unpack .../055-libtexluajit2_2019.20190605.51237-3_amd64.deb ... Unpacking libtexluajit2:amd64 (2019.20190605.51237-3) ... Selecting previously unselected package t1utils. Preparing to unpack .../056-t1utils_1.41-3_amd64.deb ... Unpacking t1utils (1.41-3) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../057-libpixman-1-0_0.38.4-0ubuntu1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.38.4-0ubuntu1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../058-libxcb-render0_1.13.1-2_amd64.deb ... Unpacking libxcb-render0:amd64 (1.13.1-2) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../059-libxcb-shm0_1.13.1-2_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.13.1-2) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../060-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../061-libcairo2_1.16.0-4ubuntu1_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-4ubuntu1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../062-libgraphite2-3_1.3.13-11_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.13-11) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../063-libharfbuzz0b_2.6.4-1ubuntu1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (2.6.4-1ubuntu1) ... Selecting previously unselected package libharfbuzz-icu0:amd64. Preparing to unpack .../064-libharfbuzz-icu0_2.6.4-1ubuntu1_amd64.deb ... Unpacking libharfbuzz-icu0:amd64 (2.6.4-1ubuntu1) ... Selecting previously unselected package libteckit0:amd64. Preparing to unpack .../065-libteckit0_2.5.8+ds2-5ubuntu1_amd64.deb ... Unpacking libteckit0:amd64 (2.5.8+ds2-5ubuntu1) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../066-libice6_2%3a1.0.10-0ubuntu1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.10-0ubuntu1) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../067-libsm6_2%3a1.2.3-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.3-1) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../068-libxt6_1%3a1.1.5-1_amd64.deb ... Unpacking libxt6:amd64 (1:1.1.5-1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../069-libxmu6_2%3a1.1.3-0ubuntu1_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.3-0ubuntu1) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../070-libxaw7_2%3a1.0.13-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.13-1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../071-libxi6_2%3a1.7.10-0ubuntu1_amd64.deb ... Unpacking libxi6:amd64 (2:1.7.10-0ubuntu1) ... Selecting previously unselected package libzzip-0-13:amd64. Preparing to unpack .../072-libzzip-0-13_0.13.62-3.2_amd64.deb ... Unpacking libzzip-0-13:amd64 (0.13.62-3.2) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../073-texlive-binaries_2019.20190605.51237-3_amd64.deb ... Unpacking texlive-binaries (2019.20190605.51237-3) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../074-xdg-utils_1.1.3-1ubuntu2_all.deb ... Unpacking xdg-utils (1.1.3-1ubuntu2) ... Selecting previously unselected package texlive-base. Preparing to unpack .../075-texlive-base_2019.20191208-4_all.deb ... Unpacking texlive-base (2019.20191208-4) ... Selecting previously unselected package ocaml-base-nox. Preparing to unpack .../076-ocaml-base-nox_4.05.0-12ubuntu3_amd64.deb ... Unpacking ocaml-base-nox (4.05.0-12ubuntu3) ... Selecting previously unselected package hevea. Preparing to unpack .../077-hevea_2.32-3_all.deb ... Unpacking hevea (2.32-3) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../078-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package imagemagick-6.q16. Preparing to unpack .../079-imagemagick-6.q16_8%3a6.9.10.23+dfsg-2.1ubuntu10_amd64.deb ... Unpacking imagemagick-6.q16 (8:6.9.10.23+dfsg-2.1ubuntu10) ... Selecting previously unselected package imagemagick. Preparing to unpack .../080-imagemagick_8%3a6.9.10.23+dfsg-2.1ubuntu10_amd64.deb ... Unpacking imagemagick (8:6.9.10.23+dfsg-2.1ubuntu10) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../081-libfindlib-ocaml_1.8.1-1build2_amd64.deb ... Unpacking libfindlib-ocaml (1.8.1-1build2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../082-libncurses-dev_6.1+20191019-1ubuntu1_amd64.deb ... Unpacking libncurses-dev:amd64 (6.1+20191019-1ubuntu1) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../083-libncurses5-dev_6.1+20191019-1ubuntu1_amd64.deb ... Unpacking libncurses5-dev:amd64 (6.1+20191019-1ubuntu1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../084-ocaml-interp_4.05.0-12ubuntu3_amd64.deb ... Unpacking ocaml-interp (4.05.0-12ubuntu3) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../085-ocaml-nox_4.05.0-12ubuntu3_amd64.deb ... Unpacking ocaml-nox (4.05.0-12ubuntu3) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../086-ocaml-compiler-libs_4.05.0-12ubuntu3_amd64.deb ... Unpacking ocaml-compiler-libs (4.05.0-12ubuntu3) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../087-ocaml-findlib_1.8.1-1build2_amd64.deb ... Unpacking ocaml-findlib (1.8.1-1build2) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../088-preview-latex-style_11.91-2ubuntu1_all.deb ... Unpacking preview-latex-style (11.91-2ubuntu1) ... Selecting previously unselected package texlive-fonts-recommended. Preparing to unpack .../089-texlive-fonts-recommended_2019.20191208-4_all.deb ... Unpacking texlive-fonts-recommended (2019.20191208-4) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../090-texlive-latex-base_2019.20191208-4_all.deb ... Unpacking texlive-latex-base (2019.20191208-4) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../091-texlive-latex-recommended_2019.20191208-4_all.deb ... Unpacking texlive-latex-recommended (2019.20191208-4) ... Selecting previously unselected package texlive. Preparing to unpack .../092-texlive_2019.20191208-4_all.deb ... Unpacking texlive (2019.20191208-4) ... Selecting previously unselected package texlive-humanities. Preparing to unpack .../093-texlive-humanities_2019.20191208-1_all.deb ... Unpacking texlive-humanities (2019.20191208-1) ... Selecting previously unselected package texlive-lang-french. Preparing to unpack .../094-texlive-lang-french_2019.20191208-1_all.deb ... Unpacking texlive-lang-french (2019.20191208-1) ... Selecting previously unselected package texlive-lang-greek. Preparing to unpack .../095-texlive-lang-greek_2019.20191208-1_all.deb ... Unpacking texlive-lang-greek (2019.20191208-1) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../096-texlive-pictures_2019.20191208-4_all.deb ... Unpacking texlive-pictures (2019.20191208-4) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../097-texlive-latex-extra_2019.20191208-1_all.deb ... Unpacking texlive-latex-extra (2019.20191208-1) ... Selecting previously unselected package texlive-science. Preparing to unpack .../098-texlive-science_2019.20191208-1_all.deb ... Unpacking texlive-science (2019.20191208-1) ... Selecting previously unselected package camlp5. Preparing to unpack .../099-camlp5_7.08-2_amd64.deb ... Unpacking camlp5 (7.08-2) ... Selecting previously unselected package sbuild-build-depends-coq-doc-dummy. Preparing to unpack .../100-sbuild-build-depends-coq-doc-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-coq-doc-dummy (0.invalid.0) ... Setting up libgs9-common (9.27~dfsg+0-0ubuntu4) ... Setting up libpipeline1:amd64 (1.5.1-3) ... Setting up libgraphite2-3:amd64 (1.3.13-11) ... Setting up liblcms2-2:amd64 (2.9-4) ... Setting up libpixman-1-0:amd64 (0.38.4-0ubuntu1) ... Setting up libxau6:amd64 (1:1.0.9-0ubuntu1) ... Setting up imagemagick-6-common (8:6.9.10.23+dfsg-2.1ubuntu10) ... Setting up libkeyutils1:amd64 (1.6-6ubuntu1) ... Setting up libncurses-dev:amd64 (6.1+20191019-1ubuntu1) ... Setting up mime-support (3.64ubuntu1) ... Setting up fonts-gfs-porson (1.1-6) ... Setting up hicolor-icon-theme (0.17-2) ... Setting up libmagic-mgc (1:5.37-6) ... Setting up gawk (1:5.0.1+dfsg-1) ... Setting up libtexlua53:amd64 (2019.20190605.51237-3) ... Setting up libarchive-zip-perl (1.67-1) ... Setting up libglib2.0-0:amd64 (2.63.3-1) ... No schema files found: doing nothing. Setting up libijs-0.35:amd64 (0.35-15) ... Setting up libtexluajit2:amd64 (2019.20190605.51237-3) ... Setting up libdebhelper-perl (12.7.1ubuntu1) ... Setting up x11-common (1:7.7+19ubuntu12) ... update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of start. Setting up libmagic1:amd64 (1:5.37-6) ... Setting up gettext-base (0.19.8.1-10) ... Setting up m4 (1.4.18-4) ... Setting up libzzip-0-13:amd64 (0.13.62-3.2) ... Setting up file (1:5.37-6) ... Setting up libnetpbm10 (2:10.0-15.3build1) ... Setting up libjbig0:amd64 (2.1-3.1build1) ... Setting up libicu63:amd64 (63.2-2) ... Setting up poppler-data (0.4.9-2) ... Setting up libkrb5support0:amd64 (1.17-6) ... Setting up libpython2.7-stdlib:amd64 (2.7.17-1) ... Setting up autotools-dev (20180224.1) ... Setting up libfreetype6:amd64 (2.10.1-2) ... Setting up libx11-data (2:1.6.8-1) ... Setting up libjbig2dec0:amd64 (0.17-1) ... Setting up libidn11:amd64 (1.33-2.2ubuntu2) ... Setting up libteckit0:amd64 (2.5.8+ds2-5ubuntu1) ... Setting up libavahi-common-data:amd64 (0.7-4ubuntu6) ... Setting up libdbus-1-3:amd64 (1.12.16-2ubuntu2) ... Setting up t1utils (1.41-3) ... Setting up autopoint (0.19.8.1-10) ... Setting up libwebp6:amd64 (0.6.1-2) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up ucf (3.0038+nmu1) ... Setting up libk5crypto3:amd64 (1.17-6) ... Setting up libjpeg-turbo8:amd64 (2.0.3-0ubuntu1) ... Setting up libltdl7:amd64 (2.4.6-11) ... Setting up libfftw3-double3:amd64 (3.3.8-2ubuntu1) ... Setting up libkpathsea6:amd64 (2019.20190605.51237-3) ... Setting up autoconf (2.69-11ubuntu1) ... Setting up liblqr-1-0:amd64 (0.4.2-2.1) ... Setting up fonts-gfs-baskerville (1.1-5) ... Setting up libuchardet0:amd64 (0.0.6-3) ... Setting up libncurses5-dev:amd64 (6.1+20191019-1ubuntu1) ... Setting up fonts-lmodern (2.004.5-6) ... Setting up libsub-override-perl (0.09-2) ... Setting up libharfbuzz0b:amd64 (2.6.4-1ubuntu1) ... Setting up libkrb5-3:amd64 (1.17-6) ... Setting up ocaml-base-nox (4.05.0-12ubuntu3) ... Setting up libmpdec2:amd64 (2.4.2-2) ... Setting up libwebpmux3:amd64 (0.6.1-2) ... Setting up libbsd0:amd64 (0.10.0-1) ... Setting up libelf1:amd64 (0.176-1.1) ... Setting up libxml2:amd64 (2.9.4+dfsg1-8ubuntu1) ... Setting up xdg-utils (1.1.3-1ubuntu2) ... Setting up libsynctex2:amd64 (2019.20190605.51237-3) ... Setting up libjpeg8:amd64 (8c-2ubuntu8) ... Setting up automake (1:1.16.1-4ubuntu3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.6.3-1) ... Setting up libpaper1:amd64 (1.1.28) ... Creating config file /etc/papersize with new version Setting up libice6:amd64 (2:1.0.10-0ubuntu1) ... Setting up libxdmcp6:amd64 (1:1.1.3-0ubuntu1) ... Setting up libpython3.7-stdlib:amd64 (3.7.5-2) ... Setting up libxcb1:amd64 (1.13.1-2) ... Setting up libharfbuzz-icu0:amd64 (2.6.4-1ubuntu1) ... Setting up python2.7 (2.7.17-1) ... Setting up libtool (2.4.6-11) ... Setting up libpython2-stdlib:amd64 (2.7.17-1) ... Setting up libxcb-render0:amd64 (1.13.1-2) ... Setting up fontconfig-config (2.13.1-2ubuntu2) ... Setting up libavahi-common3:amd64 (0.7-4ubuntu6) ... Setting up libfindlib-ocaml (1.8.1-1build2) ... Setting up libxcb-shm0:amd64 (1.13.1-2) ... Setting up libpaper-utils (1.1.28) ... Setting up python2 (2.7.17-1) ... Setting up tex-common (6.13) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libpython-stdlib:amd64 (2.7.17-1) ... Setting up libptexenc1:amd64 (2019.20190605.51237-3) ... Setting up bsdmainutils (11.1.2ubuntu2) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up ocaml-findlib (1.8.1-1build2) ... Setting up libgssapi-krb5-2:amd64 (1.17-6) ... Setting up libcroco3:amd64 (0.6.13-1) ... Setting up dh-strip-nondeterminism (1.6.3-1) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-4) ... Setting up libx11-6:amd64 (2:1.6.8-1) ... Setting up libtiff5:amd64 (4.1.0+git191117-1) ... Setting up libfontconfig1:amd64 (2.13.1-2ubuntu2) ... Setting up libsm6:amd64 (2:1.2.3-1) ... Setting up python (2.7.17-1) ... Setting up libavahi-client3:amd64 (0.7-4ubuntu6) ... Setting up libpython3-stdlib:amd64 (3.7.5-1ubuntu1) ... Setting up python3.7 (3.7.5-2) ... Setting up gettext (0.19.8.1-10) ... Setting up libxpm4:amd64 (1:3.5.12-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up preview-latex-style (11.91-2ubuntu1) ... Setting up libxext6:amd64 (2:1.3.4-0ubuntu1) ... Setting up python3 (3.7.5-1ubuntu1) ... Setting up man-db (2.9.0-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 libcairo2:amd64 (1.16.0-4ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libmagickcore-6.q16-6:amd64 (8:6.9.10.23+dfsg-2.1ubuntu10) ... Setting up netpbm (2:10.0-15.3build1) ... Setting up libxt6:amd64 (1:1.1.5-1) ... Setting up libcups2:amd64 (2.3.0-7) ... Setting up libmagickwand-6.q16-6:amd64 (8:6.9.10.23+dfsg-2.1ubuntu10) ... Setting up libxmu6:amd64 (2:1.1.3-0ubuntu1) ... Setting up libgs9:amd64 (9.27~dfsg+0-0ubuntu4) ... Setting up libxi6:amd64 (2:1.7.10-0ubuntu1) ... Setting up po-debconf (1.0.21) ... Setting up libxaw7:amd64 (2:1.0.13-1) ... Setting up ghostscript (9.27~dfsg+0-0ubuntu4) ... Setting up fig2dev (1:3.2.7a-7) ... Setting up imagemagick-6.q16 (8:6.9.10.23+dfsg-2.1ubuntu10) ... update-alternatives: using /usr/bin/compare-im6.q16 to provide /usr/bin/compare (compare) in auto mode update-alternatives: using /usr/bin/compare-im6.q16 to provide /usr/bin/compare-im6 (compare-im6) in auto mode update-alternatives: using /usr/bin/animate-im6.q16 to provide /usr/bin/animate (animate) in auto mode update-alternatives: using /usr/bin/animate-im6.q16 to provide /usr/bin/animate-im6 (animate-im6) in auto mode update-alternatives: using /usr/bin/convert-im6.q16 to provide /usr/bin/convert (convert) in auto mode update-alternatives: using /usr/bin/convert-im6.q16 to provide /usr/bin/convert-im6 (convert-im6) in auto mode update-alternatives: using /usr/bin/composite-im6.q16 to provide /usr/bin/composite (composite) in auto mode update-alternatives: using /usr/bin/composite-im6.q16 to provide /usr/bin/composite-im6 (composite-im6) in auto mode update-alternatives: using /usr/bin/conjure-im6.q16 to provide /usr/bin/conjure (conjure) in auto mode update-alternatives: using /usr/bin/conjure-im6.q16 to provide /usr/bin/conjure-im6 (conjure-im6) in auto mode update-alternatives: using /usr/bin/import-im6.q16 to provide /usr/bin/import (import) in auto mode update-alternatives: using /usr/bin/import-im6.q16 to provide /usr/bin/import-im6 (import-im6) in auto mode update-alternatives: using /usr/bin/identify-im6.q16 to provide /usr/bin/identify (identify) in auto mode update-alternatives: using /usr/bin/identify-im6.q16 to provide /usr/bin/identify-im6 (identify-im6) in auto mode update-alternatives: using /usr/bin/stream-im6.q16 to provide /usr/bin/stream (stream) in auto mode update-alternatives: using /usr/bin/stream-im6.q16 to provide /usr/bin/stream-im6 (stream-im6) in auto mode update-alternatives: using /usr/bin/display-im6.q16 to provide /usr/bin/display (display) in auto mode update-alternatives: using /usr/bin/display-im6.q16 to provide /usr/bin/display-im6 (display-im6) in auto mode update-alternatives: using /usr/bin/montage-im6.q16 to provide /usr/bin/montage (montage) in auto mode update-alternatives: using /usr/bin/montage-im6.q16 to provide /usr/bin/montage-im6 (montage-im6) in auto mode update-alternatives: using /usr/bin/mogrify-im6.q16 to provide /usr/bin/mogrify (mogrify) in auto mode update-alternatives: using /usr/bin/mogrify-im6.q16 to provide /usr/bin/mogrify-im6 (mogrify-im6) in auto mode Setting up texlive-binaries (2019.20190605.51237-3) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up texlive-base (2019.20191208-4) ... tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/config/pdftexconfig.tex Setting up texlive-lang-greek (2019.20191208-1) ... Setting up texlive-lang-french (2019.20191208-1) ... Setting up texlive-latex-base (2019.20191208-4) ... Setting up texlive-latex-recommended (2019.20191208-4) ... Setting up hevea (2.32-3) ... Setting up texlive-pictures (2019.20191208-4) ... Setting up imagemagick (8:6.9.10.23+dfsg-2.1ubuntu10) ... Setting up texlive-fonts-recommended (2019.20191208-4) ... Setting up texlive (2019.20191208-4) ... Setting up texlive-science (2019.20191208-1) ... Setting up texlive-latex-extra (2019.20191208-1) ... Setting up texlive-humanities (2019.20191208-1) ... Setting up ocaml-compiler-libs (4.05.0-12ubuntu3) ... Setting up dh-autoreconf (19) ... Setting up ocaml-interp (4.05.0-12ubuntu3) ... Setting up ocaml-nox (4.05.0-12ubuntu3) ... Setting up debhelper (12.7.1ubuntu1) ... Setting up camlp5 (7.08-2) ... Setting up sbuild-build-depends-coq-doc-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.30-0ubuntu3) ... Processing triggers for systemd (244-3ubuntu1) ... Processing triggers for tex-common (6.13) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.4.0-170-generic amd64 (x86_64) Toolchain package versions: binutils_2.33.1-6ubuntu3 dpkg-dev_1.19.7ubuntu2 g++-9_9.2.1-21ubuntu1 gcc-9_9.2.1-21ubuntu1 libc6-dev_2.30-0ubuntu3 libstdc++-9-dev_9.2.1-21ubuntu1 libstdc++6_9.2.1-21ubuntu1 linux-libc-dev_5.3.0-24.26 Package versions: adduser_3.118ubuntu1 advancecomp_2.1-2.1 apt_1.9.5 autoconf_2.69-11ubuntu1 automake_1:1.16.1-4ubuntu3 autopoint_0.19.8.1-10 autotools-dev_20180224.1 base-files_11ubuntu2 base-passwd_3.5.47 bash_5.0-5ubuntu1 binutils_2.33.1-6ubuntu3 binutils-common_2.33.1-6ubuntu3 binutils-x86-64-linux-gnu_2.33.1-6ubuntu3 bsdmainutils_11.1.2ubuntu2 bsdutils_1:2.34-0.1ubuntu4 build-essential_12.8ubuntu1 bzip2_1.0.8-2 ca-certificates_20190110 camlp5_7.08-2 coreutils_8.30-3ubuntu2 cpp_4:9.2.1-3.1ubuntu1 cpp-9_9.2.1-21ubuntu1 dash_0.5.10.2-6 debconf_1.5.73 debhelper_12.7.1ubuntu1 debianutils_4.9.1 dh-autoreconf_19 dh-strip-nondeterminism_1.6.3-1 diffutils_1:3.7-3 dpkg_1.19.7ubuntu2 dpkg-dev_1.19.7ubuntu2 dwz_0.13-5 e2fsprogs_1.45.3-4ubuntu2 fakeroot_1.24-1 fdisk_2.34-0.1ubuntu4 fig2dev_1:3.2.7a-7 file_1:5.37-6 findutils_4.6.0+git+20190209-2ubuntu1 fontconfig-config_2.13.1-2ubuntu2 fonts-dejavu-core_2.37-1 fonts-gfs-baskerville_1.1-5 fonts-gfs-porson_1.1-6 fonts-lmodern_2.004.5-6 g++_4:9.2.1-3.1ubuntu1 g++-9_9.2.1-21ubuntu1 gawk_1:5.0.1+dfsg-1 gcc_4:9.2.1-3.1ubuntu1 gcc-9_9.2.1-21ubuntu1 gcc-9-base_9.2.1-21ubuntu1 gettext_0.19.8.1-10 gettext-base_0.19.8.1-10 ghostscript_9.27~dfsg+0-0ubuntu4 gpg_2.2.17-3ubuntu1 gpg-agent_2.2.17-3ubuntu1 gpgconf_2.2.17-3ubuntu1 gpgv_2.2.17-3ubuntu1 grep_3.3-1build1 groff-base_1.22.4-4 gzip_1.10-0ubuntu4 hevea_2.32-3 hicolor-icon-theme_0.17-2 hostname_3.23 imagemagick_8:6.9.10.23+dfsg-2.1ubuntu10 imagemagick-6-common_8:6.9.10.23+dfsg-2.1ubuntu10 imagemagick-6.q16_8:6.9.10.23+dfsg-2.1ubuntu10 init_1.57 init-system-helpers_1.57 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-5ubuntu1 libapparmor1_2.13.3-7ubuntu1 libapt-pkg5.90_1.9.5 libarchive-zip-perl_1.67-1 libargon2-1_0~20171227-0.2 libasan5_9.2.1-21ubuntu1 libassuan0_2.5.3-7ubuntu1 libatomic1_9.2.1-21ubuntu1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-2ubuntu5 libaudit1_1:2.8.5-2ubuntu5 libavahi-client3_0.7-4ubuntu6 libavahi-common-data_0.7-4ubuntu6 libavahi-common3_0.7-4ubuntu6 libbinutils_2.33.1-6ubuntu3 libblkid1_2.34-0.1ubuntu4 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-2 libc-bin_2.30-0ubuntu3 libc-dev-bin_2.30-0ubuntu3 libc6_2.30-0ubuntu3 libc6-dev_2.30-0ubuntu3 libcairo2_1.16.0-4ubuntu1 libcap-ng0_0.7.9-2.1 libcap2_1:2.27-1 libcc1-0_9.2.1-21ubuntu1 libcom-err2_1.45.3-4ubuntu2 libcroco3_0.6.13-1 libcryptsetup12_2:2.2.2-1ubuntu1 libcups2_2.3.0-7 libdb5.3_5.3.28+dfsg1-0.6ubuntu1 libdbus-1-3_1.12.16-2ubuntu2 libdebconfclient0_0.250ubuntu2 libdebhelper-perl_12.7.1ubuntu1 libdevmapper1.02.1_2:1.02.155-2ubuntu7 libdpkg-perl_1.19.7ubuntu2 libelf1_0.176-1.1 libexpat1_2.2.9-1 libext2fs2_1.45.3-4ubuntu2 libfakeroot_1.24-1 libfdisk1_2.34-0.1ubuntu4 libffi6_3.2.1-9 libfftw3-double3_3.3.8-2ubuntu1 libfile-stripnondeterminism-perl_1.6.3-1 libfindlib-ocaml_1.8.1-1build2 libfontconfig1_2.13.1-2ubuntu2 libfreetype6_2.10.1-2 libgcc-9-dev_9.2.1-21ubuntu1 libgcc1_1:9.2.1-21ubuntu1 libgcrypt20_1.8.5-3ubuntu1 libgdbm-compat4_1.18.1-5 libgdbm6_1.18.1-5 libglib2.0-0_2.63.3-1 libgmp10_2:6.1.2+dfsg-4 libgnutls30_3.6.11.1-2 libgomp1_9.2.1-21ubuntu1 libgpg-error0_1.36-7 libgraphite2-3_1.3.13-11 libgs9_9.27~dfsg+0-0ubuntu4 libgs9-common_9.27~dfsg+0-0ubuntu4 libgssapi-krb5-2_1.17-6 libharfbuzz-icu0_2.6.4-1ubuntu1 libharfbuzz0b_2.6.4-1ubuntu1 libhogweed4_3.4.1-1 libhogweed5_3.5.1+really3.5.1-2 libice6_2:1.0.10-0ubuntu1 libicu63_63.2-2 libidn11_1.33-2.2ubuntu2 libidn2-0_2.2.0-2 libijs-0.35_0.35-15 libip4tc2_1.8.3-2ubuntu5 libisl21_0.21-2 libisl22_0.22-2 libitm1_9.2.1-21ubuntu1 libjbig0_2.1-3.1build1 libjbig2dec0_0.17-1 libjpeg-turbo8_2.0.3-0ubuntu1 libjpeg8_8c-2ubuntu8 libjson-c4_0.13.1+dfsg-6 libk5crypto3_1.17-6 libkeyutils1_1.6-6ubuntu1 libkmod2_26-3ubuntu1 libkpathsea6_2019.20190605.51237-3 libkrb5-3_1.17-6 libkrb5support0_1.17-6 liblcms2-2_2.9-4 liblockfile-bin_1.16-1.1 liblockfile1_1.16-1.1 liblqr-1-0_0.4.2-2.1 liblsan0_9.2.1-21ubuntu1 libltdl7_2.4.6-11 liblz4-1_1.9.2-2 liblzma5_5.2.4-1 libmagic-mgc_1:5.37-6 libmagic1_1:5.37-6 libmagickcore-6.q16-6_8:6.9.10.23+dfsg-2.1ubuntu10 libmagickwand-6.q16-6_8:6.9.10.23+dfsg-2.1ubuntu10 libmount1_2.34-0.1ubuntu4 libmpc3_1.1.0-1 libmpdec2_2.4.2-2 libmpfr6_4.0.2-1 libncurses-dev_6.1+20191019-1ubuntu1 libncurses5-dev_6.1+20191019-1ubuntu1 libncurses6_6.1+20191019-1ubuntu1 libncursesw6_6.1+20191019-1ubuntu1 libnetpbm10_2:10.0-15.3build1 libnettle6_3.4.1-1 libnettle7_3.5.1+really3.5.1-2 libnpth0_1.6-1 libp11-kit0_0.23.18.1-2 libpam-modules_1.3.1-5ubuntu4 libpam-modules-bin_1.3.1-5ubuntu4 libpam-runtime_1.3.1-5ubuntu4 libpam0g_1.3.1-5ubuntu4 libpaper-utils_1.1.28 libpaper1_1.1.28 libpcre2-8-0_10.34-7 libpcre3_2:8.39-12 libperl5.28_5.28.1-6build1 libperl5.30_5.30.0-9 libpipeline1_1.5.1-3 libpixman-1-0_0.38.4-0ubuntu1 libpng16-16_1.6.37-1 libprocps7_2:3.3.15-2ubuntu3 libptexenc1_2019.20190605.51237-3 libpython-stdlib_2.7.17-1 libpython2-stdlib_2.7.17-1 libpython2.7-minimal_2.7.17-1 libpython2.7-stdlib_2.7.17-1 libpython3-stdlib_3.7.5-1ubuntu1 libpython3.7-minimal_3.7.5-2 libpython3.7-stdlib_3.7.5-2 libquadmath0_9.2.1-21ubuntu1 libreadline8_8.0-3 libseccomp2_2.4.2-2ubuntu1 libselinux1_3.0-1 libsemanage-common_3.0-1 libsemanage1_3.0-1 libsepol1_3.0-1 libsigsegv2_2.12-2 libsm6_2:1.2.3-1 libsmartcols1_2.34-0.1ubuntu4 libsqlite3-0_3.30.1-1ubuntu1 libss2_1.45.3-4ubuntu2 libssl1.1_1.1.1c-1ubuntu4 libstdc++-9-dev_9.2.1-21ubuntu1 libstdc++6_9.2.1-21ubuntu1 libsub-override-perl_0.09-2 libsynctex2_2019.20190605.51237-3 libsystemd0_244-3ubuntu1 libtasn1-6_4.15.0-2 libteckit0_2.5.8+ds2-5ubuntu1 libtexlua53_2019.20190605.51237-3 libtexluajit2_2019.20190605.51237-3 libtiff5_4.1.0+git191117-1 libtinfo6_6.1+20191019-1ubuntu1 libtool_2.4.6-11 libtsan0_9.2.1-21ubuntu1 libubsan1_9.2.1-21ubuntu1 libuchardet0_0.0.6-3 libudev1_244-3ubuntu1 libunistring2_0.9.10-2 libuuid1_2.34-0.1ubuntu4 libwebp6_0.6.1-2 libwebpmux3_0.6.1-2 libx11-6_2:1.6.8-1 libx11-data_2:1.6.8-1 libxau6_1:1.0.9-0ubuntu1 libxaw7_2:1.0.13-1 libxcb-render0_1.13.1-2 libxcb-shm0_1.13.1-2 libxcb1_1.13.1-2 libxdmcp6_1:1.1.3-0ubuntu1 libxext6_2:1.3.4-0ubuntu1 libxi6_2:1.7.10-0ubuntu1 libxml2_2.9.4+dfsg1-8ubuntu1 libxmu6_2:1.1.3-0ubuntu1 libxpm4_1:3.5.12-1 libxrender1_1:0.9.10-1 libxt6_1:1.1.5-1 libzstd1_1.4.4+dfsg-1 libzzip-0-13_0.13.62-3.2 linux-libc-dev_5.3.0-24.26 lockfile-progs_0.1.18 login_1:4.5-1.1ubuntu4 logsave_1.45.3-4ubuntu2 lsb-base_11.1.0ubuntu2 m4_1.4.18-4 make_4.2.1-1.2 man-db_2.9.0-2 mawk_1.3.3-17ubuntu3 mime-support_3.64ubuntu1 mount_2.34-0.1ubuntu4 ncurses-base_6.1+20191019-1ubuntu1 ncurses-bin_6.1+20191019-1ubuntu1 netpbm_2:10.0-15.3build1 ocaml-base-nox_4.05.0-12ubuntu3 ocaml-compiler-libs_4.05.0-12ubuntu3 ocaml-findlib_1.8.1-1build2 ocaml-interp_4.05.0-12ubuntu3 ocaml-nox_4.05.0-12ubuntu3 openssl_1.1.1c-1ubuntu4 optipng_0.7.7-1 passwd_1:4.5-1.1ubuntu4 patch_2.7.6-6 perl_5.30.0-9 perl-base_5.30.0-9 perl-modules-5.28_5.28.1-6build1 perl-modules-5.30_5.30.0-9 pinentry-curses_1.1.0-3 pkgbinarymangler_144 po-debconf_1.0.21 policyrcd-script-zg2_0.1-3 poppler-data_0.4.9-2 preview-latex-style_11.91-2ubuntu1 procps_2:3.3.15-2ubuntu3 python_2.7.17-1 python-minimal_2.7.17-1 python2_2.7.17-1 python2-minimal_2.7.17-1 python2.7_2.7.17-1 python2.7-minimal_2.7.17-1 python3_3.7.5-1ubuntu1 python3-minimal_3.7.5-1ubuntu1 python3.7_3.7.5-2 python3.7-minimal_3.7.5-2 readline-common_8.0-3 sbuild-build-depends-coq-doc-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 systemd_244-3ubuntu1 systemd-sysv_244-3ubuntu1 sysvinit-utils_2.96-1ubuntu1 t1utils_1.41-3 tar_1.30+dfsg-6 tex-common_6.13 texlive_2019.20191208-4 texlive-base_2019.20191208-4 texlive-binaries_2019.20190605.51237-3 texlive-fonts-recommended_2019.20191208-4 texlive-humanities_2019.20191208-1 texlive-lang-french_2019.20191208-1 texlive-lang-greek_2019.20191208-1 texlive-latex-base_2019.20191208-4 texlive-latex-extra_2019.20191208-1 texlive-latex-recommended_2019.20191208-4 texlive-pictures_2019.20191208-4 texlive-science_2019.20191208-1 tzdata_2019c-3 ubuntu-keyring_2018.09.18.1 ucf_3.0038+nmu1 util-linux_2.34-0.1ubuntu4 x11-common_1:7.7+19ubuntu12 xdg-utils_1.1.3-1ubuntu2 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-1ubuntu3 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: Signature made Thu Jul 13 10:32:51 2017 UTC gpgv: using RSA key 58EB0999C64E897EE894B8037853DA4D49881AD3 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./coq-doc_8.6-1.dsc dpkg-source: info: extracting coq-doc in coq-doc-8.6 dpkg-source: info: unpacking coq-doc_8.6.orig.tar.gz dpkg-source: info: unpacking coq-doc_8.6-1.debian.tar.xz Check disc space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=noautodbgsym 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-18287506 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-18287506 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-18287506 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- dpkg-buildpackage: info: source package coq-doc dpkg-buildpackage: info: source version 8.6-1 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh clean dh_auto_clean make -j1 distclean make[1]: Entering directory '/<>' rm -f rm -f ide/input_method_lexer.ml rm -f ide/highlight.ml ide/config_lexer.ml ide/config_parser.mli ide/config_parser.ml rm -f ide/utf8_convert.ml rm -rf rm -f bin/coqtop bin/coqmktop rm -f bin/coqdep bin/coq_makefile bin/gallina bin/coq-tex bin/coqwc bin/coqdoc bin/coqc bin/coqworkmgr bin/fake_ide bin/ocamllibdep bin/coqdep_boot plugins/micromega/csdpcert find . -name '*.cmx' -o -name '*.cmxs' -o -name '*.cmxa' -o -name '*.[soa]' -o -name '*.so' | xargs rm -f find theories plugins test-suite \( -name '*.vo' -o -name '*.glob' -o -name "*.cmxs" -o -name "*.native" -o -name "*.cmx" -o -name "*.cmi" -o -name "*.o" \) -delete find theories plugins test-suite -name .coq-native -empty -delete rm -rf _build rm -f test-suite/misc/universes/all_stdlib.* rm -f ide/config_lexer.ml ide/utf8_convert.ml ide/xml_lexer.ml ide/coq_lex.ml tools/coqdoc/cpretty.ml tools/coqdep_lexer.ml tools/coqwc.ml tools/gallina_lexer.ml tools/ocamllibdep.ml tools/tolink.ml kernel/copcodes.ml kernel/byterun/coq_jumptbl.h theories/Numbers/Natural/BigN/NMake_gen.v rm -f bin/coqtop.byte find . \( -name '*~' -o -name '*.cm[ioat]' -o -name '*.cmti' \) -delete rm -f */*.pp[iox] plugins/*/*.pp[iox] rm -rf rm -f toplevel/mltop.byteml toplevel/mltop.optml rm -f test-suite/check.log rm -f glob.dump rm -f config/revision.ml revision make -C test-suite clean make[2]: Entering directory '/<>/test-suite' rm -f trace .lia.cache RM <**/*.stamp> <**/*.vo> <**/*.vio> <**/*.log> make[2]: Leaving directory '/<>/test-suite' rm -f plugins/firstorder/g_ground.ml plugins/derive/g_derive.ml plugins/funind/g_indfun.ml plugins/rtauto/g_rtauto.ml plugins/ssrmatching/ssrmatching.ml plugins/micromega/g_micromega.ml plugins/btauto/g_btauto.ml plugins/cc/g_congruence.ml plugins/setoid_ring/g_newring.ml plugins/romega/g_romega.ml plugins/omega/g_omega.ml plugins/nsatz/g_nsatz.ml plugins/extraction/g_extraction.ml plugins/quote/g_quote.ml plugins/fourier/g_fourier.ml plugins/decl_mode/g_decl_mode.ml ide/coqide_main.ml ide/project_file.ml parsing/compat.ml parsing/cLexer.ml parsing/g_tactic.ml parsing/g_constr.ml parsing/g_prim.ml parsing/g_proofs.ml parsing/g_vernac.ml ltac/g_ltac.ml ltac/extraargs.ml ltac/profile_ltac_tactics.ml ltac/coretactics.ml ltac/extratactics.ml ltac/g_class.ml ltac/g_obligations.ml ltac/g_rewrite.ml ltac/g_auto.ml ltac/g_eqdecide.ml find . -name '*~' -o -name '*.annot' | xargs rm -f rm -f gmon.out core find . '(' -name '{arch}' -o -name '.svn' -o -name '_darcs' -o -name '.git' -o -name '.bzr' -o -name 'debian' -o -name "${GIT_DIR}" -o -name '_build' ')' -prune -o '(' -name '*.d' ')' -print | xargs rm -f rm -f doc/*/*.dvi doc/*/*.aux doc/*/*.log doc/*/*.bbl doc/*/*.blg doc/*/*.toc \ doc/*/*.idx doc/*/*~ doc/*/*.ilg doc/*/*.ind doc/*/*.dvi.gz doc/*/*.ps.gz doc/*/*.pdf.gz\ doc/*/*.???idx doc/*/*.???ind doc/*/*.v.tex doc/*/*.atoc doc/*/*.lof\ doc/*/*.hatoc doc/*/*.haux doc/*/*.hcomind doc/*/*.herrind doc/*/*.hidx doc/*/*.hind \ doc/*/*.htacind doc/*/*.htoc doc/*/*.v.html rm -f doc/stdlib/index-list.html doc/stdlib/index-body.html \ doc/stdlib/*Library.coqdoc.tex doc/stdlib/library.files \ doc/stdlib/library.files.ls doc/stdlib/FullLibrary.tex rm -f doc/*/*.ps doc/*/*.pdf doc/*/*.eps doc/*/*.pdf_t doc/*/*.eps_t rm -f doc/faq/axioms.png rm -rf doc/refman/html doc/stdlib/html doc/faq/html doc/tutorial/tutorial.v.html rm -f doc/refman/euclid.ml doc/refman/euclid.mli rm -f doc/refman/heapsort.ml doc/refman/heapsort.mli rm -f doc/common/version.tex rm -f doc/refman/styles.hva doc/refman/cover.html doc/refman/Reference-Manual.html rm -f doc/coq.tex find . -name '*.dep.ps' -o -name '*.dot' | xargs rm -f rm -f /*.log /*.aux /*.toc rm -f /ocamldoc.sty /coq.tex rm -f /html/*.html rm -f config/Makefile config/coq_config.ml myocamlbuild_config.ml dev/ocamldebug-v7 config/Info-*.plist find theories plugins test-suite -name '.*.aux' -delete make[1]: Leaving directory '/<>' dh_clean debian/rules build dh build dh_update_autotools_config debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' ./configure -local File "./configure.ml", line 945, characters 45-62: Warning 3: deprecated: String.capitalize Use String.capitalize_ascii instead. File "./configure.ml", line 946, characters 45-62: Warning 3: deprecated: String.capitalize Use String.capitalize_ascii instead. File "./configure.ml", line 947, characters 45-62: Warning 3: deprecated: String.capitalize Use String.capitalize_ascii instead. You have OCaml 4.05.0. Good! You have Camlp5 7.08. Good! You have native-code compilation. Good! No such directory '/usr/lib/ocaml/lablgtk2' (in OCaml library). LablGtk2 not found: => no CoqIde will be built. Architecture : Linux Coq VM bytecode link flags : -dllib -lcoqrun -dllpath /<>/kernel/byterun Other bytecode link flags : OS dependent libraries : -cclib -lunix OCaml version : 4.05.0 OCaml binaries in : /usr/bin/ OCaml library in : /usr/lib/ocaml Camlp5 version : 7.08 Camlp5 binaries in : /usr/bin Camlp5 library in : +camlp5 Native dynamic link support : true CoqIde : no Documentation : None Web browser : firefox -remote "OpenURL(%s,new-tab)" || firefox %s & Coq web site : http://coq.inria.fr/ Local build, no installation... If anything is wrong above, please restart './configure'. *Warning* To compile the system for a new architecture don't forget to do a 'make clean' before './configure'. make[1]: Leaving directory '/<>' debian/rules override_dh_auto_build make[1]: Entering directory '/<>' /usr/bin/make refman faq tutorial rectutorial make[2]: Entering directory '/<>' /usr/bin/make --warn-undefined-variable --no-builtin-rules -f Makefile.build refman faq tutorial rectutorial make[3]: Entering directory '/<>' OCAMLC lib/minisys.ml OCAMLOPT lib/minisys.ml OCAMLC tools/coqdep_lexer.mli OCAMLLEX tools/coqdep_lexer.mll 404 states, 7873 transitions, table size 33916 bytes 3467 additional bytes used for bindings OCAMLOPT tools/coqdep_lexer.ml File "tools/coqdep_lexer.mll", line 157, characters 22-41: Warning 3: deprecated: String.uncapitalize Use String.uncapitalize_ascii instead. File "tools/coqdep_lexer.mll", line 324, characters 20-39: Warning 3: deprecated: String.uncapitalize Use String.uncapitalize_ascii instead. File "tools/coqdep_lexer.mll", line 329, characters 28-47: Warning 3: deprecated: String.uncapitalize Use String.uncapitalize_ascii instead. OCAMLC tools/coqdep_common.mli OCAMLOPT tools/coqdep_common.ml File "tools/coqdep_common.ml", line 551, characters 58-75: Warning 3: deprecated: String.capitalize Use String.capitalize_ascii instead. OCAMLC tools/coqdep_boot.ml OCAMLOPT tools/coqdep_boot.ml OCAMLBEST -o bin/coqdep_boot "/usr/bin//ocaml" theories/Numbers/Natural/BigN/NMake_gen.ml > "theories/Numbers/Natural/BigN/NMake_gen.v" || (RV=$?; rm -f "theories/Numbers/Natural/BigN/NMake_gen.v"; exit ${RV}) COQDEP plugins/funind/Recdef.v COQDEP plugins/fourier/Fourier.v COQDEP plugins/fourier/Fourier_util.v COQDEP plugins/micromega/Lra.v COQDEP plugins/micromega/Lqa.v COQDEP plugins/micromega/Lia.v COQDEP plugins/micromega/ZMicromega.v COQDEP plugins/micromega/ZCoeff.v COQDEP plugins/micromega/VarMap.v COQDEP plugins/micromega/Tauto.v COQDEP plugins/micromega/RMicromega.v COQDEP plugins/micromega/RingMicromega.v COQDEP plugins/micromega/Refl.v COQDEP plugins/micromega/QMicromega.v COQDEP plugins/micromega/Psatz.v COQDEP plugins/micromega/OrderedRing.v COQDEP plugins/micromega/Env.v COQDEP plugins/micromega/EnvRing.v COQDEP plugins/setoid_ring/Integral_domain.v COQDEP plugins/setoid_ring/Rings_Q.v COQDEP plugins/setoid_ring/Rings_R.v COQDEP plugins/setoid_ring/Rings_Z.v COQDEP plugins/setoid_ring/Ncring_tac.v COQDEP plugins/setoid_ring/Ncring_initial.v COQDEP plugins/setoid_ring/Ncring_polynom.v COQDEP plugins/setoid_ring/Ncring.v COQDEP plugins/setoid_ring/Cring.v COQDEP plugins/setoid_ring/Algebra_syntax.v COQDEP plugins/setoid_ring/ZArithRing.v COQDEP plugins/setoid_ring/Ring.v COQDEP plugins/setoid_ring/Ring_theory.v COQDEP plugins/setoid_ring/Ring_tac.v COQDEP plugins/setoid_ring/Ring_polynom.v COQDEP plugins/setoid_ring/Ring_base.v COQDEP plugins/setoid_ring/RealField.v COQDEP plugins/setoid_ring/NArithRing.v COQDEP plugins/setoid_ring/InitialRing.v COQDEP plugins/setoid_ring/Field.v COQDEP plugins/setoid_ring/Field_theory.v COQDEP plugins/setoid_ring/Field_tac.v COQDEP plugins/setoid_ring/BinList.v COQDEP plugins/setoid_ring/ArithRing.v COQDEP plugins/btauto/Btauto.v COQDEP plugins/btauto/Reflect.v COQDEP plugins/btauto/Algebra.v COQDEP plugins/romega/ROmega.v COQDEP plugins/romega/ReflOmegaCore.v COQDEP plugins/ssrmatching/ssrmatching.v COQDEP plugins/extraction/ExtrOcamlString.v COQDEP plugins/extraction/ExtrOcamlZBigInt.v COQDEP plugins/extraction/ExtrOcamlZInt.v COQDEP plugins/extraction/ExtrOcamlNatBigInt.v COQDEP plugins/extraction/ExtrOcamlNatInt.v COQDEP plugins/extraction/ExtrOcamlBigIntConv.v COQDEP plugins/extraction/ExtrOcamlIntConv.v COQDEP plugins/extraction/ExtrOcamlBasic.v COQDEP plugins/extraction/ExtrHaskellString.v COQDEP plugins/extraction/ExtrHaskellZInteger.v COQDEP plugins/extraction/ExtrHaskellZInt.v COQDEP plugins/extraction/ExtrHaskellZNum.v COQDEP plugins/extraction/ExtrHaskellNatInteger.v COQDEP plugins/extraction/ExtrHaskellNatInt.v COQDEP plugins/extraction/ExtrHaskellNatNum.v COQDEP plugins/extraction/ExtrHaskellBasic.v COQDEP plugins/nsatz/Nsatz.v COQDEP plugins/rtauto/Rtauto.v COQDEP plugins/rtauto/Bintree.v COQDEP plugins/quote/Quote.v COQDEP plugins/derive/Derive.v COQDEP plugins/omega/PreOmega.v COQDEP plugins/omega/Omega.v COQDEP plugins/omega/OmegaTactic.v COQDEP plugins/omega/OmegaPlugin.v COQDEP plugins/omega/OmegaLemmas.v COQDEP theories/Init/Tauto.v COQDEP theories/Init/Nat.v COQDEP theories/Init/Wf.v COQDEP theories/Init/Tactics.v COQDEP theories/Init/Specif.v COQDEP theories/Init/Prelude.v COQDEP theories/Init/Peano.v COQDEP theories/Init/Notations.v *** Warning: in file theories/Init/Notations.v, declared ML module coretactics has not been found! *** Warning: in file theories/Init/Notations.v, declared ML module extratactics has not been found! *** Warning: in file theories/Init/Notations.v, declared ML module g_auto has not been found! *** Warning: in file theories/Init/Notations.v, declared ML module g_class has not been found! *** Warning: in file theories/Init/Notations.v, declared ML module g_eqdecide has not been found! *** Warning: in file theories/Init/Notations.v, declared ML module g_rewrite has not been found! *** Warning: in file theories/Init/Notations.v, declared ML module coretactics has not been found! *** Warning: in file theories/Init/Notations.v, declared ML module extratactics has not been found! *** Warning: in file theories/Init/Notations.v, declared ML module g_auto has not been found! *** Warning: in file theories/Init/Notations.v, declared ML module g_class has not been found! *** Warning: in file theories/Init/Notations.v, declared ML module g_eqdecide has not been found! *** Warning: in file theories/Init/Notations.v, declared ML module g_rewrite has not been found! COQDEP theories/Init/Logic.v COQDEP theories/Init/Logic_Type.v COQDEP theories/Init/Datatypes.v COQDEP theories/Sets/Uniset.v COQDEP theories/Sets/Relations_3.v COQDEP theories/Sets/Relations_3_facts.v COQDEP theories/Sets/Relations_2.v COQDEP theories/Sets/Relations_2_facts.v COQDEP theories/Sets/Relations_1.v COQDEP theories/Sets/Relations_1_facts.v COQDEP theories/Sets/Powerset.v COQDEP theories/Sets/Powerset_facts.v COQDEP theories/Sets/Powerset_Classical_facts.v COQDEP theories/Sets/Permut.v COQDEP theories/Sets/Partial_Order.v COQDEP theories/Sets/Multiset.v COQDEP theories/Sets/Integers.v COQDEP theories/Sets/Infinite_sets.v COQDEP theories/Sets/Image.v COQDEP theories/Sets/Finite_sets.v COQDEP theories/Sets/Finite_sets_facts.v COQDEP theories/Sets/Ensembles.v COQDEP theories/Sets/Cpo.v COQDEP theories/Sets/Constructive_sets.v COQDEP theories/Sets/Classical_sets.v COQDEP theories/Relations/Relations.v COQDEP theories/Relations/Relation_Operators.v COQDEP theories/Relations/Relation_Definitions.v COQDEP theories/Relations/Operators_Properties.v COQDEP theories/NArith/Ngcd_def.v COQDEP theories/NArith/Nsqrt_def.v COQDEP theories/NArith/Ndiv_def.v COQDEP theories/NArith/Nnat.v COQDEP theories/NArith/Ndist.v COQDEP theories/NArith/Ndigits.v COQDEP theories/NArith/Ndec.v COQDEP theories/NArith/NArith.v COQDEP theories/NArith/BinNat.v COQDEP theories/NArith/BinNatDef.v COQDEP theories/PArith/PArith.v COQDEP theories/PArith/POrderedType.v COQDEP theories/PArith/Pnat.v COQDEP theories/PArith/BinPos.v COQDEP theories/PArith/BinPosDef.v COQDEP theories/Unicode/Utf8_core.v COQDEP theories/Unicode/Utf8.v COQDEP theories/QArith/Qminmax.v COQDEP theories/QArith/QOrderedType.v COQDEP theories/QArith/Qround.v COQDEP theories/QArith/Qring.v COQDEP theories/QArith/Qreduction.v COQDEP theories/QArith/Qreals.v COQDEP theories/QArith/Qpower.v COQDEP theories/QArith/Qfield.v COQDEP theories/QArith/Qcabs.v COQDEP theories/QArith/Qcanon.v COQDEP theories/QArith/QArith.v COQDEP theories/QArith/QArith_base.v COQDEP theories/QArith/Qabs.v COQDEP theories/Logic/FinFun.v COQDEP theories/Logic/SetIsType.v COQDEP theories/Logic/RelationalChoice.v COQDEP theories/Logic/ProofIrrelevance.v COQDEP theories/Logic/ProofIrrelevanceFacts.v COQDEP theories/Logic/JMeq.v COQDEP theories/Logic/IndefiniteDescription.v COQDEP theories/Logic/Hurkens.v COQDEP theories/Logic/ExtensionalityFacts.v COQDEP theories/Logic/FunctionalExtensionality.v COQDEP theories/Logic/WKL.v COQDEP theories/Logic/WeakFan.v COQDEP theories/Logic/Eqdep.v COQDEP theories/Logic/EqdepFacts.v COQDEP theories/Logic/Eqdep_dec.v COQDEP theories/Logic/Epsilon.v COQDEP theories/Logic/Diaconescu.v COQDEP theories/Logic/Description.v COQDEP theories/Logic/Decidable.v COQDEP theories/Logic/ConstructiveEpsilon.v COQDEP theories/Logic/Classical.v COQDEP theories/Logic/ClassicalUniqueChoice.v COQDEP theories/Logic/Classical_Prop.v COQDEP theories/Logic/Classical_Pred_Type.v COQDEP theories/Logic/ClassicalFacts.v COQDEP theories/Logic/ClassicalEpsilon.v COQDEP theories/Logic/ClassicalDescription.v COQDEP theories/Logic/ClassicalChoice.v COQDEP theories/Logic/ChoiceFacts.v COQDEP theories/Logic/Berardi.v COQDEP theories/MSets/MSetPositive.v COQDEP theories/MSets/MSetWeakList.v COQDEP theories/MSets/MSetToFiniteSet.v COQDEP theories/MSets/MSets.v COQDEP theories/MSets/MSetProperties.v COQDEP theories/MSets/MSetList.v COQDEP theories/MSets/MSetInterface.v COQDEP theories/MSets/MSetFacts.v COQDEP theories/MSets/MSetEqProperties.v COQDEP theories/MSets/MSetDecide.v COQDEP theories/MSets/MSetRBT.v COQDEP theories/MSets/MSetAVL.v COQDEP theories/MSets/MSetGenTree.v COQDEP theories/Program/Wf.v COQDEP theories/Program/Utils.v COQDEP theories/Program/Tactics.v COQDEP theories/Program/Syntax.v COQDEP theories/Program/Subset.v COQDEP theories/Program/Program.v COQDEP theories/Program/Equality.v COQDEP theories/Program/Combinators.v COQDEP theories/Program/Basics.v COQDEP theories/ZArith/Zeuclid.v COQDEP theories/ZArith/Zwf.v COQDEP theories/ZArith/Zsqrt_compat.v COQDEP theories/ZArith/Zpow_facts.v COQDEP theories/ZArith/Zpower.v COQDEP theories/ZArith/Zpow_def.v COQDEP theories/ZArith/Zorder.v COQDEP theories/ZArith/Zquot.v COQDEP theories/ZArith/Znumtheory.v COQDEP theories/ZArith/Znat.v COQDEP theories/ZArith/Zmisc.v COQDEP theories/ZArith/Zmin.v COQDEP theories/ZArith/Zminmax.v COQDEP theories/ZArith/Zmax.v COQDEP theories/ZArith/Zlogarithm.v COQDEP theories/ZArith/Zhints.v COQDEP theories/ZArith/Zpow_alt.v COQDEP theories/ZArith/Zgcd_alt.v COQDEP theories/ZArith/Zeven.v COQDEP theories/ZArith/Zdiv.v COQDEP theories/ZArith/Zcomplements.v COQDEP theories/ZArith/Zcompare.v COQDEP theories/ZArith/Zbool.v COQDEP theories/ZArith/Zdigits.v COQDEP theories/ZArith/ZArith.v COQDEP theories/ZArith/ZArith_dec.v COQDEP theories/ZArith/ZArith_base.v COQDEP theories/ZArith/Zabs.v COQDEP theories/ZArith/Wf_Z.v COQDEP theories/ZArith/Int.v COQDEP theories/ZArith/BinInt.v COQDEP theories/ZArith/BinIntDef.v COQDEP theories/ZArith/auxiliary.v COQDEP theories/Sorting/Mergesort.v COQDEP theories/Sorting/Sorting.v COQDEP theories/Sorting/Sorted.v COQDEP theories/Sorting/PermutEq.v COQDEP theories/Sorting/PermutSetoid.v COQDEP theories/Sorting/Permutation.v COQDEP theories/Sorting/Heap.v COQDEP theories/Structures/OrderedType.v COQDEP theories/Structures/OrderedTypeEx.v COQDEP theories/Structures/OrderedTypeAlt.v COQDEP theories/Structures/DecidableTypeEx.v COQDEP theories/Structures/DecidableType.v COQDEP theories/Structures/GenericMinMax.v COQDEP theories/Structures/OrdersAlt.v COQDEP theories/Structures/OrdersTac.v COQDEP theories/Structures/OrdersLists.v COQDEP theories/Structures/OrdersFacts.v COQDEP theories/Structures/OrdersEx.v COQDEP theories/Structures/Orders.v COQDEP theories/Structures/EqualitiesFacts.v COQDEP theories/Structures/Equalities.v COQDEP theories/Reals/Rminmax.v COQDEP theories/Reals/ROrderedType.v COQDEP theories/Reals/Sqrt_reg.v COQDEP theories/Reals/SplitRmult.v COQDEP theories/Reals/SplitAbsolu.v COQDEP theories/Reals/SeqSeries.v COQDEP theories/Reals/SeqProp.v COQDEP theories/Reals/Rtrigo.v COQDEP theories/Reals/Rtrigo1.v COQDEP theories/Reals/Rtrigo_reg.v COQDEP theories/Reals/Rtrigo_fun.v COQDEP theories/Reals/Rtrigo_def.v COQDEP theories/Reals/Rtrigo_calc.v COQDEP theories/Reals/Rtrigo_alt.v COQDEP theories/Reals/Rtopology.v COQDEP theories/Reals/R_sqr.v COQDEP theories/Reals/R_sqrt.v COQDEP theories/Reals/Rsqrt_def.v COQDEP theories/Reals/Rsigma.v COQDEP theories/Reals/Rseries.v COQDEP theories/Reals/Rprod.v COQDEP theories/Reals/Rpower.v COQDEP theories/Reals/Rpow_def.v COQDEP theories/Reals/Rlogic.v COQDEP theories/Reals/RList.v COQDEP theories/Reals/Rlimit.v COQDEP theories/Reals/RIneq.v COQDEP theories/Reals/R_Ifp.v COQDEP theories/Reals/RiemannInt.v COQDEP theories/Reals/RiemannInt_SF.v COQDEP theories/Reals/Rgeom.v COQDEP theories/Reals/Rfunctions.v COQDEP theories/Reals/Reals.v COQDEP theories/Reals/Rderiv.v COQDEP theories/Reals/Rdefinitions.v COQDEP theories/Reals/Rcomplete.v COQDEP theories/Reals/Rbasic_fun.v COQDEP theories/Reals/Rbase.v COQDEP theories/Reals/Raxioms.v COQDEP theories/Reals/Ratan.v COQDEP theories/Reals/Ranalysis_reg.v COQDEP theories/Reals/Ranalysis.v COQDEP theories/Reals/Ranalysis5.v COQDEP theories/Reals/Ranalysis4.v COQDEP theories/Reals/Ranalysis3.v COQDEP theories/Reals/Ranalysis2.v COQDEP theories/Reals/Ranalysis1.v COQDEP theories/Reals/PSeries_reg.v COQDEP theories/Reals/PartSum.v COQDEP theories/Reals/NewtonInt.v COQDEP theories/Reals/MVT.v COQDEP theories/Reals/Machin.v COQDEP theories/Reals/Integration.v COQDEP theories/Reals/Exp_prop.v COQDEP theories/Reals/DiscrR.v COQDEP theories/Reals/Cos_rel.v COQDEP theories/Reals/Cos_plus.v COQDEP theories/Reals/Cauchy_prod.v COQDEP theories/Reals/Binomial.v COQDEP theories/Reals/ArithProp.v COQDEP theories/Reals/AltSeries.v COQDEP theories/Reals/Alembert.v COQDEP theories/Numbers/Rational/SpecViaQ/QSig.v COQDEP theories/Numbers/Rational/BigQ/QMake.v COQDEP theories/Numbers/Rational/BigQ/BigQ.v COQDEP theories/Numbers/NumPrelude.v COQDEP theories/Numbers/Natural/SpecViaZ/NSig.v COQDEP theories/Numbers/Natural/SpecViaZ/NSigNAxioms.v COQDEP theories/Numbers/Natural/Peano/NPeano.v COQDEP theories/Numbers/Natural/Binary/NBinary.v COQDEP theories/Numbers/Natural/BigN/NMake.v COQDEP theories/Numbers/Natural/BigN/NMake_gen.v COQDEP theories/Numbers/Natural/BigN/Nbasic.v COQDEP theories/Numbers/Natural/BigN/BigN.v COQDEP theories/Numbers/Natural/Abstract/NBits.v COQDEP theories/Numbers/Natural/Abstract/NLcm.v COQDEP theories/Numbers/Natural/Abstract/NGcd.v COQDEP theories/Numbers/Natural/Abstract/NLog.v COQDEP theories/Numbers/Natural/Abstract/NSqrt.v COQDEP theories/Numbers/Natural/Abstract/NPow.v COQDEP theories/Numbers/Natural/Abstract/NParity.v COQDEP theories/Numbers/Natural/Abstract/NMaxMin.v COQDEP theories/Numbers/Natural/Abstract/NDiv.v COQDEP theories/Numbers/Natural/Abstract/NProperties.v COQDEP theories/Numbers/Natural/Abstract/NSub.v COQDEP theories/Numbers/Natural/Abstract/NStrongRec.v COQDEP theories/Numbers/Natural/Abstract/NOrder.v COQDEP theories/Numbers/Natural/Abstract/NMulOrder.v COQDEP theories/Numbers/Natural/Abstract/NIso.v COQDEP theories/Numbers/Natural/Abstract/NDefOps.v COQDEP theories/Numbers/Natural/Abstract/NBase.v COQDEP theories/Numbers/Natural/Abstract/NAxioms.v COQDEP theories/Numbers/Natural/Abstract/NAdd.v COQDEP theories/Numbers/Natural/Abstract/NAddOrder.v COQDEP theories/Numbers/NatInt/NZBits.v COQDEP theories/Numbers/NatInt/NZGcd.v COQDEP theories/Numbers/NatInt/NZLog.v COQDEP theories/Numbers/NatInt/NZSqrt.v COQDEP theories/Numbers/NatInt/NZPow.v COQDEP theories/Numbers/NatInt/NZDiv.v COQDEP theories/Numbers/NatInt/NZParity.v COQDEP theories/Numbers/NatInt/NZDomain.v COQDEP theories/Numbers/NatInt/NZProperties.v COQDEP theories/Numbers/NatInt/NZOrder.v COQDEP theories/Numbers/NatInt/NZMul.v COQDEP theories/Numbers/NatInt/NZMulOrder.v COQDEP theories/Numbers/NatInt/NZBase.v COQDEP theories/Numbers/NatInt/NZAxioms.v COQDEP theories/Numbers/NatInt/NZAdd.v COQDEP theories/Numbers/NatInt/NZAddOrder.v COQDEP theories/Numbers/NaryFunctions.v COQDEP theories/Numbers/Integer/SpecViaZ/ZSigZAxioms.v COQDEP theories/Numbers/Integer/SpecViaZ/ZSig.v COQDEP theories/Numbers/Integer/NatPairs/ZNatPairs.v COQDEP theories/Numbers/Integer/Binary/ZBinary.v COQDEP theories/Numbers/Integer/BigZ/ZMake.v COQDEP theories/Numbers/Integer/BigZ/BigZ.v COQDEP theories/Numbers/Integer/Abstract/ZProperties.v COQDEP theories/Numbers/Integer/Abstract/ZBits.v COQDEP theories/Numbers/Integer/Abstract/ZLcm.v COQDEP theories/Numbers/Integer/Abstract/ZGcd.v COQDEP theories/Numbers/Integer/Abstract/ZPow.v COQDEP theories/Numbers/Integer/Abstract/ZParity.v COQDEP theories/Numbers/Integer/Abstract/ZMaxMin.v COQDEP theories/Numbers/Integer/Abstract/ZDivEucl.v COQDEP theories/Numbers/Integer/Abstract/ZDivTrunc.v COQDEP theories/Numbers/Integer/Abstract/ZDivFloor.v COQDEP theories/Numbers/Integer/Abstract/ZSgnAbs.v COQDEP theories/Numbers/Integer/Abstract/ZMul.v COQDEP theories/Numbers/Integer/Abstract/ZMulOrder.v COQDEP theories/Numbers/Integer/Abstract/ZLt.v COQDEP theories/Numbers/Integer/Abstract/ZBase.v COQDEP theories/Numbers/Integer/Abstract/ZAxioms.v COQDEP theories/Numbers/Integer/Abstract/ZAdd.v COQDEP theories/Numbers/Integer/Abstract/ZAddOrder.v COQDEP theories/Numbers/Cyclic/ZModulo/ZModulo.v COQDEP theories/Numbers/Cyclic/Int31/Ring31.v COQDEP theories/Numbers/Cyclic/Int31/Cyclic31.v COQDEP theories/Numbers/Cyclic/Int31/Int31.v COQDEP theories/Numbers/Cyclic/DoubleCyclic/DoubleType.v COQDEP theories/Numbers/Cyclic/DoubleCyclic/DoubleSub.v COQDEP theories/Numbers/Cyclic/DoubleCyclic/DoubleSqrt.v COQDEP theories/Numbers/Cyclic/DoubleCyclic/DoubleMul.v COQDEP theories/Numbers/Cyclic/DoubleCyclic/DoubleLift.v COQDEP theories/Numbers/Cyclic/DoubleCyclic/DoubleDiv.v COQDEP theories/Numbers/Cyclic/DoubleCyclic/DoubleDivn1.v COQDEP theories/Numbers/Cyclic/DoubleCyclic/DoubleCyclic.v COQDEP theories/Numbers/Cyclic/DoubleCyclic/DoubleBase.v COQDEP theories/Numbers/Cyclic/DoubleCyclic/DoubleAdd.v COQDEP theories/Numbers/Cyclic/Abstract/NZCyclic.v COQDEP theories/Numbers/Cyclic/Abstract/CyclicAxioms.v COQDEP theories/Numbers/BigNumPrelude.v COQDEP theories/Numbers/BinNums.v COQDEP theories/Compat/Coq86.v COQDEP theories/Compat/Coq85.v COQDEP theories/Compat/Coq84.v COQDEP theories/Compat/AdmitAxiom.v COQDEP theories/Setoids/Setoid.v COQDEP theories/Wellfounded/Well_Ordering.v COQDEP theories/Wellfounded/Wellfounded.v COQDEP theories/Wellfounded/Union.v COQDEP theories/Wellfounded/Transitive_Closure.v COQDEP theories/Wellfounded/Lexicographic_Product.v COQDEP theories/Wellfounded/Lexicographic_Exponentiation.v COQDEP theories/Wellfounded/Inverse_Image.v COQDEP theories/Wellfounded/Inclusion.v COQDEP theories/Wellfounded/Disjoint_Union.v COQDEP theories/Vectors/Vector.v COQDEP theories/Vectors/VectorEq.v COQDEP theories/Vectors/VectorSpec.v COQDEP theories/Vectors/VectorDef.v COQDEP theories/Vectors/Fin.v COQDEP theories/FSets/FSetWeakList.v COQDEP theories/FSets/FSetToFiniteSet.v COQDEP theories/FSets/FSets.v COQDEP theories/FSets/FSetProperties.v COQDEP theories/FSets/FSetList.v COQDEP theories/FSets/FSetInterface.v COQDEP theories/FSets/FSetFacts.v COQDEP theories/FSets/FSetEqProperties.v COQDEP theories/FSets/FSetDecide.v COQDEP theories/FSets/FSetBridge.v COQDEP theories/FSets/FSetPositive.v COQDEP theories/FSets/FSetAVL.v COQDEP theories/FSets/FSetCompat.v COQDEP theories/FSets/FMapWeakList.v COQDEP theories/FSets/FMaps.v COQDEP theories/FSets/FMapPositive.v COQDEP theories/FSets/FMapList.v COQDEP theories/FSets/FMapInterface.v COQDEP theories/FSets/FMapFullAVL.v COQDEP theories/FSets/FMapFacts.v COQDEP theories/FSets/FMapAVL.v COQDEP theories/Bool/Zerob.v COQDEP theories/Bool/Sumbool.v COQDEP theories/Bool/IfProp.v COQDEP theories/Bool/DecBool.v COQDEP theories/Bool/Bvector.v COQDEP theories/Bool/Bool.v COQDEP theories/Bool/BoolEq.v COQDEP theories/Classes/CEquivalence.v COQDEP theories/Classes/CMorphisms.v COQDEP theories/Classes/CRelationClasses.v COQDEP theories/Classes/RelationPairs.v COQDEP theories/Classes/SetoidTactics.v COQDEP theories/Classes/SetoidDec.v COQDEP theories/Classes/SetoidClass.v COQDEP theories/Classes/RelationClasses.v COQDEP theories/Classes/Morphisms.v COQDEP theories/Classes/Morphisms_Relations.v COQDEP theories/Classes/Morphisms_Prop.v COQDEP theories/Classes/Init.v COQDEP theories/Classes/EquivDec.v COQDEP theories/Classes/Equivalence.v COQDEP theories/Classes/DecidableClass.v COQDEP theories/Lists/Streams.v COQDEP theories/Lists/StreamMemo.v COQDEP theories/Lists/SetoidPermutation.v COQDEP theories/Lists/SetoidList.v COQDEP theories/Lists/ListDec.v COQDEP theories/Lists/List.v COQDEP theories/Lists/ListTactics.v COQDEP theories/Lists/ListSet.v COQDEP theories/Strings/String.v COQDEP theories/Strings/Ascii.v COQDEP theories/Arith/Wf_nat.v COQDEP theories/Arith/Plus.v COQDEP theories/Arith/Peano_dec.v COQDEP theories/Arith/Mult.v COQDEP theories/Arith/Min.v COQDEP theories/Arith/Minus.v COQDEP theories/Arith/Max.v COQDEP theories/Arith/Lt.v COQDEP theories/Arith/Le.v COQDEP theories/Arith/Gt.v COQDEP theories/Arith/Factorial.v COQDEP theories/Arith/Even.v COQDEP theories/Arith/Euclid.v COQDEP theories/Arith/EqNat.v COQDEP theories/Arith/Div2.v COQDEP theories/Arith/Compare.v COQDEP theories/Arith/Compare_dec.v COQDEP theories/Arith/Bool_nat.v COQDEP theories/Arith/Between.v COQDEP theories/Arith/Arith.v COQDEP theories/Arith/Arith_base.v COQDEP theories/Arith/PeanoNat.v sed -n -e '/^ /s/ \([A-Z]\)/ \&\&coq_lbl_\1/gp' \ -e '/^}/q' kernel/byterun/coq_instruct.h > "kernel/byterun/coq_jumptbl.h" || (RV=$?; rm -f "kernel/byterun/coq_jumptbl.h"; exit ${RV}) CCDEP kernel/byterun/coq_values.c CCDEP kernel/byterun/coq_fix_code.c CCDEP kernel/byterun/coq_interp.c CCDEP kernel/byterun/coq_memory.c OCAMLLEX tools/ocamllibdep.mll 13 states, 322 transitions, table size 1366 bytes OCAMLC tools/ocamllibdep.ml File "tools/ocamllibdep.mll", line 25, characters 28-47: Warning 3: deprecated: String.uncapitalize Use String.uncapitalize_ascii instead. File "tools/ocamllibdep.mll", line 188, characters 21-38: Warning 3: deprecated: String.capitalize Use String.capitalize_ascii instead. OCAMLOPT tools/ocamllibdep.ml File "tools/ocamllibdep.mll", line 25, characters 28-47: Warning 3: deprecated: String.uncapitalize Use String.uncapitalize_ascii instead. File "tools/ocamllibdep.mll", line 188, characters 21-38: Warning 3: deprecated: String.capitalize Use String.capitalize_ascii instead. OCAMLBEST -o bin/ocamllibdep OCAMLLEX ide/config_lexer.mll 30 states, 1657 transitions, table size 6808 bytes 6052 additional bytes used for bindings OCAMLLEX ide/utf8_convert.mll 15 states, 827 transitions, table size 3398 bytes OCAMLLEX ide/xml_lexer.mll 80 states, 774 transitions, table size 3576 bytes OCAMLLEX ide/coq_lex.mll 30 states, 505 transitions, table size 2200 bytes OCAMLLEX tools/coqdoc/cpretty.mll 2652 states, 8247 transitions, table size 48900 bytes OCAMLLEX tools/coqwc.mll 230 states, 784 transitions, table size 4516 bytes OCAMLLEX tools/gallina_lexer.mll 190 states, 498 transitions, table size 3132 bytes ECHO... > tools/tolink.ml sed -n -e '/^enum/p' -e 's/,//g' -e '/^ /p' kernel/byterun/coq_instruct.h | \ awk -f kernel/make-opcodes > "kernel/copcodes.ml" || (RV=$?; rm -f "kernel/copcodes.ml"; exit ${RV}) OCAMLLIBDEP plugins/decl_mode/decl_mode_plugin.mlpack OCAMLLIBDEP plugins/fourier/fourier_plugin.mlpack OCAMLLIBDEP plugins/quote/quote_plugin.mlpack OCAMLLIBDEP plugins/extraction/extraction_plugin.mlpack OCAMLLIBDEP plugins/nsatz/nsatz_plugin.mlpack OCAMLLIBDEP plugins/omega/omega_plugin.mlpack OCAMLLIBDEP plugins/romega/romega_plugin.mlpack OCAMLLIBDEP plugins/setoid_ring/newring_plugin.mlpack OCAMLLIBDEP plugins/cc/cc_plugin.mlpack OCAMLLIBDEP plugins/btauto/btauto_plugin.mlpack OCAMLLIBDEP plugins/micromega/micromega_plugin.mlpack OCAMLLIBDEP plugins/ssrmatching/ssrmatching_plugin.mlpack OCAMLLIBDEP plugins/rtauto/rtauto_plugin.mlpack OCAMLLIBDEP plugins/funind/recdef_plugin.mlpack OCAMLLIBDEP plugins/syntax/string_syntax_plugin.mlpack OCAMLLIBDEP plugins/syntax/nat_syntax_plugin.mlpack OCAMLLIBDEP plugins/syntax/r_syntax_plugin.mlpack OCAMLLIBDEP plugins/syntax/numbers_syntax_plugin.mlpack OCAMLLIBDEP plugins/syntax/ascii_syntax_plugin.mlpack OCAMLLIBDEP plugins/syntax/z_syntax_plugin.mlpack OCAMLLIBDEP plugins/derive/derive_plugin.mlpack OCAMLLIBDEP plugins/firstorder/ground_plugin.mlpack OCAMLLIBDEP ltac/ltac.mllib OCAMLLIBDEP engine/engine.mllib OCAMLLIBDEP kernel/kernel.mllib OCAMLLIBDEP parsing/parsing.mllib OCAMLLIBDEP parsing/highparsing.mllib OCAMLLIBDEP library/library.mllib OCAMLLIBDEP toplevel/toplevel.mllib OCAMLLIBDEP lib/lib.mllib OCAMLLIBDEP lib/clib.mllib OCAMLLIBDEP pretyping/pretyping.mllib OCAMLLIBDEP dev/printers.mllib OCAMLLIBDEP printing/printing.mllib OCAMLLIBDEP proofs/proofs.mllib OCAMLLIBDEP tactics/tactics.mllib OCAMLLIBDEP ide/ide.mllib OCAMLLIBDEP ide/coqidetop.mllib OCAMLLIBDEP checker/check.mllib OCAMLLIBDEP stm/proofworkertop.mllib OCAMLLIBDEP stm/tacworkertop.mllib OCAMLLIBDEP stm/queryworkertop.mllib OCAMLLIBDEP stm/stm.mllib OCAMLLIBDEP interp/interp.mllib OCAMLDEP toplevel/vernacinterp.mli OCAMLDEP toplevel/vernacentries.mli OCAMLDEP toplevel/vernac.mli OCAMLDEP toplevel/usage.mli OCAMLDEP toplevel/search.mli OCAMLDEP toplevel/record.mli OCAMLDEP toplevel/obligations.mli OCAMLDEP toplevel/mltop.mli OCAMLDEP toplevel/metasyntax.mli OCAMLDEP toplevel/locality.mli OCAMLDEP toplevel/indschemes.mli OCAMLDEP toplevel/ind_tables.mli OCAMLDEP toplevel/himsg.mli OCAMLDEP toplevel/explainErr.mli OCAMLDEP toplevel/discharge.mli OCAMLDEP toplevel/coqtop.mli OCAMLDEP toplevel/coqloop.mli OCAMLDEP toplevel/coqinit.mli OCAMLDEP toplevel/command.mli OCAMLDEP toplevel/classes.mli OCAMLDEP toplevel/class.mli OCAMLDEP toplevel/auto_ind_decl.mli OCAMLDEP toplevel/assumptions.mli OCAMLDEP tools/coqdoc/tokens.mli OCAMLDEP tools/coqdoc/output.mli OCAMLDEP tools/coqdoc/index.mli OCAMLDEP tools/coqdoc/cpretty.mli OCAMLDEP tools/coqdoc/alpha.mli OCAMLDEP tools/coqdep_lexer.mli OCAMLDEP tools/coqdep_common.mli OCAMLDEP tactics/term_dnet.mli OCAMLDEP tactics/tactics.mli OCAMLDEP tactics/tacticals.mli OCAMLDEP tactics/tactic_matching.mli OCAMLDEP tactics/leminv.mli OCAMLDEP tactics/inv.mli OCAMLDEP tactics/hipattern.mli OCAMLDEP tactics/hints.mli OCAMLDEP tactics/equality.mli OCAMLDEP tactics/eqschemes.mli OCAMLDEP tactics/eqdecide.mli OCAMLDEP tactics/elimschemes.mli OCAMLDEP tactics/elim.mli OCAMLDEP tactics/eauto.mli OCAMLDEP tactics/dnet.mli OCAMLDEP tactics/dn.mli OCAMLDEP tactics/contradiction.mli OCAMLDEP tactics/class_tactics.mli OCAMLDEP tactics/btermdn.mli OCAMLDEP tactics/autorewrite.mli OCAMLDEP tactics/auto.mli OCAMLDEP stm/workerPool.mli OCAMLDEP stm/vio_checking.mli OCAMLDEP stm/vernac_classifier.mli OCAMLDEP stm/vcs.mli OCAMLDEP stm/tQueue.mli OCAMLDEP stm/stm.mli OCAMLDEP stm/spawned.mli OCAMLDEP stm/proofBlockDelimiter.mli OCAMLDEP stm/lemmas.mli OCAMLDEP stm/dag.mli OCAMLDEP stm/coqworkmgrApi.mli OCAMLDEP stm/asyncTaskQueue.mli OCAMLDEP proofs/tacmach.mli OCAMLDEP proofs/refiner.mli OCAMLDEP proofs/refine.mli OCAMLDEP proofs/redexpr.mli OCAMLDEP proofs/proof_using.mli OCAMLDEP proofs/proof_type.mli OCAMLDEP proofs/proof_global.mli OCAMLDEP proofs/proof.mli OCAMLDEP proofs/pfedit.mli OCAMLDEP proofs/logic.mli OCAMLDEP proofs/goal.mli OCAMLDEP proofs/evar_refiner.mli OCAMLDEP proofs/clenvtac.mli OCAMLDEP proofs/clenv.mli OCAMLDEP printing/printmodsig.mli OCAMLDEP printing/printmod.mli OCAMLDEP printing/printer.mli OCAMLDEP printing/prettyp.mli OCAMLDEP printing/ppvernacsig.mli OCAMLDEP printing/ppvernac.mli OCAMLDEP printing/pputils.mli OCAMLDEP printing/pptacticsig.mli OCAMLDEP printing/pptactic.mli OCAMLDEP printing/ppconstrsig.mli OCAMLDEP printing/ppconstr.mli OCAMLDEP printing/ppannotation.mli OCAMLDEP printing/miscprint.mli OCAMLDEP printing/genprint.mli OCAMLDEP pretyping/vnorm.mli OCAMLDEP pretyping/unification.mli OCAMLDEP pretyping/typing.mli OCAMLDEP pretyping/typeclasses_errors.mli OCAMLDEP pretyping/typeclasses.mli OCAMLDEP pretyping/tacred.mli OCAMLDEP pretyping/retyping.mli OCAMLDEP pretyping/reductionops.mli OCAMLDEP pretyping/redops.mli OCAMLDEP pretyping/recordops.mli OCAMLDEP pretyping/program.mli OCAMLDEP pretyping/pretyping.mli OCAMLDEP pretyping/pretype_errors.mli OCAMLDEP pretyping/patternops.mli OCAMLDEP pretyping/nativenorm.mli OCAMLDEP pretyping/miscops.mli OCAMLDEP pretyping/locusops.mli OCAMLDEP pretyping/inductiveops.mli OCAMLDEP pretyping/indrec.mli OCAMLDEP pretyping/glob_ops.mli OCAMLDEP pretyping/find_subterm.mli OCAMLDEP pretyping/evarsolve.mli OCAMLDEP pretyping/evardefine.mli OCAMLDEP pretyping/evarconv.mli OCAMLDEP pretyping/detyping.mli OCAMLDEP pretyping/constr_matching.mli OCAMLDEP pretyping/coercion.mli OCAMLDEP pretyping/classops.mli OCAMLDEP pretyping/cbv.mli OCAMLDEP pretyping/cases.mli OCAMLDEP pretyping/arguments_renaming.mli OCAMLDEP plugins/ssrmatching/ssrmatching.mli OCAMLDEP plugins/setoid_ring/newring_ast.mli OCAMLDEP plugins/setoid_ring/newring.mli OCAMLDEP plugins/rtauto/refl_tauto.mli OCAMLDEP plugins/rtauto/proof_search.mli OCAMLDEP plugins/romega/const_omega.mli OCAMLDEP plugins/nsatz/utile.mli OCAMLDEP plugins/nsatz/polynom.mli OCAMLDEP plugins/nsatz/nsatz.mli OCAMLDEP plugins/nsatz/ideal.mli OCAMLDEP plugins/micromega/sos.mli OCAMLDEP plugins/micromega/micromega.mli OCAMLDEP plugins/funind/recdef.mli OCAMLDEP plugins/funind/indfun_common.mli OCAMLDEP plugins/funind/indfun.mli OCAMLDEP plugins/funind/glob_termops.mli OCAMLDEP plugins/funind/glob_term_to_relation.mli OCAMLDEP plugins/funind/functional_principles_types.mli OCAMLDEP plugins/funind/functional_principles_proofs.mli OCAMLDEP plugins/firstorder/unify.mli OCAMLDEP plugins/firstorder/sequent.mli OCAMLDEP plugins/firstorder/rules.mli OCAMLDEP plugins/firstorder/instances.mli OCAMLDEP plugins/firstorder/ground.mli OCAMLDEP plugins/firstorder/formula.mli OCAMLDEP plugins/extraction/table.mli OCAMLDEP plugins/extraction/scheme.mli OCAMLDEP plugins/extraction/ocaml.mli OCAMLDEP plugins/extraction/modutil.mli OCAMLDEP plugins/extraction/mlutil.mli OCAMLDEP plugins/extraction/miniml.mli OCAMLDEP plugins/extraction/json.mli OCAMLDEP plugins/extraction/haskell.mli OCAMLDEP plugins/extraction/extraction.mli OCAMLDEP plugins/extraction/extract_env.mli OCAMLDEP plugins/extraction/common.mli OCAMLDEP plugins/derive/derive.mli OCAMLDEP plugins/decl_mode/ppdecl_proof.mli OCAMLDEP plugins/decl_mode/decl_proof_instr.mli OCAMLDEP plugins/decl_mode/decl_mode.mli OCAMLDEP plugins/decl_mode/decl_interp.mli OCAMLDEP plugins/decl_mode/decl_expr.mli OCAMLDEP plugins/cc/cctac.mli OCAMLDEP plugins/cc/ccproof.mli OCAMLDEP plugins/cc/ccalgo.mli OCAMLDEP parsing/tok.mli OCAMLDEP parsing/pcoq.mli OCAMLDEP parsing/egramml.mli OCAMLDEP parsing/egramcoq.mli OCAMLDEP parsing/cLexer.mli OCAMLDEP ltac/tauto.mli OCAMLDEP ltac/tactic_option.mli OCAMLDEP ltac/tactic_debug.mli OCAMLDEP ltac/tacsubst.mli OCAMLDEP ltac/tacinterp.mli OCAMLDEP ltac/tacintern.mli OCAMLDEP ltac/tacenv.mli OCAMLDEP ltac/tacentries.mli OCAMLDEP ltac/taccoerce.mli OCAMLDEP ltac/rewrite.mli OCAMLDEP ltac/profile_ltac.mli OCAMLDEP ltac/extratactics.mli OCAMLDEP ltac/extraargs.mli OCAMLDEP ltac/evar_tactics.mli OCAMLDEP library/universes.mli OCAMLDEP library/summary.mli OCAMLDEP library/states.mli OCAMLDEP library/nametab.mli OCAMLDEP library/nameops.mli OCAMLDEP library/loadpath.mli OCAMLDEP library/library.mli OCAMLDEP library/libobject.mli OCAMLDEP library/libnames.mli OCAMLDEP library/lib.mli OCAMLDEP library/kindops.mli OCAMLDEP library/keys.mli OCAMLDEP library/impargs.mli OCAMLDEP library/heads.mli OCAMLDEP library/goptions.mli OCAMLDEP library/globnames.mli OCAMLDEP library/global.mli OCAMLDEP library/dischargedhypsmap.mli OCAMLDEP library/decls.mli OCAMLDEP library/declaremods.mli OCAMLDEP library/declare.mli OCAMLDEP lib/xml_datatype.mli OCAMLDEP lib/util.mli OCAMLDEP lib/unionfind.mli OCAMLDEP lib/unicode.mli OCAMLDEP lib/trie.mli OCAMLDEP lib/terminal.mli OCAMLDEP lib/system.mli OCAMLDEP lib/store.mli OCAMLDEP lib/stateid.mli OCAMLDEP lib/spawn.mli OCAMLDEP lib/segmenttree.mli OCAMLDEP lib/rtree.mli OCAMLDEP lib/richpp.mli OCAMLDEP lib/remoteCounter.mli OCAMLDEP lib/profile.mli OCAMLDEP lib/predicate.mli OCAMLDEP lib/ppstyle.mli OCAMLDEP lib/pp_control.mli OCAMLDEP lib/pp.mli OCAMLDEP lib/option.mli OCAMLDEP lib/monad.mli OCAMLDEP lib/loc.mli OCAMLDEP lib/int.mli OCAMLDEP lib/iStream.mli OCAMLDEP lib/hook.mli OCAMLDEP lib/heap.mli OCAMLDEP lib/hashset.mli OCAMLDEP lib/hashcons.mli OCAMLDEP lib/hMap.mli OCAMLDEP lib/genarg.mli OCAMLDEP lib/future.mli OCAMLDEP lib/flags.mli OCAMLDEP lib/feedback.mli OCAMLDEP lib/explore.mli OCAMLDEP lib/exninfo.mli OCAMLDEP lib/envars.mli OCAMLDEP lib/dyn.mli OCAMLDEP lib/deque.mli OCAMLDEP lib/control.mli OCAMLDEP lib/canary.mli OCAMLDEP lib/cWarnings.mli OCAMLDEP lib/cUnix.mli OCAMLDEP lib/cThread.mli OCAMLDEP lib/cString.mli OCAMLDEP lib/cStack.mli OCAMLDEP lib/cSig.mli OCAMLDEP lib/cSet.mli OCAMLDEP lib/cObj.mli OCAMLDEP lib/cMap.mli OCAMLDEP lib/cList.mli OCAMLDEP lib/cErrors.mli OCAMLDEP lib/cEphemeron.mli OCAMLDEP lib/cArray.mli OCAMLDEP lib/bigint.mli OCAMLDEP lib/backtrace.mli OCAMLDEP lib/aux_file.mli OCAMLDEP kernel/vm.mli OCAMLDEP kernel/vconv.mli OCAMLDEP kernel/vars.mli OCAMLDEP kernel/univ.mli OCAMLDEP kernel/uint31.mli OCAMLDEP kernel/uGraph.mli OCAMLDEP kernel/typeops.mli OCAMLDEP kernel/type_errors.mli OCAMLDEP kernel/term_typing.mli OCAMLDEP kernel/term.mli OCAMLDEP kernel/subtyping.mli OCAMLDEP kernel/sorts.mli OCAMLDEP kernel/safe_typing.mli OCAMLDEP kernel/retroknowledge.mli OCAMLDEP kernel/reduction.mli OCAMLDEP kernel/primitives.mli OCAMLDEP kernel/pre_env.mli OCAMLDEP kernel/opaqueproof.mli OCAMLDEP kernel/nativevalues.mli OCAMLDEP kernel/nativelibrary.mli OCAMLDEP kernel/nativelib.mli OCAMLDEP kernel/nativelambda.mli OCAMLDEP kernel/nativeinstr.mli OCAMLDEP kernel/nativeconv.mli OCAMLDEP kernel/nativecode.mli OCAMLDEP kernel/names.mli OCAMLDEP kernel/modops.mli OCAMLDEP kernel/mod_typing.mli OCAMLDEP kernel/mod_subst.mli OCAMLDEP kernel/inductive.mli OCAMLDEP kernel/indtypes.mli OCAMLDEP kernel/fast_typeops.mli OCAMLDEP kernel/evar.mli OCAMLDEP kernel/esubst.mli OCAMLDEP kernel/environ.mli OCAMLDEP kernel/entries.mli OCAMLDEP kernel/declareops.mli OCAMLDEP kernel/declarations.mli OCAMLDEP kernel/csymtable.mli OCAMLDEP kernel/cooking.mli OCAMLDEP kernel/conv_oracle.mli OCAMLDEP kernel/context.mli OCAMLDEP kernel/constr.mli OCAMLDEP kernel/cemitcodes.mli OCAMLDEP kernel/cbytegen.mli OCAMLDEP kernel/cbytecodes.mli OCAMLDEP kernel/cClosure.mli OCAMLDEP intf/vernacexpr.mli OCAMLDEP intf/tacexpr.mli OCAMLDEP intf/pattern.mli OCAMLDEP intf/notation_term.mli OCAMLDEP intf/misctypes.mli OCAMLDEP intf/locus.mli OCAMLDEP intf/glob_term.mli OCAMLDEP intf/genredexpr.mli OCAMLDEP intf/extend.mli OCAMLDEP intf/evar_kinds.mli OCAMLDEP intf/decl_kinds.mli OCAMLDEP intf/constrexpr.mli OCAMLDEP interp/topconstr.mli OCAMLDEP interp/syntax_def.mli OCAMLDEP interp/stdarg.mli OCAMLDEP interp/smartlocate.mli OCAMLDEP interp/reserve.mli OCAMLDEP interp/ppextend.mli OCAMLDEP interp/notation_ops.mli OCAMLDEP interp/notation.mli OCAMLDEP interp/modintern.mli OCAMLDEP interp/implicit_quantifiers.mli OCAMLDEP interp/genintern.mli OCAMLDEP interp/dumpglob.mli OCAMLDEP interp/coqlib.mli OCAMLDEP interp/constrintern.mli OCAMLDEP interp/constrextern.mli OCAMLDEP interp/constrexpr_ops.mli OCAMLDEP interp/constrarg.mli OCAMLDEP ide/xmlprotocol.mli OCAMLDEP ide/xml_printer.mli OCAMLDEP ide/xml_parser.mli OCAMLDEP ide/xml_lexer.mli OCAMLDEP ide/wg_Segment.mli OCAMLDEP ide/wg_ScriptView.mli OCAMLDEP ide/wg_ProofView.mli OCAMLDEP ide/wg_Notebook.mli OCAMLDEP ide/wg_MessageView.mli OCAMLDEP ide/wg_Find.mli OCAMLDEP ide/wg_Detachable.mli OCAMLDEP ide/wg_Completion.mli OCAMLDEP ide/wg_Command.mli OCAMLDEP ide/utils/okey.mli OCAMLDEP ide/utils/configwin.mli OCAMLDEP ide/utils/config_file.mli OCAMLDEP ide/texmacspp.mli OCAMLDEP ide/tags.mli OCAMLDEP ide/session.mli OCAMLDEP ide/serialize.mli OCAMLDEP ide/sentence.mli OCAMLDEP ide/richprinter.mli OCAMLDEP ide/preferences.mli OCAMLDEP ide/minilib.mli OCAMLDEP ide/interface.mli OCAMLDEP ide/ideutils.mli OCAMLDEP ide/fileOps.mli OCAMLDEP ide/document.mli OCAMLDEP ide/coqide.mli OCAMLDEP ide/coqOps.mli OCAMLDEP ide/coq.mli OCAMLDEP grammar/q_util.mli OCAMLDEP engine/uState.mli OCAMLDEP engine/termops.mli OCAMLDEP engine/sigma.mli OCAMLDEP engine/proofview_monad.mli OCAMLDEP engine/proofview.mli OCAMLDEP engine/namegen.mli OCAMLDEP engine/logic_monad.mli OCAMLDEP engine/geninterp.mli OCAMLDEP engine/ftactic.mli OCAMLDEP engine/evd.mli OCAMLDEP engine/evarutil.mli OCAMLDEP config/coq_config.mli OCAMLDEP checker/univ.mli OCAMLDEP checker/typeops.mli OCAMLDEP checker/type_errors.mli OCAMLDEP checker/term.mli OCAMLDEP checker/subtyping.mli OCAMLDEP checker/safe_typing.mli OCAMLDEP checker/reduction.mli OCAMLDEP checker/names.mli OCAMLDEP checker/modops.mli OCAMLDEP checker/mod_checking.mli OCAMLDEP checker/inductive.mli OCAMLDEP checker/indtypes.mli OCAMLDEP checker/esubst.mli OCAMLDEP checker/environ.mli OCAMLDEP checker/declarations.mli OCAMLDEP checker/closure.mli OCAMLDEP checker/cic.mli OCAMLDEP checker/check_stat.mli OCAMLDEP checker/analyze.mli "/usr/bin/ocamlfind" ocamlc -rectypes -c grammar/compat5.ml OCAMLC -c -pp grammar/gramCompat.mlp OCAMLC -c grammar/q_util.mli OCAMLC -c -pp grammar/q_util.mlp OCAMLC -c -pp grammar/argextend.mlp OCAMLC -c -pp grammar/tacextend.mlp OCAMLC -c -pp grammar/vernacextend.mlp Testing grammar/grammar.cma OCAMLC -a grammar/grammar.cma CAMLP4O ltac/g_eqdecide.ml4 OCAMLDEP ltac/g_eqdecide.ml CAMLP4O ltac/g_auto.ml4 OCAMLDEP ltac/g_auto.ml CAMLP4O ltac/g_rewrite.ml4 OCAMLDEP ltac/g_rewrite.ml CAMLP4O ltac/g_obligations.ml4 OCAMLDEP ltac/g_obligations.ml CAMLP4O ltac/g_class.ml4 OCAMLDEP ltac/g_class.ml CAMLP4O ltac/extratactics.ml4 OCAMLDEP ltac/extratactics.ml CAMLP4O ltac/coretactics.ml4 OCAMLDEP ltac/coretactics.ml CAMLP4O ltac/profile_ltac_tactics.ml4 OCAMLDEP ltac/profile_ltac_tactics.ml CAMLP4O ltac/extraargs.ml4 OCAMLDEP ltac/extraargs.ml CAMLP4O ltac/g_ltac.ml4 OCAMLDEP ltac/g_ltac.ml CAMLP4O parsing/g_vernac.ml4 OCAMLDEP parsing/g_vernac.ml CAMLP4O parsing/g_proofs.ml4 OCAMLDEP parsing/g_proofs.ml CAMLP4O parsing/g_prim.ml4 OCAMLDEP parsing/g_prim.ml CAMLP4O parsing/g_constr.ml4 OCAMLDEP parsing/g_constr.ml CAMLP4O parsing/g_tactic.ml4 OCAMLDEP parsing/g_tactic.ml CAMLP4O parsing/cLexer.ml4 OCAMLDEP parsing/cLexer.ml CAMLP4O parsing/compat.ml4 OCAMLDEP parsing/compat.ml CAMLP4O ide/project_file.ml4 OCAMLDEP ide/project_file.ml CAMLP4O ide/coqide_main.ml4 OCAMLDEP ide/coqide_main.ml CAMLP4O plugins/decl_mode/g_decl_mode.ml4 OCAMLDEP plugins/decl_mode/g_decl_mode.ml CAMLP4O plugins/fourier/g_fourier.ml4 OCAMLDEP plugins/fourier/g_fourier.ml CAMLP4O plugins/quote/g_quote.ml4 OCAMLDEP plugins/quote/g_quote.ml CAMLP4O plugins/extraction/g_extraction.ml4 OCAMLDEP plugins/extraction/g_extraction.ml CAMLP4O plugins/nsatz/g_nsatz.ml4 OCAMLDEP plugins/nsatz/g_nsatz.ml CAMLP4O plugins/omega/g_omega.ml4 OCAMLDEP plugins/omega/g_omega.ml CAMLP4O plugins/romega/g_romega.ml4 OCAMLDEP plugins/romega/g_romega.ml CAMLP4O plugins/setoid_ring/g_newring.ml4 OCAMLDEP plugins/setoid_ring/g_newring.ml CAMLP4O plugins/cc/g_congruence.ml4 OCAMLDEP plugins/cc/g_congruence.ml CAMLP4O plugins/btauto/g_btauto.ml4 OCAMLDEP plugins/btauto/g_btauto.ml CAMLP4O plugins/micromega/g_micromega.ml4 OCAMLDEP plugins/micromega/g_micromega.ml CAMLP4O plugins/ssrmatching/ssrmatching.ml4 OCAMLDEP plugins/ssrmatching/ssrmatching.ml CAMLP4O plugins/rtauto/g_rtauto.ml4 OCAMLDEP plugins/rtauto/g_rtauto.ml CAMLP4O plugins/funind/g_indfun.ml4 OCAMLDEP plugins/funind/g_indfun.ml CAMLP4O plugins/derive/g_derive.ml4 OCAMLDEP plugins/derive/g_derive.ml CAMLP4O plugins/firstorder/g_ground.ml4 OCAMLDEP plugins/firstorder/g_ground.ml OCAMLDEP kernel/copcodes.ml OCAMLDEP tools/tolink.ml OCAMLDEP tools/ocamllibdep.ml OCAMLDEP tools/gallina_lexer.ml OCAMLDEP tools/coqwc.ml OCAMLDEP tools/coqdep_lexer.ml OCAMLDEP tools/coqdoc/cpretty.ml OCAMLDEP ide/coq_lex.ml OCAMLDEP ide/xml_lexer.ml OCAMLDEP ide/utf8_convert.ml OCAMLDEP ide/config_lexer.ml OCAMLDEP grammar/compat5.ml OCAMLDEP ltac/tactic_debug.ml OCAMLDEP ltac/taccoerce.ml OCAMLDEP ltac/tacenv.ml OCAMLDEP ltac/tacinterp.ml OCAMLDEP ltac/tacentries.ml OCAMLDEP ltac/tacsubst.ml OCAMLDEP ltac/tacintern.ml OCAMLDEP ltac/tauto.ml OCAMLDEP ltac/rewrite.ml OCAMLDEP ltac/profile_ltac.ml OCAMLDEP ltac/tactic_option.ml OCAMLDEP ltac/evar_tactics.ml OCAMLDEP engine/termops.ml OCAMLDEP engine/proofview_monad.ml OCAMLDEP engine/uState.ml OCAMLDEP engine/namegen.ml OCAMLDEP engine/geninterp.ml OCAMLDEP engine/evd.ml OCAMLDEP engine/ftactic.ml OCAMLDEP engine/sigma.ml OCAMLDEP engine/proofview.ml OCAMLDEP engine/evarutil.ml OCAMLDEP engine/logic_monad.ml OCAMLDEP kernel/primitives.ml OCAMLDEP kernel/vconv.ml OCAMLDEP kernel/term_typing.ml OCAMLDEP kernel/fast_typeops.ml OCAMLDEP kernel/mod_subst.ml OCAMLDEP kernel/csymtable.ml OCAMLDEP kernel/safe_typing.ml OCAMLDEP kernel/nativecode.ml OCAMLDEP kernel/esubst.ml OCAMLDEP kernel/type_errors.ml OCAMLDEP kernel/typeops.ml OCAMLDEP kernel/univ.ml OCAMLDEP kernel/conv_oracle.ml OCAMLDEP kernel/opaqueproof.ml OCAMLDEP kernel/reduction.ml OCAMLDEP kernel/mod_typing.ml OCAMLDEP kernel/constr.ml OCAMLDEP kernel/cooking.ml OCAMLDEP kernel/cClosure.ml OCAMLDEP kernel/sorts.ml OCAMLDEP kernel/cemitcodes.ml OCAMLDEP kernel/environ.ml OCAMLDEP kernel/nativevalues.ml OCAMLDEP kernel/retroknowledge.ml OCAMLDEP kernel/inductive.ml OCAMLDEP kernel/nativelibrary.ml OCAMLDEP kernel/nativeconv.ml OCAMLDEP kernel/declareops.ml OCAMLDEP kernel/names.ml OCAMLDEP kernel/evar.ml OCAMLDEP kernel/modops.ml OCAMLDEP kernel/subtyping.ml OCAMLDEP kernel/cbytegen.ml OCAMLDEP kernel/pre_env.ml OCAMLDEP kernel/uint31.ml OCAMLDEP kernel/vm.ml OCAMLDEP kernel/vars.ml OCAMLDEP kernel/nativelib.ml OCAMLDEP kernel/context.ml OCAMLDEP kernel/uGraph.ml OCAMLDEP kernel/nativelambda.ml OCAMLDEP kernel/term.ml OCAMLDEP kernel/cbytecodes.ml OCAMLDEP kernel/indtypes.ml OCAMLDEP tools/gallina.ml OCAMLDEP tools/coq_makefile.ml OCAMLDEP tools/coqworkmgr.ml OCAMLDEP tools/coqmktop.ml OCAMLDEP tools/coqc.ml OCAMLDEP tools/coq_tex.ml OCAMLDEP tools/coqdep.ml OCAMLDEP tools/fake_ide.ml OCAMLDEP tools/coqdep_common.ml OCAMLDEP tools/coqdep_boot.ml OCAMLDEP tools/coqdoc/cdglobals.ml OCAMLDEP tools/coqdoc/tokens.ml OCAMLDEP tools/coqdoc/main.ml OCAMLDEP tools/coqdoc/output.ml OCAMLDEP tools/coqdoc/index.ml OCAMLDEP tools/coqdoc/alpha.ml OCAMLDEP tools/mkwinapp.ml OCAMLDEP parsing/tok.ml OCAMLDEP parsing/egramml.ml OCAMLDEP parsing/pcoq.ml OCAMLDEP parsing/egramcoq.ml OCAMLDEP library/universes.ml OCAMLDEP library/goptions.ml OCAMLDEP library/states.ml OCAMLDEP library/nameops.ml OCAMLDEP library/library.ml OCAMLDEP library/loadpath.ml OCAMLDEP library/keys.ml OCAMLDEP library/globnames.ml OCAMLDEP library/declare.ml OCAMLDEP library/lib.ml OCAMLDEP library/decls.ml OCAMLDEP library/nametab.ml OCAMLDEP library/heads.ml OCAMLDEP library/impargs.ml OCAMLDEP library/declaremods.ml OCAMLDEP library/kindops.ml OCAMLDEP library/global.ml OCAMLDEP library/dischargedhypsmap.ml OCAMLDEP library/libnames.ml OCAMLDEP library/libobject.ml OCAMLDEP library/summary.ml OCAMLDEP toplevel/vernacinterp.ml OCAMLDEP toplevel/vernac.ml OCAMLDEP toplevel/classes.ml OCAMLDEP toplevel/obligations.ml OCAMLDEP toplevel/explainErr.ml OCAMLDEP toplevel/indschemes.ml OCAMLDEP toplevel/class.ml OCAMLDEP toplevel/command.ml OCAMLDEP toplevel/vernacentries.ml OCAMLDEP toplevel/mltop.ml OCAMLDEP toplevel/assumptions.ml OCAMLDEP toplevel/coqloop.ml OCAMLDEP toplevel/discharge.ml OCAMLDEP toplevel/coqinit.ml OCAMLDEP toplevel/locality.ml OCAMLDEP toplevel/ind_tables.ml OCAMLDEP toplevel/record.ml OCAMLDEP toplevel/metasyntax.ml OCAMLDEP toplevel/coqtop.ml OCAMLDEP toplevel/auto_ind_decl.ml OCAMLDEP toplevel/himsg.ml OCAMLDEP toplevel/search.ml OCAMLDEP toplevel/usage.ml OCAMLDEP lib/ppstyle.ml OCAMLDEP lib/exninfo.ml OCAMLDEP lib/pp_control.ml OCAMLDEP lib/monad.ml OCAMLDEP lib/richpp.ml OCAMLDEP lib/deque.ml OCAMLDEP lib/spawn.ml OCAMLDEP lib/remoteCounter.ml OCAMLDEP lib/cSet.ml OCAMLDEP lib/explore.ml OCAMLDEP lib/minisys.ml OCAMLDEP lib/cMap.ml OCAMLDEP lib/profile.ml OCAMLDEP lib/aux_file.ml OCAMLDEP lib/envars.ml OCAMLDEP lib/control.ml OCAMLDEP lib/rtree.ml OCAMLDEP lib/cThread.ml OCAMLDEP lib/unicode.ml OCAMLDEP lib/pp.ml OCAMLDEP lib/cObj.ml OCAMLDEP lib/hashcons.ml OCAMLDEP lib/segmenttree.ml OCAMLDEP lib/cList.ml OCAMLDEP lib/loc.ml OCAMLDEP lib/cArray.ml OCAMLDEP lib/hMap.ml OCAMLDEP lib/cErrors.ml OCAMLDEP lib/cStack.ml OCAMLDEP lib/cString.ml OCAMLDEP lib/feedback.ml OCAMLDEP lib/cUnix.ml OCAMLDEP lib/future.ml OCAMLDEP lib/hashset.ml OCAMLDEP lib/bigint.ml OCAMLDEP lib/option.ml OCAMLDEP lib/unicodetable.ml OCAMLDEP lib/flags.ml OCAMLDEP lib/canary.ml OCAMLDEP lib/predicate.ml OCAMLDEP lib/iStream.ml OCAMLDEP lib/hook.ml OCAMLDEP lib/dyn.ml OCAMLDEP lib/cEphemeron.ml OCAMLDEP lib/store.ml OCAMLDEP lib/stateid.ml OCAMLDEP lib/util.ml OCAMLDEP lib/terminal.ml OCAMLDEP lib/heap.ml OCAMLDEP lib/trie.ml OCAMLDEP lib/system.ml OCAMLDEP lib/unionfind.ml OCAMLDEP lib/genarg.ml OCAMLDEP lib/int.ml OCAMLDEP lib/backtrace.ml OCAMLDEP lib/cWarnings.ml OCAMLDEP pretyping/retyping.ml OCAMLDEP pretyping/nativenorm.ml OCAMLDEP pretyping/find_subterm.ml OCAMLDEP pretyping/evarsolve.ml OCAMLDEP pretyping/cbv.ml OCAMLDEP pretyping/recordops.ml OCAMLDEP pretyping/classops.ml OCAMLDEP pretyping/program.ml OCAMLDEP pretyping/arguments_renaming.ml OCAMLDEP pretyping/patternops.ml OCAMLDEP pretyping/coercion.ml OCAMLDEP pretyping/typeclasses.ml OCAMLDEP pretyping/detyping.ml OCAMLDEP pretyping/inductiveops.ml OCAMLDEP pretyping/locusops.ml OCAMLDEP pretyping/typeclasses_errors.ml OCAMLDEP pretyping/evardefine.ml OCAMLDEP pretyping/constr_matching.ml OCAMLDEP pretyping/redops.ml OCAMLDEP pretyping/vnorm.ml OCAMLDEP pretyping/pretyping.ml OCAMLDEP pretyping/reductionops.ml OCAMLDEP pretyping/cases.ml OCAMLDEP pretyping/glob_ops.ml OCAMLDEP pretyping/indrec.ml OCAMLDEP pretyping/pretype_errors.ml OCAMLDEP pretyping/evarconv.ml OCAMLDEP pretyping/tacred.ml OCAMLDEP pretyping/unification.ml OCAMLDEP pretyping/typing.ml OCAMLDEP pretyping/miscops.ml OCAMLDEP dev/top_printers.ml OCAMLDEP dev/vm_printers.ml OCAMLDEP dev/dynlink.ml OCAMLDEP dev/db_printers.ml OCAMLDEP printing/pptactic.ml OCAMLDEP printing/ppannotation.ml OCAMLDEP printing/miscprint.ml OCAMLDEP printing/genprint.ml OCAMLDEP printing/prettyp.ml OCAMLDEP printing/printmod.ml OCAMLDEP printing/ppconstr.ml OCAMLDEP printing/printer.ml OCAMLDEP printing/pputils.ml OCAMLDEP printing/ppvernac.ml OCAMLDEP theories/Numbers/Natural/BigN/NMake_gen.ml OCAMLDEP proofs/clenv.ml OCAMLDEP proofs/logic.ml OCAMLDEP proofs/refine.ml OCAMLDEP proofs/redexpr.ml OCAMLDEP proofs/pfedit.ml OCAMLDEP proofs/proof_global.ml OCAMLDEP proofs/proof.ml OCAMLDEP proofs/evar_refiner.ml OCAMLDEP proofs/clenvtac.ml OCAMLDEP proofs/goal.ml OCAMLDEP proofs/tacmach.ml OCAMLDEP proofs/refiner.ml OCAMLDEP proofs/proof_using.ml OCAMLDEP configure.ml OCAMLDEP tactics/tactic_matching.ml OCAMLDEP tactics/elim.ml OCAMLDEP tactics/term_dnet.ml OCAMLDEP tactics/tactics.ml OCAMLDEP tactics/dn.ml OCAMLDEP tactics/tacticals.ml OCAMLDEP tactics/auto.ml OCAMLDEP tactics/dnet.ml OCAMLDEP tactics/leminv.ml OCAMLDEP tactics/contradiction.ml OCAMLDEP tactics/eqschemes.ml OCAMLDEP tactics/hipattern.ml OCAMLDEP tactics/class_tactics.ml OCAMLDEP tactics/eqdecide.ml OCAMLDEP tactics/equality.ml OCAMLDEP tactics/autorewrite.ml OCAMLDEP tactics/eauto.ml OCAMLDEP tactics/hints.ml OCAMLDEP tactics/inv.ml OCAMLDEP tactics/elimschemes.ml OCAMLDEP tactics/btermdn.ml OCAMLDEP ide/coqide_ui.ml OCAMLDEP ide/coqOps.ml OCAMLDEP ide/wg_Command.ml OCAMLDEP ide/richprinter.ml OCAMLDEP ide/coqide.ml OCAMLDEP ide/wg_Find.ml OCAMLDEP ide/xml_parser.ml OCAMLDEP ide/wg_MessageView.ml OCAMLDEP ide/session.ml OCAMLDEP ide/texmacspp.ml OCAMLDEP ide/wg_Completion.ml OCAMLDEP ide/fileOps.ml OCAMLDEP ide/wg_ProofView.ml OCAMLDEP ide/xml_printer.ml OCAMLDEP ide/utils/editable_cells.ml OCAMLDEP ide/utils/configwin.ml OCAMLDEP ide/utils/configwin_types.ml OCAMLDEP ide/utils/configwin_keys.ml OCAMLDEP ide/utils/configwin_messages.ml OCAMLDEP ide/utils/configwin_ihm.ml OCAMLDEP ide/utils/okey.ml OCAMLDEP ide/utils/config_file.ml OCAMLDEP ide/sentence.ml OCAMLDEP ide/preferences.ml OCAMLDEP ide/wg_ScriptView.ml OCAMLDEP ide/coq.ml OCAMLDEP ide/wg_Segment.ml OCAMLDEP ide/macos_prehook.ml OCAMLDEP ide/minilib.ml OCAMLDEP ide/wg_Detachable.ml OCAMLDEP ide/ideutils.ml OCAMLDEP ide/gtk_parsing.ml OCAMLDEP ide/serialize.ml OCAMLDEP ide/tags.ml OCAMLDEP ide/nanoPG.ml OCAMLDEP ide/ide_slave.ml OCAMLDEP ide/wg_Notebook.ml OCAMLDEP ide/document.ml OCAMLDEP ide/xmlprotocol.ml OCAMLDEP ide/coq_commands.ml OCAMLDEP config/coq_config.ml OCAMLDEP checker/values.ml OCAMLDEP checker/mod_checking.ml OCAMLDEP checker/safe_typing.ml OCAMLDEP checker/esubst.ml OCAMLDEP checker/type_errors.ml OCAMLDEP checker/analyze.ml OCAMLDEP checker/typeops.ml OCAMLDEP checker/univ.ml OCAMLDEP checker/reduction.ml OCAMLDEP checker/main.ml OCAMLDEP checker/check_stat.ml OCAMLDEP checker/environ.ml OCAMLDEP checker/votour.ml OCAMLDEP checker/inductive.ml OCAMLDEP checker/print.ml OCAMLDEP checker/declarations.ml OCAMLDEP checker/validate.ml OCAMLDEP checker/names.ml OCAMLDEP checker/modops.ml OCAMLDEP checker/subtyping.ml OCAMLDEP checker/closure.ml OCAMLDEP checker/check.ml OCAMLDEP checker/term.ml OCAMLDEP checker/indtypes.ml OCAMLDEP checker/checker.ml OCAMLDEP stm/proofBlockDelimiter.ml OCAMLDEP stm/workerPool.ml OCAMLDEP stm/coqworkmgrApi.ml OCAMLDEP stm/vernac_classifier.ml OCAMLDEP stm/asyncTaskQueue.ml OCAMLDEP stm/tacworkertop.ml OCAMLDEP stm/proofworkertop.ml OCAMLDEP stm/queryworkertop.ml OCAMLDEP stm/vcs.ml OCAMLDEP stm/dag.ml OCAMLDEP stm/stm.ml OCAMLDEP stm/spawned.ml OCAMLDEP stm/tQueue.ml OCAMLDEP stm/lemmas.ml OCAMLDEP stm/vio_checking.ml OCAMLDEP plugins/decl_mode/decl_interp.ml OCAMLDEP plugins/decl_mode/ppdecl_proof.ml OCAMLDEP plugins/decl_mode/decl_mode.ml OCAMLDEP plugins/decl_mode/decl_proof_instr.ml OCAMLDEP plugins/fourier/fourier.ml OCAMLDEP plugins/fourier/fourierR.ml OCAMLDEP plugins/quote/quote.ml OCAMLDEP plugins/extraction/modutil.ml OCAMLDEP plugins/extraction/big.ml OCAMLDEP plugins/extraction/extract_env.ml OCAMLDEP plugins/extraction/haskell.ml OCAMLDEP plugins/extraction/mlutil.ml OCAMLDEP plugins/extraction/json.ml OCAMLDEP plugins/extraction/ocaml.ml OCAMLDEP plugins/extraction/common.ml OCAMLDEP plugins/extraction/table.ml OCAMLDEP plugins/extraction/scheme.ml OCAMLDEP plugins/extraction/extraction.ml OCAMLDEP plugins/nsatz/polynom.ml OCAMLDEP plugins/nsatz/nsatz.ml OCAMLDEP plugins/nsatz/ideal.ml OCAMLDEP plugins/nsatz/utile.ml OCAMLDEP plugins/omega/coq_omega.ml OCAMLDEP plugins/omega/omega.ml OCAMLDEP plugins/romega/const_omega.ml OCAMLDEP plugins/romega/refl_omega.ml OCAMLDEP plugins/setoid_ring/newring.ml OCAMLDEP plugins/cc/ccalgo.ml OCAMLDEP plugins/cc/ccproof.ml OCAMLDEP plugins/cc/cctac.ml OCAMLDEP plugins/btauto/refl_btauto.ml OCAMLDEP plugins/micromega/micromega.ml OCAMLDEP plugins/micromega/sos_lib.ml OCAMLDEP plugins/micromega/sos.ml OCAMLDEP plugins/micromega/mutils.ml OCAMLDEP plugins/micromega/polynomial.ml OCAMLDEP plugins/micromega/persistent_cache.ml OCAMLDEP plugins/micromega/certificate.ml OCAMLDEP plugins/micromega/sos_types.ml OCAMLDEP plugins/micromega/mfourier.ml OCAMLDEP plugins/micromega/csdpcert.ml OCAMLDEP plugins/micromega/coq_micromega.ml OCAMLDEP plugins/rtauto/refl_tauto.ml OCAMLDEP plugins/rtauto/proof_search.ml OCAMLDEP plugins/funind/invfun.ml OCAMLDEP plugins/funind/glob_term_to_relation.ml OCAMLDEP plugins/funind/merge.ml OCAMLDEP plugins/funind/functional_principles_types.ml OCAMLDEP plugins/funind/indfun_common.ml OCAMLDEP plugins/funind/indfun.ml OCAMLDEP plugins/funind/functional_principles_proofs.ml OCAMLDEP plugins/funind/recdef.ml OCAMLDEP plugins/funind/glob_termops.ml OCAMLDEP plugins/syntax/nat_syntax.ml OCAMLDEP plugins/syntax/numbers_syntax.ml OCAMLDEP plugins/syntax/z_syntax.ml OCAMLDEP plugins/syntax/string_syntax.ml OCAMLDEP plugins/syntax/r_syntax.ml OCAMLDEP plugins/syntax/ascii_syntax.ml OCAMLDEP plugins/derive/derive.ml OCAMLDEP plugins/firstorder/formula.ml OCAMLDEP plugins/firstorder/instances.ml OCAMLDEP plugins/firstorder/rules.ml OCAMLDEP plugins/firstorder/sequent.ml OCAMLDEP plugins/firstorder/ground.ml OCAMLDEP plugins/firstorder/unify.ml OCAMLDEP interp/syntax_def.ml OCAMLDEP interp/stdarg.ml OCAMLDEP interp/constrarg.ml OCAMLDEP interp/reserve.ml OCAMLDEP interp/smartlocate.ml OCAMLDEP interp/dumpglob.ml OCAMLDEP interp/constrextern.ml OCAMLDEP interp/constrintern.ml OCAMLDEP interp/constrexpr_ops.ml OCAMLDEP interp/implicit_quantifiers.ml OCAMLDEP interp/coqlib.ml OCAMLDEP interp/topconstr.ml OCAMLDEP interp/notation_ops.ml OCAMLDEP interp/ppextend.ml OCAMLDEP interp/notation.ml OCAMLDEP interp/modintern.ml OCAMLDEP interp/genintern.ml install -m 644 doc/common/styles/html/simple/styles.hva doc/refman OCAMLC tools/coq_tex.ml OCAMLOPT tools/coq_tex.ml OCAMLBEST -o bin/coq-tex OCAMLC config/coq_config.mli OCAMLOPT config/coq_config.ml OCAMLC lib/terminal.mli OCAMLOPT lib/terminal.ml OCAMLC lib/canary.mli OCAMLOPT lib/canary.ml OCAMLC lib/hook.mli OCAMLOPT lib/hook.ml OCAMLC lib/hashset.mli OCAMLOPT lib/hashset.ml OCAMLC lib/hashcons.mli OCAMLOPT lib/hashcons.ml File "lib/hashcons.ml", line 133, characters 4-74: Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc" OCAMLC lib/cSet.mli OCAMLOPT lib/cSet.ml OCAMLC lib/cSig.mli OCAMLC lib/cMap.mli OCAMLOPT lib/cMap.ml OCAMLC lib/int.mli OCAMLOPT lib/int.ml OCAMLC lib/dyn.mli OCAMLOPT lib/dyn.ml OCAMLC lib/hMap.mli OCAMLOPT lib/hMap.ml OCAMLC lib/option.mli OCAMLOPT lib/option.ml OCAMLC lib/store.mli OCAMLOPT lib/store.ml OCAMLC lib/exninfo.mli OCAMLOPT lib/exninfo.ml OCAMLC lib/backtrace.mli OCAMLOPT lib/backtrace.ml OCAMLC lib/iStream.mli OCAMLOPT lib/iStream.ml OCAMLC lib/pp_control.mli OCAMLOPT lib/pp_control.ml OCAMLC lib/flags.mli OCAMLOPT lib/flags.ml OCAMLC lib/control.mli OCAMLOPT lib/control.ml OCAMLC lib/loc.mli OCAMLOPT lib/loc.ml OCAMLC lib/cList.mli OCAMLOPT lib/cList.ml OCAMLC lib/cString.mli File "lib/cString.mli", line 17, characters 2-75: Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc" OCAMLOPT lib/cString.ml File "lib/cString.ml", line 14, characters 2-75: Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc" File "lib/cString.ml", line 37, characters 0-73: Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc" File "lib/cString.ml", line 83, characters 10-23: Warning 3: deprecated: String.create Use Bytes.create instead. File "lib/cString.ml", line 84, characters 26-44: Warning 3: deprecated: String.set Use Bytes.set instead. OCAMLC lib/deque.mli OCAMLOPT lib/deque.ml OCAMLC lib/cObj.mli OCAMLOPT lib/cObj.ml OCAMLC lib/cArray.mli OCAMLOPT lib/cArray.ml OCAMLC lib/cStack.mli OCAMLOPT lib/cStack.ml OCAMLC lib/util.mli OCAMLOPT lib/util.ml OCAMLC lib/stateid.mli OCAMLOPT lib/stateid.ml OCAMLC lib/pp.mli OCAMLOPT lib/pp.ml File "lib/pp.ml", line 266, characters 21-40: Warning 3: deprecated: Format.pp_open_tbox Tabulation boxes are not supported any more. File "lib/pp.ml", line 283, characters 33-53: Warning 3: deprecated: Format.pp_close_tbox Tabulation boxes are not supported any more. File "lib/pp.ml", line 286, characters 33-50: Warning 3: deprecated: Format.pp_set_tab Tabulation boxes are not supported any more. File "lib/pp.ml", line 287, characters 33-55: Warning 3: deprecated: Format.pp_print_tbreak Tabulation boxes are not supported any more. OCAMLC lib/ppstyle.mli OCAMLOPT lib/ppstyle.ml OCAMLC lib/xml_datatype.mli OCAMLC lib/richpp.mli OCAMLOPT lib/richpp.ml OCAMLC lib/feedback.mli OCAMLOPT lib/feedback.ml OCAMLC lib/cUnix.mli OCAMLOPT lib/cUnix.ml OCAMLC lib/envars.mli OCAMLOPT lib/envars.ml OCAMLC lib/aux_file.mli OCAMLOPT lib/aux_file.ml File "lib/aux_file.ml", line 80, characters 27-39: Warning 3: deprecated: Scanf.fscanf Use Scanning.from_channel then Scanf.bscanf. File "lib/aux_file.ml", line 86, characters 23-35: Warning 3: deprecated: Scanf.fscanf Use Scanning.from_channel then Scanf.bscanf. OCAMLC lib/monad.mli OCAMLOPT lib/monad.ml OCAMLOPT -a -o lib/clib.cmxa OCAMLC lib/cErrors.mli OCAMLOPT lib/cErrors.ml File "lib/cErrors.ml", line 140, characters 21-46: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) File "_none_", line 1: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLC tools/tolink.ml OCAMLOPT tools/tolink.ml OCAMLC tools/coqmktop.ml File "tools/coqmktop.ml", line 42, characters 2-19: Warning 3: deprecated: String.capitalize Use String.capitalize_ascii instead. OCAMLOPT tools/coqmktop.ml File "tools/coqmktop.ml", line 42, characters 2-19: Warning 3: deprecated: String.capitalize Use String.capitalize_ascii instead. OCAMLBEST -o bin/coqmktop OCAMLC lib/cWarnings.mli OCAMLOPT lib/cWarnings.ml OCAMLC lib/bigint.mli OCAMLOPT lib/bigint.ml OCAMLC lib/segmenttree.mli OCAMLOPT lib/segmenttree.ml OCAMLC lib/unicodetable.ml OCAMLOPT lib/unicodetable.ml OCAMLC lib/unicode.mli OCAMLOPT lib/unicode.ml File "lib/unicode.ml", line 130, characters 6-38: Warning 3: deprecated: String.set Use Bytes.set instead. File "lib/unicode.ml", line 136, characters 6-47: Warning 3: deprecated: String.set Use Bytes.set instead. File "lib/unicode.ml", line 137, characters 6-40: Warning 3: deprecated: String.set Use Bytes.set instead. File "lib/unicode.ml", line 143, characters 6-47: Warning 3: deprecated: String.set Use Bytes.set instead. File "lib/unicode.ml", line 144, characters 6-49: Warning 3: deprecated: String.set Use Bytes.set instead. File "lib/unicode.ml", line 145, characters 6-42: Warning 3: deprecated: String.set Use Bytes.set instead. OCAMLC lib/system.mli OCAMLOPT lib/system.ml OCAMLC lib/cThread.mli OCAMLOPT lib/cThread.ml File "lib/cThread.ml", line 39, characters 10-23: Warning 3: deprecated: String.create Use Bytes.create instead. File "lib/cThread.ml", line 70, characters 17-30: Warning 3: deprecated: String.create Use Bytes.create instead. File "lib/cThread.ml", line 75, characters 16-29: Warning 3: deprecated: String.create Use Bytes.create instead. OCAMLC lib/spawn.mli OCAMLOPT lib/spawn.ml OCAMLC lib/trie.mli OCAMLOPT lib/trie.ml OCAMLC lib/profile.mli OCAMLOPT lib/profile.ml OCAMLC lib/explore.mli OCAMLOPT lib/explore.ml OCAMLC lib/predicate.mli OCAMLOPT lib/predicate.ml OCAMLC lib/rtree.mli OCAMLOPT lib/rtree.ml OCAMLC lib/heap.mli OCAMLOPT lib/heap.ml OCAMLC lib/unionfind.mli OCAMLOPT lib/unionfind.ml OCAMLC lib/genarg.mli OCAMLOPT lib/genarg.ml OCAMLC lib/cEphemeron.mli OCAMLOPT lib/cEphemeron.ml OCAMLC lib/future.mli OCAMLOPT lib/future.ml OCAMLC lib/remoteCounter.mli OCAMLOPT lib/remoteCounter.ml OCAMLOPT -a -o lib/lib.cmxa OCAMLC kernel/names.mli OCAMLOPT kernel/names.ml File "kernel/names.ml", line 55, characters 12-23: Warning 3: deprecated: Util.String.copy File "kernel/names.ml", line 60, characters 12-23: Warning 3: deprecated: Util.String.copy File "kernel/names.ml", line 63, characters 21-32: Warning 3: deprecated: Util.String.copy OCAMLC kernel/uint31.mli OCAMLOPT kernel/uint31.ml OCAMLC kernel/univ.mli OCAMLOPT kernel/univ.ml OCAMLC kernel/uGraph.mli OCAMLOPT kernel/uGraph.ml OCAMLC kernel/esubst.mli OCAMLOPT kernel/esubst.ml OCAMLC kernel/sorts.mli OCAMLOPT kernel/sorts.ml OCAMLC kernel/evar.mli OCAMLOPT kernel/evar.ml OCAMLC kernel/constr.mli OCAMLOPT kernel/constr.ml OCAMLC kernel/context.mli OCAMLOPT kernel/context.ml OCAMLC kernel/vars.mli OCAMLOPT kernel/vars.ml OCAMLC kernel/term.mli OCAMLOPT kernel/term.ml OCAMLC kernel/mod_subst.mli OCAMLOPT kernel/mod_subst.ml OCAMLC kernel/cbytecodes.mli OCAMLOPT kernel/cbytecodes.ml OCAMLC kernel/copcodes.ml OCAMLOPT kernel/copcodes.ml OCAMLC kernel/cemitcodes.mli OCAMLOPT kernel/cemitcodes.ml File "kernel/cemitcodes.ml", line 27, characters 2-19: Warning 3: deprecated: String.unsafe_set File "kernel/cemitcodes.ml", line 28, characters 2-19: Warning 3: deprecated: String.unsafe_set File "kernel/cemitcodes.ml", line 29, characters 2-19: Warning 3: deprecated: String.unsafe_set File "kernel/cemitcodes.ml", line 30, characters 2-19: Warning 3: deprecated: String.unsafe_set File "kernel/cemitcodes.ml", line 41, characters 13-24: Warning 3: deprecated: String.copy File "kernel/cemitcodes.ml", line 47, characters 21-34: Warning 3: deprecated: String.create Use Bytes.create instead. File "kernel/cemitcodes.ml", line 61, characters 21-34: Warning 3: deprecated: String.create Use Bytes.create instead. File "kernel/cemitcodes.ml", line 97, characters 2-46: Warning 3: deprecated: String.set Use Bytes.set instead. File "kernel/cemitcodes.ml", line 98, characters 2-54: Warning 3: deprecated: String.set Use Bytes.set instead. File "kernel/cemitcodes.ml", line 99, characters 2-55: Warning 3: deprecated: String.set Use Bytes.set instead. File "kernel/cemitcodes.ml", line 100, characters 2-55: Warning 3: deprecated: String.set Use Bytes.set instead. File "kernel/cemitcodes.ml", line 372, characters 13-26: Warning 3: deprecated: String.create Use Bytes.create instead. OCAMLC kernel/nativevalues.mli OCAMLOPT kernel/nativevalues.ml File "kernel/nativevalues.ml", line 494, characters 12-25: Warning 3: deprecated: Util.String.create Use Bytes.create instead. OCAMLC kernel/primitives.mli OCAMLOPT kernel/primitives.ml OCAMLC kernel/opaqueproof.mli OCAMLOPT kernel/opaqueproof.ml OCAMLC kernel/nativeinstr.mli OCAMLC kernel/retroknowledge.mli OCAMLC intf/decl_kinds.mli OCAMLC kernel/declarations.mli OCAMLC kernel/entries.mli OCAMLC kernel/declareops.mli OCAMLOPT kernel/declareops.ml OCAMLOPT kernel/retroknowledge.ml OCAMLC kernel/conv_oracle.mli OCAMLOPT kernel/conv_oracle.ml OCAMLC kernel/pre_env.mli OCAMLOPT kernel/pre_env.ml OCAMLC kernel/cbytegen.mli OCAMLOPT kernel/cbytegen.ml OCAMLC kernel/nativelambda.mli OCAMLOPT kernel/nativelambda.ml OCAMLC kernel/nativecode.mli OCAMLOPT kernel/nativecode.ml OCAMLC kernel/nativelib.mli OCAMLOPT kernel/nativelib.ml File "kernel/nativelib.ml", line 38, characters 3-25: Warning 3: deprecated: Filename.temp_dir_name Use Filename.get_temp_dir_name instead OCAMLC kernel/environ.mli OCAMLOPT kernel/environ.ml OCAMLC kernel/cClosure.mli OCAMLOPT kernel/cClosure.ml OCAMLC kernel/reduction.mli OCAMLOPT kernel/reduction.ml OCAMLC kernel/nativeconv.mli OCAMLOPT kernel/nativeconv.ml OCAMLC kernel/type_errors.mli OCAMLOPT kernel/type_errors.ml OCAMLC kernel/modops.mli OCAMLOPT kernel/modops.ml OCAMLC kernel/inductive.mli OCAMLOPT kernel/inductive.ml OCAMLC kernel/typeops.mli OCAMLOPT kernel/typeops.ml OCAMLC kernel/fast_typeops.mli OCAMLOPT kernel/fast_typeops.ml OCAMLC kernel/indtypes.mli OCAMLOPT kernel/indtypes.ml OCAMLC kernel/cooking.mli OCAMLOPT kernel/cooking.ml OCAMLC kernel/term_typing.mli OCAMLOPT kernel/term_typing.ml File "kernel/term_typing.ml", line 78, characters 51-66: Warning 3: deprecated: Util.String.set Use Bytes.set instead. OCAMLC kernel/subtyping.mli OCAMLOPT kernel/subtyping.ml OCAMLC kernel/mod_typing.mli OCAMLOPT kernel/mod_typing.ml OCAMLC kernel/nativelibrary.mli OCAMLOPT kernel/nativelibrary.ml OCAMLC kernel/safe_typing.mli OCAMLOPT kernel/safe_typing.ml OCAMLC kernel/vm.mli OCAMLOPT kernel/vm.ml OCAMLC kernel/csymtable.mli OCAMLOPT kernel/csymtable.ml OCAMLC kernel/vconv.mli OCAMLOPT kernel/vconv.ml OCAMLOPT -a -o kernel/kernel.cmxa OCAMLC library/nameops.mli OCAMLOPT library/nameops.ml File "library/nameops.ml", line 64, characters 26-37: Warning 3: deprecated: Util.String.copy File "library/nameops.ml", line 83, characters 13-24: Warning 3: deprecated: Util.String.copy File "library/nameops.ml", line 84, characters 1-12: Warning 3: deprecated: Util.String.fill Use Bytes.fill instead. File "library/nameops.ml", line 85, characters 1-47: Warning 3: deprecated: Util.String.set Use Bytes.set instead. File "library/nameops.ml", line 91, characters 1-12: Warning 3: deprecated: Util.String.fill Use Bytes.fill instead. File "library/nameops.ml", line 92, characters 1-26: Warning 3: deprecated: Util.String.set Use Bytes.set instead. OCAMLC library/libnames.mli OCAMLOPT library/libnames.ml OCAMLC library/globnames.mli OCAMLOPT library/globnames.ml OCAMLC library/libobject.mli OCAMLOPT library/libobject.ml OCAMLC library/summary.mli OCAMLOPT library/summary.ml OCAMLC library/nametab.mli OCAMLOPT library/nametab.ml OCAMLC library/global.mli OCAMLOPT library/global.ml OCAMLC library/universes.mli OCAMLOPT library/universes.ml OCAMLC library/lib.mli OCAMLOPT library/lib.ml OCAMLC intf/misctypes.mli OCAMLC engine/uState.mli OCAMLC intf/evar_kinds.mli OCAMLC engine/evd.mli OCAMLC engine/sigma.mli OCAMLC intf/pattern.mli OCAMLC intf/glob_term.mli OCAMLC engine/logic_monad.mli OCAMLC engine/proofview_monad.mli OCAMLC proofs/goal.mli OCAMLC engine/proofview.mli OCAMLC engine/ftactic.mli OCAMLC engine/geninterp.mli OCAMLC engine/evarutil.mli OCAMLC pretyping/pretyping.mli OCAMLC intf/locus.mli OCAMLC intf/genredexpr.mli OCAMLC intf/constrexpr.mli OCAMLC intf/tacexpr.mli OCAMLC library/goptions.mli OCAMLC parsing/tok.mli OCAMLC parsing/compat.ml OCAMLC parsing/cLexer.mli OCAMLC intf/extend.mli OCAMLC intf/vernacexpr.mli OCAMLC library/declaremods.mli OCAMLOPT library/declaremods.ml OCAMLC library/loadpath.mli OCAMLOPT library/loadpath.ml OCAMLC library/library.mli OCAMLOPT library/library.ml OCAMLC library/states.mli OCAMLOPT library/states.ml OCAMLC library/kindops.mli OCAMLOPT library/kindops.ml OCAMLC library/dischargedhypsmap.mli OCAMLOPT library/dischargedhypsmap.ml OCAMLOPT library/goptions.ml OCAMLC library/decls.mli OCAMLOPT library/decls.ml OCAMLC library/heads.mli OCAMLOPT library/heads.ml OCAMLC library/keys.mli OCAMLOPT library/keys.ml OCAMLOPT -a -o library/library.cmxa OCAMLOPT engine/logic_monad.ml OCAMLC engine/termops.mli OCAMLOPT engine/termops.ml OCAMLC engine/namegen.mli OCAMLOPT engine/namegen.ml OCAMLOPT engine/uState.ml OCAMLOPT engine/evd.ml OCAMLOPT engine/sigma.ml OCAMLOPT engine/proofview_monad.ml OCAMLOPT engine/evarutil.ml OCAMLOPT engine/proofview.ml OCAMLOPT engine/ftactic.ml OCAMLOPT engine/geninterp.ml OCAMLOPT -a -o engine/engine.cmxa OCAMLC pretyping/locusops.mli OCAMLOPT pretyping/locusops.ml OCAMLC pretyping/pretype_errors.mli OCAMLOPT pretyping/pretype_errors.ml OCAMLC pretyping/reductionops.mli OCAMLOPT pretyping/reductionops.ml OCAMLC pretyping/inductiveops.mli OCAMLOPT pretyping/inductiveops.ml OCAMLC pretyping/vnorm.mli OCAMLOPT pretyping/vnorm.ml OCAMLC pretyping/arguments_renaming.mli OCAMLOPT pretyping/arguments_renaming.ml OCAMLC pretyping/nativenorm.mli OCAMLOPT pretyping/nativenorm.ml OCAMLC pretyping/retyping.mli OCAMLOPT pretyping/retyping.ml OCAMLC pretyping/cbv.mli OCAMLOPT pretyping/cbv.ml OCAMLC pretyping/find_subterm.mli OCAMLOPT pretyping/find_subterm.ml OCAMLC pretyping/evardefine.mli OCAMLOPT pretyping/evardefine.ml OCAMLC pretyping/evarsolve.mli OCAMLOPT pretyping/evarsolve.ml OCAMLC pretyping/recordops.mli OCAMLOPT pretyping/recordops.ml OCAMLC pretyping/evarconv.mli OCAMLOPT pretyping/evarconv.ml OCAMLC pretyping/typing.mli OCAMLOPT pretyping/typing.ml OCAMLC pretyping/miscops.mli OCAMLOPT pretyping/miscops.ml OCAMLC pretyping/glob_ops.mli OCAMLOPT pretyping/glob_ops.ml OCAMLC pretyping/redops.mli OCAMLOPT pretyping/redops.ml OCAMLC pretyping/patternops.mli OCAMLOPT pretyping/patternops.ml OCAMLC pretyping/constr_matching.mli OCAMLOPT pretyping/constr_matching.ml OCAMLC pretyping/tacred.mli OCAMLOPT pretyping/tacred.ml OCAMLC pretyping/typeclasses_errors.mli OCAMLOPT pretyping/typeclasses_errors.ml OCAMLC pretyping/typeclasses.mli OCAMLOPT pretyping/typeclasses.ml OCAMLC pretyping/classops.mli OCAMLOPT pretyping/classops.ml OCAMLC pretyping/program.mli OCAMLOPT pretyping/program.ml OCAMLC pretyping/coercion.mli OCAMLOPT pretyping/coercion.ml OCAMLC pretyping/detyping.mli OCAMLOPT pretyping/detyping.ml OCAMLC pretyping/indrec.mli OCAMLOPT pretyping/indrec.ml OCAMLC pretyping/cases.mli OCAMLOPT pretyping/cases.ml OCAMLOPT pretyping/pretyping.ml OCAMLC pretyping/unification.mli OCAMLOPT pretyping/unification.ml File "pretyping/unification.ml", line 1053, characters 28-54: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLOPT -a -o pretyping/pretyping.cmxa OCAMLC interp/stdarg.mli OCAMLOPT interp/stdarg.ml OCAMLC interp/constrarg.mli OCAMLOPT interp/constrarg.ml OCAMLC interp/genintern.mli OCAMLOPT interp/genintern.ml OCAMLC interp/constrexpr_ops.mli OCAMLOPT interp/constrexpr_ops.ml OCAMLC intf/notation_term.mli OCAMLC interp/notation_ops.mli OCAMLOPT interp/notation_ops.ml OCAMLC interp/ppextend.mli OCAMLOPT interp/ppextend.ml OCAMLC interp/notation.mli OCAMLOPT interp/notation.ml OCAMLC interp/dumpglob.mli OCAMLOPT interp/dumpglob.ml File "interp/dumpglob.ml", line 184, characters 7-22: Warning 3: deprecated: Util.String.set Use Bytes.set instead. File "interp/dumpglob.ml", line 187, characters 6-22: Warning 3: deprecated: Util.String.set Use Bytes.set instead. File "interp/dumpglob.ml", line 193, characters 28-44: Warning 3: deprecated: Util.String.set Use Bytes.set instead. File "interp/dumpglob.ml", line 194, characters 3-22: Warning 3: deprecated: Util.String.set Use Bytes.set instead. File "interp/dumpglob.ml", line 197, characters 6-22: Warning 3: deprecated: Util.String.set Use Bytes.set instead. File "interp/dumpglob.ml", line 199, characters 21-36: Warning 3: deprecated: Util.String.set Use Bytes.set instead. OCAMLC interp/syntax_def.mli OCAMLOPT interp/syntax_def.ml OCAMLC interp/smartlocate.mli OCAMLOPT interp/smartlocate.ml OCAMLC interp/topconstr.mli OCAMLOPT interp/topconstr.ml OCAMLC interp/reserve.mli OCAMLOPT interp/reserve.ml OCAMLC library/impargs.mli OCAMLOPT library/impargs.ml OCAMLC interp/implicit_quantifiers.mli OCAMLOPT interp/implicit_quantifiers.ml OCAMLC interp/constrintern.mli OCAMLOPT interp/constrintern.ml OCAMLC interp/modintern.mli OCAMLOPT interp/modintern.ml OCAMLC interp/constrextern.mli OCAMLOPT interp/constrextern.ml OCAMLC interp/coqlib.mli OCAMLOPT interp/coqlib.ml OCAMLC toplevel/discharge.mli OCAMLOPT toplevel/discharge.ml OCAMLC library/declare.mli OCAMLOPT library/declare.ml OCAMLOPT -a -o interp/interp.cmxa OCAMLC printing/miscprint.mli OCAMLOPT printing/miscprint.ml OCAMLOPT proofs/goal.ml OCAMLC proofs/evar_refiner.mli OCAMLOPT proofs/evar_refiner.ml OCAMLC proofs/proof_using.mli OCAMLOPT proofs/proof_using.ml OCAMLC proofs/proof_type.mli OCAMLC proofs/logic.mli OCAMLOPT proofs/logic.ml OCAMLC proofs/refine.mli OCAMLOPT proofs/refine.ml OCAMLC proofs/proof.mli OCAMLOPT proofs/proof.ml OCAMLC proofs/proof_global.mli OCAMLOPT proofs/proof_global.ml OCAMLC proofs/redexpr.mli OCAMLOPT proofs/redexpr.ml OCAMLC proofs/refiner.mli OCAMLOPT proofs/refiner.ml OCAMLC proofs/tacmach.mli OCAMLOPT proofs/tacmach.ml OCAMLC proofs/pfedit.mli OCAMLOPT proofs/pfedit.ml OCAMLC proofs/clenv.mli OCAMLOPT proofs/clenv.ml OCAMLC proofs/clenvtac.mli OCAMLOPT proofs/clenvtac.ml OCAMLOPT -a -o proofs/proofs.cmxa OCAMLOPT parsing/tok.ml OCAMLOPT parsing/compat.ml OCAMLOPT parsing/cLexer.ml File "parsing/cLexer.ml4", line 243, characters 16-29: Warning 3: deprecated: Util.String.create Use Bytes.create instead. File "parsing/cLexer.ml4", line 247, characters 20-33: Warning 3: deprecated: Util.String.create Use Bytes.create instead. File "parsing/cLexer.ml4", line 719, characters 13-26: Warning 3: deprecated: Util.String.create Use Bytes.create instead. OCAMLC parsing/pcoq.mli OCAMLOPT parsing/pcoq.ml OCAMLC parsing/egramml.mli OCAMLOPT parsing/egramml.ml OCAMLC parsing/egramcoq.mli OCAMLOPT parsing/egramcoq.ml OCAMLOPT -a -o parsing/parsing.cmxa OCAMLC printing/genprint.mli OCAMLOPT printing/genprint.ml OCAMLC printing/pputils.mli OCAMLOPT printing/pputils.ml OCAMLC printing/ppannotation.mli OCAMLOPT printing/ppannotation.ml OCAMLC printing/ppconstrsig.mli OCAMLC printing/ppconstr.mli OCAMLOPT printing/ppconstr.ml OCAMLC printing/printer.mli OCAMLOPT printing/printer.ml OCAMLC printing/pptacticsig.mli OCAMLC printing/pptactic.mli OCAMLOPT printing/pptactic.ml OCAMLC printing/printmodsig.mli OCAMLC printing/printmod.mli OCAMLOPT printing/printmod.ml OCAMLC printing/prettyp.mli OCAMLOPT printing/prettyp.ml OCAMLC printing/ppvernacsig.mli OCAMLC printing/ppvernac.mli OCAMLOPT printing/ppvernac.ml OCAMLOPT -a -o printing/printing.cmxa OCAMLC tactics/dnet.mli OCAMLOPT tactics/dnet.ml OCAMLC tactics/dn.mli OCAMLOPT tactics/dn.ml OCAMLC tactics/btermdn.mli OCAMLOPT tactics/btermdn.ml OCAMLC tactics/tacticals.mli OCAMLOPT tactics/tacticals.ml OCAMLC tactics/hipattern.mli OCAMLOPT tactics/hipattern.ml OCAMLC toplevel/ind_tables.mli OCAMLOPT toplevel/ind_tables.ml OCAMLC tactics/eqschemes.mli OCAMLOPT tactics/eqschemes.ml OCAMLC tactics/elimschemes.mli OCAMLOPT tactics/elimschemes.ml OCAMLC tactics/tactics.mli OCAMLOPT tactics/tactics.ml OCAMLC tactics/elim.mli OCAMLOPT tactics/elim.ml OCAMLC tactics/equality.mli OCAMLOPT tactics/equality.ml OCAMLC tactics/contradiction.mli OCAMLOPT tactics/contradiction.ml OCAMLC tactics/inv.mli OCAMLOPT tactics/inv.ml OCAMLC tactics/leminv.mli OCAMLOPT tactics/leminv.ml OCAMLC tactics/hints.mli OCAMLOPT tactics/hints.ml OCAMLC tactics/auto.mli OCAMLOPT tactics/auto.ml OCAMLC tactics/eauto.mli OCAMLOPT tactics/eauto.ml OCAMLC tactics/class_tactics.mli OCAMLOPT tactics/class_tactics.ml OCAMLC tactics/tactic_matching.mli OCAMLOPT tactics/tactic_matching.ml OCAMLC tactics/term_dnet.mli OCAMLOPT tactics/term_dnet.ml OCAMLC tactics/eqdecide.mli OCAMLOPT tactics/eqdecide.ml OCAMLC tactics/autorewrite.mli OCAMLOPT tactics/autorewrite.ml OCAMLOPT -a -o tactics/tactics.cmxa OCAMLC stm/spawned.mli OCAMLOPT stm/spawned.ml OCAMLC stm/dag.mli OCAMLOPT stm/dag.ml OCAMLC stm/vcs.mli OCAMLOPT stm/vcs.ml OCAMLC stm/tQueue.mli OCAMLOPT stm/tQueue.ml OCAMLC stm/workerPool.mli OCAMLOPT stm/workerPool.ml OCAMLC stm/vernac_classifier.mli OCAMLOPT stm/vernac_classifier.ml OCAMLC stm/lemmas.mli OCAMLOPT stm/lemmas.ml OCAMLC stm/coqworkmgrApi.mli OCAMLOPT stm/coqworkmgrApi.ml OCAMLC stm/asyncTaskQueue.mli OCAMLOPT stm/asyncTaskQueue.ml OCAMLC stm/stm.mli OCAMLOPT stm/stm.ml OCAMLC stm/proofBlockDelimiter.mli OCAMLOPT stm/proofBlockDelimiter.ml OCAMLC stm/vio_checking.mli OCAMLOPT stm/vio_checking.ml OCAMLOPT -a -o stm/stm.cmxa OCAMLC toplevel/himsg.mli OCAMLOPT toplevel/himsg.ml OCAMLC toplevel/explainErr.mli OCAMLOPT toplevel/explainErr.ml OCAMLC toplevel/class.mli OCAMLOPT toplevel/class.ml OCAMLC toplevel/locality.mli OCAMLOPT toplevel/locality.ml OCAMLC toplevel/metasyntax.mli OCAMLOPT toplevel/metasyntax.ml OCAMLC toplevel/auto_ind_decl.mli OCAMLOPT toplevel/auto_ind_decl.ml OCAMLC toplevel/search.mli OCAMLOPT toplevel/search.ml OCAMLC toplevel/indschemes.mli OCAMLOPT toplevel/indschemes.ml OCAMLC toplevel/obligations.mli OCAMLOPT toplevel/obligations.ml OCAMLC toplevel/command.mli OCAMLOPT toplevel/command.ml OCAMLC toplevel/classes.mli OCAMLOPT toplevel/classes.ml OCAMLC toplevel/record.mli OCAMLOPT toplevel/record.ml OCAMLC toplevel/assumptions.mli OCAMLOPT toplevel/assumptions.ml OCAMLC toplevel/vernacinterp.mli OCAMLOPT toplevel/vernacinterp.ml OCAMLC toplevel/mltop.mli OCAMLOPT toplevel/mltop.ml OCAMLC toplevel/vernacentries.mli OCAMLOPT toplevel/vernacentries.ml OCAMLC toplevel/vernac.mli OCAMLOPT toplevel/vernac.ml File "toplevel/vernac.ml", line 108, characters 9-22: Warning 3: deprecated: Util.String.create Use Bytes.create instead. File "toplevel/vernac.ml", line 167, characters 31-43: Warning 3: deprecated: Util.String.set Use Bytes.set instead. OCAMLC toplevel/usage.mli OCAMLOPT toplevel/usage.ml OCAMLC toplevel/coqloop.mli OCAMLOPT toplevel/coqloop.ml File "toplevel/coqloop.ml", line 32, characters 13-26: Warning 3: deprecated: Util.String.create Use Bytes.create instead. File "toplevel/coqloop.ml", line 69, characters 4-28: Warning 3: deprecated: Util.String.set Use Bytes.set instead. File "toplevel/coqloop.ml", line 121, characters 26-41: Warning 3: deprecated: Util.String.set Use Bytes.set instead. OCAMLC toplevel/coqinit.mli OCAMLOPT toplevel/coqinit.ml OCAMLC toplevel/coqtop.mli OCAMLOPT toplevel/coqtop.ml OCAMLOPT -a -o toplevel/toplevel.cmxa OCAMLC parsing/g_constr.ml OCAMLOPT parsing/g_constr.ml OCAMLC parsing/g_vernac.ml OCAMLOPT parsing/g_vernac.ml OCAMLC parsing/g_prim.ml OCAMLOPT parsing/g_prim.ml OCAMLC parsing/g_proofs.ml OCAMLOPT parsing/g_proofs.ml OCAMLC parsing/g_tactic.ml OCAMLOPT parsing/g_tactic.ml OCAMLOPT -a -o parsing/highparsing.cmxa OCAMLC ltac/taccoerce.mli OCAMLOPT ltac/taccoerce.ml OCAMLC ltac/tacsubst.mli OCAMLOPT ltac/tacsubst.ml OCAMLC ltac/tacenv.mli OCAMLOPT ltac/tacenv.ml OCAMLC ltac/tactic_debug.mli OCAMLOPT ltac/tactic_debug.ml OCAMLC ltac/tacintern.mli OCAMLOPT ltac/tacintern.ml OCAMLC ltac/tacentries.mli OCAMLOPT ltac/tacentries.ml File "ltac/tacentries.ml", line 223, characters 8-9: Warning 56: this match case is unreachable. Consider replacing it with a refutation case ' -> .' OCAMLC ltac/profile_ltac.mli OCAMLOPT ltac/profile_ltac.ml File "ltac/profile_ltac.ml", line 260, characters 59-71: Warning 3: deprecated: Util.String.set Use Bytes.set instead. OCAMLC ltac/tacinterp.mli OCAMLOPT ltac/tacinterp.ml OCAMLC ltac/evar_tactics.mli OCAMLOPT ltac/evar_tactics.ml OCAMLC ltac/tactic_option.mli OCAMLOPT ltac/tactic_option.ml OCAMLC ltac/extraargs.mli OCAMLOPT ltac/extraargs.ml OCAMLC ltac/g_obligations.ml OCAMLOPT ltac/g_obligations.ml OCAMLC ltac/coretactics.ml OCAMLOPT ltac/coretactics.ml OCAMLC ltac/extratactics.mli OCAMLOPT ltac/extratactics.ml OCAMLC ltac/profile_ltac_tactics.ml OCAMLOPT ltac/profile_ltac_tactics.ml OCAMLC ltac/g_auto.ml OCAMLOPT ltac/g_auto.ml OCAMLC ltac/g_class.ml OCAMLOPT ltac/g_class.ml OCAMLC ltac/rewrite.mli OCAMLOPT ltac/rewrite.ml OCAMLC ltac/g_rewrite.ml OCAMLOPT ltac/g_rewrite.ml OCAMLC ltac/tauto.mli OCAMLOPT ltac/tauto.ml OCAMLC ltac/g_eqdecide.ml OCAMLOPT ltac/g_eqdecide.ml OCAMLC ltac/g_ltac.ml OCAMLOPT ltac/g_ltac.ml OCAMLOPT -a -o ltac/ltac.cmxa OCAMLC kernel/byterun/coq_fix_code.c OCAMLC kernel/byterun/coq_memory.c OCAMLC kernel/byterun/coq_values.c OCAMLC kernel/byterun/coq_interp.c cd kernel/byterun/ && \ "/usr/bin/ocamlfind" ocamlmklib -oc coqrun coq_fix_code.o coq_memory.o coq_values.o coq_interp.o OCAMLC stm/proofworkertop.ml OCAMLOPT stm/proofworkertop.ml OCAMLOPT -shared -o stm/proofworkertop.cmxs OCAMLC stm/tacworkertop.ml OCAMLOPT stm/tacworkertop.ml OCAMLOPT -shared -o stm/tacworkertop.cmxs OCAMLC stm/queryworkertop.ml OCAMLOPT stm/queryworkertop.ml OCAMLOPT -shared -o stm/queryworkertop.cmxs COQMKTOP -o bin/coqtop findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/lib/ocaml, /usr/lib/ocaml/compiler-libs strip bin/coqtop true bin/coqtop COQC -noinit theories/Init/Notations.v COQC -noinit theories/Init/Logic.v OCAMLC plugins/syntax/nat_syntax.ml OCAMLC -pack -o plugins/syntax/nat_syntax_plugin.cmo OCAMLOPT plugins/syntax/nat_syntax.ml OCAMLOPT -pack -o plugins/syntax/nat_syntax_plugin.cmx OCAMLOPT -shared -o plugins/syntax/nat_syntax_plugin.cmxs COQC -noinit theories/Init/Datatypes.v COQC -noinit theories/Init/Logic_Type.v COQC -noinit theories/Init/Specif.v COQC -noinit theories/Init/Nat.v COQC -noinit theories/Init/Peano.v COQC -noinit theories/Init/Wf.v COQC -noinit theories/Init/Tactics.v COQC -noinit theories/Init/Tauto.v OCAMLC plugins/extraction/miniml.mli OCAMLC plugins/extraction/table.mli OCAMLC plugins/extraction/table.ml File "plugins/extraction/table.ml", line 58, characters 16-33: Warning 3: deprecated: Util.String.capitalize Use String.capitalize_ascii instead. File "plugins/extraction/table.ml", line 776, characters 10-21: Warning 3: deprecated: Util.String.copy File "plugins/extraction/table.ml", line 777, characters 26-41: Warning 3: deprecated: Util.String.set Use Bytes.set instead. File "plugins/extraction/table.ml", line 782, characters 56-73: Warning 3: deprecated: Util.String.capitalize Use String.capitalize_ascii instead. OCAMLC plugins/extraction/mlutil.mli OCAMLC plugins/extraction/mlutil.ml OCAMLC plugins/extraction/modutil.mli OCAMLC plugins/extraction/modutil.ml OCAMLC plugins/extraction/extraction.mli OCAMLC plugins/extraction/extraction.ml OCAMLC plugins/extraction/common.mli OCAMLC plugins/extraction/common.ml File "plugins/extraction/common.ml", line 95, characters 12-23: Warning 3: deprecated: Util.String.copy File "plugins/extraction/common.ml", line 96, characters 60-72: Warning 3: deprecated: Util.String.set Use Bytes.set instead. File "plugins/extraction/common.ml", line 113, characters 36-55: Warning 3: deprecated: Util.String.uncapitalize Use String.uncapitalize_ascii instead. File "plugins/extraction/common.ml", line 118, characters 21-38: Warning 3: deprecated: Util.String.capitalize Use String.capitalize_ascii instead. OCAMLC plugins/extraction/ocaml.mli OCAMLC plugins/extraction/ocaml.ml OCAMLC plugins/extraction/haskell.mli OCAMLC plugins/extraction/haskell.ml File "plugins/extraction/haskell.ml", line 24, characters 26-45: Warning 3: deprecated: Util.String.uncapitalize Use String.uncapitalize_ascii instead. File "plugins/extraction/haskell.ml", line 25, characters 26-43: Warning 3: deprecated: Util.String.capitalize Use String.capitalize_ascii instead. OCAMLC plugins/extraction/scheme.mli OCAMLC plugins/extraction/scheme.ml File "plugins/extraction/scheme.ml", line 45, characters 26-38: Warning 3: deprecated: Util.String.set Use Bytes.set instead. OCAMLC plugins/extraction/json.mli OCAMLC plugins/extraction/json.ml OCAMLC plugins/extraction/extract_env.mli OCAMLC plugins/extraction/extract_env.ml OCAMLC plugins/extraction/g_extraction.ml OCAMLC -pack -o plugins/extraction/extraction_plugin.cmo OCAMLOPT plugins/extraction/table.ml File "plugins/extraction/table.ml", line 58, characters 16-33: Warning 3: deprecated: Util.String.capitalize Use String.capitalize_ascii instead. File "plugins/extraction/table.ml", line 776, characters 10-21: Warning 3: deprecated: Util.String.copy File "plugins/extraction/table.ml", line 777, characters 26-41: Warning 3: deprecated: Util.String.set Use Bytes.set instead. File "plugins/extraction/table.ml", line 782, characters 56-73: Warning 3: deprecated: Util.String.capitalize Use String.capitalize_ascii instead. OCAMLOPT plugins/extraction/mlutil.ml OCAMLOPT plugins/extraction/modutil.ml OCAMLOPT plugins/extraction/extraction.ml OCAMLOPT plugins/extraction/common.ml File "plugins/extraction/common.ml", line 95, characters 12-23: Warning 3: deprecated: Util.String.copy File "plugins/extraction/common.ml", line 96, characters 60-72: Warning 3: deprecated: Util.String.set Use Bytes.set instead. File "plugins/extraction/common.ml", line 113, characters 36-55: Warning 3: deprecated: Util.String.uncapitalize Use String.uncapitalize_ascii instead. File "plugins/extraction/common.ml", line 118, characters 21-38: Warning 3: deprecated: Util.String.capitalize Use String.capitalize_ascii instead. OCAMLOPT plugins/extraction/ocaml.ml OCAMLOPT plugins/extraction/haskell.ml File "plugins/extraction/haskell.ml", line 24, characters 26-45: Warning 3: deprecated: Util.String.uncapitalize Use String.uncapitalize_ascii instead. File "plugins/extraction/haskell.ml", line 25, characters 26-43: Warning 3: deprecated: Util.String.capitalize Use String.capitalize_ascii instead. OCAMLOPT plugins/extraction/scheme.ml File "plugins/extraction/scheme.ml", line 45, characters 26-38: Warning 3: deprecated: Util.String.set Use Bytes.set instead. OCAMLOPT plugins/extraction/json.ml OCAMLOPT plugins/extraction/extract_env.ml OCAMLOPT plugins/extraction/g_extraction.ml OCAMLOPT -pack -o plugins/extraction/extraction_plugin.cmx OCAMLOPT -shared -o plugins/extraction/extraction_plugin.cmxs OCAMLC plugins/decl_mode/decl_expr.mli OCAMLC plugins/decl_mode/decl_mode.mli OCAMLC plugins/decl_mode/decl_mode.ml OCAMLC plugins/decl_mode/decl_interp.mli OCAMLC plugins/decl_mode/decl_interp.ml OCAMLC plugins/decl_mode/decl_proof_instr.mli OCAMLC plugins/decl_mode/decl_proof_instr.ml File "plugins/decl_mode/decl_proof_instr.ml", line 1492, characters 27-31: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLC plugins/decl_mode/ppdecl_proof.mli OCAMLC plugins/decl_mode/ppdecl_proof.ml OCAMLC plugins/decl_mode/g_decl_mode.ml OCAMLC -pack -o plugins/decl_mode/decl_mode_plugin.cmo OCAMLOPT plugins/decl_mode/decl_mode.ml OCAMLOPT plugins/decl_mode/decl_interp.ml OCAMLOPT plugins/decl_mode/decl_proof_instr.ml File "plugins/decl_mode/decl_proof_instr.ml", line 1492, characters 27-31: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLOPT plugins/decl_mode/ppdecl_proof.ml OCAMLOPT plugins/decl_mode/g_decl_mode.ml OCAMLOPT -pack -o plugins/decl_mode/decl_mode_plugin.cmx OCAMLOPT -shared -o plugins/decl_mode/decl_mode_plugin.cmxs OCAMLC plugins/cc/ccalgo.mli OCAMLC plugins/cc/ccalgo.ml OCAMLC plugins/cc/ccproof.mli OCAMLC plugins/cc/ccproof.ml OCAMLC plugins/cc/cctac.mli OCAMLC plugins/cc/cctac.ml OCAMLC plugins/cc/g_congruence.ml OCAMLC -pack -o plugins/cc/cc_plugin.cmo OCAMLOPT plugins/cc/ccalgo.ml OCAMLOPT plugins/cc/ccproof.ml OCAMLOPT plugins/cc/cctac.ml OCAMLOPT plugins/cc/g_congruence.ml OCAMLOPT -pack -o plugins/cc/cc_plugin.cmx OCAMLOPT -shared -o plugins/cc/cc_plugin.cmxs OCAMLC plugins/firstorder/formula.mli OCAMLC plugins/firstorder/formula.ml OCAMLC plugins/firstorder/unify.mli OCAMLC plugins/firstorder/unify.ml OCAMLC plugins/firstorder/sequent.mli OCAMLC plugins/firstorder/sequent.ml OCAMLC plugins/firstorder/rules.mli OCAMLC plugins/firstorder/rules.ml OCAMLC plugins/firstorder/instances.mli OCAMLC plugins/firstorder/instances.ml OCAMLC plugins/firstorder/ground.mli OCAMLC plugins/firstorder/ground.ml OCAMLC plugins/firstorder/g_ground.ml OCAMLC -pack -o plugins/firstorder/ground_plugin.cmo OCAMLOPT plugins/firstorder/formula.ml OCAMLOPT plugins/firstorder/unify.ml OCAMLOPT plugins/firstorder/sequent.ml OCAMLOPT plugins/firstorder/rules.ml OCAMLOPT plugins/firstorder/instances.ml OCAMLOPT plugins/firstorder/ground.ml OCAMLOPT plugins/firstorder/g_ground.ml OCAMLOPT -pack -o plugins/firstorder/ground_plugin.cmx OCAMLOPT -shared -o plugins/firstorder/ground_plugin.cmxs OCAMLC plugins/funind/indfun_common.mli OCAMLC plugins/funind/indfun_common.ml File "plugins/funind/indfun_common.ml", line 28, characters 24-45: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLC plugins/funind/glob_termops.mli OCAMLC plugins/funind/glob_termops.ml OCAMLC plugins/funind/recdef.mli OCAMLC plugins/funind/recdef.ml File "plugins/funind/recdef.ml", line 1413, characters 15-40: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLC plugins/funind/glob_term_to_relation.mli OCAMLC plugins/funind/glob_term_to_relation.ml OCAMLC plugins/funind/functional_principles_proofs.mli OCAMLC plugins/funind/functional_principles_proofs.ml File "plugins/funind/functional_principles_proofs.ml", line 536, characters 18-28: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLC plugins/funind/functional_principles_types.mli OCAMLC plugins/funind/functional_principles_types.ml OCAMLC plugins/funind/invfun.ml File "plugins/funind/invfun.ml", line 1035, characters 22-24: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) File "plugins/funind/invfun.ml", line 1045, characters 14-16: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLC plugins/funind/indfun.mli OCAMLC plugins/funind/indfun.ml OCAMLC plugins/funind/merge.ml OCAMLC plugins/funind/g_indfun.ml OCAMLC -pack -o plugins/funind/recdef_plugin.cmo OCAMLOPT plugins/funind/indfun_common.ml File "plugins/funind/indfun_common.ml", line 28, characters 24-45: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLOPT plugins/funind/glob_termops.ml OCAMLOPT plugins/funind/recdef.ml File "plugins/funind/recdef.ml", line 1413, characters 15-40: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLOPT plugins/funind/glob_term_to_relation.ml OCAMLOPT plugins/funind/functional_principles_proofs.ml File "plugins/funind/functional_principles_proofs.ml", line 536, characters 18-28: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLOPT plugins/funind/functional_principles_types.ml OCAMLOPT plugins/funind/invfun.ml File "plugins/funind/invfun.ml", line 1035, characters 22-24: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) File "plugins/funind/invfun.ml", line 1045, characters 14-16: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLOPT plugins/funind/indfun.ml OCAMLOPT plugins/funind/merge.ml OCAMLOPT plugins/funind/g_indfun.ml OCAMLOPT -pack -o plugins/funind/recdef_plugin.cmx OCAMLOPT -shared -o plugins/funind/recdef_plugin.cmxs COQC -noinit theories/Init/Prelude.v COQC theories/Bool/Bool.v COQC theories/Program/Basics.v COQC theories/Classes/Init.v COQC theories/Program/Tactics.v COQC theories/Relations/Relation_Definitions.v COQC theories/Classes/RelationClasses.v COQC theories/Classes/Morphisms.v COQC theories/Classes/CRelationClasses.v COQC theories/Classes/CMorphisms.v COQC theories/Classes/Morphisms_Prop.v COQC theories/Classes/Equivalence.v COQC theories/Classes/SetoidTactics.v COQC theories/Setoids/Setoid.v COQC theories/Structures/Equalities.v COQC theories/Relations/Relation_Operators.v COQC theories/Relations/Operators_Properties.v COQC theories/Relations/Relations.v COQC theories/Structures/Orders.v COQC theories/Numbers/NumPrelude.v COQC theories/Structures/OrdersTac.v COQC theories/Structures/OrdersFacts.v COQC theories/Structures/GenericMinMax.v COQC theories/Numbers/NatInt/NZAxioms.v COQC theories/Numbers/NatInt/NZBase.v COQC theories/Numbers/NatInt/NZAdd.v COQC theories/Numbers/NatInt/NZMul.v COQC theories/Logic/Decidable.v COQC theories/Numbers/NatInt/NZOrder.v COQC theories/Numbers/NatInt/NZAddOrder.v COQC theories/Numbers/NatInt/NZMulOrder.v COQC theories/Numbers/NatInt/NZParity.v COQC theories/Numbers/NatInt/NZPow.v COQC theories/Numbers/NatInt/NZSqrt.v COQC theories/Numbers/NatInt/NZLog.v COQC theories/Numbers/NatInt/NZDiv.v COQC theories/Numbers/NatInt/NZGcd.v COQC theories/Numbers/NatInt/NZBits.v COQC theories/Numbers/Natural/Abstract/NAxioms.v COQC theories/Numbers/NatInt/NZProperties.v COQC theories/Numbers/Natural/Abstract/NBase.v COQC theories/Numbers/Natural/Abstract/NAdd.v COQC theories/Numbers/Natural/Abstract/NOrder.v COQC theories/Numbers/Natural/Abstract/NAddOrder.v COQC theories/Numbers/Natural/Abstract/NMulOrder.v COQC theories/Numbers/Natural/Abstract/NSub.v COQC theories/Numbers/Natural/Abstract/NMaxMin.v COQC theories/Numbers/Natural/Abstract/NParity.v COQC theories/Numbers/Natural/Abstract/NPow.v COQC theories/Numbers/Natural/Abstract/NSqrt.v COQC theories/Numbers/Natural/Abstract/NLog.v COQC theories/Numbers/Natural/Abstract/NDiv.v COQC theories/Numbers/Natural/Abstract/NGcd.v COQC theories/Numbers/Natural/Abstract/NLcm.v COQC theories/Numbers/Natural/Abstract/NBits.v COQC theories/Numbers/Natural/Abstract/NProperties.v COQC theories/Arith/PeanoNat.v COQC theories/Arith/Le.v COQC theories/Arith/Lt.v COQC theories/Arith/Plus.v COQC theories/Arith/Gt.v COQC theories/Arith/Minus.v COQC theories/Arith/Mult.v COQC theories/Arith/Between.v COQC theories/Logic/EqdepFacts.v COQC theories/Logic/Eqdep_dec.v COQC theories/Arith/Peano_dec.v COQC theories/Arith/Compare_dec.v COQC theories/Arith/Factorial.v COQC theories/Arith/EqNat.v COQC theories/Arith/Wf_nat.v COQC theories/Arith/Arith_base.v OCAMLC plugins/syntax/z_syntax.ml OCAMLC -pack -o plugins/syntax/z_syntax_plugin.cmo OCAMLOPT plugins/syntax/z_syntax.ml OCAMLOPT -pack -o plugins/syntax/z_syntax_plugin.cmx OCAMLOPT -shared -o plugins/syntax/z_syntax_plugin.cmxs COQC theories/Numbers/BinNums.v COQC theories/PArith/BinPosDef.v COQC theories/PArith/BinPos.v COQC theories/NArith/BinNatDef.v COQC theories/NArith/BinNat.v COQC theories/PArith/Pnat.v COQC theories/NArith/Nnat.v COQC plugins/setoid_ring/Ring_theory.v OCAMLC plugins/quote/quote.ml OCAMLC plugins/quote/g_quote.ml OCAMLC -pack -o plugins/quote/quote_plugin.cmo OCAMLOPT plugins/quote/quote.ml OCAMLOPT plugins/quote/g_quote.ml OCAMLOPT -pack -o plugins/quote/quote_plugin.cmx OCAMLOPT -shared -o plugins/quote/quote_plugin.cmxs COQC plugins/quote/Quote.v OCAMLC plugins/setoid_ring/newring_ast.mli OCAMLC plugins/setoid_ring/newring.mli OCAMLC plugins/setoid_ring/newring.ml OCAMLC plugins/setoid_ring/g_newring.ml OCAMLC -pack -o plugins/setoid_ring/newring_plugin.cmo OCAMLOPT plugins/setoid_ring/newring.ml OCAMLOPT plugins/setoid_ring/g_newring.ml OCAMLOPT -pack -o plugins/setoid_ring/newring_plugin.cmx OCAMLOPT -shared -o plugins/setoid_ring/newring_plugin.cmxs COQC theories/Lists/List.v COQC plugins/setoid_ring/BinList.v COQC theories/Numbers/Integer/Abstract/ZAxioms.v COQC theories/Numbers/Integer/Abstract/ZBase.v COQC theories/Numbers/Integer/Abstract/ZAdd.v COQC theories/Numbers/Integer/Abstract/ZMul.v COQC theories/Numbers/Integer/Abstract/ZLt.v COQC theories/Numbers/Integer/Abstract/ZAddOrder.v COQC theories/Numbers/Integer/Abstract/ZMulOrder.v COQC theories/Numbers/Integer/Abstract/ZMaxMin.v COQC theories/Numbers/Integer/Abstract/ZSgnAbs.v COQC theories/Numbers/Integer/Abstract/ZParity.v COQC theories/Numbers/Integer/Abstract/ZPow.v COQC theories/Numbers/Integer/Abstract/ZDivTrunc.v COQC theories/Numbers/Integer/Abstract/ZDivFloor.v COQC theories/Numbers/Integer/Abstract/ZGcd.v COQC theories/Numbers/Integer/Abstract/ZLcm.v COQC theories/Numbers/Integer/Abstract/ZBits.v COQC theories/Numbers/Integer/Abstract/ZProperties.v COQC theories/ZArith/BinIntDef.v COQC theories/ZArith/BinInt.v COQC plugins/setoid_ring/Ring_polynom.v COQC theories/Lists/ListTactics.v COQC theories/ZArith/Zeven.v COQC theories/ZArith/Zcompare.v COQC theories/ZArith/Zorder.v COQC theories/Bool/Sumbool.v COQC theories/ZArith/ZArith_dec.v COQC theories/ZArith/Zbool.v COQC plugins/setoid_ring/InitialRing.v COQC plugins/setoid_ring/Ring_tac.v COQC plugins/setoid_ring/Ring_base.v COQC plugins/setoid_ring/Ring.v COQC plugins/setoid_ring/ArithRing.v COQC theories/Arith/Arith.v COQC theories/Arith/Bool_nat.v COQC theories/Arith/Min.v COQC theories/Arith/Max.v COQC theories/Arith/Compare.v COQC theories/Arith/Even.v COQC theories/Arith/Div2.v COQC theories/Arith/Euclid.v OCAMLC plugins/syntax/ascii_syntax.ml OCAMLC -pack -o plugins/syntax/ascii_syntax_plugin.cmo OCAMLOPT plugins/syntax/ascii_syntax.ml OCAMLOPT -pack -o plugins/syntax/ascii_syntax_plugin.cmx OCAMLOPT -shared -o plugins/syntax/ascii_syntax_plugin.cmxs COQC theories/Strings/Ascii.v OCAMLC plugins/syntax/string_syntax.ml OCAMLC -pack -o plugins/syntax/string_syntax_plugin.cmo OCAMLOPT plugins/syntax/string_syntax.ml OCAMLOPT -pack -o plugins/syntax/string_syntax_plugin.cmx OCAMLOPT -shared -o plugins/syntax/string_syntax_plugin.cmxs COQC theories/Strings/String.v COQC theories/Lists/ListSet.v COQC theories/Lists/ListDec.v COQC theories/Sets/Relations_1.v COQC theories/Sorting/Sorted.v COQC theories/Lists/SetoidList.v COQC theories/Vectors/Fin.v COQC theories/Logic/FinFun.v COQC theories/Sorting/Permutation.v COQC theories/Lists/SetoidPermutation.v COQC theories/Lists/Streams.v COQC theories/Lists/StreamMemo.v COQC theories/ZArith/Zminmax.v COQC theories/ZArith/Zmin.v COQC theories/ZArith/Zmax.v COQC theories/ZArith/Znat.v COQC theories/ZArith/Zabs.v COQC theories/ZArith/auxiliary.v COQC theories/ZArith/Zmisc.v COQC theories/ZArith/Wf_Z.v COQC theories/ZArith/Zhints.v COQC theories/ZArith/ZArith_base.v COQC theories/ZArith/Zpow_def.v COQC plugins/setoid_ring/ZArithRing.v COQC plugins/omega/OmegaLemmas.v COQC plugins/omega/PreOmega.v OCAMLC plugins/omega/omega.ml File "plugins/omega/omega.ml", line 337, characters 17-21: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLC plugins/omega/coq_omega.ml OCAMLC plugins/omega/g_omega.ml OCAMLC -pack -o plugins/omega/omega_plugin.cmo OCAMLOPT plugins/omega/omega.ml File "plugins/omega/omega.ml", line 337, characters 17-21: Warning 52: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 8.5) OCAMLOPT plugins/omega/coq_omega.ml OCAMLOPT plugins/omega/g_omega.ml OCAMLOPT -pack -o plugins/omega/omega_plugin.cmx OCAMLOPT -shared -o plugins/omega/omega_plugin.cmxs COQC plugins/omega/Omega.v COQC theories/ZArith/Zcomplements.v COQC theories/ZArith/Zpower.v COQC theories/ZArith/Zdiv.v COQC theories/ZArith/Zlogarithm.v COQC theories/ZArith/ZArith.v COQC theories/Classes/DecidableClass.v COQC theories/Program/Utils.v COQC theories/Logic/ProofIrrelevanceFacts.v COQC theories/Logic/ProofIrrelevance.v COQC theories/Logic/FunctionalExtensionality.v COQC theories/Program/Wf.v COQC theories/Logic/Eqdep.v COQC theories/Logic/JMeq.v COQC theories/Program/Equality.v COQC theories/Program/Subset.v COQC theories/Program/Combinators.v COQC theories/Vectors/VectorDef.v COQC theories/Vectors/VectorSpec.v COQC theories/Vectors/VectorEq.v COQC theories/Vectors/Vector.v COQC theories/Bool/Bvector.v COQC theories/Program/Syntax.v COQC theories/Program/Program.v COQC theories/Classes/EquivDec.v COQC theories/Classes/Morphisms_Relations.v COQC theories/Classes/SetoidClass.v COQC theories/Classes/SetoidDec.v COQC theories/Classes/RelationPairs.v COQC theories/Classes/CEquivalence.v COQC theories/Bool/BoolEq.v COQC theories/Bool/DecBool.v COQC theories/Bool/IfProp.v COQC theories/Bool/Zerob.v COQC theories/Structures/DecidableType.v COQC theories/Structures/OrderedType.v COQC theories/FSets/FMapInterface.v COQC theories/FSets/FMapList.v COQC theories/ZArith/Int.v COQC theories/FSets/FMapAVL.v COQC theories/NArith/Ndiv_def.v COQC theories/NArith/Nsqrt_def.v COQC theories/NArith/Ngcd_def.v COQC theories/NArith/Ndigits.v COQC plugins/setoid_ring/NArithRing.v COQC theories/NArith/NArith.v COQC theories/NArith/Ndec.v COQC theories/Structures/OrderedTypeEx.v COQC theories/Structures/DecidableTypeEx.v COQC theories/FSets/FMapFacts.v COQC plugins/funind/Recdef.v COQC plugins/romega/ReflOmegaCore.v COQC plugins/omega/OmegaPlugin.v OCAMLC plugins/romega/const_omega.mli OCAMLC plugins/romega/const_omega.ml OCAMLC plugins/romega/refl_omega.ml OCAMLC plugins/romega/g_romega.ml OCAMLC -pack -o plugins/romega/romega_plugin.cmo OCAMLOPT plugins/romega/const_omega.ml OCAMLOPT plugins/romega/refl_omega.ml OCAMLOPT plugins/romega/g_romega.ml OCAMLOPT -pack -o plugins/romega/romega_plugin.cmx OCAMLOPT -shared -o plugins/romega/romega_plugin.cmxs COQC plugins/romega/ROmega.v COQC theories/FSets/FMapFullAVL.v COQC theories/FSets/FMapPositive.v COQC theories/Structures/OrderedTypeAlt.v COQC theories/FSets/FMapWeakList.v COQC theories/FSets/FMaps.v COQC theories/FSets/FSetInterface.v COQC theories/FSets/FSetFacts.v COQC theories/MSets/MSetInterface.v COQC theories/MSets/MSetFacts.v COQC theories/FSets/FSetCompat.v COQC theories/MSets/MSetGenTree.v COQC theories/MSets/MSetAVL.v COQC theories/Structures/OrdersAlt.v COQC theories/FSets/FSetAVL.v COQC theories/FSets/FSetPositive.v COQC theories/FSets/FSetBridge.v COQC theories/FSets/FSetDecide.v COQC theories/FSets/FSetProperties.v COQC theories/FSets/FSetEqProperties.v COQC theories/Structures/EqualitiesFacts.v COQC theories/Structures/OrdersLists.v COQC theories/MSets/MSetList.v COQC theories/FSets/FSetList.v COQC theories/MSets/MSetWeakList.v COQC theories/FSets/FSetWeakList.v COQC theories/FSets/FSets.v COQC theories/Sets/Ensembles.v COQC theories/Sets/Constructive_sets.v COQC theories/Sets/Finite_sets.v COQC theories/FSets/FSetToFiniteSet.v COQC theories/Wellfounded/Disjoint_Union.v COQC theories/Wellfounded/Inclusion.v COQC theories/Wellfounded/Inverse_Image.v COQC theories/Wellfounded/Transitive_Closure.v COQC theories/Wellfounded/Lexicographic_Exponentiation.v COQC theories/Wellfounded/Lexicographic_Product.v COQC theories/Wellfounded/Union.v COQC theories/Wellfounded/Well_Ordering.v COQC theories/Wellfounded/Wellfounded.v COQC theories/Compat/AdmitAxiom.v COQC theories/Compat/Coq86.v COQC theories/Compat/Coq85.v COQC theories/Numbers/Natural/Peano/NPeano.v COQC theories/Compat/Coq84.v COQC theories/ZArith/Znumtheory.v COQC theories/ZArith/Zpow_facts.v OCAMLC plugins/syntax/numbers_syntax.ml OCAMLC -pack -o plugins/syntax/numbers_syntax_plugin.cmo OCAMLOPT plugins/syntax/numbers_syntax.ml OCAMLOPT -pack -o plugins/syntax/numbers_syntax_plugin.cmx OCAMLOPT -shared -o plugins/syntax/numbers_syntax_plugin.cmxs COQC theories/Numbers/BigNumPrelude.v COQC theories/Numbers/Cyclic/DoubleCyclic/DoubleType.v COQC theories/Numbers/Cyclic/Abstract/CyclicAxioms.v COQC theories/Numbers/Cyclic/Abstract/NZCyclic.v COQC theories/Numbers/Cyclic/DoubleCyclic/DoubleBase.v COQC theories/Numbers/Cyclic/DoubleCyclic/DoubleAdd.v COQC theories/Numbers/Cyclic/DoubleCyclic/DoubleSub.v COQC theories/Numbers/Cyclic/DoubleCyclic/DoubleMul.v COQC theories/Numbers/Cyclic/DoubleCyclic/DoubleSqrt.v COQC theories/Numbers/Cyclic/DoubleCyclic/DoubleLift.v COQC theories/Numbers/Cyclic/DoubleCyclic/DoubleDivn1.v COQC theories/Numbers/Cyclic/DoubleCyclic/DoubleDiv.v COQC theories/Numbers/Cyclic/DoubleCyclic/DoubleCyclic.v COQC theories/Numbers/NaryFunctions.v COQC theories/Numbers/Cyclic/Int31/Int31.v COQC theories/ZArith/Zgcd_alt.v COQC theories/Numbers/Cyclic/Int31/Cyclic31.v COQC theories/Numbers/Cyclic/Int31/Ring31.v COQC theories/Numbers/Cyclic/ZModulo/ZModulo.v COQC theories/Numbers/Integer/Abstract/ZDivEucl.v COQC theories/Numbers/Natural/SpecViaZ/NSig.v COQC theories/Numbers/Natural/SpecViaZ/NSigNAxioms.v COQC theories/Numbers/Natural/BigN/Nbasic.v COQC theories/Numbers/Natural/BigN/NMake_gen.v COQC theories/Numbers/Natural/BigN/NMake.v COQC theories/Numbers/Natural/BigN/BigN.v COQC theories/Numbers/Integer/SpecViaZ/ZSig.v COQC theories/Numbers/Integer/SpecViaZ/ZSigZAxioms.v COQC theories/Numbers/Integer/BigZ/ZMake.v COQC theories/Numbers/Integer/BigZ/BigZ.v COQC theories/Numbers/Integer/Binary/ZBinary.v COQC theories/Numbers/Integer/NatPairs/ZNatPairs.v COQC theories/Numbers/NatInt/NZDomain.v COQC theories/Numbers/Natural/Abstract/NStrongRec.v COQC theories/Numbers/Natural/Abstract/NDefOps.v COQC theories/Numbers/Natural/Abstract/NIso.v COQC theories/Numbers/Natural/Binary/NBinary.v COQC plugins/setoid_ring/Field_theory.v COQC plugins/setoid_ring/Field_tac.v COQC plugins/setoid_ring/Field.v COQC theories/QArith/QArith_base.v COQC theories/QArith/Qfield.v COQC theories/QArith/Qring.v COQC theories/QArith/Qreduction.v COQC theories/QArith/QArith.v COQC theories/QArith/Qpower.v COQC theories/QArith/QOrderedType.v COQC theories/QArith/Qminmax.v COQC theories/Numbers/Rational/SpecViaQ/QSig.v COQC theories/QArith/Qcanon.v COQC theories/Numbers/Rational/BigQ/QMake.v COQC theories/Numbers/Rational/BigQ/BigQ.v OCAMLC plugins/syntax/r_syntax.ml OCAMLC -pack -o plugins/syntax/r_syntax_plugin.cmo OCAMLOPT plugins/syntax/r_syntax.ml OCAMLOPT -pack -o plugins/syntax/r_syntax_plugin.cmx OCAMLOPT -shared -o plugins/syntax/r_syntax_plugin.cmxs COQC theories/Reals/Rdefinitions.v COQC theories/Reals/Raxioms.v COQC theories/Reals/Rpow_def.v COQC plugins/setoid_ring/RealField.v COQC theories/Reals/RIneq.v COQC theories/Reals/DiscrR.v COQC theories/Reals/Rbase.v COQC theories/Reals/R_Ifp.v COQC plugins/fourier/Fourier_util.v OCAMLC plugins/fourier/fourier.ml OCAMLC plugins/fourier/fourierR.ml OCAMLC plugins/fourier/g_fourier.ml OCAMLC -pack -o plugins/fourier/fourier_plugin.cmo OCAMLOPT plugins/fourier/fourier.ml OCAMLOPT plugins/fourier/fourierR.ml OCAMLOPT plugins/fourier/g_fourier.ml OCAMLOPT -pack -o plugins/fourier/fourier_plugin.cmx OCAMLOPT -shared -o plugins/fourier/fourier_plugin.cmxs COQC plugins/fourier/Fourier.v COQC theories/Reals/Rbasic_fun.v COQC theories/Reals/R_sqr.v COQC theories/Reals/SplitAbsolu.v COQC theories/Reals/SplitRmult.v COQC theories/Reals/ArithProp.v COQC theories/Reals/Rfunctions.v COQC theories/Reals/Rseries.v COQC theories/Reals/SeqProp.v COQC theories/Reals/Rcomplete.v COQC theories/Reals/PartSum.v COQC theories/Reals/Alembert.v COQC theories/Reals/AltSeries.v COQC theories/Reals/Binomial.v COQC theories/Reals/Cauchy_prod.v COQC theories/Reals/Rsigma.v COQC theories/Reals/Rprod.v COQC theories/Reals/SeqSeries.v COQC theories/Reals/Rtrigo_fun.v COQC theories/Reals/Rtrigo_def.v COQC plugins/omega/OmegaTactic.v COQC theories/Reals/Cos_rel.v COQC theories/Reals/Cos_plus.v COQC theories/Reals/Rtrigo_alt.v COQC theories/Reals/Rlimit.v COQC theories/Reals/Rderiv.v COQC theories/Reals/Ranalysis1.v COQC theories/Reals/Rsqrt_def.v COQC theories/Reals/RList.v COQC theories/Logic/Hurkens.v COQC theories/Logic/ClassicalFacts.v COQC theories/Logic/Classical_Prop.v COQC theories/Logic/Classical_Pred_Type.v COQC theories/Reals/Rtopology.v COQC theories/Reals/MVT.v COQC theories/Reals/PSeries_reg.v COQC theories/Reals/Rtrigo1.v COQC theories/Reals/Exp_prop.v COQC theories/Reals/Ranalysis2.v COQC theories/Reals/Ranalysis3.v COQC theories/Reals/Rtrigo_reg.v COQC theories/Reals/R_sqrt.v COQC theories/Reals/Rtrigo_calc.v COQC theories/Reals/Rgeom.v COQC theories/Reals/Sqrt_reg.v COQC theories/Reals/Ranalysis4.v COQC theories/Reals/Rpower.v COQC theories/Reals/Ranalysis_reg.v COQC theories/Reals/RiemannInt_SF.v COQC theories/Reals/RiemannInt.v COQC theories/Reals/Ranalysis5.v COQC theories/Reals/Ratan.v COQC theories/Reals/Machin.v COQC theories/Reals/Rtrigo.v COQC theories/Reals/Ranalysis.v COQC theories/Reals/NewtonInt.v COQC theories/Reals/Integration.v COQC theories/Reals/Reals.v COQC theories/Reals/Rlogic.v COQC theories/Reals/ROrderedType.v COQC theories/Reals/Rminmax.v COQC theories/PArith/POrderedType.v COQC theories/Structures/OrdersEx.v COQC theories/Sets/Permut.v COQC theories/Sets/Multiset.v COQC theories/Sorting/PermutSetoid.v COQC theories/Sorting/Mergesort.v COQC theories/Sorting/Sorting.v COQC theories/Sorting/Heap.v COQC theories/Sorting/PermutEq.v COQC theories/ZArith/Zdigits.v COQC theories/ZArith/Zpow_alt.v COQC theories/ZArith/Zquot.v COQC theories/ZArith/Zsqrt_compat.v COQC theories/ZArith/Zwf.v COQC theories/ZArith/Zeuclid.v COQC theories/MSets/MSetRBT.v COQC theories/MSets/MSetDecide.v COQC theories/MSets/MSetProperties.v COQC theories/MSets/MSetEqProperties.v COQC theories/MSets/MSetPositive.v COQC theories/MSets/MSets.v COQC theories/MSets/MSetToFiniteSet.v COQC theories/Logic/Berardi.v COQC theories/Logic/ChoiceFacts.v COQC theories/Logic/Classical.v COQC theories/Logic/ClassicalUniqueChoice.v COQC theories/Logic/RelationalChoice.v COQC theories/Logic/ClassicalChoice.v COQC theories/Logic/Description.v COQC theories/Logic/ClassicalDescription.v COQC theories/Logic/ClassicalEpsilon.v COQC theories/Logic/ConstructiveEpsilon.v COQC theories/Logic/Diaconescu.v COQC theories/Logic/Epsilon.v COQC theories/Logic/WeakFan.v COQC theories/Logic/WKL.v COQC theories/Logic/ExtensionalityFacts.v COQC theories/Logic/IndefiniteDescription.v COQC theories/Logic/SetIsType.v COQC theories/QArith/Qabs.v COQC theories/QArith/Qcabs.v COQC theories/QArith/Qreals.v COQC theories/QArith/Qround.v COQC theories/Unicode/Utf8_core.v COQC theories/Unicode/Utf8.v COQC theories/PArith/PArith.v COQC theories/NArith/Ndist.v COQC theories/Sets/Classical_sets.v COQC theories/Sets/Partial_Order.v COQC theories/Sets/Cpo.v COQC theories/Sets/Relations_1_facts.v COQC theories/Sets/Powerset.v COQC theories/Sets/Powerset_facts.v COQC theories/Sets/Powerset_Classical_facts.v COQC theories/Sets/Finite_sets_facts.v COQC theories/Sets/Image.v COQC theories/Sets/Infinite_sets.v COQC theories/Sets/Integers.v COQC theories/Sets/Relations_2.v COQC theories/Sets/Relations_2_facts.v COQC theories/Sets/Relations_3.v COQC theories/Sets/Relations_3_facts.v COQC theories/Sets/Uniset.v OCAMLC plugins/derive/derive.mli OCAMLC plugins/derive/derive.ml OCAMLC plugins/derive/g_derive.ml OCAMLC -pack -o plugins/derive/derive_plugin.cmo OCAMLOPT plugins/derive/derive.ml OCAMLOPT plugins/derive/g_derive.ml OCAMLOPT -pack -o plugins/derive/derive_plugin.cmx OCAMLOPT -shared -o plugins/derive/derive_plugin.cmxs COQC plugins/derive/Derive.v COQC plugins/rtauto/Bintree.v OCAMLC plugins/rtauto/proof_search.mli OCAMLC plugins/rtauto/proof_search.ml OCAMLC plugins/rtauto/refl_tauto.mli OCAMLC plugins/rtauto/refl_tauto.ml OCAMLC plugins/rtauto/g_rtauto.ml OCAMLC -pack -o plugins/rtauto/rtauto_plugin.cmo OCAMLOPT plugins/rtauto/proof_search.ml OCAMLOPT plugins/rtauto/refl_tauto.ml OCAMLOPT plugins/rtauto/g_rtauto.ml OCAMLOPT -pack -o plugins/rtauto/rtauto_plugin.cmx OCAMLOPT -shared -o plugins/rtauto/rtauto_plugin.cmxs COQC plugins/rtauto/Rtauto.v COQC plugins/setoid_ring/Algebra_syntax.v COQC plugins/setoid_ring/Ncring.v COQC plugins/setoid_ring/Ncring_polynom.v COQC plugins/setoid_ring/Ncring_initial.v COQC plugins/setoid_ring/Ncring_tac.v COQC plugins/setoid_ring/Cring.v COQC plugins/setoid_ring/Integral_domain.v OCAMLC plugins/nsatz/utile.mli OCAMLC plugins/nsatz/utile.ml OCAMLC plugins/nsatz/polynom.mli OCAMLC plugins/nsatz/polynom.ml OCAMLC plugins/nsatz/ideal.mli OCAMLC plugins/nsatz/ideal.ml OCAMLC plugins/nsatz/nsatz.mli OCAMLC plugins/nsatz/nsatz.ml OCAMLC plugins/nsatz/g_nsatz.ml OCAMLC -pack -o plugins/nsatz/nsatz_plugin.cmo OCAMLOPT plugins/nsatz/utile.ml OCAMLOPT plugins/nsatz/polynom.ml OCAMLOPT plugins/nsatz/ideal.ml OCAMLOPT plugins/nsatz/nsatz.ml OCAMLOPT plugins/nsatz/g_nsatz.ml OCAMLOPT -pack -o plugins/nsatz/nsatz_plugin.cmx OCAMLOPT -shared -o plugins/nsatz/nsatz_plugin.cmxs COQC plugins/nsatz/Nsatz.v COQC plugins/extraction/ExtrHaskellBasic.v COQC plugins/extraction/ExtrHaskellNatNum.v COQC plugins/extraction/ExtrHaskellNatInt.v COQC plugins/extraction/ExtrHaskellNatInteger.v COQC plugins/extraction/ExtrHaskellZNum.v COQC plugins/extraction/ExtrHaskellZInt.v COQC plugins/extraction/ExtrHaskellZInteger.v COQC plugins/extraction/ExtrHaskellString.v COQC plugins/extraction/ExtrOcamlBasic.v COQC plugins/extraction/ExtrOcamlIntConv.v COQC plugins/extraction/ExtrOcamlBigIntConv.v COQC plugins/extraction/ExtrOcamlNatInt.v COQC plugins/extraction/ExtrOcamlNatBigInt.v COQC plugins/extraction/ExtrOcamlZInt.v COQC plugins/extraction/ExtrOcamlZBigInt.v COQC plugins/extraction/ExtrOcamlString.v OCAMLC plugins/ssrmatching/ssrmatching.mli OCAMLC plugins/ssrmatching/ssrmatching.ml OCAMLC -pack -o plugins/ssrmatching/ssrmatching_plugin.cmo OCAMLOPT plugins/ssrmatching/ssrmatching.ml OCAMLOPT -pack -o plugins/ssrmatching/ssrmatching_plugin.cmx OCAMLOPT -shared -o plugins/ssrmatching/ssrmatching_plugin.cmxs COQC plugins/ssrmatching/ssrmatching.v COQC plugins/btauto/Algebra.v COQC plugins/btauto/Reflect.v OCAMLC plugins/btauto/refl_btauto.ml OCAMLC plugins/btauto/g_btauto.ml OCAMLC -pack -o plugins/btauto/btauto_plugin.cmo OCAMLOPT plugins/btauto/refl_btauto.ml OCAMLOPT plugins/btauto/g_btauto.ml OCAMLOPT -pack -o plugins/btauto/btauto_plugin.cmx OCAMLOPT -shared -o plugins/btauto/btauto_plugin.cmxs COQC plugins/btauto/Btauto.v COQC plugins/setoid_ring/Rings_Z.v COQC plugins/setoid_ring/Rings_R.v COQC plugins/setoid_ring/Rings_Q.v COQC plugins/micromega/Env.v COQC plugins/micromega/EnvRing.v COQC plugins/micromega/OrderedRing.v COQC plugins/micromega/Refl.v COQC plugins/micromega/Tauto.v COQC plugins/micromega/RingMicromega.v COQC plugins/micromega/ZCoeff.v COQC plugins/micromega/VarMap.v COQC plugins/micromega/ZMicromega.v COQC plugins/micromega/QMicromega.v COQC plugins/micromega/RMicromega.v OCAMLC plugins/micromega/sos_types.ml OCAMLC plugins/micromega/micromega.mli OCAMLC plugins/micromega/mutils.ml OCAMLC plugins/micromega/micromega.ml OCAMLC plugins/micromega/polynomial.ml OCAMLC plugins/micromega/mfourier.ml OCAMLC plugins/micromega/certificate.ml OCAMLC plugins/micromega/persistent_cache.ml OCAMLC plugins/micromega/coq_micromega.ml OCAMLC plugins/micromega/g_micromega.ml OCAMLC -pack -o plugins/micromega/micromega_plugin.cmo OCAMLOPT plugins/micromega/sos_types.ml OCAMLOPT plugins/micromega/micromega.ml OCAMLOPT plugins/micromega/mutils.ml OCAMLOPT plugins/micromega/polynomial.ml OCAMLOPT plugins/micromega/mfourier.ml OCAMLOPT plugins/micromega/certificate.ml OCAMLOPT plugins/micromega/persistent_cache.ml OCAMLOPT plugins/micromega/coq_micromega.ml OCAMLOPT plugins/micromega/g_micromega.ml OCAMLOPT -pack -o plugins/micromega/micromega_plugin.cmx OCAMLOPT -shared -o plugins/micromega/micromega_plugin.cmxs COQC plugins/micromega/Lia.v COQC plugins/micromega/Lra.v COQC plugins/micromega/Lqa.v COQC plugins/micromega/Psatz.v bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-gal.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-ext.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-mod.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-tac.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-cic.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-lib.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-tacex.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-syn.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-oth.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-ltac.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-decl.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-pro.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/RefMan-sch.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/Cases.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/Coercion.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/CanonicalStructures.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/Extraction.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/Program.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/Omega.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/Micromega.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/Polynom.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/Nsatz.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/Setoid.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/Classes.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/Universes.tex bin/coq-tex -boot -n 72 -sl -small doc/refman/Misc.tex printf '\\newcommand{\\coqversion}{8.6}' > doc/common/version.tex convert doc/refman/coqide.png doc/refman/coqide.eps convert-im6.q16: attempt to perform an operation not allowed by the security policy `EPS' @ error/constitute.c/IsCoderAuthorized/408. make[3]: *** [Makefile.doc:138: doc/refman/coqide.eps] Error 1 make[3]: Leaving directory '/<>' make[2]: *** [Makefile:153: submake] Error 2 make[2]: Leaving directory '/<>' make[1]: *** [debian/rules:21: override_dh_auto_build] Error 2 make[1]: Leaving directory '/<>' make: *** [debian/rules:10: build] Error 2 dpkg-buildpackage: error: debian/rules build subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 20200105-1025 Finished -------- E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build-Space: 342444 Build-Time: 759 Distribution: focal Fail-Stage: build Host Architecture: amd64 Install-Time: 137 Job: coq-doc_8.6-1.dsc Machine Architecture: amd64 Package: coq-doc Package-Time: 896 Source-Version: 8.6-1 Space: 342444 Status: attempted Version: 8.6-1 -------------------------------------------------------------------------------- Finished at 20200105-1025 Build needed 00:14:56, 342444k disc space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=focal --arch=amd64 PACKAGEBUILD-18287506 Scanning for processes to kill in build PACKAGEBUILD-18287506