https://launchpad.net/ubuntu/+source/coq-ext-lib/0.12.0-1build1/+build/27585493 RUN: /usr/share/launchpad-buildd/bin/builder-prep Kernel version: Linux bos01-s390x-017 5.4.0-169-generic #187-Ubuntu SMP Thu Nov 23 14:52:16 UTC 2023 s390x Buildd toolchain package versions: launchpad-buildd_235~645~ubuntu20.04.1 python3-lpbuildd_235~645~ubuntu20.04.1 sbuild_0.79.0-1ubuntu1 git-build-recipe_0.3.6 git_1:2.25.1-1ubuntu3.11 dpkg-dev_1.19.7ubuntu3.2 python3-debian_0.1.36ubuntu1.1. Syncing the system clock with the buildd NTP service... 23 Dec 01:33:22 ntpdate[1880]: adjust time server 10.211.37.1 offset -0.000131 sec RUN: /usr/share/launchpad-buildd/bin/in-target unpack-chroot --backend=chroot --series=noble --arch=s390x PACKAGEBUILD-27585493 --image-type chroot /home/buildd/filecache-default/c23f799bb684944311373fdcead5a58221fa6ef7 Creating target for build PACKAGEBUILD-27585493 RUN: /usr/share/launchpad-buildd/bin/in-target mount-chroot --backend=chroot --series=noble --arch=s390x PACKAGEBUILD-27585493 Starting target for build PACKAGEBUILD-27585493 RUN: /usr/share/launchpad-buildd/bin/in-target override-sources-list --backend=chroot --series=noble --arch=s390x PACKAGEBUILD-27585493 'deb http://ftpmaster.internal/ubuntu noble main universe' 'deb http://ftpmaster.internal/ubuntu noble-security main universe' 'deb http://ftpmaster.internal/ubuntu noble-updates main universe' 'deb http://ftpmaster.internal/ubuntu noble-proposed main universe' Overriding sources.list in build-PACKAGEBUILD-27585493 RUN: /usr/share/launchpad-buildd/bin/in-target update-debian-chroot --backend=chroot --series=noble --arch=s390x PACKAGEBUILD-27585493 Updating target for build PACKAGEBUILD-27585493 Get:1 http://ftpmaster.internal/ubuntu noble InRelease [240 kB] Get:2 http://ftpmaster.internal/ubuntu noble-security InRelease [74.9 kB] Get:3 http://ftpmaster.internal/ubuntu noble-updates InRelease [74.9 kB] Get:4 http://ftpmaster.internal/ubuntu noble-proposed InRelease [102 kB] Get:5 http://ftpmaster.internal/ubuntu noble/main s390x Packages [1337 kB] Get:6 http://ftpmaster.internal/ubuntu noble/main Translation-en [515 kB] Get:7 http://ftpmaster.internal/ubuntu noble/universe s390x Packages [14.7 MB] Get:8 http://ftpmaster.internal/ubuntu noble/universe Translation-en [6040 kB] Get:9 http://ftpmaster.internal/ubuntu noble-proposed/main s390x Packages [58.4 kB] Get:10 http://ftpmaster.internal/ubuntu noble-proposed/main Translation-en [30.0 kB] Get:11 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x Packages [228 kB] Get:12 http://ftpmaster.internal/ubuntu noble-proposed/universe Translation-en [116 kB] Fetched 23.5 MB in 14s (1715 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... The following package was automatically installed and is no longer required: libunistring2 Use 'sudo apt autoremove' to remove it. The following NEW packages will be installed: libunistring5 The following packages will be upgraded: apt apt-utils base-files base-passwd bash bash-completion binutils binutils-common binutils-s390x-linux-gnu bsdextrautils bsdutils coreutils cpp cpp-13 debianutils diffutils dpkg dpkg-dev fakeroot g++ g++-13 gcc gcc-13 gcc-13-base grep init init-system-helpers krb5-locales libapparmor1 libapt-pkg6.0 libargon2-1 libasan8 libatomic1 libaudit-common libaudit1 libbinutils libblkid1 libc-bin libc-dev-bin libc6 libc6-dev libcap-ng0 libcc1-0 libcryptsetup12 libctf-nobfd0 libctf0 libdb5.3 libdebconfclient0 libdpkg-perl libfakeroot libfdisk1 libffi8 libgcc-13-dev libgcc-s1 libgdbm-compat4 libgdbm6 libgnutls30 libgomp1 libgpg-error-l10n libgpg-error0 libgssapi-krb5-2 libidn2-0 libitm1 libk5crypto3 libkmod2 libkrb5-3 libkrb5support0 liblzma5 libmount1 libncursesw6 libnsl-dev libnsl2 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre2-8-0 libperl5.36 libpng16-16 libproc2-0 libreadline8 libseccomp2 libselinux1 libsemanage-common libsemanage2 libsepol2 libsframe1 libsmartcols1 libsqlite3-0 libssl3 libstdc++-13-dev libstdc++6 libsystemd-shared libsystemd0 libtinfo6 libtirpc-common libtirpc-dev libtirpc3 libubsan1 libudev1 libuuid1 libxxhash0 libzstd1 linux-libc-dev login lto-disabled-list mawk mount ncurses-base ncurses-bin openssl optipng passwd perl perl-base perl-modules-5.36 pinentry-curses procps readline-common systemd systemd-dev systemd-sysv sysvinit-utils tar ubuntu-keyring util-linux uuid-runtime xz-utils zlib1g 130 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 95.5 MB of archives. After this operation, 7373 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu noble/main s390x libnsl-dev s390x 1.3.0-3 [73.5 kB] Get:2 http://ftpmaster.internal/ubuntu noble/main s390x libc6-dev s390x 2.38-3ubuntu1 [1626 kB] Get:3 http://ftpmaster.internal/ubuntu noble/main s390x libc-dev-bin s390x 2.38-3ubuntu1 [20.0 kB] Get:4 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libtirpc-common all 1.3.4+ds-1build1 [8566 B] Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libtirpc-dev s390x 1.3.4+ds-1build1 [225 kB] Get:6 http://ftpmaster.internal/ubuntu noble/main s390x libgssapi-krb5-2 s390x 1.20.1-5build1 [146 kB] Get:7 http://ftpmaster.internal/ubuntu noble/main s390x libkrb5-3 s390x 1.20.1-5build1 [354 kB] Get:8 http://ftpmaster.internal/ubuntu noble/main s390x libk5crypto3 s390x 1.20.1-5build1 [89.1 kB] Get:9 http://ftpmaster.internal/ubuntu noble/main s390x libkrb5support0 s390x 1.20.1-5build1 [34.1 kB] Get:10 http://ftpmaster.internal/ubuntu noble/main s390x libssl3 s390x 3.0.10-1ubuntu3 [1625 kB] Get:11 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libtirpc3 s390x 1.3.4+ds-1build1 [100 kB] Get:12 http://ftpmaster.internal/ubuntu noble/main s390x libnsl2 s390x 1.3.0-3 [44.4 kB] Get:13 http://ftpmaster.internal/ubuntu noble-proposed/main s390x linux-libc-dev s390x 6.6.0-14.14 [1576 kB] Get:14 http://ftpmaster.internal/ubuntu noble/main s390x libcc1-0 s390x 13.2.0-9ubuntu1 [50.1 kB] Get:15 http://ftpmaster.internal/ubuntu noble/main s390x libctf0 s390x 2.41.50.20231214-1ubuntu1 [84.0 kB] Get:16 http://ftpmaster.internal/ubuntu noble/main s390x libctf-nobfd0 s390x 2.41.50.20231214-1ubuntu1 [88.1 kB] Get:17 http://ftpmaster.internal/ubuntu noble/main s390x binutils-s390x-linux-gnu s390x 2.41.50.20231214-1ubuntu1 [2387 kB] Get:18 http://ftpmaster.internal/ubuntu noble/main s390x libbinutils s390x 2.41.50.20231214-1ubuntu1 [421 kB] Get:19 http://ftpmaster.internal/ubuntu noble/main s390x binutils-common s390x 2.41.50.20231214-1ubuntu1 [230 kB] Get:20 http://ftpmaster.internal/ubuntu noble/main s390x binutils s390x 2.41.50.20231214-1ubuntu1 [3062 B] Get:21 http://ftpmaster.internal/ubuntu noble/main s390x gcc-13-base s390x 13.2.0-9ubuntu1 [45.2 kB] Get:22 http://ftpmaster.internal/ubuntu noble/main s390x libgcc-s1 s390x 13.2.0-9ubuntu1 [35.9 kB] Get:23 http://ftpmaster.internal/ubuntu noble/main s390x libgomp1 s390x 13.2.0-9ubuntu1 [146 kB] Get:24 http://ftpmaster.internal/ubuntu noble/main s390x libitm1 s390x 13.2.0-9ubuntu1 [31.3 kB] Get:25 http://ftpmaster.internal/ubuntu noble/main s390x libatomic1 s390x 13.2.0-9ubuntu1 [9382 B] Get:26 http://ftpmaster.internal/ubuntu noble/main s390x libasan8 s390x 13.2.0-9ubuntu1 [2852 kB] Get:27 http://ftpmaster.internal/ubuntu noble/main s390x libubsan1 s390x 13.2.0-9ubuntu1 [1112 kB] Get:28 http://ftpmaster.internal/ubuntu noble/main s390x g++-13 s390x 13.2.0-9ubuntu1 [10.2 MB] Get:29 http://ftpmaster.internal/ubuntu noble/main s390x libstdc++-13-dev s390x 13.2.0-9ubuntu1 [2426 kB] Get:30 http://ftpmaster.internal/ubuntu noble/main s390x libgcc-13-dev s390x 13.2.0-9ubuntu1 [1003 kB] Get:31 http://ftpmaster.internal/ubuntu noble/main s390x gcc-13 s390x 13.2.0-9ubuntu1 [17.6 MB] Get:32 http://ftpmaster.internal/ubuntu noble/main s390x cpp-13 s390x 13.2.0-9ubuntu1 [8794 kB] Get:33 http://ftpmaster.internal/ubuntu noble/main s390x libstdc++6 s390x 13.2.0-9ubuntu1 [875 kB] Get:34 http://ftpmaster.internal/ubuntu noble/main s390x zlib1g s390x 1:1.3.dfsg-3ubuntu1 [75.3 kB] Get:35 http://ftpmaster.internal/ubuntu noble/main s390x libsframe1 s390x 2.41.50.20231214-1ubuntu1 [13.1 kB] Get:36 http://ftpmaster.internal/ubuntu noble/main s390x libzstd1 s390x 1.5.5+dfsg2-2 [336 kB] Get:37 http://ftpmaster.internal/ubuntu noble/main s390x libc6 s390x 2.38-3ubuntu1 [2839 kB] Get:38 http://ftpmaster.internal/ubuntu noble/main s390x base-files s390x 13ubuntu5 [73.6 kB] Get:39 http://ftpmaster.internal/ubuntu noble/main s390x debianutils s390x 5.14 [89.3 kB] Get:40 http://ftpmaster.internal/ubuntu noble/main s390x bash s390x 5.2.21-2ubuntu1 [855 kB] Get:41 http://ftpmaster.internal/ubuntu noble/main s390x bsdutils s390x 1:2.39.2-6ubuntu1 [95.2 kB] Get:42 http://ftpmaster.internal/ubuntu noble/main s390x coreutils s390x 9.4-2ubuntu1 [1501 kB] Get:43 http://ftpmaster.internal/ubuntu noble/main s390x diffutils s390x 1:3.10-1 [187 kB] Get:44 http://ftpmaster.internal/ubuntu noble/main s390x liblzma5 s390x 5.4.5-0.1 [133 kB] Get:45 http://ftpmaster.internal/ubuntu noble/main s390x libapparmor1 s390x 4.0.0~alpha2-0ubuntu7 [49.6 kB] Get:46 http://ftpmaster.internal/ubuntu noble/main s390x libaudit-common all 1:3.1.2-1 [5512 B] Get:47 http://ftpmaster.internal/ubuntu noble/main s390x libcap-ng0 s390x 0.8.3-3 [15.7 kB] Get:48 http://ftpmaster.internal/ubuntu noble/main s390x libaudit1 s390x 1:3.1.2-1 [48.7 kB] Get:49 http://ftpmaster.internal/ubuntu noble/main s390x libblkid1 s390x 2.39.2-6ubuntu1 [126 kB] Get:50 http://ftpmaster.internal/ubuntu noble/main s390x libkmod2 s390x 30+20230601-2ubuntu1 [54.5 kB] Get:51 http://ftpmaster.internal/ubuntu noble/main s390x libpcre2-8-0 s390x 10.42-4ubuntu1 [243 kB] Get:52 http://ftpmaster.internal/ubuntu noble/main s390x libselinux1 s390x 3.5-1build2 [83.5 kB] Get:53 http://ftpmaster.internal/ubuntu noble/main s390x libmount1 s390x 2.39.2-6ubuntu1 [137 kB] Get:54 http://ftpmaster.internal/ubuntu noble/main s390x libpam0g s390x 1.5.2-9.1ubuntu1 [66.0 kB] Get:55 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libseccomp2 s390x 2.5.4-2ubuntu1 [52.2 kB] Get:56 http://ftpmaster.internal/ubuntu noble-proposed/main s390x systemd-sysv s390x 255-1ubuntu1 [11.7 kB] Get:57 http://ftpmaster.internal/ubuntu noble-proposed/main s390x systemd-dev all 255-1ubuntu1 [98.5 kB] Get:58 http://ftpmaster.internal/ubuntu noble-proposed/main s390x systemd s390x 255-1ubuntu1 [3581 kB] Get:59 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libsystemd-shared s390x 255-1ubuntu1 [2129 kB] Get:60 http://ftpmaster.internal/ubuntu noble/main s390x libargon2-1 s390x 0~20190702+dfsg-4 [53.1 kB] Get:61 http://ftpmaster.internal/ubuntu noble/main s390x libuuid1 s390x 2.39.2-6ubuntu1 [34.4 kB] Get:62 http://ftpmaster.internal/ubuntu noble/main s390x libcryptsetup12 s390x 2:2.6.1-5ubuntu1 [239 kB] Get:63 http://ftpmaster.internal/ubuntu noble/main s390x libfdisk1 s390x 2.39.2-6ubuntu1 [149 kB] Get:64 http://ftpmaster.internal/ubuntu noble/main s390x mount s390x 2.39.2-6ubuntu1 [118 kB] Get:65 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libsystemd0 s390x 255-1ubuntu1 [440 kB] Get:66 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libudev1 s390x 255-1ubuntu1 [174 kB] Get:67 http://ftpmaster.internal/ubuntu noble/main s390x libxxhash0 s390x 0.8.2-2 [23.6 kB] Get:68 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libapt-pkg6.0 s390x 2.7.7 [962 kB] Get:69 http://ftpmaster.internal/ubuntu noble/main s390x tar s390x 1.34+dfsg-1.4 [357 kB] Get:70 http://ftpmaster.internal/ubuntu noble-proposed/main s390x dpkg s390x 1.22.2ubuntu1 [1309 kB] Get:71 http://ftpmaster.internal/ubuntu noble/main s390x grep s390x 3.11-3 [172 kB] Get:72 http://ftpmaster.internal/ubuntu noble/main s390x login s390x 1:4.13+dfsg1-3ubuntu1 [202 kB] Get:73 http://ftpmaster.internal/ubuntu noble/main s390x ncurses-bin s390x 6.4+20231209-1 [196 kB] Get:74 http://ftpmaster.internal/ubuntu noble/main s390x libperl5.36 s390x 5.36.0-10ubuntu1 [4899 kB] Get:75 http://ftpmaster.internal/ubuntu noble/main s390x perl s390x 5.36.0-10ubuntu1 [235 kB] Get:76 http://ftpmaster.internal/ubuntu noble/main s390x perl-base s390x 5.36.0-10ubuntu1 [1881 kB] Get:77 http://ftpmaster.internal/ubuntu noble/main s390x perl-modules-5.36 all 5.36.0-10ubuntu1 [2984 kB] Get:78 http://ftpmaster.internal/ubuntu noble/main s390x libdb5.3 s390x 5.3.28+dfsg2-4 [752 kB] Get:79 http://ftpmaster.internal/ubuntu noble/main s390x libgdbm6 s390x 1.23-5 [35.5 kB] Get:80 http://ftpmaster.internal/ubuntu noble/main s390x libgdbm-compat4 s390x 1.23-5 [6538 B] Get:81 http://ftpmaster.internal/ubuntu noble/main s390x util-linux s390x 2.39.2-6ubuntu1 [1137 kB] Get:82 http://ftpmaster.internal/ubuntu noble/main s390x libdebconfclient0 s390x 0.271ubuntu1 [11.3 kB] Get:83 http://ftpmaster.internal/ubuntu noble/main s390x base-passwd s390x 3.6.3 [51.1 kB] Get:84 http://ftpmaster.internal/ubuntu noble-proposed/main s390x init-system-helpers all 1.66ubuntu1 [39.4 kB] Get:85 http://ftpmaster.internal/ubuntu noble/main s390x libc-bin s390x 2.38-3ubuntu1 [659 kB] Get:86 http://ftpmaster.internal/ubuntu noble/main s390x ncurses-base all 6.4+20231209-1 [25.2 kB] Get:87 http://ftpmaster.internal/ubuntu noble/main s390x sysvinit-utils s390x 3.08-3ubuntu1 [34.3 kB] Get:88 http://ftpmaster.internal/ubuntu noble-proposed/main s390x apt s390x 2.7.7 [1377 kB] Get:89 http://ftpmaster.internal/ubuntu noble-proposed/main s390x apt-utils s390x 2.7.7 [213 kB] Get:90 http://ftpmaster.internal/ubuntu noble/main s390x ubuntu-keyring all 2023.11.28.1 [11.1 kB] Get:91 http://ftpmaster.internal/ubuntu noble/main s390x libunistring5 s390x 1.1-2 [544 kB] Get:92 http://ftpmaster.internal/ubuntu noble/main s390x libidn2-0 s390x 2.3.4-1build1 [65.1 kB] Get:93 http://ftpmaster.internal/ubuntu noble/main s390x libffi8 s390x 3.4.4-2 [22.6 kB] Get:94 http://ftpmaster.internal/ubuntu noble/main s390x libp11-kit0 s390x 0.25.3-2ubuntu2 [313 kB] Get:95 http://ftpmaster.internal/ubuntu noble/main s390x libgnutls30 s390x 3.8.1-4ubuntu6 [937 kB] Get:96 http://ftpmaster.internal/ubuntu noble/main s390x libpam-modules-bin s390x 1.5.2-9.1ubuntu1 [51.9 kB] Get:97 http://ftpmaster.internal/ubuntu noble/main s390x libpam-modules s390x 1.5.2-9.1ubuntu1 [291 kB] Get:98 http://ftpmaster.internal/ubuntu noble-proposed/main s390x init s390x 1.66ubuntu1 [6188 B] Get:99 http://ftpmaster.internal/ubuntu noble/main s390x libsmartcols1 s390x 2.39.2-6ubuntu1 [66.3 kB] Get:100 http://ftpmaster.internal/ubuntu noble/main s390x uuid-runtime s390x 2.39.2-6ubuntu1 [33.2 kB] Get:101 http://ftpmaster.internal/ubuntu noble/main s390x libgpg-error-l10n all 1.47-3build1 [8024 B] Get:102 http://ftpmaster.internal/ubuntu noble/main s390x libgpg-error0 s390x 1.47-3build1 [75.6 kB] Get:103 http://ftpmaster.internal/ubuntu noble/main s390x libpam-runtime all 1.5.2-9.1ubuntu1 [41.5 kB] Get:104 http://ftpmaster.internal/ubuntu noble/main s390x libsemanage-common all 3.5-1build1 [9982 B] Get:105 http://ftpmaster.internal/ubuntu noble/main s390x libsepol2 s390x 3.5-2 [308 kB] Get:106 http://ftpmaster.internal/ubuntu noble/main s390x libsemanage2 s390x 3.5-1build1 [95.1 kB] Get:107 http://ftpmaster.internal/ubuntu noble/main s390x libncursesw6 s390x 6.4+20231209-1 [158 kB] Get:108 http://ftpmaster.internal/ubuntu noble/main s390x libtinfo6 s390x 6.4+20231209-1 [115 kB] Get:109 http://ftpmaster.internal/ubuntu noble/main s390x passwd s390x 1:4.13+dfsg1-3ubuntu1 [855 kB] Get:110 http://ftpmaster.internal/ubuntu noble/main s390x libproc2-0 s390x 2:4.0.4-2ubuntu1 [58.6 kB] Get:111 http://ftpmaster.internal/ubuntu noble/main s390x mawk s390x 1.3.4.20231126-1 [132 kB] Get:112 http://ftpmaster.internal/ubuntu noble/main s390x procps s390x 2:4.0.4-2ubuntu1 [722 kB] Get:113 http://ftpmaster.internal/ubuntu noble/main s390x krb5-locales all 1.20.1-5build1 [13.7 kB] Get:114 http://ftpmaster.internal/ubuntu noble/main s390x readline-common all 8.2-3 [56.2 kB] Get:115 http://ftpmaster.internal/ubuntu noble/main s390x libreadline8 s390x 8.2-3 [167 kB] Get:116 http://ftpmaster.internal/ubuntu noble/main s390x libsqlite3-0 s390x 3.44.2-1 [727 kB] Get:117 http://ftpmaster.internal/ubuntu noble/main s390x openssl s390x 3.0.10-1ubuntu3 [1189 kB] Get:118 http://ftpmaster.internal/ubuntu noble/main s390x bash-completion all 1:2.11-8 [180 kB] Get:119 http://ftpmaster.internal/ubuntu noble/main s390x bsdextrautils s390x 2.39.2-6ubuntu1 [75.7 kB] Get:120 http://ftpmaster.internal/ubuntu noble/main s390x libpng16-16 s390x 1.6.40-2 [197 kB] Get:121 http://ftpmaster.internal/ubuntu noble/main s390x xz-utils s390x 5.4.5-0.1 [269 kB] Get:122 http://ftpmaster.internal/ubuntu noble/main s390x g++ s390x 4:13.2.0-2ubuntu1 [1118 B] Get:123 http://ftpmaster.internal/ubuntu noble/main s390x gcc s390x 4:13.2.0-2ubuntu1 [5172 B] Get:124 http://ftpmaster.internal/ubuntu noble/main s390x cpp s390x 4:13.2.0-2ubuntu1 [29.0 kB] Get:125 http://ftpmaster.internal/ubuntu noble-proposed/main s390x dpkg-dev all 1.22.2ubuntu1 [1147 kB] Get:126 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libdpkg-perl all 1.22.2ubuntu1 [285 kB] Get:127 http://ftpmaster.internal/ubuntu noble/main s390x lto-disabled-list all 44 [12.4 kB] Get:128 http://ftpmaster.internal/ubuntu noble/main s390x libfakeroot s390x 1.32.2-1 [31.5 kB] Get:129 http://ftpmaster.internal/ubuntu noble/main s390x fakeroot s390x 1.32.2-1 [67.3 kB] Get:130 http://ftpmaster.internal/ubuntu noble/main s390x optipng s390x 0.7.7-3 [87.0 kB] Get:131 http://ftpmaster.internal/ubuntu noble/main s390x pinentry-curses s390x 1.2.1-3ubuntu1 [37.1 kB] Preconfiguring packages ... Fetched 95.5 MB in 4s (23.9 MB/s) (Reading database ... 13395 files and directories currently installed.) Preparing to unpack .../00-libnsl-dev_1.3.0-3_s390x.deb ... Unpacking libnsl-dev:s390x (1.3.0-3) over (1.3.0-2build2) ... Preparing to unpack .../01-libc6-dev_2.38-3ubuntu1_s390x.deb ... Unpacking libc6-dev:s390x (2.38-3ubuntu1) over (2.38-1ubuntu6) ... Preparing to unpack .../02-libc-dev-bin_2.38-3ubuntu1_s390x.deb ... Unpacking libc-dev-bin (2.38-3ubuntu1) over (2.38-1ubuntu6) ... Preparing to unpack .../03-libtirpc-common_1.3.4+ds-1build1_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1build1) over (1.3.3+ds-1) ... Preparing to unpack .../04-libtirpc-dev_1.3.4+ds-1build1_s390x.deb ... Unpacking libtirpc-dev:s390x (1.3.4+ds-1build1) over (1.3.3+ds-1) ... Preparing to unpack .../05-libgssapi-krb5-2_1.20.1-5build1_s390x.deb ... Unpacking libgssapi-krb5-2:s390x (1.20.1-5build1) over (1.20.1-3ubuntu1) ... Preparing to unpack .../06-libkrb5-3_1.20.1-5build1_s390x.deb ... Unpacking libkrb5-3:s390x (1.20.1-5build1) over (1.20.1-3ubuntu1) ... Preparing to unpack .../07-libk5crypto3_1.20.1-5build1_s390x.deb ... Unpacking libk5crypto3:s390x (1.20.1-5build1) over (1.20.1-3ubuntu1) ... Preparing to unpack .../08-libkrb5support0_1.20.1-5build1_s390x.deb ... Unpacking libkrb5support0:s390x (1.20.1-5build1) over (1.20.1-3ubuntu1) ... Preparing to unpack .../09-libssl3_3.0.10-1ubuntu3_s390x.deb ... Unpacking libssl3:s390x (3.0.10-1ubuntu3) over (3.0.10-1ubuntu2) ... Preparing to unpack .../10-libtirpc3_1.3.4+ds-1build1_s390x.deb ... Unpacking libtirpc3:s390x (1.3.4+ds-1build1) over (1.3.3+ds-1) ... Preparing to unpack .../11-libnsl2_1.3.0-3_s390x.deb ... Unpacking libnsl2:s390x (1.3.0-3) over (1.3.0-2build2) ... Preparing to unpack .../12-linux-libc-dev_6.6.0-14.14_s390x.deb ... Unpacking linux-libc-dev:s390x (6.6.0-14.14) over (6.5.0-9.9) ... Preparing to unpack .../13-libcc1-0_13.2.0-9ubuntu1_s390x.deb ... Unpacking libcc1-0:s390x (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../14-libctf0_2.41.50.20231214-1ubuntu1_s390x.deb ... Unpacking libctf0:s390x (2.41.50.20231214-1ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../15-libctf-nobfd0_2.41.50.20231214-1ubuntu1_s390x.deb ... Unpacking libctf-nobfd0:s390x (2.41.50.20231214-1ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../16-binutils-s390x-linux-gnu_2.41.50.20231214-1ubuntu1_s390x.deb ... Unpacking binutils-s390x-linux-gnu (2.41.50.20231214-1ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../17-libbinutils_2.41.50.20231214-1ubuntu1_s390x.deb ... Unpacking libbinutils:s390x (2.41.50.20231214-1ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../18-binutils-common_2.41.50.20231214-1ubuntu1_s390x.deb ... Unpacking binutils-common:s390x (2.41.50.20231214-1ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../19-binutils_2.41.50.20231214-1ubuntu1_s390x.deb ... Unpacking binutils (2.41.50.20231214-1ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../20-gcc-13-base_13.2.0-9ubuntu1_s390x.deb ... Unpacking gcc-13-base:s390x (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Setting up gcc-13-base:s390x (13.2.0-9ubuntu1) ... (Reading database ... 13396 files and directories currently installed.) Preparing to unpack .../libgcc-s1_13.2.0-9ubuntu1_s390x.deb ... Unpacking libgcc-s1:s390x (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Setting up libgcc-s1:s390x (13.2.0-9ubuntu1) ... (Reading database ... 13396 files and directories currently installed.) Preparing to unpack .../00-libgomp1_13.2.0-9ubuntu1_s390x.deb ... Unpacking libgomp1:s390x (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../01-libitm1_13.2.0-9ubuntu1_s390x.deb ... Unpacking libitm1:s390x (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../02-libatomic1_13.2.0-9ubuntu1_s390x.deb ... Unpacking libatomic1:s390x (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../03-libasan8_13.2.0-9ubuntu1_s390x.deb ... Unpacking libasan8:s390x (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../04-libubsan1_13.2.0-9ubuntu1_s390x.deb ... Unpacking libubsan1:s390x (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../05-g++-13_13.2.0-9ubuntu1_s390x.deb ... Unpacking g++-13 (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../06-libstdc++-13-dev_13.2.0-9ubuntu1_s390x.deb ... Unpacking libstdc++-13-dev:s390x (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../07-libgcc-13-dev_13.2.0-9ubuntu1_s390x.deb ... Unpacking libgcc-13-dev:s390x (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../08-gcc-13_13.2.0-9ubuntu1_s390x.deb ... Unpacking gcc-13 (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../09-cpp-13_13.2.0-9ubuntu1_s390x.deb ... Unpacking cpp-13 (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Preparing to unpack .../10-libstdc++6_13.2.0-9ubuntu1_s390x.deb ... Unpacking libstdc++6:s390x (13.2.0-9ubuntu1) over (13.2.0-4ubuntu3) ... Setting up libstdc++6:s390x (13.2.0-9ubuntu1) ... (Reading database ... 13394 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.3.dfsg-3ubuntu1_s390x.deb ... Unpacking zlib1g:s390x (1:1.3.dfsg-3ubuntu1) over (1:1.2.13.dfsg-1ubuntu5) ... Setting up zlib1g:s390x (1:1.3.dfsg-3ubuntu1) ... (Reading database ... 13394 files and directories currently installed.) Preparing to unpack .../libsframe1_2.41.50.20231214-1ubuntu1_s390x.deb ... Unpacking libsframe1:s390x (2.41.50.20231214-1ubuntu1) over (2.41-5ubuntu1) ... Preparing to unpack .../libzstd1_1.5.5+dfsg2-2_s390x.deb ... Unpacking libzstd1:s390x (1.5.5+dfsg2-2) over (1.5.5+dfsg2-1ubuntu2) ... Setting up libzstd1:s390x (1.5.5+dfsg2-2) ... (Reading database ... 13394 files and directories currently installed.) Preparing to unpack .../libc6_2.38-3ubuntu1_s390x.deb ... Unpacking libc6:s390x (2.38-3ubuntu1) over (2.38-1ubuntu6) ... Setting up libc6:s390x (2.38-3ubuntu1) ... (Reading database ... 13394 files and directories currently installed.) Preparing to unpack .../base-files_13ubuntu5_s390x.deb ... Unpacking base-files (13ubuntu5) over (13ubuntu3) ... Setting up base-files (13ubuntu5) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... (Reading database ... 13394 files and directories currently installed.) Preparing to unpack .../debianutils_5.14_s390x.deb ... Unpacking debianutils (5.14) over (5.8-1) ... Setting up debianutils (5.14) ... (Reading database ... 13393 files and directories currently installed.) Preparing to unpack .../bash_5.2.21-2ubuntu1_s390x.deb ... Unpacking bash (5.2.21-2ubuntu1) over (5.2.15-2ubuntu1) ... Setting up bash (5.2.21-2ubuntu1) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... 13393 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.39.2-6ubuntu1_s390x.deb ... Unpacking bsdutils (1:2.39.2-6ubuntu1) over (1:2.39.1-4ubuntu2) ... Setting up bsdutils (1:2.39.2-6ubuntu1) ... (Reading database ... 13393 files and directories currently installed.) Preparing to unpack .../coreutils_9.4-2ubuntu1_s390x.deb ... Unpacking coreutils (9.4-2ubuntu1) over (9.1-1ubuntu2) ... Setting up coreutils (9.4-2ubuntu1) ... (Reading database ... 13398 files and directories currently installed.) Preparing to unpack .../diffutils_1%3a3.10-1_s390x.deb ... Unpacking diffutils (1:3.10-1) over (1:3.8-4) ... Setting up diffutils (1:3.10-1) ... (Reading database ... 13398 files and directories currently installed.) Preparing to unpack .../liblzma5_5.4.5-0.1_s390x.deb ... Unpacking liblzma5:s390x (5.4.5-0.1) over (5.4.1-0.2) ... Setting up liblzma5:s390x (5.4.5-0.1) ... (Reading database ... 13398 files and directories currently installed.) Preparing to unpack .../libapparmor1_4.0.0~alpha2-0ubuntu7_s390x.deb ... Unpacking libapparmor1:s390x (4.0.0~alpha2-0ubuntu7) over (4.0.0~alpha2-0ubuntu5) ... Preparing to unpack .../libaudit-common_1%3a3.1.2-1_all.deb ... Unpacking libaudit-common (1:3.1.2-1) over (1:3.1.1-1) ... Setting up libaudit-common (1:3.1.2-1) ... (Reading database ... 13398 files and directories currently installed.) Preparing to unpack .../libcap-ng0_0.8.3-3_s390x.deb ... Unpacking libcap-ng0:s390x (0.8.3-3) over (0.8.3-1build2) ... Setting up libcap-ng0:s390x (0.8.3-3) ... (Reading database ... 13398 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a3.1.2-1_s390x.deb ... Unpacking libaudit1:s390x (1:3.1.2-1) over (1:3.1.1-1) ... Setting up libaudit1:s390x (1:3.1.2-1) ... (Reading database ... 13398 files and directories currently installed.) Preparing to unpack .../libblkid1_2.39.2-6ubuntu1_s390x.deb ... Unpacking libblkid1:s390x (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Setting up libblkid1:s390x (2.39.2-6ubuntu1) ... (Reading database ... 13398 files and directories currently installed.) Preparing to unpack .../libkmod2_30+20230601-2ubuntu1_s390x.deb ... Unpacking libkmod2:s390x (30+20230601-2ubuntu1) over (30+20230519-1ubuntu3) ... Preparing to unpack .../libpcre2-8-0_10.42-4ubuntu1_s390x.deb ... Unpacking libpcre2-8-0:s390x (10.42-4ubuntu1) over (10.42-4) ... Setting up libpcre2-8-0:s390x (10.42-4ubuntu1) ... (Reading database ... 13398 files and directories currently installed.) Preparing to unpack .../libselinux1_3.5-1build2_s390x.deb ... Unpacking libselinux1:s390x (3.5-1build2) over (3.5-1) ... Setting up libselinux1:s390x (3.5-1build2) ... (Reading database ... 13398 files and directories currently installed.) Preparing to unpack .../libmount1_2.39.2-6ubuntu1_s390x.deb ... Unpacking libmount1:s390x (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Setting up libmount1:s390x (2.39.2-6ubuntu1) ... (Reading database ... 13398 files and directories currently installed.) Preparing to unpack .../libpam0g_1.5.2-9.1ubuntu1_s390x.deb ... Unpacking libpam0g:s390x (1.5.2-9.1ubuntu1) over (1.5.2-6ubuntu1) ... Setting up libpam0g:s390x (1.5.2-9.1ubuntu1) ... (Reading database ... 13397 files and directories currently installed.) Preparing to unpack .../libseccomp2_2.5.4-2ubuntu1_s390x.deb ... Unpacking libseccomp2:s390x (2.5.4-2ubuntu1) over (2.5.4-1ubuntu3) ... Setting up libseccomp2:s390x (2.5.4-2ubuntu1) ... (Reading database ... 13397 files and directories currently installed.) Preparing to unpack .../systemd-sysv_255-1ubuntu1_s390x.deb ... Unpacking systemd-sysv (255-1ubuntu1) over (253.5-1ubuntu6) ... Preparing to unpack .../systemd-dev_255-1ubuntu1_all.deb ... Unpacking systemd-dev (255-1ubuntu1) over (253.5-1ubuntu6) ... Setting up libssl3:s390x (3.0.10-1ubuntu3) ... (Reading database ... 13439 files and directories currently installed.) Preparing to unpack .../systemd_255-1ubuntu1_s390x.deb ... Unpacking systemd (255-1ubuntu1) over (253.5-1ubuntu6) ... dpkg: warning: unable to delete old directory '/lib/systemd/system-preset': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system-generators': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/user@0.service.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/user@.service.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/user-.slice.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/timers.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/systemd-localed.service.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/sysinit.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/sockets.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/rescue.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/rc-local.service.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/multi-user.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/initrd-root-fs.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/initrd-root-device.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/graphical.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/system/getty.target.wants': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/network': Directory not empty dpkg: warning: unable to delete old directory '/lib/systemd/journald.conf.d': Directory not empty dpkg: warning: unable to delete old directory '/lib/modprobe.d': Directory not empty Preparing to unpack .../libsystemd-shared_255-1ubuntu1_s390x.deb ... Unpacking libsystemd-shared:s390x (255-1ubuntu1) over (253.5-1ubuntu6) ... Preparing to unpack .../libargon2-1_0~20190702+dfsg-4_s390x.deb ... Unpacking libargon2-1:s390x (0~20190702+dfsg-4) over (0~20190702+dfsg-3) ... Preparing to unpack .../libuuid1_2.39.2-6ubuntu1_s390x.deb ... Unpacking libuuid1:s390x (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Setting up libuuid1:s390x (2.39.2-6ubuntu1) ... (Reading database ... 13539 files and directories currently installed.) Preparing to unpack .../libcryptsetup12_2%3a2.6.1-5ubuntu1_s390x.deb ... Unpacking libcryptsetup12:s390x (2:2.6.1-5ubuntu1) over (2:2.6.1-4ubuntu3) ... Preparing to unpack .../libfdisk1_2.39.2-6ubuntu1_s390x.deb ... Unpacking libfdisk1:s390x (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Preparing to unpack .../mount_2.39.2-6ubuntu1_s390x.deb ... Unpacking mount (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Preparing to unpack .../libsystemd0_255-1ubuntu1_s390x.deb ... Unpacking libsystemd0:s390x (255-1ubuntu1) over (253.5-1ubuntu6) ... Setting up libsystemd0:s390x (255-1ubuntu1) ... (Reading database ... 13539 files and directories currently installed.) Preparing to unpack .../libudev1_255-1ubuntu1_s390x.deb ... Unpacking libudev1:s390x (255-1ubuntu1) over (253.5-1ubuntu6) ... Setting up libudev1:s390x (255-1ubuntu1) ... (Reading database ... 13539 files and directories currently installed.) Preparing to unpack .../libxxhash0_0.8.2-2_s390x.deb ... Unpacking libxxhash0:s390x (0.8.2-2) over (0.8.1-1) ... Setting up libxxhash0:s390x (0.8.2-2) ... (Reading database ... 13539 files and directories currently installed.) Preparing to unpack .../libapt-pkg6.0_2.7.7_s390x.deb ... Unpacking libapt-pkg6.0:s390x (2.7.7) over (2.7.3) ... Setting up libapt-pkg6.0:s390x (2.7.7) ... (Reading database ... 13539 files and directories currently installed.) Preparing to unpack .../tar_1.34+dfsg-1.4_s390x.deb ... Unpacking tar (1.34+dfsg-1.4) over (1.34+dfsg-1.2ubuntu1) ... Setting up tar (1.34+dfsg-1.4) ... (Reading database ... 13539 files and directories currently installed.) Preparing to unpack .../dpkg_1.22.2ubuntu1_s390x.deb ... Unpacking dpkg (1.22.2ubuntu1) over (1.22.0ubuntu1) ... Setting up dpkg (1.22.2ubuntu1) ... (Reading database ... 13537 files and directories currently installed.) Preparing to unpack .../archives/grep_3.11-3_s390x.deb ... Unpacking grep (3.11-3) over (3.11-2) ... Setting up grep (3.11-3) ... (Reading database ... 13537 files and directories currently installed.) Preparing to unpack .../login_1%3a4.13+dfsg1-3ubuntu1_s390x.deb ... Unpacking login (1:4.13+dfsg1-3ubuntu1) over (1:4.13+dfsg1-1ubuntu1) ... Setting up login (1:4.13+dfsg1-3ubuntu1) ... Installing new version of config file /etc/login.defs ... Installing new version of config file /etc/pam.d/login ... (Reading database ... 13537 files and directories currently installed.) Preparing to unpack .../ncurses-bin_6.4+20231209-1_s390x.deb ... Unpacking ncurses-bin (6.4+20231209-1) over (6.4+20230625-2) ... Setting up ncurses-bin (6.4+20231209-1) ... (Reading database ... 13537 files and directories currently installed.) Preparing to unpack .../libperl5.36_5.36.0-10ubuntu1_s390x.deb ... Unpacking libperl5.36:s390x (5.36.0-10ubuntu1) over (5.36.0-9ubuntu1) ... Preparing to unpack .../perl_5.36.0-10ubuntu1_s390x.deb ... Unpacking perl (5.36.0-10ubuntu1) over (5.36.0-9ubuntu1) ... Preparing to unpack .../perl-base_5.36.0-10ubuntu1_s390x.deb ... Unpacking perl-base (5.36.0-10ubuntu1) over (5.36.0-9ubuntu1) ... Setting up perl-base (5.36.0-10ubuntu1) ... (Reading database ... 13537 files and directories currently installed.) Preparing to unpack .../perl-modules-5.36_5.36.0-10ubuntu1_all.deb ... Unpacking perl-modules-5.36 (5.36.0-10ubuntu1) over (5.36.0-9ubuntu1) ... Preparing to unpack .../libdb5.3_5.3.28+dfsg2-4_s390x.deb ... Unpacking libdb5.3:s390x (5.3.28+dfsg2-4) over (5.3.28+dfsg2-2) ... Setting up libdb5.3:s390x (5.3.28+dfsg2-4) ... (Reading database ... 13537 files and directories currently installed.) Preparing to unpack .../libgdbm6_1.23-5_s390x.deb ... Unpacking libgdbm6:s390x (1.23-5) over (1.23-3) ... Preparing to unpack .../libgdbm-compat4_1.23-5_s390x.deb ... Unpacking libgdbm-compat4:s390x (1.23-5) over (1.23-3) ... Preparing to unpack .../util-linux_2.39.2-6ubuntu1_s390x.deb ... Unpacking util-linux (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Setting up util-linux (2.39.2-6ubuntu1) ... (Reading database ... 13538 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.271ubuntu1_s390x.deb ... Unpacking libdebconfclient0:s390x (0.271ubuntu1) over (0.270ubuntu1) ... Setting up libdebconfclient0:s390x (0.271ubuntu1) ... (Reading database ... 13538 files and directories currently installed.) Preparing to unpack .../base-passwd_3.6.3_s390x.deb ... Unpacking base-passwd (3.6.3) over (3.6.1) ... Setting up base-passwd (3.6.3) ... (Reading database ... 13538 files and directories currently installed.) Preparing to unpack .../init-system-helpers_1.66ubuntu1_all.deb ... Unpacking init-system-helpers (1.66ubuntu1) over (1.65.2ubuntu1) ... Setting up init-system-helpers (1.66ubuntu1) ... (Reading database ... 13538 files and directories currently installed.) Preparing to unpack .../libc-bin_2.38-3ubuntu1_s390x.deb ... Unpacking libc-bin (2.38-3ubuntu1) over (2.38-1ubuntu6) ... Setting up libc-bin (2.38-3ubuntu1) ... (Reading database ... 13538 files and directories currently installed.) Preparing to unpack .../ncurses-base_6.4+20231209-1_all.deb ... Unpacking ncurses-base (6.4+20231209-1) over (6.4+20230625-2) ... Setting up ncurses-base (6.4+20231209-1) ... (Reading database ... 13538 files and directories currently installed.) Preparing to unpack .../sysvinit-utils_3.08-3ubuntu1_s390x.deb ... Unpacking sysvinit-utils (3.08-3ubuntu1) over (3.07-1ubuntu1) ... Setting up sysvinit-utils (3.08-3ubuntu1) ... (Reading database ... 13538 files and directories currently installed.) Preparing to unpack .../archives/apt_2.7.7_s390x.deb ... Unpacking apt (2.7.7) over (2.7.3) ... Setting up apt (2.7.7) ... (Reading database ... 13538 files and directories currently installed.) Preparing to unpack .../apt-utils_2.7.7_s390x.deb ... Unpacking apt-utils (2.7.7) over (2.7.3) ... Preparing to unpack .../ubuntu-keyring_2023.11.28.1_all.deb ... Unpacking ubuntu-keyring (2023.11.28.1) over (2021.03.26) ... Setting up ubuntu-keyring (2023.11.28.1) ... Selecting previously unselected package libunistring5:s390x. (Reading database ... 13538 files and directories currently installed.) Preparing to unpack .../libunistring5_1.1-2_s390x.deb ... Unpacking libunistring5:s390x (1.1-2) ... Setting up libunistring5:s390x (1.1-2) ... (Reading database ... 13543 files and directories currently installed.) Preparing to unpack .../libidn2-0_2.3.4-1build1_s390x.deb ... Unpacking libidn2-0:s390x (2.3.4-1build1) over (2.3.4-1) ... Setting up libidn2-0:s390x (2.3.4-1build1) ... (Reading database ... 13543 files and directories currently installed.) Preparing to unpack .../libffi8_3.4.4-2_s390x.deb ... Unpacking libffi8:s390x (3.4.4-2) over (3.4.4-1) ... Setting up libffi8:s390x (3.4.4-2) ... (Reading database ... 13543 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.25.3-2ubuntu2_s390x.deb ... Unpacking libp11-kit0:s390x (0.25.3-2ubuntu2) over (0.25.0-4ubuntu1) ... Setting up libp11-kit0:s390x (0.25.3-2ubuntu2) ... (Reading database ... 13543 files and directories currently installed.) Preparing to unpack .../libgnutls30_3.8.1-4ubuntu6_s390x.deb ... Unpacking libgnutls30:s390x (3.8.1-4ubuntu6) over (3.8.1-4ubuntu1) ... Setting up libgnutls30:s390x (3.8.1-4ubuntu6) ... (Reading database ... 13544 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.5.2-9.1ubuntu1_s390x.deb ... Unpacking libpam-modules-bin (1.5.2-9.1ubuntu1) over (1.5.2-6ubuntu1) ... Setting up libpam-modules-bin (1.5.2-9.1ubuntu1) ... (Reading database ... 13543 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.5.2-9.1ubuntu1_s390x.deb ... Unpacking libpam-modules:s390x (1.5.2-9.1ubuntu1) over (1.5.2-6ubuntu1) ... Setting up libpam-modules:s390x (1.5.2-9.1ubuntu1) ... Setting up libapparmor1:s390x (4.0.0~alpha2-0ubuntu7) ... Setting up libargon2-1:s390x (0~20190702+dfsg-4) ... Setting up libcryptsetup12:s390x (2:2.6.1-5ubuntu1) ... Setting up libfdisk1:s390x (2.39.2-6ubuntu1) ... Setting up libkmod2:s390x (30+20230601-2ubuntu1) ... Setting up libsystemd-shared:s390x (255-1ubuntu1) ... Setting up systemd-dev (255-1ubuntu1) ... Setting up mount (2.39.2-6ubuntu1) ... Setting up systemd (255-1ubuntu1) ... Installing new version of config file /etc/systemd/journald.conf ... Installing new version of config file /etc/systemd/logind.conf ... Installing new version of config file /etc/systemd/networkd.conf ... Installing new version of config file /etc/systemd/pstore.conf ... Installing new version of config file /etc/systemd/sleep.conf ... Installing new version of config file /etc/systemd/system.conf ... Installing new version of config file /etc/systemd/user.conf ... Initializing machine ID from random generator. Setting up systemd-sysv (255-1ubuntu1) ... (Reading database ... 13542 files and directories currently installed.) Preparing to unpack .../init_1.66ubuntu1_s390x.deb ... Unpacking init (1.66ubuntu1) over (1.65.2ubuntu1) ... Preparing to unpack .../libsmartcols1_2.39.2-6ubuntu1_s390x.deb ... Unpacking libsmartcols1:s390x (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Setting up libsmartcols1:s390x (2.39.2-6ubuntu1) ... (Reading database ... 13543 files and directories currently installed.) Preparing to unpack .../uuid-runtime_2.39.2-6ubuntu1_s390x.deb ... Unpacking uuid-runtime (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Preparing to unpack .../libgpg-error-l10n_1.47-3build1_all.deb ... Unpacking libgpg-error-l10n (1.47-3build1) over (1.47-2) ... Preparing to unpack .../libgpg-error0_1.47-3build1_s390x.deb ... Unpacking libgpg-error0:s390x (1.47-3build1) over (1.47-2) ... Setting up libgpg-error0:s390x (1.47-3build1) ... (Reading database ... 13543 files and directories currently installed.) Preparing to unpack .../libpam-runtime_1.5.2-9.1ubuntu1_all.deb ... Unpacking libpam-runtime (1.5.2-9.1ubuntu1) over (1.5.2-6ubuntu1) ... Setting up libpam-runtime (1.5.2-9.1ubuntu1) ... (Reading database ... 13542 files and directories currently installed.) Preparing to unpack .../libsemanage-common_3.5-1build1_all.deb ... Unpacking libsemanage-common (3.5-1build1) over (3.5-1) ... Setting up libsemanage-common (3.5-1build1) ... (Reading database ... 13542 files and directories currently installed.) Preparing to unpack .../libsepol2_3.5-2_s390x.deb ... Unpacking libsepol2:s390x (3.5-2) over (3.5-1) ... Setting up libsepol2:s390x (3.5-2) ... (Reading database ... 13542 files and directories currently installed.) Preparing to unpack .../libsemanage2_3.5-1build1_s390x.deb ... Unpacking libsemanage2:s390x (3.5-1build1) over (3.5-1) ... Setting up libsemanage2:s390x (3.5-1build1) ... (Reading database ... 13542 files and directories currently installed.) Preparing to unpack .../libncursesw6_6.4+20231209-1_s390x.deb ... Unpacking libncursesw6:s390x (6.4+20231209-1) over (6.4+20230625-2) ... Preparing to unpack .../libtinfo6_6.4+20231209-1_s390x.deb ... Unpacking libtinfo6:s390x (6.4+20231209-1) over (6.4+20230625-2) ... Setting up libtinfo6:s390x (6.4+20231209-1) ... (Reading database ... 13542 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.13+dfsg1-3ubuntu1_s390x.deb ... Unpacking passwd (1:4.13+dfsg1-3ubuntu1) over (1:4.13+dfsg1-1ubuntu1) ... Setting up passwd (1:4.13+dfsg1-3ubuntu1) ... (Reading database ... 13542 files and directories currently installed.) Preparing to unpack .../00-libproc2-0_2%3a4.0.4-2ubuntu1_s390x.deb ... Unpacking libproc2-0:s390x (2:4.0.4-2ubuntu1) over (2:4.0.3-1ubuntu1) ... Preparing to unpack .../01-mawk_1.3.4.20231126-1_s390x.deb ... Unpacking mawk (1.3.4.20231126-1) over (1.3.4.20230730-1) ... Preparing to unpack .../02-procps_2%3a4.0.4-2ubuntu1_s390x.deb ... Unpacking procps (2:4.0.4-2ubuntu1) over (2:4.0.3-1ubuntu1) ... Preparing to unpack .../03-krb5-locales_1.20.1-5build1_all.deb ... Unpacking krb5-locales (1.20.1-5build1) over (1.20.1-3ubuntu1) ... Preparing to unpack .../04-readline-common_8.2-3_all.deb ... Unpacking readline-common (8.2-3) over (8.2-1.3) ... Preparing to unpack .../05-libreadline8_8.2-3_s390x.deb ... Unpacking libreadline8:s390x (8.2-3) over (8.2-1.3) ... Preparing to unpack .../06-libsqlite3-0_3.44.2-1_s390x.deb ... Unpacking libsqlite3-0:s390x (3.44.2-1) over (3.42.0-1) ... Preparing to unpack .../07-openssl_3.0.10-1ubuntu3_s390x.deb ... Unpacking openssl (3.0.10-1ubuntu3) over (3.0.10-1ubuntu2) ... Preparing to unpack .../08-bash-completion_1%3a2.11-8_all.deb ... Unpacking bash-completion (1:2.11-8) over (1:2.11-7) ... Preparing to unpack .../09-bsdextrautils_2.39.2-6ubuntu1_s390x.deb ... Unpacking bsdextrautils (2.39.2-6ubuntu1) over (2.39.1-4ubuntu2) ... Preparing to unpack .../10-libpng16-16_1.6.40-2_s390x.deb ... Unpacking libpng16-16:s390x (1.6.40-2) over (1.6.40-1) ... Preparing to unpack .../11-xz-utils_5.4.5-0.1_s390x.deb ... Unpacking xz-utils (5.4.5-0.1) over (5.4.1-0.2) ... Preparing to unpack .../12-g++_4%3a13.2.0-2ubuntu1_s390x.deb ... Unpacking g++ (4:13.2.0-2ubuntu1) over (4:13.2.0-1ubuntu1) ... Preparing to unpack .../13-gcc_4%3a13.2.0-2ubuntu1_s390x.deb ... Unpacking gcc (4:13.2.0-2ubuntu1) over (4:13.2.0-1ubuntu1) ... Preparing to unpack .../14-cpp_4%3a13.2.0-2ubuntu1_s390x.deb ... Unpacking cpp (4:13.2.0-2ubuntu1) over (4:13.2.0-1ubuntu1) ... Preparing to unpack .../15-dpkg-dev_1.22.2ubuntu1_all.deb ... Unpacking dpkg-dev (1.22.2ubuntu1) over (1.22.0ubuntu1) ... Preparing to unpack .../16-libdpkg-perl_1.22.2ubuntu1_all.deb ... Unpacking libdpkg-perl (1.22.2ubuntu1) over (1.22.0ubuntu1) ... Preparing to unpack .../17-lto-disabled-list_44_all.deb ... Unpacking lto-disabled-list (44) over (43) ... Preparing to unpack .../18-libfakeroot_1.32.2-1_s390x.deb ... Unpacking libfakeroot:s390x (1.32.2-1) over (1.32.1-1) ... Preparing to unpack .../19-fakeroot_1.32.2-1_s390x.deb ... Unpacking fakeroot (1.32.2-1) over (1.32.1-1) ... Preparing to unpack .../20-optipng_0.7.7-3_s390x.deb ... Unpacking optipng (0.7.7-3) over (0.7.7-2build1) ... Preparing to unpack .../21-pinentry-curses_1.2.1-3ubuntu1_s390x.deb ... Unpacking pinentry-curses (1.2.1-3ubuntu1) over (1.2.1-1ubuntu1) ... Setting up lto-disabled-list (44) ... Setting up apt-utils (2.7.7) ... Setting up bsdextrautils (2.39.2-6ubuntu1) ... Setting up cpp-13 (13.2.0-9ubuntu1) ... Setting up init (1.66ubuntu1) ... Setting up libtirpc-common (1.3.4+ds-1build1) ... Setting up libsqlite3-0:s390x (3.44.2-1) ... Setting up binutils-common:s390x (2.41.50.20231214-1ubuntu1) ... Setting up linux-libc-dev:s390x (6.6.0-14.14) ... Setting up libctf-nobfd0:s390x (2.41.50.20231214-1ubuntu1) ... Setting up krb5-locales (1.20.1-5build1) ... Setting up libgomp1:s390x (13.2.0-9ubuntu1) ... Setting up libsframe1:s390x (2.41.50.20231214-1ubuntu1) ... Setting up libfakeroot:s390x (1.32.2-1) ... Setting up libkrb5support0:s390x (1.20.1-5build1) ... Setting up fakeroot (1.32.2-1) ... Setting up perl-modules-5.36 (5.36.0-10ubuntu1) ... Setting up bash-completion (1:2.11-8) ... Setting up xz-utils (5.4.5-0.1) ... Setting up libproc2-0:s390x (2:4.0.4-2ubuntu1) ... Setting up libpng16-16:s390x (1.6.40-2) ... Setting up libatomic1:s390x (13.2.0-9ubuntu1) ... Setting up libncursesw6:s390x (6.4+20231209-1) ... Setting up libk5crypto3:s390x (1.20.1-5build1) ... Setting up libubsan1:s390x (13.2.0-9ubuntu1) ... Setting up uuid-runtime (2.39.2-6ubuntu1) ... Running in chroot, ignoring request. invoke-rc.d: policy-rc.d denied execution of restart. Setting up cpp (4:13.2.0-2ubuntu1) ... Setting up libasan8:s390x (13.2.0-9ubuntu1) ... Setting up procps (2:4.0.4-2ubuntu1) ... Installing new version of config file /etc/sysctl.conf ... Setting up mawk (1.3.4.20231126-1) ... Setting up libkrb5-3:s390x (1.20.1-5build1) ... Setting up libbinutils:s390x (2.41.50.20231214-1ubuntu1) ... Setting up libc-dev-bin (2.38-3ubuntu1) ... Setting up openssl (3.0.10-1ubuntu3) ... Setting up libgpg-error-l10n (1.47-3build1) ... Setting up readline-common (8.2-3) ... Setting up libcc1-0:s390x (13.2.0-9ubuntu1) ... Setting up libitm1:s390x (13.2.0-9ubuntu1) ... Setting up libgdbm6:s390x (1.23-5) ... Setting up libctf0:s390x (2.41.50.20231214-1ubuntu1) ... Setting up pinentry-curses (1.2.1-3ubuntu1) ... Setting up binutils-s390x-linux-gnu (2.41.50.20231214-1ubuntu1) ... Setting up libreadline8:s390x (8.2-3) ... Setting up binutils (2.41.50.20231214-1ubuntu1) ... Setting up optipng (0.7.7-3) ... Setting up libgssapi-krb5-2:s390x (1.20.1-5build1) ... Setting up libgdbm-compat4:s390x (1.23-5) ... Setting up libgcc-13-dev:s390x (13.2.0-9ubuntu1) ... Setting up libperl5.36:s390x (5.36.0-10ubuntu1) ... Setting up libtirpc3:s390x (1.3.4+ds-1build1) ... Setting up perl (5.36.0-10ubuntu1) ... Setting up libtirpc-dev:s390x (1.3.4+ds-1build1) ... Setting up gcc-13 (13.2.0-9ubuntu1) ... Setting up libdpkg-perl (1.22.2ubuntu1) ... Setting up libnsl2:s390x (1.3.0-3) ... Setting up gcc (4:13.2.0-2ubuntu1) ... Setting up dpkg-dev (1.22.2ubuntu1) ... Setting up libnsl-dev:s390x (1.3.0-3) ... Setting up libc6-dev:s390x (2.38-3ubuntu1) ... Setting up libstdc++-13-dev:s390x (13.2.0-9ubuntu1) ... Setting up g++-13 (13.2.0-9ubuntu1) ... Setting up g++ (4:13.2.0-2ubuntu1) ... Processing triggers for libc-bin (2.38-3ubuntu1) ... Processing triggers for debianutils (5.14) ... RUN: /usr/share/launchpad-buildd/bin/sbuild-package PACKAGEBUILD-27585493 s390x noble-proposed -c chroot:build-PACKAGEBUILD-27585493 --arch=s390x --dist=noble-proposed --nolog coq-ext-lib_0.12.0-1build1.dsc Initiating build PACKAGEBUILD-27585493 with 4 jobs across 4 processor cores. Kernel reported to sbuild: 5.4.0-169-generic #187-Ubuntu SMP Thu Nov 23 14:52:16 UTC 2023 s390x sbuild (Debian sbuild) 0.79.0 (05 February 2020) on bos01-s390x-017.buildd +==============================================================================+ | coq-ext-lib 0.12.0-1build1 (s390x) Sat, 23 Dec 2023 01:33:57 +0000 | +==============================================================================+ Package: coq-ext-lib Version: 0.12.0-1build1 Source Version: 0.12.0-1build1 Distribution: noble-proposed Machine Architecture: s390x Host Architecture: s390x Build Architecture: s390x Build Type: any I: NOTICE: Log filtering will replace 'home/buildd/build-PACKAGEBUILD-27585493/chroot-autobuild' with '<>' I: NOTICE: Log filtering will replace 'build/coq-ext-lib-f44hLK/resolver-S1WbsU' with '<>' +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Local sources ------------- coq-ext-lib_0.12.0-1build1.dsc exists in .; copying to chroot I: NOTICE: Log filtering will replace 'build/coq-ext-lib-f44hLK/coq-ext-lib-0.12.0' with '<>' I: NOTICE: Log filtering will replace 'build/coq-ext-lib-f44hLK' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, build-essential, fakeroot Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, 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 [397 B] Get:5 copy:/<>/apt_archive ./ Packages [481 B] Fetched 1835 B in 0s (0 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 packages were automatically installed and are no longer required: apt-utils bash-completion ca-certificates debconf-i18n krb5-locales libgpg-error-l10n libgpm2 libip4tc2 liblocale-gettext-perl libnss-nis libnss-nisplus libtext-charwidth-perl libtext-iconv-perl libtext-wrapi18n-perl libunistring2 openssl psmisc uuid-runtime Use 'apt autoremove' to remove them. The following additional packages will be installed: autoconf automake autopoint autotools-dev coq debhelper debugedit dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libdw1 libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu74 libmagic-mgc libmagic1 libncurses-dev libncurses6 libpipeline1 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.11 python3.11-minimal Suggested packages: autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit | readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc python3-tk python3-venv python3.11-venv python3.11-doc binfmt-support Recommended packages: curl | wget | lynx libarchive-cpio-perl ocaml-man libltdl-dev ledit | readline-editor libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev coq debhelper debugedit dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev libcoq-stdlib libdebhelper-perl libdw1 libelf1 libexpat1 libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev libgmp-dev libgmp3-dev libgmpxx4ldbl libicu74 libmagic-mgc libmagic1 libncurses-dev libncurses6 libpipeline1 libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libstdlib-ocaml libstdlib-ocaml-dev libsub-override-perl libtool libuchardet0 libxml2 libzarith-ocaml libzarith-ocaml-dev m4 man-db media-types netbase ocaml ocaml-base ocaml-findlib ocaml-interp po-debconf python3 python3-minimal python3.11 python3.11-minimal sbuild-build-depends-main-dummy 0 upgraded, 63 newly installed, 0 to remove and 0 not upgraded. Need to get 425 MB of archives. After this operation, 1327 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [724 B] Get:2 http://ftpmaster.internal/ubuntu noble/main s390x libpython3.11-minimal s390x 3.11.7-2 [836 kB] Get:3 http://ftpmaster.internal/ubuntu noble/main s390x libexpat1 s390x 2.5.0-2 [82.5 kB] Get:4 http://ftpmaster.internal/ubuntu noble/main s390x python3.11-minimal s390x 3.11.7-2 [2232 kB] Get:5 http://ftpmaster.internal/ubuntu noble-proposed/main s390x python3-minimal s390x 3.11.4-5ubuntu1 [26.9 kB] Get:6 http://ftpmaster.internal/ubuntu noble/main s390x media-types all 10.1.0 [27.5 kB] Get:7 http://ftpmaster.internal/ubuntu noble/main s390x netbase all 6.4 [13.1 kB] Get:8 http://ftpmaster.internal/ubuntu noble/main s390x libpython3.11-stdlib s390x 3.11.7-2 [1929 kB] Get:9 http://ftpmaster.internal/ubuntu noble/main s390x python3.11 s390x 3.11.7-2 [583 kB] Get:10 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libpython3-stdlib s390x 3.11.4-5ubuntu1 [9570 B] Get:11 http://ftpmaster.internal/ubuntu noble-proposed/main s390x python3 s390x 3.11.4-5ubuntu1 [22.9 kB] Get:12 http://ftpmaster.internal/ubuntu noble/main s390x libelf1 s390x 0.190-1 [68.7 kB] Get:13 http://ftpmaster.internal/ubuntu noble/main s390x libicu74 s390x 74.2-1ubuntu1 [10.9 MB] Get:14 http://ftpmaster.internal/ubuntu noble-proposed/main s390x libxml2 s390x 2.9.14+dfsg-1.3build3 [819 kB] Get:15 http://ftpmaster.internal/ubuntu noble/main s390x libmagic-mgc s390x 1:5.45-2 [305 kB] Get:16 http://ftpmaster.internal/ubuntu noble/main s390x libmagic1 s390x 1:5.45-2 [91.6 kB] Get:17 http://ftpmaster.internal/ubuntu noble/main s390x file s390x 1:5.45-2 [22.2 kB] Get:18 http://ftpmaster.internal/ubuntu noble/main s390x gettext-base s390x 0.21-14 [39.1 kB] Get:19 http://ftpmaster.internal/ubuntu noble/main s390x libuchardet0 s390x 0.0.8-1 [76.1 kB] Get:20 http://ftpmaster.internal/ubuntu noble/main s390x groff-base s390x 1.23.0-3 [1047 kB] Get:21 http://ftpmaster.internal/ubuntu noble/main s390x libncurses6 s390x 6.4+20231209-1 [122 kB] Get:22 http://ftpmaster.internal/ubuntu noble/main s390x libpipeline1 s390x 1.5.7-1 [23.4 kB] Get:23 http://ftpmaster.internal/ubuntu noble/main s390x man-db s390x 2.12.0-1 [1242 kB] Get:24 http://ftpmaster.internal/ubuntu noble/main s390x m4 s390x 1.4.19-4 [255 kB] Get:25 http://ftpmaster.internal/ubuntu noble/main s390x autoconf all 2.71-3 [339 kB] Get:26 http://ftpmaster.internal/ubuntu noble/main s390x autotools-dev all 20220109.1 [44.9 kB] Get:27 http://ftpmaster.internal/ubuntu noble/main s390x automake all 1:1.16.5-1.3 [558 kB] Get:28 http://ftpmaster.internal/ubuntu noble/main s390x autopoint all 0.21-14 [422 kB] Get:29 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x libcoq-stdlib s390x 8.18.0+dfsg-1 [35.2 MB] Get:30 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml s390x 4.14.1-1ubuntu1 [394 kB] Get:31 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-base s390x 4.14.1-1ubuntu1 [278 kB] Get:32 http://ftpmaster.internal/ubuntu noble/universe s390x libfindlib-ocaml s390x 1.9.6-1build3 [199 kB] Get:33 http://ftpmaster.internal/ubuntu noble/universe s390x libzarith-ocaml s390x 1.13-2build3 [125 kB] Get:34 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x libcoq-core-ocaml s390x 8.18.0+dfsg-1 [35.3 MB] Get:35 http://ftpmaster.internal/ubuntu noble/universe s390x libstdlib-ocaml-dev s390x 4.14.1-1ubuntu1 [8204 kB] Get:36 http://ftpmaster.internal/ubuntu noble/universe s390x libcompiler-libs-ocaml-dev s390x 4.14.1-1ubuntu1 [37.5 MB] Get:37 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-interp s390x 4.14.1-1ubuntu1 [7825 kB] Get:38 http://ftpmaster.internal/ubuntu noble/main s390x libncurses-dev s390x 6.4+20231209-1 [406 kB] Get:39 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml s390x 4.14.1-1ubuntu1 [82.0 MB] Get:40 http://ftpmaster.internal/ubuntu noble/universe s390x ocaml-findlib s390x 1.9.6-1build3 [587 kB] Get:41 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x coq s390x 8.18.0+dfsg-1 [126 MB] Get:42 http://ftpmaster.internal/ubuntu noble/main s390x libdebhelper-perl all 13.11.9ubuntu1 [97.7 kB] Get:43 http://ftpmaster.internal/ubuntu noble/main s390x libtool all 2.4.7-7 [166 kB] Get:44 http://ftpmaster.internal/ubuntu noble/main s390x dh-autoreconf all 20 [16.1 kB] Get:45 http://ftpmaster.internal/ubuntu noble/main s390x libarchive-zip-perl all 1.68-1 [90.2 kB] Get:46 http://ftpmaster.internal/ubuntu noble/main s390x libsub-override-perl all 0.10-1 [10.0 kB] Get:47 http://ftpmaster.internal/ubuntu noble/main s390x libfile-stripnondeterminism-perl all 1.13.1-1 [18.1 kB] Get:48 http://ftpmaster.internal/ubuntu noble/main s390x dh-strip-nondeterminism all 1.13.1-1 [5362 B] Get:49 http://ftpmaster.internal/ubuntu noble/main s390x libdw1 s390x 0.190-1 [282 kB] Get:50 http://ftpmaster.internal/ubuntu noble/main s390x debugedit s390x 1:5.0-5 [47.5 kB] Get:51 http://ftpmaster.internal/ubuntu noble/main s390x dwz s390x 0.15-1 [108 kB] Get:52 http://ftpmaster.internal/ubuntu noble/main s390x gettext s390x 0.21-14 [911 kB] Get:53 http://ftpmaster.internal/ubuntu noble/main s390x intltool-debian all 0.35.0+20060710.6 [23.2 kB] Get:54 http://ftpmaster.internal/ubuntu noble/main s390x po-debconf all 1.0.21+nmu1 [233 kB] Get:55 http://ftpmaster.internal/ubuntu noble/main s390x debhelper all 13.11.9ubuntu1 [968 kB] Get:56 http://ftpmaster.internal/ubuntu noble/universe s390x dh-coq all 0.6 [7630 B] Get:57 http://ftpmaster.internal/ubuntu noble/universe s390x libfindlib-ocaml-dev s390x 1.9.6-1build3 [172 kB] Get:58 http://ftpmaster.internal/ubuntu noble/main s390x libgmpxx4ldbl s390x 2:6.3.0+dfsg-2ubuntu4 [10.0 kB] Get:59 http://ftpmaster.internal/ubuntu noble/main s390x libgmp-dev s390x 2:6.3.0+dfsg-2ubuntu4 [425 kB] Get:60 http://ftpmaster.internal/ubuntu noble/main s390x libgmp3-dev s390x 2:6.3.0+dfsg-2ubuntu4 [2312 B] Get:61 http://ftpmaster.internal/ubuntu noble/universe s390x libzarith-ocaml-dev s390x 1.13-2build3 [117 kB] Get:62 http://ftpmaster.internal/ubuntu noble-proposed/universe s390x libcoq-core-ocaml-dev s390x 8.18.0+dfsg-1 [65.0 MB] Get:63 http://ftpmaster.internal/ubuntu noble/universe s390x dh-ocaml all 2.0 [75.7 kB] Preconfiguring packages ... Fetched 425 MB in 27s (15.5 MB/s) Selecting previously unselected package libpython3.11-minimal:s390x. (Reading database ... 13567 files and directories currently installed.) Preparing to unpack .../libpython3.11-minimal_3.11.7-2_s390x.deb ... Unpacking libpython3.11-minimal:s390x (3.11.7-2) ... Selecting previously unselected package libexpat1:s390x. Preparing to unpack .../libexpat1_2.5.0-2_s390x.deb ... Unpacking libexpat1:s390x (2.5.0-2) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../python3.11-minimal_3.11.7-2_s390x.deb ... Unpacking python3.11-minimal (3.11.7-2) ... Setting up libpython3.11-minimal:s390x (3.11.7-2) ... Setting up libexpat1:s390x (2.5.0-2) ... Setting up python3.11-minimal (3.11.7-2) ... Selecting previously unselected package python3-minimal. (Reading database ... 13881 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.11.4-5ubuntu1_s390x.deb ... Unpacking python3-minimal (3.11.4-5ubuntu1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../2-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package libpython3.11-stdlib:s390x. Preparing to unpack .../3-libpython3.11-stdlib_3.11.7-2_s390x.deb ... Unpacking libpython3.11-stdlib:s390x (3.11.7-2) ... Selecting previously unselected package python3.11. Preparing to unpack .../4-python3.11_3.11.7-2_s390x.deb ... Unpacking python3.11 (3.11.7-2) ... Selecting previously unselected package libpython3-stdlib:s390x. Preparing to unpack .../5-libpython3-stdlib_3.11.4-5ubuntu1_s390x.deb ... Unpacking libpython3-stdlib:s390x (3.11.4-5ubuntu1) ... Setting up python3-minimal (3.11.4-5ubuntu1) ... Selecting previously unselected package python3. (Reading database ... 14315 files and directories currently installed.) Preparing to unpack .../00-python3_3.11.4-5ubuntu1_s390x.deb ... Unpacking python3 (3.11.4-5ubuntu1) ... Selecting previously unselected package libelf1:s390x. Preparing to unpack .../01-libelf1_0.190-1_s390x.deb ... Unpacking libelf1:s390x (0.190-1) ... Selecting previously unselected package libicu74:s390x. Preparing to unpack .../02-libicu74_74.2-1ubuntu1_s390x.deb ... Unpacking libicu74:s390x (74.2-1ubuntu1) ... Selecting previously unselected package libxml2:s390x. Preparing to unpack .../03-libxml2_2.9.14+dfsg-1.3build3_s390x.deb ... Unpacking libxml2:s390x (2.9.14+dfsg-1.3build3) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../04-libmagic-mgc_1%3a5.45-2_s390x.deb ... Unpacking libmagic-mgc (1:5.45-2) ... Selecting previously unselected package libmagic1:s390x. Preparing to unpack .../05-libmagic1_1%3a5.45-2_s390x.deb ... Unpacking libmagic1:s390x (1:5.45-2) ... Selecting previously unselected package file. Preparing to unpack .../06-file_1%3a5.45-2_s390x.deb ... Unpacking file (1:5.45-2) ... Selecting previously unselected package gettext-base. Preparing to unpack .../07-gettext-base_0.21-14_s390x.deb ... Unpacking gettext-base (0.21-14) ... Selecting previously unselected package libuchardet0:s390x. Preparing to unpack .../08-libuchardet0_0.0.8-1_s390x.deb ... Unpacking libuchardet0:s390x (0.0.8-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../09-groff-base_1.23.0-3_s390x.deb ... Unpacking groff-base (1.23.0-3) ... Selecting previously unselected package libncurses6:s390x. Preparing to unpack .../10-libncurses6_6.4+20231209-1_s390x.deb ... Unpacking libncurses6:s390x (6.4+20231209-1) ... Selecting previously unselected package libpipeline1:s390x. Preparing to unpack .../11-libpipeline1_1.5.7-1_s390x.deb ... Unpacking libpipeline1:s390x (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../12-man-db_2.12.0-1_s390x.deb ... Unpacking man-db (2.12.0-1) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.19-4_s390x.deb ... Unpacking m4 (1.4.19-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../14-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../15-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../16-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 .../17-autopoint_0.21-14_all.deb ... Unpacking autopoint (0.21-14) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../18-libcoq-stdlib_8.18.0+dfsg-1_s390x.deb ... Unpacking libcoq-stdlib (8.18.0+dfsg-1) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../19-libstdlib-ocaml_4.14.1-1ubuntu1_s390x.deb ... Unpacking libstdlib-ocaml (4.14.1-1ubuntu1) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../20-ocaml-base_4.14.1-1ubuntu1_s390x.deb ... Unpacking ocaml-base (4.14.1-1ubuntu1) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../21-libfindlib-ocaml_1.9.6-1build3_s390x.deb ... Unpacking libfindlib-ocaml (1.9.6-1build3) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../22-libzarith-ocaml_1.13-2build3_s390x.deb ... Unpacking libzarith-ocaml (1.13-2build3) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../23-libcoq-core-ocaml_8.18.0+dfsg-1_s390x.deb ... Unpacking libcoq-core-ocaml (8.18.0+dfsg-1) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../24-libstdlib-ocaml-dev_4.14.1-1ubuntu1_s390x.deb ... Unpacking libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../25-libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_s390x.deb ... Unpacking libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../26-ocaml-interp_4.14.1-1ubuntu1_s390x.deb ... Unpacking ocaml-interp (4.14.1-1ubuntu1) ... Selecting previously unselected package libncurses-dev:s390x. Preparing to unpack .../27-libncurses-dev_6.4+20231209-1_s390x.deb ... Unpacking libncurses-dev:s390x (6.4+20231209-1) ... Selecting previously unselected package ocaml. Preparing to unpack .../28-ocaml_4.14.1-1ubuntu1_s390x.deb ... Unpacking ocaml (4.14.1-1ubuntu1) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../29-ocaml-findlib_1.9.6-1build3_s390x.deb ... Unpacking ocaml-findlib (1.9.6-1build3) ... Selecting previously unselected package coq. Preparing to unpack .../30-coq_8.18.0+dfsg-1_s390x.deb ... Unpacking coq (8.18.0+dfsg-1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../31-libdebhelper-perl_13.11.9ubuntu1_all.deb ... Unpacking libdebhelper-perl (13.11.9ubuntu1) ... Selecting previously unselected package libtool. Preparing to unpack .../32-libtool_2.4.7-7_all.deb ... Unpacking libtool (2.4.7-7) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../33-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../34-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 .../35-libsub-override-perl_0.10-1_all.deb ... Unpacking libsub-override-perl (0.10-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../36-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../37-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libdw1:s390x. Preparing to unpack .../38-libdw1_0.190-1_s390x.deb ... Unpacking libdw1:s390x (0.190-1) ... Selecting previously unselected package debugedit. Preparing to unpack .../39-debugedit_1%3a5.0-5_s390x.deb ... Unpacking debugedit (1:5.0-5) ... Selecting previously unselected package dwz. Preparing to unpack .../40-dwz_0.15-1_s390x.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package gettext. Preparing to unpack .../41-gettext_0.21-14_s390x.deb ... Unpacking gettext (0.21-14) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../42-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../43-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../44-debhelper_13.11.9ubuntu1_all.deb ... Unpacking debhelper (13.11.9ubuntu1) ... Selecting previously unselected package dh-coq. Preparing to unpack .../45-dh-coq_0.6_all.deb ... Unpacking dh-coq (0.6) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../46-libfindlib-ocaml-dev_1.9.6-1build3_s390x.deb ... Unpacking libfindlib-ocaml-dev (1.9.6-1build3) ... Selecting previously unselected package libgmpxx4ldbl:s390x. Preparing to unpack .../47-libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu4_s390x.deb ... Unpacking libgmpxx4ldbl:s390x (2:6.3.0+dfsg-2ubuntu4) ... Selecting previously unselected package libgmp-dev:s390x. Preparing to unpack .../48-libgmp-dev_2%3a6.3.0+dfsg-2ubuntu4_s390x.deb ... Unpacking libgmp-dev:s390x (2:6.3.0+dfsg-2ubuntu4) ... Selecting previously unselected package libgmp3-dev:s390x. Preparing to unpack .../49-libgmp3-dev_2%3a6.3.0+dfsg-2ubuntu4_s390x.deb ... Unpacking libgmp3-dev:s390x (2:6.3.0+dfsg-2ubuntu4) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../50-libzarith-ocaml-dev_1.13-2build3_s390x.deb ... Unpacking libzarith-ocaml-dev (1.13-2build3) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../51-libcoq-core-ocaml-dev_8.18.0+dfsg-1_s390x.deb ... Unpacking libcoq-core-ocaml-dev (8.18.0+dfsg-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../52-dh-ocaml_2.0_all.deb ... Unpacking dh-ocaml (2.0) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../53-sbuild-build-depends-main-dummy_0.invalid.0_s390x.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (10.1.0) ... Setting up libpipeline1:s390x (1.5.7-1) ... Setting up libmagic-mgc (1:5.45-2) ... Setting up dh-coq (0.6) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.11.9ubuntu1) ... Setting up dh-ocaml (2.0) ... Setting up libmagic1:s390x (1:5.45-2) ... Setting up gettext-base (0.21-14) ... Setting up m4 (1.4.19-4) ... Setting up file (1:5.45-2) ... Setting up autotools-dev (20220109.1) ... Setting up libcoq-stdlib (8.18.0+dfsg-1) ... Setting up libgmpxx4ldbl:s390x (2:6.3.0+dfsg-2ubuntu4) ... Setting up libncurses6:s390x (6.4+20231209-1) ... Setting up libstdlib-ocaml (4.14.1-1ubuntu1) ... Setting up autopoint (0.21-14) ... Setting up ocaml-base (4.14.1-1ubuntu1) ... Setting up autoconf (2.71-3) ... Setting up libicu74:s390x (74.2-1ubuntu1) ... Setting up libuchardet0:s390x (0.0.8-1) ... Setting up libsub-override-perl (0.10-1) ... Setting up netbase (6.4) ... Setting up libelf1:s390x (0.190-1) ... Setting up libxml2:s390x (2.9.14+dfsg-1.3build3) ... 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 libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up libdw1:s390x (0.190-1) ... Setting up libncurses-dev:s390x (6.4+20231209-1) ... Setting up gettext (0.21-14) ... Setting up libgmp-dev:s390x (2:6.3.0+dfsg-2ubuntu4) ... Setting up libtool (2.4.7-7) ... Setting up libstdlib-ocaml-dev (4.14.1-1ubuntu1) ... Setting up libpython3.11-stdlib:s390x (3.11.7-2) ... Setting up libfindlib-ocaml (1.9.6-1build3) ... Setting up libzarith-ocaml (1.13-2build3) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libcompiler-libs-ocaml-dev (4.14.1-1ubuntu1) ... Setting up ocaml-interp (4.14.1-1ubuntu1) ... Setting up ocaml-findlib (1.9.6-1build3) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up libcoq-core-ocaml (8.18.0+dfsg-1) ... Setting up groff-base (1.23.0-3) ... Setting up libgmp3-dev:s390x (2:6.3.0+dfsg-2ubuntu4) ... Setting up debugedit (1:5.0-5) ... Setting up libpython3-stdlib:s390x (3.11.4-5ubuntu1) ... Setting up python3.11 (3.11.7-2) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up python3 (3.11.4-5ubuntu1) ... Setting up ocaml (4.14.1-1ubuntu1) ... Setting up man-db (2.12.0-1) ... Not building database; man-db/auto-update is not 'true'. Created symlink /etc/systemd/system/timers.target.wants/man-db.timer → /usr/lib/systemd/system/man-db.timer. Setting up libfindlib-ocaml-dev (1.9.6-1build3) ... Setting up coq (8.18.0+dfsg-1) ... Setting up libzarith-ocaml-dev (1.13-2build3) ... Setting up debhelper (13.11.9ubuntu1) ... Setting up libcoq-core-ocaml-dev (8.18.0+dfsg-1) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for systemd (255-1ubuntu1) ... Processing triggers for libc-bin (2.38-3ubuntu1) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (s390x included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 5.4.0-169-generic #187-Ubuntu SMP Thu Nov 23 14:52:16 UTC 2023 s390x (s390x) Toolchain package versions: binutils_2.41.50.20231214-1ubuntu1 dpkg-dev_1.22.2ubuntu1 g++-13_13.2.0-9ubuntu1 gcc-13_13.2.0-9ubuntu1 libc6-dev_2.38-3ubuntu1 libstdc++-13-dev_13.2.0-9ubuntu1 libstdc++6_13.2.0-9ubuntu1 linux-libc-dev_6.6.0-14.14 Package versions: adduser_3.137ubuntu1 advancecomp_2.5-1 apt_2.7.7 apt-utils_2.7.7 autoconf_2.71-3 automake_1:1.16.5-1.3 autopoint_0.21-14 autotools-dev_20220109.1 base-files_13ubuntu5 base-passwd_3.6.3 bash_5.2.21-2ubuntu1 bash-completion_1:2.11-8 binutils_2.41.50.20231214-1ubuntu1 binutils-common_2.41.50.20231214-1ubuntu1 binutils-s390x-linux-gnu_2.41.50.20231214-1ubuntu1 bsdextrautils_2.39.2-6ubuntu1 bsdutils_1:2.39.2-6ubuntu1 build-essential_12.10ubuntu1 bzip2_1.0.8-5build1 ca-certificates_20230311ubuntu1 coq_8.18.0+dfsg-1 coreutils_9.4-2ubuntu1 cpp_4:13.2.0-2ubuntu1 cpp-13_13.2.0-9ubuntu1 dash_0.5.12-6ubuntu1 debconf_1.5.82 debconf-i18n_1.5.82 debhelper_13.11.9ubuntu1 debianutils_5.14 debugedit_1:5.0-5 dh-autoreconf_20 dh-coq_0.6 dh-ocaml_2.0 dh-strip-nondeterminism_1.13.1-1 diffutils_1:3.10-1 dpkg_1.22.2ubuntu1 dpkg-dev_1.22.2ubuntu1 dwz_0.15-1 e2fsprogs_1.47.0-2ubuntu1 fakeroot_1.32.2-1 file_1:5.45-2 findutils_4.9.0-5 g++_4:13.2.0-2ubuntu1 g++-13_13.2.0-9ubuntu1 gcc_4:13.2.0-2ubuntu1 gcc-13_13.2.0-9ubuntu1 gcc-13-base_13.2.0-9ubuntu1 gettext_0.21-14 gettext-base_0.21-14 gpg_2.2.40-1.1ubuntu1 gpg-agent_2.2.40-1.1ubuntu1 gpgconf_2.2.40-1.1ubuntu1 gpgv_2.2.40-1.1ubuntu1 grep_3.11-3 groff-base_1.23.0-3 gzip_1.12-1ubuntu1 hostname_3.23+nmu1ubuntu1 init_1.66ubuntu1 init-system-helpers_1.66ubuntu1 intltool-debian_0.35.0+20060710.6 krb5-locales_1.20.1-5build1 libacl1_2.3.1-3 libapparmor1_4.0.0~alpha2-0ubuntu7 libapt-pkg6.0_2.7.7 libarchive-zip-perl_1.68-1 libargon2-1_0~20190702+dfsg-4 libasan8_13.2.0-9ubuntu1 libassuan0_2.5.6-1 libatomic1_13.2.0-9ubuntu1 libattr1_1:2.5.1-4 libaudit-common_1:3.1.2-1 libaudit1_1:3.1.2-1 libbinutils_2.41.50.20231214-1ubuntu1 libblkid1_2.39.2-6ubuntu1 libbz2-1.0_1.0.8-5build1 libc-bin_2.38-3ubuntu1 libc-dev-bin_2.38-3ubuntu1 libc6_2.38-3ubuntu1 libc6-dev_2.38-3ubuntu1 libcap-ng0_0.8.3-3 libcap2_1:2.66-4ubuntu1 libcc1-0_13.2.0-9ubuntu1 libcom-err2_1.47.0-2ubuntu1 libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1 libcoq-core-ocaml_8.18.0+dfsg-1 libcoq-core-ocaml-dev_8.18.0+dfsg-1 libcoq-stdlib_8.18.0+dfsg-1 libcrypt-dev_1:4.4.36-2 libcrypt1_1:4.4.36-2 libcryptsetup12_2:2.6.1-5ubuntu1 libctf-nobfd0_2.41.50.20231214-1ubuntu1 libctf0_2.41.50.20231214-1ubuntu1 libdb5.3_5.3.28+dfsg2-4 libdebconfclient0_0.271ubuntu1 libdebhelper-perl_13.11.9ubuntu1 libdevmapper1.02.1_2:1.02.185-2ubuntu1 libdpkg-perl_1.22.2ubuntu1 libdw1_0.190-1 libelf1_0.190-1 libexpat1_2.5.0-2 libext2fs2_1.47.0-2ubuntu1 libfakeroot_1.32.2-1 libfdisk1_2.39.2-6ubuntu1 libffi8_3.4.4-2 libfile-stripnondeterminism-perl_1.13.1-1 libfindlib-ocaml_1.9.6-1build3 libfindlib-ocaml-dev_1.9.6-1build3 libgcc-13-dev_13.2.0-9ubuntu1 libgcc-s1_13.2.0-9ubuntu1 libgcrypt20_1.10.2-3ubuntu1 libgdbm-compat4_1.23-5 libgdbm6_1.23-5 libgmp-dev_2:6.3.0+dfsg-2ubuntu4 libgmp10_2:6.3.0+dfsg-2ubuntu4 libgmp3-dev_2:6.3.0+dfsg-2ubuntu4 libgmpxx4ldbl_2:6.3.0+dfsg-2ubuntu4 libgnutls30_3.8.1-4ubuntu6 libgomp1_13.2.0-9ubuntu1 libgpg-error-l10n_1.47-3build1 libgpg-error0_1.47-3build1 libgpm2_1.20.7-10build1 libgssapi-krb5-2_1.20.1-5build1 libhogweed6_3.9.1-2 libicu74_74.2-1ubuntu1 libidn2-0_2.3.4-1build1 libip4tc2_1.8.9-2ubuntu2 libisl23_0.26-3 libitm1_13.2.0-9ubuntu1 libjansson4_2.14-2 libjson-c5_0.17-1 libk5crypto3_1.20.1-5build1 libkeyutils1_1.6.3-2 libkmod2_30+20230601-2ubuntu1 libkrb5-3_1.20.1-5build1 libkrb5support0_1.20.1-5build1 liblocale-gettext-perl_1.07-6 liblockfile-bin_1.17-1build2 liblockfile1_1.17-1build2 liblz4-1_1.9.4-1 liblzma5_5.4.5-0.1 libmagic-mgc_1:5.45-2 libmagic1_1:5.45-2 libmd0_1.1.0-1 libmount1_2.39.2-6ubuntu1 libmpc3_1.3.1-1 libmpfr6_4.2.1-1 libncurses-dev_6.4+20231209-1 libncurses6_6.4+20231209-1 libncursesw6_6.4+20231209-1 libnettle8_3.9.1-2 libnpth0_1.6-3build2 libnsl-dev_1.3.0-3 libnsl2_1.3.0-3 libnss-nis_3.1-0ubuntu6 libnss-nisplus_1.3-0ubuntu6 libp11-kit0_0.25.3-2ubuntu2 libpam-modules_1.5.2-9.1ubuntu1 libpam-modules-bin_1.5.2-9.1ubuntu1 libpam-runtime_1.5.2-9.1ubuntu1 libpam0g_1.5.2-9.1ubuntu1 libpcre2-8-0_10.42-4ubuntu1 libperl5.36_5.36.0-10ubuntu1 libpipeline1_1.5.7-1 libpng16-16_1.6.40-2 libproc2-0_2:4.0.4-2ubuntu1 libpython3-stdlib_3.11.4-5ubuntu1 libpython3.11-minimal_3.11.7-2 libpython3.11-stdlib_3.11.7-2 libreadline8_8.2-3 libseccomp2_2.5.4-2ubuntu1 libselinux1_3.5-1build2 libsemanage-common_3.5-1build1 libsemanage2_3.5-1build1 libsepol2_3.5-2 libsframe1_2.41.50.20231214-1ubuntu1 libsmartcols1_2.39.2-6ubuntu1 libsqlite3-0_3.44.2-1 libss2_1.47.0-2ubuntu1 libssl3_3.0.10-1ubuntu3 libstdc++-13-dev_13.2.0-9ubuntu1 libstdc++6_13.2.0-9ubuntu1 libstdlib-ocaml_4.14.1-1ubuntu1 libstdlib-ocaml-dev_4.14.1-1ubuntu1 libsub-override-perl_0.10-1 libsystemd-shared_255-1ubuntu1 libsystemd0_255-1ubuntu1 libtasn1-6_4.19.0-3 libtext-charwidth-perl_0.04-11 libtext-iconv-perl_1.7-8 libtext-wrapi18n-perl_0.06-10 libtinfo6_6.4+20231209-1 libtirpc-common_1.3.4+ds-1build1 libtirpc-dev_1.3.4+ds-1build1 libtirpc3_1.3.4+ds-1build1 libtool_2.4.7-7 libubsan1_13.2.0-9ubuntu1 libuchardet0_0.0.8-1 libudev1_255-1ubuntu1 libunistring2_1.0-2 libunistring5_1.1-2 libuuid1_2.39.2-6ubuntu1 libxml2_2.9.14+dfsg-1.3build3 libxxhash0_0.8.2-2 libzarith-ocaml_1.13-2build3 libzarith-ocaml-dev_1.13-2build3 libzstd1_1.5.5+dfsg2-2 linux-libc-dev_6.6.0-14.14 lockfile-progs_0.1.19build1 login_1:4.13+dfsg1-3ubuntu1 logsave_1.47.0-2ubuntu1 lto-disabled-list_44 m4_1.4.19-4 make_4.3-4.1build1 man-db_2.12.0-1 mawk_1.3.4.20231126-1 media-types_10.1.0 mount_2.39.2-6ubuntu1 ncurses-base_6.4+20231209-1 ncurses-bin_6.4+20231209-1 netbase_6.4 ocaml_4.14.1-1ubuntu1 ocaml-base_4.14.1-1ubuntu1 ocaml-findlib_1.9.6-1build3 ocaml-interp_4.14.1-1ubuntu1 openssl_3.0.10-1ubuntu3 optipng_0.7.7-3 passwd_1:4.13+dfsg1-3ubuntu1 patch_2.7.6-7build2 perl_5.36.0-10ubuntu1 perl-base_5.36.0-10ubuntu1 perl-modules-5.36_5.36.0-10ubuntu1 pinentry-curses_1.2.1-3ubuntu1 pkgbinarymangler_154 po-debconf_1.0.21+nmu1 policyrcd-script-zg2_0.1-3.1 procps_2:4.0.4-2ubuntu1 psmisc_23.6-1 python3_3.11.4-5ubuntu1 python3-minimal_3.11.4-5ubuntu1 python3.11_3.11.7-2 python3.11-minimal_3.11.7-2 readline-common_8.2-3 rpcsvc-proto_1.4.2-0ubuntu6 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-1 sensible-utils_0.0.20 systemd_255-1ubuntu1 systemd-dev_255-1ubuntu1 systemd-sysv_255-1ubuntu1 sysvinit-utils_3.08-3ubuntu1 tar_1.34+dfsg-1.4 tzdata_2023c-9ubuntu1 ubuntu-keyring_2023.11.28.1 usrmerge_35ubuntu1 util-linux_2.39.2-6ubuntu1 uuid-runtime_2.39.2-6ubuntu1 xz-utils_5.4.5-0.1 zlib1g_1:1.3.dfsg-3ubuntu1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: coq-ext-lib Binary: libcoq-ext-lib Architecture: any Version: 0.12.0-1build1 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/coq-community/coq-ext-lib Standards-Version: 4.6.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-ext-lib Vcs-Git: https://salsa.debian.org/ocaml-team/coq-ext-lib.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib Package-List: libcoq-ext-lib deb ocaml optional arch=any Checksums-Sha1: e55370aa1341593d510771de4bd244c8d7f63c5a 83450 coq-ext-lib_0.12.0.orig.tar.gz 0080cde078ca9d34a76464993361de9199e75709 2320 coq-ext-lib_0.12.0-1build1.debian.tar.xz Checksums-Sha256: b46b2e139de395917d1fc713b33511a00b48674f2f02cf2cc1af209fef223b51 83450 coq-ext-lib_0.12.0.orig.tar.gz e388aa8740cadcb29dd4d79070ec27b5d1477ccf091acf5e852711f461e1e0f0 2320 coq-ext-lib_0.12.0-1build1.debian.tar.xz Files: ab08c703d854fdb90f35cf40614e089a 83450 coq-ext-lib_0.12.0.orig.tar.gz 2743afd11dbf27d2f6a6038efd7ba7d6 2320 coq-ext-lib_0.12.0-1build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmWGN8IACgkQ5mx3Wuv+ bH0HkxAAkDkBHZw6nVN6EjeJpTzNvEiT9NsS0ClnB8Ibyvy8ASUHh2lI1p7ADio4 Gb/65A72qscsgqV06eDIy33DDvrvP97mqGwHJLbIcj3INQ7J78+l6vqgIUc9bbCA gKe41XEwzctuHmX0UNTtypWo/oG7pTZxy36cVSs3Z5zqzCE4xah7M4xmOHpMymgB Ind1jUVgOfZOrcnia7NTCXIFWdq93e3gL1KKXmDYCP+Ag7bnoI5jpxhFqtQ0Kq66 gcWXHRmwzu/ZAn3Jmdsn3wzPjooYgbIYrC3ZfddlfPKgQMaq1ttnnBXSGQ1DGy7A hs3uQ/gGAjpslQF2B5H0/4CXvwDAE0Mbn9S796YSlH8YWDTpx+RD9sB7TFj7WqW8 sufyQxuHXtkNv/qerbiedSYUXPbayB13ZsikQxH2y+O7T8SApTJ0JY0d1H/QMUX9 UFB0YaDxinhqaZtzw0VmELSPu0/lwXJ5rytrHyCWKWIU6DMJSry1hL5Gb78djLAT jMq7air8OO+RYVdFXuW6PuZHMEXzQka8Ux/B+qmshGuTThcJBQqIqKI+Qmxe+uVr JsVSeQVX7Y9SrDt5wo2zn5zertMGDLLNfLoBrOEx0LY9G3cI+bQWxT2P1+He0BE5 nXEL2OgPaMPQUPcW+KA8F6KfCDqaSSFuGcTyMN40s8uFnw/VxDs= =HHVQ -----END PGP SIGNATURE----- gpgv: Signature made Sat Dec 23 01:28:34 2023 UTC gpgv: using RSA key 4D0BE12F0E4776D8AACE9696E66C775AEBFE6C7D gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./coq-ext-lib_0.12.0-1build1.dsc: no acceptable signature found dpkg-source: info: extracting coq-ext-lib in /<> dpkg-source: info: unpacking coq-ext-lib_0.12.0.orig.tar.gz dpkg-source: info: unpacking coq-ext-lib_0.12.0-1build1.debian.tar.xz Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf DEB_BUILD_OPTIONS=parallel=4 HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=buildd PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=build-PACKAGEBUILD-27585493 SCHROOT_CHROOT_NAME=build-PACKAGEBUILD-27585493 SCHROOT_COMMAND=env SCHROOT_GID=2501 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=build-PACKAGEBUILD-27585493 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 coq-ext-lib dpkg-buildpackage: info: source version 0.12.0-1build1 dpkg-buildpackage: info: source distribution noble dpkg-source --before-build . dpkg-buildpackage: info: host architecture s390x debian/rules clean dh clean --with coq debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' make clean make[2]: Entering directory '/<>' if [ -e Makefile.coq ] ; then make -f Makefile.coq cleanall ; fi make -C examples clean make[3]: Entering directory '/<>/examples' if [ -e Makefile.coq ] ; then make -f Makefile.coq cleanall ; fi rm -f Makefile.coq Makefile.coq.conf make[3]: Leaving directory '/<>/examples' make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh_clean debian/rules binary-arch dh binary-arch --with coq dh_update_autotools_config -a dh_autoreconf -a dh_auto_configure -a dh_auto_build -a make -j4 "INSTALL=install --strip-program=true" make[1]: Entering directory '/<>' coq_makefile -f _CoqProject -o Makefile.coq make -f Makefile.coq make[2]: Entering directory '/<>' COQDEP VFILES COQC theories/Core/RelDec.v COQC theories/Tactics/Injection.v COQC theories/Tactics/Forward.v COQC theories/Core/Any.v COQC theories/Core/EquivDec.v COQC theories/Core/Decision.v COQC theories/Structures/Functor.v COQC theories/Structures/BinOps.v COQC theories/Structures/CoFunctor.v COQC theories/Structures/CoMonad.v COQC theories/Data/PreFun.v COQC theories/Data/Unit.v COQC theories/Data/Bool.v COQC theories/Data/Checked.v COQC theories/Data/Eq/UIP_trans.v COQC theories/Data/ListNth.v COQC theories/Data/LazyList.v COQC theories/Data/ListFirstnSkipn.v COQC theories/Data/N.v COQC theories/Data/Positive.v COQC theories/Data/Prop.v COQC theories/Data/Stream.v COQC theories/Data/Z.v COQC theories/Data/PPair.v COQC theories/Programming/Injection.v COQC theories/Programming/Eqv.v COQC theories/Programming/Le.v File "./theories/Programming/Eqv.v", line 8, characters 0-77: Warning: A coercion will be introduced instead of an instance in future versions when using ':>' in 'Class' declarations. Replace ':>' with '::' (or use '#[global] Existing Instance field.' for compatibility with Coq < 8.18). Beware that the default locality for '::' is #[export], as opposed to #[global] for ':>' currently. Add an explicit #[global] attribute to the field if you need to keep the current behavior. For example: "Class foo := { #[global] field :: bar }." [future-coercion-class-field,deprecated-since-8.17,deprecated,default] COQC theories/Programming/With.v File "./theories/Programming/Le.v", line 29, characters 0-71: Warning: A coercion will be introduced instead of an instance in future versions when using ':>' in 'Class' declarations. Replace ':>' with '::' (or use '#[global] Existing Instance field.' for compatibility with Coq < 8.18). Beware that the default locality for '::' is #[export], as opposed to #[global] for ':>' currently. Add an explicit #[global] attribute to the field if you need to keep the current behavior. For example: "Class foo := { #[global] field :: bar }." [future-coercion-class-field,deprecated-since-8.17,deprecated,default] COQC theories/Recur/Facts.v COQC theories/Recur/GenRec.v File "./theories/Data/Z.v", line 33, characters 2-59: Warning: "auto with *" was used through the default "intuition_solver" tactic. This will be replaced by just "auto" in the future. [intuition-auto-with-star,deprecated-since-8.17,deprecated,default] File "./theories/Data/Z.v", line 41, characters 2-56: Warning: "auto with *" was used through the default "intuition_solver" tactic. This will be replaced by just "auto" in the future. [intuition-auto-with-star,deprecated-since-8.17,deprecated,default] File "./theories/Data/Z.v", line 49, characters 2-55: Warning: "auto with *" was used through the default "intuition_solver" tactic. This will be replaced by just "auto" in the future. [intuition-auto-with-star,deprecated-since-8.17,deprecated,default] File "./theories/Data/Z.v", line 57, characters 2-56: Warning: "auto with *" was used through the default "intuition_solver" tactic. This will be replaced by just "auto" in the future. [intuition-auto-with-star,deprecated-since-8.17,deprecated,default] File "./theories/Programming/With.v", line 59, characters 0-39: Warning: Declaring a scope implicitly is deprecated; use in advance an explicit "Declare Scope struct_scope.". [undeclared-scope,deprecated-since-8.10,deprecated,default] COQC theories/Recur/Measure.v COQC theories/Relations/TransitiveClosure.v COQC theories/Relations/Compose.v COQC theories/Tactics/BoolTac.v COQC theories/Tactics/Parametric.v COQC theories/Tactics/Reify.v COQC theories/Tactics/Hide.v COQC theories/Data/Graph/Graph.v COQC theories/ExtLib.v COQC theories/Tactics/Consider.v COQC theories/Structures/Applicative.v COQC theories/Structures/CoMonadLaws.v COQC theories/Structures/Monoid.v COQC theories/Data/Eq.v COQC theories/Data/POption.v COQC theories/Recur/Relation.v File "./theories/Structures/Monoid.v", line 16, characters 2-229: Warning: A coercion will be introduced instead of an instance in future versions when using ':>' in 'Class' declarations. Replace ':>' with '::' (or use '#[global] Existing Instance field.' for compatibility with Coq < 8.18). Beware that the default locality for '::' is #[export], as opposed to #[global] for ':>' currently. Add an explicit #[global] attribute to the field if you need to keep the current behavior. For example: "Class foo := { #[global] field :: bar }." [future-coercion-class-field,deprecated-since-8.17,deprecated,default] COQC theories/Tactics/Cases.v COQC theories/Structures/EqDep.v COQC theories/Core/CmpDec.v COQC theories/Structures/Foldable.v COQC theories/Data/Fun.v COQC theories/Structures/Monad.v COQC theories/Structures/Sets.v COQC theories/Structures/Traversable.v File "./theories/Structures/Monad.v", line 56, characters 2-39: Warning: Declaring a scope implicitly is deprecated; use in advance an explicit "Declare Scope monad_scope.". [undeclared-scope,deprecated-since-8.10,deprecated,default] COQC theories/Data/Char.v COQC theories/Data/Lazy.v COQC theories/Data/Nat.v COQC theories/Data/Pair.v COQC theories/Data/Sum.v File "./theories/Data/Char.v", line 35, characters 2-11: Warning: Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead. [deprecated-syntactic-definition-since-8.9,deprecated-since-8.9,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/Char.v", line 37, characters 9-18: Warning: Notation ascii_dec is deprecated since 8.9. Use Ascii.eqb instead. [deprecated-syntactic-definition-since-8.9,deprecated-since-8.9,deprecated-syntactic-definition,deprecated,default] COQC theories/Data/PList.v COQC theories/Data/Monads/IdentityMonad.v COQC theories/Tactics/Equality.v COQC theories/Tactics/EqDep.v COQC theories/Structures/FunctorLaws.v COQC theories/Structures/Reducible.v COQC theories/Structures/MonadCont.v COQC theories/Structures/MonadExc.v COQC theories/Structures/MonadFix.v COQC theories/Structures/MonadZero.v COQC theories/Structures/MonadPlus.v COQC theories/Structures/MonadReader.v COQC theories/Structures/MonadWriter.v COQC theories/Structures/MonadState.v COQC theories/Structures/MonadTrans.v COQC theories/Data/Fin.v COQC theories/Data/SigT.v COQC theories/Data/Option.v COQC theories/Data/String.v File "./theories/Data/Fin.v", line 103, characters 2-29: Warning: "auto with *" was used through the default "intuition_solver" tactic. This will be replaced by just "auto" in the future. [intuition-auto-with-star,deprecated-since-8.17,deprecated,default] File "./theories/Data/Fin.v", line 106, characters 2-29: Warning: "auto with *" was used through the default "intuition_solver" tactic. This will be replaced by just "auto" in the future. [intuition-auto-with-star,deprecated-since-8.17,deprecated,default] COQC theories/Data/Monads/ContMonad.v COQC theories/Tactics.v COQC theories/Structures/Maps.v COQC theories/Structures/Monads.v File "./theories/Data/String.v", line 35, characters 6-14: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 35, characters 24-32: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 35, characters 42-50: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 35, characters 60-68: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 36, characters 6-14: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 36, characters 24-32: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 36, characters 42-50: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 36, characters 60-68: Warning: Notation bool_cmp is deprecated since 8.12. Use Bool.compare instead. [deprecated-syntactic-definition-since-8.12,deprecated-since-8.12,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 55, characters 2-12: Warning: Notation string_dec is deprecated since 8.9. Use String.eqb instead. [deprecated-syntactic-definition-since-8.9,deprecated-since-8.9,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/String.v", line 85, characters 6-15: Warning: Notation ascii_cmp is deprecated since 8.15. Use Ascii.compare instead. [deprecated-syntactic-definition-since-8.15,deprecated-since-8.15,deprecated-syntactic-definition,deprecated,default] COQC theories/Data/Member.v COQC theories/Data/Map/FMapPositive.v COQC theories/Data/Tuple.v COQC theories/Data/Vector.v COQC theories/Programming/Show.v COQC theories/Programming/Extras.v COQC theories/Data/Monads/StateMonad.v COQC theories/Data/Monads/WriterMonad.v File "./theories/Programming/Extras.v", line 37, characters 4-9: Warning: Notation curry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 37, characters 11-18: Warning: Notation uncurry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 39, characters 9-14: Warning: Notation curry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 39, characters 16-23: Warning: Notation uncurry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 47, characters 4-11: Warning: Notation uncurry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 47, characters 13-18: Warning: Notation curry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 49, characters 9-16: Warning: Notation uncurry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 49, characters 18-23: Warning: Notation curry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] File "./theories/Programming/Extras.v", line 97, characters 16-23: Warning: Notation uncurry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] COQC theories/Data/Monads/FuelMonad.v COQC theories/Data/Monads/OptionMonad.v File "./theories/Programming/Show.v", line 64, characters 2-37: Warning: Declaring a scope implicitly is deprecated; use in advance an explicit "Declare Scope show_scope.". [undeclared-scope,deprecated-since-8.10,deprecated,default] COQC theories/Data/Map/FMapTwoThreeK.v COQC theories/Data/Monads/EitherMonad.v COQC theories/Data/Monads/ReaderMonad.v COQC theories/Data/Set/SetMap.v COQC theories/Data/Set/TwoThreeTrees.v COQC theories/Structures/MonadLaws.v COQC theories/Data/HList.v COQC theories/Data/List.v COQC theories/Generic/Func.v COQC theories/Generic/Ind.v COQC theories/Tactics/MonadTac.v File "./theories/Data/HList.v", line 462, characters 26-43: Warning: Notation app_assoc_reverse is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] File "./theories/Data/HList.v", line 462, characters 26-43: Warning: Notation app_assoc_reverse is deprecated since 8.18. Use app_assoc instead. [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default] COQC theories/Data/Graph/BuildGraph.v COQC theories/Data/Graph/GraphAlgos.v COQC theories/Data/Map/FMapAList.v = "-(5,-(6,-(7,-())))" : string COQC theories/Data/Monads/FuelMonadLaws.v COQC theories/Data/Monads/IdentityMonadLaws.v File "./theories/Data/Map/FMapAList.v", line 77, characters 31-38: Warning: Notation uncurry is deprecated since 8.13. Use standard library. [deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default] COQC theories/Data/Monads/OptionMonadLaws.v COQC theories/Data/Monads/ReaderMonadLaws.v COQC theories/Data/Set/ListSet.v COQC theories/Data/SumN.v COQC theories/Data/Graph/GraphAdjList.v COQC theories/Generic/Data.v COQC theories/Generic/DerivingData.v make[2]: Leaving directory '/<>' make -C examples make[2]: Entering directory '/<>/examples' coq_makefile -f _CoqProject -o Makefile.coq Warning: ../theories (used in -R or -Q) is not a subdirectory of the current directory Warning: No common logical root. Warning: In this case the -docroot option should be given. Warning: Otherwise the install-doc target is going to install files Warning: in orphan_ExtLib_ExtLibExamples make -f Makefile.coq make[3]: Entering directory '/<>/examples' COQDEP VFILES COQC ConsiderDemo.v COQC EvalWithExc.v COQC MonadReasoning.v COQC Printing.v COQC UsingSets.v = inr (Int 3) : string + value = inl "expected integer got bool"%string : string + value COQC WithDemo.v = (tt, ?ST 1 (string -> string) String {| Monoid.monoid_plus := fun (g f : string -> string) (x : string) => g (f x); Monoid.monoid_unit := fun x : string => x |} (?ST0@{u:=tt} 2 (string -> string) String {| Monoid.monoid_plus := fun (g f : string -> string) (x : string) => g (f x); Monoid.monoid_unit := fun x : string => x |} ""%string)) : unit * string where ?ST : [ |- Show nat] ?ST0 : [u : unit |- Show nat] = false : bool = ?Foldable_set (list ?V) cons nil ((let (_, _, _, _, _, _, _, _, add, _) := ?DSet in add) true ((let (_, _, _, _, _, _, _, _, add, _) := ?DSet0 in add) true (let (_, empty, _, _, _, _, _, _, _, _) := ?DSet1 in empty))) : list ?V where ?V : [ |- Type] ?set : [ |- Type] ?Foldable_set : [ |- Foldable ?set ?V] ?DSet : [ |- DSet ?set bool] ?DSet0 : [ |- DSet ?set bool] ?T : [ |- Type] ?DSet1 : [ |- DSet ?set ?T] = (let (fmap) := ?Functor in fmap) bool bool (fun b : bool => if b then false else true) ((let (_, _, _, _, _, _, _, _, add, _) := ?DSet in add) true (let (_, empty, _, _, _, _, _, _, _, _) := ?DSet0 in empty)) : ?F bool where ?F : [ |- Set -> Type] ?Functor : [ |- Functor ?F] ?DSet : [ |- DSet (?F bool) bool] ?T : [ |- Type] ?DSet0 : [ |- DSet (?F bool) ?T] = (tt, String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false false false false true false false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false true true false true false false) (String (Ascii.Ascii false false false false false true false false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false true true false true false false) (String (Ascii.Ascii false false false false false true false false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false true true false true false false) (String (Ascii.Ascii false false false false false true false false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii false false true true false true false false) (String (Ascii.Ascii false false false false false true false false) (String (Ascii.Ascii true true true false false true false false) (String (Ascii.Ascii true false true false false true true false) (String (...) (...)))))))))))))))))))))))) : unit * string where ?ST : [u : unit |- Show nat] = (tt, String (Ascii.Ascii false false false true false true true false) (String (Ascii.Ascii true false true false false true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii false false true true false true true false) (String (Ascii.Ascii true true true true false true true false) (String (Ascii.Ascii false false false false false true false false) (?ST@{u:=tt} 2 (string -> string) String {| Monoid.monoid_plus := fun (g f : string -> string) (x : string) => g (f x); Monoid.monoid_unit := fun x : string => x |} ""%string))))))) : unit * string where ?ST : [u : unit |- Show nat] COQC Notations.v COQC StateTMonad.v = {| a := true; b := 1; c := false |} : RTest = RTest -> false = false : Prop make[3]: Leaving directory '/<>/examples' make[2]: Leaving directory '/<>/examples' make[1]: Leaving directory '/<>' dh_auto_test -a 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 '/<>' make -f Makefile.coq install make[3]: Entering directory '/<>' INSTALL theories/ExtLib.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib/ INSTALL theories/Tactics.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib/ INSTALL theories/Core/Any.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Core/CmpDec.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Core/EquivDec.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Core/RelDec.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Core/Decision.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Structures/Applicative.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/BinOps.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoFunctor.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoMonad.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoMonadLaws.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/EqDep.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Foldable.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/FunctorLaws.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Functor.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Maps.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadCont.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadExc.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadFix.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadLaws.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadPlus.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadReader.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadState.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monads.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadTrans.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monad.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadWriter.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadZero.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monoid.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Reducible.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Sets.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Traversable.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Data/Bool.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Char.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Checked.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Eq.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Eq/UIP_trans.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Eq INSTALL theories/Data/Fin.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Fun.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/HList.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/LazyList.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Lazy.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/ListFirstnSkipn.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/ListNth.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/List.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Member.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Nat.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/N.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Option.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Pair.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Positive.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PreFun.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Prop.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/SigT.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Stream.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/String.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/SumN.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Sum.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Tuple.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Unit.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Vector.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Z.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/POption.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PList.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PPair.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Generic/Data.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/DerivingData.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/Func.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/Ind.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Generic INSTALL theories/Programming/Eqv.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Extras.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Injection.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Le.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Show.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/With.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Recur/Facts.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/GenRec.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/Measure.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/Relation.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Recur INSTALL theories/Relations/Compose.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Relations INSTALL theories/Relations/TransitiveClosure.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Relations INSTALL theories/Tactics/BoolTac.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Cases.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Consider.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/EqDep.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Equality.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Forward.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Injection.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/MonadTac.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Parametric.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Reify.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Hide.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Data/Graph/BuildGraph.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/GraphAdjList.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/GraphAlgos.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/Graph.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Map/FMapAList.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Map/FMapPositive.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Map/FMapTwoThreeK.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Monads/ContMonad.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/EitherMonad.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/FuelMonadLaws.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/FuelMonad.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IdentityMonadLaws.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IdentityMonad.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/OptionMonadLaws.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/OptionMonad.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/ReaderMonadLaws.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/ReaderMonad.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/StateMonad.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/WriterMonad.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Set/ListSet.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Set INSTALL theories/Data/Set/SetMap.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Set INSTALL theories/Data/Set/TwoThreeTrees.vo /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Set INSTALL theories/ExtLib.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib/ INSTALL theories/Tactics.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib/ INSTALL theories/Core/Any.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Core/CmpDec.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Core/EquivDec.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Core/RelDec.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Core/Decision.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Structures/Applicative.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/BinOps.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoFunctor.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoMonad.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoMonadLaws.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/EqDep.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Foldable.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/FunctorLaws.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Functor.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Maps.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadCont.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadExc.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadFix.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadLaws.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadPlus.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadReader.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadState.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monads.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadTrans.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monad.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadWriter.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadZero.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monoid.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Reducible.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Sets.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Traversable.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Data/Bool.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Char.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Checked.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Eq.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Eq/UIP_trans.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Eq INSTALL theories/Data/Fin.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Fun.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/HList.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/LazyList.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Lazy.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/ListFirstnSkipn.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/ListNth.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/List.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Member.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Nat.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/N.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Option.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Pair.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Positive.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PreFun.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Prop.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/SigT.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Stream.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/String.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/SumN.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Sum.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Tuple.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Unit.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Vector.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Z.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/POption.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PList.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PPair.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Generic/Data.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/DerivingData.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/Func.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/Ind.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Generic INSTALL theories/Programming/Eqv.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Extras.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Injection.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Le.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Show.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/With.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Recur/Facts.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/GenRec.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/Measure.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/Relation.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Recur INSTALL theories/Relations/Compose.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Relations INSTALL theories/Relations/TransitiveClosure.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Relations INSTALL theories/Tactics/BoolTac.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Cases.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Consider.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/EqDep.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Equality.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Forward.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Injection.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/MonadTac.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Parametric.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Reify.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Hide.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Data/Graph/BuildGraph.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/GraphAdjList.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/GraphAlgos.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/Graph.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Map/FMapAList.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Map/FMapPositive.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Map/FMapTwoThreeK.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Monads/ContMonad.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/EitherMonad.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/FuelMonadLaws.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/FuelMonad.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IdentityMonadLaws.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IdentityMonad.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/OptionMonadLaws.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/OptionMonad.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/ReaderMonadLaws.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/ReaderMonad.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/StateMonad.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/WriterMonad.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Set/ListSet.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Set INSTALL theories/Data/Set/SetMap.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Set INSTALL theories/Data/Set/TwoThreeTrees.v /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Set INSTALL theories/ExtLib.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib/ INSTALL theories/Tactics.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib/ INSTALL theories/Core/Any.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Core/CmpDec.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Core/EquivDec.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Core/RelDec.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Core/Decision.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Core INSTALL theories/Structures/Applicative.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/BinOps.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoFunctor.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoMonad.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/CoMonadLaws.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/EqDep.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Foldable.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/FunctorLaws.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Functor.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Maps.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadCont.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadExc.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadFix.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadLaws.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadPlus.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadReader.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadState.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monads.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadTrans.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monad.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadWriter.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/MonadZero.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Monoid.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Reducible.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Sets.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Structures/Traversable.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Structures INSTALL theories/Data/Bool.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Char.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Checked.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Eq.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Eq/UIP_trans.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Eq INSTALL theories/Data/Fin.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Fun.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/HList.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/LazyList.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Lazy.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/ListFirstnSkipn.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/ListNth.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/List.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Member.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Nat.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/N.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Option.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Pair.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Positive.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PreFun.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Prop.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/SigT.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Stream.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/String.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/SumN.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Sum.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Tuple.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Unit.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Vector.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/Z.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/POption.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PList.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Data/PPair.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data INSTALL theories/Generic/Data.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/DerivingData.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/Func.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Generic INSTALL theories/Generic/Ind.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Generic INSTALL theories/Programming/Eqv.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Extras.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Injection.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Le.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/Show.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Programming/With.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Programming INSTALL theories/Recur/Facts.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/GenRec.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/Measure.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Recur INSTALL theories/Recur/Relation.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Recur INSTALL theories/Relations/Compose.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Relations INSTALL theories/Relations/TransitiveClosure.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Relations INSTALL theories/Tactics/BoolTac.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Cases.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Consider.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/EqDep.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Equality.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Forward.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Injection.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/MonadTac.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Parametric.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Reify.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Tactics/Hide.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Tactics INSTALL theories/Data/Graph/BuildGraph.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/GraphAdjList.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/GraphAlgos.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Graph/Graph.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Graph INSTALL theories/Data/Map/FMapAList.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Map/FMapPositive.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Map/FMapTwoThreeK.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Map INSTALL theories/Data/Monads/ContMonad.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/EitherMonad.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/FuelMonadLaws.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/FuelMonad.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IdentityMonadLaws.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/IdentityMonad.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/OptionMonadLaws.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/OptionMonad.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/ReaderMonadLaws.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/ReaderMonad.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/StateMonad.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Monads/WriterMonad.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Monads INSTALL theories/Data/Set/ListSet.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Set INSTALL theories/Data/Set/SetMap.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Set INSTALL theories/Data/Set/TwoThreeTrees.glob /<>/debian/tmp//usr/lib/ocaml/coq//user-contrib/ExtLib//Data/Set make[4]: Entering directory '/<>' make[4]: Leaving directory '/<>' make[3]: Leaving directory '/<>' make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh_install -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_dwz -a dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb -a dh_coq -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a INFO: pkgstriptranslations version 154 pkgstriptranslations: processing libcoq-ext-lib (in debian/libcoq-ext-lib); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libcoq-ext-lib/DEBIAN/control, package libcoq-ext-lib, directory debian/libcoq-ext-lib pkgstripfiles: Running PNG optimization (using 4 cpus) for package libcoq-ext-lib ... pkgstripfiles: No PNG files. dpkg-deb: building package 'libcoq-ext-lib' in '../libcoq-ext-lib_0.12.0-1build1_s390x.deb'. dpkg-genbuildinfo --build=any -O../coq-ext-lib_0.12.0-1build1_s390x.buildinfo dpkg-genchanges --build=any -mLaunchpad Build Daemon -O../coq-ext-lib_0.12.0-1build1_s390x.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 2023-12-23T01:34:55Z Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ coq-ext-lib_0.12.0-1build1_s390x.changes: ----------------------------------------- Format: 1.8 Date: Fri, 22 Dec 2023 20:28:30 -0500 Source: coq-ext-lib Binary: libcoq-ext-lib Built-For-Profiles: noudeb Architecture: s390x Version: 0.12.0-1build1 Distribution: noble-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Jeremy Bícha Description: libcoq-ext-lib - Collection of theories and plugins for Coq Changes: coq-ext-lib (0.12.0-1build1) noble; urgency=medium . * Rebuild against latest coq Checksums-Sha1: 2bb1cbcdb677db7ab72e6e494b52fd44035ff0b6 6571 coq-ext-lib_0.12.0-1build1_s390x.buildinfo 0d10fade6eb401468a1fe06ea62e64a8a1305356 1053028 libcoq-ext-lib_0.12.0-1build1_s390x.deb Checksums-Sha256: d53dfdb6a03eeb6082741770c5942205fba28d64df3d8db29bf8a429efc29d58 6571 coq-ext-lib_0.12.0-1build1_s390x.buildinfo ac456493717b0e68791b1312ae65ee250f79b2e3eea10dbb25a6649490074aff 1053028 libcoq-ext-lib_0.12.0-1build1_s390x.deb Files: 65831ed188f0fe20372e13f9b486003b 6571 ocaml optional coq-ext-lib_0.12.0-1build1_s390x.buildinfo 870d3e5e1c91e540d26efe086b10c77a 1053028 ocaml optional libcoq-ext-lib_0.12.0-1build1_s390x.deb /<>/coq-ext-lib_0.12.0-1build1_s390x.changes.new could not be renamed to /<>/coq-ext-lib_0.12.0-1build1_s390x.changes: Illegal seek Distribution field may be wrong!!! +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: coq-ext-lib Binary: libcoq-ext-lib Architecture: s390x Version: 0.12.0-1build1 Checksums-Md5: 870d3e5e1c91e540d26efe086b10c77a 1053028 libcoq-ext-lib_0.12.0-1build1_s390x.deb Checksums-Sha1: 0d10fade6eb401468a1fe06ea62e64a8a1305356 1053028 libcoq-ext-lib_0.12.0-1build1_s390x.deb Checksums-Sha256: ac456493717b0e68791b1312ae65ee250f79b2e3eea10dbb25a6649490074aff 1053028 libcoq-ext-lib_0.12.0-1build1_s390x.deb Build-Origin: Ubuntu Build-Architecture: s390x Build-Date: Sat, 23 Dec 2023 01:34:55 +0000 Build-Path: /<> Build-Tainted-By: merged-usr-via-aliased-dirs usr-local-has-programs Installed-Build-Depends: autoconf (= 2.71-3), automake (= 1:1.16.5-1.3), autopoint (= 0.21-14), autotools-dev (= 20220109.1), base-files (= 13ubuntu5), base-passwd (= 3.6.3), bash (= 5.2.21-2ubuntu1), binutils (= 2.41.50.20231214-1ubuntu1), binutils-common (= 2.41.50.20231214-1ubuntu1), binutils-s390x-linux-gnu (= 2.41.50.20231214-1ubuntu1), bsdextrautils (= 2.39.2-6ubuntu1), bsdutils (= 1:2.39.2-6ubuntu1), build-essential (= 12.10ubuntu1), bzip2 (= 1.0.8-5build1), coq (= 8.18.0+dfsg-1), coreutils (= 9.4-2ubuntu1), cpp (= 4:13.2.0-2ubuntu1), cpp-13 (= 13.2.0-9ubuntu1), dash (= 0.5.12-6ubuntu1), debconf (= 1.5.82), debhelper (= 13.11.9ubuntu1), debianutils (= 5.14), debugedit (= 1:5.0-5), dh-autoreconf (= 20), dh-coq (= 0.6), dh-ocaml (= 2.0), dh-strip-nondeterminism (= 1.13.1-1), diffutils (= 1:3.10-1), dpkg (= 1.22.2ubuntu1), dpkg-dev (= 1.22.2ubuntu1), dwz (= 0.15-1), file (= 1:5.45-2), findutils (= 4.9.0-5), g++ (= 4:13.2.0-2ubuntu1), g++-13 (= 13.2.0-9ubuntu1), gcc (= 4:13.2.0-2ubuntu1), gcc-13 (= 13.2.0-9ubuntu1), gcc-13-base (= 13.2.0-9ubuntu1), gettext (= 0.21-14), gettext-base (= 0.21-14), grep (= 3.11-3), groff-base (= 1.23.0-3), gzip (= 1.12-1ubuntu1), hostname (= 3.23+nmu1ubuntu1), init-system-helpers (= 1.66ubuntu1), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.1-3), libarchive-zip-perl (= 1.68-1), libasan8 (= 13.2.0-9ubuntu1), libatomic1 (= 13.2.0-9ubuntu1), libattr1 (= 1:2.5.1-4), libaudit-common (= 1:3.1.2-1), libaudit1 (= 1:3.1.2-1), libbinutils (= 2.41.50.20231214-1ubuntu1), libblkid1 (= 2.39.2-6ubuntu1), libbz2-1.0 (= 1.0.8-5build1), libc-bin (= 2.38-3ubuntu1), libc-dev-bin (= 2.38-3ubuntu1), libc6 (= 2.38-3ubuntu1), libc6-dev (= 2.38-3ubuntu1), libcap-ng0 (= 0.8.3-3), libcap2 (= 1:2.66-4ubuntu1), libcc1-0 (= 13.2.0-9ubuntu1), libcom-err2 (= 1.47.0-2ubuntu1), libcompiler-libs-ocaml-dev (= 4.14.1-1ubuntu1), libcoq-core-ocaml (= 8.18.0+dfsg-1), libcoq-core-ocaml-dev (= 8.18.0+dfsg-1), libcoq-stdlib (= 8.18.0+dfsg-1), libcrypt-dev (= 1:4.4.36-2), libcrypt1 (= 1:4.4.36-2), libctf-nobfd0 (= 2.41.50.20231214-1ubuntu1), libctf0 (= 2.41.50.20231214-1ubuntu1), libdb5.3 (= 5.3.28+dfsg2-4), libdebconfclient0 (= 0.271ubuntu1), libdebhelper-perl (= 13.11.9ubuntu1), libdpkg-perl (= 1.22.2ubuntu1), libdw1 (= 0.190-1), libelf1 (= 0.190-1), libexpat1 (= 2.5.0-2), libffi8 (= 3.4.4-2), libfile-stripnondeterminism-perl (= 1.13.1-1), libfindlib-ocaml (= 1.9.6-1build3), libfindlib-ocaml-dev (= 1.9.6-1build3), libgcc-13-dev (= 13.2.0-9ubuntu1), libgcc-s1 (= 13.2.0-9ubuntu1), libgcrypt20 (= 1.10.2-3ubuntu1), libgdbm-compat4 (= 1.23-5), libgdbm6 (= 1.23-5), libgmp-dev (= 2:6.3.0+dfsg-2ubuntu4), libgmp10 (= 2:6.3.0+dfsg-2ubuntu4), libgmp3-dev (= 2:6.3.0+dfsg-2ubuntu4), libgmpxx4ldbl (= 2:6.3.0+dfsg-2ubuntu4), libgomp1 (= 13.2.0-9ubuntu1), libgpg-error0 (= 1.47-3build1), libgssapi-krb5-2 (= 1.20.1-5build1), libicu74 (= 74.2-1ubuntu1), libisl23 (= 0.26-3), libitm1 (= 13.2.0-9ubuntu1), libjansson4 (= 2.14-2), libk5crypto3 (= 1.20.1-5build1), libkeyutils1 (= 1.6.3-2), libkrb5-3 (= 1.20.1-5build1), libkrb5support0 (= 1.20.1-5build1), liblz4-1 (= 1.9.4-1), liblzma5 (= 5.4.5-0.1), libmagic-mgc (= 1:5.45-2), libmagic1 (= 1:5.45-2), libmd0 (= 1.1.0-1), libmount1 (= 2.39.2-6ubuntu1), libmpc3 (= 1.3.1-1), libmpfr6 (= 4.2.1-1), libncurses-dev (= 6.4+20231209-1), libncurses6 (= 6.4+20231209-1), libncursesw6 (= 6.4+20231209-1), libnsl-dev (= 1.3.0-3), libnsl2 (= 1.3.0-3), libpam-modules (= 1.5.2-9.1ubuntu1), libpam-modules-bin (= 1.5.2-9.1ubuntu1), libpam-runtime (= 1.5.2-9.1ubuntu1), libpam0g (= 1.5.2-9.1ubuntu1), libpcre2-8-0 (= 10.42-4ubuntu1), libperl5.36 (= 5.36.0-10ubuntu1), libpipeline1 (= 1.5.7-1), libpython3-stdlib (= 3.11.4-5ubuntu1), libpython3.11-minimal (= 3.11.7-2), libpython3.11-stdlib (= 3.11.7-2), libreadline8 (= 8.2-3), libseccomp2 (= 2.5.4-2ubuntu1), libselinux1 (= 3.5-1build2), libsframe1 (= 2.41.50.20231214-1ubuntu1), libsmartcols1 (= 2.39.2-6ubuntu1), libsqlite3-0 (= 3.44.2-1), libssl3 (= 3.0.10-1ubuntu3), libstdc++-13-dev (= 13.2.0-9ubuntu1), libstdc++6 (= 13.2.0-9ubuntu1), libstdlib-ocaml (= 4.14.1-1ubuntu1), libstdlib-ocaml-dev (= 4.14.1-1ubuntu1), libsub-override-perl (= 0.10-1), libsystemd0 (= 255-1ubuntu1), libtinfo6 (= 6.4+20231209-1), libtirpc-common (= 1.3.4+ds-1build1), libtirpc-dev (= 1.3.4+ds-1build1), libtirpc3 (= 1.3.4+ds-1build1), libtool (= 2.4.7-7), libubsan1 (= 13.2.0-9ubuntu1), libuchardet0 (= 0.0.8-1), libudev1 (= 255-1ubuntu1), libunistring5 (= 1.1-2), libuuid1 (= 2.39.2-6ubuntu1), libxml2 (= 2.9.14+dfsg-1.3build3), libzarith-ocaml (= 1.13-2build3), libzarith-ocaml-dev (= 1.13-2build3), libzstd1 (= 1.5.5+dfsg2-2), linux-libc-dev (= 6.6.0-14.14), login (= 1:4.13+dfsg1-3ubuntu1), lto-disabled-list (= 44), m4 (= 1.4.19-4), make (= 4.3-4.1build1), man-db (= 2.12.0-1), mawk (= 1.3.4.20231126-1), media-types (= 10.1.0), ncurses-base (= 6.4+20231209-1), ncurses-bin (= 6.4+20231209-1), netbase (= 6.4), ocaml (= 4.14.1-1ubuntu1), ocaml-base (= 4.14.1-1ubuntu1), ocaml-findlib (= 1.9.6-1build3), ocaml-interp (= 4.14.1-1ubuntu1), patch (= 2.7.6-7build2), perl (= 5.36.0-10ubuntu1), perl-base (= 5.36.0-10ubuntu1), perl-modules-5.36 (= 5.36.0-10ubuntu1), po-debconf (= 1.0.21+nmu1), python3 (= 3.11.4-5ubuntu1), python3-minimal (= 3.11.4-5ubuntu1), python3.11 (= 3.11.7-2), python3.11-minimal (= 3.11.7-2), readline-common (= 8.2-3), rpcsvc-proto (= 1.4.2-0ubuntu6), sed (= 4.9-1), sensible-utils (= 0.0.20), sysvinit-utils (= 3.08-3ubuntu1), tar (= 1.34+dfsg-1.4), tzdata (= 2023c-9ubuntu1), util-linux (= 2.39.2-6ubuntu1), xz-utils (= 5.4.5-0.1), zlib1g (= 1:1.3.dfsg-3ubuntu1) Environment: DEB_BUILD_OPTIONS="parallel=4" DEB_BUILD_PROFILES="noudeb" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1703294910" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ libcoq-ext-lib_0.12.0-1build1_s390x.deb --------------------------------------- new Debian package, version 2.0. size 1053028 bytes: control archive=9519 bytes. 628 bytes, 17 lines control 32744 bytes, 357 lines md5sums Package: libcoq-ext-lib Source: coq-ext-lib Version: 0.12.0-1build1 Architecture: s390x Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 3614 Depends: libcoq-stdlib-d7fd6 Provides: libcoq-ext-lib-8e5s8 Section: ocaml Priority: optional Homepage: https://github.com/coq-community/coq-ext-lib Description: Collection of theories and plugins for Coq This package provides a collection of theories and plugins that may be useful in other Coq developments. . Coq is a proof assistant for higher-order logic. drwxr-xr-x root/root 0 2023-12-23 01:28 ./ drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/ drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/ drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/ drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/ -rw-r--r-- root/root 421 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/Any.glob -rw-r--r-- root/root 373 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/Any.v -rw-r--r-- root/root 2815 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/Any.vo -rw-r--r-- root/root 7792 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/CmpDec.glob -rw-r--r-- root/root 1716 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/CmpDec.v -rw-r--r-- root/root 14254 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/CmpDec.vo -rw-r--r-- root/root 3805 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/Decision.glob -rw-r--r-- root/root 805 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/Decision.v -rw-r--r-- root/root 5048 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/Decision.vo -rw-r--r-- root/root 1274 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/EquivDec.glob -rw-r--r-- root/root 362 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/EquivDec.v -rw-r--r-- root/root 11697 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/EquivDec.vo -rw-r--r-- root/root 14241 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/RelDec.glob -rw-r--r-- root/root 4554 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/RelDec.v -rw-r--r-- root/root 14809 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Core/RelDec.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/ -rw-r--r-- root/root 838 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Bool.glob -rw-r--r-- root/root 470 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Bool.v -rw-r--r-- root/root 5247 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Bool.vo -rw-r--r-- root/root 4092 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Char.glob -rw-r--r-- root/root 1993 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Char.v -rw-r--r-- root/root 24378 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Char.vo -rw-r--r-- root/root 3013 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Checked.glob -rw-r--r-- root/root 1146 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Checked.v -rw-r--r-- root/root 6020 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Checked.vo -rw-r--r-- root/root 8313 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq.glob -rw-r--r-- root/root 2950 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq.v -rw-r--r-- root/root 16419 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq/ -rw-r--r-- root/root 11727 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq/UIP_trans.glob -rw-r--r-- root/root 2625 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq/UIP_trans.v -rw-r--r-- root/root 7223 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Eq/UIP_trans.vo -rw-r--r-- root/root 8824 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fin.glob -rw-r--r-- root/root 3144 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fin.v -rw-r--r-- root/root 28284 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fin.vo -rw-r--r-- root/root 6060 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fun.glob -rw-r--r-- root/root 1466 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fun.v -rw-r--r-- root/root 8548 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Fun.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/ -rw-r--r-- root/root 5170 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/BuildGraph.glob -rw-r--r-- root/root 1403 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/BuildGraph.v -rw-r--r-- root/root 11150 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/BuildGraph.vo -rw-r--r-- root/root 925 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/Graph.glob -rw-r--r-- root/root 288 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/Graph.v -rw-r--r-- root/root 3759 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/Graph.vo -rw-r--r-- root/root 6997 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/GraphAdjList.glob -rw-r--r-- root/root 1880 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/GraphAdjList.v -rw-r--r-- root/root 26900 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/GraphAdjList.vo -rw-r--r-- root/root 5807 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/GraphAlgos.glob -rw-r--r-- root/root 1630 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/GraphAlgos.v -rw-r--r-- root/root 24096 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Graph/GraphAlgos.vo -rw-r--r-- root/root 121995 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/HList.glob -rw-r--r-- root/root 31831 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/HList.v -rw-r--r-- root/root 196383 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/HList.vo -rw-r--r-- root/root 2290 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Lazy.glob -rw-r--r-- root/root 810 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Lazy.v -rw-r--r-- root/root 4703 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Lazy.vo -rw-r--r-- root/root 1416 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/LazyList.glob -rw-r--r-- root/root 323 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/LazyList.v -rw-r--r-- root/root 4550 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/LazyList.vo -rw-r--r-- root/root 27161 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/List.glob -rw-r--r-- root/root 7169 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/List.v -rw-r--r-- root/root 53224 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/List.vo -rw-r--r-- root/root 9486 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/ListFirstnSkipn.glob -rw-r--r-- root/root 2263 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/ListFirstnSkipn.v -rw-r--r-- root/root 35344 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/ListFirstnSkipn.vo -rw-r--r-- root/root 7951 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/ListNth.glob -rw-r--r-- root/root 2454 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/ListNth.v -rw-r--r-- root/root 21555 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/ListNth.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Map/ -rw-r--r-- root/root 30028 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Map/FMapAList.glob -rw-r--r-- root/root 7319 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Map/FMapAList.v -rw-r--r-- root/root 50437 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Map/FMapAList.vo -rw-r--r-- root/root 28274 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Map/FMapPositive.glob -rw-r--r-- root/root 8876 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Map/FMapPositive.v -rw-r--r-- root/root 65272 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Map/FMapPositive.vo -rw-r--r-- root/root 24000 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Map/FMapTwoThreeK.glob -rw-r--r-- root/root 6109 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Map/FMapTwoThreeK.v -rw-r--r-- root/root 27879 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Map/FMapTwoThreeK.vo -rw-r--r-- root/root 12751 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Member.glob -rw-r--r-- root/root 3919 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Member.v -rw-r--r-- root/root 36371 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Member.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/ -rw-r--r-- root/root 4627 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/ContMonad.glob -rw-r--r-- root/root 1833 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/ContMonad.v -rw-r--r-- root/root 7057 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/ContMonad.vo -rw-r--r-- root/root 13554 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/EitherMonad.glob -rw-r--r-- root/root 2934 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/EitherMonad.v -rw-r--r-- root/root 21100 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/EitherMonad.vo -rw-r--r-- root/root 5482 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/FuelMonad.glob -rw-r--r-- root/root 1698 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/FuelMonad.v -rw-r--r-- root/root 17478 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/FuelMonad.vo -rw-r--r-- root/root 370 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/FuelMonadLaws.glob -rw-r--r-- root/root 5121 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/FuelMonadLaws.v -rw-r--r-- root/root 11204 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/FuelMonadLaws.vo -rw-r--r-- root/root 1229 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/IdentityMonad.glob -rw-r--r-- root/root 355 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/IdentityMonad.v -rw-r--r-- root/root 4795 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/IdentityMonad.vo -rw-r--r-- root/root 335 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/IdentityMonadLaws.glob -rw-r--r-- root/root 1926 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/IdentityMonadLaws.v -rw-r--r-- root/root 5798 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/IdentityMonadLaws.vo -rw-r--r-- root/root 11563 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/OptionMonad.glob -rw-r--r-- root/root 3050 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/OptionMonad.v -rw-r--r-- root/root 18530 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/OptionMonad.vo -rw-r--r-- root/root 369 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/OptionMonadLaws.glob -rw-r--r-- root/root 12006 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/OptionMonadLaws.v -rw-r--r-- root/root 12952 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/OptionMonadLaws.vo -rw-r--r-- root/root 12774 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/ReaderMonad.glob -rw-r--r-- root/root 2818 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/ReaderMonad.v -rw-r--r-- root/root 18709 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/ReaderMonad.vo -rw-r--r-- root/root 331 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/ReaderMonadLaws.glob -rw-r--r-- root/root 2989 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/ReaderMonadLaws.v -rw-r--r-- root/root 5790 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/ReaderMonadLaws.vo -rw-r--r-- root/root 22123 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/StateMonad.glob -rw-r--r-- root/root 3885 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/StateMonad.v -rw-r--r-- root/root 26346 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/StateMonad.vo -rw-r--r-- root/root 26432 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/WriterMonad.glob -rw-r--r-- root/root 5993 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/WriterMonad.v -rw-r--r-- root/root 34012 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Monads/WriterMonad.vo -rw-r--r-- root/root 90 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/N.glob -rw-r--r-- root/root 23 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/N.v -rw-r--r-- root/root 8844 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/N.vo -rw-r--r-- root/root 6524 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Nat.glob -rw-r--r-- root/root 2356 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Nat.v -rw-r--r-- root/root 32114 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Nat.vo -rw-r--r-- root/root 13803 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Option.glob -rw-r--r-- root/root 5318 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Option.v -rw-r--r-- root/root 38314 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Option.vo -rw-r--r-- root/root 22608 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/PList.glob -rw-r--r-- root/root 7543 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/PList.v -rw-r--r-- root/root 39905 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/PList.vo -rw-r--r-- root/root 5966 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/POption.glob -rw-r--r-- root/root 2461 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/POption.v -rw-r--r-- root/root 8855 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/POption.vo -rw-r--r-- root/root 10371 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/PPair.glob -rw-r--r-- root/root 2644 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/PPair.v -rw-r--r-- root/root 16660 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/PPair.vo -rw-r--r-- root/root 17706 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Pair.glob -rw-r--r-- root/root 3894 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Pair.v -rw-r--r-- root/root 47819 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Pair.vo -rw-r--r-- root/root 3437 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Positive.glob -rw-r--r-- root/root 1444 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Positive.v -rw-r--r-- root/root 13814 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Positive.vo -rw-r--r-- root/root 999 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/PreFun.glob -rw-r--r-- root/root 351 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/PreFun.v -rw-r--r-- root/root 3274 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/PreFun.vo -rw-r--r-- root/root 14262 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Prop.glob -rw-r--r-- root/root 2632 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Prop.v -rw-r--r-- root/root 11409 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Prop.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Set/ -rw-r--r-- root/root 8311 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Set/ListSet.glob -rw-r--r-- root/root 1913 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Set/ListSet.v -rw-r--r-- root/root 24219 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Set/ListSet.vo -rw-r--r-- root/root 144 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Set/SetMap.glob -rw-r--r-- root/root 745 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Set/SetMap.v -rw-r--r-- root/root 3008 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Set/SetMap.vo -rw-r--r-- root/root 37006 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Set/TwoThreeTrees.glob -rw-r--r-- root/root 19479 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Set/TwoThreeTrees.v -rw-r--r-- root/root 46125 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Set/TwoThreeTrees.vo -rw-r--r-- root/root 4910 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/SigT.glob -rw-r--r-- root/root 1303 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/SigT.v -rw-r--r-- root/root 16201 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/SigT.vo -rw-r--r-- root/root 665 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Stream.glob -rw-r--r-- root/root 228 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Stream.v -rw-r--r-- root/root 2277 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Stream.vo -rw-r--r-- root/root 17649 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/String.glob -rw-r--r-- root/root 5539 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/String.v -rw-r--r-- root/root 39319 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/String.vo -rw-r--r-- root/root 10030 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Sum.glob -rw-r--r-- root/root 3171 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Sum.v -rw-r--r-- root/root 22483 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Sum.vo -rw-r--r-- root/root 16138 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/SumN.glob -rw-r--r-- root/root 4901 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/SumN.v -rw-r--r-- root/root 42185 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/SumN.vo -rw-r--r-- root/root 6818 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Tuple.glob -rw-r--r-- root/root 1597 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Tuple.v -rw-r--r-- root/root 23548 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Tuple.vo -rw-r--r-- root/root 469 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Unit.glob -rw-r--r-- root/root 308 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Unit.v -rw-r--r-- root/root 4530 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Unit.vo -rw-r--r-- root/root 22211 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Vector.glob -rw-r--r-- root/root 6398 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Vector.v -rw-r--r-- root/root 39394 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Vector.vo -rw-r--r-- root/root 2807 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Z.glob -rw-r--r-- root/root 1453 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Z.v -rw-r--r-- root/root 25963 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Data/Z.vo -rw-r--r-- root/root 91 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/ExtLib.glob -rw-r--r-- root/root 35 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/ExtLib.v -rw-r--r-- root/root 3323 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/ExtLib.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/ -rw-r--r-- root/root 16253 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/Data.glob -rw-r--r-- root/root 6271 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/Data.v -rw-r--r-- root/root 32572 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/Data.vo -rw-r--r-- root/root 10064 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/DerivingData.glob -rw-r--r-- root/root 2493 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/DerivingData.v -rw-r--r-- root/root 35233 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/DerivingData.vo -rw-r--r-- root/root 14547 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/Func.glob -rw-r--r-- root/root 2788 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/Func.v -rw-r--r-- root/root 25258 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/Func.vo -rw-r--r-- root/root 22282 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/Ind.glob -rw-r--r-- root/root 5231 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/Ind.v -rw-r--r-- root/root 50526 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Generic/Ind.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/ -rw-r--r-- root/root 7922 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Eqv.glob -rw-r--r-- root/root 1787 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Eqv.v -rw-r--r-- root/root 12493 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Eqv.vo -rw-r--r-- root/root 15268 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Extras.glob -rw-r--r-- root/root 2691 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Extras.v -rw-r--r-- root/root 28679 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Extras.vo -rw-r--r-- root/root 1503 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Injection.glob -rw-r--r-- root/root 602 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Injection.v -rw-r--r-- root/root 16037 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Injection.vo -rw-r--r-- root/root 13804 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Le.glob -rw-r--r-- root/root 4360 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Le.v -rw-r--r-- root/root 24035 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Le.vo -rw-r--r-- root/root 18668 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Show.glob -rw-r--r-- root/root 5708 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Show.v -rw-r--r-- root/root 46561 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/Show.vo -rw-r--r-- root/root 9016 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/With.glob -rw-r--r-- root/root 1693 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/With.v -rw-r--r-- root/root 21018 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Programming/With.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/ -rw-r--r-- root/root 2590 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/Facts.glob -rw-r--r-- root/root 439 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/Facts.v -rw-r--r-- root/root 3073 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/Facts.vo -rw-r--r-- root/root 6674 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/GenRec.glob -rw-r--r-- root/root 1233 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/GenRec.v -rw-r--r-- root/root 5934 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/GenRec.vo -rw-r--r-- root/root 3983 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/Measure.glob -rw-r--r-- root/root 1153 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/Measure.v -rw-r--r-- root/root 11459 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/Measure.vo -rw-r--r-- root/root 1498 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/Relation.glob -rw-r--r-- root/root 905 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/Relation.v -rw-r--r-- root/root 7247 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Recur/Relation.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Relations/ -rw-r--r-- root/root 1004 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Relations/Compose.glob -rw-r--r-- root/root 160 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Relations/Compose.v -rw-r--r-- root/root 2279 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Relations/Compose.vo -rw-r--r-- root/root 22179 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Relations/TransitiveClosure.glob -rw-r--r-- root/root 4487 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Relations/TransitiveClosure.v -rw-r--r-- root/root 28322 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Relations/TransitiveClosure.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/ -rw-r--r-- root/root 4050 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Applicative.glob -rw-r--r-- root/root 954 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Applicative.v -rw-r--r-- root/root 6200 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Applicative.vo -rw-r--r-- root/root 3900 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/BinOps.glob -rw-r--r-- root/root 683 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/BinOps.v -rw-r--r-- root/root 5698 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/BinOps.vo -rw-r--r-- root/root 2728 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/CoFunctor.glob -rw-r--r-- root/root 756 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/CoFunctor.v -rw-r--r-- root/root 6261 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/CoFunctor.vo -rw-r--r-- root/root 1671 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/CoMonad.glob -rw-r--r-- root/root 468 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/CoMonad.v -rw-r--r-- root/root 4856 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/CoMonad.vo -rw-r--r-- root/root 2159 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/CoMonadLaws.glob -rw-r--r-- root/root 594 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/CoMonadLaws.v -rw-r--r-- root/root 7578 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/CoMonadLaws.vo -rw-r--r-- root/root 4305 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/EqDep.glob -rw-r--r-- root/root 1243 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/EqDep.v -rw-r--r-- root/root 15260 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/EqDep.vo -rw-r--r-- root/root 6103 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Foldable.glob -rw-r--r-- root/root 1127 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Foldable.v -rw-r--r-- root/root 15273 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Foldable.vo -rw-r--r-- root/root 1393 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Functor.glob -rw-r--r-- root/root 427 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Functor.v -rw-r--r-- root/root 3893 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Functor.vo -rw-r--r-- root/root 1962 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/FunctorLaws.glob -rw-r--r-- root/root 439 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/FunctorLaws.v -rw-r--r-- root/root 7381 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/FunctorLaws.vo -rw-r--r-- root/root 11769 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Maps.glob -rw-r--r-- root/root 2634 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Maps.v -rw-r--r-- root/root 23037 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Maps.vo -rw-r--r-- root/root 10036 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Monad.glob -rw-r--r-- root/root 3082 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Monad.v -rw-r--r-- root/root 12210 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Monad.vo -rw-r--r-- root/root 971 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadCont.glob -rw-r--r-- root/root 206 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadCont.v -rw-r--r-- root/root 3617 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadCont.vo -rw-r--r-- root/root 1244 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadExc.glob -rw-r--r-- root/root 261 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadExc.v -rw-r--r-- root/root 4386 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadExc.vo -rw-r--r-- root/root 13694 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadFix.glob -rw-r--r-- root/root 1822 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadFix.v -rw-r--r-- root/root 12172 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadFix.vo -rw-r--r-- root/root 15205 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadLaws.glob -rw-r--r-- root/root 2624 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadLaws.v -rw-r--r-- root/root 38679 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadLaws.vo -rw-r--r-- root/root 2108 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadPlus.glob -rw-r--r-- root/root 498 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadPlus.v -rw-r--r-- root/root 5264 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadPlus.vo -rw-r--r-- root/root 4515 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadReader.glob -rw-r--r-- root/root 951 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadReader.v -rw-r--r-- root/root 5643 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadReader.vo -rw-r--r-- root/root 4752 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadState.glob -rw-r--r-- root/root 1027 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadState.v -rw-r--r-- root/root 6589 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadState.vo -rw-r--r-- root/root 570 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadTrans.glob -rw-r--r-- root/root 164 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadTrans.v -rw-r--r-- root/root 3517 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadTrans.vo -rw-r--r-- root/root 5359 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadWriter.glob -rw-r--r-- root/root 1165 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadWriter.v -rw-r--r-- root/root 7726 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadWriter.vo -rw-r--r-- root/root 1134 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadZero.glob -rw-r--r-- root/root 347 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadZero.v -rw-r--r-- root/root 4013 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/MonadZero.vo -rw-r--r-- root/root 531 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Monads.glob -rw-r--r-- root/root 439 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Monads.v -rw-r--r-- root/root 3562 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Monads.vo -rw-r--r-- root/root 1523 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Monoid.glob -rw-r--r-- root/root 510 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Monoid.v -rw-r--r-- root/root 6766 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Monoid.vo -rw-r--r-- root/root 7836 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Reducible.glob -rw-r--r-- root/root 2011 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Reducible.v -rw-r--r-- root/root 9401 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Reducible.vo -rw-r--r-- root/root 16641 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Sets.glob -rw-r--r-- root/root 2806 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Sets.v -rw-r--r-- root/root 37727 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Sets.vo -rw-r--r-- root/root 3169 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Traversable.glob -rw-r--r-- root/root 764 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Traversable.v -rw-r--r-- root/root 5072 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/Traversable.vo -rw-r--r-- root/root 260 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics.glob -rw-r--r-- root/root 194 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics.v -rw-r--r-- root/root 10817 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/ -rw-r--r-- root/root 4304 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/BoolTac.glob -rw-r--r-- root/root 1955 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/BoolTac.v -rw-r--r-- root/root 8669 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/BoolTac.vo -rw-r--r-- root/root 319 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Cases.glob -rw-r--r-- root/root 2767 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Cases.v -rw-r--r-- root/root 11131 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Cases.vo -rw-r--r-- root/root 15359 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Consider.glob -rw-r--r-- root/root 4492 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Consider.v -rw-r--r-- root/root 18694 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Consider.vo -rw-r--r-- root/root 4184 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/EqDep.glob -rw-r--r-- root/root 2619 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/EqDep.v -rw-r--r-- root/root 21780 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/EqDep.vo -rw-r--r-- root/root 97 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Equality.glob -rw-r--r-- root/root 319 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Equality.v -rw-r--r-- root/root 2629 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Equality.vo -rw-r--r-- root/root 1660 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Forward.glob -rw-r--r-- root/root 1357 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Forward.v -rw-r--r-- root/root 6097 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Forward.vo -rw-r--r-- root/root 468 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Hide.glob -rw-r--r-- root/root 704 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Hide.v -rw-r--r-- root/root 3363 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Hide.vo -rw-r--r-- root/root 832 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Injection.glob -rw-r--r-- root/root 911 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Injection.v -rw-r--r-- root/root 5007 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Injection.vo -rw-r--r-- root/root 152 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/MonadTac.glob -rw-r--r-- root/root 934 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/MonadTac.v -rw-r--r-- root/root 5656 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/MonadTac.vo -rw-r--r-- root/root 14775 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Parametric.glob -rw-r--r-- root/root 3795 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Parametric.v -rw-r--r-- root/root 25638 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Parametric.vo -rw-r--r-- root/root 2834 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Reify.glob -rw-r--r-- root/root 670 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Reify.v -rw-r--r-- root/root 15128 2023-12-23 01:28 ./usr/lib/ocaml/coq/user-contrib/ExtLib/Tactics/Reify.vo drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/share/ drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/share/doc/ drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/share/doc/libcoq-ext-lib/ -rw-r--r-- root/root 547 2023-12-23 01:28 ./usr/share/doc/libcoq-ext-lib/changelog.Debian.gz -rw-r--r-- root/root 1526 2023-12-21 14:24 ./usr/share/doc/libcoq-ext-lib/copyright drwxr-xr-x root/root 0 2023-12-23 01:28 ./usr/share/doc/libcoq-ext-lib/examples/ -rw-r--r-- root/root 739 2023-10-22 14:27 ./usr/share/doc/libcoq-ext-lib/examples/ConsiderDemo.v -rw-r--r-- root/root 2798 2023-10-22 14:27 ./usr/share/doc/libcoq-ext-lib/examples/EvalWithExc.v -rw-r--r-- root/root 1408 2023-10-22 14:27 ./usr/share/doc/libcoq-ext-lib/examples/MonadReasoning.v -rw-r--r-- root/root 624 2023-10-22 14:27 ./usr/share/doc/libcoq-ext-lib/examples/Notations.v -rw-r--r-- root/root 1205 2023-10-22 14:27 ./usr/share/doc/libcoq-ext-lib/examples/Printing.v -rw-r--r-- root/root 1593 2023-10-22 14:27 ./usr/share/doc/libcoq-ext-lib/examples/StateGame.v -rw-r--r-- root/root 418 2023-10-22 14:27 ./usr/share/doc/libcoq-ext-lib/examples/StateTMonad.v -rw-r--r-- root/root 852 2023-10-22 14:27 ./usr/share/doc/libcoq-ext-lib/examples/UsingSets.v -rw-r--r-- root/root 669 2023-10-22 14:27 ./usr/share/doc/libcoq-ext-lib/examples/WithDemo.v drwxr-xr-x root/root 0 2023-12-23 01:28 ./var/ drwxr-xr-x root/root 0 2023-12-23 01:28 ./var/lib/ drwxr-xr-x root/root 0 2023-12-23 01:28 ./var/lib/coq/ drwxr-xr-x root/root 0 2023-12-23 01:28 ./var/lib/coq/md5sums/ -rw-r--r-- root/root 5 2023-12-23 01:28 ./var/lib/coq/md5sums/libcoq-ext-lib.checksum +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not removing build depends: as requested +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: s390x Build Type: any Build-Space: 14944 Build-Time: 17 Distribution: noble-proposed Host Architecture: s390x Install-Time: 41 Job: coq-ext-lib_0.12.0-1build1.dsc Machine Architecture: s390x Package: coq-ext-lib Package-Time: 58 Source-Version: 0.12.0-1build1 Space: 14944 Status: successful Version: 0.12.0-1build1 -------------------------------------------------------------------------------- Finished at 2023-12-23T01:34:55Z Build needed 00:00:58, 14944k disk space RUN: /usr/share/launchpad-buildd/bin/in-target scan-for-processes --backend=chroot --series=noble --arch=s390x PACKAGEBUILD-27585493 Scanning for processes to kill in build PACKAGEBUILD-27585493