--- /srv/reproducible-results/rbuild-debian/r-b-build.yLFbXhu7/b1/cvc4_1.8-3_i386.changes
+++ /srv/reproducible-results/rbuild-debian/r-b-build.yLFbXhu7/b2/cvc4_1.8-3_i386.changes
├── Files
│ @@ -1,8 +1,8 @@
│  
│ - 4020820da29422e4e20469b7afc4c9d1 1015668 debug optional cvc4-dbgsym_1.8-3_i386.deb
│ - 961372611ade544d97270cba4d2cc206 82684 math optional cvc4_1.8-3_i386.deb
│ - 455d8276781a638a4f6de62e4f5a080c 195649016 debug optional libcvc4-7-dbgsym_1.8-3_i386.deb
│ - 3b323584042957dbfdeacc25293325ca 6703480 libs optional libcvc4-7_1.8-3_i386.deb
│ - 0cadd16358ced62044a5db28c6dd70ca 131180 libdevel optional libcvc4-dev_1.8-3_i386.deb
│ - fb77106132e0c72c36a0993d714a6052 5324160 debug optional libcvc4parser7-dbgsym_1.8-3_i386.deb
│ - 8d53cc959a734afc425a0ef2ae272701 388160 libs optional libcvc4parser7_1.8-3_i386.deb
│ + e30543434e58ac410bf5bdccda2712bb 1015572 debug optional cvc4-dbgsym_1.8-3_i386.deb
│ + 504c52e90193b227e4efe03838ff6546 82696 math optional cvc4_1.8-3_i386.deb
│ + 4c85b9f42ed38c0af5fa53346473fd29 195649128 debug optional libcvc4-7-dbgsym_1.8-3_i386.deb
│ + 9c7e0006f4f87305da58cc05ccf1cef4 6702064 libs optional libcvc4-7_1.8-3_i386.deb
│ + e0445b89d7206e74f2e206e4d1cb7098 131168 libdevel optional libcvc4-dev_1.8-3_i386.deb
│ + 98a2269672b60131570753aacd68e9f2 5323928 debug optional libcvc4parser7-dbgsym_1.8-3_i386.deb
│ + 9491b3e2f279dd5486c4be041c2eccb3 388392 libs optional libcvc4parser7_1.8-3_i386.deb
├── cvc4_1.8-3_i386.deb
│ ├── file list
│ │ @@ -1,3 +1,3 @@
│ │  -rw-r--r--   0        0        0        4 2022-10-29 18:49:40.000000 debian-binary
│ │  -rw-r--r--   0        0        0     1480 2022-10-29 18:49:40.000000 control.tar.xz
│ │ --rw-r--r--   0        0        0    81012 2022-10-29 18:49:40.000000 data.tar.xz
│ │ +-rw-r--r--   0        0        0    81024 2022-10-29 18:49:40.000000 data.tar.xz
│ ├── control.tar.xz
│ │ ├── control.tar
│ │ │ ├── ./md5sums
│ │ │ │ ├── ./md5sums
│ │ │ │ │┄ Files differ
│ ├── data.tar.xz
│ │ ├── data.tar
│ │ │ ├── file list
│ │ │ │ @@ -24,8 +24,8 @@
│ │ │ │  -rw-r--r--   0 root         (0) root         (0)     2085 2020-06-19 16:59:27.000000 ./usr/share/doc/cvc4/THANKS
│ │ │ │  -rw-r--r--   0 root         (0) root         (0)     1043 2022-10-29 18:49:40.000000 ./usr/share/doc/cvc4/changelog.Debian.gz
│ │ │ │  -rw-r--r--   0 root         (0) root         (0)     4452 2022-10-17 14:15:49.000000 ./usr/share/doc/cvc4/copyright
│ │ │ │  drwxr-xr-x   0 root         (0) root         (0)        0 2022-10-29 18:49:40.000000 ./usr/share/man/
│ │ │ │  drwxr-xr-x   0 root         (0) root         (0)        0 2022-10-29 18:49:40.000000 ./usr/share/man/man1/
│ │ │ │  -rw-r--r--   0 root         (0) root         (0)     2116 2022-10-29 18:49:40.000000 ./usr/share/man/man1/cvc4.1.gz
│ │ │ │  drwxr-xr-x   0 root         (0) root         (0)        0 2022-10-29 18:49:40.000000 ./usr/share/man/man5/
│ │ │ │ --rw-r--r--   0 root         (0) root         (0)      394 2022-10-29 18:49:40.000000 ./usr/share/man/man5/cvc4.5.gz
│ │ │ │ +-rw-r--r--   0 root         (0) root         (0)      393 2022-10-29 18:49:40.000000 ./usr/share/man/man5/cvc4.5.gz
│ │ │ ├── ./usr/bin/cvc4
│ │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied.
│ │ │ │ ├── readelf --wide --notes {}
│ │ │ │ │ @@ -1,12 +1,12 @@
│ │ │ │ │  
│ │ │ │ │  Displaying notes found in: .note.ABI-tag
│ │ │ │ │    Owner                Data size 	Description
│ │ │ │ │    GNU                  0x00000010	NT_GNU_ABI_TAG (ABI version tag)	    OS: Linux, ABI: 3.2.0
│ │ │ │ │  
│ │ │ │ │  Displaying notes found in: .note.gnu.build-id
│ │ │ │ │    Owner                Data size 	Description
│ │ │ │ │ -  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: 37fbdb3e7f2b9579cac39557c7a906fbd57f52e6
│ │ │ │ │ +  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: 3af4cfdff57e5a076932d2f938ab2e2711a5726d
│ │ │ │ │  
│ │ │ │ │  Displaying notes found in: .note.gnu.gold-version
│ │ │ │ │    Owner                Data size 	Description
│ │ │ │ │    GNU                  0x00000009	NT_GNU_GOLD_VERSION (gold version)	    Version: gold 1.16
│ │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {}
│ │ │ │ │┄ error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`:
│ │ │ │ │┄ readelf: Error: Unable to find program interpreter name
│ │ │ │ │┄ readelf: Error: no .dynamic section in the dynamic segment
│ │ │ │ │ @@ -1,7 +1,7 @@
│ │ │ │ │  
│ │ │ │ │  Hex dump of section '.gnu_debuglink':
│ │ │ │ │ -  0x00000000 66626462 33653766 32623935 37396361 fbdb3e7f2b9579ca
│ │ │ │ │ -  0x00000010 63333935 35376337 61393036 66626435 c39557c7a906fbd5
│ │ │ │ │ -  0x00000020 37663532 65362e64 65627567 00000000 7f52e6.debug....
│ │ │ │ │ -  0x00000030 7d084ee9                            }.N.
│ │ │ │ │ +  0x00000000 66346366 64666635 37653561 30373639 f4cfdff57e5a0769
│ │ │ │ │ +  0x00000010 33326432 66393338 61623265 32373131 32d2f938ab2e2711
│ │ │ │ │ +  0x00000020 61353732 36642e64 65627567 00000000 a5726d.debug....
│ │ │ │ │ +  0x00000030 0169964e                            .i.N
│ │ │ ├── ./usr/share/man/man1/cvc4.1.gz
│ │ │ │ ├── cvc4.1
│ │ │ │ │ @@ -1,11 +1,11 @@
│ │ │ │ │  .\" Process this file with
│ │ │ │ │  .\" groff -man -Tascii cvc4.1
│ │ │ │ │  .\"
│ │ │ │ │ -.TH CVC4 1 "2022-10-29" "CVC4 release CVC4_RELEASE_STRING" "User Manuals"
│ │ │ │ │ +.TH CVC4 1 "2022-10-30" "CVC4 release CVC4_RELEASE_STRING" "User Manuals"
│ │ │ │ │  .SH NAME
│ │ │ │ │  cvc4, pcvc4 \- an automated theorem prover
│ │ │ │ │  .SH SYNOPSIS
│ │ │ │ │  .B cvc4 [
│ │ │ │ │  .I options
│ │ │ │ │  .B ] [
│ │ │ │ │  .I file
│ │ │ ├── ./usr/share/man/man5/cvc4.5.gz
│ │ │ │ ├── cvc4.5
│ │ │ │ │ @@ -1,11 +1,11 @@
│ │ │ │ │  .\" Process this file with
│ │ │ │ │  .\" groff -man -Tascii cvc4.5
│ │ │ │ │  .\"
│ │ │ │ │ -.TH CVC4 5 "2022-10-29" "CVC4 release CVC4_RELEASE_STRING" "Languages documentation"
│ │ │ │ │ +.TH CVC4 5 "2022-10-30" "CVC4 release CVC4_RELEASE_STRING" "Languages documentation"
│ │ │ │ │  .SH NAME
│ │ │ │ │  cvc4 \- the native input language for CVC4
│ │ │ │ │  .SH DESCRIPTION
│ │ │ │ │  .B cvc4
│ │ │ │ │  is an automated theorem prover for first-order formulas with respect
│ │ │ │ │  to background theories of interest.
├── libcvc4-7_1.8-3_i386.deb
│ ├── file list
│ │ @@ -1,3 +1,3 @@
│ │  -rw-r--r--   0        0        0        4 2022-10-29 18:49:40.000000 debian-binary
│ │ --rw-r--r--   0        0        0     1212 2022-10-29 18:49:40.000000 control.tar.xz
│ │ --rw-r--r--   0        0        0  6702076 2022-10-29 18:49:40.000000 data.tar.xz
│ │ +-rw-r--r--   0        0        0     1208 2022-10-29 18:49:40.000000 control.tar.xz
│ │ +-rw-r--r--   0        0        0  6700664 2022-10-29 18:49:40.000000 data.tar.xz
│ ├── control.tar.xz
│ │ ├── control.tar
│ │ │ ├── ./md5sums
│ │ │ │ ├── ./md5sums
│ │ │ │ │┄ Files differ
│ ├── data.tar.xz
│ │ ├── data.tar
│ │ │ ├── ./usr/lib/i386-linux-gnu/libcvc4.so.7
│ │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied.
│ │ │ │ ├── readelf --wide --notes {}
│ │ │ │ │ @@ -1,8 +1,8 @@
│ │ │ │ │  
│ │ │ │ │  Displaying notes found in: .note.gnu.build-id
│ │ │ │ │    Owner                Data size 	Description
│ │ │ │ │ -  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: 809be454eb128b2d455308bf9af9c55b6b8a4422
│ │ │ │ │ +  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: b3f053afded982a5658e0564f51604cbc175a9b9
│ │ │ │ │  
│ │ │ │ │  Displaying notes found in: .note.gnu.gold-version
│ │ │ │ │    Owner                Data size 	Description
│ │ │ │ │    GNU                  0x00000009	NT_GNU_GOLD_VERSION (gold version)	    Version: gold 1.16
│ │ │ │ ├── .text
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .fini
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .rodata
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .gcc_except_table
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .eh_frame
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .eh_frame_hdr
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .tbss
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .data.rel.ro.local
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .fini_array
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .init_array
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .data.rel.ro
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .got
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .got.plt
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .data
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .tm_clone_table
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .bss
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .gnu_debuglink
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
│ │ │ │ ├── .shstrtab
│ │ │ │ │┄ Timeout exceeded; details may be incomplete.
├── libcvc4-dev_1.8-3_i386.deb
│┄ Timeout exceeded; details may be incomplete.
├── libcvc4parser7_1.8-3_i386.deb
│┄ Timeout exceeded; details may be incomplete.
├── cvc4-dbgsym_1.8-3_i386.deb
│┄ Timeout exceeded; details may be incomplete.
├── libcvc4-7-dbgsym_1.8-3_i386.deb
│┄ Timeout exceeded; details may be incomplete.
├── libcvc4parser7-dbgsym_1.8-3_i386.deb
│┄ Timeout exceeded; details may be incomplete.