Running as unit: rb-build-amd64_27-75819.service; invocation ID: f71f72ac556e42c89102ad0745e36f1c ==================================================================================== Sun Nov 2 00:17:48 UTC 2025 - running /srv/jenkins/bin/reproducible_build.sh (for job reproducible_builder_amd64_27) on jenkins, called using "ionos11-amd64 ionos15-amd64" as arguments. Sun Nov 2 00:17:48 UTC 2025 - actually running "reproducible_build.sh" (md5sum bcb6fe1b50cf4e8eedacd0971a9eb63f) as "/tmp/jenkins-script-aO6cmO3G" $ git clone https://salsa.debian.org/qa/jenkins.debian.net.git ; more CONTRIBUTING Sun Nov 2 00:17:48 UTC 2025 - checking /var/lib/jenkins/offline_nodes if ionos11-amd64.debian.net is marked as down. Sun Nov 2 00:17:48 UTC 2025 - checking via ssh if ionos11-amd64.debian.net is up. removed '/tmp/read-only-fs-test-UPZPrT' Sun Nov 2 00:17:48 UTC 2025 - checking /var/lib/jenkins/offline_nodes if ionos15-amd64.debian.net is marked as down. Sun Nov 2 00:17:48 UTC 2025 - checking via ssh if ionos15-amd64.debian.net is up. removed '/tmp/read-only-fs-test-NOaADo' ok, let's check if ott is building anywhere yet… ok, ott is not building anywhere… UPDATE 1 ============================================================================= Initialising reproducibly build of ott in experimental on amd64 on jenkins now. 1st build will be done on ionos11-amd64.debian.net. 2nd build will be done on ionos15-amd64.debian.net. ============================================================================= Sun Nov 2 00:17:57 UTC 2025 I: starting to build ott/experimental/amd64 on jenkins on '2025-11-02 00:17' Sun Nov 2 00:17:57 UTC 2025 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/amd64_27/75819/console.log 1762042677 amd64 experimental ott Sun Nov 2 00:17:57 UTC 2025 I: Downloading source for experimental/ott=0.34+ds-2 --2025-11-02 00:17:57-- http://cdn-fastly.deb.debian.org/debian/pool/main/o/ott/ott_0.34%2bds-2.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2121 (2.1K) [text/prs.lines.tag] Saving to: ‘ott_0.34+ds-2.dsc’ 0K .. 100% 248M=0s 2025-11-02 00:17:57 (248 MB/s) - ‘ott_0.34+ds-2.dsc’ saved [2121/2121] --2025-11-02 00:17:57-- http://cdn-fastly.deb.debian.org/debian/pool/main/o/ott/ott_0.34%2bds-2.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2121 (2.1K) [text/prs.lines.tag] Saving to: ‘ott_0.34+ds-2.dsc’ 0K .. 100% 248M=0s 2025-11-02 00:17:57 (248 MB/s) - ‘ott_0.34+ds-2.dsc’ saved [2121/2121] Sun Nov 2 00:17:57 UTC 2025 I: ott_0.34+ds-2.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: ott Binary: libcoq-ott, ott-tools Architecture: any Version: 0.34+ds-2 Maintainer: Debian OCaml Maintainers Uploaders: Julien Puydt Homepage: https://github.com/ott-lang/ott Standards-Version: 4.7.2 Vcs-Browser: https://salsa.debian.org/ocaml-team/ott Vcs-Git: https://salsa.debian.org/ocaml-team/ott.git Testsuite: autopkgtest Testsuite-Triggers: coq Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, help2man, hevea, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, pandoc Package-List: libcoq-ott deb ocaml optional arch=any ott-tools deb ocaml optional arch=any Checksums-Sha1: 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz b2feeb6eb9c28aa26f4c6a13a4b22edbc6e9332f 7080 ott_0.34+ds-2.debian.tar.xz Checksums-Sha256: 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz 8e69349736e489b2cb4eec1da42494e3592c83189576c84252ab5090977e033f 7080 ott_0.34+ds-2.debian.tar.xz Files: 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz c78256d55fe6b76b4603389c306f3623 7080 ott_0.34+ds-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB1IcZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUT63EACYsdjQxDnA86pub1U2soSu 7KLZAQh76EhH1rNoFMw0/rK0GqisuwK6JBpszHcw5/YbRf1+R8mvHpHQcWHhSIfg K2HEEc+x9CnzfZWUAlvuaaB/y/aTIycLU/q2ywSnmcQI5WyEq2YEIn5aRYYmk3cs iNfJ1Rm4F82Iu/Ebxv/pJ1q9Dck4KTJeM9QjCAW/ohvXcEc32OoILXxX3W5ysxGP ZLL6N5dmcslE2SO10iiXVmDzm8ict4+PCkNcvQ9zW/iFV2gS106FZpQM6RKOGqN4 bfyy1gadLS2xHNrWuhhFIHgTRiFElcr65JVrDU7kkufmC+93+ir4si/ZgZ7xja7k YgF2Vh6KS0dzv4YK3mySH8JYkICDnWaVXhPTG76Tko/kM9v755UDJtEcAc/pmfGm WVKyF5qpWlOpBu0UUd39mVyu5e2ZwpAngKZPtWvKmJ4tAOPR1EXP3Kei0mqpzrG+ LhmX636IgV30E2pFwf+1hOVKU5EFxOOTY4gB5yrciHtpn+snhD1MjlocLLJx9nhl LUjD2cKPi8RnGLU91uUVT0CUeEZCx8S75ML9ail0Kn2QH88NqDwO+1pBuwmoaXqn 0hfRE2qLWDt9sY8H+1fP9uuGoo6eXpCI7X877D6558SVpv+Pzp7OYy7tKBi/cQKU TS1WmqCR0ScvXtKQX8TJVA== =AZ5J -----END PGP SIGNATURE----- Sun Nov 2 00:17:57 UTC 2025 I: Checking whether the package is not for us Sun Nov 2 00:17:57 UTC 2025 I: Starting 1st build on remote node ionos11-amd64.debian.net. Sun Nov 2 00:17:57 UTC 2025 I: Preparing to do remote build '1' on ionos11-amd64.debian.net. Sun Nov 2 00:17:57 UTC 2025 - checking /var/lib/jenkins/offline_nodes if ionos11-amd64.debian.net is marked as down. Sun Nov 2 00:17:57 UTC 2025 - checking via ssh if ionos11-amd64.debian.net is up. removed '/tmp/read-only-fs-test-2HX6n3' ==================================================================================== Sun Nov 2 00:17:58 UTC 2025 - running /srv/jenkins/bin/reproducible_build.sh (for job /srv/jenkins/bin/reproducible_build.sh) on ionos11-amd64, called using "1 ott experimental /srv/reproducible-results/rbuild-debian/r-b-build.q9T15aB8 0.34+ds-2" as arguments. Sun Nov 2 00:17:58 UTC 2025 - actually running "reproducible_build.sh" (md5sum bcb6fe1b50cf4e8eedacd0971a9eb63f) as "/tmp/jenkins-script-FuG4IaTu" $ git clone https://salsa.debian.org/qa/jenkins.debian.net.git ; more CONTRIBUTING Sun Nov 2 00:17:58 UTC 2025 I: Downloading source for experimental/ott=0.34+ds-2 Reading package lists... NOTICE: 'ott' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/ott.git Please use: git clone https://salsa.debian.org/ocaml-team/ott.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 1151 kB of source archives. Get:1 http://cdn-fastly.deb.debian.org/debian experimental/main ott 0.34+ds-2 (dsc) [2121 B] Get:2 http://cdn-fastly.deb.debian.org/debian experimental/main ott 0.34+ds-2 (tar) [1142 kB] Get:3 http://cdn-fastly.deb.debian.org/debian experimental/main ott 0.34+ds-2 (diff) [7080 B] Fetched 1151 kB in 0s (29.4 MB/s) Download complete and in download only mode Reading package lists... NOTICE: 'ott' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/ott.git Please use: git clone https://salsa.debian.org/ocaml-team/ott.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 1151 kB of source archives. Get:1 http://cdn-fastly.deb.debian.org/debian experimental/main ott 0.34+ds-2 (dsc) [2121 B] Get:2 http://cdn-fastly.deb.debian.org/debian experimental/main ott 0.34+ds-2 (tar) [1142 kB] Get:3 http://cdn-fastly.deb.debian.org/debian experimental/main ott 0.34+ds-2 (diff) [7080 B] Fetched 1151 kB in 0s (29.4 MB/s) Download complete and in download only mode ============================================================================= Building ott in experimental on amd64 on ionos11-amd64 now. Date: Sun Nov 2 00:17:58 UTC 2025 Date UTC: Sun Nov 2 00:17:58 UTC 2025 ============================================================================= W: /root/.pbuilderrc does not exist I: Logging to b1/build.log I: pbuilder: network access will be disabled during build I: Current time: Sat Nov 1 12:17:58 -12 2025 I: pbuilder-time-stamp: 1762042678 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/experimental-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [ott_0.34+ds-2.dsc] I: copying [./ott_0.34+ds.orig.tar.xz] I: copying [./ott_0.34+ds-2.debian.tar.xz] I: Extracting source dpkg-source: warning: cannot verify inline signature for ./ott_0.34+ds-2.dsc: no acceptable signature found dpkg-source: info: extracting ott in ott-0.34+ds dpkg-source: info: unpacking ott_0.34+ds.orig.tar.xz dpkg-source: info: unpacking ott_0.34+ds-2.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying typos.patch I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/2254609/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build/reproducible-path' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='amd64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=40 ' DISTRIBUTION='experimental' HOME='/root' HOST_ARCH='amd64' IFS=' ' INVOCATION_ID='288cd24e268344069b0f923e414cd9a6' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='2254609' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.q9T15aB8/pbuilderrc_vohg --distribution experimental --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/experimental-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.q9T15aB8/b1 --logfile b1/build.log ott_0.34+ds-2.dsc' SUDO_GID='111' SUDO_HOME='/var/lib/jenkins' SUDO_UID='106' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://46.16.76.132:3128' I: uname -a Linux ionos11-amd64 6.12.48+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.48-1 (2025-09-20) x86_64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Aug 10 12:30 /bin -> usr/bin I: user script /srv/workspace/pbuilder/2254609/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: amd64 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, help2man, hevea, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, pandoc dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19866 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on coq; however: Package coq is not installed. pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on dh-coq; however: Package dh-coq is not installed. pbuilder-satisfydepends-dummy depends on dh-ocaml; however: Package dh-ocaml is not installed. pbuilder-satisfydepends-dummy depends on help2man; however: Package help2man is not installed. pbuilder-satisfydepends-dummy depends on hevea; however: Package hevea is not installed. pbuilder-satisfydepends-dummy depends on libcoq-core-ocaml-dev; however: Package libcoq-core-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libcoq-stdlib; however: Package libcoq-stdlib is not installed. pbuilder-satisfydepends-dummy depends on libocamlgraph-ocaml-dev; however: Package libocamlgraph-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on pandoc; however: Package pandoc is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-coq{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} fontconfig-config{a} fonts-urw-base35{a} gettext{a} gettext-base{a} ghostscript{a} groff-base{a} help2man{a} hevea{a} hicolor-icon-theme{a} imagemagick{a} imagemagick-7-common{a} imagemagick-7.q16{a} intltool-debian{a} libarchive-zip-perl{a} libavahi-client3{a} libavahi-common-data{a} libavahi-common3{a} libbrotli1{a} libcairo2{a} libcom-err2{a} libconfig-tiny-perl{a} libcoq-stdlib{a} libcups2t64{a} libdav1d7{a} libdbus-1-3{a} libde265-0{a} libdebhelper-perl{a} libdeflate0{a} libelf1t64{a} libexpat1{a} libffi8{a} libfftw3-double3{a} libfile-stripnondeterminism-perl{a} libfontconfig1{a} libfontenc1{a} libfreetype6{a} libglib2.0-0t64{a} libgnutls30t64{a} libgraphite2-3{a} libgs-common{a} libgs10{a} libgs10-common{a} libgssapi-krb5-2{a} libharfbuzz0b{a} libheif-plugin-dav1d{a} libheif-plugin-libde265{a} libheif1{a} libice6{a} libicu76{a} libidn12{a} libidn2-0{a} libijs-0.35{a} libjbig0{a} libjbig2dec0{a} libjpeg62-turbo{a} libk5crypto3{a} libkeyutils1{a} libkpathsea6{a} libkrb5-3{a} libkrb5support0{a} liblcms2-2{a} liblerc4{a} liblocale-gettext-perl{a} liblqr-1-0{a} libltdl7{a} liblua5.4-0{a} libmagic-mgc{a} libmagic1t64{a} libmagickcore-7.q16-10{a} libmagickwand-7.q16-10{a} libmpfi0{a} libnetpbm11t64{a} libnuma1{a} libopenjp2-7{a} libp11-kit0{a} libpaper-utils{a} libpaper2{a} libpipeline1{a} libpixman-1-0{a} libpng16-16t64{a} libpotrace0{a} libproc2-0{a} libptexenc1{a} libraw23t64{a} libsharpyuv0{a} libsm6{a} libsynctex2{a} libtasn1-6{a} libteckit0{a} libtexlua53-5{a} libtext-charwidth-perl{a} libtext-wrapi18n-perl{a} libtiff6{a} libtool{a} libuchardet0{a} libunistring5{a} libwebp7{a} libwebpdemux2{a} libwebpmux3{a} libx11-6{a} libx11-data{a} libxau6{a} libxaw7{a} libxcb-render0{a} libxcb-shm0{a} libxcb1{a} libxdmcp6{a} libxext6{a} libxi6{a} libxml2-16{a} libxmu6{a} libxpm4{a} libxrender1{a} libxt6t64{a} libyaml-0-2{a} libzzip-0-13t64{a} m4{a} man-db{a} netpbm{a} pandoc{a} pandoc-data{a} po-debconf{a} poppler-data{a} procps{a} sensible-utils{a} t1utils{a} tex-common{a} texlive-base{a} texlive-binaries{a} ucf{a} x11-common{a} xdg-utils{a} xfonts-encodings{a} xfonts-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl dbus dvisvgm fonts-droid-fallback krb5-locales libarchive-cpio-perl libfile-mimeinfo-perl libglib2.0-data libheif-plugin-aomenc libheif-plugin-x265 libltdl-dev libmagickcore-7.q16-10-extra libmail-sendmail-perl libnet-dbus-perl libx11-protocol-perl linux-sysctl-defaults lmodern lynx ocaml psmisc shared-mime-info wget x11-utils x11-xserver-utils xdg-user-dirs 0 packages upgraded, 146 newly installed, 0 to remove and 0 not upgraded. Need to get 144 MB of archives. After unpacking 659 MB will be used. The following packages have unmet dependencies: pbuilder-satisfydepends-dummy : Depends: coq but it is not installable Depends: libcoq-core-ocaml-dev but it is not installable Depends: libocamlgraph-ocaml-dev but it is not installable The following actions will resolve these dependencies: Install the following packages: 1) coq [9.1.0+dfsg-2 (experimental)] 2) libcompiler-libs-ocaml-dev [5.3.0-3 (unstable)] 3) libcoq-core [9.1.0+dfsg-2 (experimental)] 4) libcoq-core-ocaml [9.1.0+dfsg-2 (experimental)] 5) libcoq-core-ocaml-dev [9.1.0+dfsg-2 (experimental)] 6) libfindlib-ocaml [1.9.8-1+b1 (unstable)] 7) libfindlib-ocaml-dev [1.9.8-1+b1 (unstable)] 8) libgmp-dev [2:6.3.0+dfsg-5 (unstable)] 9) libgmp3-dev [2:6.3.0+dfsg-5 (unstable)] 10) libgmpxx4ldbl [2:6.3.0+dfsg-5 (unstable)] 11) libncurses-dev [6.5+20250216-2 (unstable)] 12) libncurses6 [6.5+20250216-2 (unstable)] 13) libocamlgraph-ocaml-dev [2.2.0-2 (unstable)] 14) libpython3-stdlib [3.13.7-1 (unstable)] 15) libpython3.13-minimal [3.13.9-1 (unstable)] 16) libpython3.13-stdlib [3.13.9-1 (unstable)] 17) libreadline8t64 [8.3-3 (unstable)] 18) libstdlib-ocaml [5.3.0-3 (unstable)] 19) libstdlib-ocaml-dev [5.3.0-3 (unstable)] 20) libzarith-ocaml [1.14-1+b2 (unstable)] 21) libzarith-ocaml-dev [1.14-1+b2 (unstable)] 22) libzstd-dev [1.5.7+dfsg-2 (unstable)] 23) media-types [14.0.0 (unstable)] 24) netbase [6.5 (unstable)] 25) ocaml [5.3.0-3 (unstable)] 26) ocaml-base [5.3.0-3 (unstable)] 27) ocaml-findlib [1.9.8-1+b1 (unstable)] 28) ocaml-interp [5.3.0-3 (unstable)] 29) python3 [3.13.7-1 (unstable)] 30) python3-minimal [3.13.7-1 (unstable)] 31) python3.13 [3.13.9-1 (unstable)] 32) python3.13-minimal [3.13.9-1 (unstable)] 33) readline-common [8.3-3 (unstable)] 34) tzdata [2025b-5 (unstable)] The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} coq{a} debhelper{a} dh-autoreconf{a} dh-coq{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} fontconfig-config{a} fonts-urw-base35{a} gettext{a} gettext-base{a} ghostscript{a} groff-base{a} help2man{a} hevea{a} hicolor-icon-theme{a} imagemagick{a} imagemagick-7-common{a} imagemagick-7.q16{a} intltool-debian{a} libarchive-zip-perl{a} libavahi-client3{a} libavahi-common-data{a} libavahi-common3{a} libbrotli1{a} libcairo2{a} libcom-err2{a} libcompiler-libs-ocaml-dev{a} libconfig-tiny-perl{a} libcoq-core{a} libcoq-core-ocaml{a} libcoq-core-ocaml-dev{a} libcoq-stdlib{a} libcups2t64{a} libdav1d7{a} libdbus-1-3{a} libde265-0{a} libdebhelper-perl{a} libdeflate0{a} libelf1t64{a} libexpat1{a} libffi8{a} libfftw3-double3{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfindlib-ocaml-dev{a} libfontconfig1{a} libfontenc1{a} libfreetype6{a} libglib2.0-0t64{a} libgmp-dev{a} libgmp3-dev{a} libgmpxx4ldbl{a} libgnutls30t64{a} libgraphite2-3{a} libgs-common{a} libgs10{a} libgs10-common{a} libgssapi-krb5-2{a} libharfbuzz0b{a} libheif-plugin-dav1d{a} libheif-plugin-libde265{a} libheif1{a} libice6{a} libicu76{a} libidn12{a} libidn2-0{a} libijs-0.35{a} libjbig0{a} libjbig2dec0{a} libjpeg62-turbo{a} libk5crypto3{a} libkeyutils1{a} libkpathsea6{a} libkrb5-3{a} libkrb5support0{a} liblcms2-2{a} liblerc4{a} liblocale-gettext-perl{a} liblqr-1-0{a} libltdl7{a} liblua5.4-0{a} libmagic-mgc{a} libmagic1t64{a} libmagickcore-7.q16-10{a} libmagickwand-7.q16-10{a} libmpfi0{a} libncurses-dev{a} libncurses6{a} libnetpbm11t64{a} libnuma1{a} libocamlgraph-ocaml-dev{a} libopenjp2-7{a} libp11-kit0{a} libpaper-utils{a} libpaper2{a} libpipeline1{a} libpixman-1-0{a} libpng16-16t64{a} libpotrace0{a} libproc2-0{a} libptexenc1{a} libpython3-stdlib{a} libpython3.13-minimal{a} libpython3.13-stdlib{a} libraw23t64{a} libreadline8t64{a} libsharpyuv0{a} libsm6{a} libstdlib-ocaml{a} libstdlib-ocaml-dev{a} libsynctex2{a} libtasn1-6{a} libteckit0{a} libtexlua53-5{a} libtext-charwidth-perl{a} libtext-wrapi18n-perl{a} libtiff6{a} libtool{a} libuchardet0{a} libunistring5{a} libwebp7{a} libwebpdemux2{a} libwebpmux3{a} libx11-6{a} libx11-data{a} libxau6{a} libxaw7{a} libxcb-render0{a} libxcb-shm0{a} libxcb1{a} libxdmcp6{a} libxext6{a} libxi6{a} libxml2-16{a} libxmu6{a} libxpm4{a} libxrender1{a} libxt6t64{a} libyaml-0-2{a} libzarith-ocaml{a} libzarith-ocaml-dev{a} libzstd-dev{a} libzzip-0-13t64{a} m4{a} man-db{a} media-types{a} netbase{a} netpbm{a} ocaml{a} ocaml-base{a} ocaml-findlib{a} ocaml-interp{a} pandoc{a} pandoc-data{a} po-debconf{a} poppler-data{a} procps{a} python3{a} python3-minimal{a} python3.13{a} python3.13-minimal{a} readline-common{a} sensible-utils{a} t1utils{a} tex-common{a} texlive-base{a} texlive-binaries{a} tzdata{a} ucf{a} x11-common{a} xdg-utils{a} xfonts-encodings{a} xfonts-utils{a} The following packages are RECOMMENDED but will NOT be installed: ca-certificates curl dbus dvisvgm fonts-droid-fallback krb5-locales ledit libarchive-cpio-perl libfile-mimeinfo-perl libglib2.0-data libgpm2 libheif-plugin-aomenc libheif-plugin-x265 libltdl-dev libmagickcore-7.q16-10-extra libmail-sendmail-perl libnet-dbus-perl libx11-protocol-perl linux-sysctl-defaults lmodern lynx ocaml-man psmisc rlfe rlwrap shared-mime-info wget x11-utils x11-xserver-utils xdg-user-dirs 0 packages upgraded, 180 newly installed, 0 to remove and 0 not upgraded. Need to get 382 MB of archives. After unpacking 1320 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main amd64 libexpat1 amd64 2.7.3-1 [112 kB] Get: 2 http://deb.debian.org/debian unstable/main amd64 liblocale-gettext-perl amd64 1.07-7+b1 [15.3 kB] Get: 3 http://deb.debian.org/debian unstable/main amd64 libfftw3-double3 amd64 3.3.10-2+b1 [781 kB] Get: 4 http://deb.debian.org/debian unstable/main amd64 libbrotli1 amd64 1.1.0-2+b7 [307 kB] Get: 5 http://deb.debian.org/debian unstable/main amd64 libpng16-16t64 amd64 1.6.50-1 [282 kB] Get: 6 http://deb.debian.org/debian unstable/main amd64 libfreetype6 amd64 2.13.3+dfsg-1 [452 kB] Get: 7 http://deb.debian.org/debian unstable/main amd64 libfontenc1 amd64 1:1.1.8-1+b2 [23.3 kB] Get: 8 http://deb.debian.org/debian unstable/main amd64 x11-common all 1:7.7+26 [217 kB] Get: 9 http://deb.debian.org/debian unstable/main amd64 xfonts-encodings all 1:1.0.4-2.2 [577 kB] Get: 10 http://deb.debian.org/debian unstable/main amd64 xfonts-utils amd64 1:7.7+7 [93.3 kB] Get: 11 http://deb.debian.org/debian unstable/main amd64 fonts-urw-base35 all 20200910-8 [10.8 MB] Get: 12 http://deb.debian.org/debian unstable/main amd64 fontconfig-config amd64 2.15.0-2.4 [318 kB] Get: 13 http://deb.debian.org/debian unstable/main amd64 libfontconfig1 amd64 2.15.0-2.4 [401 kB] Get: 14 http://deb.debian.org/debian unstable/main amd64 libsharpyuv0 amd64 1.5.0-0.1 [116 kB] Get: 15 http://deb.debian.org/debian unstable/main amd64 libdav1d7 amd64 1.5.1-1 [559 kB] Get: 16 http://deb.debian.org/debian unstable/main amd64 libheif-plugin-dav1d amd64 1.20.2-2+b1 [19.1 kB] Get: 17 http://deb.debian.org/debian unstable/main amd64 libde265-0 amd64 1.0.16-1 [189 kB] Get: 18 http://deb.debian.org/debian unstable/main amd64 libheif-plugin-libde265 amd64 1.20.2-2+b1 [17.7 kB] Get: 19 http://deb.debian.org/debian unstable/main amd64 libheif1 amd64 1.20.2-2+b1 [601 kB] Get: 20 http://deb.debian.org/debian unstable/main amd64 libjbig0 amd64 2.1-6.1+b2 [32.1 kB] Get: 21 http://deb.debian.org/debian unstable/main amd64 libjpeg62-turbo amd64 1:2.1.5-4 [168 kB] Get: 22 http://deb.debian.org/debian unstable/main amd64 liblcms2-2 amd64 2.16-2 [160 kB] Get: 23 http://deb.debian.org/debian unstable/main amd64 libffi8 amd64 3.5.2-2 [25.5 kB] Get: 24 http://deb.debian.org/debian unstable/main amd64 libglib2.0-0t64 amd64 2.86.1-1 [1546 kB] Get: 25 http://deb.debian.org/debian unstable/main amd64 liblqr-1-0 amd64 0.4.2-2.1+b2 [29.5 kB] Get: 26 http://deb.debian.org/debian unstable/main amd64 libltdl7 amd64 2.5.4-7 [416 kB] Get: 27 http://deb.debian.org/debian unstable/main amd64 libopenjp2-7 amd64 2.5.3-2.1 [204 kB] Get: 28 http://deb.debian.org/debian unstable/main amd64 libraw23t64 amd64 0.21.4-2 [390 kB] Get: 29 http://deb.debian.org/debian unstable/main amd64 libdeflate0 amd64 1.23-2 [47.3 kB] Get: 30 http://deb.debian.org/debian unstable/main amd64 liblerc4 amd64 4.0.0+ds-5 [183 kB] Get: 31 http://deb.debian.org/debian unstable/main amd64 libwebp7 amd64 1.5.0-0.1 [318 kB] Get: 32 http://deb.debian.org/debian unstable/main amd64 libtiff6 amd64 4.7.1-1 [361 kB] Get: 33 http://deb.debian.org/debian unstable/main amd64 libwebpdemux2 amd64 1.5.0-0.1 [113 kB] Get: 34 http://deb.debian.org/debian unstable/main amd64 libwebpmux3 amd64 1.5.0-0.1 [126 kB] Get: 35 http://deb.debian.org/debian unstable/main amd64 libxau6 amd64 1:1.0.11-1 [20.4 kB] Get: 36 http://deb.debian.org/debian unstable/main amd64 libxdmcp6 amd64 1:1.1.5-1 [27.8 kB] Get: 37 http://deb.debian.org/debian unstable/main amd64 libxcb1 amd64 1.17.0-2+b1 [144 kB] Get: 38 http://deb.debian.org/debian unstable/main amd64 libx11-data all 2:1.8.12-1 [343 kB] Get: 39 http://deb.debian.org/debian unstable/main amd64 libx11-6 amd64 2:1.8.12-1 [815 kB] Get: 40 http://deb.debian.org/debian unstable/main amd64 libxext6 amd64 2:1.3.4-1+b3 [50.4 kB] Get: 41 http://deb.debian.org/debian unstable/main amd64 libxml2-16 amd64 2.15.1+dfsg-0.3 [640 kB] Get: 42 http://deb.debian.org/debian unstable/main amd64 imagemagick-7-common all 8:7.1.2.8+dfsg1-1 [69.3 kB] Get: 43 http://deb.debian.org/debian unstable/main amd64 libmagickcore-7.q16-10 amd64 8:7.1.2.8+dfsg1-1 [1848 kB] Get: 44 http://deb.debian.org/debian unstable/main amd64 libmagickwand-7.q16-10 amd64 8:7.1.2.8+dfsg1-1 [342 kB] Get: 45 http://deb.debian.org/debian unstable/main amd64 poppler-data all 0.4.12-1 [1601 kB] Get: 46 http://deb.debian.org/debian unstable/main amd64 libpython3.13-minimal amd64 3.13.9-1 [865 kB] Get: 47 http://deb.debian.org/debian unstable/main amd64 python3.13-minimal amd64 3.13.9-1 [2257 kB] Get: 48 http://deb.debian.org/debian unstable/main amd64 python3-minimal amd64 3.13.7-1 [27.2 kB] Get: 49 http://deb.debian.org/debian unstable/main amd64 media-types all 14.0.0 [30.8 kB] Get: 50 http://deb.debian.org/debian unstable/main amd64 netbase all 6.5 [12.4 kB] Get: 51 http://deb.debian.org/debian unstable/main amd64 tzdata all 2025b-5 [260 kB] Get: 52 http://deb.debian.org/debian unstable/main amd64 readline-common all 8.3-3 [74.8 kB] Get: 53 http://deb.debian.org/debian unstable/main amd64 libreadline8t64 amd64 8.3-3 [191 kB] Get: 54 http://deb.debian.org/debian unstable/main amd64 libpython3.13-stdlib amd64 3.13.9-1 [1965 kB] Get: 55 http://deb.debian.org/debian unstable/main amd64 python3.13 amd64 3.13.9-1 [764 kB] Get: 56 http://deb.debian.org/debian unstable/main amd64 libpython3-stdlib amd64 3.13.7-1 [10.2 kB] Get: 57 http://deb.debian.org/debian unstable/main amd64 python3 amd64 3.13.7-1 [28.3 kB] Get: 58 http://deb.debian.org/debian unstable/main amd64 libproc2-0 amd64 2:4.0.4-9 [65.6 kB] Get: 59 http://deb.debian.org/debian unstable/main amd64 procps amd64 2:4.0.4-9 [882 kB] Get: 60 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB] Get: 61 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.46-5 [338 kB] Get: 62 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.46-5 [109 kB] Get: 63 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.46-5 [43.6 kB] Get: 64 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.23.1-2+b1 [244 kB] Get: 65 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2 [68.5 kB] Get: 66 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-9 [1187 kB] Get: 67 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.41.2-4 [98.5 kB] Get: 68 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get: 69 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get: 70 http://deb.debian.org/debian unstable/main amd64 libtext-charwidth-perl amd64 0.04-11+b4 [9476 B] Get: 71 http://deb.debian.org/debian unstable/main amd64 libtext-wrapi18n-perl all 0.06-10 [8808 B] Get: 72 http://deb.debian.org/debian unstable/main amd64 ucf all 3.0052 [43.3 kB] Get: 73 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.20-2 [325 kB] Get: 74 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB] Get: 75 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB] Get: 76 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.18.1-2 [877 kB] Get: 77 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.23.1-2 [770 kB] Get: 78 http://deb.debian.org/debian experimental/main amd64 libcoq-core amd64 9.1.0+dfsg-2 [1138 kB] Get: 79 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml amd64 5.3.0-3 [605 kB] Get: 80 http://deb.debian.org/debian unstable/main amd64 ocaml-base amd64 5.3.0-3 [495 kB] Get: 81 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml amd64 1.9.8-1+b1 [214 kB] Get: 82 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml amd64 1.14-1+b2 [117 kB] Get: 83 http://deb.debian.org/debian experimental/main amd64 libcoq-core-ocaml amd64 9.1.0+dfsg-2 [26.8 MB] Get: 84 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml-dev amd64 5.3.0-3 [7886 kB] Get: 85 http://deb.debian.org/debian unstable/main amd64 libcompiler-libs-ocaml-dev amd64 5.3.0-3 [48.2 MB] Get: 86 http://deb.debian.org/debian unstable/main amd64 ocaml-interp amd64 5.3.0-3 [7104 kB] Get: 87 http://deb.debian.org/debian unstable/main amd64 libncurses6 amd64 6.5+20250216-2 [105 kB] Get: 88 http://deb.debian.org/debian unstable/main amd64 libncurses-dev amd64 6.5+20250216-2 [353 kB] Get: 89 http://deb.debian.org/debian unstable/main amd64 libzstd-dev amd64 1.5.7+dfsg-2 [375 kB] Get: 90 http://deb.debian.org/debian unstable/main amd64 ocaml amd64 5.3.0-3 [18.0 MB] Get: 91 http://deb.debian.org/debian unstable/main amd64 ocaml-findlib amd64 1.9.8-1+b1 [584 kB] Get: 92 http://deb.debian.org/debian experimental/main amd64 coq amd64 9.1.0+dfsg-2 [39.6 MB] Get: 93 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.28 [92.4 kB] Get: 94 http://deb.debian.org/debian unstable/main amd64 libtool all 2.5.4-7 [540 kB] Get: 95 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 21 [12.2 kB] Get: 96 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 97 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.0-1 [19.9 kB] Get: 98 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.0-1 [8812 B] Get: 99 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.194-1 [185 kB] Get: 100 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.16-2 [108 kB] Get: 101 http://deb.debian.org/debian unstable/main amd64 libunistring5 amd64 1.3-2 [477 kB] Get: 102 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.23.1-2+b1 [1680 kB] Get: 103 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 104 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 105 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.28 [941 kB] Get: 106 http://deb.debian.org/debian unstable/main amd64 dh-coq all 0.14 [6956 B] Get: 107 http://deb.debian.org/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get: 108 http://deb.debian.org/debian unstable/main amd64 dh-ocaml all 2.4 [62.9 kB] Get: 109 http://deb.debian.org/debian unstable/main amd64 libgs-common all 10.06.0~dfsg-3 [149 kB] Get: 110 http://deb.debian.org/debian unstable/main amd64 libgs10-common all 10.06.0~dfsg-3 [479 kB] Get: 111 http://deb.debian.org/debian unstable/main amd64 libavahi-common-data amd64 0.8-17 [112 kB] Get: 112 http://deb.debian.org/debian unstable/main amd64 libavahi-common3 amd64 0.8-17 [47.3 kB] Get: 113 http://deb.debian.org/debian unstable/main amd64 libdbus-1-3 amd64 1.16.2-2 [178 kB] Get: 114 http://deb.debian.org/debian unstable/main amd64 libavahi-client3 amd64 0.8-17 [52.1 kB] Get: 115 http://deb.debian.org/debian unstable/main amd64 libidn2-0 amd64 2.3.8-4 [110 kB] Get: 116 http://deb.debian.org/debian unstable/main amd64 libp11-kit0 amd64 0.25.9-2 [443 kB] Get: 117 http://deb.debian.org/debian unstable/main amd64 libtasn1-6 amd64 4.20.0-2 [49.9 kB] Get: 118 http://deb.debian.org/debian unstable/main amd64 libgnutls30t64 amd64 3.8.10-3 [1493 kB] Get: 119 http://deb.debian.org/debian unstable/main amd64 libkrb5support0 amd64 1.21.3-5 [33.0 kB] Get: 120 http://deb.debian.org/debian unstable/main amd64 libcom-err2 amd64 1.47.2-3+b3 [25.0 kB] Get: 121 http://deb.debian.org/debian unstable/main amd64 libk5crypto3 amd64 1.21.3-5 [81.5 kB] Get: 122 http://deb.debian.org/debian unstable/main amd64 libkeyutils1 amd64 1.6.3-6 [9456 B] Get: 123 http://deb.debian.org/debian unstable/main amd64 libkrb5-3 amd64 1.21.3-5 [326 kB] Get: 124 http://deb.debian.org/debian unstable/main amd64 libgssapi-krb5-2 amd64 1.21.3-5 [138 kB] Get: 125 http://deb.debian.org/debian unstable/main amd64 libcups2t64 amd64 2.4.14-1 [255 kB] Get: 126 http://deb.debian.org/debian unstable/main amd64 libidn12 amd64 1.43-2 [48.3 kB] Get: 127 http://deb.debian.org/debian unstable/main amd64 libijs-0.35 amd64 0.35-16 [16.0 kB] Get: 128 http://deb.debian.org/debian unstable/main amd64 libjbig2dec0 amd64 0.20-1+b3 [65.1 kB] Get: 129 http://deb.debian.org/debian unstable/main amd64 libpaper2 amd64 2.2.5-0.3+b2 [16.7 kB] Get: 130 http://deb.debian.org/debian unstable/main amd64 libice6 amd64 2:1.1.1-1 [65.4 kB] Get: 131 http://deb.debian.org/debian unstable/main amd64 libsm6 amd64 2:1.2.6-1 [37.3 kB] Get: 132 http://deb.debian.org/debian unstable/main amd64 libxt6t64 amd64 1:1.2.1-1.3 [208 kB] Get: 133 http://deb.debian.org/debian unstable/main amd64 libgs10 amd64 10.06.0~dfsg-3 [2909 kB] Get: 134 http://deb.debian.org/debian unstable/main amd64 ghostscript amd64 10.06.0~dfsg-3 [50.6 kB] Get: 135 http://deb.debian.org/debian unstable/main amd64 help2man amd64 1.49.3 [198 kB] Get: 136 http://deb.debian.org/debian unstable/main amd64 libnetpbm11t64 amd64 2:11.12.00-1 [186 kB] Get: 137 http://deb.debian.org/debian unstable/main amd64 netpbm amd64 2:11.12.00-1 [2088 kB] Get: 138 http://deb.debian.org/debian unstable/main amd64 tex-common all 6.19 [29.4 kB] Get: 139 http://deb.debian.org/debian unstable/main amd64 libpaper-utils amd64 2.2.5-0.3+b2 [16.5 kB] Get: 140 http://deb.debian.org/debian unstable/main amd64 libkpathsea6 amd64 2025.20250727.75242+ds-4 [154 kB] Get: 141 http://deb.debian.org/debian unstable/main amd64 libptexenc1 amd64 2025.20250727.75242+ds-4 [50.5 kB] Get: 142 http://deb.debian.org/debian unstable/main amd64 libsynctex2 amd64 2025.20250727.75242+ds-4 [58.2 kB] Get: 143 http://deb.debian.org/debian unstable/main amd64 libtexlua53-5 amd64 2025.20250727.75242+ds-4 [99.4 kB] Get: 144 http://deb.debian.org/debian unstable/main amd64 t1utils amd64 1.41-4 [62.1 kB] Get: 145 http://deb.debian.org/debian unstable/main amd64 libpixman-1-0 amd64 0.46.4-1 [259 kB] Get: 146 http://deb.debian.org/debian unstable/main amd64 libxcb-render0 amd64 1.17.0-2+b1 [115 kB] Get: 147 http://deb.debian.org/debian unstable/main amd64 libxcb-shm0 amd64 1.17.0-2+b1 [105 kB] Get: 148 http://deb.debian.org/debian unstable/main amd64 libxrender1 amd64 1:0.9.12-1 [27.9 kB] Get: 149 http://deb.debian.org/debian unstable/main amd64 libcairo2 amd64 1.18.4-1+b1 [538 kB] Get: 150 http://deb.debian.org/debian unstable/main amd64 libgraphite2-3 amd64 1.3.14-11 [76.7 kB] Get: 151 http://deb.debian.org/debian unstable/main amd64 libharfbuzz0b amd64 12.1.0-1 [530 kB] Get: 152 http://deb.debian.org/debian unstable/main amd64 libicu76 amd64 76.1-4 [9722 kB] Get: 153 http://deb.debian.org/debian unstable/main amd64 libmpfi0 amd64 1.5.4+ds-4 [35.5 kB] Get: 154 http://deb.debian.org/debian unstable/main amd64 libpotrace0 amd64 1.16-2+b2 [25.6 kB] Get: 155 http://deb.debian.org/debian unstable/main amd64 libteckit0 amd64 2.5.12+ds1-1+b1 [341 kB] Get: 156 http://deb.debian.org/debian unstable/main amd64 libxmu6 amd64 2:1.1.3-3+b4 [59.0 kB] Get: 157 http://deb.debian.org/debian unstable/main amd64 libxpm4 amd64 1:3.5.17-1+b3 [56.2 kB] Get: 158 http://deb.debian.org/debian unstable/main amd64 libxaw7 amd64 2:1.0.16-1 [212 kB] Get: 159 http://deb.debian.org/debian unstable/main amd64 libxi6 amd64 2:1.8.2-1 [78.9 kB] Get: 160 http://deb.debian.org/debian unstable/main amd64 libzzip-0-13t64 amd64 0.13.78+dfsg.1-0.2 [59.2 kB] Get: 161 http://deb.debian.org/debian unstable/main amd64 texlive-binaries amd64 2025.20250727.75242+ds-4 [7261 kB] Get: 162 http://deb.debian.org/debian unstable/main amd64 xdg-utils all 1.2.1-2 [75.8 kB] Get: 163 http://deb.debian.org/debian unstable/main amd64 texlive-base all 2025.20250927-4 [23.1 MB] Get: 164 http://deb.debian.org/debian unstable/main amd64 hicolor-icon-theme all 0.18-2 [11.8 kB] Get: 165 http://deb.debian.org/debian unstable/main amd64 imagemagick-7.q16 amd64 8:7.1.2.8+dfsg1-1 [728 kB] Get: 166 http://deb.debian.org/debian unstable/main amd64 imagemagick amd64 8:7.1.2.8+dfsg1-1 [21.8 kB] Get: 167 http://deb.debian.org/debian unstable/main amd64 hevea amd64 2.36-2+b4 [2079 kB] Get: 168 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1+b1 [179 kB] Get: 169 http://deb.debian.org/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5 [330 kB] Get: 170 http://deb.debian.org/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5 [658 kB] Get: 171 http://deb.debian.org/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-5 [322 kB] Get: 172 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml-dev amd64 1.14-1+b2 [143 kB] Get: 173 http://deb.debian.org/debian experimental/main amd64 libcoq-core-ocaml-dev amd64 9.1.0+dfsg-2 [71.0 MB] Get: 174 http://deb.debian.org/debian unstable/main amd64 libcoq-stdlib amd64 8.20.1+dfsg-1+b1 [23.5 MB] Get: 175 http://deb.debian.org/debian unstable/main amd64 liblua5.4-0 amd64 5.4.8-1 [146 kB] Get: 176 http://deb.debian.org/debian unstable/main amd64 libnuma1 amd64 2.0.19-1 [22.2 kB] Get: 177 http://deb.debian.org/debian unstable/main amd64 libocamlgraph-ocaml-dev amd64 2.2.0-2 [6821 kB] Get: 178 http://deb.debian.org/debian unstable/main amd64 libyaml-0-2 amd64 0.2.5-2 [52.5 kB] Get: 179 http://deb.debian.org/debian unstable/main amd64 pandoc-data all 3.1.11.1-3 [459 kB] Get: 180 http://deb.debian.org/debian unstable/main amd64 pandoc amd64 3.1.11.1+ds-4 [26.4 MB] Fetched 382 MB in 7s (54.7 MB/s) Preconfiguring packages ... Selecting previously unselected package libexpat1:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19866 files and directories currently installed.) Preparing to unpack .../00-libexpat1_2.7.3-1_amd64.deb ... Unpacking libexpat1:amd64 (2.7.3-1) ... Selecting previously unselected package liblocale-gettext-perl. Preparing to unpack .../01-liblocale-gettext-perl_1.07-7+b1_amd64.deb ... Unpacking liblocale-gettext-perl (1.07-7+b1) ... Selecting previously unselected package libfftw3-double3:amd64. Preparing to unpack .../02-libfftw3-double3_3.3.10-2+b1_amd64.deb ... Unpacking libfftw3-double3:amd64 (3.3.10-2+b1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../03-libbrotli1_1.1.0-2+b7_amd64.deb ... Unpacking libbrotli1:amd64 (1.1.0-2+b7) ... Selecting previously unselected package libpng16-16t64:amd64. Preparing to unpack .../04-libpng16-16t64_1.6.50-1_amd64.deb ... Unpacking libpng16-16t64:amd64 (1.6.50-1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../05-libfreetype6_2.13.3+dfsg-1_amd64.deb ... Unpacking libfreetype6:amd64 (2.13.3+dfsg-1) ... Selecting previously unselected package libfontenc1:amd64. Preparing to unpack .../06-libfontenc1_1%3a1.1.8-1+b2_amd64.deb ... Unpacking libfontenc1:amd64 (1:1.1.8-1+b2) ... Selecting previously unselected package x11-common. Preparing to unpack .../07-x11-common_1%3a7.7+26_all.deb ... Unpacking x11-common (1:7.7+26) ... Selecting previously unselected package xfonts-encodings. Preparing to unpack .../08-xfonts-encodings_1%3a1.0.4-2.2_all.deb ... Unpacking xfonts-encodings (1:1.0.4-2.2) ... Selecting previously unselected package xfonts-utils. Preparing to unpack .../09-xfonts-utils_1%3a7.7+7_amd64.deb ... Unpacking xfonts-utils (1:7.7+7) ... Selecting previously unselected package fonts-urw-base35. Preparing to unpack .../10-fonts-urw-base35_20200910-8_all.deb ... Unpacking fonts-urw-base35 (20200910-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../11-fontconfig-config_2.15.0-2.4_amd64.deb ... Unpacking fontconfig-config (2.15.0-2.4) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../12-libfontconfig1_2.15.0-2.4_amd64.deb ... Unpacking libfontconfig1:amd64 (2.15.0-2.4) ... Selecting previously unselected package libsharpyuv0:amd64. Preparing to unpack .../13-libsharpyuv0_1.5.0-0.1_amd64.deb ... Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ... Selecting previously unselected package libdav1d7:amd64. Preparing to unpack .../14-libdav1d7_1.5.1-1_amd64.deb ... Unpacking libdav1d7:amd64 (1.5.1-1) ... Selecting previously unselected package libheif-plugin-dav1d:amd64. Preparing to unpack .../15-libheif-plugin-dav1d_1.20.2-2+b1_amd64.deb ... Unpacking libheif-plugin-dav1d:amd64 (1.20.2-2+b1) ... Selecting previously unselected package libde265-0:amd64. Preparing to unpack .../16-libde265-0_1.0.16-1_amd64.deb ... Unpacking libde265-0:amd64 (1.0.16-1) ... Selecting previously unselected package libheif-plugin-libde265:amd64. Preparing to unpack .../17-libheif-plugin-libde265_1.20.2-2+b1_amd64.deb ... Unpacking libheif-plugin-libde265:amd64 (1.20.2-2+b1) ... Selecting previously unselected package libheif1:amd64. Preparing to unpack .../18-libheif1_1.20.2-2+b1_amd64.deb ... Unpacking libheif1:amd64 (1.20.2-2+b1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../19-libjbig0_2.1-6.1+b2_amd64.deb ... Unpacking libjbig0:amd64 (2.1-6.1+b2) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../20-libjpeg62-turbo_1%3a2.1.5-4_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.1.5-4) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../21-liblcms2-2_2.16-2_amd64.deb ... Unpacking liblcms2-2:amd64 (2.16-2) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../22-libffi8_3.5.2-2_amd64.deb ... Unpacking libffi8:amd64 (3.5.2-2) ... Selecting previously unselected package libglib2.0-0t64:amd64. Preparing to unpack .../23-libglib2.0-0t64_2.86.1-1_amd64.deb ... Unpacking libglib2.0-0t64:amd64 (2.86.1-1) ... Selecting previously unselected package liblqr-1-0:amd64. Preparing to unpack .../24-liblqr-1-0_0.4.2-2.1+b2_amd64.deb ... Unpacking liblqr-1-0:amd64 (0.4.2-2.1+b2) ... Selecting previously unselected package libltdl7:amd64. Preparing to unpack .../25-libltdl7_2.5.4-7_amd64.deb ... Unpacking libltdl7:amd64 (2.5.4-7) ... Selecting previously unselected package libopenjp2-7:amd64. Preparing to unpack .../26-libopenjp2-7_2.5.3-2.1_amd64.deb ... Unpacking libopenjp2-7:amd64 (2.5.3-2.1) ... Selecting previously unselected package libraw23t64:amd64. Preparing to unpack .../27-libraw23t64_0.21.4-2_amd64.deb ... Unpacking libraw23t64:amd64 (0.21.4-2) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../28-libdeflate0_1.23-2_amd64.deb ... Unpacking libdeflate0:amd64 (1.23-2) ... Selecting previously unselected package liblerc4:amd64. Preparing to unpack .../29-liblerc4_4.0.0+ds-5_amd64.deb ... Unpacking liblerc4:amd64 (4.0.0+ds-5) ... Selecting previously unselected package libwebp7:amd64. Preparing to unpack .../30-libwebp7_1.5.0-0.1_amd64.deb ... Unpacking libwebp7:amd64 (1.5.0-0.1) ... Selecting previously unselected package libtiff6:amd64. Preparing to unpack .../31-libtiff6_4.7.1-1_amd64.deb ... Unpacking libtiff6:amd64 (4.7.1-1) ... Selecting previously unselected package libwebpdemux2:amd64. Preparing to unpack .../32-libwebpdemux2_1.5.0-0.1_amd64.deb ... Unpacking libwebpdemux2:amd64 (1.5.0-0.1) ... Selecting previously unselected package libwebpmux3:amd64. Preparing to unpack .../33-libwebpmux3_1.5.0-0.1_amd64.deb ... Unpacking libwebpmux3:amd64 (1.5.0-0.1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../34-libxau6_1%3a1.0.11-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.11-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../35-libxdmcp6_1%3a1.1.5-1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.5-1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../36-libxcb1_1.17.0-2+b1_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../37-libx11-data_2%3a1.8.12-1_all.deb ... Unpacking libx11-data (2:1.8.12-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../38-libx11-6_2%3a1.8.12-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.12-1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../39-libxext6_2%3a1.3.4-1+b3_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1+b3) ... Selecting previously unselected package libxml2-16:amd64. Preparing to unpack .../40-libxml2-16_2.15.1+dfsg-0.3_amd64.deb ... Unpacking libxml2-16:amd64 (2.15.1+dfsg-0.3) ... Selecting previously unselected package imagemagick-7-common. Preparing to unpack .../41-imagemagick-7-common_8%3a7.1.2.8+dfsg1-1_all.deb ... Unpacking imagemagick-7-common (8:7.1.2.8+dfsg1-1) ... Selecting previously unselected package libmagickcore-7.q16-10:amd64. Preparing to unpack .../42-libmagickcore-7.q16-10_8%3a7.1.2.8+dfsg1-1_amd64.deb ... Unpacking libmagickcore-7.q16-10:amd64 (8:7.1.2.8+dfsg1-1) ... Selecting previously unselected package libmagickwand-7.q16-10:amd64. Preparing to unpack .../43-libmagickwand-7.q16-10_8%3a7.1.2.8+dfsg1-1_amd64.deb ... Unpacking libmagickwand-7.q16-10:amd64 (8:7.1.2.8+dfsg1-1) ... Selecting previously unselected package poppler-data. Preparing to unpack .../44-poppler-data_0.4.12-1_all.deb ... Unpacking poppler-data (0.4.12-1) ... Selecting previously unselected package libpython3.13-minimal:amd64. Preparing to unpack .../45-libpython3.13-minimal_3.13.9-1_amd64.deb ... Unpacking libpython3.13-minimal:amd64 (3.13.9-1) ... Selecting previously unselected package python3.13-minimal. Preparing to unpack .../46-python3.13-minimal_3.13.9-1_amd64.deb ... Unpacking python3.13-minimal (3.13.9-1) ... Setting up libpython3.13-minimal:amd64 (3.13.9-1) ... Setting up libexpat1:amd64 (2.7.3-1) ... Setting up python3.13-minimal (3.13.9-1) ... Selecting previously unselected package python3-minimal. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 21957 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.13.7-1_amd64.deb ... Unpacking python3-minimal (3.13.7-1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_14.0.0_all.deb ... Unpacking media-types (14.0.0) ... Selecting previously unselected package netbase. Preparing to unpack .../2-netbase_6.5_all.deb ... Unpacking netbase (6.5) ... Selecting previously unselected package tzdata. Preparing to unpack .../3-tzdata_2025b-5_all.deb ... Unpacking tzdata (2025b-5) ... Selecting previously unselected package readline-common. Preparing to unpack .../4-readline-common_8.3-3_all.deb ... Unpacking readline-common (8.3-3) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../5-libreadline8t64_8.3-3_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.3-3) ... Selecting previously unselected package libpython3.13-stdlib:amd64. Preparing to unpack .../6-libpython3.13-stdlib_3.13.9-1_amd64.deb ... Unpacking libpython3.13-stdlib:amd64 (3.13.9-1) ... Selecting previously unselected package python3.13. Preparing to unpack .../7-python3.13_3.13.9-1_amd64.deb ... Unpacking python3.13 (3.13.9-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../8-libpython3-stdlib_3.13.7-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.13.7-1) ... Setting up python3-minimal (3.13.7-1) ... Selecting previously unselected package python3. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 22967 files and directories currently installed.) Preparing to unpack .../000-python3_3.13.7-1_amd64.deb ... Unpacking python3 (3.13.7-1) ... Selecting previously unselected package libproc2-0:amd64. Preparing to unpack .../001-libproc2-0_2%3a4.0.4-9_amd64.deb ... Unpacking libproc2-0:amd64 (2:4.0.4-9) ... Selecting previously unselected package procps. Preparing to unpack .../002-procps_2%3a4.0.4-9_amd64.deb ... Unpacking procps (2:4.0.4-9) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../003-sensible-utils_0.0.26_all.deb ... Unpacking sensible-utils (0.0.26) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../004-libmagic-mgc_1%3a5.46-5_amd64.deb ... Unpacking libmagic-mgc (1:5.46-5) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../005-libmagic1t64_1%3a5.46-5_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.46-5) ... Selecting previously unselected package file. Preparing to unpack .../006-file_1%3a5.46-5_amd64.deb ... Unpacking file (1:5.46-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../007-gettext-base_0.23.1-2+b1_amd64.deb ... Unpacking gettext-base (0.23.1-2+b1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../008-libuchardet0_0.0.8-2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-2) ... Selecting previously unselected package groff-base. Preparing to unpack .../009-groff-base_1.23.0-9_amd64.deb ... Unpacking groff-base (1.23.0-9) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../010-bsdextrautils_2.41.2-4_amd64.deb ... Unpacking bsdextrautils (2.41.2-4) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../011-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../012-man-db_2.13.1-1_amd64.deb ... Unpacking man-db (2.13.1-1) ... Selecting previously unselected package libtext-charwidth-perl:amd64. Preparing to unpack .../013-libtext-charwidth-perl_0.04-11+b4_amd64.deb ... Unpacking libtext-charwidth-perl:amd64 (0.04-11+b4) ... Selecting previously unselected package libtext-wrapi18n-perl. Preparing to unpack .../014-libtext-wrapi18n-perl_0.06-10_all.deb ... Unpacking libtext-wrapi18n-perl (0.06-10) ... Selecting previously unselected package ucf. Preparing to unpack .../015-ucf_3.0052_all.deb ... Moving old data out of the way Unpacking ucf (3.0052) ... Selecting previously unselected package m4. Preparing to unpack .../016-m4_1.4.20-2_amd64.deb ... Unpacking m4 (1.4.20-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../017-autoconf_2.72-3.1_all.deb ... Unpacking autoconf (2.72-3.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../018-autotools-dev_20240727.1_all.deb ... Unpacking autotools-dev (20240727.1) ... Selecting previously unselected package automake. Preparing to unpack .../019-automake_1%3a1.18.1-2_all.deb ... Unpacking automake (1:1.18.1-2) ... Selecting previously unselected package autopoint. Preparing to unpack .../020-autopoint_0.23.1-2_all.deb ... Unpacking autopoint (0.23.1-2) ... Selecting previously unselected package libcoq-core. Preparing to unpack .../021-libcoq-core_9.1.0+dfsg-2_amd64.deb ... Unpacking libcoq-core (9.1.0+dfsg-2) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../022-libstdlib-ocaml_5.3.0-3_amd64.deb ... Unpacking libstdlib-ocaml (5.3.0-3) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../023-ocaml-base_5.3.0-3_amd64.deb ... Unpacking ocaml-base (5.3.0-3) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../024-libfindlib-ocaml_1.9.8-1+b1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+b1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../025-libzarith-ocaml_1.14-1+b2_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+b2) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../026-libcoq-core-ocaml_9.1.0+dfsg-2_amd64.deb ... Unpacking libcoq-core-ocaml (9.1.0+dfsg-2) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../027-libstdlib-ocaml-dev_5.3.0-3_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.3.0-3) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../028-libcompiler-libs-ocaml-dev_5.3.0-3_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../029-ocaml-interp_5.3.0-3_amd64.deb ... Unpacking ocaml-interp (5.3.0-3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../030-libncurses6_6.5+20250216-2_amd64.deb ... Unpacking libncurses6:amd64 (6.5+20250216-2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../031-libncurses-dev_6.5+20250216-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5+20250216-2) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../032-libzstd-dev_1.5.7+dfsg-2_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-2) ... Selecting previously unselected package ocaml. Preparing to unpack .../033-ocaml_5.3.0-3_amd64.deb ... Unpacking ocaml (5.3.0-3) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../034-ocaml-findlib_1.9.8-1+b1_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+b1) ... Selecting previously unselected package coq. Preparing to unpack .../035-coq_9.1.0+dfsg-2_amd64.deb ... Unpacking coq (9.1.0+dfsg-2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../036-libdebhelper-perl_13.28_all.deb ... Unpacking libdebhelper-perl (13.28) ... Selecting previously unselected package libtool. Preparing to unpack .../037-libtool_2.5.4-7_all.deb ... Unpacking libtool (2.5.4-7) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../038-dh-autoreconf_21_all.deb ... Unpacking dh-autoreconf (21) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../039-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../040-libfile-stripnondeterminism-perl_1.15.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.15.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../041-dh-strip-nondeterminism_1.15.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.15.0-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../042-libelf1t64_0.194-1_amd64.deb ... Unpacking libelf1t64:amd64 (0.194-1) ... Selecting previously unselected package dwz. Preparing to unpack .../043-dwz_0.16-2_amd64.deb ... Unpacking dwz (0.16-2) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../044-libunistring5_1.3-2_amd64.deb ... Unpacking libunistring5:amd64 (1.3-2) ... Selecting previously unselected package gettext. Preparing to unpack .../045-gettext_0.23.1-2+b1_amd64.deb ... Unpacking gettext (0.23.1-2+b1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../046-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 .../047-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../048-debhelper_13.28_all.deb ... Unpacking debhelper (13.28) ... Selecting previously unselected package dh-coq. Preparing to unpack .../049-dh-coq_0.14_all.deb ... Unpacking dh-coq (0.14) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../050-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../051-dh-ocaml_2.4_all.deb ... Unpacking dh-ocaml (2.4) ... Selecting previously unselected package libgs-common. Preparing to unpack .../052-libgs-common_10.06.0~dfsg-3_all.deb ... Unpacking libgs-common (10.06.0~dfsg-3) ... Selecting previously unselected package libgs10-common. Preparing to unpack .../053-libgs10-common_10.06.0~dfsg-3_all.deb ... Unpacking libgs10-common (10.06.0~dfsg-3) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../054-libavahi-common-data_0.8-17_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.8-17) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../055-libavahi-common3_0.8-17_amd64.deb ... Unpacking libavahi-common3:amd64 (0.8-17) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../056-libdbus-1-3_1.16.2-2_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.16.2-2) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../057-libavahi-client3_0.8-17_amd64.deb ... Unpacking libavahi-client3:amd64 (0.8-17) ... Selecting previously unselected package libidn2-0:amd64. Preparing to unpack .../058-libidn2-0_2.3.8-4_amd64.deb ... Unpacking libidn2-0:amd64 (2.3.8-4) ... Selecting previously unselected package libp11-kit0:amd64. Preparing to unpack .../059-libp11-kit0_0.25.9-2_amd64.deb ... Unpacking libp11-kit0:amd64 (0.25.9-2) ... Selecting previously unselected package libtasn1-6:amd64. Preparing to unpack .../060-libtasn1-6_4.20.0-2_amd64.deb ... Unpacking libtasn1-6:amd64 (4.20.0-2) ... Selecting previously unselected package libgnutls30t64:amd64. Preparing to unpack .../061-libgnutls30t64_3.8.10-3_amd64.deb ... Unpacking libgnutls30t64:amd64 (3.8.10-3) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../062-libkrb5support0_1.21.3-5_amd64.deb ... Unpacking libkrb5support0:amd64 (1.21.3-5) ... Selecting previously unselected package libcom-err2:amd64. Preparing to unpack .../063-libcom-err2_1.47.2-3+b3_amd64.deb ... Unpacking libcom-err2:amd64 (1.47.2-3+b3) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../064-libk5crypto3_1.21.3-5_amd64.deb ... Unpacking libk5crypto3:amd64 (1.21.3-5) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../065-libkeyutils1_1.6.3-6_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-6) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../066-libkrb5-3_1.21.3-5_amd64.deb ... Unpacking libkrb5-3:amd64 (1.21.3-5) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../067-libgssapi-krb5-2_1.21.3-5_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.21.3-5) ... Selecting previously unselected package libcups2t64:amd64. Preparing to unpack .../068-libcups2t64_2.4.14-1_amd64.deb ... Unpacking libcups2t64:amd64 (2.4.14-1) ... Selecting previously unselected package libidn12:amd64. Preparing to unpack .../069-libidn12_1.43-2_amd64.deb ... Unpacking libidn12:amd64 (1.43-2) ... Selecting previously unselected package libijs-0.35:amd64. Preparing to unpack .../070-libijs-0.35_0.35-16_amd64.deb ... Unpacking libijs-0.35:amd64 (0.35-16) ... Selecting previously unselected package libjbig2dec0:amd64. Preparing to unpack .../071-libjbig2dec0_0.20-1+b3_amd64.deb ... Unpacking libjbig2dec0:amd64 (0.20-1+b3) ... Selecting previously unselected package libpaper2:amd64. Preparing to unpack .../072-libpaper2_2.2.5-0.3+b2_amd64.deb ... Unpacking libpaper2:amd64 (2.2.5-0.3+b2) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../073-libice6_2%3a1.1.1-1_amd64.deb ... Unpacking libice6:amd64 (2:1.1.1-1) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../074-libsm6_2%3a1.2.6-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.6-1) ... Selecting previously unselected package libxt6t64:amd64. Preparing to unpack .../075-libxt6t64_1%3a1.2.1-1.3_amd64.deb ... Unpacking libxt6t64:amd64 (1:1.2.1-1.3) ... Selecting previously unselected package libgs10:amd64. Preparing to unpack .../076-libgs10_10.06.0~dfsg-3_amd64.deb ... Unpacking libgs10:amd64 (10.06.0~dfsg-3) ... Selecting previously unselected package ghostscript. Preparing to unpack .../077-ghostscript_10.06.0~dfsg-3_amd64.deb ... Unpacking ghostscript (10.06.0~dfsg-3) ... Selecting previously unselected package help2man. Preparing to unpack .../078-help2man_1.49.3_amd64.deb ... Unpacking help2man (1.49.3) ... Selecting previously unselected package libnetpbm11t64:amd64. Preparing to unpack .../079-libnetpbm11t64_2%3a11.12.00-1_amd64.deb ... Unpacking libnetpbm11t64:amd64 (2:11.12.00-1) ... Selecting previously unselected package netpbm. Preparing to unpack .../080-netpbm_2%3a11.12.00-1_amd64.deb ... Unpacking netpbm (2:11.12.00-1) ... Selecting previously unselected package tex-common. Preparing to unpack .../081-tex-common_6.19_all.deb ... Unpacking tex-common (6.19) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../082-libpaper-utils_2.2.5-0.3+b2_amd64.deb ... Unpacking libpaper-utils (2.2.5-0.3+b2) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../083-libkpathsea6_2025.20250727.75242+ds-4_amd64.deb ... Unpacking libkpathsea6:amd64 (2025.20250727.75242+ds-4) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../084-libptexenc1_2025.20250727.75242+ds-4_amd64.deb ... Unpacking libptexenc1:amd64 (2025.20250727.75242+ds-4) ... Selecting previously unselected package libsynctex2:amd64. Preparing to unpack .../085-libsynctex2_2025.20250727.75242+ds-4_amd64.deb ... Unpacking libsynctex2:amd64 (2025.20250727.75242+ds-4) ... Selecting previously unselected package libtexlua53-5:amd64. Preparing to unpack .../086-libtexlua53-5_2025.20250727.75242+ds-4_amd64.deb ... Unpacking libtexlua53-5:amd64 (2025.20250727.75242+ds-4) ... Selecting previously unselected package t1utils. Preparing to unpack .../087-t1utils_1.41-4_amd64.deb ... Unpacking t1utils (1.41-4) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../088-libpixman-1-0_0.46.4-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.46.4-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../089-libxcb-render0_1.17.0-2+b1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../090-libxcb-shm0_1.17.0-2+b1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../091-libxrender1_1%3a0.9.12-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.12-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../092-libcairo2_1.18.4-1+b1_amd64.deb ... Unpacking libcairo2:amd64 (1.18.4-1+b1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../093-libgraphite2-3_1.3.14-11_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-11) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../094-libharfbuzz0b_12.1.0-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (12.1.0-1) ... Selecting previously unselected package libicu76:amd64. Preparing to unpack .../095-libicu76_76.1-4_amd64.deb ... Unpacking libicu76:amd64 (76.1-4) ... Selecting previously unselected package libmpfi0:amd64. Preparing to unpack .../096-libmpfi0_1.5.4+ds-4_amd64.deb ... Unpacking libmpfi0:amd64 (1.5.4+ds-4) ... Selecting previously unselected package libpotrace0:amd64. Preparing to unpack .../097-libpotrace0_1.16-2+b2_amd64.deb ... Unpacking libpotrace0:amd64 (1.16-2+b2) ... Selecting previously unselected package libteckit0:amd64. Preparing to unpack .../098-libteckit0_2.5.12+ds1-1+b1_amd64.deb ... Unpacking libteckit0:amd64 (2.5.12+ds1-1+b1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../099-libxmu6_2%3a1.1.3-3+b4_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.3-3+b4) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../100-libxpm4_1%3a3.5.17-1+b3_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.17-1+b3) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../101-libxaw7_2%3a1.0.16-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.16-1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../102-libxi6_2%3a1.8.2-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.8.2-1) ... Selecting previously unselected package libzzip-0-13t64:amd64. Preparing to unpack .../103-libzzip-0-13t64_0.13.78+dfsg.1-0.2_amd64.deb ... Unpacking libzzip-0-13t64:amd64 (0.13.78+dfsg.1-0.2) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../104-texlive-binaries_2025.20250727.75242+ds-4_amd64.deb ... Unpacking texlive-binaries (2025.20250727.75242+ds-4) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../105-xdg-utils_1.2.1-2_all.deb ... Unpacking xdg-utils (1.2.1-2) ... Selecting previously unselected package texlive-base. Preparing to unpack .../106-texlive-base_2025.20250927-4_all.deb ... Unpacking texlive-base (2025.20250927-4) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../107-hicolor-icon-theme_0.18-2_all.deb ... Unpacking hicolor-icon-theme (0.18-2) ... Selecting previously unselected package imagemagick-7.q16. Preparing to unpack .../108-imagemagick-7.q16_8%3a7.1.2.8+dfsg1-1_amd64.deb ... Unpacking imagemagick-7.q16 (8:7.1.2.8+dfsg1-1) ... Selecting previously unselected package imagemagick. Preparing to unpack .../109-imagemagick_8%3a7.1.2.8+dfsg1-1_amd64.deb ... Unpacking imagemagick (8:7.1.2.8+dfsg1-1) ... Selecting previously unselected package hevea. Preparing to unpack .../110-hevea_2.36-2+b4_amd64.deb ... Unpacking hevea (2.36-2+b4) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../111-libfindlib-ocaml-dev_1.9.8-1+b1_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.8-1+b1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../112-libgmpxx4ldbl_2%3a6.3.0+dfsg-5_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../113-libgmp-dev_2%3a6.3.0+dfsg-5_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../114-libgmp3-dev_2%3a6.3.0+dfsg-5_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-5) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../115-libzarith-ocaml-dev_1.14-1+b2_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+b2) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../116-libcoq-core-ocaml-dev_9.1.0+dfsg-2_amd64.deb ... Unpacking libcoq-core-ocaml-dev (9.1.0+dfsg-2) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../117-libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb ... Unpacking libcoq-stdlib (8.20.1+dfsg-1+b1) ... dpkg: error processing archive /tmp/apt-dpkg-install-ip3FPu/117-libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb (--unpack): trying to overwrite '/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/CMorphisms.glob', which is also in package libcoq-core (9.1.0+dfsg-2) dpkg-deb: error: paste subprocess was killed by signal (Broken pipe) Selecting previously unselected package liblua5.4-0:amd64. Preparing to unpack .../118-liblua5.4-0_5.4.8-1_amd64.deb ... Unpacking liblua5.4-0:amd64 (5.4.8-1) ... Selecting previously unselected package libnuma1:amd64. Preparing to unpack .../119-libnuma1_2.0.19-1_amd64.deb ... Unpacking libnuma1:amd64 (2.0.19-1) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../120-libocamlgraph-ocaml-dev_2.2.0-2_amd64.deb ... Unpacking libocamlgraph-ocaml-dev (2.2.0-2) ... Selecting previously unselected package libyaml-0-2:amd64. Preparing to unpack .../121-libyaml-0-2_0.2.5-2_amd64.deb ... Unpacking libyaml-0-2:amd64 (0.2.5-2) ... Selecting previously unselected package pandoc-data. Preparing to unpack .../122-pandoc-data_3.1.11.1-3_all.deb ... Unpacking pandoc-data (3.1.11.1-3) ... Selecting previously unselected package pandoc. Preparing to unpack .../123-pandoc_3.1.11.1+ds-4_amd64.deb ... Unpacking pandoc (3.1.11.1+ds-4) ... Errors were encountered while processing: /tmp/apt-dpkg-install-ip3FPu/117-libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb E: Sub-process /usr/bin/dpkg returned an error code (1) Setting up media-types (14.0.0) ... Setting up libpipeline1:amd64 (1.5.8-1) ... Setting up libgraphite2-3:amd64 (1.3.14-11) ... Setting up liblcms2-2:amd64 (2.16-2) ... Setting up libpixman-1-0:amd64 (0.46.4-1) ... Setting up libtext-charwidth-perl:amd64 (0.04-11+b4) ... Setting up libsharpyuv0:amd64 (1.5.0-0.1) ... Setting up libxau6:amd64 (1:1.0.11-1) ... Setting up libxdmcp6:amd64 (1:1.1.5-1) ... Setting up libkeyutils1:amd64 (1.6.3-6) ... Setting up libxcb1:amd64 (1.17.0-2+b1) ... Setting up liblerc4:amd64 (4.0.0+ds-5) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-2) ... Setting up bsdextrautils (2.41.2-4) ... Setting up hicolor-icon-theme (0.18-2) ... Setting up libmagic-mgc (1:5.46-5) ... Setting up libxcb-render0:amd64 (1.17.0-2+b1) ... Setting up dh-coq (0.14) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libyaml-0-2:amd64 (0.2.5-2) ... Setting up imagemagick-7-common (8:7.1.2.8+dfsg1-1) ... Setting up libxml2-16:amd64 (2.15.1+dfsg-0.3) ... Setting up libijs-0.35:amd64 (0.35-16) ... Setting up libdebhelper-perl (13.28) ... Setting up libgs-common (10.06.0~dfsg-3) ... Setting up libbrotli1:amd64 (1.1.0-2+b7) ... Setting up libmagic1t64:amd64 (1:5.46-5) ... Setting up x11-common (1:7.7+26) ... invoke-rc.d: could not determine current runlevel Setting up X socket directories... /tmp/.X11-unix /tmp/.ICE-unix. Setting up libdeflate0:amd64 (1.23-2) ... Setting up gettext-base (0.23.1-2+b1) ... Setting up m4 (1.4.20-2) ... Setting up libcoq-core (9.1.0+dfsg-2) ... Setting up libxcb-shm0:amd64 (1.17.0-2+b1) ... Setting up libcom-err2:amd64 (1.47.2-3+b3) ... Setting up file (1:5.46-5) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libtext-wrapi18n-perl (0.06-10) ... Setting up libjbig0:amd64 (2.1-6.1+b2) ... Setting up libnetpbm11t64:amd64 (2:11.12.00-1) ... Setting up libelf1t64:amd64 (0.194-1) ... Setting up poppler-data (0.4.12-1) ... Setting up libkrb5support0:amd64 (1.21.3-5) ... Setting up tzdata (2025b-5) ... Current default time zone: 'Etc/UTC' Local time is now: Sun Nov 2 00:18:53 UTC 2025. Universal Time is now: Sun Nov 2 00:18:53 UTC 2025. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libfontenc1:amd64 (1:1.1.8-1+b2) ... Setting up autotools-dev (20240727.1) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5) ... Setting up libjpeg62-turbo:amd64 (1:2.1.5-4) ... Setting up libzzip-0-13t64:amd64 (0.13.78+dfsg.1-0.2) ... Setting up libx11-data (2:1.8.12-1) ... Setting up libjbig2dec0:amd64 (0.20-1+b3) ... Setting up libteckit0:amd64 (2.5.12+ds1-1+b1) ... Setting up libavahi-common-data:amd64 (0.8-17) ... Setting up libncurses6:amd64 (6.5+20250216-2) ... Setting up libdbus-1-3:amd64 (1.16.2-2) ... Setting up xfonts-encodings (1:1.0.4-2.2) ... Setting up t1utils (1.41-4) ... Setting up libtexlua53-5:amd64 (2025.20250727.75242+ds-4) ... Setting up libproc2-0:amd64 (2:4.0.4-9) ... Setting up libstdlib-ocaml (5.3.0-3) ... Setting up libunistring5:amd64 (1.3-2) ... Setting up libpng16-16t64:amd64 (1.6.50-1) ... Setting up libidn12:amd64 (1.43-2) ... Setting up autopoint (0.23.1-2) ... Setting up libmpfi0:amd64 (1.5.4+ds-4) ... Setting up ocaml-base (5.3.0-3) ... Setting up libk5crypto3:amd64 (1.21.3-5) ... Setting up libltdl7:amd64 (2.5.4-7) ... Setting up libfftw3-double3:amd64 (3.3.10-2+b1) ... Setting up libkpathsea6:amd64 (2025.20250727.75242+ds-4) ... Setting up libraw23t64:amd64 (0.21.4-2) ... Setting up autoconf (2.72-3.1) ... Setting up libwebp7:amd64 (1.5.0-0.1) ... Setting up libffi8:amd64 (3.5.2-2) ... Setting up libnuma1:amd64 (2.0.19-1) ... Setting up dwz (0.16-2) ... Setting up libdav1d7:amd64 (1.5.1-1) ... Setting up sensible-utils (0.0.26) ... Setting up libtiff6:amd64 (4.7.1-1) ... Setting up libuchardet0:amd64 (0.0.8-2) ... Setting up procps (2:4.0.4-9) ... Setting up libtasn1-6:amd64 (4.20.0-2) ... Setting up liblua5.4-0:amd64 (5.4.8-1) ... Setting up libopenjp2-7:amd64 (2.5.3-2.1) ... Setting up libx11-6:amd64 (2:1.8.12-1) ... Setting up netbase (6.5) ... Setting up libkrb5-3:amd64 (1.21.3-5) ... Setting up libicu76:amd64 (76.1-4) ... Setting up libpaper2:amd64 (2.2.5-0.3+b2) ... Setting up pandoc-data (3.1.11.1-3) ... Setting up libde265-0:amd64 (1.0.16-1) ... Setting up libwebpmux3:amd64 (1.5.0-0.1) ... Setting up readline-common (8.3-3) ... Setting up xdg-utils (1.2.1-2) ... update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode Setting up liblocale-gettext-perl (1.07-7+b1) ... Setting up libsynctex2:amd64 (2025.20250727.75242+ds-4) ... Setting up libpotrace0:amd64 (1.16-2+b2) ... Setting up automake (1:1.18.1-2) ... update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.15.0-1) ... Setting up libice6:amd64 (2:1.1.1-1) ... Setting up libncurses-dev:amd64 (6.5+20250216-2) ... Setting up gettext (0.23.1-2+b1) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5) ... Setting up libxpm4:amd64 (1:3.5.17-1+b3) ... Setting up libxrender1:amd64 (1:0.9.12-1) ... Setting up libtool (2.5.4-7) ... Setting up libstdlib-ocaml-dev (5.3.0-3) ... Setting up libwebpdemux2:amd64 (1.5.0-0.1) ... Setting up libavahi-common3:amd64 (0.8-17) ... Setting up dh-ocaml (2.4) ... Setting up libfindlib-ocaml (1.9.8-1+b1) ... Setting up libxext6:amd64 (2:1.3.4-1+b3) ... Setting up libidn2-0:amd64 (2.3.8-4) ... Setting up libpaper-utils (2.2.5-0.3+b2) ... Setting up libzarith-ocaml (1.14-1+b2) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up help2man (1.49.3) ... Setting up dh-autoreconf (21) ... Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... Setting up libglib2.0-0t64:amd64 (2.86.1-1) ... No schema files found: doing nothing. Setting up ocaml-interp (5.3.0-3) ... Setting up libptexenc1:amd64 (2025.20250727.75242+ds-4) ... Setting up pandoc (3.1.11.1+ds-4) ... Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ... Setting up libp11-kit0:amd64 (0.25.9-2) ... Setting up ocaml-findlib (1.9.8-1+b1) ... Setting up libgssapi-krb5-2:amd64 (1.21.3-5) ... Setting up ucf (3.0052) ... Setting up netpbm (2:11.12.00-1) ... Setting up libreadline8t64:amd64 (8.3-3) ... Setting up dh-strip-nondeterminism (1.15.0-1) ... Setting up liblqr-1-0:amd64 (0.4.2-2.1+b2) ... Setting up libcoq-core-ocaml (9.1.0+dfsg-2) ... Setting up groff-base (1.23.0-9) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-5) ... Setting up libharfbuzz0b:amd64 (12.1.0-1) ... Setting up libsm6:amd64 (2:1.2.6-1) ... Setting up libpython3.13-stdlib:amd64 (3.13.9-1) ... Setting up libavahi-client3:amd64 (0.8-17) ... Setting up libpython3-stdlib:amd64 (3.13.7-1) ... Setting up libgnutls30t64:amd64 (3.8.10-3) ... Setting up libxi6:amd64 (2:1.8.2-1) ... Setting up python3.13 (3.13.9-1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up python3 (3.13.7-1) ... Setting up ocaml (5.3.0-3) ... Setting up xfonts-utils (1:7.7+7) ... Setting up man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up tex-common (6.19) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libxt6t64:amd64 (1:1.2.1-1.3) ... Setting up libfindlib-ocaml-dev (1.9.8-1+b1) ... Setting up coq (9.1.0+dfsg-2) ... Setting up libzarith-ocaml-dev (1.14-1+b2) ... Setting up libcups2t64:amd64 (2.4.14-1) ... Setting up libocamlgraph-ocaml-dev (2.2.0-2) ... Setting up libxmu6:amd64 (2:1.1.3-3+b4) ... Setting up debhelper (13.28) ... Setting up libxaw7:amd64 (2:1.0.16-1) ... Setting up fonts-urw-base35 (20200910-8) ... Setting up libcoq-core-ocaml-dev (9.1.0+dfsg-2) ... Setting up libgs10-common (10.06.0~dfsg-3) ... Setting up fontconfig-config (2.15.0-2.4) ... Setting up libfontconfig1:amd64 (2.15.0-2.4) ... Setting up libgs10:amd64 (10.06.0~dfsg-3) ... Setting up ghostscript (10.06.0~dfsg-3) ... Setting up libcairo2:amd64 (1.18.4-1+b1) ... Setting up texlive-binaries (2025.20250727.75242+ds-4) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up texlive-base (2025.20250927-4) ... tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex Setting up libheif-plugin-dav1d:amd64 (1.20.2-2+b1) ... Setting up libheif-plugin-libde265:amd64 (1.20.2-2+b1) ... Setting up libheif1:amd64 (1.20.2-2+b1) ... Setting up libmagickcore-7.q16-10:amd64 (8:7.1.2.8+dfsg1-1) ... Setting up libmagickwand-7.q16-10:amd64 (8:7.1.2.8+dfsg1-1) ... Setting up imagemagick-7.q16 (8:7.1.2.8+dfsg1-1) ... update-alternatives: using /usr/bin/compare-im7.q16 to provide /usr/bin/compare (compare) in auto mode update-alternatives: using /usr/bin/compare-im7.q16 to provide /usr/bin/compare-im7 (compare-im7) in auto mode update-alternatives: using /usr/bin/animate-im7.q16 to provide /usr/bin/animate (animate) in auto mode update-alternatives: using /usr/bin/animate-im7.q16 to provide /usr/bin/animate-im7 (animate-im7) in auto mode update-alternatives: using /usr/bin/convert-im7.q16 to provide /usr/bin/convert (convert) in auto mode update-alternatives: using /usr/bin/convert-im7.q16 to provide /usr/bin/convert-im7 (convert-im7) in auto mode update-alternatives: using /usr/bin/composite-im7.q16 to provide /usr/bin/composite (composite) in auto mode update-alternatives: using /usr/bin/composite-im7.q16 to provide /usr/bin/composite-im7 (composite-im7) in auto mode update-alternatives: using /usr/bin/conjure-im7.q16 to provide /usr/bin/conjure (conjure) in auto mode update-alternatives: using /usr/bin/conjure-im7.q16 to provide /usr/bin/conjure-im7 (conjure-im7) in auto mode update-alternatives: using /usr/bin/import-im7.q16 to provide /usr/bin/import (import) in auto mode update-alternatives: using /usr/bin/import-im7.q16 to provide /usr/bin/import-im7 (import-im7) in auto mode update-alternatives: using /usr/bin/identify-im7.q16 to provide /usr/bin/identify (identify) in auto mode update-alternatives: using /usr/bin/identify-im7.q16 to provide /usr/bin/identify-im7 (identify-im7) in auto mode update-alternatives: using /usr/bin/stream-im7.q16 to provide /usr/bin/stream (stream) in auto mode update-alternatives: using /usr/bin/stream-im7.q16 to provide /usr/bin/stream-im7 (stream-im7) in auto mode update-alternatives: using /usr/bin/display-im7.q16 to provide /usr/bin/display (display) in auto mode update-alternatives: using /usr/bin/display-im7.q16 to provide /usr/bin/display-im7 (display-im7) in auto mode update-alternatives: using /usr/bin/montage-im7.q16 to provide /usr/bin/montage (montage) in auto mode update-alternatives: using /usr/bin/montage-im7.q16 to provide /usr/bin/montage-im7 (montage-im7) in auto mode update-alternatives: using /usr/bin/mogrify-im7.q16 to provide /usr/bin/mogrify (mogrify) in auto mode update-alternatives: using /usr/bin/mogrify-im7.q16 to provide /usr/bin/mogrify-im7 (mogrify-im7) in auto mode update-alternatives: using /usr/bin/magick-im7.q16 to provide /usr/bin/magick (magick) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/magick.1.gz because associated file /usr/share/man/man1/magick-im7.q16.1.gz (of link group magick) doesn't exist update-alternatives: using /usr/bin/magick-im7.q16 to provide /usr/bin/magick-im7 (magick-im7) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/magick-im7.1.gz because associated file /usr/share/man/man1/magick-im7.q16.1.gz (of link group magick-im7) doesn't exist update-alternatives: using /usr/bin/magick-script-im7.q16 to provide /usr/bin/magick-script (magick-script) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/magick-script.1.gz because associated file /usr/share/man/man1/magick-script-im7.q16.1.gz (of link group magick-script) doesn't exist update-alternatives: using /usr/bin/magick-script-im7.q16 to provide /usr/bin/magick-script-im7 (magick-script-im7) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/magick-script-im7.1.gz because associated file /usr/share/man/man1/magick-script-im7.q16.1.gz (of link group magick-script-im7) doesn't exist Setting up hevea (2.36-2+b4) ... Setting up imagemagick (8:7.1.2.8+dfsg1-1) ... Processing triggers for libc-bin (2.41-12) ... Processing triggers for tex-common (6.19) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... E: pbuilder-satisfydepends failed. I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/2254609 and its subdirectories Starting cleanup. All cleanup done. Sun Nov 2 00:19:15 UTC 2025 - reproducible_build.sh stopped running as /tmp/jenkins-script-FuG4IaTu, removing. /srv/reproducible-results/rbuild-debian/r-b-build.q9T15aB8: total 16 drwxrwxr-x 2 jenkins jenkins 4096 Nov 2 00:19 b1 drwxrwxr-x 2 jenkins jenkins 4096 Nov 2 00:17 b2 -rw-rw-r-- 1 jenkins jenkins 2121 Oct 29 08:59 ott_0.34+ds-2.dsc -rw------- 1 jenkins jenkins 3226 Nov 2 00:17 rbuildlog.RKBhK8D /srv/reproducible-results/rbuild-debian/r-b-build.q9T15aB8/b1: total 80 -rw-r--r-- 1 jenkins jenkins 78732 Nov 2 00:19 build.log /srv/reproducible-results/rbuild-debian/r-b-build.q9T15aB8/b2: total 0 Sun Nov 2 00:19:15 UTC 2025 I: Deleting $TMPDIR on ionos11-amd64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Sat Nov 1 12:17:58 -12 2025 I: pbuilder-time-stamp: 1762042678 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/experimental-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [ott_0.34+ds-2.dsc] I: copying [./ott_0.34+ds.orig.tar.xz] I: copying [./ott_0.34+ds-2.debian.tar.xz] I: Extracting source dpkg-source: warning: cannot verify inline signature for ./ott_0.34+ds-2.dsc: no acceptable signature found dpkg-source: info: extracting ott in ott-0.34+ds dpkg-source: info: unpacking ott_0.34+ds.orig.tar.xz dpkg-source: info: unpacking ott_0.34+ds-2.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying typos.patch I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/2254609/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build/reproducible-path' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='amd64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=40 ' DISTRIBUTION='experimental' HOME='/root' HOST_ARCH='amd64' IFS=' ' INVOCATION_ID='288cd24e268344069b0f923e414cd9a6' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='2254609' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.q9T15aB8/pbuilderrc_vohg --distribution experimental --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/experimental-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.q9T15aB8/b1 --logfile b1/build.log ott_0.34+ds-2.dsc' SUDO_GID='111' SUDO_HOME='/var/lib/jenkins' SUDO_UID='106' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://46.16.76.132:3128' I: uname -a Linux ionos11-amd64 6.12.48+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.48-1 (2025-09-20) x86_64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Aug 10 12:30 /bin -> usr/bin I: user script /srv/workspace/pbuilder/2254609/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: amd64 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, help2man, hevea, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, pandoc dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19866 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on coq; however: Package coq is not installed. pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on dh-coq; however: Package dh-coq is not installed. pbuilder-satisfydepends-dummy depends on dh-ocaml; however: Package dh-ocaml is not installed. pbuilder-satisfydepends-dummy depends on help2man; however: Package help2man is not installed. pbuilder-satisfydepends-dummy depends on hevea; however: Package hevea is not installed. pbuilder-satisfydepends-dummy depends on libcoq-core-ocaml-dev; however: Package libcoq-core-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on libcoq-stdlib; however: Package libcoq-stdlib is not installed. pbuilder-satisfydepends-dummy depends on libocamlgraph-ocaml-dev; however: Package libocamlgraph-ocaml-dev is not installed. pbuilder-satisfydepends-dummy depends on pandoc; however: Package pandoc is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-coq{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} fontconfig-config{a} fonts-urw-base35{a} gettext{a} gettext-base{a} ghostscript{a} groff-base{a} help2man{a} hevea{a} hicolor-icon-theme{a} imagemagick{a} imagemagick-7-common{a} imagemagick-7.q16{a} intltool-debian{a} libarchive-zip-perl{a} libavahi-client3{a} libavahi-common-data{a} libavahi-common3{a} libbrotli1{a} libcairo2{a} libcom-err2{a} libconfig-tiny-perl{a} libcoq-stdlib{a} libcups2t64{a} libdav1d7{a} libdbus-1-3{a} libde265-0{a} libdebhelper-perl{a} libdeflate0{a} libelf1t64{a} libexpat1{a} libffi8{a} libfftw3-double3{a} libfile-stripnondeterminism-perl{a} libfontconfig1{a} libfontenc1{a} libfreetype6{a} libglib2.0-0t64{a} libgnutls30t64{a} libgraphite2-3{a} libgs-common{a} libgs10{a} libgs10-common{a} libgssapi-krb5-2{a} libharfbuzz0b{a} libheif-plugin-dav1d{a} libheif-plugin-libde265{a} libheif1{a} libice6{a} libicu76{a} libidn12{a} libidn2-0{a} libijs-0.35{a} libjbig0{a} libjbig2dec0{a} libjpeg62-turbo{a} libk5crypto3{a} libkeyutils1{a} libkpathsea6{a} libkrb5-3{a} libkrb5support0{a} liblcms2-2{a} liblerc4{a} liblocale-gettext-perl{a} liblqr-1-0{a} libltdl7{a} liblua5.4-0{a} libmagic-mgc{a} libmagic1t64{a} libmagickcore-7.q16-10{a} libmagickwand-7.q16-10{a} libmpfi0{a} libnetpbm11t64{a} libnuma1{a} libopenjp2-7{a} libp11-kit0{a} libpaper-utils{a} libpaper2{a} libpipeline1{a} libpixman-1-0{a} libpng16-16t64{a} libpotrace0{a} libproc2-0{a} libptexenc1{a} libraw23t64{a} libsharpyuv0{a} libsm6{a} libsynctex2{a} libtasn1-6{a} libteckit0{a} libtexlua53-5{a} libtext-charwidth-perl{a} libtext-wrapi18n-perl{a} libtiff6{a} libtool{a} libuchardet0{a} libunistring5{a} libwebp7{a} libwebpdemux2{a} libwebpmux3{a} libx11-6{a} libx11-data{a} libxau6{a} libxaw7{a} libxcb-render0{a} libxcb-shm0{a} libxcb1{a} libxdmcp6{a} libxext6{a} libxi6{a} libxml2-16{a} libxmu6{a} libxpm4{a} libxrender1{a} libxt6t64{a} libyaml-0-2{a} libzzip-0-13t64{a} m4{a} man-db{a} netpbm{a} pandoc{a} pandoc-data{a} po-debconf{a} poppler-data{a} procps{a} sensible-utils{a} t1utils{a} tex-common{a} texlive-base{a} texlive-binaries{a} ucf{a} x11-common{a} xdg-utils{a} xfonts-encodings{a} xfonts-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl dbus dvisvgm fonts-droid-fallback krb5-locales libarchive-cpio-perl libfile-mimeinfo-perl libglib2.0-data libheif-plugin-aomenc libheif-plugin-x265 libltdl-dev libmagickcore-7.q16-10-extra libmail-sendmail-perl libnet-dbus-perl libx11-protocol-perl linux-sysctl-defaults lmodern lynx ocaml psmisc shared-mime-info wget x11-utils x11-xserver-utils xdg-user-dirs 0 packages upgraded, 146 newly installed, 0 to remove and 0 not upgraded. Need to get 144 MB of archives. After unpacking 659 MB will be used. The following packages have unmet dependencies: pbuilder-satisfydepends-dummy : Depends: coq but it is not installable Depends: libcoq-core-ocaml-dev but it is not installable Depends: libocamlgraph-ocaml-dev but it is not installable The following actions will resolve these dependencies: Install the following packages: 1) coq [9.1.0+dfsg-2 (experimental)] 2) libcompiler-libs-ocaml-dev [5.3.0-3 (unstable)] 3) libcoq-core [9.1.0+dfsg-2 (experimental)] 4) libcoq-core-ocaml [9.1.0+dfsg-2 (experimental)] 5) libcoq-core-ocaml-dev [9.1.0+dfsg-2 (experimental)] 6) libfindlib-ocaml [1.9.8-1+b1 (unstable)] 7) libfindlib-ocaml-dev [1.9.8-1+b1 (unstable)] 8) libgmp-dev [2:6.3.0+dfsg-5 (unstable)] 9) libgmp3-dev [2:6.3.0+dfsg-5 (unstable)] 10) libgmpxx4ldbl [2:6.3.0+dfsg-5 (unstable)] 11) libncurses-dev [6.5+20250216-2 (unstable)] 12) libncurses6 [6.5+20250216-2 (unstable)] 13) libocamlgraph-ocaml-dev [2.2.0-2 (unstable)] 14) libpython3-stdlib [3.13.7-1 (unstable)] 15) libpython3.13-minimal [3.13.9-1 (unstable)] 16) libpython3.13-stdlib [3.13.9-1 (unstable)] 17) libreadline8t64 [8.3-3 (unstable)] 18) libstdlib-ocaml [5.3.0-3 (unstable)] 19) libstdlib-ocaml-dev [5.3.0-3 (unstable)] 20) libzarith-ocaml [1.14-1+b2 (unstable)] 21) libzarith-ocaml-dev [1.14-1+b2 (unstable)] 22) libzstd-dev [1.5.7+dfsg-2 (unstable)] 23) media-types [14.0.0 (unstable)] 24) netbase [6.5 (unstable)] 25) ocaml [5.3.0-3 (unstable)] 26) ocaml-base [5.3.0-3 (unstable)] 27) ocaml-findlib [1.9.8-1+b1 (unstable)] 28) ocaml-interp [5.3.0-3 (unstable)] 29) python3 [3.13.7-1 (unstable)] 30) python3-minimal [3.13.7-1 (unstable)] 31) python3.13 [3.13.9-1 (unstable)] 32) python3.13-minimal [3.13.9-1 (unstable)] 33) readline-common [8.3-3 (unstable)] 34) tzdata [2025b-5 (unstable)] The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} coq{a} debhelper{a} dh-autoreconf{a} dh-coq{a} dh-ocaml{a} dh-strip-nondeterminism{a} dwz{a} file{a} fontconfig-config{a} fonts-urw-base35{a} gettext{a} gettext-base{a} ghostscript{a} groff-base{a} help2man{a} hevea{a} hicolor-icon-theme{a} imagemagick{a} imagemagick-7-common{a} imagemagick-7.q16{a} intltool-debian{a} libarchive-zip-perl{a} libavahi-client3{a} libavahi-common-data{a} libavahi-common3{a} libbrotli1{a} libcairo2{a} libcom-err2{a} libcompiler-libs-ocaml-dev{a} libconfig-tiny-perl{a} libcoq-core{a} libcoq-core-ocaml{a} libcoq-core-ocaml-dev{a} libcoq-stdlib{a} libcups2t64{a} libdav1d7{a} libdbus-1-3{a} libde265-0{a} libdebhelper-perl{a} libdeflate0{a} libelf1t64{a} libexpat1{a} libffi8{a} libfftw3-double3{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfindlib-ocaml-dev{a} libfontconfig1{a} libfontenc1{a} libfreetype6{a} libglib2.0-0t64{a} libgmp-dev{a} libgmp3-dev{a} libgmpxx4ldbl{a} libgnutls30t64{a} libgraphite2-3{a} libgs-common{a} libgs10{a} libgs10-common{a} libgssapi-krb5-2{a} libharfbuzz0b{a} libheif-plugin-dav1d{a} libheif-plugin-libde265{a} libheif1{a} libice6{a} libicu76{a} libidn12{a} libidn2-0{a} libijs-0.35{a} libjbig0{a} libjbig2dec0{a} libjpeg62-turbo{a} libk5crypto3{a} libkeyutils1{a} libkpathsea6{a} libkrb5-3{a} libkrb5support0{a} liblcms2-2{a} liblerc4{a} liblocale-gettext-perl{a} liblqr-1-0{a} libltdl7{a} liblua5.4-0{a} libmagic-mgc{a} libmagic1t64{a} libmagickcore-7.q16-10{a} libmagickwand-7.q16-10{a} libmpfi0{a} libncurses-dev{a} libncurses6{a} libnetpbm11t64{a} libnuma1{a} libocamlgraph-ocaml-dev{a} libopenjp2-7{a} libp11-kit0{a} libpaper-utils{a} libpaper2{a} libpipeline1{a} libpixman-1-0{a} libpng16-16t64{a} libpotrace0{a} libproc2-0{a} libptexenc1{a} libpython3-stdlib{a} libpython3.13-minimal{a} libpython3.13-stdlib{a} libraw23t64{a} libreadline8t64{a} libsharpyuv0{a} libsm6{a} libstdlib-ocaml{a} libstdlib-ocaml-dev{a} libsynctex2{a} libtasn1-6{a} libteckit0{a} libtexlua53-5{a} libtext-charwidth-perl{a} libtext-wrapi18n-perl{a} libtiff6{a} libtool{a} libuchardet0{a} libunistring5{a} libwebp7{a} libwebpdemux2{a} libwebpmux3{a} libx11-6{a} libx11-data{a} libxau6{a} libxaw7{a} libxcb-render0{a} libxcb-shm0{a} libxcb1{a} libxdmcp6{a} libxext6{a} libxi6{a} libxml2-16{a} libxmu6{a} libxpm4{a} libxrender1{a} libxt6t64{a} libyaml-0-2{a} libzarith-ocaml{a} libzarith-ocaml-dev{a} libzstd-dev{a} libzzip-0-13t64{a} m4{a} man-db{a} media-types{a} netbase{a} netpbm{a} ocaml{a} ocaml-base{a} ocaml-findlib{a} ocaml-interp{a} pandoc{a} pandoc-data{a} po-debconf{a} poppler-data{a} procps{a} python3{a} python3-minimal{a} python3.13{a} python3.13-minimal{a} readline-common{a} sensible-utils{a} t1utils{a} tex-common{a} texlive-base{a} texlive-binaries{a} tzdata{a} ucf{a} x11-common{a} xdg-utils{a} xfonts-encodings{a} xfonts-utils{a} The following packages are RECOMMENDED but will NOT be installed: ca-certificates curl dbus dvisvgm fonts-droid-fallback krb5-locales ledit libarchive-cpio-perl libfile-mimeinfo-perl libglib2.0-data libgpm2 libheif-plugin-aomenc libheif-plugin-x265 libltdl-dev libmagickcore-7.q16-10-extra libmail-sendmail-perl libnet-dbus-perl libx11-protocol-perl linux-sysctl-defaults lmodern lynx ocaml-man psmisc rlfe rlwrap shared-mime-info wget x11-utils x11-xserver-utils xdg-user-dirs 0 packages upgraded, 180 newly installed, 0 to remove and 0 not upgraded. Need to get 382 MB of archives. After unpacking 1320 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main amd64 libexpat1 amd64 2.7.3-1 [112 kB] Get: 2 http://deb.debian.org/debian unstable/main amd64 liblocale-gettext-perl amd64 1.07-7+b1 [15.3 kB] Get: 3 http://deb.debian.org/debian unstable/main amd64 libfftw3-double3 amd64 3.3.10-2+b1 [781 kB] Get: 4 http://deb.debian.org/debian unstable/main amd64 libbrotli1 amd64 1.1.0-2+b7 [307 kB] Get: 5 http://deb.debian.org/debian unstable/main amd64 libpng16-16t64 amd64 1.6.50-1 [282 kB] Get: 6 http://deb.debian.org/debian unstable/main amd64 libfreetype6 amd64 2.13.3+dfsg-1 [452 kB] Get: 7 http://deb.debian.org/debian unstable/main amd64 libfontenc1 amd64 1:1.1.8-1+b2 [23.3 kB] Get: 8 http://deb.debian.org/debian unstable/main amd64 x11-common all 1:7.7+26 [217 kB] Get: 9 http://deb.debian.org/debian unstable/main amd64 xfonts-encodings all 1:1.0.4-2.2 [577 kB] Get: 10 http://deb.debian.org/debian unstable/main amd64 xfonts-utils amd64 1:7.7+7 [93.3 kB] Get: 11 http://deb.debian.org/debian unstable/main amd64 fonts-urw-base35 all 20200910-8 [10.8 MB] Get: 12 http://deb.debian.org/debian unstable/main amd64 fontconfig-config amd64 2.15.0-2.4 [318 kB] Get: 13 http://deb.debian.org/debian unstable/main amd64 libfontconfig1 amd64 2.15.0-2.4 [401 kB] Get: 14 http://deb.debian.org/debian unstable/main amd64 libsharpyuv0 amd64 1.5.0-0.1 [116 kB] Get: 15 http://deb.debian.org/debian unstable/main amd64 libdav1d7 amd64 1.5.1-1 [559 kB] Get: 16 http://deb.debian.org/debian unstable/main amd64 libheif-plugin-dav1d amd64 1.20.2-2+b1 [19.1 kB] Get: 17 http://deb.debian.org/debian unstable/main amd64 libde265-0 amd64 1.0.16-1 [189 kB] Get: 18 http://deb.debian.org/debian unstable/main amd64 libheif-plugin-libde265 amd64 1.20.2-2+b1 [17.7 kB] Get: 19 http://deb.debian.org/debian unstable/main amd64 libheif1 amd64 1.20.2-2+b1 [601 kB] Get: 20 http://deb.debian.org/debian unstable/main amd64 libjbig0 amd64 2.1-6.1+b2 [32.1 kB] Get: 21 http://deb.debian.org/debian unstable/main amd64 libjpeg62-turbo amd64 1:2.1.5-4 [168 kB] Get: 22 http://deb.debian.org/debian unstable/main amd64 liblcms2-2 amd64 2.16-2 [160 kB] Get: 23 http://deb.debian.org/debian unstable/main amd64 libffi8 amd64 3.5.2-2 [25.5 kB] Get: 24 http://deb.debian.org/debian unstable/main amd64 libglib2.0-0t64 amd64 2.86.1-1 [1546 kB] Get: 25 http://deb.debian.org/debian unstable/main amd64 liblqr-1-0 amd64 0.4.2-2.1+b2 [29.5 kB] Get: 26 http://deb.debian.org/debian unstable/main amd64 libltdl7 amd64 2.5.4-7 [416 kB] Get: 27 http://deb.debian.org/debian unstable/main amd64 libopenjp2-7 amd64 2.5.3-2.1 [204 kB] Get: 28 http://deb.debian.org/debian unstable/main amd64 libraw23t64 amd64 0.21.4-2 [390 kB] Get: 29 http://deb.debian.org/debian unstable/main amd64 libdeflate0 amd64 1.23-2 [47.3 kB] Get: 30 http://deb.debian.org/debian unstable/main amd64 liblerc4 amd64 4.0.0+ds-5 [183 kB] Get: 31 http://deb.debian.org/debian unstable/main amd64 libwebp7 amd64 1.5.0-0.1 [318 kB] Get: 32 http://deb.debian.org/debian unstable/main amd64 libtiff6 amd64 4.7.1-1 [361 kB] Get: 33 http://deb.debian.org/debian unstable/main amd64 libwebpdemux2 amd64 1.5.0-0.1 [113 kB] Get: 34 http://deb.debian.org/debian unstable/main amd64 libwebpmux3 amd64 1.5.0-0.1 [126 kB] Get: 35 http://deb.debian.org/debian unstable/main amd64 libxau6 amd64 1:1.0.11-1 [20.4 kB] Get: 36 http://deb.debian.org/debian unstable/main amd64 libxdmcp6 amd64 1:1.1.5-1 [27.8 kB] Get: 37 http://deb.debian.org/debian unstable/main amd64 libxcb1 amd64 1.17.0-2+b1 [144 kB] Get: 38 http://deb.debian.org/debian unstable/main amd64 libx11-data all 2:1.8.12-1 [343 kB] Get: 39 http://deb.debian.org/debian unstable/main amd64 libx11-6 amd64 2:1.8.12-1 [815 kB] Get: 40 http://deb.debian.org/debian unstable/main amd64 libxext6 amd64 2:1.3.4-1+b3 [50.4 kB] Get: 41 http://deb.debian.org/debian unstable/main amd64 libxml2-16 amd64 2.15.1+dfsg-0.3 [640 kB] Get: 42 http://deb.debian.org/debian unstable/main amd64 imagemagick-7-common all 8:7.1.2.8+dfsg1-1 [69.3 kB] Get: 43 http://deb.debian.org/debian unstable/main amd64 libmagickcore-7.q16-10 amd64 8:7.1.2.8+dfsg1-1 [1848 kB] Get: 44 http://deb.debian.org/debian unstable/main amd64 libmagickwand-7.q16-10 amd64 8:7.1.2.8+dfsg1-1 [342 kB] Get: 45 http://deb.debian.org/debian unstable/main amd64 poppler-data all 0.4.12-1 [1601 kB] Get: 46 http://deb.debian.org/debian unstable/main amd64 libpython3.13-minimal amd64 3.13.9-1 [865 kB] Get: 47 http://deb.debian.org/debian unstable/main amd64 python3.13-minimal amd64 3.13.9-1 [2257 kB] Get: 48 http://deb.debian.org/debian unstable/main amd64 python3-minimal amd64 3.13.7-1 [27.2 kB] Get: 49 http://deb.debian.org/debian unstable/main amd64 media-types all 14.0.0 [30.8 kB] Get: 50 http://deb.debian.org/debian unstable/main amd64 netbase all 6.5 [12.4 kB] Get: 51 http://deb.debian.org/debian unstable/main amd64 tzdata all 2025b-5 [260 kB] Get: 52 http://deb.debian.org/debian unstable/main amd64 readline-common all 8.3-3 [74.8 kB] Get: 53 http://deb.debian.org/debian unstable/main amd64 libreadline8t64 amd64 8.3-3 [191 kB] Get: 54 http://deb.debian.org/debian unstable/main amd64 libpython3.13-stdlib amd64 3.13.9-1 [1965 kB] Get: 55 http://deb.debian.org/debian unstable/main amd64 python3.13 amd64 3.13.9-1 [764 kB] Get: 56 http://deb.debian.org/debian unstable/main amd64 libpython3-stdlib amd64 3.13.7-1 [10.2 kB] Get: 57 http://deb.debian.org/debian unstable/main amd64 python3 amd64 3.13.7-1 [28.3 kB] Get: 58 http://deb.debian.org/debian unstable/main amd64 libproc2-0 amd64 2:4.0.4-9 [65.6 kB] Get: 59 http://deb.debian.org/debian unstable/main amd64 procps amd64 2:4.0.4-9 [882 kB] Get: 60 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB] Get: 61 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.46-5 [338 kB] Get: 62 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.46-5 [109 kB] Get: 63 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.46-5 [43.6 kB] Get: 64 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.23.1-2+b1 [244 kB] Get: 65 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2 [68.5 kB] Get: 66 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-9 [1187 kB] Get: 67 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.41.2-4 [98.5 kB] Get: 68 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get: 69 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get: 70 http://deb.debian.org/debian unstable/main amd64 libtext-charwidth-perl amd64 0.04-11+b4 [9476 B] Get: 71 http://deb.debian.org/debian unstable/main amd64 libtext-wrapi18n-perl all 0.06-10 [8808 B] Get: 72 http://deb.debian.org/debian unstable/main amd64 ucf all 3.0052 [43.3 kB] Get: 73 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.20-2 [325 kB] Get: 74 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB] Get: 75 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB] Get: 76 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.18.1-2 [877 kB] Get: 77 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.23.1-2 [770 kB] Get: 78 http://deb.debian.org/debian experimental/main amd64 libcoq-core amd64 9.1.0+dfsg-2 [1138 kB] Get: 79 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml amd64 5.3.0-3 [605 kB] Get: 80 http://deb.debian.org/debian unstable/main amd64 ocaml-base amd64 5.3.0-3 [495 kB] Get: 81 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml amd64 1.9.8-1+b1 [214 kB] Get: 82 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml amd64 1.14-1+b2 [117 kB] Get: 83 http://deb.debian.org/debian experimental/main amd64 libcoq-core-ocaml amd64 9.1.0+dfsg-2 [26.8 MB] Get: 84 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml-dev amd64 5.3.0-3 [7886 kB] Get: 85 http://deb.debian.org/debian unstable/main amd64 libcompiler-libs-ocaml-dev amd64 5.3.0-3 [48.2 MB] Get: 86 http://deb.debian.org/debian unstable/main amd64 ocaml-interp amd64 5.3.0-3 [7104 kB] Get: 87 http://deb.debian.org/debian unstable/main amd64 libncurses6 amd64 6.5+20250216-2 [105 kB] Get: 88 http://deb.debian.org/debian unstable/main amd64 libncurses-dev amd64 6.5+20250216-2 [353 kB] Get: 89 http://deb.debian.org/debian unstable/main amd64 libzstd-dev amd64 1.5.7+dfsg-2 [375 kB] Get: 90 http://deb.debian.org/debian unstable/main amd64 ocaml amd64 5.3.0-3 [18.0 MB] Get: 91 http://deb.debian.org/debian unstable/main amd64 ocaml-findlib amd64 1.9.8-1+b1 [584 kB] Get: 92 http://deb.debian.org/debian experimental/main amd64 coq amd64 9.1.0+dfsg-2 [39.6 MB] Get: 93 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.28 [92.4 kB] Get: 94 http://deb.debian.org/debian unstable/main amd64 libtool all 2.5.4-7 [540 kB] Get: 95 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 21 [12.2 kB] Get: 96 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 97 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.0-1 [19.9 kB] Get: 98 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.0-1 [8812 B] Get: 99 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.194-1 [185 kB] Get: 100 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.16-2 [108 kB] Get: 101 http://deb.debian.org/debian unstable/main amd64 libunistring5 amd64 1.3-2 [477 kB] Get: 102 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.23.1-2+b1 [1680 kB] Get: 103 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 104 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 105 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.28 [941 kB] Get: 106 http://deb.debian.org/debian unstable/main amd64 dh-coq all 0.14 [6956 B] Get: 107 http://deb.debian.org/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB] Get: 108 http://deb.debian.org/debian unstable/main amd64 dh-ocaml all 2.4 [62.9 kB] Get: 109 http://deb.debian.org/debian unstable/main amd64 libgs-common all 10.06.0~dfsg-3 [149 kB] Get: 110 http://deb.debian.org/debian unstable/main amd64 libgs10-common all 10.06.0~dfsg-3 [479 kB] Get: 111 http://deb.debian.org/debian unstable/main amd64 libavahi-common-data amd64 0.8-17 [112 kB] Get: 112 http://deb.debian.org/debian unstable/main amd64 libavahi-common3 amd64 0.8-17 [47.3 kB] Get: 113 http://deb.debian.org/debian unstable/main amd64 libdbus-1-3 amd64 1.16.2-2 [178 kB] Get: 114 http://deb.debian.org/debian unstable/main amd64 libavahi-client3 amd64 0.8-17 [52.1 kB] Get: 115 http://deb.debian.org/debian unstable/main amd64 libidn2-0 amd64 2.3.8-4 [110 kB] Get: 116 http://deb.debian.org/debian unstable/main amd64 libp11-kit0 amd64 0.25.9-2 [443 kB] Get: 117 http://deb.debian.org/debian unstable/main amd64 libtasn1-6 amd64 4.20.0-2 [49.9 kB] Get: 118 http://deb.debian.org/debian unstable/main amd64 libgnutls30t64 amd64 3.8.10-3 [1493 kB] Get: 119 http://deb.debian.org/debian unstable/main amd64 libkrb5support0 amd64 1.21.3-5 [33.0 kB] Get: 120 http://deb.debian.org/debian unstable/main amd64 libcom-err2 amd64 1.47.2-3+b3 [25.0 kB] Get: 121 http://deb.debian.org/debian unstable/main amd64 libk5crypto3 amd64 1.21.3-5 [81.5 kB] Get: 122 http://deb.debian.org/debian unstable/main amd64 libkeyutils1 amd64 1.6.3-6 [9456 B] Get: 123 http://deb.debian.org/debian unstable/main amd64 libkrb5-3 amd64 1.21.3-5 [326 kB] Get: 124 http://deb.debian.org/debian unstable/main amd64 libgssapi-krb5-2 amd64 1.21.3-5 [138 kB] Get: 125 http://deb.debian.org/debian unstable/main amd64 libcups2t64 amd64 2.4.14-1 [255 kB] Get: 126 http://deb.debian.org/debian unstable/main amd64 libidn12 amd64 1.43-2 [48.3 kB] Get: 127 http://deb.debian.org/debian unstable/main amd64 libijs-0.35 amd64 0.35-16 [16.0 kB] Get: 128 http://deb.debian.org/debian unstable/main amd64 libjbig2dec0 amd64 0.20-1+b3 [65.1 kB] Get: 129 http://deb.debian.org/debian unstable/main amd64 libpaper2 amd64 2.2.5-0.3+b2 [16.7 kB] Get: 130 http://deb.debian.org/debian unstable/main amd64 libice6 amd64 2:1.1.1-1 [65.4 kB] Get: 131 http://deb.debian.org/debian unstable/main amd64 libsm6 amd64 2:1.2.6-1 [37.3 kB] Get: 132 http://deb.debian.org/debian unstable/main amd64 libxt6t64 amd64 1:1.2.1-1.3 [208 kB] Get: 133 http://deb.debian.org/debian unstable/main amd64 libgs10 amd64 10.06.0~dfsg-3 [2909 kB] Get: 134 http://deb.debian.org/debian unstable/main amd64 ghostscript amd64 10.06.0~dfsg-3 [50.6 kB] Get: 135 http://deb.debian.org/debian unstable/main amd64 help2man amd64 1.49.3 [198 kB] Get: 136 http://deb.debian.org/debian unstable/main amd64 libnetpbm11t64 amd64 2:11.12.00-1 [186 kB] Get: 137 http://deb.debian.org/debian unstable/main amd64 netpbm amd64 2:11.12.00-1 [2088 kB] Get: 138 http://deb.debian.org/debian unstable/main amd64 tex-common all 6.19 [29.4 kB] Get: 139 http://deb.debian.org/debian unstable/main amd64 libpaper-utils amd64 2.2.5-0.3+b2 [16.5 kB] Get: 140 http://deb.debian.org/debian unstable/main amd64 libkpathsea6 amd64 2025.20250727.75242+ds-4 [154 kB] Get: 141 http://deb.debian.org/debian unstable/main amd64 libptexenc1 amd64 2025.20250727.75242+ds-4 [50.5 kB] Get: 142 http://deb.debian.org/debian unstable/main amd64 libsynctex2 amd64 2025.20250727.75242+ds-4 [58.2 kB] Get: 143 http://deb.debian.org/debian unstable/main amd64 libtexlua53-5 amd64 2025.20250727.75242+ds-4 [99.4 kB] Get: 144 http://deb.debian.org/debian unstable/main amd64 t1utils amd64 1.41-4 [62.1 kB] Get: 145 http://deb.debian.org/debian unstable/main amd64 libpixman-1-0 amd64 0.46.4-1 [259 kB] Get: 146 http://deb.debian.org/debian unstable/main amd64 libxcb-render0 amd64 1.17.0-2+b1 [115 kB] Get: 147 http://deb.debian.org/debian unstable/main amd64 libxcb-shm0 amd64 1.17.0-2+b1 [105 kB] Get: 148 http://deb.debian.org/debian unstable/main amd64 libxrender1 amd64 1:0.9.12-1 [27.9 kB] Get: 149 http://deb.debian.org/debian unstable/main amd64 libcairo2 amd64 1.18.4-1+b1 [538 kB] Get: 150 http://deb.debian.org/debian unstable/main amd64 libgraphite2-3 amd64 1.3.14-11 [76.7 kB] Get: 151 http://deb.debian.org/debian unstable/main amd64 libharfbuzz0b amd64 12.1.0-1 [530 kB] Get: 152 http://deb.debian.org/debian unstable/main amd64 libicu76 amd64 76.1-4 [9722 kB] Get: 153 http://deb.debian.org/debian unstable/main amd64 libmpfi0 amd64 1.5.4+ds-4 [35.5 kB] Get: 154 http://deb.debian.org/debian unstable/main amd64 libpotrace0 amd64 1.16-2+b2 [25.6 kB] Get: 155 http://deb.debian.org/debian unstable/main amd64 libteckit0 amd64 2.5.12+ds1-1+b1 [341 kB] Get: 156 http://deb.debian.org/debian unstable/main amd64 libxmu6 amd64 2:1.1.3-3+b4 [59.0 kB] Get: 157 http://deb.debian.org/debian unstable/main amd64 libxpm4 amd64 1:3.5.17-1+b3 [56.2 kB] Get: 158 http://deb.debian.org/debian unstable/main amd64 libxaw7 amd64 2:1.0.16-1 [212 kB] Get: 159 http://deb.debian.org/debian unstable/main amd64 libxi6 amd64 2:1.8.2-1 [78.9 kB] Get: 160 http://deb.debian.org/debian unstable/main amd64 libzzip-0-13t64 amd64 0.13.78+dfsg.1-0.2 [59.2 kB] Get: 161 http://deb.debian.org/debian unstable/main amd64 texlive-binaries amd64 2025.20250727.75242+ds-4 [7261 kB] Get: 162 http://deb.debian.org/debian unstable/main amd64 xdg-utils all 1.2.1-2 [75.8 kB] Get: 163 http://deb.debian.org/debian unstable/main amd64 texlive-base all 2025.20250927-4 [23.1 MB] Get: 164 http://deb.debian.org/debian unstable/main amd64 hicolor-icon-theme all 0.18-2 [11.8 kB] Get: 165 http://deb.debian.org/debian unstable/main amd64 imagemagick-7.q16 amd64 8:7.1.2.8+dfsg1-1 [728 kB] Get: 166 http://deb.debian.org/debian unstable/main amd64 imagemagick amd64 8:7.1.2.8+dfsg1-1 [21.8 kB] Get: 167 http://deb.debian.org/debian unstable/main amd64 hevea amd64 2.36-2+b4 [2079 kB] Get: 168 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml-dev amd64 1.9.8-1+b1 [179 kB] Get: 169 http://deb.debian.org/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-5 [330 kB] Get: 170 http://deb.debian.org/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-5 [658 kB] Get: 171 http://deb.debian.org/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-5 [322 kB] Get: 172 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml-dev amd64 1.14-1+b2 [143 kB] Get: 173 http://deb.debian.org/debian experimental/main amd64 libcoq-core-ocaml-dev amd64 9.1.0+dfsg-2 [71.0 MB] Get: 174 http://deb.debian.org/debian unstable/main amd64 libcoq-stdlib amd64 8.20.1+dfsg-1+b1 [23.5 MB] Get: 175 http://deb.debian.org/debian unstable/main amd64 liblua5.4-0 amd64 5.4.8-1 [146 kB] Get: 176 http://deb.debian.org/debian unstable/main amd64 libnuma1 amd64 2.0.19-1 [22.2 kB] Get: 177 http://deb.debian.org/debian unstable/main amd64 libocamlgraph-ocaml-dev amd64 2.2.0-2 [6821 kB] Get: 178 http://deb.debian.org/debian unstable/main amd64 libyaml-0-2 amd64 0.2.5-2 [52.5 kB] Get: 179 http://deb.debian.org/debian unstable/main amd64 pandoc-data all 3.1.11.1-3 [459 kB] Get: 180 http://deb.debian.org/debian unstable/main amd64 pandoc amd64 3.1.11.1+ds-4 [26.4 MB] Fetched 382 MB in 7s (54.7 MB/s) Preconfiguring packages ... Selecting previously unselected package libexpat1:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19866 files and directories currently installed.) Preparing to unpack .../00-libexpat1_2.7.3-1_amd64.deb ... Unpacking libexpat1:amd64 (2.7.3-1) ... Selecting previously unselected package liblocale-gettext-perl. Preparing to unpack .../01-liblocale-gettext-perl_1.07-7+b1_amd64.deb ... Unpacking liblocale-gettext-perl (1.07-7+b1) ... Selecting previously unselected package libfftw3-double3:amd64. Preparing to unpack .../02-libfftw3-double3_3.3.10-2+b1_amd64.deb ... Unpacking libfftw3-double3:amd64 (3.3.10-2+b1) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../03-libbrotli1_1.1.0-2+b7_amd64.deb ... Unpacking libbrotli1:amd64 (1.1.0-2+b7) ... Selecting previously unselected package libpng16-16t64:amd64. Preparing to unpack .../04-libpng16-16t64_1.6.50-1_amd64.deb ... Unpacking libpng16-16t64:amd64 (1.6.50-1) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../05-libfreetype6_2.13.3+dfsg-1_amd64.deb ... Unpacking libfreetype6:amd64 (2.13.3+dfsg-1) ... Selecting previously unselected package libfontenc1:amd64. Preparing to unpack .../06-libfontenc1_1%3a1.1.8-1+b2_amd64.deb ... Unpacking libfontenc1:amd64 (1:1.1.8-1+b2) ... Selecting previously unselected package x11-common. Preparing to unpack .../07-x11-common_1%3a7.7+26_all.deb ... Unpacking x11-common (1:7.7+26) ... Selecting previously unselected package xfonts-encodings. Preparing to unpack .../08-xfonts-encodings_1%3a1.0.4-2.2_all.deb ... Unpacking xfonts-encodings (1:1.0.4-2.2) ... Selecting previously unselected package xfonts-utils. Preparing to unpack .../09-xfonts-utils_1%3a7.7+7_amd64.deb ... Unpacking xfonts-utils (1:7.7+7) ... Selecting previously unselected package fonts-urw-base35. Preparing to unpack .../10-fonts-urw-base35_20200910-8_all.deb ... Unpacking fonts-urw-base35 (20200910-8) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../11-fontconfig-config_2.15.0-2.4_amd64.deb ... Unpacking fontconfig-config (2.15.0-2.4) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../12-libfontconfig1_2.15.0-2.4_amd64.deb ... Unpacking libfontconfig1:amd64 (2.15.0-2.4) ... Selecting previously unselected package libsharpyuv0:amd64. Preparing to unpack .../13-libsharpyuv0_1.5.0-0.1_amd64.deb ... Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ... Selecting previously unselected package libdav1d7:amd64. Preparing to unpack .../14-libdav1d7_1.5.1-1_amd64.deb ... Unpacking libdav1d7:amd64 (1.5.1-1) ... Selecting previously unselected package libheif-plugin-dav1d:amd64. Preparing to unpack .../15-libheif-plugin-dav1d_1.20.2-2+b1_amd64.deb ... Unpacking libheif-plugin-dav1d:amd64 (1.20.2-2+b1) ... Selecting previously unselected package libde265-0:amd64. Preparing to unpack .../16-libde265-0_1.0.16-1_amd64.deb ... Unpacking libde265-0:amd64 (1.0.16-1) ... Selecting previously unselected package libheif-plugin-libde265:amd64. Preparing to unpack .../17-libheif-plugin-libde265_1.20.2-2+b1_amd64.deb ... Unpacking libheif-plugin-libde265:amd64 (1.20.2-2+b1) ... Selecting previously unselected package libheif1:amd64. Preparing to unpack .../18-libheif1_1.20.2-2+b1_amd64.deb ... Unpacking libheif1:amd64 (1.20.2-2+b1) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../19-libjbig0_2.1-6.1+b2_amd64.deb ... Unpacking libjbig0:amd64 (2.1-6.1+b2) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../20-libjpeg62-turbo_1%3a2.1.5-4_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.1.5-4) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../21-liblcms2-2_2.16-2_amd64.deb ... Unpacking liblcms2-2:amd64 (2.16-2) ... Selecting previously unselected package libffi8:amd64. Preparing to unpack .../22-libffi8_3.5.2-2_amd64.deb ... Unpacking libffi8:amd64 (3.5.2-2) ... Selecting previously unselected package libglib2.0-0t64:amd64. Preparing to unpack .../23-libglib2.0-0t64_2.86.1-1_amd64.deb ... Unpacking libglib2.0-0t64:amd64 (2.86.1-1) ... Selecting previously unselected package liblqr-1-0:amd64. Preparing to unpack .../24-liblqr-1-0_0.4.2-2.1+b2_amd64.deb ... Unpacking liblqr-1-0:amd64 (0.4.2-2.1+b2) ... Selecting previously unselected package libltdl7:amd64. Preparing to unpack .../25-libltdl7_2.5.4-7_amd64.deb ... Unpacking libltdl7:amd64 (2.5.4-7) ... Selecting previously unselected package libopenjp2-7:amd64. Preparing to unpack .../26-libopenjp2-7_2.5.3-2.1_amd64.deb ... Unpacking libopenjp2-7:amd64 (2.5.3-2.1) ... Selecting previously unselected package libraw23t64:amd64. Preparing to unpack .../27-libraw23t64_0.21.4-2_amd64.deb ... Unpacking libraw23t64:amd64 (0.21.4-2) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../28-libdeflate0_1.23-2_amd64.deb ... Unpacking libdeflate0:amd64 (1.23-2) ... Selecting previously unselected package liblerc4:amd64. Preparing to unpack .../29-liblerc4_4.0.0+ds-5_amd64.deb ... Unpacking liblerc4:amd64 (4.0.0+ds-5) ... Selecting previously unselected package libwebp7:amd64. Preparing to unpack .../30-libwebp7_1.5.0-0.1_amd64.deb ... Unpacking libwebp7:amd64 (1.5.0-0.1) ... Selecting previously unselected package libtiff6:amd64. Preparing to unpack .../31-libtiff6_4.7.1-1_amd64.deb ... Unpacking libtiff6:amd64 (4.7.1-1) ... Selecting previously unselected package libwebpdemux2:amd64. Preparing to unpack .../32-libwebpdemux2_1.5.0-0.1_amd64.deb ... Unpacking libwebpdemux2:amd64 (1.5.0-0.1) ... Selecting previously unselected package libwebpmux3:amd64. Preparing to unpack .../33-libwebpmux3_1.5.0-0.1_amd64.deb ... Unpacking libwebpmux3:amd64 (1.5.0-0.1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../34-libxau6_1%3a1.0.11-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.11-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../35-libxdmcp6_1%3a1.1.5-1_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.5-1) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../36-libxcb1_1.17.0-2+b1_amd64.deb ... Unpacking libxcb1:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../37-libx11-data_2%3a1.8.12-1_all.deb ... Unpacking libx11-data (2:1.8.12-1) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../38-libx11-6_2%3a1.8.12-1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.8.12-1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../39-libxext6_2%3a1.3.4-1+b3_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1+b3) ... Selecting previously unselected package libxml2-16:amd64. Preparing to unpack .../40-libxml2-16_2.15.1+dfsg-0.3_amd64.deb ... Unpacking libxml2-16:amd64 (2.15.1+dfsg-0.3) ... Selecting previously unselected package imagemagick-7-common. Preparing to unpack .../41-imagemagick-7-common_8%3a7.1.2.8+dfsg1-1_all.deb ... Unpacking imagemagick-7-common (8:7.1.2.8+dfsg1-1) ... Selecting previously unselected package libmagickcore-7.q16-10:amd64. Preparing to unpack .../42-libmagickcore-7.q16-10_8%3a7.1.2.8+dfsg1-1_amd64.deb ... Unpacking libmagickcore-7.q16-10:amd64 (8:7.1.2.8+dfsg1-1) ... Selecting previously unselected package libmagickwand-7.q16-10:amd64. Preparing to unpack .../43-libmagickwand-7.q16-10_8%3a7.1.2.8+dfsg1-1_amd64.deb ... Unpacking libmagickwand-7.q16-10:amd64 (8:7.1.2.8+dfsg1-1) ... Selecting previously unselected package poppler-data. Preparing to unpack .../44-poppler-data_0.4.12-1_all.deb ... Unpacking poppler-data (0.4.12-1) ... Selecting previously unselected package libpython3.13-minimal:amd64. Preparing to unpack .../45-libpython3.13-minimal_3.13.9-1_amd64.deb ... Unpacking libpython3.13-minimal:amd64 (3.13.9-1) ... Selecting previously unselected package python3.13-minimal. Preparing to unpack .../46-python3.13-minimal_3.13.9-1_amd64.deb ... Unpacking python3.13-minimal (3.13.9-1) ... Setting up libpython3.13-minimal:amd64 (3.13.9-1) ... Setting up libexpat1:amd64 (2.7.3-1) ... Setting up python3.13-minimal (3.13.9-1) ... Selecting previously unselected package python3-minimal. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 21957 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.13.7-1_amd64.deb ... Unpacking python3-minimal (3.13.7-1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_14.0.0_all.deb ... Unpacking media-types (14.0.0) ... Selecting previously unselected package netbase. Preparing to unpack .../2-netbase_6.5_all.deb ... Unpacking netbase (6.5) ... Selecting previously unselected package tzdata. Preparing to unpack .../3-tzdata_2025b-5_all.deb ... Unpacking tzdata (2025b-5) ... Selecting previously unselected package readline-common. Preparing to unpack .../4-readline-common_8.3-3_all.deb ... Unpacking readline-common (8.3-3) ... Selecting previously unselected package libreadline8t64:amd64. Preparing to unpack .../5-libreadline8t64_8.3-3_amd64.deb ... Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:amd64 (8.3-3) ... Selecting previously unselected package libpython3.13-stdlib:amd64. Preparing to unpack .../6-libpython3.13-stdlib_3.13.9-1_amd64.deb ... Unpacking libpython3.13-stdlib:amd64 (3.13.9-1) ... Selecting previously unselected package python3.13. Preparing to unpack .../7-python3.13_3.13.9-1_amd64.deb ... Unpacking python3.13 (3.13.9-1) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../8-libpython3-stdlib_3.13.7-1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.13.7-1) ... Setting up python3-minimal (3.13.7-1) ... Selecting previously unselected package python3. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 22967 files and directories currently installed.) Preparing to unpack .../000-python3_3.13.7-1_amd64.deb ... Unpacking python3 (3.13.7-1) ... Selecting previously unselected package libproc2-0:amd64. Preparing to unpack .../001-libproc2-0_2%3a4.0.4-9_amd64.deb ... Unpacking libproc2-0:amd64 (2:4.0.4-9) ... Selecting previously unselected package procps. Preparing to unpack .../002-procps_2%3a4.0.4-9_amd64.deb ... Unpacking procps (2:4.0.4-9) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../003-sensible-utils_0.0.26_all.deb ... Unpacking sensible-utils (0.0.26) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../004-libmagic-mgc_1%3a5.46-5_amd64.deb ... Unpacking libmagic-mgc (1:5.46-5) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../005-libmagic1t64_1%3a5.46-5_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.46-5) ... Selecting previously unselected package file. Preparing to unpack .../006-file_1%3a5.46-5_amd64.deb ... Unpacking file (1:5.46-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../007-gettext-base_0.23.1-2+b1_amd64.deb ... Unpacking gettext-base (0.23.1-2+b1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../008-libuchardet0_0.0.8-2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-2) ... Selecting previously unselected package groff-base. Preparing to unpack .../009-groff-base_1.23.0-9_amd64.deb ... Unpacking groff-base (1.23.0-9) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../010-bsdextrautils_2.41.2-4_amd64.deb ... Unpacking bsdextrautils (2.41.2-4) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../011-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../012-man-db_2.13.1-1_amd64.deb ... Unpacking man-db (2.13.1-1) ... Selecting previously unselected package libtext-charwidth-perl:amd64. Preparing to unpack .../013-libtext-charwidth-perl_0.04-11+b4_amd64.deb ... Unpacking libtext-charwidth-perl:amd64 (0.04-11+b4) ... Selecting previously unselected package libtext-wrapi18n-perl. Preparing to unpack .../014-libtext-wrapi18n-perl_0.06-10_all.deb ... Unpacking libtext-wrapi18n-perl (0.06-10) ... Selecting previously unselected package ucf. Preparing to unpack .../015-ucf_3.0052_all.deb ... Moving old data out of the way Unpacking ucf (3.0052) ... Selecting previously unselected package m4. Preparing to unpack .../016-m4_1.4.20-2_amd64.deb ... Unpacking m4 (1.4.20-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../017-autoconf_2.72-3.1_all.deb ... Unpacking autoconf (2.72-3.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../018-autotools-dev_20240727.1_all.deb ... Unpacking autotools-dev (20240727.1) ... Selecting previously unselected package automake. Preparing to unpack .../019-automake_1%3a1.18.1-2_all.deb ... Unpacking automake (1:1.18.1-2) ... Selecting previously unselected package autopoint. Preparing to unpack .../020-autopoint_0.23.1-2_all.deb ... Unpacking autopoint (0.23.1-2) ... Selecting previously unselected package libcoq-core. Preparing to unpack .../021-libcoq-core_9.1.0+dfsg-2_amd64.deb ... Unpacking libcoq-core (9.1.0+dfsg-2) ... Selecting previously unselected package libstdlib-ocaml. Preparing to unpack .../022-libstdlib-ocaml_5.3.0-3_amd64.deb ... Unpacking libstdlib-ocaml (5.3.0-3) ... Selecting previously unselected package ocaml-base. Preparing to unpack .../023-ocaml-base_5.3.0-3_amd64.deb ... Unpacking ocaml-base (5.3.0-3) ... Selecting previously unselected package libfindlib-ocaml. Preparing to unpack .../024-libfindlib-ocaml_1.9.8-1+b1_amd64.deb ... Unpacking libfindlib-ocaml (1.9.8-1+b1) ... Selecting previously unselected package libzarith-ocaml. Preparing to unpack .../025-libzarith-ocaml_1.14-1+b2_amd64.deb ... Unpacking libzarith-ocaml (1.14-1+b2) ... Selecting previously unselected package libcoq-core-ocaml. Preparing to unpack .../026-libcoq-core-ocaml_9.1.0+dfsg-2_amd64.deb ... Unpacking libcoq-core-ocaml (9.1.0+dfsg-2) ... Selecting previously unselected package libstdlib-ocaml-dev. Preparing to unpack .../027-libstdlib-ocaml-dev_5.3.0-3_amd64.deb ... Unpacking libstdlib-ocaml-dev (5.3.0-3) ... Selecting previously unselected package libcompiler-libs-ocaml-dev. Preparing to unpack .../028-libcompiler-libs-ocaml-dev_5.3.0-3_amd64.deb ... Unpacking libcompiler-libs-ocaml-dev (5.3.0-3) ... Selecting previously unselected package ocaml-interp. Preparing to unpack .../029-ocaml-interp_5.3.0-3_amd64.deb ... Unpacking ocaml-interp (5.3.0-3) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../030-libncurses6_6.5+20250216-2_amd64.deb ... Unpacking libncurses6:amd64 (6.5+20250216-2) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../031-libncurses-dev_6.5+20250216-2_amd64.deb ... Unpacking libncurses-dev:amd64 (6.5+20250216-2) ... Selecting previously unselected package libzstd-dev:amd64. Preparing to unpack .../032-libzstd-dev_1.5.7+dfsg-2_amd64.deb ... Unpacking libzstd-dev:amd64 (1.5.7+dfsg-2) ... Selecting previously unselected package ocaml. Preparing to unpack .../033-ocaml_5.3.0-3_amd64.deb ... Unpacking ocaml (5.3.0-3) ... Selecting previously unselected package ocaml-findlib. Preparing to unpack .../034-ocaml-findlib_1.9.8-1+b1_amd64.deb ... Unpacking ocaml-findlib (1.9.8-1+b1) ... Selecting previously unselected package coq. Preparing to unpack .../035-coq_9.1.0+dfsg-2_amd64.deb ... Unpacking coq (9.1.0+dfsg-2) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../036-libdebhelper-perl_13.28_all.deb ... Unpacking libdebhelper-perl (13.28) ... Selecting previously unselected package libtool. Preparing to unpack .../037-libtool_2.5.4-7_all.deb ... Unpacking libtool (2.5.4-7) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../038-dh-autoreconf_21_all.deb ... Unpacking dh-autoreconf (21) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../039-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../040-libfile-stripnondeterminism-perl_1.15.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.15.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../041-dh-strip-nondeterminism_1.15.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.15.0-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../042-libelf1t64_0.194-1_amd64.deb ... Unpacking libelf1t64:amd64 (0.194-1) ... Selecting previously unselected package dwz. Preparing to unpack .../043-dwz_0.16-2_amd64.deb ... Unpacking dwz (0.16-2) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../044-libunistring5_1.3-2_amd64.deb ... Unpacking libunistring5:amd64 (1.3-2) ... Selecting previously unselected package gettext. Preparing to unpack .../045-gettext_0.23.1-2+b1_amd64.deb ... Unpacking gettext (0.23.1-2+b1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../046-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 .../047-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../048-debhelper_13.28_all.deb ... Unpacking debhelper (13.28) ... Selecting previously unselected package dh-coq. Preparing to unpack .../049-dh-coq_0.14_all.deb ... Unpacking dh-coq (0.14) ... Selecting previously unselected package libconfig-tiny-perl. Preparing to unpack .../050-libconfig-tiny-perl_2.30-1_all.deb ... Unpacking libconfig-tiny-perl (2.30-1) ... Selecting previously unselected package dh-ocaml. Preparing to unpack .../051-dh-ocaml_2.4_all.deb ... Unpacking dh-ocaml (2.4) ... Selecting previously unselected package libgs-common. Preparing to unpack .../052-libgs-common_10.06.0~dfsg-3_all.deb ... Unpacking libgs-common (10.06.0~dfsg-3) ... Selecting previously unselected package libgs10-common. Preparing to unpack .../053-libgs10-common_10.06.0~dfsg-3_all.deb ... Unpacking libgs10-common (10.06.0~dfsg-3) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../054-libavahi-common-data_0.8-17_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.8-17) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../055-libavahi-common3_0.8-17_amd64.deb ... Unpacking libavahi-common3:amd64 (0.8-17) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../056-libdbus-1-3_1.16.2-2_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.16.2-2) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../057-libavahi-client3_0.8-17_amd64.deb ... Unpacking libavahi-client3:amd64 (0.8-17) ... Selecting previously unselected package libidn2-0:amd64. Preparing to unpack .../058-libidn2-0_2.3.8-4_amd64.deb ... Unpacking libidn2-0:amd64 (2.3.8-4) ... Selecting previously unselected package libp11-kit0:amd64. Preparing to unpack .../059-libp11-kit0_0.25.9-2_amd64.deb ... Unpacking libp11-kit0:amd64 (0.25.9-2) ... Selecting previously unselected package libtasn1-6:amd64. Preparing to unpack .../060-libtasn1-6_4.20.0-2_amd64.deb ... Unpacking libtasn1-6:amd64 (4.20.0-2) ... Selecting previously unselected package libgnutls30t64:amd64. Preparing to unpack .../061-libgnutls30t64_3.8.10-3_amd64.deb ... Unpacking libgnutls30t64:amd64 (3.8.10-3) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../062-libkrb5support0_1.21.3-5_amd64.deb ... Unpacking libkrb5support0:amd64 (1.21.3-5) ... Selecting previously unselected package libcom-err2:amd64. Preparing to unpack .../063-libcom-err2_1.47.2-3+b3_amd64.deb ... Unpacking libcom-err2:amd64 (1.47.2-3+b3) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../064-libk5crypto3_1.21.3-5_amd64.deb ... Unpacking libk5crypto3:amd64 (1.21.3-5) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../065-libkeyutils1_1.6.3-6_amd64.deb ... Unpacking libkeyutils1:amd64 (1.6.3-6) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../066-libkrb5-3_1.21.3-5_amd64.deb ... Unpacking libkrb5-3:amd64 (1.21.3-5) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../067-libgssapi-krb5-2_1.21.3-5_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.21.3-5) ... Selecting previously unselected package libcups2t64:amd64. Preparing to unpack .../068-libcups2t64_2.4.14-1_amd64.deb ... Unpacking libcups2t64:amd64 (2.4.14-1) ... Selecting previously unselected package libidn12:amd64. Preparing to unpack .../069-libidn12_1.43-2_amd64.deb ... Unpacking libidn12:amd64 (1.43-2) ... Selecting previously unselected package libijs-0.35:amd64. Preparing to unpack .../070-libijs-0.35_0.35-16_amd64.deb ... Unpacking libijs-0.35:amd64 (0.35-16) ... Selecting previously unselected package libjbig2dec0:amd64. Preparing to unpack .../071-libjbig2dec0_0.20-1+b3_amd64.deb ... Unpacking libjbig2dec0:amd64 (0.20-1+b3) ... Selecting previously unselected package libpaper2:amd64. Preparing to unpack .../072-libpaper2_2.2.5-0.3+b2_amd64.deb ... Unpacking libpaper2:amd64 (2.2.5-0.3+b2) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../073-libice6_2%3a1.1.1-1_amd64.deb ... Unpacking libice6:amd64 (2:1.1.1-1) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../074-libsm6_2%3a1.2.6-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.6-1) ... Selecting previously unselected package libxt6t64:amd64. Preparing to unpack .../075-libxt6t64_1%3a1.2.1-1.3_amd64.deb ... Unpacking libxt6t64:amd64 (1:1.2.1-1.3) ... Selecting previously unselected package libgs10:amd64. Preparing to unpack .../076-libgs10_10.06.0~dfsg-3_amd64.deb ... Unpacking libgs10:amd64 (10.06.0~dfsg-3) ... Selecting previously unselected package ghostscript. Preparing to unpack .../077-ghostscript_10.06.0~dfsg-3_amd64.deb ... Unpacking ghostscript (10.06.0~dfsg-3) ... Selecting previously unselected package help2man. Preparing to unpack .../078-help2man_1.49.3_amd64.deb ... Unpacking help2man (1.49.3) ... Selecting previously unselected package libnetpbm11t64:amd64. Preparing to unpack .../079-libnetpbm11t64_2%3a11.12.00-1_amd64.deb ... Unpacking libnetpbm11t64:amd64 (2:11.12.00-1) ... Selecting previously unselected package netpbm. Preparing to unpack .../080-netpbm_2%3a11.12.00-1_amd64.deb ... Unpacking netpbm (2:11.12.00-1) ... Selecting previously unselected package tex-common. Preparing to unpack .../081-tex-common_6.19_all.deb ... Unpacking tex-common (6.19) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../082-libpaper-utils_2.2.5-0.3+b2_amd64.deb ... Unpacking libpaper-utils (2.2.5-0.3+b2) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../083-libkpathsea6_2025.20250727.75242+ds-4_amd64.deb ... Unpacking libkpathsea6:amd64 (2025.20250727.75242+ds-4) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../084-libptexenc1_2025.20250727.75242+ds-4_amd64.deb ... Unpacking libptexenc1:amd64 (2025.20250727.75242+ds-4) ... Selecting previously unselected package libsynctex2:amd64. Preparing to unpack .../085-libsynctex2_2025.20250727.75242+ds-4_amd64.deb ... Unpacking libsynctex2:amd64 (2025.20250727.75242+ds-4) ... Selecting previously unselected package libtexlua53-5:amd64. Preparing to unpack .../086-libtexlua53-5_2025.20250727.75242+ds-4_amd64.deb ... Unpacking libtexlua53-5:amd64 (2025.20250727.75242+ds-4) ... Selecting previously unselected package t1utils. Preparing to unpack .../087-t1utils_1.41-4_amd64.deb ... Unpacking t1utils (1.41-4) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../088-libpixman-1-0_0.46.4-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.46.4-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../089-libxcb-render0_1.17.0-2+b1_amd64.deb ... Unpacking libxcb-render0:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../090-libxcb-shm0_1.17.0-2+b1_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.17.0-2+b1) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../091-libxrender1_1%3a0.9.12-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.12-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../092-libcairo2_1.18.4-1+b1_amd64.deb ... Unpacking libcairo2:amd64 (1.18.4-1+b1) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../093-libgraphite2-3_1.3.14-11_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-11) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../094-libharfbuzz0b_12.1.0-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (12.1.0-1) ... Selecting previously unselected package libicu76:amd64. Preparing to unpack .../095-libicu76_76.1-4_amd64.deb ... Unpacking libicu76:amd64 (76.1-4) ... Selecting previously unselected package libmpfi0:amd64. Preparing to unpack .../096-libmpfi0_1.5.4+ds-4_amd64.deb ... Unpacking libmpfi0:amd64 (1.5.4+ds-4) ... Selecting previously unselected package libpotrace0:amd64. Preparing to unpack .../097-libpotrace0_1.16-2+b2_amd64.deb ... Unpacking libpotrace0:amd64 (1.16-2+b2) ... Selecting previously unselected package libteckit0:amd64. Preparing to unpack .../098-libteckit0_2.5.12+ds1-1+b1_amd64.deb ... Unpacking libteckit0:amd64 (2.5.12+ds1-1+b1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../099-libxmu6_2%3a1.1.3-3+b4_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.3-3+b4) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../100-libxpm4_1%3a3.5.17-1+b3_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.17-1+b3) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../101-libxaw7_2%3a1.0.16-1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.16-1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../102-libxi6_2%3a1.8.2-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.8.2-1) ... Selecting previously unselected package libzzip-0-13t64:amd64. Preparing to unpack .../103-libzzip-0-13t64_0.13.78+dfsg.1-0.2_amd64.deb ... Unpacking libzzip-0-13t64:amd64 (0.13.78+dfsg.1-0.2) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../104-texlive-binaries_2025.20250727.75242+ds-4_amd64.deb ... Unpacking texlive-binaries (2025.20250727.75242+ds-4) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../105-xdg-utils_1.2.1-2_all.deb ... Unpacking xdg-utils (1.2.1-2) ... Selecting previously unselected package texlive-base. Preparing to unpack .../106-texlive-base_2025.20250927-4_all.deb ... Unpacking texlive-base (2025.20250927-4) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../107-hicolor-icon-theme_0.18-2_all.deb ... Unpacking hicolor-icon-theme (0.18-2) ... Selecting previously unselected package imagemagick-7.q16. Preparing to unpack .../108-imagemagick-7.q16_8%3a7.1.2.8+dfsg1-1_amd64.deb ... Unpacking imagemagick-7.q16 (8:7.1.2.8+dfsg1-1) ... Selecting previously unselected package imagemagick. Preparing to unpack .../109-imagemagick_8%3a7.1.2.8+dfsg1-1_amd64.deb ... Unpacking imagemagick (8:7.1.2.8+dfsg1-1) ... Selecting previously unselected package hevea. Preparing to unpack .../110-hevea_2.36-2+b4_amd64.deb ... Unpacking hevea (2.36-2+b4) ... Selecting previously unselected package libfindlib-ocaml-dev. Preparing to unpack .../111-libfindlib-ocaml-dev_1.9.8-1+b1_amd64.deb ... Unpacking libfindlib-ocaml-dev (1.9.8-1+b1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../112-libgmpxx4ldbl_2%3a6.3.0+dfsg-5_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../113-libgmp-dev_2%3a6.3.0+dfsg-5_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5) ... Selecting previously unselected package libgmp3-dev:amd64. Preparing to unpack .../114-libgmp3-dev_2%3a6.3.0+dfsg-5_amd64.deb ... Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-5) ... Selecting previously unselected package libzarith-ocaml-dev. Preparing to unpack .../115-libzarith-ocaml-dev_1.14-1+b2_amd64.deb ... Unpacking libzarith-ocaml-dev (1.14-1+b2) ... Selecting previously unselected package libcoq-core-ocaml-dev. Preparing to unpack .../116-libcoq-core-ocaml-dev_9.1.0+dfsg-2_amd64.deb ... Unpacking libcoq-core-ocaml-dev (9.1.0+dfsg-2) ... Selecting previously unselected package libcoq-stdlib. Preparing to unpack .../117-libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb ... Unpacking libcoq-stdlib (8.20.1+dfsg-1+b1) ... dpkg: error processing archive /tmp/apt-dpkg-install-ip3FPu/117-libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb (--unpack): trying to overwrite '/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/theories/Classes/CMorphisms.glob', which is also in package libcoq-core (9.1.0+dfsg-2) dpkg-deb: error: paste subprocess was killed by signal (Broken pipe) Selecting previously unselected package liblua5.4-0:amd64. Preparing to unpack .../118-liblua5.4-0_5.4.8-1_amd64.deb ... Unpacking liblua5.4-0:amd64 (5.4.8-1) ... Selecting previously unselected package libnuma1:amd64. Preparing to unpack .../119-libnuma1_2.0.19-1_amd64.deb ... Unpacking libnuma1:amd64 (2.0.19-1) ... Selecting previously unselected package libocamlgraph-ocaml-dev. Preparing to unpack .../120-libocamlgraph-ocaml-dev_2.2.0-2_amd64.deb ... Unpacking libocamlgraph-ocaml-dev (2.2.0-2) ... Selecting previously unselected package libyaml-0-2:amd64. Preparing to unpack .../121-libyaml-0-2_0.2.5-2_amd64.deb ... Unpacking libyaml-0-2:amd64 (0.2.5-2) ... Selecting previously unselected package pandoc-data. Preparing to unpack .../122-pandoc-data_3.1.11.1-3_all.deb ... Unpacking pandoc-data (3.1.11.1-3) ... Selecting previously unselected package pandoc. Preparing to unpack .../123-pandoc_3.1.11.1+ds-4_amd64.deb ... Unpacking pandoc (3.1.11.1+ds-4) ... Errors were encountered while processing: /tmp/apt-dpkg-install-ip3FPu/117-libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb E: Sub-process /usr/bin/dpkg returned an error code (1) Setting up media-types (14.0.0) ... Setting up libpipeline1:amd64 (1.5.8-1) ... Setting up libgraphite2-3:amd64 (1.3.14-11) ... Setting up liblcms2-2:amd64 (2.16-2) ... Setting up libpixman-1-0:amd64 (0.46.4-1) ... Setting up libtext-charwidth-perl:amd64 (0.04-11+b4) ... Setting up libsharpyuv0:amd64 (1.5.0-0.1) ... Setting up libxau6:amd64 (1:1.0.11-1) ... Setting up libxdmcp6:amd64 (1:1.1.5-1) ... Setting up libkeyutils1:amd64 (1.6.3-6) ... Setting up libxcb1:amd64 (1.17.0-2+b1) ... Setting up liblerc4:amd64 (4.0.0+ds-5) ... Setting up libzstd-dev:amd64 (1.5.7+dfsg-2) ... Setting up bsdextrautils (2.41.2-4) ... Setting up hicolor-icon-theme (0.18-2) ... Setting up libmagic-mgc (1:5.46-5) ... Setting up libxcb-render0:amd64 (1.17.0-2+b1) ... Setting up dh-coq (0.14) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libyaml-0-2:amd64 (0.2.5-2) ... Setting up imagemagick-7-common (8:7.1.2.8+dfsg1-1) ... Setting up libxml2-16:amd64 (2.15.1+dfsg-0.3) ... Setting up libijs-0.35:amd64 (0.35-16) ... Setting up libdebhelper-perl (13.28) ... Setting up libgs-common (10.06.0~dfsg-3) ... Setting up libbrotli1:amd64 (1.1.0-2+b7) ... Setting up libmagic1t64:amd64 (1:5.46-5) ... Setting up x11-common (1:7.7+26) ... invoke-rc.d: could not determine current runlevel Setting up X socket directories... /tmp/.X11-unix /tmp/.ICE-unix. Setting up libdeflate0:amd64 (1.23-2) ... Setting up gettext-base (0.23.1-2+b1) ... Setting up m4 (1.4.20-2) ... Setting up libcoq-core (9.1.0+dfsg-2) ... Setting up libxcb-shm0:amd64 (1.17.0-2+b1) ... Setting up libcom-err2:amd64 (1.47.2-3+b3) ... Setting up file (1:5.46-5) ... Setting up libconfig-tiny-perl (2.30-1) ... Setting up libtext-wrapi18n-perl (0.06-10) ... Setting up libjbig0:amd64 (2.1-6.1+b2) ... Setting up libnetpbm11t64:amd64 (2:11.12.00-1) ... Setting up libelf1t64:amd64 (0.194-1) ... Setting up poppler-data (0.4.12-1) ... Setting up libkrb5support0:amd64 (1.21.3-5) ... Setting up tzdata (2025b-5) ... Current default time zone: 'Etc/UTC' Local time is now: Sun Nov 2 00:18:53 UTC 2025. Universal Time is now: Sun Nov 2 00:18:53 UTC 2025. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up libfontenc1:amd64 (1:1.1.8-1+b2) ... Setting up autotools-dev (20240727.1) ... Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5) ... Setting up libjpeg62-turbo:amd64 (1:2.1.5-4) ... Setting up libzzip-0-13t64:amd64 (0.13.78+dfsg.1-0.2) ... Setting up libx11-data (2:1.8.12-1) ... Setting up libjbig2dec0:amd64 (0.20-1+b3) ... Setting up libteckit0:amd64 (2.5.12+ds1-1+b1) ... Setting up libavahi-common-data:amd64 (0.8-17) ... Setting up libncurses6:amd64 (6.5+20250216-2) ... Setting up libdbus-1-3:amd64 (1.16.2-2) ... Setting up xfonts-encodings (1:1.0.4-2.2) ... Setting up t1utils (1.41-4) ... Setting up libtexlua53-5:amd64 (2025.20250727.75242+ds-4) ... Setting up libproc2-0:amd64 (2:4.0.4-9) ... Setting up libstdlib-ocaml (5.3.0-3) ... Setting up libunistring5:amd64 (1.3-2) ... Setting up libpng16-16t64:amd64 (1.6.50-1) ... Setting up libidn12:amd64 (1.43-2) ... Setting up autopoint (0.23.1-2) ... Setting up libmpfi0:amd64 (1.5.4+ds-4) ... Setting up ocaml-base (5.3.0-3) ... Setting up libk5crypto3:amd64 (1.21.3-5) ... Setting up libltdl7:amd64 (2.5.4-7) ... Setting up libfftw3-double3:amd64 (3.3.10-2+b1) ... Setting up libkpathsea6:amd64 (2025.20250727.75242+ds-4) ... Setting up libraw23t64:amd64 (0.21.4-2) ... Setting up autoconf (2.72-3.1) ... Setting up libwebp7:amd64 (1.5.0-0.1) ... Setting up libffi8:amd64 (3.5.2-2) ... Setting up libnuma1:amd64 (2.0.19-1) ... Setting up dwz (0.16-2) ... Setting up libdav1d7:amd64 (1.5.1-1) ... Setting up sensible-utils (0.0.26) ... Setting up libtiff6:amd64 (4.7.1-1) ... Setting up libuchardet0:amd64 (0.0.8-2) ... Setting up procps (2:4.0.4-9) ... Setting up libtasn1-6:amd64 (4.20.0-2) ... Setting up liblua5.4-0:amd64 (5.4.8-1) ... Setting up libopenjp2-7:amd64 (2.5.3-2.1) ... Setting up libx11-6:amd64 (2:1.8.12-1) ... Setting up netbase (6.5) ... Setting up libkrb5-3:amd64 (1.21.3-5) ... Setting up libicu76:amd64 (76.1-4) ... Setting up libpaper2:amd64 (2.2.5-0.3+b2) ... Setting up pandoc-data (3.1.11.1-3) ... Setting up libde265-0:amd64 (1.0.16-1) ... Setting up libwebpmux3:amd64 (1.5.0-0.1) ... Setting up readline-common (8.3-3) ... Setting up xdg-utils (1.2.1-2) ... update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode Setting up liblocale-gettext-perl (1.07-7+b1) ... Setting up libsynctex2:amd64 (2025.20250727.75242+ds-4) ... Setting up libpotrace0:amd64 (1.16-2+b2) ... Setting up automake (1:1.18.1-2) ... update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.15.0-1) ... Setting up libice6:amd64 (2:1.1.1-1) ... Setting up libncurses-dev:amd64 (6.5+20250216-2) ... Setting up gettext (0.23.1-2+b1) ... Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5) ... Setting up libxpm4:amd64 (1:3.5.17-1+b3) ... Setting up libxrender1:amd64 (1:0.9.12-1) ... Setting up libtool (2.5.4-7) ... Setting up libstdlib-ocaml-dev (5.3.0-3) ... Setting up libwebpdemux2:amd64 (1.5.0-0.1) ... Setting up libavahi-common3:amd64 (0.8-17) ... Setting up dh-ocaml (2.4) ... Setting up libfindlib-ocaml (1.9.8-1+b1) ... Setting up libxext6:amd64 (2:1.3.4-1+b3) ... Setting up libidn2-0:amd64 (2.3.8-4) ... Setting up libpaper-utils (2.2.5-0.3+b2) ... Setting up libzarith-ocaml (1.14-1+b2) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up help2man (1.49.3) ... Setting up dh-autoreconf (21) ... Setting up libcompiler-libs-ocaml-dev (5.3.0-3) ... Setting up libglib2.0-0t64:amd64 (2.86.1-1) ... No schema files found: doing nothing. Setting up ocaml-interp (5.3.0-3) ... Setting up libptexenc1:amd64 (2025.20250727.75242+ds-4) ... Setting up pandoc (3.1.11.1+ds-4) ... Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ... Setting up libp11-kit0:amd64 (0.25.9-2) ... Setting up ocaml-findlib (1.9.8-1+b1) ... Setting up libgssapi-krb5-2:amd64 (1.21.3-5) ... Setting up ucf (3.0052) ... Setting up netpbm (2:11.12.00-1) ... Setting up libreadline8t64:amd64 (8.3-3) ... Setting up dh-strip-nondeterminism (1.15.0-1) ... Setting up liblqr-1-0:amd64 (0.4.2-2.1+b2) ... Setting up libcoq-core-ocaml (9.1.0+dfsg-2) ... Setting up groff-base (1.23.0-9) ... Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-5) ... Setting up libharfbuzz0b:amd64 (12.1.0-1) ... Setting up libsm6:amd64 (2:1.2.6-1) ... Setting up libpython3.13-stdlib:amd64 (3.13.9-1) ... Setting up libavahi-client3:amd64 (0.8-17) ... Setting up libpython3-stdlib:amd64 (3.13.7-1) ... Setting up libgnutls30t64:amd64 (3.8.10-3) ... Setting up libxi6:amd64 (2:1.8.2-1) ... Setting up python3.13 (3.13.9-1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up python3 (3.13.7-1) ... Setting up ocaml (5.3.0-3) ... Setting up xfonts-utils (1:7.7+7) ... Setting up man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up tex-common (6.19) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libxt6t64:amd64 (1:1.2.1-1.3) ... Setting up libfindlib-ocaml-dev (1.9.8-1+b1) ... Setting up coq (9.1.0+dfsg-2) ... Setting up libzarith-ocaml-dev (1.14-1+b2) ... Setting up libcups2t64:amd64 (2.4.14-1) ... Setting up libocamlgraph-ocaml-dev (2.2.0-2) ... Setting up libxmu6:amd64 (2:1.1.3-3+b4) ... Setting up debhelper (13.28) ... Setting up libxaw7:amd64 (2:1.0.16-1) ... Setting up fonts-urw-base35 (20200910-8) ... Setting up libcoq-core-ocaml-dev (9.1.0+dfsg-2) ... Setting up libgs10-common (10.06.0~dfsg-3) ... Setting up fontconfig-config (2.15.0-2.4) ... Setting up libfontconfig1:amd64 (2.15.0-2.4) ... Setting up libgs10:amd64 (10.06.0~dfsg-3) ... Setting up ghostscript (10.06.0~dfsg-3) ... Setting up libcairo2:amd64 (1.18.4-1+b1) ... Setting up texlive-binaries (2025.20250727.75242+ds-4) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up texlive-base (2025.20250927-4) ... tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex Setting up libheif-plugin-dav1d:amd64 (1.20.2-2+b1) ... Setting up libheif-plugin-libde265:amd64 (1.20.2-2+b1) ... Setting up libheif1:amd64 (1.20.2-2+b1) ... Setting up libmagickcore-7.q16-10:amd64 (8:7.1.2.8+dfsg1-1) ... Setting up libmagickwand-7.q16-10:amd64 (8:7.1.2.8+dfsg1-1) ... Setting up imagemagick-7.q16 (8:7.1.2.8+dfsg1-1) ... update-alternatives: using /usr/bin/compare-im7.q16 to provide /usr/bin/compare (compare) in auto mode update-alternatives: using /usr/bin/compare-im7.q16 to provide /usr/bin/compare-im7 (compare-im7) in auto mode update-alternatives: using /usr/bin/animate-im7.q16 to provide /usr/bin/animate (animate) in auto mode update-alternatives: using /usr/bin/animate-im7.q16 to provide /usr/bin/animate-im7 (animate-im7) in auto mode update-alternatives: using /usr/bin/convert-im7.q16 to provide /usr/bin/convert (convert) in auto mode update-alternatives: using /usr/bin/convert-im7.q16 to provide /usr/bin/convert-im7 (convert-im7) in auto mode update-alternatives: using /usr/bin/composite-im7.q16 to provide /usr/bin/composite (composite) in auto mode update-alternatives: using /usr/bin/composite-im7.q16 to provide /usr/bin/composite-im7 (composite-im7) in auto mode update-alternatives: using /usr/bin/conjure-im7.q16 to provide /usr/bin/conjure (conjure) in auto mode update-alternatives: using /usr/bin/conjure-im7.q16 to provide /usr/bin/conjure-im7 (conjure-im7) in auto mode update-alternatives: using /usr/bin/import-im7.q16 to provide /usr/bin/import (import) in auto mode update-alternatives: using /usr/bin/import-im7.q16 to provide /usr/bin/import-im7 (import-im7) in auto mode update-alternatives: using /usr/bin/identify-im7.q16 to provide /usr/bin/identify (identify) in auto mode update-alternatives: using /usr/bin/identify-im7.q16 to provide /usr/bin/identify-im7 (identify-im7) in auto mode update-alternatives: using /usr/bin/stream-im7.q16 to provide /usr/bin/stream (stream) in auto mode update-alternatives: using /usr/bin/stream-im7.q16 to provide /usr/bin/stream-im7 (stream-im7) in auto mode update-alternatives: using /usr/bin/display-im7.q16 to provide /usr/bin/display (display) in auto mode update-alternatives: using /usr/bin/display-im7.q16 to provide /usr/bin/display-im7 (display-im7) in auto mode update-alternatives: using /usr/bin/montage-im7.q16 to provide /usr/bin/montage (montage) in auto mode update-alternatives: using /usr/bin/montage-im7.q16 to provide /usr/bin/montage-im7 (montage-im7) in auto mode update-alternatives: using /usr/bin/mogrify-im7.q16 to provide /usr/bin/mogrify (mogrify) in auto mode update-alternatives: using /usr/bin/mogrify-im7.q16 to provide /usr/bin/mogrify-im7 (mogrify-im7) in auto mode update-alternatives: using /usr/bin/magick-im7.q16 to provide /usr/bin/magick (magick) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/magick.1.gz because associated file /usr/share/man/man1/magick-im7.q16.1.gz (of link group magick) doesn't exist update-alternatives: using /usr/bin/magick-im7.q16 to provide /usr/bin/magick-im7 (magick-im7) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/magick-im7.1.gz because associated file /usr/share/man/man1/magick-im7.q16.1.gz (of link group magick-im7) doesn't exist update-alternatives: using /usr/bin/magick-script-im7.q16 to provide /usr/bin/magick-script (magick-script) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/magick-script.1.gz because associated file /usr/share/man/man1/magick-script-im7.q16.1.gz (of link group magick-script) doesn't exist update-alternatives: using /usr/bin/magick-script-im7.q16 to provide /usr/bin/magick-script-im7 (magick-script-im7) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/magick-script-im7.1.gz because associated file /usr/share/man/man1/magick-script-im7.q16.1.gz (of link group magick-script-im7) doesn't exist Setting up hevea (2.36-2+b4) ... Setting up imagemagick (8:7.1.2.8+dfsg1-1) ... Processing triggers for libc-bin (2.41-12) ... Processing triggers for tex-common (6.19) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... E: pbuilder-satisfydepends failed. I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/2254609 and its subdirectories ott failed to build from source. removed '/var/lib/jenkins/userContent/reproducible/debian/rbuild/experimental/amd64/ott_0.34+ds-2.rbuild.log' removed '/var/lib/jenkins/userContent/reproducible/debian/rbuild/experimental/amd64/ott_0.34+ds-2.rbuild.log.gz' removed '/var/lib/jenkins/userContent/reproducible/debian/logs/experimental/amd64/ott_0.34+ds-2.build1.log.gz' Sun Nov 2 00:19:15 UTC 2025 W: No second build log, what happened? Compressing the 1st log... b1/build.log: 83.0% -- replaced with stdout Sun Nov 2 00:19:15 UTC 2025 W: Downloading the build dependencies failed Sun Nov 2 00:19:15 UTC 2025 W: Maybe there was a network problem, or the build dependencies are currently uninstallable; consider filing a bug in the last case. Sun Nov 2 00:19:15 UTC 2025 W: Network problems are automatically rescheduled after some hours. INSERT 0 1 INSERT 0 1 DELETE 1 [2025-11-02 00:19:16] INFO: Starting at 2025-11-02 00:19:16.303416 [2025-11-02 00:19:16] INFO: Generating the pages of 1 package(s) [2025-11-02 00:19:16] CRITICAL: https://tests.reproducible-builds.org/debian/experimental/amd64/ott didn't produce a buildlog, even though it has been built. [2025-11-02 00:19:16] INFO: Finished at 2025-11-02 00:19:16.526747, took: 0:00:00.223333 Sun Nov 2 00:19:16 UTC 2025 - successfully updated the database and updated https://tests.reproducible-builds.org/debian/rb-pkg/experimental/amd64/ott.html Starting cleanup. /var/lib/jenkins/userContent/reproducible/debian/rbuild/experimental/amd64/ott_0.34+ds-2.rbuild.log: 81.5% -- replaced with /var/lib/jenkins/userContent/reproducible/debian/rbuild/experimental/amd64/ott_0.34+ds-2.rbuild.log.gz [2025-11-02 00:19:16] INFO: Starting at 2025-11-02 00:19:16.835963 [2025-11-02 00:19:16] INFO: Generating the pages of 1 package(s) [2025-11-02 00:19:17] ERROR: Either /var/lib/jenkins/userContent/reproducible/debian/logs/experimental/amd64/ott_0.34+ds-2.build2.log.gz or /var/lib/jenkins/userContent/reproducible/debian/logdiffs/experimental/amd64/ott_0.34+ds-2.diff.gz is missing [2025-11-02 00:19:17] INFO: Finished at 2025-11-02 00:19:17.068145, took: 0:00:00.232185 All cleanup done. Sun Nov 2 00:19:17 UTC 2025 - total duration: 0h 1m 27s. Sun Nov 2 00:19:17 UTC 2025 - reproducible_build.sh stopped running as /tmp/jenkins-script-aO6cmO3G, removing. Finished with result: success Main processes terminated with: code=exited, status=0/SUCCESS Service runtime: 1min 28.564s CPU time consumed: 2.010s Memory peak: 37.1M (swap: 0B)