--- /srv/reproducible-results/rbuild-debian/r-b-build.3m1tkz0C/b1/cvc4_1.8-3_i386.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.3m1tkz0C/b2/cvc4_1.8-3_i386.changes ├── Files │ @@ -1,8 +1,8 @@ │ │ - 4897554bb9b840e279190a01a60b9bc4 1015660 debug optional cvc4-dbgsym_1.8-3_i386.deb │ - a05630f644c042388de3a586d0ba58e2 82668 math optional cvc4_1.8-3_i386.deb │ - 9068feeac74b1c039d0e1a0f1c56ef91 195648584 debug optional libcvc4-7-dbgsym_1.8-3_i386.deb │ - 785aab43a0d94e6b4eaaad4408631798 6701728 libs optional libcvc4-7_1.8-3_i386.deb │ - 0cadd16358ced62044a5db28c6dd70ca 131180 libdevel optional libcvc4-dev_1.8-3_i386.deb │ - 7db728c22835388d14f3941c72f375a9 5324244 debug optional libcvc4parser7-dbgsym_1.8-3_i386.deb │ - f290a5b7b7778bd18fda685af6478bc4 388016 libs optional libcvc4parser7_1.8-3_i386.deb │ + a72569501533634201a17bdffb8cffc6 1015608 debug optional cvc4-dbgsym_1.8-3_i386.deb │ + 235ed57618e8de61ecbb1d4c59cfe882 82632 math optional cvc4_1.8-3_i386.deb │ + 09543d0c750d4b9339f8e050cb1df16c 195649520 debug optional libcvc4-7-dbgsym_1.8-3_i386.deb │ + 6ce6f7c0c4f1631e2df7e9561a4b6cbe 6702604 libs optional libcvc4-7_1.8-3_i386.deb │ + e0445b89d7206e74f2e206e4d1cb7098 131168 libdevel optional libcvc4-dev_1.8-3_i386.deb │ + 8d0bf3e67bfa235a101b731cd4608747 5324184 debug optional libcvc4parser7-dbgsym_1.8-3_i386.deb │ + 1b271baa677db0044fb576907d06b54b 388036 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 80996 2022-10-29 18:49:40.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 1476 2022-10-29 18:49:40.000000 control.tar.xz │ │ +-rw-r--r-- 0 0 0 80964 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: 5db81e384c3c8bd4d6f2718ccd2d6caad60f2b79 │ │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: d2f3bb303456423150dbf03b171bb2a4aece3d25 │ │ │ │ │ │ │ │ │ │ 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 62383165 33383463 33633862 64346436 b81e384c3c8bd4d6 │ │ │ │ │ - 0x00000010 66323731 38636364 32643663 61616436 f2718ccd2d6caad6 │ │ │ │ │ - 0x00000020 30663262 37392e64 65627567 00000000 0f2b79.debug.... │ │ │ │ │ - 0x00000030 aa84607f ..`. │ │ │ │ │ + 0x00000000 66336262 33303334 35363432 33313530 f3bb303456423150 │ │ │ │ │ + 0x00000010 64626630 33623137 31626232 61346165 dbf03b171bb2a4ae │ │ │ │ │ + 0x00000020 63653364 32352e64 65627567 00000000 ce3d25.debug.... │ │ │ │ │ + 0x00000030 6597f2fd e... │ │ │ ├── ./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 6700324 2022-10-29 18:49:40.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 6701200 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: 5fcd379e726074beb1bedde88ac2ff6946a65c62 │ │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: d40c271d233791efb984443242d097a9332a8986 │ │ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.gold-version │ │ │ │ │ Owner Data size Description │ │ │ │ │ GNU 0x00000009 NT_GNU_GOLD_VERSION (gold version) Version: gold 1.16 │ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ │ ./obj-i686-linux-gnu/src/./src/./expr/node_value.h:430 │ │ │ │ │ mov %edx,%ecx │ │ │ │ │ and $0xfffff00,%ecx │ │ │ │ │ cmp $0xffffe00,%ecx │ │ │ │ │ jne cab1ec , std::pair const, unsigned int>, std::allocator const, unsigned int> >, std::__detail::_Select1st, std::equal_to >, CVC4::TNodeHashFunction, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::find(CVC4::NodeTemplate const&)@@Base+0x20ac> │ │ │ │ │ ./obj-i686-linux-gnu/src/./src/./expr/node_value.h:431 │ │ │ │ │ add $0x1,%eax │ │ │ │ │ -[ Too much input for diff (SHA256: f7aaae03d964182fe6496e93d2c1011e4ba3b3aa9d3da2827e2f2e1e88eac0dd) ] │ │ │ │ │ +[ Too much input for diff (SHA256: 5988ea0f7e29f94245f4aaf1ca67ef16c5031ca795860d5174173d46077c6400) ] │ │ │ │ ├── .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.