--- /srv/reproducible-results/rbuild-debian/r-b-build.tV4BDlPP/b1/cvc4_1.8-3_arm64.changes +++ /srv/reproducible-results/rbuild-debian/r-b-build.tV4BDlPP/b2/cvc4_1.8-3_arm64.changes ├── Files │ @@ -1,8 +1,8 @@ │ │ - f9008c3033a999d9b1f7e94653af0434 1008840 debug optional cvc4-dbgsym_1.8-3_arm64.deb │ - 8c2ea4e49d0c70508cc93203c2498601 75588 math optional cvc4_1.8-3_arm64.deb │ - 9a068edd334cbdefe1fb235ab339bd1b 195153416 debug optional libcvc4-7-dbgsym_1.8-3_arm64.deb │ - 10ab277d33b495b29db62a8c750f15a9 5008976 libs optional libcvc4-7_1.8-3_arm64.deb │ - 681f0e13b2d50d38677091acf1fab22e 131188 libdevel optional libcvc4-dev_1.8-3_arm64.deb │ - da513b5c04d42ae6b304d619321daabc 5291236 debug optional libcvc4parser7-dbgsym_1.8-3_arm64.deb │ - 9be8cd1f849c3e59f291a6aad9b706ad 323052 libs optional libcvc4parser7_1.8-3_arm64.deb │ + 064b67225f95064ea2bd4d7e18fba619 1008784 debug optional cvc4-dbgsym_1.8-3_arm64.deb │ + e06162ab689adb7532834635e92cfcd7 75572 math optional cvc4_1.8-3_arm64.deb │ + f5535ec36576f001c7a885a3a99f4412 195161160 debug optional libcvc4-7-dbgsym_1.8-3_arm64.deb │ + b18bd0ad53dac4ec24889fa5fae3424a 5011572 libs optional libcvc4-7_1.8-3_arm64.deb │ + 467889f52d010aafdc7475ffe12143bf 131176 libdevel optional libcvc4-dev_1.8-3_arm64.deb │ + f1a6f3425343752f944b2778877d026b 5291264 debug optional libcvc4parser7-dbgsym_1.8-3_arm64.deb │ + db0126d609acc8f076b459b0423baaef 323088 libs optional libcvc4parser7_1.8-3_arm64.deb ├── cvc4_1.8-3_arm64.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 1476 2022-10-29 18:49:40.000000 control.tar.xz │ │ --rw-r--r-- 0 0 0 73920 2022-10-29 18:49:40.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 73904 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.7.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: 8a0edbdfb9125af2c607ab913c3cd477b7fbe86b │ │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: b03cfb201ed2fe1892d6f8cbe8b3618a3460aee6 │ │ │ │ │ │ │ │ │ │ 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 30656462 64666239 31323561 66326336 0edbdfb9125af2c6 │ │ │ │ │ - 0x00000010 30376162 39313363 33636434 37376237 07ab913c3cd477b7 │ │ │ │ │ - 0x00000020 66626538 36622e64 65627567 00000000 fbe86b.debug.... │ │ │ │ │ - 0x00000030 39ffba8b 9... │ │ │ │ │ + 0x00000000 33636662 32303165 64326665 31383932 3cfb201ed2fe1892 │ │ │ │ │ + 0x00000010 64366638 63626538 62333631 38613334 d6f8cbe8b3618a34 │ │ │ │ │ + 0x00000020 36306165 65362e64 65627567 00000000 60aee6.debug.... │ │ │ │ │ + 0x00000030 b7307e9c .0~. │ │ │ ├── ./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_arm64.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 5007572 2022-10-29 18:49:40.000000 data.tar.xz │ │ +-rw-r--r-- 0 0 0 5010168 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/aarch64-linux-gnu/libcvc4.so.7 │ │ │ │ ├── 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: b5160368a00adab7116a8eb8f2cae9895071f1fc │ │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 040e120345a5345ec88eded41cab1dfe21acb777 │ │ │ │ │ │ │ │ │ │ Displaying notes found in: .note.gnu.gold-version │ │ │ │ │ Owner Data size Description │ │ │ │ │ GNU 0x00000009 NT_GNU_GOLD_VERSION (gold version) Version: gold 1.16 │ │ │ │ ├── strings --all --bytes=8 {} │ │ │ │ │ @@ -22314,15 +22314,15 @@ │ │ │ │ │ EQUALITY_UNKNOWN │ │ │ │ │ ./src/theory/valuation.cpp │ │ │ │ │ std::ostream& CVC4::theory::operator<<(std::ostream&, EqualityStatus) │ │ │ │ │ Fatal failure within │ │ │ │ │ ' is a bad argument; expected │ │ │ │ │ to hold │ │ │ │ │ Illegal argument detected │ │ │ │ │ -2022-10-29 06:49:40 │ │ │ │ │ +2022-10-30 08:49:40 │ │ │ │ │ Copyright (c) 2009-2020 by the authors and their institutional │ │ │ │ │ affiliations listed at http://cvc4.cs.stanford.edu/authors │ │ │ │ │ This build of CVC4 uses GPLed libraries, and is thus covered by │ │ │ │ │ the GNU General Public License (GPL) version 3. Versions of CVC4 │ │ │ │ │ are available that are covered by the (modified) BSD license. If │ │ │ │ │ you want to license CVC4 under this license, please configure CVC4 │ │ │ │ │ with the "--no-gpl" option before building from sources. │ │ │ │ ├── .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_arm64.deb │┄ Timeout exceeded; details may be incomplete. ├── libcvc4parser7_1.8-3_arm64.deb │┄ Timeout exceeded; details may be incomplete. ├── cvc4-dbgsym_1.8-3_arm64.deb │┄ Timeout exceeded; details may be incomplete. ├── libcvc4-7-dbgsym_1.8-3_arm64.deb │┄ Timeout exceeded; details may be incomplete. ├── libcvc4parser7-dbgsym_1.8-3_arm64.deb │┄ Timeout exceeded; details may be incomplete.