https://launchpad.net/ubuntu/+source/mathcomp-zify/1.2.0+1.12+8.13-2/+build/23757360 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux riscv64-qemu-lcy01-030 5.13.0-1019-generic #21~20.04.1-Ubuntu SMP Thu Mar 24 22:36:01 UTC 2022 riscv64 Buildd toolchain package versions: launchpad-buildd_212~550~ubuntu20.04.1 python3-lpbuildd_212~550~ubuntu20.04.1 sbuild_0.79.0-1ubuntu1 git_1:2.25.1-1ubuntu3.2 dpkg-dev_1.19.7ubuntu3 python3-debian_0.1.36ubuntu1. Syncing the system clock with the buildd NTP service... 18 May 05:15:14 ntpdate[3514387]: adjust time server 10.211.37.1 offset -0.000388 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23757360 --image-type chroot /home/buildd/filecache-default/71606a5f218d7969dca11cc1a0a8ecfd02d5af78 Creating target for build PACKAGEBUILD-23757360 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23757360 Starting target for build PACKAGEBUILD-23757360 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23757360 'deb http://ftpmaster.internal/ubuntu kinetic main universe' 'deb http://ftpmaster.internal/ubuntu kinetic-security main universe' 'deb http://ftpmaster.internal/ubuntu kinetic-updates main universe' 'deb http://ftpmaster.internal/ubuntu kinetic-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-23757360 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23757360 Updating target for build PACKAGEBUILD-23757360 Get:1 http://ftpmaster.internal/ubuntu kinetic InRelease [267 kB] Get:2 http://ftpmaster.internal/ubuntu kinetic-security InRelease [90.7 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic-updates InRelease [90.7 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic-proposed InRelease [118 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic/main riscv64 Packages [1288 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main Translation-en [510 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 Packages [13.5 MB] Get:8 http://ftpmaster.internal/ubuntu kinetic/universe Translation-en [5705 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 Packages [147 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic-proposed/main Translation-en [66.5 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic-proposed/universe riscv64 Packages [692 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic-proposed/universe Translation-en [297 kB] Fetched 22.8 MB in 33s (696 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following NEW packages will be installed: util-linux-extra The following packages will be upgraded: adduser binutils binutils-common binutils-riscv64-linux-gnu bsdutils dash dpkg dpkg-dev gcc-12-base libatomic1 libbinutils libblkid1 libcc1-0 libctf-nobfd0 libctf0 libdpkg-perl libgcc-s1 libgomp1 libgpg-error0 libip4tc2 liblzma5 libmount1 libncurses6 libncursesw6 libpng16-16 libreadline8 libsmartcols1 libsqlite3-0 libssl3 libstdc++6 libtinfo6 libuuid1 libzstd1 linux-libc-dev mount ncurses-base ncurses-bin openssl pinentry-curses readline-common util-linux xz-utils 42 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 13.4 MB of archives. After this operation, 866 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 bsdutils riscv64 1:2.38-4ubuntu1 [91.0 kB] Get:2 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libzstd1 riscv64 1.5.2+dfsg-1 [318 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 dpkg riscv64 1.21.7ubuntu3 [1300 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 dash riscv64 0.5.11+git20210903+057cd650a4ed-8 [83.8 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 ncurses-bin riscv64 6.3+20220423-2 [176 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libblkid1 riscv64 2.38-4ubuntu1 [149 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libmount1 riscv64 2.38-4ubuntu1 [157 kB] Get:8 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libsmartcols1 riscv64 2.38-4ubuntu1 [102 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 util-linux-extra riscv64 2.38-4ubuntu1 [103 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 util-linux riscv64 2.38-4ubuntu1 [1142 kB] Get:11 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 ncurses-base all 6.3+20220423-2 [21.2 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 mount riscv64 2.38-4ubuntu1 [130 kB] Get:13 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 gcc-12-base riscv64 12.1.0-2ubuntu1 [18.8 kB] Get:14 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libstdc++6 riscv64 12.1.0-2ubuntu1 [674 kB] Get:15 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libgomp1 riscv64 12.1.0-2ubuntu1 [110 kB] Get:16 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libcc1-0 riscv64 12.1.0-2ubuntu1 [42.8 kB] Get:17 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libatomic1 riscv64 12.1.0-2ubuntu1 [7846 B] Get:18 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libgcc-s1 riscv64 12.1.0-2ubuntu1 [44.0 kB] Get:19 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libgpg-error0 riscv64 1.45-2 [62.7 kB] Get:20 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 liblzma5 riscv64 5.2.5-2.1 [93.5 kB] Get:21 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libncursesw6 riscv64 6.3+20220423-2 [127 kB] Get:22 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libncurses6 riscv64 6.3+20220423-2 [92.7 kB] Get:23 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libtinfo6 riscv64 6.3+20220423-2 [89.8 kB] Get:24 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libuuid1 riscv64 2.38-4ubuntu1 [26.2 kB] Get:25 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 adduser all 3.121ubuntu1 [150 kB] Get:26 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libip4tc2 riscv64 1.8.7-1ubuntu6 [18.0 kB] Get:27 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 readline-common all 8.1.2-1.2 [53.6 kB] Get:28 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libreadline8 riscv64 8.1.2-1.2 [130 kB] Get:29 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libsqlite3-0 riscv64 3.38.5-1 [572 kB] Get:30 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libssl3 riscv64 3.0.3-0ubuntu1 [1437 kB] Get:31 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 openssl riscv64 3.0.3-0ubuntu1 [1135 kB] Get:32 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libpng16-16 riscv64 1.6.37-5 [174 kB] Get:33 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 xz-utils riscv64 5.2.5-2.1 [80.4 kB] Get:34 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libctf-nobfd0 riscv64 2.38-4ubuntu1 [98.9 kB] Get:35 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libctf0 riscv64 2.38-4ubuntu1 [96.8 kB] Get:36 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 binutils-riscv64-linux-gnu riscv64 2.38-4ubuntu1 [911 kB] Get:37 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libbinutils riscv64 2.38-4ubuntu1 [485 kB] Get:38 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 binutils riscv64 2.38-4ubuntu1 [3090 B] Get:39 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 binutils-common riscv64 2.38-4ubuntu1 [214 kB] Get:40 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 dpkg-dev all 1.21.7ubuntu3 [1070 kB] Get:41 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libdpkg-perl all 1.21.7ubuntu3 [236 kB] Get:42 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 linux-libc-dev riscv64 5.15.0-28.29 [1302 kB] Get:43 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 pinentry-curses riscv64 1.2.0-1 [37.0 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 13.4 MB in 4s (3704 kB/s) (Reading database ... 13360 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.38-4ubuntu1_riscv64.deb ... Unpacking bsdutils (1:2.38-4ubuntu1) over (1:2.37.2-4ubuntu3) ... Setting up bsdutils (1:2.38-4ubuntu1) ... (Reading database ... 13360 files and directories currently installed.) Preparing to unpack .../libzstd1_1.5.2+dfsg-1_riscv64.deb ... Unpacking libzstd1:riscv64 (1.5.2+dfsg-1) over (1.4.8+dfsg-3build1) ... Setting up libzstd1:riscv64 (1.5.2+dfsg-1) ... (Reading database ... 13360 files and directories currently installed.) Preparing to unpack .../dpkg_1.21.7ubuntu3_riscv64.deb ... Unpacking dpkg (1.21.7ubuntu3) over (1.21.1ubuntu2) ... Setting up dpkg (1.21.7ubuntu3) ... dpkg: warning: This system uses merged-usr-via-aliased-dirs, going behind dpkg's dpkg: warning: back, breaking its core assumptions. This can cause silent file dpkg: warning: overwrites and disappearances, and its general tools misbehavior. dpkg: warning: See . (Reading database ... 13364 files and directories currently installed.) Preparing to unpack .../dash_0.5.11+git20210903+057cd650a4ed-8_riscv64.deb ... Unpacking dash (0.5.11+git20210903+057cd650a4ed-8) over (0.5.11+git20210903+057cd650a4ed-3build1) ... Setting up dash (0.5.11+git20210903+057cd650a4ed-8) ... (Reading database ... 13365 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.3+20220423-2_riscv64.deb ... Unpacking ncurses-bin (6.3+20220423-2) over (6.3-2) ... Setting up ncurses-bin (6.3+20220423-2) ... (Reading database ... 13365 files and directories currently installed.) Preparing to unpack .../libblkid1_2.38-4ubuntu1_riscv64.deb ... Unpacking libblkid1:riscv64 (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Setting up libblkid1:riscv64 (2.38-4ubuntu1) ... (Reading database ... 13365 files and directories currently installed.) Preparing to unpack .../libmount1_2.38-4ubuntu1_riscv64.deb ... Unpacking libmount1:riscv64 (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Setting up libmount1:riscv64 (2.38-4ubuntu1) ... (Reading database ... 13365 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.38-4ubuntu1_riscv64.deb ... Unpacking libsmartcols1:riscv64 (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Setting up libsmartcols1:riscv64 (2.38-4ubuntu1) ... (Reading database ... 13365 files and directories currently installed.) Preparing to unpack .../util-linux_2.38-4ubuntu1_riscv64.deb ... Unpacking util-linux (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... dpkg: warning: unable to delete old directory '/usr/lib/udev': Directory not empty Selecting previously unselected package util-linux-extra. Preparing to unpack .../util-linux-extra_2.38-4ubuntu1_riscv64.deb ... Unpacking util-linux-extra (2.38-4ubuntu1) ... Setting up util-linux-extra (2.38-4ubuntu1) ... (Reading database ... 13377 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.3+20220423-2_all.deb ... Unpacking ncurses-base (6.3+20220423-2) over (6.3-2) ... Setting up ncurses-base (6.3+20220423-2) ... (Reading database ... 13378 files and directories currently installed.) Preparing to unpack .../mount_2.38-4ubuntu1_riscv64.deb ... Unpacking mount (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Preparing to unpack .../gcc-12-base_12.1.0-2ubuntu1_riscv64.deb ... Unpacking gcc-12-base:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Setting up gcc-12-base:riscv64 (12.1.0-2ubuntu1) ... (Reading database ... 13378 files and directories currently installed.) Preparing to unpack .../libstdc++6_12.1.0-2ubuntu1_riscv64.deb ... Unpacking libstdc++6:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Setting up libstdc++6:riscv64 (12.1.0-2ubuntu1) ... (Reading database ... 13378 files and directories currently installed.) Preparing to unpack .../libgomp1_12.1.0-2ubuntu1_riscv64.deb ... Unpacking libgomp1:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../libcc1-0_12.1.0-2ubuntu1_riscv64.deb ... Unpacking libcc1-0:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../libatomic1_12.1.0-2ubuntu1_riscv64.deb ... Unpacking libatomic1:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Preparing to unpack .../libgcc-s1_12.1.0-2ubuntu1_riscv64.deb ... Unpacking libgcc-s1:riscv64 (12.1.0-2ubuntu1) over (12-20220428-1ubuntu1) ... Setting up libgcc-s1:riscv64 (12.1.0-2ubuntu1) ... (Reading database ... 13378 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.45-2_riscv64.deb ... Unpacking libgpg-error0:riscv64 (1.45-2) over (1.43-3) ... Setting up libgpg-error0:riscv64 (1.45-2) ... (Reading database ... 13378 files and directories currently installed.) Preparing to unpack .../liblzma5_5.2.5-2.1_riscv64.deb ... Unpacking liblzma5:riscv64 (5.2.5-2.1) over (5.2.5-2ubuntu1) ... Setting up liblzma5:riscv64 (5.2.5-2.1) ... (Reading database ... 13378 files and directories currently installed.) Preparing to unpack .../libncursesw6_6.3+20220423-2_riscv64.deb ... Unpacking libncursesw6:riscv64 (6.3+20220423-2) over (6.3-2) ... Preparing to unpack .../libncurses6_6.3+20220423-2_riscv64.deb ... Unpacking libncurses6:riscv64 (6.3+20220423-2) over (6.3-2) ... Preparing to unpack .../libtinfo6_6.3+20220423-2_riscv64.deb ... Unpacking libtinfo6:riscv64 (6.3+20220423-2) over (6.3-2) ... Setting up libtinfo6:riscv64 (6.3+20220423-2) ... (Reading database ... 13377 files and directories currently installed.) Preparing to unpack .../libuuid1_2.38-4ubuntu1_riscv64.deb ... Unpacking libuuid1:riscv64 (2.38-4ubuntu1) over (2.37.2-4ubuntu3) ... Setting up libuuid1:riscv64 (2.38-4ubuntu1) ... (Reading database ... 13378 files and directories currently installed.) Preparing to unpack .../adduser_3.121ubuntu1_all.deb ... Unpacking adduser (3.121ubuntu1) over (3.118ubuntu5) ... Setting up adduser (3.121ubuntu1) ... Installing new version of config file /etc/deluser.conf ... (Reading database ... 13375 files and directories currently installed.) Preparing to unpack .../00-libip4tc2_1.8.7-1ubuntu6_riscv64.deb ... Unpacking libip4tc2:riscv64 (1.8.7-1ubuntu6) over (1.8.7-1ubuntu5) ... Preparing to unpack .../01-readline-common_8.1.2-1.2_all.deb ... Unpacking readline-common (8.1.2-1.2) over (8.1.2-1) ... Preparing to unpack .../02-libreadline8_8.1.2-1.2_riscv64.deb ... Unpacking libreadline8:riscv64 (8.1.2-1.2) over (8.1.2-1) ... Preparing to unpack .../03-libsqlite3-0_3.38.5-1_riscv64.deb ... Unpacking libsqlite3-0:riscv64 (3.38.5-1) over (3.37.2-2) ... Preparing to unpack .../04-libssl3_3.0.3-0ubuntu1_riscv64.deb ... Unpacking libssl3:riscv64 (3.0.3-0ubuntu1) over (3.0.2-0ubuntu1) ... Preparing to unpack .../05-openssl_3.0.3-0ubuntu1_riscv64.deb ... Unpacking openssl (3.0.3-0ubuntu1) over (3.0.2-0ubuntu1) ... Preparing to unpack .../06-libpng16-16_1.6.37-5_riscv64.deb ... Unpacking libpng16-16:riscv64 (1.6.37-5) over (1.6.37-3build5) ... Preparing to unpack .../07-xz-utils_5.2.5-2.1_riscv64.deb ... Unpacking xz-utils (5.2.5-2.1) over (5.2.5-2ubuntu1) ... Preparing to unpack .../08-libctf-nobfd0_2.38-4ubuntu1_riscv64.deb ... Unpacking libctf-nobfd0:riscv64 (2.38-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../09-libctf0_2.38-4ubuntu1_riscv64.deb ... Unpacking libctf0:riscv64 (2.38-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../10-binutils-riscv64-linux-gnu_2.38-4ubuntu1_riscv64.deb ... Unpacking binutils-riscv64-linux-gnu (2.38-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../11-libbinutils_2.38-4ubuntu1_riscv64.deb ... Unpacking libbinutils:riscv64 (2.38-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../12-binutils_2.38-4ubuntu1_riscv64.deb ... Unpacking binutils (2.38-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../13-binutils-common_2.38-4ubuntu1_riscv64.deb ... Unpacking binutils-common:riscv64 (2.38-4ubuntu1) over (2.38-3ubuntu1) ... Preparing to unpack .../14-dpkg-dev_1.21.7ubuntu3_all.deb ... Unpacking dpkg-dev (1.21.7ubuntu3) over (1.21.1ubuntu2) ... Preparing to unpack .../15-libdpkg-perl_1.21.7ubuntu3_all.deb ... Unpacking libdpkg-perl (1.21.7ubuntu3) over (1.21.1ubuntu2) ... Preparing to unpack .../16-linux-libc-dev_5.15.0-28.29_riscv64.deb ... Unpacking linux-libc-dev:riscv64 (5.15.0-28.29) over (5.15.0-27.28) ... Preparing to unpack .../17-pinentry-curses_1.2.0-1_riscv64.deb ... Unpacking pinentry-curses (1.2.0-1) over (1.1.1-1build2) ... Setting up libip4tc2:riscv64 (1.8.7-1ubuntu6) ... Setting up libsqlite3-0:riscv64 (3.38.5-1) ... Setting up binutils-common:riscv64 (2.38-4ubuntu1) ... Setting up libssl3:riscv64 (3.0.3-0ubuntu1) ... Setting up linux-libc-dev:riscv64 (5.15.0-28.29) ... Setting up libctf-nobfd0:riscv64 (2.38-4ubuntu1) ... Setting up libgomp1:riscv64 (12.1.0-2ubuntu1) ... Setting up libncurses6:riscv64 (6.3+20220423-2) ... Setting up xz-utils (5.2.5-2.1) ... Setting up libpng16-16:riscv64 (1.6.37-5) ... Setting up libatomic1:riscv64 (12.1.0-2ubuntu1) ... Setting up util-linux (2.38-4ubuntu1) ... Setting up libncursesw6:riscv64 (6.3+20220423-2) ... Setting up libdpkg-perl (1.21.7ubuntu3) ... Setting up mount (2.38-4ubuntu1) ... Setting up libbinutils:riscv64 (2.38-4ubuntu1) ... Setting up openssl (3.0.3-0ubuntu1) ... Setting up readline-common (8.1.2-1.2) ... Setting up libcc1-0:riscv64 (12.1.0-2ubuntu1) ... Setting up libctf0:riscv64 (2.38-4ubuntu1) ... Setting up pinentry-curses (1.2.0-1) ... Setting up libreadline8:riscv64 (8.1.2-1.2) ... Setting up binutils-riscv64-linux-gnu (2.38-4ubuntu1) ... Setting up binutils (2.38-4ubuntu1) ... Setting up dpkg-dev (1.21.7ubuntu3) ... Processing triggers for libc-bin (2.35-0ubuntu3) ... Processing triggers for debianutils (5.7-0.2) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-23757360 riscv64 kinetic-proposed -c chroot:build-PACKAGEBUILD-23757360 --arch=riscv64 --dist=kinetic-proposed --nolog mathcomp-zify_1.2.0+1.12+8.13-2.dsc Initiating build PACKAGEBUILD-23757360 with 8 jobs across 8 processor cores. Kernel reported to sbuild: 5.13.0-1019-generic #21~20.04.1-Ubuntu SMP Thu Mar 24 22:36:01 UTC 2022 riscv64 sbuild (Debian sbuild) 0.79.0 (05 February 2020) on riscv64-qemu-lcy01-030.buildd +==============================================================================+ | mathcomp-zify 1.2.0+1.12+8.13-2 (riscv64) Wed, 18 May 2022 05:19:48 +0000 | +==============================================================================+ Package: mathcomp-zify Version: 1.2.0+1.12+8.13-2 Source Version: 1.2.0+1.12+8.13-2 Distribution: kinetic-proposed Machine Architecture: riscv64 Host Architecture: riscv64 Build Architecture: riscv64 Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-23757360/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/mathcomp-zify-tScD5m/resolver-D9oYeM' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- mathcomp-zify_1.2.0+1.12+8.13-2.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/mathcomp-zify-tScD5m/mathcomp-zify-1.2.0+1.12+8.13' with '<>' I: NOTICE: Log filtering will replace 'build/mathcomp-zify-tScD5m' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-algebra, build-essential, fakeroot Filtered Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-algebra, build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [957 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [395 B] Get:5 copy:/<>/apt_archive ./ Packages [477 B] Fetched 1829 B in 1s (3591 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper debugedit dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcoq-core-ocaml libcoq-mathcomp-algebra libcoq-mathcomp-fingroup libcoq-mathcomp-ssreflect libcoq-stdlib libdebhelper-perl libdw1 libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libicu71 libmagic-mgc libmagic1 libmpdec3 libncurses-dev libncurses5-dev libpipeline1 libpython3-stdlib libpython3.10-minimal libpython3.10-stdlib libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml m4 man-db media-types ocaml ocaml-base ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf python3 python3-minimal python3.10 python3.10-minimal Suggested packages: autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit | readline-editor libcoq-core-ocaml-dev why coq-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc python3-tk python3-venv python3.10-venv python3.10-doc binfmt-support Recommended packages: curl | wget | lynx libarchive-cpio-perl libltdl-dev ocaml-man libfindlib-ocaml-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils coq debhelper debugedit dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcoq-core-ocaml libcoq-mathcomp-algebra libcoq-mathcomp-fingroup libcoq-mathcomp-ssreflect libcoq-stdlib libdebhelper-perl libdw1 libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libicu71 libmagic-mgc libmagic1 libmpdec3 libncurses-dev libncurses5-dev libpipeline1 libpython3-stdlib libpython3.10-minimal libpython3.10-stdlib libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml m4 man-db media-types ocaml ocaml-base ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox po-debconf python3 python3-minimal python3.10 python3.10-minimal sbuild-build-depends-main-dummy 0 upgraded, 60 newly installed, 0 to remove and 0 not upgraded. Need to get 319 MB of archives. After this operation, 1168 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [696 B] Get:2 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libpython3.10-minimal riscv64 3.10.4-4 [787 kB] Get:3 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libexpat1 riscv64 2.4.8-1 [85.1 kB] Get:4 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 python3.10-minimal riscv64 3.10.4-4 [1785 kB] Get:5 http://ftpmaster.internal/ubuntu kinetic/main riscv64 python3-minimal riscv64 3.10.4-0ubuntu2 [24.4 kB] Get:6 http://ftpmaster.internal/ubuntu kinetic/main riscv64 media-types all 8.0.0 [24.9 kB] Get:7 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libmpdec3 riscv64 2.5.1-2build2 [85.3 kB] Get:8 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libpython3.10-stdlib riscv64 3.10.4-4 [1694 kB] Get:9 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 python3.10 riscv64 3.10.4-4 [487 kB] Get:10 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libpython3-stdlib riscv64 3.10.4-0ubuntu2 [6988 B] Get:11 http://ftpmaster.internal/ubuntu kinetic/main riscv64 python3 riscv64 3.10.4-0ubuntu2 [22.8 kB] Get:12 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libelf1 riscv64 0.187-1 [46.4 kB] Get:13 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libicu71 riscv64 71.1-3 [10.5 MB] Get:14 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libxml2 riscv64 2.9.14+dfsg-1 [597 kB] Get:15 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 bsdextrautils riscv64 2.38-4ubuntu1 [81.5 kB] Get:16 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libmagic-mgc riscv64 1:5.41-4 [257 kB] Get:17 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libmagic1 riscv64 1:5.41-4 [88.7 kB] Get:18 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 file riscv64 1:5.41-4 [20.6 kB] Get:19 http://ftpmaster.internal/ubuntu kinetic/main riscv64 gettext-base riscv64 0.21-4ubuntu4 [38.7 kB] Get:20 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libuchardet0 riscv64 0.0.7-1build2 [78.9 kB] Get:21 http://ftpmaster.internal/ubuntu kinetic/main riscv64 groff-base riscv64 1.22.4-8build1 [925 kB] Get:22 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libpipeline1 riscv64 1.5.6-1 [26.1 kB] Get:23 http://ftpmaster.internal/ubuntu kinetic/main riscv64 man-db riscv64 2.10.2-1 [1144 kB] Get:24 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libsigsegv2 riscv64 2.13-1ubuntu3 [13.6 kB] Get:25 http://ftpmaster.internal/ubuntu kinetic/main riscv64 m4 riscv64 1.4.18-5ubuntu2 [193 kB] Get:26 http://ftpmaster.internal/ubuntu kinetic/main riscv64 autoconf all 2.71-2 [338 kB] Get:27 http://ftpmaster.internal/ubuntu kinetic/main riscv64 autotools-dev all 20220109.1 [44.9 kB] Get:28 http://ftpmaster.internal/ubuntu kinetic/main riscv64 automake all 1:1.16.5-1.3 [558 kB] Get:29 http://ftpmaster.internal/ubuntu kinetic/main riscv64 autopoint all 0.21-4ubuntu4 [422 kB] Get:30 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libcoq-stdlib riscv64 8.15.1+dfsg-1build1 [24.5 MB] Get:31 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml-base riscv64 4.13.1-3ubuntu1 [505 kB] Get:32 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libzarith-ocaml riscv64 1.12-1build1 [56.0 kB] Get:33 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libcoq-core-ocaml riscv64 8.15.1+dfsg-1build1 [26.7 MB] Get:34 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml-compiler-libs riscv64 4.13.1-3ubuntu1 [38.7 MB] Get:35 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml-interp riscv64 4.13.1-3ubuntu1 [7490 kB] Get:36 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libncurses-dev riscv64 6.3+20220423-2 [867 kB] Get:37 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libncurses5-dev riscv64 6.3+20220423-2 [796 B] Get:38 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml riscv64 4.13.1-3ubuntu1 [88.8 MB] Get:39 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml-nox all 4.13.1-3ubuntu1 [3082 B] Get:40 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libfindlib-ocaml riscv64 1.9.3-1 [197 kB] Get:41 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 ocaml-findlib riscv64 1.9.3-1 [518 kB] Get:42 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 coq riscv64 8.15.1+dfsg-1build1 [93.7 MB] Get:43 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libdebhelper-perl all 13.7.1ubuntu1 [66.9 kB] Get:44 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libtool all 2.4.7-4 [166 kB] Get:45 http://ftpmaster.internal/ubuntu kinetic/main riscv64 dh-autoreconf all 20 [16.1 kB] Get:46 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libarchive-zip-perl all 1.68-1 [90.2 kB] Get:47 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libsub-override-perl all 0.09-2 [9532 B] Get:48 http://ftpmaster.internal/ubuntu kinetic/main riscv64 libfile-stripnondeterminism-perl all 1.13.0-1 [18.1 kB] Get:49 http://ftpmaster.internal/ubuntu kinetic/main riscv64 dh-strip-nondeterminism all 1.13.0-1 [5344 B] Get:50 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 libdw1 riscv64 0.187-1 [227 kB] Get:51 http://ftpmaster.internal/ubuntu kinetic/main riscv64 debugedit riscv64 1:5.0-4build1 [50.0 kB] Get:52 http://ftpmaster.internal/ubuntu kinetic/main riscv64 dwz riscv64 0.14-1build2 [105 kB] Get:53 http://ftpmaster.internal/ubuntu kinetic/main riscv64 gettext riscv64 0.21-4ubuntu4 [817 kB] Get:54 http://ftpmaster.internal/ubuntu kinetic/main riscv64 intltool-debian all 0.35.0+20060710.5 [24.9 kB] Get:55 http://ftpmaster.internal/ubuntu kinetic/main riscv64 po-debconf all 1.0.21+nmu1 [233 kB] Get:56 http://ftpmaster.internal/ubuntu kinetic-proposed/main riscv64 debhelper all 13.7.1ubuntu1 [940 kB] Get:57 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libcoq-mathcomp-ssreflect riscv64 1.14.0-9build1 [4648 kB] Get:58 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libcoq-mathcomp-fingroup riscv64 1.14.0-9build1 [2116 kB] Get:59 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 libcoq-mathcomp-algebra riscv64 1.14.0-9build1 [7286 kB] Get:60 http://ftpmaster.internal/ubuntu kinetic/universe riscv64 dh-ocaml all 1.1.3 [78.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 319 MB in 54s (5903 kB/s) Selecting previously unselected package libpython3.10-minimal:riscv64. (Reading database ... 13414 files and directories currently installed.) Preparing to unpack .../libpython3.10-minimal_3.10.4-4_riscv64.deb ... Unpacking libpython3.10-minimal:riscv64 (3.10.4-4) ... Selecting previously unselected package libexpat1:riscv64. Preparing to unpack .../libexpat1_2.4.8-1_riscv64.deb ... Unpacking libexpat1:riscv64 (2.4.8-1) ... Selecting previously unselected package python3.10-minimal. Preparing to unpack .../python3.10-minimal_3.10.4-4_riscv64.deb ... Unpacking python3.10-minimal (3.10.4-4) ... Setting up libpython3.10-minimal:riscv64 (3.10.4-4) ... Setting up libexpat1:riscv64 (2.4.8-1) ... Setting up python3.10-minimal (3.10.4-4) ... Selecting previously unselected package python3-minimal. (Reading database ... 13716 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.10.4-0ubuntu2_riscv64.deb ... Unpacking python3-minimal (3.10.4-0ubuntu2) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_8.0.0_all.deb ... Unpacking media-types (8.0.0) ... Selecting previously unselected package libmpdec3:riscv64. Preparing to unpack .../2-libmpdec3_2.5.1-2build2_riscv64.deb ... Unpacking libmpdec3:riscv64 (2.5.1-2build2) ... Selecting previously unselected package libpython3.10-stdlib:riscv64. Preparing to unpack .../3-libpython3.10-stdlib_3.10.4-4_riscv64.deb ... Unpacking libpython3.10-stdlib:riscv64 (3.10.4-4) ... Selecting previously unselected package python3.10. Preparing to unpack .../4-python3.10_3.10.4-4_riscv64.deb ... Unpacking python3.10 (3.10.4-4) ... Selecting previously unselected package libpython3-stdlib:riscv64. Preparing to unpack .../5-libpython3-stdlib_3.10.4-0ubuntu2_riscv64.deb ... Unpacking libpython3-stdlib:riscv64 (3.10.4-0ubuntu2) ... Setting up python3-minimal (3.10.4-0ubuntu2) ... Selecting previously unselected package python3. (Reading database ... 14117 files and directories currently installed.) Preparing to unpack .../00-python3_3.10.4-0ubuntu2_riscv64.deb ... Unpacking python3 (3.10.4-0ubuntu2) ... Selecting previously unselected package libelf1:riscv64. Preparing to unpack .../01-libelf1_0.187-1_riscv64.deb ... Unpacking libelf1:riscv64 (0.187-1) ... Selecting previously unselected package libicu71:riscv64. Preparing to unpack .../02-libicu71_71.1-3_riscv64.deb ... Unpacking libicu71:riscv64 (71.1-3) ... Selecting previously unselected package libxml2:riscv64. Preparing to unpack .../03-libxml2_2.9.14+dfsg-1_riscv64.deb ... Unpacking libxml2:riscv64 (2.9.14+dfsg-1) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../04-bsdextrautils_2.38-4ubuntu1_riscv64.deb ... Unpacking bsdextrautils (2.38-4ubuntu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../05-libmagic-mgc_1%3a5.41-4_riscv64.deb ... Unpacking libmagic-mgc (1:5.41-4) ... Selecting previously unselected package libmagic1:riscv64. Preparing to unpack .../06-libmagic1_1%3a5.41-4_riscv64.deb ... Unpacking libmagic1:riscv64 (1:5.41-4) ... Selecting previously unselected package file. Preparing to unpack .../07-file_1%3a5.41-4_riscv64.deb ... Unpacking file (1:5.41-4) ... Selecting previously unselected package gettext-base. Preparing to unpack .../08-gettext-base_0.21-4ubuntu4_riscv64.deb ... Unpacking gettext-base (0.21-4ubuntu4) ... Selecting previously unselected package libuchardet0:riscv64. Preparing to unpack .../09-libuchardet0_0.0.7-1build2_riscv64.deb ... Unpacking libuchardet0:riscv64 (0.0.7-1build2) ... Selecting previously unselected package groff-base. Preparing to unpack .../10-groff-base_1.22.4-8build1_riscv64.deb ... Unpacking groff-base (1.22.4-8build1) ... Selecting previously unselected package libpipeline1:riscv64. Preparing to unpack .../11-libpipeline1_1.5.6-1_riscv64.deb ... Unpacking libpipeline1:riscv64 (1.5.6-1) ... Selecting previously unselected package man-db. Preparing to unpack .../12-man-db_2.10.2-1_riscv64.deb ... Unpacking man-db (2.10.2-1) ... Selecting previously unselected package libsigsegv2:riscv64. Preparing to unpack .../13-libsigsegv2_2.13-1ubuntu3_riscv64.deb ... Unpacking libsigsegv2:riscv64 (2.13-1ubuntu3) ... Selecting previously unselected package m4. Preparing to unpack .../14-m4_1.4.18-5ubuntu2_riscv64.deb ... Unpacking m4 (1.4.18-5ubuntu2) ... Selecting previously unselected package autoconf. Preparing to unpack .../15-autoconf_2.71-2_all.deb ... Unpacking autoconf (2.71-2) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../16-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../17-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../18-autopoint_0.21-4ubuntu4_all.deb ... Unpacking autopoint (0.21-4ubuntu4) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../19-libcoq-stdlib_8.15.1+dfsg-1build1_riscv64.deb ... Unpacking libcoq-stdlib (8.15.1+dfsg-1build1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../20-ocaml-base_4.13.1-3ubuntu1_riscv64.deb ... Unpacking ocaml-base (4.13.1-3ubuntu1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../21-libzarith-ocaml_1.12-1build1_riscv64.deb ... Unpacking libzarith-ocaml (1.12-1build1) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../22-libcoq-core-ocaml_8.15.1+dfsg-1build1_riscv64.deb ... Unpacking libcoq-core-ocaml (8.15.1+dfsg-1build1) ... Selecting previously unselected package ocaml-compiler-libs. Preparing to unpack .../23-ocaml-compiler-libs_4.13.1-3ubuntu1_riscv64.deb ... Unpacking ocaml-compiler-libs (4.13.1-3ubuntu1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../24-ocaml-interp_4.13.1-3ubuntu1_riscv64.deb ... Unpacking ocaml-interp (4.13.1-3ubuntu1) ... Selecting previously unselected package libncurses-dev:riscv64. Preparing to unpack .../25-libncurses-dev_6.3+20220423-2_riscv64.deb ... Unpacking libncurses-dev:riscv64 (6.3+20220423-2) ... Selecting previously unselected package libncurses5-dev:riscv64. Preparing to unpack .../26-libncurses5-dev_6.3+20220423-2_riscv64.deb ... Unpacking libncurses5-dev:riscv64 (6.3+20220423-2) ... Selecting previously unselected package ocaml. Preparing to unpack .../27-ocaml_4.13.1-3ubuntu1_riscv64.deb ... Unpacking ocaml (4.13.1-3ubuntu1) ... Selecting previously unselected package ocaml-nox. Preparing to unpack .../28-ocaml-nox_4.13.1-3ubuntu1_all.deb ... Unpacking ocaml-nox (4.13.1-3ubuntu1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../29-libfindlib-ocaml_1.9.3-1_riscv64.deb ... Unpacking libfindlib-ocaml (1.9.3-1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../30-ocaml-findlib_1.9.3-1_riscv64.deb ... Unpacking ocaml-findlib (1.9.3-1) ... Selecting previously unselected package coq. Preparing to unpack .../31-coq_8.15.1+dfsg-1build1_riscv64.deb ... Unpacking coq (8.15.1+dfsg-1build1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../32-libdebhelper-perl_13.7.1ubuntu1_all.deb ... Unpacking libdebhelper-perl (13.7.1ubuntu1) ... Selecting previously unselected package libtool. Preparing to unpack .../33-libtool_2.4.7-4_all.deb ... Unpacking libtool (2.4.7-4) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../34-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../35-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../36-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 .../37-libfile-stripnondeterminism-perl_1.13.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../38-dh-strip-nondeterminism_1.13.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.0-1) ... Selecting previously unselected package libdw1:riscv64. Preparing to unpack .../39-libdw1_0.187-1_riscv64.deb ... Unpacking libdw1:riscv64 (0.187-1) ... Selecting previously unselected package debugedit. Preparing to unpack .../40-debugedit_1%3a5.0-4build1_riscv64.deb ... Unpacking debugedit (1:5.0-4build1) ... Selecting previously unselected package dwz. Preparing to unpack .../41-dwz_0.14-1build2_riscv64.deb ... Unpacking dwz (0.14-1build2) ... Selecting previously unselected package gettext. Preparing to unpack .../42-gettext_0.21-4ubuntu4_riscv64.deb ... Unpacking gettext (0.21-4ubuntu4) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../43-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 .../44-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../45-debhelper_13.7.1ubuntu1_all.deb ... Unpacking debhelper (13.7.1ubuntu1) ... Selecting previously unselected package libcoq-mathcomp-ssreflect. Preparing to unpack .../46-libcoq-mathcomp-ssreflect_1.14.0-9build1_riscv64.deb ... Unpacking libcoq-mathcomp-ssreflect (1.14.0-9build1) ... Selecting previously unselected package libcoq-mathcomp-fingroup. Preparing to unpack .../47-libcoq-mathcomp-fingroup_1.14.0-9build1_riscv64.deb ... Unpacking libcoq-mathcomp-fingroup (1.14.0-9build1) ... Selecting previously unselected package libcoq-mathcomp-algebra. Preparing to unpack .../48-libcoq-mathcomp-algebra_1.14.0-9build1_riscv64.deb ... Unpacking libcoq-mathcomp-algebra (1.14.0-9build1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../49-dh-ocaml_1.1.3_all.deb ... Unpacking dh-ocaml (1.1.3) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../50-sbuild-build-depends-main-dummy_0.invalid.0_riscv64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (8.0.0) ... Setting up libpipeline1:riscv64 (1.5.6-1) ... Setting up libicu71:riscv64 (71.1-3) ... Setting up libncurses-dev:riscv64 (6.3+20220423-2) ... Setting up bsdextrautils (2.38-4ubuntu1) ... Setting up libmagic-mgc (1:5.41-4) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.7.1ubuntu1) ... Setting up dh-ocaml (1.1.3) ... Setting up libmagic1:riscv64 (1:5.41-4) ... Setting up gettext-base (0.21-4ubuntu4) ... Setting up file (1:5.41-4) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.15.1+dfsg-1build1) ... Setting up libsigsegv2:riscv64 (2.13-1ubuntu3) ... Setting up autopoint (0.21-4ubuntu4) ... Setting up ocaml-base (4.13.1-3ubuntu1) ... Setting up libuchardet0:riscv64 (0.0.7-1build2) ... Setting up libncurses5-dev:riscv64 (6.3+20220423-2) ... Setting up libmpdec3:riscv64 (2.5.1-2build2) ... Setting up libsub-override-perl (0.09-2) ... Setting up libelf1:riscv64 (0.187-1) ... Setting up libxml2:riscv64 (2.9.14+dfsg-1) ... Setting up libfile-stripnondeterminism-perl (1.13.0-1) ... Setting up libdw1:riscv64 (0.187-1) ... Setting up gettext (0.21-4ubuntu4) ... Setting up libtool (2.4.7-4) ... Setting up libfindlib-ocaml (1.9.3-1) ... Setting up m4 (1.4.18-5ubuntu2) ... Setting up libzarith-ocaml (1.12-1build1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libpython3.10-stdlib:riscv64 (3.10.4-4) ... Setting up ocaml-findlib (1.9.3-1) ... Setting up autoconf (2.71-2) ... Setting up dh-strip-nondeterminism (1.13.0-1) ... Setting up dwz (0.14-1build2) ... Setting up libcoq-core-ocaml (8.15.1+dfsg-1build1) ... Setting up groff-base (1.22.4-8build1) ... Setting up debugedit (1:5.0-4build1) ... Setting up libpython3-stdlib:riscv64 (3.10.4-0ubuntu2) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up python3.10 (3.10.4-4) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up python3 (3.10.4-0ubuntu2) ... Setting up man-db (2.10.2-1) ... 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 dh-autoreconf (20) ... Setting up debhelper (13.7.1ubuntu1) ... Setting up ocaml-compiler-libs (4.13.1-3ubuntu1) ... Setting up ocaml-interp (4.13.1-3ubuntu1) ... Setting up ocaml (4.13.1-3ubuntu1) ... Setting up ocaml-nox (4.13.1-3ubuntu1) ... Setting up coq (8.15.1+dfsg-1build1) ... Setting up libcoq-mathcomp-ssreflect (1.14.0-9build1) ... Setting up libcoq-mathcomp-fingroup (1.14.0-9build1) ... Setting up libcoq-mathcomp-algebra (1.14.0-9build1) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.35-0ubuntu3) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (riscv64 included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 5.13.0-1019-generic #21~20.04.1-Ubuntu SMP Thu Mar 24 22:36:01 UTC 2022 riscv64 (riscv64) Toolchain package versions: binutils_2.38-4ubuntu1 dpkg-dev_1.21.7ubuntu3 g++-11_11.3.0-1ubuntu1 gcc-11_11.3.0-1ubuntu1 libc6-dev_2.35-0ubuntu3 libstdc++-11-dev_11.3.0-1ubuntu1 libstdc++6_12.1.0-2ubuntu1 linux-libc-dev_5.15.0-28.29 Package versions: adduser_3.121ubuntu1 advancecomp_2.1-2.1ubuntu2 apt_2.4.5 autoconf_2.71-2 automake_1:1.16.5-1.3 autopoint_0.21-4ubuntu4 autotools-dev_20220109.1 base-files_12ubuntu5 base-passwd_3.5.52build1 bash_5.1-6ubuntu1 binutils_2.38-4ubuntu1 binutils-common_2.38-4ubuntu1 binutils-riscv64-linux-gnu_2.38-4ubuntu1 bsdextrautils_2.38-4ubuntu1 bsdutils_1:2.38-4ubuntu1 build-essential_12.9ubuntu3 bzip2_1.0.8-5build1 ca-certificates_20211016 coq_8.15.1+dfsg-1build1 coreutils_8.32-4.1ubuntu1 cpp_4:11.2.0-1ubuntu1 cpp-11_11.3.0-1ubuntu1 dash_0.5.11+git20210903+057cd650a4ed-8 debconf_1.5.79ubuntu1 debhelper_13.7.1ubuntu1 debianutils_5.7-0.2 debugedit_1:5.0-4build1 dh-autoreconf_20 dh-ocaml_1.1.3 dh-strip-nondeterminism_1.13.0-1 diffutils_1:3.8-0ubuntu2 dpkg_1.21.7ubuntu3 dpkg-dev_1.21.7ubuntu3 dwz_0.14-1build2 e2fsprogs_1.46.5-2ubuntu1 fakeroot_1.28-1ubuntu1 file_1:5.41-4 findutils_4.8.0-1ubuntu3 g++_4:11.2.0-1ubuntu1 g++-11_11.3.0-1ubuntu1 gcc_4:11.2.0-1ubuntu1 gcc-11_11.3.0-1ubuntu1 gcc-11-base_11.3.0-1ubuntu1 gcc-12-base_12.1.0-2ubuntu1 gettext_0.21-4ubuntu4 gettext-base_0.21-4ubuntu4 gpg_2.2.27-3ubuntu2 gpg-agent_2.2.27-3ubuntu2 gpgconf_2.2.27-3ubuntu2 gpgv_2.2.27-3ubuntu2 grep_3.7-1build1 groff-base_1.22.4-8build1 gzip_1.10-4ubuntu4 hostname_3.23ubuntu2 init_1.62 init-system-helpers_1.62 intltool-debian_0.35.0+20060710.5 libacl1_2.3.1-1 libapparmor1_3.0.4-2ubuntu2 libapt-pkg6.0_2.4.5 libarchive-zip-perl_1.68-1 libargon2-1_0~20171227-0.3 libasan6_11.3.0-1ubuntu1 libassuan0_2.5.5-3 libatomic1_12.1.0-2ubuntu1 libattr1_1:2.5.1-1build1 libaudit-common_1:3.0.7-1build1 libaudit1_1:3.0.7-1build1 libbinutils_2.38-4ubuntu1 libblkid1_2.38-4ubuntu1 libbz2-1.0_1.0.8-5build1 libc-bin_2.35-0ubuntu3 libc-dev-bin_2.35-0ubuntu3 libc6_2.35-0ubuntu3 libc6-dev_2.35-0ubuntu3 libcap-ng0_0.7.9-2.2build3 libcap2_1:2.44-1build3 libcc1-0_12.1.0-2ubuntu1 libcom-err2_1.46.5-2ubuntu1 libcoq-core-ocaml_8.15.1+dfsg-1build1 libcoq-mathcomp-algebra_1.14.0-9build1 libcoq-mathcomp-fingroup_1.14.0-9build1 libcoq-mathcomp-ssreflect_1.14.0-9build1 libcoq-stdlib_8.15.1+dfsg-1build1 libcrypt-dev_1:4.4.27-1 libcrypt1_1:4.4.27-1 libcryptsetup12_2:2.4.3-1ubuntu1 libctf-nobfd0_2.38-4ubuntu1 libctf0_2.38-4ubuntu1 libdb5.3_5.3.28+dfsg1-0.8ubuntu3 libdebconfclient0_0.261ubuntu1 libdebhelper-perl_13.7.1ubuntu1 libdevmapper1.02.1_2:1.02.175-2.1ubuntu4 libdpkg-perl_1.21.7ubuntu3 libdw1_0.187-1 libelf1_0.187-1 libexpat1_2.4.8-1 libext2fs2_1.46.5-2ubuntu1 libfakeroot_1.28-1ubuntu1 libffi8_3.4.2-4 libfile-stripnondeterminism-perl_1.13.0-1 libfindlib-ocaml_1.9.3-1 libgcc-11-dev_11.3.0-1ubuntu1 libgcc-s1_12.1.0-2ubuntu1 libgcrypt20_1.9.4-3ubuntu3 libgdbm-compat4_1.23-1 libgdbm6_1.23-1 libgmp10_2:6.2.1+dfsg-3ubuntu1 libgnutls30_3.7.4-2ubuntu1 libgomp1_12.1.0-2ubuntu1 libgpg-error0_1.45-2 libgssapi-krb5-2_1.19.2-2 libhogweed6_3.7.3-1build2 libicu71_71.1-3 libidn2-0_2.3.2-2build1 libip4tc2_1.8.7-1ubuntu6 libisl23_0.24-2build1 libjson-c5_0.16-1 libk5crypto3_1.19.2-2 libkeyutils1_1.6.1-2ubuntu3 libkmod2_29-1ubuntu1 libkrb5-3_1.19.2-2 libkrb5support0_1.19.2-2 liblockfile-bin_1.17-1build2 liblockfile1_1.17-1build2 liblz4-1_1.9.3-2build2 liblzma5_5.2.5-2.1 libmagic-mgc_1:5.41-4 libmagic1_1:5.41-4 libmount1_2.38-4ubuntu1 libmpc3_1.2.1-2build1 libmpdec3_2.5.1-2build2 libmpfr6_4.1.0-3build3 libncurses-dev_6.3+20220423-2 libncurses5-dev_6.3+20220423-2 libncurses6_6.3+20220423-2 libncursesw6_6.3+20220423-2 libnettle8_3.7.3-1build2 libnpth0_1.6-3build2 libnsl-dev_1.3.0-2build2 libnsl2_1.3.0-2build2 libp11-kit0_0.24.1-1 libpam-modules_1.4.0-13ubuntu1 libpam-modules-bin_1.4.0-13ubuntu1 libpam-runtime_1.4.0-13ubuntu1 libpam0g_1.4.0-13ubuntu1 libpcre2-8-0_10.40-1 libpcre3_2:8.39-14 libperl5.34_5.34.0-3ubuntu1 libpipeline1_1.5.6-1 libpng16-16_1.6.37-5 libprocps8_2:3.3.17-6ubuntu2 libpython3-stdlib_3.10.4-0ubuntu2 libpython3.10-minimal_3.10.4-4 libpython3.10-stdlib_3.10.4-4 libreadline8_8.1.2-1.2 libseccomp2_2.5.4-1ubuntu1 libselinux1_3.3-1build2 libsemanage-common_3.3-1build2 libsemanage2_3.3-1build2 libsepol2_3.3-1build1 libsigsegv2_2.13-1ubuntu3 libsmartcols1_2.38-4ubuntu1 libsqlite3-0_3.38.5-1 libss2_1.46.5-2ubuntu1 libssl3_3.0.3-0ubuntu1 libstdc++-11-dev_11.3.0-1ubuntu1 libstdc++6_12.1.0-2ubuntu1 libsub-override-perl_0.09-2 libsystemd0_249.11-0ubuntu3.1 libtasn1-6_4.18.0-4build1 libtinfo6_6.3+20220423-2 libtirpc-common_1.3.2-2build1 libtirpc-dev_1.3.2-2build1 libtirpc3_1.3.2-2build1 libtool_2.4.7-4 libuchardet0_0.0.7-1build2 libudev1_249.11-0ubuntu3.1 libunistring2_1.0-1 libuuid1_2.38-4ubuntu1 libxml2_2.9.14+dfsg-1 libxxhash0_0.8.1-1 libzarith-ocaml_1.12-1build1 libzstd1_1.5.2+dfsg-1 linux-libc-dev_5.15.0-28.29 lockfile-progs_0.1.19build1 login_1:4.8.1-2ubuntu2 logsave_1.46.5-2ubuntu1 lsb-base_11.1.0ubuntu4 lto-disabled-list_25 m4_1.4.18-5ubuntu2 make_4.3-4.1build1 man-db_2.10.2-1 mawk_1.3.4.20200120-3 media-types_8.0.0 mount_2.38-4ubuntu1 ncurses-base_6.3+20220423-2 ncurses-bin_6.3+20220423-2 ocaml_4.13.1-3ubuntu1 ocaml-base_4.13.1-3ubuntu1 ocaml-compiler-libs_4.13.1-3ubuntu1 ocaml-findlib_1.9.3-1 ocaml-interp_4.13.1-3ubuntu1 ocaml-nox_4.13.1-3ubuntu1 openssl_3.0.3-0ubuntu1 optipng_0.7.7-2build1 passwd_1:4.8.1-2ubuntu2 patch_2.7.6-7build2 perl_5.34.0-3ubuntu1 perl-base_5.34.0-3ubuntu1 perl-modules-5.34_5.34.0-3ubuntu1 pinentry-curses_1.2.0-1 pkgbinarymangler_149 po-debconf_1.0.21+nmu1 policyrcd-script-zg2_0.1-3 procps_2:3.3.17-6ubuntu2 python3_3.10.4-0ubuntu2 python3-minimal_3.10.4-0ubuntu2 python3.10_3.10.4-4 python3.10-minimal_3.10.4-4 readline-common_8.1.2-1.2 rpcsvc-proto_1.4.2-0ubuntu6 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.8-1ubuntu2 sensible-utils_0.0.17 systemd_249.11-0ubuntu3.1 systemd-sysv_249.11-0ubuntu3.1 sysvinit-utils_3.01-1ubuntu1 tar_1.34+dfsg-1build3 tzdata_2022a-0ubuntu1 ubuntu-keyring_2021.03.26 usrmerge_25ubuntu2 util-linux_2.38-4ubuntu1 util-linux-extra_2.38-4ubuntu1 xz-utils_5.2.5-2.1 zlib1g_1:1.2.11.dfsg-2ubuntu9 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: mathcomp-zify Binary: libcoq-mathcomp-zify Architecture: any Version: 1.2.0+1.12+8.13-2 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/math-comp/mczify Standards-Version: 4.6.1 Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-zify Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-zify.git Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-algebra Package-List: libcoq-mathcomp-zify deb ocaml optional arch=any Checksums-Sha1: 709fc943ce093729788dc87614f951bb9412d02d 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz bd26436d3a4de2be1176ada9e89331172d4c35a2 8412 mathcomp-zify_1.2.0+1.12+8.13-2.debian.tar.xz Checksums-Sha256: a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz dfa68fad716ac47db09e747b3d5129f3b8766a01232e804e5b9deab2c49c74fd 8412 mathcomp-zify_1.2.0+1.12+8.13-2.debian.tar.xz Files: 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz 6322914cd8bd1bf01a62857ba5bb77db 8412 mathcomp-zify_1.2.0+1.12+8.13-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKD+qQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRDSUP/2UmYnHfNMobf+bjC6vGprc6iFm8rYql tO0LCN5pNxXcJA57p1F7Ikqj06daqE2HMsAJbm2oOjfvdJLYYjx0msE72AbwFGck J/DTG/uuVlEu8vfmx2PjRd9x6vv8VQEa9oZ+zpat/APoqgLtzg7oiX2SDPGUqFJV gU/IT6LipPH9/D+j2J4jNA3bUsbrPTO1yzKdjyjhllURjNS0XbijtDIn35FInNGT s4ZeVlTadTq3Mccj+ZkruoaxQQCqyqvfQ6d8wDIyclQPAwZnenXL33UUEU/6LyTS TfiaIpBi/dNL0MMMZyZh/Gbs/hhpB/G0jME+g1cwdwlGI2wHHQ5erv10IpLJMO0Z os1ze+jgx/yLaEj1mmegc7oBfRWIIxknSmneV1rpX4GHZHOw7UVQApaIT+KnWYzo ZyhbMtiS+1xL3DAPZFESOsUIPzLmYFHJv8rHtq8oN15EhsQF8J4XlfEzNJQ1tl5K U6guuemx+xO+b1fFg3ty4jouZa1HmSvIQ7N6zlYIe10ddSNnjK/EQxDGmRZ7HBYg elRblIpw2MrJDiOLiNU3SjUkb+nMDThdUSI4lpqUefunVi3bD29n7PYMsSTdoiVl MgFIXPdSsfl9tHcA15eoCQMn9Q0enJYDCeX3YMH2XUlP32JzYEnVoj0i203VLlR6 4tCid5uZu4TO =pmKF -----END PGP SIGNATURE----- gpgv: Signature made Tue May 17 19:42:28 2022 UTC gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify signature ./mathcomp-zify_1.2.0+1.12+8.13-2.dsc dpkg-source: info: extracting mathcomp-zify in /<> dpkg-source: info: unpacking mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz dpkg-source: info: unpacking mathcomp-zify_1.2.0+1.12+8.13-2.debian.tar.xz Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=8 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-23757360 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-23757360 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-23757360 SCHROOT_UID=2001 SCHROOT_USER=buildd SHELL=/bin/sh TERM=unknown USER=buildd V=1 dpkg-buildpackage ----------------- Command: dpkg-buildpackage -us -uc -mLaunchpad Build Daemon -B -rfakeroot dpkg-buildpackage: info: source package mathcomp-zify dpkg-buildpackage: info: source version 1.2.0+1.12+8.13-2 dpkg-buildpackage: info: source distribution unstable dpkg-source --before-build . dpkg-buildpackage: info: host architecture riscv64 debian/rules clean dh clean --with ocaml dh_auto_clean make -j8 distclean make[1]: Entering directory '/<>' rm -f Makefile.coq Makefile.coq.conf rm -f Makefile.test-suite.coq Makefile.test-suite.coq.conf make[1]: Leaving directory '/<>' dh_ocamlclean dh_clean debian/rules binary-arch dh binary-arch --with ocaml dh_update_autotools_config -a dh_autoreconf -a dh_ocamlinit -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/<>' make make[2]: Entering directory '/<>' coq_makefile -f Make -o Makefile.coq make --no-print-directory -f Makefile.coq COQDEP VFILES COQC theories/zify_ssreflect.v File "./theories/zify_ssreflect.v", line 18, characters 0-89: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 22, characters 0-59: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 29, characters 0-103: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 33, characters 0-88: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 37, characters 0-60: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 40, characters 0-115: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 44, characters 0-65: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 47, characters 0-123: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 51, characters 0-65: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 54, characters 0-122: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 58, characters 0-64: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 61, characters 0-122: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 65, characters 0-64: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 68, characters 0-120: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 72, characters 0-139: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 77, characters 0-119: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 81, characters 0-138: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 86, characters 0-77: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 89, characters 0-69: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 92, characters 0-76: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 95, characters 0-68: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 98, characters 0-57: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 101, characters 0-60: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 104, characters 0-53: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 107, characters 0-56: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 110, characters 0-129: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 114, characters 0-70: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 121, characters 0-42: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 124, characters 0-58: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 127, characters 0-49: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 130, characters 0-41: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 133, characters 0-114: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 137, characters 0-48: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 140, characters 0-40: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 143, characters 0-48: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 146, characters 0-40: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 149, characters 0-114: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 153, characters 0-88: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 157, characters 0-104: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 161, characters 0-104: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 165, characters 0-104: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 169, characters 0-92: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 173, characters 0-92: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 177, characters 0-93: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 181, characters 0-99: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 185, characters 0-121: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 192, characters 0-90: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 196, characters 0-45: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 199, characters 0-114: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 203, characters 0-114: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 213, characters 0-110: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 217, characters 0-97: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 224, characters 0-142: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 229, characters 0-121: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 233, characters 0-54: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 236, characters 0-59: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 239, characters 0-54: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 242, characters 0-59: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 245, characters 0-53: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 248, characters 0-58: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 251, characters 0-53: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 254, characters 0-58: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 257, characters 0-62: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 260, characters 0-137: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 264, characters 0-62: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 267, characters 0-137: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 271, characters 0-64: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 274, characters 0-67: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 277, characters 0-64: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 280, characters 0-67: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 283, characters 0-51: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 303, characters 0-72: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 306, characters 0-72: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 379, characters 0-79: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 382, characters 0-100: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 386, characters 0-107: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 390, characters 0-110: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 394, characters 0-128: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 399, characters 0-98: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 403, characters 0-115: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 420, characters 0-80: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 432, characters 0-80: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 435, characters 0-124: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 444, characters 0-61: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 447, characters 0-66: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 450, characters 0-142: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 454, characters 0-71: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 457, characters 0-180: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 462, characters 0-70: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 465, characters 0-180: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 470, characters 0-70: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 473, characters 0-70: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 476, characters 0-73: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 479, characters 0-70: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 482, characters 0-73: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 485, characters 0-88: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 489, characters 0-72: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 492, characters 0-54: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_ssreflect.v", line 495, characters 0-57: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] COQC theories/ssrZ.v File "./theories/ssrZ.v", line 5, characters 0-74: Warning: New coercion path [GRing.subring_closedM; GRing.smulr_closedN] : GRing.subring_closed >-> GRing.oppr_closed is ambiguous with existing [GRing.subring_closedB; GRing.zmod_closedN] : GRing.subring_closed >-> GRing.oppr_closed. [ambiguous-paths,typechecker] File "./theories/ssrZ.v", line 5, characters 0-74: Warning: New coercion path [GRing.subring_closed_semi; GRing.semiring_closedM] : GRing.subring_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.subring_closedM; GRing.smulr_closedM] : GRing.subring_closed >-> GRing.mulr_closed. New coercion path [GRing.subring_closed_semi; GRing.semiring_closedD] : GRing.subring_closed >-> GRing.addr_closed is ambiguous with existing [GRing.subring_closedB; GRing.zmod_closedD] : GRing.subring_closed >-> GRing.addr_closed. [ambiguous-paths,typechecker] File "./theories/ssrZ.v", line 5, characters 0-74: Warning: New coercion path [GRing.sdivr_closed_div; GRing.divr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.sdivr_closedM; GRing.smulr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed. [ambiguous-paths,typechecker] File "./theories/ssrZ.v", line 5, characters 0-74: Warning: New coercion path [GRing.subalg_closedBM; GRing.subring_closedB] : GRing.subalg_closed >-> GRing.zmod_closed is ambiguous with existing [GRing.subalg_closedZ; GRing.submod_closedB] : GRing.subalg_closed >-> GRing.zmod_closed. [ambiguous-paths,typechecker] File "./theories/ssrZ.v", line 5, characters 0-74: Warning: New coercion path [GRing.divring_closed_div; GRing.sdivr_closedM] : GRing.divring_closed >-> GRing.smulr_closed is ambiguous with existing [GRing.divring_closedBM; GRing.subring_closedM] : GRing.divring_closed >-> GRing.smulr_closed. [ambiguous-paths,typechecker] File "./theories/ssrZ.v", line 5, characters 0-74: Warning: New coercion path [GRing.divalg_closedBdiv; GRing.divring_closedBM] : GRing.divalg_closed >-> GRing.subring_closed is ambiguous with existing [GRing.divalg_closedZ; GRing.subalg_closedBM] : GRing.divalg_closed >-> GRing.subring_closed. [ambiguous-paths,typechecker] File "./theories/ssrZ.v", line 5, characters 0-74: Warning: New coercion path [GRing.Pred.subring_smul; GRing.Pred.smul_mul] : GRing.Pred.subring >-> GRing.Pred.mul is ambiguous with existing [GRing.Pred.subring_semi; GRing.Pred.semiring_mul] : GRing.Pred.subring >-> GRing.Pred.mul. [ambiguous-paths,typechecker] COQC theories/zify_algebra.v File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.subring_closedM; GRing.smulr_closedN] : GRing.subring_closed >-> GRing.oppr_closed is ambiguous with existing [GRing.subring_closedB; GRing.zmod_closedN] : GRing.subring_closed >-> GRing.oppr_closed. [ambiguous-paths,typechecker] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.subring_closed_semi; GRing.semiring_closedM] : GRing.subring_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.subring_closedM; GRing.smulr_closedM] : GRing.subring_closed >-> GRing.mulr_closed. New coercion path [GRing.subring_closed_semi; GRing.semiring_closedD] : GRing.subring_closed >-> GRing.addr_closed is ambiguous with existing [GRing.subring_closedB; GRing.zmod_closedD] : GRing.subring_closed >-> GRing.addr_closed. [ambiguous-paths,typechecker] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.sdivr_closed_div; GRing.divr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed is ambiguous with existing [GRing.sdivr_closedM; GRing.smulr_closedM] : GRing.sdivr_closed >-> GRing.mulr_closed. [ambiguous-paths,typechecker] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.subalg_closedBM; GRing.subring_closedB] : GRing.subalg_closed >-> GRing.zmod_closed is ambiguous with existing [GRing.subalg_closedZ; GRing.submod_closedB] : GRing.subalg_closed >-> GRing.zmod_closed. [ambiguous-paths,typechecker] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.divring_closed_div; GRing.sdivr_closedM] : GRing.divring_closed >-> GRing.smulr_closed is ambiguous with existing [GRing.divring_closedBM; GRing.subring_closedM] : GRing.divring_closed >-> GRing.smulr_closed. [ambiguous-paths,typechecker] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.divalg_closedBdiv; GRing.divring_closedBM] : GRing.divalg_closed >-> GRing.subring_closed is ambiguous with existing [GRing.divalg_closedZ; GRing.subalg_closedBM] : GRing.divalg_closed >-> GRing.subring_closed. [ambiguous-paths,typechecker] File "./theories/zify_algebra.v", line 6, characters 0-78: Warning: New coercion path [GRing.Pred.subring_smul; GRing.Pred.smul_mul] : GRing.Pred.subring >-> GRing.Pred.mul is ambiguous with existing [GRing.Pred.subring_semi; GRing.Pred.semiring_mul] : GRing.Pred.subring >-> GRing.Pred.mul. [ambiguous-paths,typechecker] File "./theories/zify_algebra.v", line 24, characters 0-88: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 28, characters 0-75: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 31, characters 0-77: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 34, characters 0-67: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 37, characters 0-92: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 41, characters 0-113: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 45, characters 0-160: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 50, characters 0-75: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 53, characters 0-80: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 56, characters 0-43: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 59, characters 0-79: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 62, characters 0-53: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 65, characters 0-75: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 68, characters 0-83: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 72, characters 0-44: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 75, characters 0-145: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 79, characters 0-130: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 83, characters 0-84: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 90, characters 0-118: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 94, characters 0-149: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 98, characters 0-67: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 101, characters 0-81: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 105, characters 0-48: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 108, characters 0-88: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 112, characters 0-121: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 116, characters 0-103: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 120, characters 0-103: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 124, characters 0-113: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 128, characters 0-50: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 131, characters 0-42: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 134, characters 0-59: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 137, characters 0-108: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 141, characters 0-62: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 144, characters 0-41: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 147, characters 0-58: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 150, characters 0-107: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 154, characters 0-61: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 157, characters 0-127: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 161, characters 0-143: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 165, characters 0-127: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 169, characters 0-143: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 173, characters 0-129: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 177, characters 0-70: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 180, characters 0-129: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 184, characters 0-70: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 191, characters 0-64: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 194, characters 0-71: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 197, characters 0-91: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 201, characters 0-92: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 205, characters 0-71: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 208, characters 0-93: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 215, characters 0-119: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 219, characters 0-136: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 223, characters 0-78: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 229, characters 0-110: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 233, characters 0-136: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 237, characters 0-77: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 240, characters 0-78: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 243, characters 0-86: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 247, characters 0-90: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 251, characters 0-101: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 255, characters 0-94: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 259, characters 0-56: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 262, characters 0-102: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 266, characters 0-56: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 269, characters 0-93: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 273, characters 0-55: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 276, characters 0-101: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 280, characters 0-55: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 283, characters 0-119: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 287, characters 0-133: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 291, characters 0-119: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 295, characters 0-133: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 299, characters 0-121: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 303, characters 0-64: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 306, characters 0-121: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 310, characters 0-64: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 321, characters 0-103: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 325, characters 0-93: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 329, characters 0-122: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 338, characters 0-80: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] File "./theories/zify_algebra.v", line 341, characters 0-127: Warning: The default value for instance locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding instances outside of sections without specifying an explicit locality attribute is therefore deprecated. It is recommended to use "export" whenever possible. Use the attributes #[local], #[global] and #[export] depending on your choice. For example: "#[export] Instance Foo : Bar := baz." [deprecated-instance-without-locality,deprecated] COQC theories/zify.v make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh: command-omitted: The call to "debian/rules override_dh_auto_test" was omitted due to "DEB_BUILD_OPTIONS=nocheck" create-stamp debian/debhelper-build-stamp dh_prep -a debian/rules override_dh_auto_install make[1]: Entering directory '/<>' make install DESTDIR=/<>/debian/tmp make[2]: Entering directory '/<>' coq_makefile -f Make -o Makefile.coq make --no-print-directory -f Makefile.coq install INSTALL theories/ssrZ.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_ssreflect.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_algebra.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/zify/ INSTALL theories/ssrZ.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_ssreflect.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_algebra.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/zify/ INSTALL theories/ssrZ.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_ssreflect.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify_algebra.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/zify/ INSTALL theories/zify.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/mathcomp/zify/ make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh_install -a dh_ocamldoc -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_ocaml -a debian/rules override_dh_gencontrol make[1]: Entering directory '/<>' dh_gencontrol -- -VF:CoqABI="8.15.1+4.13.1" dpkg-gencontrol: warning: Provides field of package libcoq-mathcomp-zify: substitution variable ${ocaml:Provides} used, but is not defined make[1]: Leaving directory '/<>' dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 149 pkgstriptranslations: processing libcoq-mathcomp-zify (in debian/libcoq-mathcomp-zify); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libcoq-mathcomp-zify/DEBIAN/control, package libcoq-mathcomp-zify, directory debian/libcoq-mathcomp-zify pkgstripfiles: Running PNG optimization (using 8 cpus) for package libcoq-mathcomp-zify ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libcoq-mathcomp-zify' in '../libcoq-mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.deb'. dpkg-genbuildinfo --build=any -O../mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.buildinfo dpkg-genchanges --build=any -mLaunchpad Build Daemon -O../mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) -------------------------------------------------------------------------------- Build finished at 2022-05-18T05:32:39Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.changes: ------------------------------------------------ Format: 1.8 Date: Tue, 17 May 2022 21:41:09 +0200 Source: mathcomp-zify Binary: libcoq-mathcomp-zify Built-For-Profiles: noudeb Architecture: riscv64 Version: 1.2.0+1.12+8.13-2 Distribution: kinetic-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Julien Puydt Description: libcoq-mathcomp-zify - Micromega arithmetic solvers for Mathematical Components Changes: mathcomp-zify (1.2.0+1.12+8.13-2) unstable; urgency=medium . * Bump standards-version to 4.6.1. Checksums-Sha1: 8122c10d24f7b23a4590a8d96f0a16903b614d17 269244 libcoq-mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.deb beea1c588cac705880ebacf25f9c3c51436a8bb5 6497 mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.buildinfo Checksums-Sha256: 5fb2da38d2cf04449d122ecf3beb91d47831032430c612fd5145eb4250c91720 269244 libcoq-mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.deb 9424c74fe919ecb1428e2b5d233cf78f5ed2abc96b58223175233728554f16e7 6497 mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.buildinfo Files: 8e601e6ed2ebd2fa118206a722d21637 269244 ocaml optional libcoq-mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.deb 7dcc5c104072f93ffc1aa55fad8f3409 6497 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.buildinfo /<>/mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.changes.new could not be renamed to /<>/mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: mathcomp-zify Binary: libcoq-mathcomp-zify Architecture: riscv64 Version: 1.2.0+1.12+8.13-2 Checksums-Md5: 8e601e6ed2ebd2fa118206a722d21637 269244 libcoq-mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.deb Checksums-Sha1: 8122c10d24f7b23a4590a8d96f0a16903b614d17 269244 libcoq-mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.deb Checksums-Sha256: 5fb2da38d2cf04449d122ecf3beb91d47831032430c612fd5145eb4250c91720 269244 libcoq-mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.deb Build-Origin: Ubuntu Build-Architecture: riscv64 Build-Date: Wed, 18 May 2022 05:32:33 +0000 Build-Path: /<> Build-Tainted-By: merged-usr-via-aliased-dirs usr-local-has-programs Installed-Build-Depends: autoconf (= 2.71-2), automake (= 1:1.16.5-1.3), autopoint (= 0.21-4ubuntu4), autotools-dev (= 20220109.1), base-files (= 12ubuntu5), base-passwd (= 3.5.52build1), bash (= 5.1-6ubuntu1), binutils (= 2.38-4ubuntu1), binutils-common (= 2.38-4ubuntu1), binutils-riscv64-linux-gnu (= 2.38-4ubuntu1), bsdextrautils (= 2.38-4ubuntu1), bsdutils (= 1:2.38-4ubuntu1), build-essential (= 12.9ubuntu3), bzip2 (= 1.0.8-5build1), coq (= 8.15.1+dfsg-1build1), coreutils (= 8.32-4.1ubuntu1), cpp (= 4:11.2.0-1ubuntu1), cpp-11 (= 11.3.0-1ubuntu1), dash (= 0.5.11+git20210903+057cd650a4ed-8), debconf (= 1.5.79ubuntu1), debhelper (= 13.7.1ubuntu1), debianutils (= 5.7-0.2), debugedit (= 1:5.0-4build1), dh-autoreconf (= 20), dh-ocaml (= 1.1.3), dh-strip-nondeterminism (= 1.13.0-1), diffutils (= 1:3.8-0ubuntu2), dpkg (= 1.21.7ubuntu3), dpkg-dev (= 1.21.7ubuntu3), dwz (= 0.14-1build2), file (= 1:5.41-4), findutils (= 4.8.0-1ubuntu3), g++ (= 4:11.2.0-1ubuntu1), g++-11 (= 11.3.0-1ubuntu1), gcc (= 4:11.2.0-1ubuntu1), gcc-11 (= 11.3.0-1ubuntu1), gcc-11-base (= 11.3.0-1ubuntu1), gcc-12-base (= 12.1.0-2ubuntu1), gettext (= 0.21-4ubuntu4), gettext-base (= 0.21-4ubuntu4), grep (= 3.7-1build1), groff-base (= 1.22.4-8build1), gzip (= 1.10-4ubuntu4), hostname (= 3.23ubuntu2), init-system-helpers (= 1.62), intltool-debian (= 0.35.0+20060710.5), libacl1 (= 2.3.1-1), libarchive-zip-perl (= 1.68-1), libasan6 (= 11.3.0-1ubuntu1), libatomic1 (= 12.1.0-2ubuntu1), libattr1 (= 1:2.5.1-1build1), libaudit-common (= 1:3.0.7-1build1), libaudit1 (= 1:3.0.7-1build1), libbinutils (= 2.38-4ubuntu1), libblkid1 (= 2.38-4ubuntu1), libbz2-1.0 (= 1.0.8-5build1), libc-bin (= 2.35-0ubuntu3), libc-dev-bin (= 2.35-0ubuntu3), libc6 (= 2.35-0ubuntu3), libc6-dev (= 2.35-0ubuntu3), libcap-ng0 (= 0.7.9-2.2build3), libcap2 (= 1:2.44-1build3), libcc1-0 (= 12.1.0-2ubuntu1), libcom-err2 (= 1.46.5-2ubuntu1), libcoq-core-ocaml (= 8.15.1+dfsg-1build1), libcoq-mathcomp-algebra (= 1.14.0-9build1), libcoq-mathcomp-fingroup (= 1.14.0-9build1), libcoq-mathcomp-ssreflect (= 1.14.0-9build1), libcoq-stdlib (= 8.15.1+dfsg-1build1), libcrypt-dev (= 1:4.4.27-1), libcrypt1 (= 1:4.4.27-1), libctf-nobfd0 (= 2.38-4ubuntu1), libctf0 (= 2.38-4ubuntu1), libdb5.3 (= 5.3.28+dfsg1-0.8ubuntu3), libdebconfclient0 (= 0.261ubuntu1), libdebhelper-perl (= 13.7.1ubuntu1), libdpkg-perl (= 1.21.7ubuntu3), libdw1 (= 0.187-1), libelf1 (= 0.187-1), libexpat1 (= 2.4.8-1), libffi8 (= 3.4.2-4), libfile-stripnondeterminism-perl (= 1.13.0-1), libfindlib-ocaml (= 1.9.3-1), libgcc-11-dev (= 11.3.0-1ubuntu1), libgcc-s1 (= 12.1.0-2ubuntu1), libgcrypt20 (= 1.9.4-3ubuntu3), libgdbm-compat4 (= 1.23-1), libgdbm6 (= 1.23-1), libgmp10 (= 2:6.2.1+dfsg-3ubuntu1), libgomp1 (= 12.1.0-2ubuntu1), libgpg-error0 (= 1.45-2), libgssapi-krb5-2 (= 1.19.2-2), libicu71 (= 71.1-3), libisl23 (= 0.24-2build1), libk5crypto3 (= 1.19.2-2), libkeyutils1 (= 1.6.1-2ubuntu3), libkrb5-3 (= 1.19.2-2), libkrb5support0 (= 1.19.2-2), liblz4-1 (= 1.9.3-2build2), liblzma5 (= 5.2.5-2.1), libmagic-mgc (= 1:5.41-4), libmagic1 (= 1:5.41-4), libmount1 (= 2.38-4ubuntu1), libmpc3 (= 1.2.1-2build1), libmpdec3 (= 2.5.1-2build2), libmpfr6 (= 4.1.0-3build3), libncurses-dev (= 6.3+20220423-2), libncurses5-dev (= 6.3+20220423-2), libncurses6 (= 6.3+20220423-2), libncursesw6 (= 6.3+20220423-2), libnsl-dev (= 1.3.0-2build2), libnsl2 (= 1.3.0-2build2), libpam-modules (= 1.4.0-13ubuntu1), libpam-modules-bin (= 1.4.0-13ubuntu1), libpam-runtime (= 1.4.0-13ubuntu1), libpam0g (= 1.4.0-13ubuntu1), libpcre2-8-0 (= 10.40-1), libpcre3 (= 2:8.39-14), libperl5.34 (= 5.34.0-3ubuntu1), libpipeline1 (= 1.5.6-1), libpython3-stdlib (= 3.10.4-0ubuntu2), libpython3.10-minimal (= 3.10.4-4), libpython3.10-stdlib (= 3.10.4-4), libreadline8 (= 8.1.2-1.2), libselinux1 (= 3.3-1build2), libsigsegv2 (= 2.13-1ubuntu3), libsmartcols1 (= 2.38-4ubuntu1), libsqlite3-0 (= 3.38.5-1), libssl3 (= 3.0.3-0ubuntu1), libstdc++-11-dev (= 11.3.0-1ubuntu1), libstdc++6 (= 12.1.0-2ubuntu1), libsub-override-perl (= 0.09-2), libsystemd0 (= 249.11-0ubuntu3.1), libtinfo6 (= 6.3+20220423-2), libtirpc-common (= 1.3.2-2build1), libtirpc-dev (= 1.3.2-2build1), libtirpc3 (= 1.3.2-2build1), libtool (= 2.4.7-4), libuchardet0 (= 0.0.7-1build2), libudev1 (= 249.11-0ubuntu3.1), libunistring2 (= 1.0-1), libuuid1 (= 2.38-4ubuntu1), libxml2 (= 2.9.14+dfsg-1), libzarith-ocaml (= 1.12-1build1), libzstd1 (= 1.5.2+dfsg-1), linux-libc-dev (= 5.15.0-28.29), login (= 1:4.8.1-2ubuntu2), lsb-base (= 11.1.0ubuntu4), lto-disabled-list (= 25), m4 (= 1.4.18-5ubuntu2), make (= 4.3-4.1build1), man-db (= 2.10.2-1), mawk (= 1.3.4.20200120-3), media-types (= 8.0.0), ncurses-base (= 6.3+20220423-2), ncurses-bin (= 6.3+20220423-2), ocaml (= 4.13.1-3ubuntu1), ocaml-base (= 4.13.1-3ubuntu1), ocaml-compiler-libs (= 4.13.1-3ubuntu1), ocaml-findlib (= 1.9.3-1), ocaml-interp (= 4.13.1-3ubuntu1), ocaml-nox (= 4.13.1-3ubuntu1), patch (= 2.7.6-7build2), perl (= 5.34.0-3ubuntu1), perl-base (= 5.34.0-3ubuntu1), perl-modules-5.34 (= 5.34.0-3ubuntu1), po-debconf (= 1.0.21+nmu1), python3 (= 3.10.4-0ubuntu2), python3-minimal (= 3.10.4-0ubuntu2), python3.10 (= 3.10.4-4), python3.10-minimal (= 3.10.4-4), readline-common (= 8.1.2-1.2), rpcsvc-proto (= 1.4.2-0ubuntu6), sed (= 4.8-1ubuntu2), sensible-utils (= 0.0.17), sysvinit-utils (= 3.01-1ubuntu1), tar (= 1.34+dfsg-1build3), util-linux (= 2.38-4ubuntu1), util-linux-extra (= 2.38-4ubuntu1), xz-utils (= 5.2.5-2.1), zlib1g (= 1:1.2.11.dfsg-2ubuntu9) Environment: DEB_BUILD_OPTIONS="nocheck parallel=8" DEB_BUILD_PROFILES="noudeb" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1652816469" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libcoq-mathcomp-zify_1.2.0+1.12+8.13-2_riscv64.deb -------------------------------------------------- new Debian package, version 2.0. size 269244 bytes: control archive=1201 bytes. 814 bytes, 20 lines control 1799 bytes, 20 lines md5sums Package: libcoq-mathcomp-zify Source: mathcomp-zify Version: 1.2.0+1.12+8.13-2 Architecture: riscv64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 1233 Depends: coq-8.15.1+4.13.1, libcoq-mathcomp-algebra Suggests: ocaml-findlib Section: ocaml Priority: optional Homepage: https://github.com/math-comp/mczify Description: Micromega arithmetic solvers for Mathematical Components This package enables the use of the micromega arithmetic solvers of Coq for goals stated with the Mathematical Components library, by extending the zify tactic. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant. drwxr-xr-x root/root 0 2022-05-17 19:41 ./ drwxr-xr-x root/root 0 2022-05-17 19:41 ./usr/ drwxr-xr-x root/root 0 2022-05-17 19:41 ./usr/lib/ drwxr-xr-x root/root 0 2022-05-17 19:41 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2022-05-17 19:41 ./usr/lib/ocaml/coq/ drwxr-xr-x root/root 0 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/ drwxr-xr-x root/root 0 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/ drwxr-xr-x root/root 0 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/ -rw-r--r-- root/root 24870 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/ssrZ.glob -rw-r--r-- root/root 5740 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/ssrZ.v -rw-r--r-- root/root 97309 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/ssrZ.vo -rw-r--r-- root/root 332 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify.glob -rw-r--r-- root/root 163 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify.v -rw-r--r-- root/root 23514 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify.vo -rw-r--r-- root/root 54569 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify_algebra.glob -rw-r--r-- root/root 14179 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify_algebra.v -rw-r--r-- root/root 554666 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify_algebra.vo -rw-r--r-- root/root 81045 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify_ssreflect.glob -rw-r--r-- root/root 20132 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify_ssreflect.v -rw-r--r-- root/root 324926 2022-05-17 19:41 ./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify_ssreflect.vo drwxr-xr-x root/root 0 2022-05-17 19:41 ./usr/share/ drwxr-xr-x root/root 0 2022-05-17 19:41 ./usr/share/doc/ drwxr-xr-x root/root 0 2022-05-17 19:41 ./usr/share/doc/libcoq-mathcomp-zify/ -rw-r--r-- root/root 1731 2021-12-28 08:21 ./usr/share/doc/libcoq-mathcomp-zify/README.md -rw-r--r-- root/root 225 2022-05-17 19:41 ./usr/share/doc/libcoq-mathcomp-zify/changelog.Debian.gz -rw-r--r-- root/root 22286 2022-05-17 19:41 ./usr/share/doc/libcoq-mathcomp-zify/copyright drwxr-xr-x root/root 0 2022-05-17 19:41 ./usr/share/doc/libcoq-mathcomp-zify/examples/ -rw-r--r-- root/root 209 2021-12-28 08:21 ./usr/share/doc/libcoq-mathcomp-zify/examples/boolean.v -rw-r--r-- root/root 634 2021-12-28 08:21 ./usr/share/doc/libcoq-mathcomp-zify/examples/divmod.v -rw-r--r-- root/root 365 2021-12-28 08:21 ./usr/share/doc/libcoq-mathcomp-zify/examples/test_algebra.v -rw-r--r-- root/root 10988 2021-12-28 08:21 ./usr/share/doc/libcoq-mathcomp-zify/examples/test_ssreflect.v -rw-r--r-- root/root 468 2021-12-28 08:21 ./usr/share/doc/libcoq-mathcomp-zify/examples/zagier.v +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: riscv64 Build Type: any Build-Space: 5036 Build-Time: 269 Distribution: kinetic-proposed Host Architecture: riscv64 Install-Time: 474 Job: mathcomp-zify_1.2.0+1.12+8.13-2.dsc Machine Architecture: riscv64 Package: mathcomp-zify Package-Time: 771 Source-Version: 1.2.0+1.12+8.13-2 Space: 5036 Status: successful Version: 1.2.0+1.12+8.13-2 -------------------------------------------------------------------------------- Finished at 2022-05-18T05:32:39Z Build needed 00:12:51, 5036k disk space Adding user buildd to group lxd RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23757360 Scanning for processes to kill in build PACKAGEBUILD-23757360 RUN: /usr/share/launchpad-buildd/bin/in-target umount-chroot --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23757360 Stopping target for build PACKAGEBUILD-23757360 RUN: /usr/share/launchpad-buildd/bin/in-target remove-build --backend=chroot --series=kinetic --arch=riscv64 PACKAGEBUILD-23757360 Removing build PACKAGEBUILD-23757360