Running as unit: rb-build-amd64_13-24521.service
====================================================================================
Thu Nov 21 09:46:04 UTC 2024 - running /srv/jenkins/bin/reproducible_build.sh (for job reproducible_builder_amd64_13) on jenkins, called using "ionos11-amd64 ionos5-amd64" as arguments.
Thu Nov 21 09:46:04 UTC 2024 - actually running "reproducible_build.sh" (md5sum 68e686e434c9ab7bc3ec047d8b309cbc) as "/tmp/jenkins-script-ozSjsusd"

$ git clone https://salsa.debian.org/qa/jenkins.debian.net.git ; more CONTRIBUTING

Thu Nov 21 09:46:04 UTC 2024 - checking /var/lib/jenkins/offline_nodes if ionos11-amd64.debian.net is marked as down.
Thu Nov 21 09:46:04 UTC 2024 - checking via ssh if ionos11-amd64.debian.net is up.
removed '/tmp/read-only-fs-test-60nB9p'
Thu Nov 21 09:46:05 UTC 2024 - checking /var/lib/jenkins/offline_nodes if ionos5-amd64.debian.net is marked as down.
Thu Nov 21 09:46:05 UTC 2024 - checking via ssh if ionos5-amd64.debian.net is up.
removed '/tmp/read-only-fs-test-tVcmeI'
ok, let's check if coq-stdpp is building anywhere yet…
ok, coq-stdpp is not building anywhere…
UPDATE 1
=============================================================================
Initialising reproducibly build of coq-stdpp in unstable on amd64 on jenkins now. 
1st build will be done on ionos11-amd64.debian.net.
2nd build will be done on ionos5-amd64.debian.net.
=============================================================================
Thu Nov 21 09:46:25 UTC 2024  I: starting to build coq-stdpp/unstable/amd64 on jenkins on '2024-11-21 09:46'
Thu Nov 21 09:46:25 UTC 2024  I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/amd64_13/24521/console.log
1732182385 amd64 unstable coq-stdpp
Thu Nov 21 09:46:25 UTC 2024  I: Downloading source for unstable/coq-stdpp=1.11.0-1
--2024-11-21 09:46:25--  http://deb.debian.org/debian/pool/main/c/coq-stdpp/coq-stdpp_1.11.0-1.dsc
Connecting to 46.16.76.132:3128... connected.
Proxy request sent, awaiting response... 200 OK
Length: 2076 (2.0K) [text/prs.lines.tag]
Saving to: ‘coq-stdpp_1.11.0-1.dsc’

     0K ..                                                    100%  280M=0s

2024-11-21 09:46:25 (280 MB/s) - ‘coq-stdpp_1.11.0-1.dsc’ saved [2076/2076]

--2024-11-21 09:46:25--  http://deb.debian.org/debian/pool/main/c/coq-stdpp/coq-stdpp_1.11.0-1.dsc
Connecting to 46.16.76.132:3128... connected.
Proxy request sent, awaiting response... 200 OK
Length: 2076 (2.0K) [text/prs.lines.tag]
Saving to: ‘coq-stdpp_1.11.0-1.dsc’

     0K ..                                                    100%  280M=0s

2024-11-21 09:46:25 (280 MB/s) - ‘coq-stdpp_1.11.0-1.dsc’ saved [2076/2076]

Thu Nov 21 09:46:25 UTC 2024  I: coq-stdpp_1.11.0-1.dsc
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: any
Version: 1.11.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://gitlab.mpi-sws.org/iris/stdpp
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-stdpp
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-stdpp.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-stdpp deb ocaml optional arch=any
Checksums-Sha1:
 93333a7b6ebf025618fa0dd8a1ffd9861905deba 257015 coq-stdpp_1.11.0.orig.tar.bz2
 60b8c9c085e1a2513efc0afe2c59ef5ef8f5d7c4 2772 coq-stdpp_1.11.0-1.debian.tar.xz
Checksums-Sha256:
 05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee 257015 coq-stdpp_1.11.0.orig.tar.bz2
 f1b2c1a7b365d70c5530df961bf3cc001ffd9dca73d1925e2b5e474bc174c2de 2772 coq-stdpp_1.11.0-1.debian.tar.xz
Files:
 4cfe674a29ad567f8bd58556f304516b 257015 coq-stdpp_1.11.0.orig.tar.bz2
 97a7269b0d7c8bfe05870a86e2382bb2 2772 coq-stdpp_1.11.0-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sJ4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRiqkP/ibSXcazZYxzkIE6YGqdxMlLXrXcohxH
rGduRzlkD8esZjpeAPy8bXMIWM4A0gCGGNKdIsLDjiPcCD8EpK6konubey4ZabTM
8Zxl2Y9o1Gjp/v1MQMmsOTuOTlm9pulgdC02QdVFylFZ2O3o9UtIvm7rkLHHgBK+
WngjUyHDUwq12T/Ljcp2EXbhueZXvZv/4d9Q7yuZLVlsDAYaM/Oy+Bm9hKMKoumo
sFqWLIwtme7BB+/To2nQZWWkBM9WyLkDBbaEM9q/y39ewLqqh2FwtAyjDH2v0yuO
w6yD5xUk3Dhv6Ws5bltn72fqUiH63vAK6iZuBr8KmjpOwRZdhAYAsr2zLj3zZ2TC
oUI/UGWakMhjva3oYDkuNEp9lvC/8+IX2T3m8TvUKBkM5DcGPh/P/a8at/JbXzLu
xqkgrlQxH8fdbTRrDu1qHytbPrtbNejOeW8mPtSpGbkKAU1TwBhSgVVCOJym/Dz2
nkRXXtUw2RuclewCubrB/qIdo3Wh2t+yNtnR5EBWCvdV8I1YiNTnu6t3eVaj3rLS
zwdLAEe5CZHN5G6EzlUnzm3q/2bGw6n8VfuuEtjfeBhzpTLhKgNfOnUuUu6GzcLn
RSSY+1/i1A1YsBbXG+Dy4BaOhWPDhJ0rNd/+cw4OFdUQIJtG2s/YQS3v8vlUq6qd
k1NOpwZtxkPA
=lsp9
-----END PGP SIGNATURE-----
Thu Nov 21 09:46:25 UTC 2024  I: Checking whether the package is not for us
Thu Nov 21 09:46:25 UTC 2024  I: Starting 1st build on remote node ionos11-amd64.debian.net.
Thu Nov 21 09:46:25 UTC 2024  I: Preparing to do remote build '1' on ionos11-amd64.debian.net.
Thu Nov 21 09:46:25 UTC 2024 - checking /var/lib/jenkins/offline_nodes if ionos11-amd64.debian.net is marked as down.
Thu Nov 21 09:46:25 UTC 2024 - checking via ssh if ionos11-amd64.debian.net is up.
removed '/tmp/read-only-fs-test-i2JWjG'
====================================================================================
Thu Nov 21 09:46:26 UTC 2024 - running /srv/jenkins/bin/reproducible_build.sh (for job /srv/jenkins/bin/reproducible_build.sh) on ionos11-amd64, called using "1 coq-stdpp unstable /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb 1.11.0-1" as arguments.
Thu Nov 21 09:46:26 UTC 2024 - actually running "reproducible_build.sh" (md5sum 68e686e434c9ab7bc3ec047d8b309cbc) as "/tmp/jenkins-script-4cYjlDE8"

$ git clone https://salsa.debian.org/qa/jenkins.debian.net.git ; more CONTRIBUTING

Thu Nov 21 09:46:26 UTC 2024  I: Downloading source for unstable/coq-stdpp=1.11.0-1
Reading package lists...
NOTICE: 'coq-stdpp' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/coq-stdpp.git
Please use:
git clone https://salsa.debian.org/ocaml-team/coq-stdpp.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 262 kB of source archives.
Get:1 http://deb.debian.org/debian unstable/main coq-stdpp 1.11.0-1 (dsc) [2076 B]
Get:2 http://deb.debian.org/debian unstable/main coq-stdpp 1.11.0-1 (tar) [257 kB]
Get:3 http://deb.debian.org/debian unstable/main coq-stdpp 1.11.0-1 (diff) [2772 B]
Fetched 262 kB in 0s (3701 kB/s)
Download complete and in download only mode
Reading package lists...
NOTICE: 'coq-stdpp' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/coq-stdpp.git
Please use:
git clone https://salsa.debian.org/ocaml-team/coq-stdpp.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 262 kB of source archives.
Get:1 http://deb.debian.org/debian unstable/main coq-stdpp 1.11.0-1 (dsc) [2076 B]
Get:2 http://deb.debian.org/debian unstable/main coq-stdpp 1.11.0-1 (tar) [257 kB]
Get:3 http://deb.debian.org/debian unstable/main coq-stdpp 1.11.0-1 (diff) [2772 B]
Fetched 262 kB in 0s (3701 kB/s)
Download complete and in download only mode
=============================================================================
Building coq-stdpp in unstable on amd64 on ionos11-amd64 now.
Date:     Thu Nov 21 09:46:27 UTC 2024
Date UTC: Thu Nov 21 09:46:27 UTC 2024
=============================================================================
W: /root/.pbuilderrc does not exist
I: Logging to b1/build.log
I: pbuilder: network access will be disabled during build
I: Current time: Wed Nov 20 21:46:27 -12 2024
I: pbuilder-time-stamp: 1732182387
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/unstable-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 [coq-stdpp_1.11.0-1.dsc]
I: copying [./coq-stdpp_1.11.0.orig.tar.bz2]
I: copying [./coq-stdpp_1.11.0-1.debian.tar.xz]
I: Extracting source
gpgv: Signature made Wed Nov 20 09:49:18 2024 
gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
gpgv:                issuer "jpuydt@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify inline signature for ./coq-stdpp_1.11.0-1.dsc: no acceptable signature found
dpkg-source: info: extracting coq-stdpp in coq-stdpp-1.11.0
dpkg-source: info: unpacking coq-stdpp_1.11.0.orig.tar.bz2
dpkg-source: info: unpacking coq-stdpp_1.11.0-1.debian.tar.xz
I: Not using root during the build.
I: Installing the build-deps
I: user script /srv/workspace/pbuilder/1715620/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=20 '
  DISTRIBUTION='unstable'
  HOME='/root'
  HOST_ARCH='amd64'
  IFS=' 	
  '
  INVOCATION_ID='d4912baf0510420797b38b7d0f89a835'
  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='1715620'
  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.afSXqcsb/pbuilderrc_nfRB --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b1 --logfile b1/build.log coq-stdpp_1.11.0-1.dsc'
  SUDO_GID='111'
  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.1.0-27-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.115-1 (2024-11-01) x86_64 GNU/Linux
I: ls -l /bin
  lrwxrwxrwx 1 root root 7 Aug  4 21:30 /bin -> usr/bin
I: user script /srv/workspace/pbuilder/1715620/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 <pbuilder-maint@lists.alioth.debian.org>
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 (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'.
Selecting previously unselected package pbuilder-satisfydepends-dummy.
(Reading database ... 19966 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 (>= 8.18); 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 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.

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} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libconfig-tiny-perl{a} libcoq-stdlib{a} libdebhelper-perl{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libicu72{a} libmagic-mgc{a} libmagic1t64{a} libpipeline1{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} 
The following packages are RECOMMENDED but will NOT be installed:
  curl libarchive-cpio-perl libltdl-dev libmail-sendmail-perl lynx ocaml wget 
0 packages upgraded, 33 newly installed, 0 to remove and 0 not upgraded.
Need to get 43.5 MB of archives. After unpacking 225 MB will be used.
The following packages have unmet dependencies:
 pbuilder-satisfydepends-dummy : Depends: coq (>= 8.18) but it is not installable
                                 Depends: libcoq-core-ocaml-dev but it is not installable
The following actions will resolve these dependencies:

      Install the following packages:                   
1)      coq [8.20.0+dfsg-1 (unstable)]                  
2)      libcom-err2 [1.47.1-1+b1 (unstable)]            
3)      libcompiler-libs-ocaml-dev [5.2.0-3 (unstable)] 
4)      libcoq-core-ocaml [8.20.0+dfsg-1 (unstable)]    
5)      libcoq-core-ocaml-dev [8.20.0+dfsg-1 (unstable)]
6)      libexpat1 [2.6.4-1 (unstable)]                  
7)      libfindlib-ocaml [1.9.6-3 (unstable)]           
8)      libfindlib-ocaml-dev [1.9.6-3 (unstable)]       
9)      libgmp-dev [2:6.3.0+dfsg-2+b2 (unstable)]       
10)     libgmp3-dev [2:6.3.0+dfsg-2+b2 (unstable)]      
11)     libgmpxx4ldbl [2:6.3.0+dfsg-2+b2 (unstable)]    
12)     libgssapi-krb5-2 [1.21.3-3 (unstable)]          
13)     libk5crypto3 [1.21.3-3 (unstable)]              
14)     libkeyutils1 [1.6.3-4 (unstable)]               
15)     libkrb5-3 [1.21.3-3 (unstable)]                 
16)     libkrb5support0 [1.21.3-3 (unstable)]           
17)     libncurses-dev [6.5-2+b1 (unstable)]            
18)     libncurses6 [6.5-2+b1 (unstable)]               
19)     libnsl2 [1.3.0-3+b3 (unstable)]                 
20)     libpython3-stdlib [3.12.7-1 (unstable)]         
21)     libpython3.12-minimal [3.12.7-3 (unstable)]     
22)     libpython3.12-stdlib [3.12.7-3 (unstable)]      
23)     libreadline8t64 [8.2-5 (unstable)]              
24)     libstdlib-ocaml [5.2.0-3 (unstable)]            
25)     libstdlib-ocaml-dev [5.2.0-3 (unstable)]        
26)     libtirpc-common [1.3.4+ds-1.3 (unstable)]       
27)     libtirpc3t64 [1.3.4+ds-1.3+b1 (unstable)]       
28)     libzarith-ocaml [1.14-1 (unstable)]             
29)     libzarith-ocaml-dev [1.14-1 (unstable)]         
30)     libzstd-dev [1.5.6+dfsg-1+b1 (unstable)]        
31)     media-types [10.1.0 (unstable)]                 
32)     netbase [6.4 (unstable)]                        
33)     ocaml [5.2.0-3 (unstable)]                      
34)     ocaml-base [5.2.0-3 (unstable)]                 
35)     ocaml-findlib [1.9.6-3 (unstable)]              
36)     ocaml-interp [5.2.0-3 (unstable)]               
37)     python3 [3.12.7-1 (unstable)]                   
38)     python3-minimal [3.12.7-1 (unstable)]           
39)     python3.12 [3.12.7-3 (unstable)]                
40)     python3.12-minimal [3.12.7-3 (unstable)]        
41)     readline-common [8.2-5 (unstable)]              
42)     tzdata [2024b-3 (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} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libcom-err2{a} libcompiler-libs-ocaml-dev{a} libconfig-tiny-perl{a} libcoq-core-ocaml{a} libcoq-core-ocaml-dev{a} libcoq-stdlib{a} libdebhelper-perl{a} libelf1t64{a} libexpat1{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfindlib-ocaml-dev{a} libgmp-dev{a} libgmp3-dev{a} libgmpxx4ldbl{a} libgssapi-krb5-2{a} libicu72{a} libk5crypto3{a} libkeyutils1{a} libkrb5-3{a} libkrb5support0{a} libmagic-mgc{a} libmagic1t64{a} libncurses-dev{a} libncurses6{a} libnsl2{a} libpipeline1{a} libpython3-stdlib{a} libpython3.12-minimal{a} libpython3.12-stdlib{a} libreadline8t64{a} libstdlib-ocaml{a} libstdlib-ocaml-dev{a} libtirpc-common{a} libtirpc3t64{a} libtool{a} libuchardet0{a} libxml2{a} libzarith-ocaml{a} libzarith-ocaml-dev{a} libzstd-dev{a} m4{a} man-db{a} media-types{a} netbase{a} ocaml{a} ocaml-base{a} ocaml-findlib{a} ocaml-interp{a} po-debconf{a} python3{a} python3-minimal{a} python3.12{a} python3.12-minimal{a} readline-common{a} sensible-utils{a} tzdata{a} 
The following packages are RECOMMENDED but will NOT be installed:
  ca-certificates curl krb5-locales ledit libarchive-cpio-perl libgpm2 libltdl-dev libmail-sendmail-perl lynx ocaml-man rlfe rlwrap wget 
0 packages upgraded, 75 newly installed, 0 to remove and 0 not upgraded.
Need to get 310 MB of archives. After unpacking 992 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian unstable/main amd64 libpython3.12-minimal amd64 3.12.7-3 [815 kB]
Get: 2 http://deb.debian.org/debian unstable/main amd64 libexpat1 amd64 2.6.4-1 [106 kB]
Get: 3 http://deb.debian.org/debian unstable/main amd64 python3.12-minimal amd64 3.12.7-3 [2162 kB]
Get: 4 http://deb.debian.org/debian unstable/main amd64 python3-minimal amd64 3.12.7-1 [26.8 kB]
Get: 5 http://deb.debian.org/debian unstable/main amd64 media-types all 10.1.0 [26.9 kB]
Get: 6 http://deb.debian.org/debian unstable/main amd64 netbase all 6.4 [12.8 kB]
Get: 7 http://deb.debian.org/debian unstable/main amd64 tzdata all 2024b-3 [255 kB]
Get: 8 http://deb.debian.org/debian unstable/main amd64 libkrb5support0 amd64 1.21.3-3 [32.5 kB]
Get: 9 http://deb.debian.org/debian unstable/main amd64 libcom-err2 amd64 1.47.1-1+b1 [23.2 kB]
Get: 10 http://deb.debian.org/debian unstable/main amd64 libk5crypto3 amd64 1.21.3-3 [79.9 kB]
Get: 11 http://deb.debian.org/debian unstable/main amd64 libkeyutils1 amd64 1.6.3-4 [9092 B]
Get: 12 http://deb.debian.org/debian unstable/main amd64 libkrb5-3 amd64 1.21.3-3 [324 kB]
Get: 13 http://deb.debian.org/debian unstable/main amd64 libgssapi-krb5-2 amd64 1.21.3-3 [136 kB]
Get: 14 http://deb.debian.org/debian unstable/main amd64 libtirpc-common all 1.3.4+ds-1.3 [10.9 kB]
Get: 15 http://deb.debian.org/debian unstable/main amd64 libtirpc3t64 amd64 1.3.4+ds-1.3+b1 [83.1 kB]
Get: 16 http://deb.debian.org/debian unstable/main amd64 libnsl2 amd64 1.3.0-3+b3 [40.6 kB]
Get: 17 http://deb.debian.org/debian unstable/main amd64 readline-common all 8.2-5 [69.3 kB]
Get: 18 http://deb.debian.org/debian unstable/main amd64 libreadline8t64 amd64 8.2-5 [169 kB]
Get: 19 http://deb.debian.org/debian unstable/main amd64 libpython3.12-stdlib amd64 3.12.7-3 [1966 kB]
Get: 20 http://deb.debian.org/debian unstable/main amd64 python3.12 amd64 3.12.7-3 [671 kB]
Get: 21 http://deb.debian.org/debian unstable/main amd64 libpython3-stdlib amd64 3.12.7-1 [9712 B]
Get: 22 http://deb.debian.org/debian unstable/main amd64 python3 amd64 3.12.7-1 [27.8 kB]
Get: 23 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB]
Get: 24 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB]
Get: 25 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB]
Get: 26 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB]
Get: 27 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.22.5-2 [200 kB]
Get: 28 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB]
Get: 29 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-5 [1181 kB]
Get: 30 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.40.2-11 [91.5 kB]
Get: 31 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB]
Get: 32 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB]
Get: 33 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-4 [287 kB]
Get: 34 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3 [493 kB]
Get: 35 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB]
Get: 36 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.16.5-1.3 [823 kB]
Get: 37 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.22.5-2 [723 kB]
Get: 38 http://deb.debian.org/debian unstable/main amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [23.5 MB]
Get: 39 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml amd64 5.2.0-3 [582 kB]
Get: 40 http://deb.debian.org/debian unstable/main amd64 ocaml-base amd64 5.2.0-3 [455 kB]
Get: 41 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml amd64 1.9.6-3 [179 kB]
Get: 42 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml amd64 1.14-1 [116 kB]
Get: 43 http://deb.debian.org/debian unstable/main amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [25.9 MB]
Get: 44 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB]
Get: 45 http://deb.debian.org/debian unstable/main amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.4 MB]
Get: 46 http://deb.debian.org/debian unstable/main amd64 ocaml-interp amd64 5.2.0-3 [6852 kB]
Get: 47 http://deb.debian.org/debian unstable/main amd64 libncurses6 amd64 6.5-2+b1 [105 kB]
Get: 48 http://deb.debian.org/debian unstable/main amd64 libncurses-dev amd64 6.5-2+b1 [351 kB]
Get: 49 http://deb.debian.org/debian unstable/main amd64 libzstd-dev amd64 1.5.6+dfsg-1+b1 [365 kB]
Get: 50 http://deb.debian.org/debian unstable/main amd64 ocaml amd64 5.2.0-3 [17.4 MB]
Get: 51 http://deb.debian.org/debian unstable/main amd64 ocaml-findlib amd64 1.9.6-3 [569 kB]
Get: 52 http://deb.debian.org/debian unstable/main amd64 coq amd64 8.20.0+dfsg-1 [77.0 MB]
Get: 53 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.20 [89.7 kB]
Get: 54 http://deb.debian.org/debian unstable/main amd64 libtool all 2.4.7-8 [517 kB]
Get: 55 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB]
Get: 56 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 57 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB]
Get: 58 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.0-1 [8448 B]
Get: 59 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB]
Get: 60 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB]
Get: 61 http://deb.debian.org/debian unstable/main amd64 libicu72 amd64 72.1-5+b1 [9423 kB]
Get: 62 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b1 [699 kB]
Get: 63 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.22.5-2 [1601 kB]
Get: 64 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get: 65 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 66 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.20 [915 kB]
Get: 67 http://deb.debian.org/debian unstable/main amd64 dh-coq all 0.11 [6776 B]
Get: 68 http://deb.debian.org/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB]
Get: 69 http://deb.debian.org/debian unstable/main amd64 dh-ocaml all 2.4 [62.9 kB]
Get: 70 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml-dev amd64 1.9.6-3 [152 kB]
Get: 71 http://deb.debian.org/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-2+b2 [329 kB]
Get: 72 http://deb.debian.org/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-2+b2 [642 kB]
Get: 73 http://deb.debian.org/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-2+b2 [322 kB]
Get: 74 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml-dev amd64 1.14-1 [142 kB]
Get: 75 http://deb.debian.org/debian unstable/main amd64 libcoq-core-ocaml-dev amd64 8.20.0+dfsg-1 [69.4 MB]
Fetched 310 MB in 15s (20.8 MB/s)
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libpython3.12-minimal: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 ... 19966 files and directories currently installed.)
Preparing to unpack .../libpython3.12-minimal_3.12.7-3_amd64.deb ...
Unpacking libpython3.12-minimal:amd64 (3.12.7-3) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../libexpat1_2.6.4-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.6.4-1) ...
Selecting previously unselected package python3.12-minimal.
Preparing to unpack .../python3.12-minimal_3.12.7-3_amd64.deb ...
Unpacking python3.12-minimal (3.12.7-3) ...
Setting up libpython3.12-minimal:amd64 (3.12.7-3) ...
Setting up libexpat1:amd64 (2.6.4-1) ...
Setting up python3.12-minimal (3.12.7-3) ...
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 ... 20286 files and directories currently installed.)
Preparing to unpack .../00-python3-minimal_3.12.7-1_amd64.deb ...
Unpacking python3-minimal (3.12.7-1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../01-media-types_10.1.0_all.deb ...
Unpacking media-types (10.1.0) ...
Selecting previously unselected package netbase.
Preparing to unpack .../02-netbase_6.4_all.deb ...
Unpacking netbase (6.4) ...
Selecting previously unselected package tzdata.
Preparing to unpack .../03-tzdata_2024b-3_all.deb ...
Unpacking tzdata (2024b-3) ...
Selecting previously unselected package libkrb5support0:amd64.
Preparing to unpack .../04-libkrb5support0_1.21.3-3_amd64.deb ...
Unpacking libkrb5support0:amd64 (1.21.3-3) ...
Selecting previously unselected package libcom-err2:amd64.
Preparing to unpack .../05-libcom-err2_1.47.1-1+b1_amd64.deb ...
Unpacking libcom-err2:amd64 (1.47.1-1+b1) ...
Selecting previously unselected package libk5crypto3:amd64.
Preparing to unpack .../06-libk5crypto3_1.21.3-3_amd64.deb ...
Unpacking libk5crypto3:amd64 (1.21.3-3) ...
Selecting previously unselected package libkeyutils1:amd64.
Preparing to unpack .../07-libkeyutils1_1.6.3-4_amd64.deb ...
Unpacking libkeyutils1:amd64 (1.6.3-4) ...
Selecting previously unselected package libkrb5-3:amd64.
Preparing to unpack .../08-libkrb5-3_1.21.3-3_amd64.deb ...
Unpacking libkrb5-3:amd64 (1.21.3-3) ...
Selecting previously unselected package libgssapi-krb5-2:amd64.
Preparing to unpack .../09-libgssapi-krb5-2_1.21.3-3_amd64.deb ...
Unpacking libgssapi-krb5-2:amd64 (1.21.3-3) ...
Selecting previously unselected package libtirpc-common.
Preparing to unpack .../10-libtirpc-common_1.3.4+ds-1.3_all.deb ...
Unpacking libtirpc-common (1.3.4+ds-1.3) ...
Selecting previously unselected package libtirpc3t64:amd64.
Preparing to unpack .../11-libtirpc3t64_1.3.4+ds-1.3+b1_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64'
Unpacking libtirpc3t64:amd64 (1.3.4+ds-1.3+b1) ...
Selecting previously unselected package libnsl2:amd64.
Preparing to unpack .../12-libnsl2_1.3.0-3+b3_amd64.deb ...
Unpacking libnsl2:amd64 (1.3.0-3+b3) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../13-readline-common_8.2-5_all.deb ...
Unpacking readline-common (8.2-5) ...
Selecting previously unselected package libreadline8t64:amd64.
Preparing to unpack .../14-libreadline8t64_8.2-5_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.2-5) ...
Selecting previously unselected package libpython3.12-stdlib:amd64.
Preparing to unpack .../15-libpython3.12-stdlib_3.12.7-3_amd64.deb ...
Unpacking libpython3.12-stdlib:amd64 (3.12.7-3) ...
Selecting previously unselected package python3.12.
Preparing to unpack .../16-python3.12_3.12.7-3_amd64.deb ...
Unpacking python3.12 (3.12.7-3) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../17-libpython3-stdlib_3.12.7-1_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.12.7-1) ...
Setting up python3-minimal (3.12.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 ... 21348 files and directories currently installed.)
Preparing to unpack .../00-python3_3.12.7-1_amd64.deb ...
Unpacking python3 (3.12.7-1) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.24_all.deb ...
Unpacking sensible-utils (0.0.24) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic-mgc (1:5.45-3+b1) ...
Selecting previously unselected package libmagic1t64:amd64.
Preparing to unpack .../03-libmagic1t64_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.45-3+b1_amd64.deb ...
Unpacking file (1:5.45-3+b1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.22.5-2_amd64.deb ...
Unpacking gettext-base (0.22.5-2) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../06-libuchardet0_0.0.8-1+b2_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.8-1+b2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../07-groff-base_1.23.0-5_amd64.deb ...
Unpacking groff-base (1.23.0-5) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../08-bsdextrautils_2.40.2-11_amd64.deb ...
Unpacking bsdextrautils (2.40.2-11) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../09-libpipeline1_1.5.8-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.8-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../10-man-db_2.13.0-1_amd64.deb ...
Unpacking man-db (2.13.0-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.19-4_amd64.deb ...
Unpacking m4 (1.4.19-4) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.72-3_all.deb ...
Unpacking autoconf (2.72-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ...
Unpacking automake (1:1.16.5-1.3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../15-autopoint_0.22.5-2_all.deb ...
Unpacking autopoint (0.22.5-2) ...
Selecting previously unselected package libcoq-stdlib.
Preparing to unpack .../16-libcoq-stdlib_8.20.0+dfsg-1_amd64.deb ...
Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../17-libstdlib-ocaml_5.2.0-3_amd64.deb ...
Unpacking libstdlib-ocaml (5.2.0-3) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../18-ocaml-base_5.2.0-3_amd64.deb ...
Unpacking ocaml-base (5.2.0-3) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../19-libfindlib-ocaml_1.9.6-3_amd64.deb ...
Unpacking libfindlib-ocaml (1.9.6-3) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../20-libzarith-ocaml_1.14-1_amd64.deb ...
Unpacking libzarith-ocaml (1.14-1) ...
Selecting previously unselected package libcoq-core-ocaml.
Preparing to unpack .../21-libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb ...
Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../22-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ...
Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ...
Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../24-ocaml-interp_5.2.0-3_amd64.deb ...
Unpacking ocaml-interp (5.2.0-3) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../25-libncurses6_6.5-2+b1_amd64.deb ...
Unpacking libncurses6:amd64 (6.5-2+b1) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../26-libncurses-dev_6.5-2+b1_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.5-2+b1) ...
Selecting previously unselected package libzstd-dev:amd64.
Preparing to unpack .../27-libzstd-dev_1.5.6+dfsg-1+b1_amd64.deb ...
Unpacking libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../28-ocaml_5.2.0-3_amd64.deb ...
Unpacking ocaml (5.2.0-3) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../29-ocaml-findlib_1.9.6-3_amd64.deb ...
Unpacking ocaml-findlib (1.9.6-3) ...
Selecting previously unselected package coq.
Preparing to unpack .../30-coq_8.20.0+dfsg-1_amd64.deb ...
Unpacking coq (8.20.0+dfsg-1) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../31-libdebhelper-perl_13.20_all.deb ...
Unpacking libdebhelper-perl (13.20) ...
Selecting previously unselected package libtool.
Preparing to unpack .../32-libtool_2.4.7-8_all.deb ...
Unpacking libtool (2.4.7-8) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../33-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../35-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../36-dh-strip-nondeterminism_1.14.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.14.0-1) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../37-libelf1t64_0.192-4_amd64.deb ...
Unpacking libelf1t64:amd64 (0.192-4) ...
Selecting previously unselected package dwz.
Preparing to unpack .../38-dwz_0.15-1+b1_amd64.deb ...
Unpacking dwz (0.15-1+b1) ...
Selecting previously unselected package libicu72:amd64.
Preparing to unpack .../39-libicu72_72.1-5+b1_amd64.deb ...
Unpacking libicu72:amd64 (72.1-5+b1) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../40-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ...
Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../41-gettext_0.22.5-2_amd64.deb ...
Unpacking gettext (0.22.5-2) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../42-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../43-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../44-debhelper_13.20_all.deb ...
Unpacking debhelper (13.20) ...
Selecting previously unselected package dh-coq.
Preparing to unpack .../45-dh-coq_0.11_all.deb ...
Unpacking dh-coq (0.11) ...
Selecting previously unselected package libconfig-tiny-perl.
Preparing to unpack .../46-libconfig-tiny-perl_2.30-1_all.deb ...
Unpacking libconfig-tiny-perl (2.30-1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../47-dh-ocaml_2.4_all.deb ...
Unpacking dh-ocaml (2.4) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../48-libfindlib-ocaml-dev_1.9.6-3_amd64.deb ...
Unpacking libfindlib-ocaml-dev (1.9.6-3) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../49-libgmpxx4ldbl_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../50-libgmp-dev_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
Selecting previously unselected package libgmp3-dev:amd64.
Preparing to unpack .../51-libgmp3-dev_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../52-libzarith-ocaml-dev_1.14-1_amd64.deb ...
Unpacking libzarith-ocaml-dev (1.14-1) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../53-libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb ...
Unpacking libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
Setting up media-types (10.1.0) ...
Setting up libpipeline1:amd64 (1.5.8-1) ...
Setting up libkeyutils1:amd64 (1.6.3-4) ...
Setting up libicu72:amd64 (72.1-5+b1) ...
Setting up libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ...
Setting up bsdextrautils (2.40.2-11) ...
Setting up libmagic-mgc (1:5.45-3+b1) ...
Setting up dh-coq (0.11) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libtirpc-common (1.3.4+ds-1.3) ...
Setting up libdebhelper-perl (13.20) ...
Setting up libmagic1t64:amd64 (1:5.45-3+b1) ...
Setting up gettext-base (0.22.5-2) ...
Setting up m4 (1.4.19-4) ...
Setting up libcom-err2:amd64 (1.47.1-1+b1) ...
Setting up file (1:5.45-3+b1) ...
Setting up libconfig-tiny-perl (2.30-1) ...
Setting up libelf1t64:amd64 (0.192-4) ...
Setting up libkrb5support0:amd64 (1.21.3-3) ...
Setting up tzdata (2024b-3) ...

Current default time zone: 'Etc/UTC'
Local time is now:      Thu Nov 21 09:48:51 UTC 2024.
Universal Time is now:  Thu Nov 21 09:48:51 UTC 2024.
Run 'dpkg-reconfigure tzdata' if you wish to change it.

Setting up autotools-dev (20220109.1) ...
Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ...
Setting up libncurses6:amd64 (6.5-2+b1) ...
Setting up libstdlib-ocaml (5.2.0-3) ...
Setting up autopoint (0.22.5-2) ...
Setting up ocaml-base (5.2.0-3) ...
Setting up libk5crypto3:amd64 (1.21.3-3) ...
Setting up autoconf (2.72-3) ...
Setting up dwz (0.15-1+b1) ...
Setting up sensible-utils (0.0.24) ...
Setting up libuchardet0:amd64 (0.0.8-1+b2) ...
Setting up netbase (6.4) ...
Setting up libkrb5-3:amd64 (1.21.3-3) ...
Setting up readline-common (8.2-5) ...
Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.14.0-1) ...
Setting up libncurses-dev:amd64 (6.5-2+b1) ...
Setting up gettext (0.22.5-2) ...
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
Setting up libtool (2.4.7-8) ...
Setting up libstdlib-ocaml-dev (5.2.0-3) ...
Setting up dh-ocaml (2.4) ...
Setting up libfindlib-ocaml (1.9.6-3) ...
Setting up libzarith-ocaml (1.14-1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
Setting up ocaml-interp (5.2.0-3) ...
Setting up ocaml-findlib (1.9.6-3) ...
Setting up libgssapi-krb5-2:amd64 (1.21.3-3) ...
Setting up libreadline8t64:amd64 (8.2-5) ...
Setting up dh-strip-nondeterminism (1.14.0-1) ...
Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
Setting up groff-base (1.23.0-5) ...
Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
Setting up libtirpc3t64:amd64 (1.3.4+ds-1.3+b1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up ocaml (5.2.0-3) ...
Setting up man-db (2.13.0-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libfindlib-ocaml-dev (1.9.6-3) ...
Setting up libnsl2:amd64 (1.3.0-3+b3) ...
Setting up libzarith-ocaml-dev (1.14-1) ...
Setting up libpython3.12-stdlib:amd64 (3.12.7-3) ...
Setting up python3.12 (3.12.7-3) ...
Setting up debhelper (13.20) ...
Setting up libpython3-stdlib:amd64 (3.12.7-1) ...
Setting up python3 (3.12.7-1) ...
Setting up coq (8.20.0+dfsg-1) ...
Setting up libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
Processing triggers for libc-bin (2.40-3) ...
Reading package lists...
Building dependency tree...
Reading state information...
Reading extended state information...
Initializing package states...
Writing extended state information...
Building tag database...
 -> Finished parsing the build-deps
I: Building the package
I: Running cd /build/reproducible-path/coq-stdpp-1.11.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S  > ../coq-stdpp_1.11.0-1_source.changes
dpkg-buildpackage: info: source package coq-stdpp
dpkg-buildpackage: info: source version 1.11.0-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
 debian/rules clean
dh clean --with coq,ocaml
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make clean
make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
"coq_makefile" -f _CoqProject -o Makefile.coq 
make[3]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
COQDEP TESTFILES
CLEAN
make[3]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
find [a-z]*/ \( -name "*.d" -o -name "*.vo" -o -name "*.vo[sk]" -o -name "*.aux" -o -name "*.cache" -o -name "*.glob" -o -name "*.vio" \) -print -delete || true
tests/.coqdeps.d
rm -f Makefile.coq .lia.cache builddep/*
make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
rm -f Makefile.coq.conf
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   dh_ocamlclean
   dh_clean
 debian/rules binary
dh binary --with coq,ocaml
   dh_update_autotools_config
   dh_autoreconf
   dh_ocamlinit
   dh_auto_configure
   debian/rules override_dh_auto_build
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make
make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
"coq_makefile" -f _CoqProject -o Makefile.coq 
make[3]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
COQDEP VFILES
COQDEP TESTFILES
COQLINT
COQC stdpp/options.v
COQC stdpp/base.v
COQC stdpp/proof_irrel.v
COQC stdpp/decidable.v
COQC stdpp/tactics.v
COQC stdpp/fin.v
COQTEST tests/fin.v (ref: tests/fin.ref)
COQC stdpp/option.v
COQC stdpp/well_founded.v
COQC stdpp/numbers.v
COQC stdpp/list.v
COQC stdpp/list_numbers.v
COQC stdpp/countable.v
COQC stdpp/strings.v
COQTEST tests/eunify.v (ref: tests/eunify.ref)
COQC stdpp/vector.v
COQC stdpp/finite.v
COQC stdpp_bitvector/definitions.v
COQC stdpp_unstable/bitblast.v
COQTEST tests/bitblast.v (ref: tests/bitblast.ref)
COQTEST tests/decidable.v (ref: tests/decidable.ref)
COQTEST tests/tactics_more.v (ref: tests/tactics_more.ref)
COQC stdpp/orders.v
COQC stdpp/sets.v
COQC stdpp/relations.v
COQC stdpp/pretty.v
COQC stdpp/infinite.v
COQC stdpp/fin_sets.v
COQC stdpp/fin_maps.v
COQC stdpp/fin_map_dom.v
COQC stdpp/mapset.v
COQC stdpp/pmap.v
COQC stdpp/gmap.v
COQTEST tests/universes.v (ref: tests/universes.ref)
COQC stdpp/listset.v
COQC stdpp/lexico.v
COQC stdpp/prelude.v
COQTEST tests/numbers_import.v (ref: tests/numbers_import.ref)
COQTEST tests/sets.v (ref: tests/sets.ref)
COQTEST tests/fin_maps.v (ref: tests/fin_maps.ref)
COQC stdpp/propset.v
COQTEST tests/proper.v (ref: tests/proper.ref)
COQTEST tests/pretty.v (ref: tests/pretty.ref)
COQTEST tests/propset.v (ref: tests/propset.ref)
COQTEST tests/length.v (ref: tests/length.ref)
COQC stdpp_bitvector/tactics.v
COQTEST tests/bitvector_tactics.v (ref: tests/bitvector_tactics.ref)
COQC stdpp/ssreflect.v
COQC stdpp/gmultiset.v
COQTEST tests/notation.v (ref: tests/notation.ref)
COQTEST tests/list.v (ref: tests/list.ref)
COQTEST tests/tactics.v (ref: tests/tactics.ref)
COQTEST tests/bitvector_definitions.v (ref: tests/bitvector_definitions.ref)
COQC stdpp/coPset.v
COQC stdpp/namespaces.v
COQTEST tests/solve_ndisj.v (ref: tests/solve_ndisj.ref)
COQTEST tests/ascii.v (ref: tests/ascii.ref)
COQC stdpp/telescopes.v
COQTEST tests/telescopes.v (ref: tests/telescopes.ref)
COQTEST tests/is_closed_term.v (ref: tests/is_closed_term.ref)
COQTEST tests/typeclasses.v (ref: tests/typeclasses.ref)
COQTEST tests/multiset_solver.v (ref: tests/multiset_solver.ref)
COQC stdpp/sorting.v
COQTEST tests/strings.v (ref: tests/strings.ref)
COQTEST tests/numbers.v (ref: tests/numbers.ref)
COQC stdpp/boolset.v
COQC stdpp/stringmap.v
COQC stdpp/zmap.v
COQC stdpp/hashset.v
COQC stdpp/natmap.v
COQC stdpp/streams.v
COQC stdpp/listset_nodup.v
COQC stdpp/nmap.v
COQC stdpp/coGset.v
COQC stdpp/functions.v
COQC stdpp/hlist.v
COQC stdpp/nat_cancel.v
COQC stdpp/binders.v
COQC stdpp_bitvector/bitvector.v
make[3]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   dh_auto_test
	make -j20 test
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[2]: Nothing to be done for 'test'.
make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   create-stamp debian/debhelper-build-stamp
   dh_prep
   debian/rules override_dh_auto_install
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make install DESTDIR=debian/tmp
make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[3]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
INSTALL stdpp/options.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/base.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/tactics.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/option.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_map_dom.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/boolset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_maps.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/vector.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/stringmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_sets.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/mapset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/proof_irrel.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hashset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pretty.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/countable.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/orders.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/natmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/strings.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/well_founded.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/relations.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sets.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/streams.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmultiset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/prelude.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset_nodup.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/finite.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/numbers.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/zmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coPset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coGset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/lexico.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/propset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/decidable.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list_numbers.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/functions.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hlist.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sorting.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/infinite.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nat_cancel.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/namespaces.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/telescopes.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/binders.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/ssreflect.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp_bitvector/definitions.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/tactics.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/bitvector.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_unstable/bitblast.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/unstable/
INSTALL stdpp/options.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/base.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/tactics.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/option.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_map_dom.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/boolset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_maps.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/vector.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/stringmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_sets.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/mapset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/proof_irrel.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hashset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pretty.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/countable.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/orders.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/natmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/strings.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/well_founded.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/relations.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sets.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/streams.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmultiset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/prelude.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset_nodup.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/finite.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/numbers.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/zmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coPset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coGset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/lexico.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/propset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/decidable.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list_numbers.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/functions.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hlist.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sorting.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/infinite.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nat_cancel.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/namespaces.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/telescopes.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/binders.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/ssreflect.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp_bitvector/definitions.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/tactics.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/bitvector.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_unstable/bitblast.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/unstable/
INSTALL stdpp/options.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/base.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/tactics.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/option.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_map_dom.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/boolset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_maps.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/vector.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/stringmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_sets.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/mapset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/proof_irrel.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hashset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pretty.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/countable.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/orders.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/natmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/strings.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/well_founded.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/relations.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sets.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/streams.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmultiset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/prelude.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset_nodup.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/finite.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/numbers.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/zmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coPset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coGset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/lexico.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/propset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/decidable.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list_numbers.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/functions.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hlist.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sorting.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/infinite.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nat_cancel.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/namespaces.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/telescopes.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/binders.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/ssreflect.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp_bitvector/definitions.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/tactics.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/bitvector.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_unstable/bitblast.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/unstable/
make[4]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[4]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[3]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   dh_install
   dh_ocamldoc
   dh_installdocs
   debian/rules override_dh_installchangelogs
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
dh_installchangelogs CHANGELOG.md
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   dh_perl
   dh_link
   dh_strip_nondeterminism
   dh_compress
   dh_fixperms
   dh_missing
   dh_dwz -a
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
   dh_installdeb
   dh_coq
   dh_ocaml
   dh_gencontrol
   dh_md5sums
   dh_builddeb
dpkg-deb: building package 'libcoq-stdpp' in '../libcoq-stdpp_1.11.0-1_amd64.deb'.
 dpkg-genbuildinfo --build=binary -O../coq-stdpp_1.11.0-1_amd64.buildinfo
 dpkg-genchanges --build=binary -O../coq-stdpp_1.11.0-1_amd64.changes
dpkg-genchanges: info: binary-only upload (no source code included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
dpkg-genchanges: info: including full source code in upload
I: copying local configuration
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/1715620 and its subdirectories
I: Current time: Wed Nov 20 22:01:14 -12 2024
I: pbuilder-time-stamp: 1732183274
Thu Nov 21 10:01:14 UTC 2024  I: Signing ./b1/coq-stdpp_1.11.0-1_amd64.buildinfo as coq-stdpp_1.11.0-1_amd64.buildinfo.asc
Thu Nov 21 10:01:14 UTC 2024  I: Signed ./b1/coq-stdpp_1.11.0-1_amd64.buildinfo as ./b1/coq-stdpp_1.11.0-1_amd64.buildinfo.asc
Thu Nov 21 10:01:14 UTC 2024 - build #1 for coq-stdpp/unstable/amd64 on ionos11-amd64 done.
Starting cleanup.
All cleanup done.
Thu Nov 21 10:01:14 UTC 2024 - reproducible_build.sh stopped running as /tmp/jenkins-script-4cYjlDE8, removing.
/srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb:
total 16
drwxr-xr-x 2 jenkins jenkins 4096 Nov 21 10:01 b1
drwxr-xr-x 2 jenkins jenkins 4096 Nov 21 09:46 b2
-rw-r--r-- 1 jenkins jenkins 2076 Nov 20 10:02 coq-stdpp_1.11.0-1.dsc
-rw------- 1 jenkins jenkins 3197 Nov 21 09:46 rbuildlog.icSiedI

/srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b1:
total 5104
-rw-r--r-- 1 jenkins jenkins   59904 Nov 21 10:01 build.log
-rw-r--r-- 1 jenkins jenkins    2772 Nov 21 10:01 coq-stdpp_1.11.0-1.debian.tar.xz
-rw-r--r-- 1 jenkins jenkins    2076 Nov 21 10:01 coq-stdpp_1.11.0-1.dsc
-rw-r--r-- 1 jenkins jenkins    6148 Nov 21 10:01 coq-stdpp_1.11.0-1_amd64.buildinfo
-rw-r--r-- 1 jenkins jenkins    7030 Nov 21 10:01 coq-stdpp_1.11.0-1_amd64.buildinfo.asc
-rw-r--r-- 1 jenkins jenkins    1030 Nov 21 10:01 coq-stdpp_1.11.0-1_amd64.changes
-rw-r--r-- 1 jenkins jenkins    1450 Nov 21 10:01 coq-stdpp_1.11.0-1_source.changes
-rw-r--r-- 1 jenkins jenkins  257015 Nov 21 10:01 coq-stdpp_1.11.0.orig.tar.bz2
-rw-r--r-- 1 jenkins jenkins 4872140 Nov 21 10:01 libcoq-stdpp_1.11.0-1_amd64.deb

/srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b2:
total 0
Thu Nov 21 10:01:15 UTC 2024  I: Deleting $TMPDIR on ionos11-amd64.debian.net.
I: pbuilder: network access will be disabled during build
I: Current time: Wed Nov 20 21:46:27 -12 2024
I: pbuilder-time-stamp: 1732182387
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/unstable-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 [coq-stdpp_1.11.0-1.dsc]
I: copying [./coq-stdpp_1.11.0.orig.tar.bz2]
I: copying [./coq-stdpp_1.11.0-1.debian.tar.xz]
I: Extracting source
gpgv: Signature made Wed Nov 20 09:49:18 2024 
gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
gpgv:                issuer "jpuydt@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify inline signature for ./coq-stdpp_1.11.0-1.dsc: no acceptable signature found
dpkg-source: info: extracting coq-stdpp in coq-stdpp-1.11.0
dpkg-source: info: unpacking coq-stdpp_1.11.0.orig.tar.bz2
dpkg-source: info: unpacking coq-stdpp_1.11.0-1.debian.tar.xz
I: Not using root during the build.
I: Installing the build-deps
I: user script /srv/workspace/pbuilder/1715620/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=20 '
  DISTRIBUTION='unstable'
  HOME='/root'
  HOST_ARCH='amd64'
  IFS=' 	
  '
  INVOCATION_ID='d4912baf0510420797b38b7d0f89a835'
  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='1715620'
  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.afSXqcsb/pbuilderrc_nfRB --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b1 --logfile b1/build.log coq-stdpp_1.11.0-1.dsc'
  SUDO_GID='111'
  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.1.0-27-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.115-1 (2024-11-01) x86_64 GNU/Linux
I: ls -l /bin
  lrwxrwxrwx 1 root root 7 Aug  4 21:30 /bin -> usr/bin
I: user script /srv/workspace/pbuilder/1715620/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 <pbuilder-maint@lists.alioth.debian.org>
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 (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'.
Selecting previously unselected package pbuilder-satisfydepends-dummy.
(Reading database ... 19966 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 (>= 8.18); 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 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.

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} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libconfig-tiny-perl{a} libcoq-stdlib{a} libdebhelper-perl{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libicu72{a} libmagic-mgc{a} libmagic1t64{a} libpipeline1{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} 
The following packages are RECOMMENDED but will NOT be installed:
  curl libarchive-cpio-perl libltdl-dev libmail-sendmail-perl lynx ocaml wget 
0 packages upgraded, 33 newly installed, 0 to remove and 0 not upgraded.
Need to get 43.5 MB of archives. After unpacking 225 MB will be used.
The following packages have unmet dependencies:
 pbuilder-satisfydepends-dummy : Depends: coq (>= 8.18) but it is not installable
                                 Depends: libcoq-core-ocaml-dev but it is not installable
The following actions will resolve these dependencies:

      Install the following packages:                   
1)      coq [8.20.0+dfsg-1 (unstable)]                  
2)      libcom-err2 [1.47.1-1+b1 (unstable)]            
3)      libcompiler-libs-ocaml-dev [5.2.0-3 (unstable)] 
4)      libcoq-core-ocaml [8.20.0+dfsg-1 (unstable)]    
5)      libcoq-core-ocaml-dev [8.20.0+dfsg-1 (unstable)]
6)      libexpat1 [2.6.4-1 (unstable)]                  
7)      libfindlib-ocaml [1.9.6-3 (unstable)]           
8)      libfindlib-ocaml-dev [1.9.6-3 (unstable)]       
9)      libgmp-dev [2:6.3.0+dfsg-2+b2 (unstable)]       
10)     libgmp3-dev [2:6.3.0+dfsg-2+b2 (unstable)]      
11)     libgmpxx4ldbl [2:6.3.0+dfsg-2+b2 (unstable)]    
12)     libgssapi-krb5-2 [1.21.3-3 (unstable)]          
13)     libk5crypto3 [1.21.3-3 (unstable)]              
14)     libkeyutils1 [1.6.3-4 (unstable)]               
15)     libkrb5-3 [1.21.3-3 (unstable)]                 
16)     libkrb5support0 [1.21.3-3 (unstable)]           
17)     libncurses-dev [6.5-2+b1 (unstable)]            
18)     libncurses6 [6.5-2+b1 (unstable)]               
19)     libnsl2 [1.3.0-3+b3 (unstable)]                 
20)     libpython3-stdlib [3.12.7-1 (unstable)]         
21)     libpython3.12-minimal [3.12.7-3 (unstable)]     
22)     libpython3.12-stdlib [3.12.7-3 (unstable)]      
23)     libreadline8t64 [8.2-5 (unstable)]              
24)     libstdlib-ocaml [5.2.0-3 (unstable)]            
25)     libstdlib-ocaml-dev [5.2.0-3 (unstable)]        
26)     libtirpc-common [1.3.4+ds-1.3 (unstable)]       
27)     libtirpc3t64 [1.3.4+ds-1.3+b1 (unstable)]       
28)     libzarith-ocaml [1.14-1 (unstable)]             
29)     libzarith-ocaml-dev [1.14-1 (unstable)]         
30)     libzstd-dev [1.5.6+dfsg-1+b1 (unstable)]        
31)     media-types [10.1.0 (unstable)]                 
32)     netbase [6.4 (unstable)]                        
33)     ocaml [5.2.0-3 (unstable)]                      
34)     ocaml-base [5.2.0-3 (unstable)]                 
35)     ocaml-findlib [1.9.6-3 (unstable)]              
36)     ocaml-interp [5.2.0-3 (unstable)]               
37)     python3 [3.12.7-1 (unstable)]                   
38)     python3-minimal [3.12.7-1 (unstable)]           
39)     python3.12 [3.12.7-3 (unstable)]                
40)     python3.12-minimal [3.12.7-3 (unstable)]        
41)     readline-common [8.2-5 (unstable)]              
42)     tzdata [2024b-3 (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} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libcom-err2{a} libcompiler-libs-ocaml-dev{a} libconfig-tiny-perl{a} libcoq-core-ocaml{a} libcoq-core-ocaml-dev{a} libcoq-stdlib{a} libdebhelper-perl{a} libelf1t64{a} libexpat1{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfindlib-ocaml-dev{a} libgmp-dev{a} libgmp3-dev{a} libgmpxx4ldbl{a} libgssapi-krb5-2{a} libicu72{a} libk5crypto3{a} libkeyutils1{a} libkrb5-3{a} libkrb5support0{a} libmagic-mgc{a} libmagic1t64{a} libncurses-dev{a} libncurses6{a} libnsl2{a} libpipeline1{a} libpython3-stdlib{a} libpython3.12-minimal{a} libpython3.12-stdlib{a} libreadline8t64{a} libstdlib-ocaml{a} libstdlib-ocaml-dev{a} libtirpc-common{a} libtirpc3t64{a} libtool{a} libuchardet0{a} libxml2{a} libzarith-ocaml{a} libzarith-ocaml-dev{a} libzstd-dev{a} m4{a} man-db{a} media-types{a} netbase{a} ocaml{a} ocaml-base{a} ocaml-findlib{a} ocaml-interp{a} po-debconf{a} python3{a} python3-minimal{a} python3.12{a} python3.12-minimal{a} readline-common{a} sensible-utils{a} tzdata{a} 
The following packages are RECOMMENDED but will NOT be installed:
  ca-certificates curl krb5-locales ledit libarchive-cpio-perl libgpm2 libltdl-dev libmail-sendmail-perl lynx ocaml-man rlfe rlwrap wget 
0 packages upgraded, 75 newly installed, 0 to remove and 0 not upgraded.
Need to get 310 MB of archives. After unpacking 992 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian unstable/main amd64 libpython3.12-minimal amd64 3.12.7-3 [815 kB]
Get: 2 http://deb.debian.org/debian unstable/main amd64 libexpat1 amd64 2.6.4-1 [106 kB]
Get: 3 http://deb.debian.org/debian unstable/main amd64 python3.12-minimal amd64 3.12.7-3 [2162 kB]
Get: 4 http://deb.debian.org/debian unstable/main amd64 python3-minimal amd64 3.12.7-1 [26.8 kB]
Get: 5 http://deb.debian.org/debian unstable/main amd64 media-types all 10.1.0 [26.9 kB]
Get: 6 http://deb.debian.org/debian unstable/main amd64 netbase all 6.4 [12.8 kB]
Get: 7 http://deb.debian.org/debian unstable/main amd64 tzdata all 2024b-3 [255 kB]
Get: 8 http://deb.debian.org/debian unstable/main amd64 libkrb5support0 amd64 1.21.3-3 [32.5 kB]
Get: 9 http://deb.debian.org/debian unstable/main amd64 libcom-err2 amd64 1.47.1-1+b1 [23.2 kB]
Get: 10 http://deb.debian.org/debian unstable/main amd64 libk5crypto3 amd64 1.21.3-3 [79.9 kB]
Get: 11 http://deb.debian.org/debian unstable/main amd64 libkeyutils1 amd64 1.6.3-4 [9092 B]
Get: 12 http://deb.debian.org/debian unstable/main amd64 libkrb5-3 amd64 1.21.3-3 [324 kB]
Get: 13 http://deb.debian.org/debian unstable/main amd64 libgssapi-krb5-2 amd64 1.21.3-3 [136 kB]
Get: 14 http://deb.debian.org/debian unstable/main amd64 libtirpc-common all 1.3.4+ds-1.3 [10.9 kB]
Get: 15 http://deb.debian.org/debian unstable/main amd64 libtirpc3t64 amd64 1.3.4+ds-1.3+b1 [83.1 kB]
Get: 16 http://deb.debian.org/debian unstable/main amd64 libnsl2 amd64 1.3.0-3+b3 [40.6 kB]
Get: 17 http://deb.debian.org/debian unstable/main amd64 readline-common all 8.2-5 [69.3 kB]
Get: 18 http://deb.debian.org/debian unstable/main amd64 libreadline8t64 amd64 8.2-5 [169 kB]
Get: 19 http://deb.debian.org/debian unstable/main amd64 libpython3.12-stdlib amd64 3.12.7-3 [1966 kB]
Get: 20 http://deb.debian.org/debian unstable/main amd64 python3.12 amd64 3.12.7-3 [671 kB]
Get: 21 http://deb.debian.org/debian unstable/main amd64 libpython3-stdlib amd64 3.12.7-1 [9712 B]
Get: 22 http://deb.debian.org/debian unstable/main amd64 python3 amd64 3.12.7-1 [27.8 kB]
Get: 23 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB]
Get: 24 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB]
Get: 25 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB]
Get: 26 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB]
Get: 27 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.22.5-2 [200 kB]
Get: 28 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB]
Get: 29 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-5 [1181 kB]
Get: 30 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.40.2-11 [91.5 kB]
Get: 31 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB]
Get: 32 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB]
Get: 33 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-4 [287 kB]
Get: 34 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3 [493 kB]
Get: 35 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB]
Get: 36 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.16.5-1.3 [823 kB]
Get: 37 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.22.5-2 [723 kB]
Get: 38 http://deb.debian.org/debian unstable/main amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [23.5 MB]
Get: 39 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml amd64 5.2.0-3 [582 kB]
Get: 40 http://deb.debian.org/debian unstable/main amd64 ocaml-base amd64 5.2.0-3 [455 kB]
Get: 41 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml amd64 1.9.6-3 [179 kB]
Get: 42 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml amd64 1.14-1 [116 kB]
Get: 43 http://deb.debian.org/debian unstable/main amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [25.9 MB]
Get: 44 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB]
Get: 45 http://deb.debian.org/debian unstable/main amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.4 MB]
Get: 46 http://deb.debian.org/debian unstable/main amd64 ocaml-interp amd64 5.2.0-3 [6852 kB]
Get: 47 http://deb.debian.org/debian unstable/main amd64 libncurses6 amd64 6.5-2+b1 [105 kB]
Get: 48 http://deb.debian.org/debian unstable/main amd64 libncurses-dev amd64 6.5-2+b1 [351 kB]
Get: 49 http://deb.debian.org/debian unstable/main amd64 libzstd-dev amd64 1.5.6+dfsg-1+b1 [365 kB]
Get: 50 http://deb.debian.org/debian unstable/main amd64 ocaml amd64 5.2.0-3 [17.4 MB]
Get: 51 http://deb.debian.org/debian unstable/main amd64 ocaml-findlib amd64 1.9.6-3 [569 kB]
Get: 52 http://deb.debian.org/debian unstable/main amd64 coq amd64 8.20.0+dfsg-1 [77.0 MB]
Get: 53 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.20 [89.7 kB]
Get: 54 http://deb.debian.org/debian unstable/main amd64 libtool all 2.4.7-8 [517 kB]
Get: 55 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB]
Get: 56 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 57 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB]
Get: 58 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.0-1 [8448 B]
Get: 59 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB]
Get: 60 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB]
Get: 61 http://deb.debian.org/debian unstable/main amd64 libicu72 amd64 72.1-5+b1 [9423 kB]
Get: 62 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b1 [699 kB]
Get: 63 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.22.5-2 [1601 kB]
Get: 64 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get: 65 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 66 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.20 [915 kB]
Get: 67 http://deb.debian.org/debian unstable/main amd64 dh-coq all 0.11 [6776 B]
Get: 68 http://deb.debian.org/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB]
Get: 69 http://deb.debian.org/debian unstable/main amd64 dh-ocaml all 2.4 [62.9 kB]
Get: 70 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml-dev amd64 1.9.6-3 [152 kB]
Get: 71 http://deb.debian.org/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-2+b2 [329 kB]
Get: 72 http://deb.debian.org/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-2+b2 [642 kB]
Get: 73 http://deb.debian.org/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-2+b2 [322 kB]
Get: 74 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml-dev amd64 1.14-1 [142 kB]
Get: 75 http://deb.debian.org/debian unstable/main amd64 libcoq-core-ocaml-dev amd64 8.20.0+dfsg-1 [69.4 MB]
Fetched 310 MB in 15s (20.8 MB/s)
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libpython3.12-minimal: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 ... 19966 files and directories currently installed.)
Preparing to unpack .../libpython3.12-minimal_3.12.7-3_amd64.deb ...
Unpacking libpython3.12-minimal:amd64 (3.12.7-3) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../libexpat1_2.6.4-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.6.4-1) ...
Selecting previously unselected package python3.12-minimal.
Preparing to unpack .../python3.12-minimal_3.12.7-3_amd64.deb ...
Unpacking python3.12-minimal (3.12.7-3) ...
Setting up libpython3.12-minimal:amd64 (3.12.7-3) ...
Setting up libexpat1:amd64 (2.6.4-1) ...
Setting up python3.12-minimal (3.12.7-3) ...
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 ... 20286 files and directories currently installed.)
Preparing to unpack .../00-python3-minimal_3.12.7-1_amd64.deb ...
Unpacking python3-minimal (3.12.7-1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../01-media-types_10.1.0_all.deb ...
Unpacking media-types (10.1.0) ...
Selecting previously unselected package netbase.
Preparing to unpack .../02-netbase_6.4_all.deb ...
Unpacking netbase (6.4) ...
Selecting previously unselected package tzdata.
Preparing to unpack .../03-tzdata_2024b-3_all.deb ...
Unpacking tzdata (2024b-3) ...
Selecting previously unselected package libkrb5support0:amd64.
Preparing to unpack .../04-libkrb5support0_1.21.3-3_amd64.deb ...
Unpacking libkrb5support0:amd64 (1.21.3-3) ...
Selecting previously unselected package libcom-err2:amd64.
Preparing to unpack .../05-libcom-err2_1.47.1-1+b1_amd64.deb ...
Unpacking libcom-err2:amd64 (1.47.1-1+b1) ...
Selecting previously unselected package libk5crypto3:amd64.
Preparing to unpack .../06-libk5crypto3_1.21.3-3_amd64.deb ...
Unpacking libk5crypto3:amd64 (1.21.3-3) ...
Selecting previously unselected package libkeyutils1:amd64.
Preparing to unpack .../07-libkeyutils1_1.6.3-4_amd64.deb ...
Unpacking libkeyutils1:amd64 (1.6.3-4) ...
Selecting previously unselected package libkrb5-3:amd64.
Preparing to unpack .../08-libkrb5-3_1.21.3-3_amd64.deb ...
Unpacking libkrb5-3:amd64 (1.21.3-3) ...
Selecting previously unselected package libgssapi-krb5-2:amd64.
Preparing to unpack .../09-libgssapi-krb5-2_1.21.3-3_amd64.deb ...
Unpacking libgssapi-krb5-2:amd64 (1.21.3-3) ...
Selecting previously unselected package libtirpc-common.
Preparing to unpack .../10-libtirpc-common_1.3.4+ds-1.3_all.deb ...
Unpacking libtirpc-common (1.3.4+ds-1.3) ...
Selecting previously unselected package libtirpc3t64:amd64.
Preparing to unpack .../11-libtirpc3t64_1.3.4+ds-1.3+b1_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64'
Unpacking libtirpc3t64:amd64 (1.3.4+ds-1.3+b1) ...
Selecting previously unselected package libnsl2:amd64.
Preparing to unpack .../12-libnsl2_1.3.0-3+b3_amd64.deb ...
Unpacking libnsl2:amd64 (1.3.0-3+b3) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../13-readline-common_8.2-5_all.deb ...
Unpacking readline-common (8.2-5) ...
Selecting previously unselected package libreadline8t64:amd64.
Preparing to unpack .../14-libreadline8t64_8.2-5_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.2-5) ...
Selecting previously unselected package libpython3.12-stdlib:amd64.
Preparing to unpack .../15-libpython3.12-stdlib_3.12.7-3_amd64.deb ...
Unpacking libpython3.12-stdlib:amd64 (3.12.7-3) ...
Selecting previously unselected package python3.12.
Preparing to unpack .../16-python3.12_3.12.7-3_amd64.deb ...
Unpacking python3.12 (3.12.7-3) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../17-libpython3-stdlib_3.12.7-1_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.12.7-1) ...
Setting up python3-minimal (3.12.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 ... 21348 files and directories currently installed.)
Preparing to unpack .../00-python3_3.12.7-1_amd64.deb ...
Unpacking python3 (3.12.7-1) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.24_all.deb ...
Unpacking sensible-utils (0.0.24) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic-mgc (1:5.45-3+b1) ...
Selecting previously unselected package libmagic1t64:amd64.
Preparing to unpack .../03-libmagic1t64_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.45-3+b1_amd64.deb ...
Unpacking file (1:5.45-3+b1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.22.5-2_amd64.deb ...
Unpacking gettext-base (0.22.5-2) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../06-libuchardet0_0.0.8-1+b2_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.8-1+b2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../07-groff-base_1.23.0-5_amd64.deb ...
Unpacking groff-base (1.23.0-5) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../08-bsdextrautils_2.40.2-11_amd64.deb ...
Unpacking bsdextrautils (2.40.2-11) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../09-libpipeline1_1.5.8-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.8-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../10-man-db_2.13.0-1_amd64.deb ...
Unpacking man-db (2.13.0-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.19-4_amd64.deb ...
Unpacking m4 (1.4.19-4) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.72-3_all.deb ...
Unpacking autoconf (2.72-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ...
Unpacking automake (1:1.16.5-1.3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../15-autopoint_0.22.5-2_all.deb ...
Unpacking autopoint (0.22.5-2) ...
Selecting previously unselected package libcoq-stdlib.
Preparing to unpack .../16-libcoq-stdlib_8.20.0+dfsg-1_amd64.deb ...
Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../17-libstdlib-ocaml_5.2.0-3_amd64.deb ...
Unpacking libstdlib-ocaml (5.2.0-3) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../18-ocaml-base_5.2.0-3_amd64.deb ...
Unpacking ocaml-base (5.2.0-3) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../19-libfindlib-ocaml_1.9.6-3_amd64.deb ...
Unpacking libfindlib-ocaml (1.9.6-3) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../20-libzarith-ocaml_1.14-1_amd64.deb ...
Unpacking libzarith-ocaml (1.14-1) ...
Selecting previously unselected package libcoq-core-ocaml.
Preparing to unpack .../21-libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb ...
Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../22-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ...
Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ...
Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../24-ocaml-interp_5.2.0-3_amd64.deb ...
Unpacking ocaml-interp (5.2.0-3) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../25-libncurses6_6.5-2+b1_amd64.deb ...
Unpacking libncurses6:amd64 (6.5-2+b1) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../26-libncurses-dev_6.5-2+b1_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.5-2+b1) ...
Selecting previously unselected package libzstd-dev:amd64.
Preparing to unpack .../27-libzstd-dev_1.5.6+dfsg-1+b1_amd64.deb ...
Unpacking libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../28-ocaml_5.2.0-3_amd64.deb ...
Unpacking ocaml (5.2.0-3) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../29-ocaml-findlib_1.9.6-3_amd64.deb ...
Unpacking ocaml-findlib (1.9.6-3) ...
Selecting previously unselected package coq.
Preparing to unpack .../30-coq_8.20.0+dfsg-1_amd64.deb ...
Unpacking coq (8.20.0+dfsg-1) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../31-libdebhelper-perl_13.20_all.deb ...
Unpacking libdebhelper-perl (13.20) ...
Selecting previously unselected package libtool.
Preparing to unpack .../32-libtool_2.4.7-8_all.deb ...
Unpacking libtool (2.4.7-8) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../33-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../35-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../36-dh-strip-nondeterminism_1.14.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.14.0-1) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../37-libelf1t64_0.192-4_amd64.deb ...
Unpacking libelf1t64:amd64 (0.192-4) ...
Selecting previously unselected package dwz.
Preparing to unpack .../38-dwz_0.15-1+b1_amd64.deb ...
Unpacking dwz (0.15-1+b1) ...
Selecting previously unselected package libicu72:amd64.
Preparing to unpack .../39-libicu72_72.1-5+b1_amd64.deb ...
Unpacking libicu72:amd64 (72.1-5+b1) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../40-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ...
Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../41-gettext_0.22.5-2_amd64.deb ...
Unpacking gettext (0.22.5-2) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../42-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../43-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../44-debhelper_13.20_all.deb ...
Unpacking debhelper (13.20) ...
Selecting previously unselected package dh-coq.
Preparing to unpack .../45-dh-coq_0.11_all.deb ...
Unpacking dh-coq (0.11) ...
Selecting previously unselected package libconfig-tiny-perl.
Preparing to unpack .../46-libconfig-tiny-perl_2.30-1_all.deb ...
Unpacking libconfig-tiny-perl (2.30-1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../47-dh-ocaml_2.4_all.deb ...
Unpacking dh-ocaml (2.4) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../48-libfindlib-ocaml-dev_1.9.6-3_amd64.deb ...
Unpacking libfindlib-ocaml-dev (1.9.6-3) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../49-libgmpxx4ldbl_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../50-libgmp-dev_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
Selecting previously unselected package libgmp3-dev:amd64.
Preparing to unpack .../51-libgmp3-dev_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../52-libzarith-ocaml-dev_1.14-1_amd64.deb ...
Unpacking libzarith-ocaml-dev (1.14-1) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../53-libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb ...
Unpacking libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
Setting up media-types (10.1.0) ...
Setting up libpipeline1:amd64 (1.5.8-1) ...
Setting up libkeyutils1:amd64 (1.6.3-4) ...
Setting up libicu72:amd64 (72.1-5+b1) ...
Setting up libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ...
Setting up bsdextrautils (2.40.2-11) ...
Setting up libmagic-mgc (1:5.45-3+b1) ...
Setting up dh-coq (0.11) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libtirpc-common (1.3.4+ds-1.3) ...
Setting up libdebhelper-perl (13.20) ...
Setting up libmagic1t64:amd64 (1:5.45-3+b1) ...
Setting up gettext-base (0.22.5-2) ...
Setting up m4 (1.4.19-4) ...
Setting up libcom-err2:amd64 (1.47.1-1+b1) ...
Setting up file (1:5.45-3+b1) ...
Setting up libconfig-tiny-perl (2.30-1) ...
Setting up libelf1t64:amd64 (0.192-4) ...
Setting up libkrb5support0:amd64 (1.21.3-3) ...
Setting up tzdata (2024b-3) ...

Current default time zone: 'Etc/UTC'
Local time is now:      Thu Nov 21 09:48:51 UTC 2024.
Universal Time is now:  Thu Nov 21 09:48:51 UTC 2024.
Run 'dpkg-reconfigure tzdata' if you wish to change it.

Setting up autotools-dev (20220109.1) ...
Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ...
Setting up libncurses6:amd64 (6.5-2+b1) ...
Setting up libstdlib-ocaml (5.2.0-3) ...
Setting up autopoint (0.22.5-2) ...
Setting up ocaml-base (5.2.0-3) ...
Setting up libk5crypto3:amd64 (1.21.3-3) ...
Setting up autoconf (2.72-3) ...
Setting up dwz (0.15-1+b1) ...
Setting up sensible-utils (0.0.24) ...
Setting up libuchardet0:amd64 (0.0.8-1+b2) ...
Setting up netbase (6.4) ...
Setting up libkrb5-3:amd64 (1.21.3-3) ...
Setting up readline-common (8.2-5) ...
Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.14.0-1) ...
Setting up libncurses-dev:amd64 (6.5-2+b1) ...
Setting up gettext (0.22.5-2) ...
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
Setting up libtool (2.4.7-8) ...
Setting up libstdlib-ocaml-dev (5.2.0-3) ...
Setting up dh-ocaml (2.4) ...
Setting up libfindlib-ocaml (1.9.6-3) ...
Setting up libzarith-ocaml (1.14-1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
Setting up ocaml-interp (5.2.0-3) ...
Setting up ocaml-findlib (1.9.6-3) ...
Setting up libgssapi-krb5-2:amd64 (1.21.3-3) ...
Setting up libreadline8t64:amd64 (8.2-5) ...
Setting up dh-strip-nondeterminism (1.14.0-1) ...
Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
Setting up groff-base (1.23.0-5) ...
Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
Setting up libtirpc3t64:amd64 (1.3.4+ds-1.3+b1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up ocaml (5.2.0-3) ...
Setting up man-db (2.13.0-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libfindlib-ocaml-dev (1.9.6-3) ...
Setting up libnsl2:amd64 (1.3.0-3+b3) ...
Setting up libzarith-ocaml-dev (1.14-1) ...
Setting up libpython3.12-stdlib:amd64 (3.12.7-3) ...
Setting up python3.12 (3.12.7-3) ...
Setting up debhelper (13.20) ...
Setting up libpython3-stdlib:amd64 (3.12.7-1) ...
Setting up python3 (3.12.7-1) ...
Setting up coq (8.20.0+dfsg-1) ...
Setting up libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
Processing triggers for libc-bin (2.40-3) ...
Reading package lists...
Building dependency tree...
Reading state information...
Reading extended state information...
Initializing package states...
Writing extended state information...
Building tag database...
 -> Finished parsing the build-deps
I: Building the package
I: Running cd /build/reproducible-path/coq-stdpp-1.11.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S  > ../coq-stdpp_1.11.0-1_source.changes
dpkg-buildpackage: info: source package coq-stdpp
dpkg-buildpackage: info: source version 1.11.0-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
 debian/rules clean
dh clean --with coq,ocaml
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make clean
make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
"coq_makefile" -f _CoqProject -o Makefile.coq 
make[3]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
COQDEP TESTFILES
CLEAN
make[3]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
find [a-z]*/ \( -name "*.d" -o -name "*.vo" -o -name "*.vo[sk]" -o -name "*.aux" -o -name "*.cache" -o -name "*.glob" -o -name "*.vio" \) -print -delete || true
tests/.coqdeps.d
rm -f Makefile.coq .lia.cache builddep/*
make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
rm -f Makefile.coq.conf
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   dh_ocamlclean
   dh_clean
 debian/rules binary
dh binary --with coq,ocaml
   dh_update_autotools_config
   dh_autoreconf
   dh_ocamlinit
   dh_auto_configure
   debian/rules override_dh_auto_build
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make
make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
"coq_makefile" -f _CoqProject -o Makefile.coq 
make[3]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
COQDEP VFILES
COQDEP TESTFILES
COQLINT
COQC stdpp/options.v
COQC stdpp/base.v
COQC stdpp/proof_irrel.v
COQC stdpp/decidable.v
COQC stdpp/tactics.v
COQC stdpp/fin.v
COQTEST tests/fin.v (ref: tests/fin.ref)
COQC stdpp/option.v
COQC stdpp/well_founded.v
COQC stdpp/numbers.v
COQC stdpp/list.v
COQC stdpp/list_numbers.v
COQC stdpp/countable.v
COQC stdpp/strings.v
COQTEST tests/eunify.v (ref: tests/eunify.ref)
COQC stdpp/vector.v
COQC stdpp/finite.v
COQC stdpp_bitvector/definitions.v
COQC stdpp_unstable/bitblast.v
COQTEST tests/bitblast.v (ref: tests/bitblast.ref)
COQTEST tests/decidable.v (ref: tests/decidable.ref)
COQTEST tests/tactics_more.v (ref: tests/tactics_more.ref)
COQC stdpp/orders.v
COQC stdpp/sets.v
COQC stdpp/relations.v
COQC stdpp/pretty.v
COQC stdpp/infinite.v
COQC stdpp/fin_sets.v
COQC stdpp/fin_maps.v
COQC stdpp/fin_map_dom.v
COQC stdpp/mapset.v
COQC stdpp/pmap.v
COQC stdpp/gmap.v
COQTEST tests/universes.v (ref: tests/universes.ref)
COQC stdpp/listset.v
COQC stdpp/lexico.v
COQC stdpp/prelude.v
COQTEST tests/numbers_import.v (ref: tests/numbers_import.ref)
COQTEST tests/sets.v (ref: tests/sets.ref)
COQTEST tests/fin_maps.v (ref: tests/fin_maps.ref)
COQC stdpp/propset.v
COQTEST tests/proper.v (ref: tests/proper.ref)
COQTEST tests/pretty.v (ref: tests/pretty.ref)
COQTEST tests/propset.v (ref: tests/propset.ref)
COQTEST tests/length.v (ref: tests/length.ref)
COQC stdpp_bitvector/tactics.v
COQTEST tests/bitvector_tactics.v (ref: tests/bitvector_tactics.ref)
COQC stdpp/ssreflect.v
COQC stdpp/gmultiset.v
COQTEST tests/notation.v (ref: tests/notation.ref)
COQTEST tests/list.v (ref: tests/list.ref)
COQTEST tests/tactics.v (ref: tests/tactics.ref)
COQTEST tests/bitvector_definitions.v (ref: tests/bitvector_definitions.ref)
COQC stdpp/coPset.v
COQC stdpp/namespaces.v
COQTEST tests/solve_ndisj.v (ref: tests/solve_ndisj.ref)
COQTEST tests/ascii.v (ref: tests/ascii.ref)
COQC stdpp/telescopes.v
COQTEST tests/telescopes.v (ref: tests/telescopes.ref)
COQTEST tests/is_closed_term.v (ref: tests/is_closed_term.ref)
COQTEST tests/typeclasses.v (ref: tests/typeclasses.ref)
COQTEST tests/multiset_solver.v (ref: tests/multiset_solver.ref)
COQC stdpp/sorting.v
COQTEST tests/strings.v (ref: tests/strings.ref)
COQTEST tests/numbers.v (ref: tests/numbers.ref)
COQC stdpp/boolset.v
COQC stdpp/stringmap.v
COQC stdpp/zmap.v
COQC stdpp/hashset.v
COQC stdpp/natmap.v
COQC stdpp/streams.v
COQC stdpp/listset_nodup.v
COQC stdpp/nmap.v
COQC stdpp/coGset.v
COQC stdpp/functions.v
COQC stdpp/hlist.v
COQC stdpp/nat_cancel.v
COQC stdpp/binders.v
COQC stdpp_bitvector/bitvector.v
make[3]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   dh_auto_test
	make -j20 test
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[2]: Nothing to be done for 'test'.
make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   create-stamp debian/debhelper-build-stamp
   dh_prep
   debian/rules override_dh_auto_install
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make install DESTDIR=debian/tmp
make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[3]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
INSTALL stdpp/options.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/base.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/tactics.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/option.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_map_dom.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/boolset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_maps.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/vector.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/stringmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_sets.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/mapset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/proof_irrel.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hashset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pretty.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/countable.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/orders.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/natmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/strings.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/well_founded.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/relations.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sets.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/streams.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmultiset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/prelude.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset_nodup.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/finite.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/numbers.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/zmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coPset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coGset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/lexico.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/propset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/decidable.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list_numbers.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/functions.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hlist.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sorting.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/infinite.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nat_cancel.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/namespaces.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/telescopes.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/binders.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/ssreflect.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp_bitvector/definitions.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/tactics.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/bitvector.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_unstable/bitblast.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/unstable/
INSTALL stdpp/options.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/base.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/tactics.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/option.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_map_dom.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/boolset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_maps.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/vector.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/stringmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_sets.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/mapset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/proof_irrel.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hashset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pretty.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/countable.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/orders.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/natmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/strings.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/well_founded.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/relations.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sets.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/streams.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmultiset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/prelude.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset_nodup.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/finite.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/numbers.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/zmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coPset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coGset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/lexico.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/propset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/decidable.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list_numbers.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/functions.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hlist.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sorting.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/infinite.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nat_cancel.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/namespaces.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/telescopes.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/binders.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/ssreflect.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp_bitvector/definitions.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/tactics.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/bitvector.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_unstable/bitblast.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/unstable/
INSTALL stdpp/options.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/base.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/tactics.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/option.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_map_dom.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/boolset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_maps.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/vector.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/stringmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_sets.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/mapset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/proof_irrel.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hashset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pretty.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/countable.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/orders.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/natmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/strings.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/well_founded.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/relations.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sets.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/streams.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmultiset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/prelude.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset_nodup.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/finite.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/numbers.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/zmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coPset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coGset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/lexico.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/propset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/decidable.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list_numbers.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/functions.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hlist.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sorting.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/infinite.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nat_cancel.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/namespaces.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/telescopes.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/binders.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/ssreflect.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp_bitvector/definitions.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/tactics.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/bitvector.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_unstable/bitblast.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/unstable/
make[4]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[4]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[3]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   dh_install
   dh_ocamldoc
   dh_installdocs
   debian/rules override_dh_installchangelogs
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
dh_installchangelogs CHANGELOG.md
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   dh_perl
   dh_link
   dh_strip_nondeterminism
   dh_compress
   dh_fixperms
   dh_missing
   dh_dwz -a
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
   dh_installdeb
   dh_coq
   dh_ocaml
   dh_gencontrol
   dh_md5sums
   dh_builddeb
dpkg-deb: building package 'libcoq-stdpp' in '../libcoq-stdpp_1.11.0-1_amd64.deb'.
 dpkg-genbuildinfo --build=binary -O../coq-stdpp_1.11.0-1_amd64.buildinfo
 dpkg-genchanges --build=binary -O../coq-stdpp_1.11.0-1_amd64.changes
dpkg-genchanges: info: binary-only upload (no source code included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
dpkg-genchanges: info: including full source code in upload
I: copying local configuration
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/1715620 and its subdirectories
I: Current time: Wed Nov 20 22:01:14 -12 2024
I: pbuilder-time-stamp: 1732183274
Thu Nov 21 10:01:16 UTC 2024  I: 1st build successful. Starting 2nd build on remote node ionos5-amd64.debian.net.
Thu Nov 21 10:01:16 UTC 2024  I: Preparing to do remote build '2' on ionos5-amd64.debian.net.
Thu Nov 21 10:01:16 UTC 2024 - checking /var/lib/jenkins/offline_nodes if ionos5-amd64.debian.net is marked as down.
Thu Nov 21 10:01:16 UTC 2024 - checking via ssh if ionos5-amd64.debian.net is up.
removed '/tmp/read-only-fs-test-3iWkay'
====================================================================================
Wed Dec 24 16:24:17 UTC 2025 - running /srv/jenkins/bin/reproducible_build.sh (for job /srv/jenkins/bin/reproducible_build.sh) on ionos5-amd64, called using "2 coq-stdpp unstable /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb 1.11.0-1" as arguments.
Wed Dec 24 16:24:17 UTC 2025 - actually running "reproducible_build.sh" (md5sum 68e686e434c9ab7bc3ec047d8b309cbc) as "/tmp/jenkins-script-4dXoF7a9"

$ git clone https://salsa.debian.org/qa/jenkins.debian.net.git ; more CONTRIBUTING

Wed Dec 24 16:24:17 UTC 2025  I: Downloading source for unstable/coq-stdpp=1.11.0-1
Reading package lists...
NOTICE: 'coq-stdpp' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/coq-stdpp.git
Please use:
git clone https://salsa.debian.org/ocaml-team/coq-stdpp.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 262 kB of source archives.
Get:1 http://deb.debian.org/debian unstable/main coq-stdpp 1.11.0-1 (dsc) [2076 B]
Get:2 http://deb.debian.org/debian unstable/main coq-stdpp 1.11.0-1 (tar) [257 kB]
Get:3 http://deb.debian.org/debian unstable/main coq-stdpp 1.11.0-1 (diff) [2772 B]
Fetched 262 kB in 0s (8922 kB/s)
Download complete and in download only mode
Reading package lists...
NOTICE: 'coq-stdpp' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/coq-stdpp.git
Please use:
git clone https://salsa.debian.org/ocaml-team/coq-stdpp.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 262 kB of source archives.
Get:1 http://deb.debian.org/debian unstable/main coq-stdpp 1.11.0-1 (dsc) [2076 B]
Get:2 http://deb.debian.org/debian unstable/main coq-stdpp 1.11.0-1 (tar) [257 kB]
Get:3 http://deb.debian.org/debian unstable/main coq-stdpp 1.11.0-1 (diff) [2772 B]
Fetched 262 kB in 0s (8922 kB/s)
Download complete and in download only mode
=============================================================================
Re-Building coq-stdpp in unstable on amd64 on ionos5-amd64 now.
Date:     Wed Dec 24 16:24:17 UTC 2025
Date UTC: Wed Dec 24 16:24:17 UTC 2025
=============================================================================
++ mktemp -t pbuilderrc_XXXX --tmpdir=/srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb
+ local TMPCFG=/srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/pbuilderrc_SC8j
+ case ${ARCH} in
+ case $ARCH in
+ locale=et_EE
+ language=et
+ case "${SUITE}" in
+ reproducible_buildflags=+all
+ extra_deb_build_options=
+ case "${SRCPACKAGE}" in
+ cat
+ echo BUILDDIR=/build/reproducible-path
+ '[' coq-stdpp = debian-installer -o coq-stdpp = debian-installer-netboot-images ']'
+ pbuilder_options=()
+ local pbuilder_options
+ DEBBUILDOPTS=-b
+ BINARYTARGET=
+ '[' coq-stdpp = u-boot ']'
+ case "${SRCPACKAGE}" in
+ PBUILDERTIMEOUT=24
+ local PRESULT=0
+ sudo timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/pbuilderrc_SC8j --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b2 --logfile b2/build.log coq-stdpp_1.11.0-1.dsc
W: /root/.pbuilderrc does not exist
I: Logging to b2/build.log
I: pbuilder: network access will be disabled during build
I: Current time: Thu Dec 25 06:24:17 +14 2025
I: pbuilder-time-stamp: 1766593457
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/unstable-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 [coq-stdpp_1.11.0-1.dsc]
I: copying [./coq-stdpp_1.11.0.orig.tar.bz2]
I: copying [./coq-stdpp_1.11.0-1.debian.tar.xz]
I: Extracting source
gpgv: Signature made Wed Nov 20 09:49:18 2024 
gpgv:                using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
gpgv:                issuer "jpuydt@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify inline signature for ./coq-stdpp_1.11.0-1.dsc: no acceptable signature found
dpkg-source: info: extracting coq-stdpp in coq-stdpp-1.11.0
dpkg-source: info: unpacking coq-stdpp_1.11.0.orig.tar.bz2
dpkg-source: info: unpacking coq-stdpp_1.11.0-1.debian.tar.xz
I: Not using root during the build.
I: Installing the build-deps
I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/D01_modify_environment starting
debug: Running on ionos5-amd64.
I: Changing host+domainname to test build reproducibility
I: Adding a custom variable just for the fun of it...
I: Changing /bin/sh to bash
'/bin/sh' -> '/bin/bash'
lrwxrwxrwx 1 root root 9 Dec 24 16:24 /bin/sh -> /bin/bash
I: Setting pbuilder2's login shell to /bin/bash
I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other
I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/D01_modify_environment finished
I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/D02_print_environment starting
I: set
  BASH=/bin/sh
  BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath
  BASH_ALIASES=()
  BASH_ARGC=()
  BASH_ARGV=()
  BASH_CMDS=()
  BASH_LINENO=([0]="12" [1]="0")
  BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:.
  BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment")
  BASH_VERSINFO=([0]="5" [1]="2" [2]="32" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu")
  BASH_VERSION='5.2.32(1)-release'
  BUILDDIR=/build/reproducible-path
  BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
  BUILDUSERNAME=pbuilder2
  BUILD_ARCH=amd64
  DEBIAN_FRONTEND=noninteractive
  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=42 '
  DIRSTACK=()
  DISTRIBUTION=unstable
  EUID=0
  FUNCNAME=([0]="Echo" [1]="main")
  GROUPS=()
  HOME=/root
  HOSTNAME=i-capture-the-hostname
  HOSTTYPE=x86_64
  HOST_ARCH=amd64
  IFS=' 	
  '
  INVOCATION_ID=7870a86057964e30a33f1e48b7163e5b
  LANG=C
  LANGUAGE=et_EE:et
  LC_ALL=C
  MACHTYPE=x86_64-pc-linux-gnu
  MAIL=/var/mail/root
  OPTERR=1
  OPTIND=1
  OSTYPE=linux-gnu
  PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path
  PBCURRENTCOMMANDLINEOPERATION=build
  PBUILDER_OPERATION=build
  PBUILDER_PKGDATADIR=/usr/share/pbuilder
  PBUILDER_PKGLIBDIR=/usr/lib/pbuilder
  PBUILDER_SYSCONFDIR=/etc
  PIPESTATUS=([0]="0")
  POSIXLY_CORRECT=y
  PPID=3562436
  PS4='+ '
  PWD=/
  SHELL=/bin/bash
  SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix
  SHLVL=3
  SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/pbuilderrc_SC8j --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b2 --logfile b2/build.log coq-stdpp_1.11.0-1.dsc'
  SUDO_GID=110
  SUDO_UID=105
  SUDO_USER=jenkins
  TERM=unknown
  TZ=/usr/share/zoneinfo/Etc/GMT-14
  UID=0
  USER=root
  _='I: set'
  http_proxy=http://213.165.73.152:3128
I: uname -a
  Linux i-capture-the-hostname 6.11.5+bpo-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.11.5-1~bpo12+1 (2024-11-11) x86_64 GNU/Linux
I: ls -l /bin
  lrwxrwxrwx 1 root root 7 Aug  4  2024 /bin -> usr/bin
I: user script /srv/workspace/pbuilder/3562436/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 <pbuilder-maint@lists.alioth.debian.org>
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 (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'.
Selecting previously unselected package pbuilder-satisfydepends-dummy.
(Reading database ... 19966 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 (>= 8.18); 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 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.

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} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libconfig-tiny-perl{a} libcoq-stdlib{a} libdebhelper-perl{a} libelf1t64{a} libfile-stripnondeterminism-perl{a} libicu72{a} libmagic-mgc{a} libmagic1t64{a} libpipeline1{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} 
The following packages are RECOMMENDED but will NOT be installed:
  curl libarchive-cpio-perl libltdl-dev libmail-sendmail-perl lynx ocaml wget 
0 packages upgraded, 33 newly installed, 0 to remove and 0 not upgraded.
Need to get 43.5 MB of archives. After unpacking 225 MB will be used.
The following packages have unmet dependencies:
 pbuilder-satisfydepends-dummy : Depends: coq (>= 8.18) but it is not installable
                                 Depends: libcoq-core-ocaml-dev but it is not installable
The following actions will resolve these dependencies:

      Install the following packages:                   
1)      coq [8.20.0+dfsg-1 (unstable)]                  
2)      libcom-err2 [1.47.1-1+b1 (unstable)]            
3)      libcompiler-libs-ocaml-dev [5.2.0-3 (unstable)] 
4)      libcoq-core-ocaml [8.20.0+dfsg-1 (unstable)]    
5)      libcoq-core-ocaml-dev [8.20.0+dfsg-1 (unstable)]
6)      libexpat1 [2.6.4-1 (unstable)]                  
7)      libfindlib-ocaml [1.9.6-3 (unstable)]           
8)      libfindlib-ocaml-dev [1.9.6-3 (unstable)]       
9)      libgmp-dev [2:6.3.0+dfsg-2+b2 (unstable)]       
10)     libgmp3-dev [2:6.3.0+dfsg-2+b2 (unstable)]      
11)     libgmpxx4ldbl [2:6.3.0+dfsg-2+b2 (unstable)]    
12)     libgssapi-krb5-2 [1.21.3-3 (unstable)]          
13)     libk5crypto3 [1.21.3-3 (unstable)]              
14)     libkeyutils1 [1.6.3-4 (unstable)]               
15)     libkrb5-3 [1.21.3-3 (unstable)]                 
16)     libkrb5support0 [1.21.3-3 (unstable)]           
17)     libncurses-dev [6.5-2+b1 (unstable)]            
18)     libncurses6 [6.5-2+b1 (unstable)]               
19)     libnsl2 [1.3.0-3+b3 (unstable)]                 
20)     libpython3-stdlib [3.12.7-1 (unstable)]         
21)     libpython3.12-minimal [3.12.7-3 (unstable)]     
22)     libpython3.12-stdlib [3.12.7-3 (unstable)]      
23)     libreadline8t64 [8.2-5 (unstable)]              
24)     libstdlib-ocaml [5.2.0-3 (unstable)]            
25)     libstdlib-ocaml-dev [5.2.0-3 (unstable)]        
26)     libtirpc-common [1.3.4+ds-1.3 (unstable)]       
27)     libtirpc3t64 [1.3.4+ds-1.3+b1 (unstable)]       
28)     libzarith-ocaml [1.14-1 (unstable)]             
29)     libzarith-ocaml-dev [1.14-1 (unstable)]         
30)     libzstd-dev [1.5.6+dfsg-1+b1 (unstable)]        
31)     media-types [10.1.0 (unstable)]                 
32)     netbase [6.4 (unstable)]                        
33)     ocaml [5.2.0-3 (unstable)]                      
34)     ocaml-base [5.2.0-3 (unstable)]                 
35)     ocaml-findlib [1.9.6-3 (unstable)]              
36)     ocaml-interp [5.2.0-3 (unstable)]               
37)     python3 [3.12.7-1 (unstable)]                   
38)     python3-minimal [3.12.7-1 (unstable)]           
39)     python3.12 [3.12.7-3 (unstable)]                
40)     python3.12-minimal [3.12.7-3 (unstable)]        
41)     readline-common [8.2-5 (unstable)]              
42)     tzdata [2024b-3 (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} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libcom-err2{a} libcompiler-libs-ocaml-dev{a} libconfig-tiny-perl{a} libcoq-core-ocaml{a} libcoq-core-ocaml-dev{a} libcoq-stdlib{a} libdebhelper-perl{a} libelf1t64{a} libexpat1{a} libfile-stripnondeterminism-perl{a} libfindlib-ocaml{a} libfindlib-ocaml-dev{a} libgmp-dev{a} libgmp3-dev{a} libgmpxx4ldbl{a} libgssapi-krb5-2{a} libicu72{a} libk5crypto3{a} libkeyutils1{a} libkrb5-3{a} libkrb5support0{a} libmagic-mgc{a} libmagic1t64{a} libncurses-dev{a} libncurses6{a} libnsl2{a} libpipeline1{a} libpython3-stdlib{a} libpython3.12-minimal{a} libpython3.12-stdlib{a} libreadline8t64{a} libstdlib-ocaml{a} libstdlib-ocaml-dev{a} libtirpc-common{a} libtirpc3t64{a} libtool{a} libuchardet0{a} libxml2{a} libzarith-ocaml{a} libzarith-ocaml-dev{a} libzstd-dev{a} m4{a} man-db{a} media-types{a} netbase{a} ocaml{a} ocaml-base{a} ocaml-findlib{a} ocaml-interp{a} po-debconf{a} python3{a} python3-minimal{a} python3.12{a} python3.12-minimal{a} readline-common{a} sensible-utils{a} tzdata{a} 
The following packages are RECOMMENDED but will NOT be installed:
  ca-certificates curl krb5-locales ledit libarchive-cpio-perl libgpm2 libltdl-dev libmail-sendmail-perl lynx ocaml-man rlfe rlwrap wget 
0 packages upgraded, 75 newly installed, 0 to remove and 0 not upgraded.
Need to get 310 MB of archives. After unpacking 992 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian unstable/main amd64 libpython3.12-minimal amd64 3.12.7-3 [815 kB]
Get: 2 http://deb.debian.org/debian unstable/main amd64 libexpat1 amd64 2.6.4-1 [106 kB]
Get: 3 http://deb.debian.org/debian unstable/main amd64 python3.12-minimal amd64 3.12.7-3 [2162 kB]
Get: 4 http://deb.debian.org/debian unstable/main amd64 python3-minimal amd64 3.12.7-1 [26.8 kB]
Get: 5 http://deb.debian.org/debian unstable/main amd64 media-types all 10.1.0 [26.9 kB]
Get: 6 http://deb.debian.org/debian unstable/main amd64 netbase all 6.4 [12.8 kB]
Get: 7 http://deb.debian.org/debian unstable/main amd64 tzdata all 2024b-3 [255 kB]
Get: 8 http://deb.debian.org/debian unstable/main amd64 libkrb5support0 amd64 1.21.3-3 [32.5 kB]
Get: 9 http://deb.debian.org/debian unstable/main amd64 libcom-err2 amd64 1.47.1-1+b1 [23.2 kB]
Get: 10 http://deb.debian.org/debian unstable/main amd64 libk5crypto3 amd64 1.21.3-3 [79.9 kB]
Get: 11 http://deb.debian.org/debian unstable/main amd64 libkeyutils1 amd64 1.6.3-4 [9092 B]
Get: 12 http://deb.debian.org/debian unstable/main amd64 libkrb5-3 amd64 1.21.3-3 [324 kB]
Get: 13 http://deb.debian.org/debian unstable/main amd64 libgssapi-krb5-2 amd64 1.21.3-3 [136 kB]
Get: 14 http://deb.debian.org/debian unstable/main amd64 libtirpc-common all 1.3.4+ds-1.3 [10.9 kB]
Get: 15 http://deb.debian.org/debian unstable/main amd64 libtirpc3t64 amd64 1.3.4+ds-1.3+b1 [83.1 kB]
Get: 16 http://deb.debian.org/debian unstable/main amd64 libnsl2 amd64 1.3.0-3+b3 [40.6 kB]
Get: 17 http://deb.debian.org/debian unstable/main amd64 readline-common all 8.2-5 [69.3 kB]
Get: 18 http://deb.debian.org/debian unstable/main amd64 libreadline8t64 amd64 8.2-5 [169 kB]
Get: 19 http://deb.debian.org/debian unstable/main amd64 libpython3.12-stdlib amd64 3.12.7-3 [1966 kB]
Get: 20 http://deb.debian.org/debian unstable/main amd64 python3.12 amd64 3.12.7-3 [671 kB]
Get: 21 http://deb.debian.org/debian unstable/main amd64 libpython3-stdlib amd64 3.12.7-1 [9712 B]
Get: 22 http://deb.debian.org/debian unstable/main amd64 python3 amd64 3.12.7-1 [27.8 kB]
Get: 23 http://deb.debian.org/debian unstable/main amd64 sensible-utils all 0.0.24 [24.8 kB]
Get: 24 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64 1:5.45-3+b1 [314 kB]
Get: 25 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64 1:5.45-3+b1 [108 kB]
Get: 26 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.45-3+b1 [43.3 kB]
Get: 27 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64 0.22.5-2 [200 kB]
Get: 28 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64 0.0.8-1+b2 [68.9 kB]
Get: 29 http://deb.debian.org/debian unstable/main amd64 groff-base amd64 1.23.0-5 [1181 kB]
Get: 30 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64 2.40.2-11 [91.5 kB]
Get: 31 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB]
Get: 32 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.13.0-1 [1420 kB]
Get: 33 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-4 [287 kB]
Get: 34 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.72-3 [493 kB]
Get: 35 http://deb.debian.org/debian unstable/main amd64 autotools-dev all 20220109.1 [51.6 kB]
Get: 36 http://deb.debian.org/debian unstable/main amd64 automake all 1:1.16.5-1.3 [823 kB]
Get: 37 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.22.5-2 [723 kB]
Get: 38 http://deb.debian.org/debian unstable/main amd64 libcoq-stdlib amd64 8.20.0+dfsg-1 [23.5 MB]
Get: 39 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml amd64 5.2.0-3 [582 kB]
Get: 40 http://deb.debian.org/debian unstable/main amd64 ocaml-base amd64 5.2.0-3 [455 kB]
Get: 41 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml amd64 1.9.6-3 [179 kB]
Get: 42 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml amd64 1.14-1 [116 kB]
Get: 43 http://deb.debian.org/debian unstable/main amd64 libcoq-core-ocaml amd64 8.20.0+dfsg-1 [25.9 MB]
Get: 44 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml-dev amd64 5.2.0-3 [11.0 MB]
Get: 45 http://deb.debian.org/debian unstable/main amd64 libcompiler-libs-ocaml-dev amd64 5.2.0-3 [47.4 MB]
Get: 46 http://deb.debian.org/debian unstable/main amd64 ocaml-interp amd64 5.2.0-3 [6852 kB]
Get: 47 http://deb.debian.org/debian unstable/main amd64 libncurses6 amd64 6.5-2+b1 [105 kB]
Get: 48 http://deb.debian.org/debian unstable/main amd64 libncurses-dev amd64 6.5-2+b1 [351 kB]
Get: 49 http://deb.debian.org/debian unstable/main amd64 libzstd-dev amd64 1.5.6+dfsg-1+b1 [365 kB]
Get: 50 http://deb.debian.org/debian unstable/main amd64 ocaml amd64 5.2.0-3 [17.4 MB]
Get: 51 http://deb.debian.org/debian unstable/main amd64 ocaml-findlib amd64 1.9.6-3 [569 kB]
Get: 52 http://deb.debian.org/debian unstable/main amd64 coq amd64 8.20.0+dfsg-1 [77.0 MB]
Get: 53 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all 13.20 [89.7 kB]
Get: 54 http://deb.debian.org/debian unstable/main amd64 libtool all 2.4.7-8 [517 kB]
Get: 55 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 20 [17.1 kB]
Get: 56 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 57 http://deb.debian.org/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB]
Get: 58 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism all 1.14.0-1 [8448 B]
Get: 59 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64 0.192-4 [189 kB]
Get: 60 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.15-1+b1 [110 kB]
Get: 61 http://deb.debian.org/debian unstable/main amd64 libicu72 amd64 72.1-5+b1 [9423 kB]
Get: 62 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64 2.12.7+dfsg+really2.9.14-0.2+b1 [699 kB]
Get: 63 http://deb.debian.org/debian unstable/main amd64 gettext amd64 0.22.5-2 [1601 kB]
Get: 64 http://deb.debian.org/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get: 65 http://deb.debian.org/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 66 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.20 [915 kB]
Get: 67 http://deb.debian.org/debian unstable/main amd64 dh-coq all 0.11 [6776 B]
Get: 68 http://deb.debian.org/debian unstable/main amd64 libconfig-tiny-perl all 2.30-1 [18.9 kB]
Get: 69 http://deb.debian.org/debian unstable/main amd64 dh-ocaml all 2.4 [62.9 kB]
Get: 70 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml-dev amd64 1.9.6-3 [152 kB]
Get: 71 http://deb.debian.org/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.3.0+dfsg-2+b2 [329 kB]
Get: 72 http://deb.debian.org/debian unstable/main amd64 libgmp-dev amd64 2:6.3.0+dfsg-2+b2 [642 kB]
Get: 73 http://deb.debian.org/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-2+b2 [322 kB]
Get: 74 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml-dev amd64 1.14-1 [142 kB]
Get: 75 http://deb.debian.org/debian unstable/main amd64 libcoq-core-ocaml-dev amd64 8.20.0+dfsg-1 [69.4 MB]
Fetched 310 MB in 8s (38.1 MB/s)
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libpython3.12-minimal: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 ... 19966 files and directories currently installed.)
Preparing to unpack .../libpython3.12-minimal_3.12.7-3_amd64.deb ...
Unpacking libpython3.12-minimal:amd64 (3.12.7-3) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../libexpat1_2.6.4-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.6.4-1) ...
Selecting previously unselected package python3.12-minimal.
Preparing to unpack .../python3.12-minimal_3.12.7-3_amd64.deb ...
Unpacking python3.12-minimal (3.12.7-3) ...
Setting up libpython3.12-minimal:amd64 (3.12.7-3) ...
Setting up libexpat1:amd64 (2.6.4-1) ...
Setting up python3.12-minimal (3.12.7-3) ...
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 ... 20286 files and directories currently installed.)
Preparing to unpack .../00-python3-minimal_3.12.7-1_amd64.deb ...
Unpacking python3-minimal (3.12.7-1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../01-media-types_10.1.0_all.deb ...
Unpacking media-types (10.1.0) ...
Selecting previously unselected package netbase.
Preparing to unpack .../02-netbase_6.4_all.deb ...
Unpacking netbase (6.4) ...
Selecting previously unselected package tzdata.
Preparing to unpack .../03-tzdata_2024b-3_all.deb ...
Unpacking tzdata (2024b-3) ...
Selecting previously unselected package libkrb5support0:amd64.
Preparing to unpack .../04-libkrb5support0_1.21.3-3_amd64.deb ...
Unpacking libkrb5support0:amd64 (1.21.3-3) ...
Selecting previously unselected package libcom-err2:amd64.
Preparing to unpack .../05-libcom-err2_1.47.1-1+b1_amd64.deb ...
Unpacking libcom-err2:amd64 (1.47.1-1+b1) ...
Selecting previously unselected package libk5crypto3:amd64.
Preparing to unpack .../06-libk5crypto3_1.21.3-3_amd64.deb ...
Unpacking libk5crypto3:amd64 (1.21.3-3) ...
Selecting previously unselected package libkeyutils1:amd64.
Preparing to unpack .../07-libkeyutils1_1.6.3-4_amd64.deb ...
Unpacking libkeyutils1:amd64 (1.6.3-4) ...
Selecting previously unselected package libkrb5-3:amd64.
Preparing to unpack .../08-libkrb5-3_1.21.3-3_amd64.deb ...
Unpacking libkrb5-3:amd64 (1.21.3-3) ...
Selecting previously unselected package libgssapi-krb5-2:amd64.
Preparing to unpack .../09-libgssapi-krb5-2_1.21.3-3_amd64.deb ...
Unpacking libgssapi-krb5-2:amd64 (1.21.3-3) ...
Selecting previously unselected package libtirpc-common.
Preparing to unpack .../10-libtirpc-common_1.3.4+ds-1.3_all.deb ...
Unpacking libtirpc-common (1.3.4+ds-1.3) ...
Selecting previously unselected package libtirpc3t64:amd64.
Preparing to unpack .../11-libtirpc3t64_1.3.4+ds-1.3+b1_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3 to /lib/x86_64-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libtirpc.so.3.0.0 to /lib/x86_64-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64'
Unpacking libtirpc3t64:amd64 (1.3.4+ds-1.3+b1) ...
Selecting previously unselected package libnsl2:amd64.
Preparing to unpack .../12-libnsl2_1.3.0-3+b3_amd64.deb ...
Unpacking libnsl2:amd64 (1.3.0-3+b3) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../13-readline-common_8.2-5_all.deb ...
Unpacking readline-common (8.2-5) ...
Selecting previously unselected package libreadline8t64:amd64.
Preparing to unpack .../14-libreadline8t64_8.2-5_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.2-5) ...
Selecting previously unselected package libpython3.12-stdlib:amd64.
Preparing to unpack .../15-libpython3.12-stdlib_3.12.7-3_amd64.deb ...
Unpacking libpython3.12-stdlib:amd64 (3.12.7-3) ...
Selecting previously unselected package python3.12.
Preparing to unpack .../16-python3.12_3.12.7-3_amd64.deb ...
Unpacking python3.12 (3.12.7-3) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../17-libpython3-stdlib_3.12.7-1_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.12.7-1) ...
Setting up python3-minimal (3.12.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 ... 21348 files and directories currently installed.)
Preparing to unpack .../00-python3_3.12.7-1_amd64.deb ...
Unpacking python3 (3.12.7-1) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.24_all.deb ...
Unpacking sensible-utils (0.0.24) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic-mgc (1:5.45-3+b1) ...
Selecting previously unselected package libmagic1t64:amd64.
Preparing to unpack .../03-libmagic1t64_1%3a5.45-3+b1_amd64.deb ...
Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.45-3+b1_amd64.deb ...
Unpacking file (1:5.45-3+b1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.22.5-2_amd64.deb ...
Unpacking gettext-base (0.22.5-2) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../06-libuchardet0_0.0.8-1+b2_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.8-1+b2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../07-groff-base_1.23.0-5_amd64.deb ...
Unpacking groff-base (1.23.0-5) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../08-bsdextrautils_2.40.2-11_amd64.deb ...
Unpacking bsdextrautils (2.40.2-11) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../09-libpipeline1_1.5.8-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.8-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../10-man-db_2.13.0-1_amd64.deb ...
Unpacking man-db (2.13.0-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.19-4_amd64.deb ...
Unpacking m4 (1.4.19-4) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.72-3_all.deb ...
Unpacking autoconf (2.72-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ...
Unpacking automake (1:1.16.5-1.3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../15-autopoint_0.22.5-2_all.deb ...
Unpacking autopoint (0.22.5-2) ...
Selecting previously unselected package libcoq-stdlib.
Preparing to unpack .../16-libcoq-stdlib_8.20.0+dfsg-1_amd64.deb ...
Unpacking libcoq-stdlib (8.20.0+dfsg-1) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../17-libstdlib-ocaml_5.2.0-3_amd64.deb ...
Unpacking libstdlib-ocaml (5.2.0-3) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../18-ocaml-base_5.2.0-3_amd64.deb ...
Unpacking ocaml-base (5.2.0-3) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../19-libfindlib-ocaml_1.9.6-3_amd64.deb ...
Unpacking libfindlib-ocaml (1.9.6-3) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../20-libzarith-ocaml_1.14-1_amd64.deb ...
Unpacking libzarith-ocaml (1.14-1) ...
Selecting previously unselected package libcoq-core-ocaml.
Preparing to unpack .../21-libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb ...
Unpacking libcoq-core-ocaml (8.20.0+dfsg-1) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../22-libstdlib-ocaml-dev_5.2.0-3_amd64.deb ...
Unpacking libstdlib-ocaml-dev (5.2.0-3) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../23-libcompiler-libs-ocaml-dev_5.2.0-3_amd64.deb ...
Unpacking libcompiler-libs-ocaml-dev (5.2.0-3) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../24-ocaml-interp_5.2.0-3_amd64.deb ...
Unpacking ocaml-interp (5.2.0-3) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../25-libncurses6_6.5-2+b1_amd64.deb ...
Unpacking libncurses6:amd64 (6.5-2+b1) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../26-libncurses-dev_6.5-2+b1_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.5-2+b1) ...
Selecting previously unselected package libzstd-dev:amd64.
Preparing to unpack .../27-libzstd-dev_1.5.6+dfsg-1+b1_amd64.deb ...
Unpacking libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../28-ocaml_5.2.0-3_amd64.deb ...
Unpacking ocaml (5.2.0-3) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../29-ocaml-findlib_1.9.6-3_amd64.deb ...
Unpacking ocaml-findlib (1.9.6-3) ...
Selecting previously unselected package coq.
Preparing to unpack .../30-coq_8.20.0+dfsg-1_amd64.deb ...
Unpacking coq (8.20.0+dfsg-1) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../31-libdebhelper-perl_13.20_all.deb ...
Unpacking libdebhelper-perl (13.20) ...
Selecting previously unselected package libtool.
Preparing to unpack .../32-libtool_2.4.7-8_all.deb ...
Unpacking libtool (2.4.7-8) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../33-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../34-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../35-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../36-dh-strip-nondeterminism_1.14.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.14.0-1) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../37-libelf1t64_0.192-4_amd64.deb ...
Unpacking libelf1t64:amd64 (0.192-4) ...
Selecting previously unselected package dwz.
Preparing to unpack .../38-dwz_0.15-1+b1_amd64.deb ...
Unpacking dwz (0.15-1+b1) ...
Selecting previously unselected package libicu72:amd64.
Preparing to unpack .../39-libicu72_72.1-5+b1_amd64.deb ...
Unpacking libicu72:amd64 (72.1-5+b1) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../40-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ...
Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../41-gettext_0.22.5-2_amd64.deb ...
Unpacking gettext (0.22.5-2) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../42-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../43-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../44-debhelper_13.20_all.deb ...
Unpacking debhelper (13.20) ...
Selecting previously unselected package dh-coq.
Preparing to unpack .../45-dh-coq_0.11_all.deb ...
Unpacking dh-coq (0.11) ...
Selecting previously unselected package libconfig-tiny-perl.
Preparing to unpack .../46-libconfig-tiny-perl_2.30-1_all.deb ...
Unpacking libconfig-tiny-perl (2.30-1) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../47-dh-ocaml_2.4_all.deb ...
Unpacking dh-ocaml (2.4) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../48-libfindlib-ocaml-dev_1.9.6-3_amd64.deb ...
Unpacking libfindlib-ocaml-dev (1.9.6-3) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../49-libgmpxx4ldbl_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../50-libgmp-dev_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
Selecting previously unselected package libgmp3-dev:amd64.
Preparing to unpack .../51-libgmp3-dev_2%3a6.3.0+dfsg-2+b2_amd64.deb ...
Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../52-libzarith-ocaml-dev_1.14-1_amd64.deb ...
Unpacking libzarith-ocaml-dev (1.14-1) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../53-libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb ...
Unpacking libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
Setting up media-types (10.1.0) ...
Setting up libpipeline1:amd64 (1.5.8-1) ...
Setting up libkeyutils1:amd64 (1.6.3-4) ...
Setting up libicu72:amd64 (72.1-5+b1) ...
Setting up libzstd-dev:amd64 (1.5.6+dfsg-1+b1) ...
Setting up bsdextrautils (2.40.2-11) ...
Setting up libmagic-mgc (1:5.45-3+b1) ...
Setting up dh-coq (0.11) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libtirpc-common (1.3.4+ds-1.3) ...
Setting up libdebhelper-perl (13.20) ...
Setting up libmagic1t64:amd64 (1:5.45-3+b1) ...
Setting up gettext-base (0.22.5-2) ...
Setting up m4 (1.4.19-4) ...
Setting up libcom-err2:amd64 (1.47.1-1+b1) ...
Setting up file (1:5.45-3+b1) ...
Setting up libconfig-tiny-perl (2.30-1) ...
Setting up libelf1t64:amd64 (0.192-4) ...
Setting up libkrb5support0:amd64 (1.21.3-3) ...
Setting up tzdata (2024b-3) ...

Current default time zone: 'Etc/UTC'
Local time is now:      Wed Dec 24 16:24:54 UTC 2025.
Universal Time is now:  Wed Dec 24 16:24:54 UTC 2025.
Run 'dpkg-reconfigure tzdata' if you wish to change it.

Setting up autotools-dev (20220109.1) ...
Setting up libcoq-stdlib (8.20.0+dfsg-1) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b2) ...
Setting up libncurses6:amd64 (6.5-2+b1) ...
Setting up libstdlib-ocaml (5.2.0-3) ...
Setting up autopoint (0.22.5-2) ...
Setting up ocaml-base (5.2.0-3) ...
Setting up libk5crypto3:amd64 (1.21.3-3) ...
Setting up autoconf (2.72-3) ...
Setting up dwz (0.15-1+b1) ...
Setting up sensible-utils (0.0.24) ...
Setting up libuchardet0:amd64 (0.0.8-1+b2) ...
Setting up netbase (6.4) ...
Setting up libkrb5-3:amd64 (1.21.3-3) ...
Setting up readline-common (8.2-5) ...
Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.14.0-1) ...
Setting up libncurses-dev:amd64 (6.5-2+b1) ...
Setting up gettext (0.22.5-2) ...
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
Setting up libtool (2.4.7-8) ...
Setting up libstdlib-ocaml-dev (5.2.0-3) ...
Setting up dh-ocaml (2.4) ...
Setting up libfindlib-ocaml (1.9.6-3) ...
Setting up libzarith-ocaml (1.14-1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up libcompiler-libs-ocaml-dev (5.2.0-3) ...
Setting up ocaml-interp (5.2.0-3) ...
Setting up ocaml-findlib (1.9.6-3) ...
Setting up libgssapi-krb5-2:amd64 (1.21.3-3) ...
Setting up libreadline8t64:amd64 (8.2-5) ...
Setting up dh-strip-nondeterminism (1.14.0-1) ...
Setting up libcoq-core-ocaml (8.20.0+dfsg-1) ...
Setting up groff-base (1.23.0-5) ...
Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b2) ...
Setting up libtirpc3t64:amd64 (1.3.4+ds-1.3+b1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up ocaml (5.2.0-3) ...
Setting up man-db (2.13.0-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libfindlib-ocaml-dev (1.9.6-3) ...
Setting up libnsl2:amd64 (1.3.0-3+b3) ...
Setting up libzarith-ocaml-dev (1.14-1) ...
Setting up libpython3.12-stdlib:amd64 (3.12.7-3) ...
Setting up python3.12 (3.12.7-3) ...
Setting up debhelper (13.20) ...
Setting up libpython3-stdlib:amd64 (3.12.7-1) ...
Setting up python3 (3.12.7-1) ...
Setting up coq (8.20.0+dfsg-1) ...
Setting up libcoq-core-ocaml-dev (8.20.0+dfsg-1) ...
Processing triggers for libc-bin (2.40-3) ...
Reading package lists...
Building dependency tree...
Reading state information...
Reading extended state information...
Initializing package states...
Writing extended state information...
Building tag database...
 -> Finished parsing the build-deps
I: Building the package
I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/A99_set_merged_usr starting
Not re-configuring usrmerge for unstable
I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/A99_set_merged_usr finished
hostname: Name or service not known
I: Running cd /build/reproducible-path/coq-stdpp-1.11.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S  > ../coq-stdpp_1.11.0-1_source.changes
dpkg-buildpackage: info: source package coq-stdpp
dpkg-buildpackage: info: source version 1.11.0-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
 debian/rules clean
dh clean --with coq,ocaml
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make clean
make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
"coq_makefile" -f _CoqProject -o Makefile.coq 
make[3]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
COQDEP TESTFILES
CLEAN
make[3]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
find [a-z]*/ \( -name "*.d" -o -name "*.vo" -o -name "*.vo[sk]" -o -name "*.aux" -o -name "*.cache" -o -name "*.glob" -o -name "*.vio" \) -print -delete || true
tests/.coqdeps.d
rm -f Makefile.coq .lia.cache builddep/*
make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
rm -f Makefile.coq.conf
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   dh_ocamlclean
   dh_clean
 debian/rules binary
dh binary --with coq,ocaml
   dh_update_autotools_config
   dh_autoreconf
   dh_ocamlinit
   dh_auto_configure
   debian/rules override_dh_auto_build
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make
make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
"coq_makefile" -f _CoqProject -o Makefile.coq 
make[3]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
COQDEP VFILES
COQDEP TESTFILES
COQLINT
COQC stdpp/options.v
COQC stdpp/base.v
COQC stdpp/proof_irrel.v
COQC stdpp/decidable.v
COQC stdpp/tactics.v
COQC stdpp/option.v
COQC stdpp/well_founded.v
COQC stdpp/numbers.v
COQC stdpp/list.v
COQC stdpp/list_numbers.v
COQC stdpp/fin.v
COQC stdpp/countable.v
COQC stdpp/strings.v
COQTEST tests/is_closed_term.v (ref: tests/is_closed_term.ref)
COQC stdpp/orders.v
COQC stdpp/vector.v
COQC stdpp/finite.v
COQC stdpp/sets.v
COQC stdpp/relations.v
COQC stdpp/fin_sets.v
COQC stdpp/fin_maps.v
COQC stdpp/fin_map_dom.v
COQC stdpp/mapset.v
COQC stdpp/pmap.v
COQC stdpp/pretty.v
COQC stdpp/infinite.v
COQC stdpp/gmap.v
COQTEST tests/fin_maps.v (ref: tests/fin_maps.ref)
COQTEST tests/eunify.v (ref: tests/eunify.ref)
COQTEST tests/ascii.v (ref: tests/ascii.ref)
COQC stdpp_bitvector/definitions.v
COQC stdpp_bitvector/tactics.v
COQC stdpp_unstable/bitblast.v
COQTEST tests/bitvector_tactics.v (ref: tests/bitvector_tactics.ref)
COQC stdpp/coPset.v
COQC stdpp/namespaces.v
COQTEST tests/solve_ndisj.v (ref: tests/solve_ndisj.ref)
COQTEST tests/bitblast.v (ref: tests/bitblast.ref)
COQC stdpp/listset.v
COQC stdpp/lexico.v
COQC stdpp/prelude.v
COQC stdpp/ssreflect.v
COQC stdpp/gmultiset.v
COQTEST tests/multiset_solver.v (ref: tests/multiset_solver.ref)
COQC stdpp/telescopes.v
COQTEST tests/telescopes.v (ref: tests/telescopes.ref)
COQTEST tests/length.v (ref: tests/length.ref)
COQTEST tests/numbers_import.v (ref: tests/numbers_import.ref)
COQC stdpp/propset.v
COQTEST tests/proper.v (ref: tests/proper.ref)
COQTEST tests/sets.v (ref: tests/sets.ref)
COQC stdpp/sorting.v
COQTEST tests/strings.v (ref: tests/strings.ref)
COQTEST tests/pretty.v (ref: tests/pretty.ref)
COQTEST tests/fin.v (ref: tests/fin.ref)
COQTEST tests/tactics_more.v (ref: tests/tactics_more.ref)
COQTEST tests/numbers.v (ref: tests/numbers.ref)
COQTEST tests/propset.v (ref: tests/propset.ref)
COQTEST tests/typeclasses.v (ref: tests/typeclasses.ref)
COQTEST tests/tactics.v (ref: tests/tactics.ref)
COQTEST tests/bitvector_definitions.v (ref: tests/bitvector_definitions.ref)
COQTEST tests/decidable.v (ref: tests/decidable.ref)
COQTEST tests/universes.v (ref: tests/universes.ref)
COQTEST tests/list.v (ref: tests/list.ref)
COQTEST tests/notation.v (ref: tests/notation.ref)
COQC stdpp/boolset.v
COQC stdpp/stringmap.v
COQC stdpp/zmap.v
COQC stdpp/hashset.v
COQC stdpp/natmap.v
COQC stdpp/streams.v
COQC stdpp/listset_nodup.v
COQC stdpp/nmap.v
COQC stdpp/coGset.v
COQC stdpp/functions.v
COQC stdpp/hlist.v
COQC stdpp/nat_cancel.v
COQC stdpp/binders.v
COQC stdpp_bitvector/bitvector.v
make[3]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   dh_auto_test
	make -j42 test
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[2]: Nothing to be done for 'test'.
make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   create-stamp debian/debhelper-build-stamp
   dh_prep
   debian/rules override_dh_auto_install
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make install DESTDIR=debian/tmp
make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[3]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
INSTALL stdpp/options.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/base.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/tactics.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/option.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_map_dom.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/boolset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_maps.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/vector.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/stringmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_sets.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/mapset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/proof_irrel.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hashset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pretty.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/countable.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/orders.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/natmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/strings.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/well_founded.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/relations.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sets.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/streams.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmultiset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/prelude.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset_nodup.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/finite.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/numbers.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/zmap.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coPset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coGset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/lexico.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/propset.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/decidable.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list_numbers.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/functions.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hlist.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sorting.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/infinite.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nat_cancel.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/namespaces.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/telescopes.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/binders.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/ssreflect.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp_bitvector/definitions.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/tactics.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/bitvector.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_unstable/bitblast.vo debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/unstable/
INSTALL stdpp/options.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/base.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/tactics.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/option.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_map_dom.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/boolset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_maps.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/vector.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/stringmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_sets.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/mapset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/proof_irrel.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hashset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pretty.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/countable.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/orders.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/natmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/strings.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/well_founded.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/relations.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sets.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/streams.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmultiset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/prelude.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset_nodup.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/finite.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/numbers.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/zmap.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coPset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coGset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/lexico.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/propset.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/decidable.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list_numbers.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/functions.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hlist.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sorting.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/infinite.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nat_cancel.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/namespaces.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/telescopes.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/binders.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/ssreflect.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp_bitvector/definitions.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/tactics.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/bitvector.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_unstable/bitblast.v debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/unstable/
INSTALL stdpp/options.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/base.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/tactics.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/option.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_map_dom.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/boolset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_maps.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/vector.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/stringmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/fin_sets.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/mapset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/proof_irrel.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hashset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/pretty.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/countable.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/orders.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/natmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/strings.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/well_founded.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/relations.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sets.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/streams.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/gmultiset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/prelude.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/listset_nodup.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/finite.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/numbers.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/zmap.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coPset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/coGset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/lexico.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/propset.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/decidable.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/list_numbers.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/functions.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/hlist.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/sorting.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/infinite.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/nat_cancel.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/namespaces.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/telescopes.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/binders.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp/ssreflect.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/
INSTALL stdpp_bitvector/definitions.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/tactics.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_bitvector/bitvector.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/bitvector/
INSTALL stdpp_unstable/bitblast.glob debian/tmp//usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq//user-contrib/stdpp/unstable/
make[4]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[4]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[3]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   dh_install
   dh_ocamldoc
   dh_installdocs
   debian/rules override_dh_installchangelogs
make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
dh_installchangelogs CHANGELOG.md
make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
   dh_perl
   dh_link
   dh_strip_nondeterminism
   dh_compress
   dh_fixperms
   dh_missing
   dh_dwz -a
   dh_strip -a
   dh_makeshlibs -a
   dh_shlibdeps -a
   dh_installdeb
   dh_coq
   dh_ocaml
   dh_gencontrol
   dh_md5sums
   dh_builddeb
dpkg-deb: building package 'libcoq-stdpp' in '../libcoq-stdpp_1.11.0-1_amd64.deb'.
 dpkg-genbuildinfo --build=binary -O../coq-stdpp_1.11.0-1_amd64.buildinfo
 dpkg-genchanges --build=binary -O../coq-stdpp_1.11.0-1_amd64.changes
dpkg-genchanges: info: binary-only upload (no source code included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
dpkg-genchanges: info: including full source code in upload
I: copying local configuration
I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/B01_cleanup starting
I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/B01_cleanup finished
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/3562436 and its subdirectories
I: Current time: Thu Dec 25 06:28:14 +14 2025
I: pbuilder-time-stamp: 1766593694
+ false
+ set +x
Wed Dec 24 16:28:14 UTC 2025  I: Signing ./b2/coq-stdpp_1.11.0-1_amd64.buildinfo as coq-stdpp_1.11.0-1_amd64.buildinfo.asc
Wed Dec 24 16:28:14 UTC 2025  I: Signed ./b2/coq-stdpp_1.11.0-1_amd64.buildinfo as ./b2/coq-stdpp_1.11.0-1_amd64.buildinfo.asc
Wed Dec 24 16:28:14 UTC 2025 - build #2 for coq-stdpp/unstable/amd64 on ionos5-amd64 done.
Starting cleanup.
All cleanup done.
Wed Dec 24 16:28:14 UTC 2025 - reproducible_build.sh stopped running as /tmp/jenkins-script-4dXoF7a9, removing.
/srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb:
total 80
drwxr-xr-x 2 jenkins jenkins  4096 Nov 21 10:01 b1
drwxr-xr-x 2 jenkins jenkins  4096 Nov 21 10:05 b2
-rw-r--r-- 1 jenkins jenkins  2076 Nov 20 10:02 coq-stdpp_1.11.0-1.dsc
-rw------- 1 jenkins jenkins 63388 Nov 21 10:01 rbuildlog.icSiedI

/srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b1:
total 5124
-rw-r--r-- 1 jenkins jenkins   59904 Nov 21 10:01 build.log
-rw-r--r-- 1 jenkins jenkins    2772 Nov 21 10:01 coq-stdpp_1.11.0-1.debian.tar.xz
-rw-r--r-- 1 jenkins jenkins    2076 Nov 21 10:01 coq-stdpp_1.11.0-1.dsc
-rw-r--r-- 1 jenkins jenkins    6148 Nov 21 10:01 coq-stdpp_1.11.0-1_amd64.buildinfo
-rw-r--r-- 1 jenkins jenkins    7030 Nov 21 10:01 coq-stdpp_1.11.0-1_amd64.buildinfo.asc
-rw-r--r-- 1 jenkins jenkins    1030 Nov 21 10:01 coq-stdpp_1.11.0-1_amd64.changes
-rw-r--r-- 1 jenkins jenkins    1450 Nov 21 10:01 coq-stdpp_1.11.0-1_source.changes
-rw-r--r-- 1 jenkins jenkins  257015 Nov 21 10:01 coq-stdpp_1.11.0.orig.tar.bz2
-rw-r--r-- 1 jenkins jenkins 4872140 Nov 21 10:01 libcoq-stdpp_1.11.0-1_amd64.deb

/srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b2:
total 5108
-rw-r--r-- 1 jenkins jenkins   61845 Nov 21 10:05 build.log
-rw-r--r-- 1 jenkins jenkins    2772 Nov 21 10:05 coq-stdpp_1.11.0-1.debian.tar.xz
-rw-r--r-- 1 jenkins jenkins    2076 Nov 21 10:05 coq-stdpp_1.11.0-1.dsc
-rw-r--r-- 1 jenkins jenkins    6157 Nov 21 10:05 coq-stdpp_1.11.0-1_amd64.buildinfo
-rw-r--r-- 1 jenkins jenkins    7039 Nov 21 10:05 coq-stdpp_1.11.0-1_amd64.buildinfo.asc
-rw-r--r-- 1 jenkins jenkins    1030 Nov 21 10:05 coq-stdpp_1.11.0-1_amd64.changes
-rw-r--r-- 1 jenkins jenkins    1450 Nov 21 10:05 coq-stdpp_1.11.0-1_source.changes
-rw-r--r-- 1 jenkins jenkins  257015 Nov 21 10:05 coq-stdpp_1.11.0.orig.tar.bz2
-rw-r--r-- 1 jenkins jenkins 4872140 Nov 21 10:05 libcoq-stdpp_1.11.0-1_amd64.deb
Thu Nov 21 10:05:14 UTC 2024  I: Deleting $TMPDIR on ionos5-amd64.debian.net.
Thu Nov 21 10:05:15 UTC 2024  I: coq-stdpp_1.11.0-1_amd64.changes:
Format: 1.8
Date: Wed, 20 Nov 2024 10:48:49 +0100
Source: coq-stdpp
Binary: libcoq-stdpp
Architecture: amd64
Version: 1.11.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-stdpp - Extended standard library for Coq
Changes:
 coq-stdpp (1.11.0-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 a47b19ba85205af0cf68ca527487eb25e3edb915 6148 coq-stdpp_1.11.0-1_amd64.buildinfo
 27810fba9219f4b4aca27f8b7408e17b14263fc7 4872140 libcoq-stdpp_1.11.0-1_amd64.deb
Checksums-Sha256:
 cb2fb5c40c66ed71c9ba575c8dc96b29d89e89f67c778d616c7abfd1be434841 6148 coq-stdpp_1.11.0-1_amd64.buildinfo
 2c12cdd413078db340918833b7d4d022706e06ba788a5c6d7b96d7d0c1e6a455 4872140 libcoq-stdpp_1.11.0-1_amd64.deb
Files:
 9eab0c8495d77a1cac6deb30084e32f2 6148 ocaml optional coq-stdpp_1.11.0-1_amd64.buildinfo
 241dbbc9b7ac59caf1bad1ed420a0a4a 4872140 ocaml optional libcoq-stdpp_1.11.0-1_amd64.deb
removed '/var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/amd64/coq-stdpp_1.11.0-1.rbuild.log'
removed '/var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/amd64/coq-stdpp_1.11.0-1.rbuild.log.gz'
Diff of the two buildlogs:

--
--- b1/build.log	2024-11-21 10:01:15.605906775 +0000
+++ b2/build.log	2024-11-21 10:05:14.671093998 +0000
@@ -1,6 +1,6 @@
 I: pbuilder: network access will be disabled during build
-I: Current time: Wed Nov 20 21:46:27 -12 2024
-I: pbuilder-time-stamp: 1732182387
+I: Current time: Thu Dec 25 06:24:17 +14 2025
+I: pbuilder-time-stamp: 1766593457
 I: Building the build Environment
 I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz]
 I: copying local configuration
@@ -26,52 +26,84 @@
 dpkg-source: info: unpacking coq-stdpp_1.11.0-1.debian.tar.xz
 I: Not using root during the build.
 I: Installing the build-deps
-I: user script /srv/workspace/pbuilder/1715620/tmp/hooks/D02_print_environment starting
+I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/D01_modify_environment starting
+debug: Running on ionos5-amd64.
+I: Changing host+domainname to test build reproducibility
+I: Adding a custom variable just for the fun of it...
+I: Changing /bin/sh to bash
+'/bin/sh' -> '/bin/bash'
+lrwxrwxrwx 1 root root 9 Dec 24 16:24 /bin/sh -> /bin/bash
+I: Setting pbuilder2's login shell to /bin/bash
+I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other
+I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/D01_modify_environment finished
+I: user script /srv/workspace/pbuilder/3562436/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=20 '
-  DISTRIBUTION='unstable'
-  HOME='/root'
-  HOST_ARCH='amd64'
+  BASH=/bin/sh
+  BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath
+  BASH_ALIASES=()
+  BASH_ARGC=()
+  BASH_ARGV=()
+  BASH_CMDS=()
+  BASH_LINENO=([0]="12" [1]="0")
+  BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:.
+  BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment")
+  BASH_VERSINFO=([0]="5" [1]="2" [2]="32" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu")
+  BASH_VERSION='5.2.32(1)-release'
+  BUILDDIR=/build/reproducible-path
+  BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
+  BUILDUSERNAME=pbuilder2
+  BUILD_ARCH=amd64
+  DEBIAN_FRONTEND=noninteractive
+  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=42 '
+  DIRSTACK=()
+  DISTRIBUTION=unstable
+  EUID=0
+  FUNCNAME=([0]="Echo" [1]="main")
+  GROUPS=()
+  HOME=/root
+  HOSTNAME=i-capture-the-hostname
+  HOSTTYPE=x86_64
+  HOST_ARCH=amd64
   IFS=' 	
   '
-  INVOCATION_ID='d4912baf0510420797b38b7d0f89a835'
-  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='1715620'
-  PS1='# '
-  PS2='> '
+  INVOCATION_ID=7870a86057964e30a33f1e48b7163e5b
+  LANG=C
+  LANGUAGE=et_EE:et
+  LC_ALL=C
+  MACHTYPE=x86_64-pc-linux-gnu
+  MAIL=/var/mail/root
+  OPTERR=1
+  OPTIND=1
+  OSTYPE=linux-gnu
+  PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path
+  PBCURRENTCOMMANDLINEOPERATION=build
+  PBUILDER_OPERATION=build
+  PBUILDER_PKGDATADIR=/usr/share/pbuilder
+  PBUILDER_PKGLIBDIR=/usr/lib/pbuilder
+  PBUILDER_SYSCONFDIR=/etc
+  PIPESTATUS=([0]="0")
+  POSIXLY_CORRECT=y
+  PPID=3562436
   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.afSXqcsb/pbuilderrc_nfRB --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b1 --logfile b1/build.log coq-stdpp_1.11.0-1.dsc'
-  SUDO_GID='111'
-  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'
+  PWD=/
+  SHELL=/bin/bash
+  SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix
+  SHLVL=3
+  SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/pbuilderrc_SC8j --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b2 --logfile b2/build.log coq-stdpp_1.11.0-1.dsc'
+  SUDO_GID=110
+  SUDO_UID=105
+  SUDO_USER=jenkins
+  TERM=unknown
+  TZ=/usr/share/zoneinfo/Etc/GMT-14
+  UID=0
+  USER=root
+  _='I: set'
+  http_proxy=http://213.165.73.152:3128
 I: uname -a
-  Linux ionos11-amd64 6.1.0-27-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.115-1 (2024-11-01) x86_64 GNU/Linux
+  Linux i-capture-the-hostname 6.11.5+bpo-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.11.5-1~bpo12+1 (2024-11-11) x86_64 GNU/Linux
 I: ls -l /bin
-  lrwxrwxrwx 1 root root 7 Aug  4 21:30 /bin -> usr/bin
-I: user script /srv/workspace/pbuilder/1715620/tmp/hooks/D02_print_environment finished
+  lrwxrwxrwx 1 root root 7 Aug  4  2024 /bin -> usr/bin
+I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/D02_print_environment finished
  -> Attempting to satisfy build-dependencies
  -> Creating pbuilder-satisfydepends-dummy package
 Package: pbuilder-satisfydepends-dummy
@@ -249,7 +281,7 @@
 Get: 73 http://deb.debian.org/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-2+b2 [322 kB]
 Get: 74 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml-dev amd64 1.14-1 [142 kB]
 Get: 75 http://deb.debian.org/debian unstable/main amd64 libcoq-core-ocaml-dev amd64 8.20.0+dfsg-1 [69.4 MB]
-Fetched 310 MB in 15s (20.8 MB/s)
+Fetched 310 MB in 8s (38.1 MB/s)
 debconf: delaying package configuration, since apt-utils is not installed
 Selecting previously unselected package libpython3.12-minimal: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 ... 19966 files and directories currently installed.)
@@ -511,8 +543,8 @@
 Setting up tzdata (2024b-3) ...
 
 Current default time zone: 'Etc/UTC'
-Local time is now:      Thu Nov 21 09:48:51 UTC 2024.
-Universal Time is now:  Thu Nov 21 09:48:51 UTC 2024.
+Local time is now:      Wed Dec 24 16:24:54 UTC 2025.
+Universal Time is now:  Wed Dec 24 16:24:54 UTC 2025.
 Run 'dpkg-reconfigure tzdata' if you wish to change it.
 
 Setting up autotools-dev (20220109.1) ...
@@ -578,7 +610,11 @@
 Building tag database...
  -> Finished parsing the build-deps
 I: Building the package
-I: Running cd /build/reproducible-path/coq-stdpp-1.11.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S  > ../coq-stdpp_1.11.0-1_source.changes
+I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/A99_set_merged_usr starting
+Not re-configuring usrmerge for unstable
+I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/A99_set_merged_usr finished
+hostname: Name or service not known
+I: Running cd /build/reproducible-path/coq-stdpp-1.11.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S  > ../coq-stdpp_1.11.0-1_source.changes
 dpkg-buildpackage: info: source package coq-stdpp
 dpkg-buildpackage: info: source version 1.11.0-1
 dpkg-buildpackage: info: source distribution unstable
@@ -624,66 +660,66 @@
 COQC stdpp/proof_irrel.v
 COQC stdpp/decidable.v
 COQC stdpp/tactics.v
-COQC stdpp/fin.v
-COQTEST tests/fin.v (ref: tests/fin.ref)
 COQC stdpp/option.v
 COQC stdpp/well_founded.v
 COQC stdpp/numbers.v
 COQC stdpp/list.v
 COQC stdpp/list_numbers.v
+COQC stdpp/fin.v
 COQC stdpp/countable.v
 COQC stdpp/strings.v
-COQTEST tests/eunify.v (ref: tests/eunify.ref)
+COQTEST tests/is_closed_term.v (ref: tests/is_closed_term.ref)
+COQC stdpp/orders.v
 COQC stdpp/vector.v
 COQC stdpp/finite.v
-COQC stdpp_bitvector/definitions.v
-COQC stdpp_unstable/bitblast.v
-COQTEST tests/bitblast.v (ref: tests/bitblast.ref)
-COQTEST tests/decidable.v (ref: tests/decidable.ref)
-COQTEST tests/tactics_more.v (ref: tests/tactics_more.ref)
-COQC stdpp/orders.v
 COQC stdpp/sets.v
 COQC stdpp/relations.v
-COQC stdpp/pretty.v
-COQC stdpp/infinite.v
 COQC stdpp/fin_sets.v
 COQC stdpp/fin_maps.v
 COQC stdpp/fin_map_dom.v
 COQC stdpp/mapset.v
 COQC stdpp/pmap.v
+COQC stdpp/pretty.v
+COQC stdpp/infinite.v
 COQC stdpp/gmap.v
-COQTEST tests/universes.v (ref: tests/universes.ref)
-COQC stdpp/listset.v
-COQC stdpp/lexico.v
-COQC stdpp/prelude.v
-COQTEST tests/numbers_import.v (ref: tests/numbers_import.ref)
-COQTEST tests/sets.v (ref: tests/sets.ref)
 COQTEST tests/fin_maps.v (ref: tests/fin_maps.ref)
-COQC stdpp/propset.v
-COQTEST tests/proper.v (ref: tests/proper.ref)
-COQTEST tests/pretty.v (ref: tests/pretty.ref)
-COQTEST tests/propset.v (ref: tests/propset.ref)
-COQTEST tests/length.v (ref: tests/length.ref)
+COQTEST tests/eunify.v (ref: tests/eunify.ref)
+COQTEST tests/ascii.v (ref: tests/ascii.ref)
+COQC stdpp_bitvector/definitions.v
 COQC stdpp_bitvector/tactics.v
+COQC stdpp_unstable/bitblast.v
 COQTEST tests/bitvector_tactics.v (ref: tests/bitvector_tactics.ref)
-COQC stdpp/ssreflect.v
-COQC stdpp/gmultiset.v
-COQTEST tests/notation.v (ref: tests/notation.ref)
-COQTEST tests/list.v (ref: tests/list.ref)
-COQTEST tests/tactics.v (ref: tests/tactics.ref)
-COQTEST tests/bitvector_definitions.v (ref: tests/bitvector_definitions.ref)
 COQC stdpp/coPset.v
 COQC stdpp/namespaces.v
 COQTEST tests/solve_ndisj.v (ref: tests/solve_ndisj.ref)
-COQTEST tests/ascii.v (ref: tests/ascii.ref)
+COQTEST tests/bitblast.v (ref: tests/bitblast.ref)
+COQC stdpp/listset.v
+COQC stdpp/lexico.v
+COQC stdpp/prelude.v
+COQC stdpp/ssreflect.v
+COQC stdpp/gmultiset.v
+COQTEST tests/multiset_solver.v (ref: tests/multiset_solver.ref)
 COQC stdpp/telescopes.v
 COQTEST tests/telescopes.v (ref: tests/telescopes.ref)
-COQTEST tests/is_closed_term.v (ref: tests/is_closed_term.ref)
-COQTEST tests/typeclasses.v (ref: tests/typeclasses.ref)
-COQTEST tests/multiset_solver.v (ref: tests/multiset_solver.ref)
+COQTEST tests/length.v (ref: tests/length.ref)
+COQTEST tests/numbers_import.v (ref: tests/numbers_import.ref)
+COQC stdpp/propset.v
+COQTEST tests/proper.v (ref: tests/proper.ref)
+COQTEST tests/sets.v (ref: tests/sets.ref)
 COQC stdpp/sorting.v
 COQTEST tests/strings.v (ref: tests/strings.ref)
+COQTEST tests/pretty.v (ref: tests/pretty.ref)
+COQTEST tests/fin.v (ref: tests/fin.ref)
+COQTEST tests/tactics_more.v (ref: tests/tactics_more.ref)
 COQTEST tests/numbers.v (ref: tests/numbers.ref)
+COQTEST tests/propset.v (ref: tests/propset.ref)
+COQTEST tests/typeclasses.v (ref: tests/typeclasses.ref)
+COQTEST tests/tactics.v (ref: tests/tactics.ref)
+COQTEST tests/bitvector_definitions.v (ref: tests/bitvector_definitions.ref)
+COQTEST tests/decidable.v (ref: tests/decidable.ref)
+COQTEST tests/universes.v (ref: tests/universes.ref)
+COQTEST tests/list.v (ref: tests/list.ref)
+COQTEST tests/notation.v (ref: tests/notation.ref)
 COQC stdpp/boolset.v
 COQC stdpp/stringmap.v
 COQC stdpp/zmap.v
@@ -702,7 +738,7 @@
 make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
 make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.11.0'
    dh_auto_test
-	make -j20 test
+	make -j42 test
 make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
 make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.11.0'
 make[2]: Nothing to be done for 'test'.
@@ -910,12 +946,14 @@
 dpkg-buildpackage: info: binary-only upload (no source included)
 dpkg-genchanges: info: including full source code in upload
 I: copying local configuration
+I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/B01_cleanup starting
+I: user script /srv/workspace/pbuilder/3562436/tmp/hooks/B01_cleanup finished
 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/1715620 and its subdirectories
-I: Current time: Wed Nov 20 22:01:14 -12 2024
-I: pbuilder-time-stamp: 1732183274
+I: removing directory /srv/workspace/pbuilder/3562436 and its subdirectories
+I: Current time: Thu Dec 25 06:28:14 +14 2025
+I: pbuilder-time-stamp: 1766593694

Compressing the 2nd log...
/var/lib/jenkins/userContent/reproducible/debian/logdiffs/unstable/amd64/coq-stdpp_1.11.0-1.diff:	 70.6% -- replaced with /var/lib/jenkins/userContent/reproducible/debian/logdiffs/unstable/amd64/coq-stdpp_1.11.0-1.diff.gz
b2/build.log:	 83.8% -- replaced with stdout
Compressing the 1st log...
b1/build.log:	 84.4% -- replaced with stdout
Thu Nov 21 10:05:16 UTC 2024  I: diffoscope 283 will be used to compare the two builds:
++ date -u +%s
+ DIFFOSCOPE_STAMP=/var/log/reproducible-builds/diffoscope_stamp_coq-stdpp_unstable_amd64_1732183516
+ touch /var/log/reproducible-builds/diffoscope_stamp_coq-stdpp_unstable_amd64_1732183516
+ RESULT=0
+ systemd-run '--description=diffoscope on coq-stdpp/1.11.0-1 in unstable/amd64' --slice=rb-build-diffoscope.slice -u rb-diffoscope-amd64_13-24521 '--property=SuccessExitStatus=1 124' --user --send-sighup --pipe --wait -E TMPDIR timeout 155m nice schroot --directory /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb --run-session -c jenkins-reproducible-unstable-diffoscope-2e36be50-b402-46c2-bf2c-879a66967591 -- sh -c 'export TMPDIR=/srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/dbd-tmp-Ys560nD ; timeout 150m diffoscope 			--timeout 7200 			--html /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/coq-stdpp_1.11.0-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/coq-stdpp_1.11.0-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/coq-stdpp_1.11.0-1.diffoscope.json 			--profile=- 			/srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b1/coq-stdpp_1.11.0-1_amd64.changes 			/srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b2/coq-stdpp_1.11.0-1_amd64.changes'
+ false
+ set +x
Running as unit: rb-diffoscope-amd64_13-24521.service
# Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/coq-stdpp_1.11.0-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/coq-stdpp_1.11.0-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/coq-stdpp_1.11.0-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b1/coq-stdpp_1.11.0-1_amd64.changes /srv/reproducible-results/rbuild-debian/r-b-build.afSXqcsb/b2/coq-stdpp_1.11.0-1_amd64.changes

## command (total time: 0.000s)
       0.000s      1 call     cmp (internal)

## has_same_content_as (total time: 0.000s)
       0.000s      1 call     abc.DotChangesFile

## main (total time: 0.395s)
       0.395s      2 calls    outputs
       0.000s      1 call     cleanup

## recognizes (total time: 0.057s)
       0.057s     12 calls    diffoscope.comparators.binary.FilesystemFile

## specialize (total time: 0.000s)
       0.000s      1 call     specialize
Finished with result: success
Main processes terminated with: code=exited/status=0
Service runtime: 725ms
CPU time consumed: 724ms
                           _      _             
  ___ ___   __ _       ___| |_ __| |_ __  _ __  
 / __/ _ \ / _` |_____/ __| __/ _` | '_ \| '_ \ 
| (_| (_) | (_| |_____\__ \ || (_| | |_) | |_) |
 \___\___/ \__, |     |___/\__\__,_| .__/| .__/ 
              |_|                  |_|   |_|    
Thu Nov 21 10:05:18 UTC 2024  I: diffoscope 283 found no differences in the changes files, and a .buildinfo file also exists.
Thu Nov 21 10:05:18 UTC 2024  I: coq-stdpp from unstable built successfully and reproducibly on amd64.
INSERT 0 1
INSERT 0 1
DELETE 1
[2024-11-21 10:05:19] INFO: Starting at 2024-11-21 10:05:19.292516
[2024-11-21 10:05:19] INFO: Generating the pages of 1 package(s)
[2024-11-21 10:05:19] CRITICAL: https://tests.reproducible-builds.org/debian/unstable/amd64/coq-stdpp didn't produce a buildlog, even though it has been built.
[2024-11-21 10:05:19] ERROR: Either /var/lib/jenkins/userContent/reproducible/debian/logs/unstable/armhf/coq-stdpp_1.10.0-2.build2.log.gz or /var/lib/jenkins/userContent/reproducible/debian/logdiffs/unstable/armhf/coq-stdpp_1.10.0-2.diff.gz is missing
[2024-11-21 10:05:19] ERROR: Either /var/lib/jenkins/userContent/reproducible/debian/logs/unstable/i386/coq-stdpp_1.11.0-1.build2.log.gz or /var/lib/jenkins/userContent/reproducible/debian/logdiffs/unstable/i386/coq-stdpp_1.11.0-1.diff.gz is missing
[2024-11-21 10:05:19] ERROR: Either /var/lib/jenkins/userContent/reproducible/debian/logs/trixie/armhf/coq-stdpp_1.10.0-2.build2.log.gz or /var/lib/jenkins/userContent/reproducible/debian/logdiffs/trixie/armhf/coq-stdpp_1.10.0-2.diff.gz is missing
[2024-11-21 10:05:19] ERROR: Either /var/lib/jenkins/userContent/reproducible/debian/logs/trixie/i386/coq-stdpp_1.10.0-2.build2.log.gz or /var/lib/jenkins/userContent/reproducible/debian/logdiffs/trixie/i386/coq-stdpp_1.10.0-2.diff.gz is missing
[2024-11-21 10:05:19] INFO: Finished at 2024-11-21 10:05:19.608603, took: 0:00:00.316095

Thu Nov 21 10:05:19 UTC 2024 - successfully updated the database and updated https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/coq-stdpp.html

Thu Nov 21 10:05:19 UTC 2024  I: Submitting .buildinfo files to external archives:
Thu Nov 21 10:05:19 UTC 2024  I: Submitting 8.0K	b1/coq-stdpp_1.11.0-1_amd64.buildinfo.asc
https://buildinfo.debian.net/a47b19ba85205af0cf68ca527487eb25e3edb915/coq-stdpp_1.11.0-1_amd64
Thu Nov 21 10:05:20 UTC 2024  I: Submitting 8.0K	b2/coq-stdpp_1.11.0-1_amd64.buildinfo.asc
https://buildinfo.debian.net/a9d231d80e8d95baceb823ba310aebba8ec99c1d/coq-stdpp_1.11.0-1_amd64
Thu Nov 21 10:05:21 UTC 2024  I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit.
Thu Nov 21 10:05:21 UTC 2024  I: Done submitting .buildinfo files.
Thu Nov 21 10:05:21 UTC 2024  I: Removing signed coq-stdpp_1.11.0-1_amd64.buildinfo.asc files:
removed './b1/coq-stdpp_1.11.0-1_amd64.buildinfo.asc'
removed './b2/coq-stdpp_1.11.0-1_amd64.buildinfo.asc'
1732183521 amd64 unstable coq-stdpp
Starting cleanup.
/var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/amd64/coq-stdpp_1.11.0-1.rbuild.log:	 81.8% -- replaced with /var/lib/jenkins/userContent/reproducible/debian/rbuild/unstable/amd64/coq-stdpp_1.11.0-1.rbuild.log.gz
[2024-11-21 10:05:21] INFO: Starting at 2024-11-21 10:05:21.536531
[2024-11-21 10:05:21] INFO: Generating the pages of 1 package(s)
[2024-11-21 10:05:21] ERROR: Either /var/lib/jenkins/userContent/reproducible/debian/logs/unstable/armhf/coq-stdpp_1.10.0-2.build2.log.gz or /var/lib/jenkins/userContent/reproducible/debian/logdiffs/unstable/armhf/coq-stdpp_1.10.0-2.diff.gz is missing
[2024-11-21 10:05:21] ERROR: Either /var/lib/jenkins/userContent/reproducible/debian/logs/unstable/i386/coq-stdpp_1.11.0-1.build2.log.gz or /var/lib/jenkins/userContent/reproducible/debian/logdiffs/unstable/i386/coq-stdpp_1.11.0-1.diff.gz is missing
[2024-11-21 10:05:21] ERROR: Either /var/lib/jenkins/userContent/reproducible/debian/logs/trixie/armhf/coq-stdpp_1.10.0-2.build2.log.gz or /var/lib/jenkins/userContent/reproducible/debian/logdiffs/trixie/armhf/coq-stdpp_1.10.0-2.diff.gz is missing
[2024-11-21 10:05:21] ERROR: Either /var/lib/jenkins/userContent/reproducible/debian/logs/trixie/i386/coq-stdpp_1.10.0-2.build2.log.gz or /var/lib/jenkins/userContent/reproducible/debian/logdiffs/trixie/i386/coq-stdpp_1.10.0-2.diff.gz is missing
[2024-11-21 10:05:21] INFO: Finished at 2024-11-21 10:05:21.779244, took: 0:00:00.242721
All cleanup done.
Thu Nov 21 10:05:21 UTC 2024 - total duration: 0h 19m 14s.
Thu Nov 21 10:05:21 UTC 2024 - reproducible_build.sh stopped running as /tmp/jenkins-script-ozSjsusd, removing.
Finished with result: success
Main processes terminated with: code=exited/status=0
Service runtime: 19min 17.421s
CPU time consumed: 7.273s