{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.3m1tkz0C/b1/cvc4_1.8-3_i386.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.3m1tkz0C/b2/cvc4_1.8-3_i386.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,8 +1,8 @@\n \n- 4897554bb9b840e279190a01a60b9bc4 1015660 debug optional cvc4-dbgsym_1.8-3_i386.deb\n- a05630f644c042388de3a586d0ba58e2 82668 math optional cvc4_1.8-3_i386.deb\n- 9068feeac74b1c039d0e1a0f1c56ef91 195648584 debug optional libcvc4-7-dbgsym_1.8-3_i386.deb\n- 785aab43a0d94e6b4eaaad4408631798 6701728 libs optional libcvc4-7_1.8-3_i386.deb\n- 0cadd16358ced62044a5db28c6dd70ca 131180 libdevel optional libcvc4-dev_1.8-3_i386.deb\n- 7db728c22835388d14f3941c72f375a9 5324244 debug optional libcvc4parser7-dbgsym_1.8-3_i386.deb\n- f290a5b7b7778bd18fda685af6478bc4 388016 libs optional libcvc4parser7_1.8-3_i386.deb\n+ a72569501533634201a17bdffb8cffc6 1015608 debug optional cvc4-dbgsym_1.8-3_i386.deb\n+ 235ed57618e8de61ecbb1d4c59cfe882 82632 math optional cvc4_1.8-3_i386.deb\n+ 09543d0c750d4b9339f8e050cb1df16c 195649520 debug optional libcvc4-7-dbgsym_1.8-3_i386.deb\n+ 6ce6f7c0c4f1631e2df7e9561a4b6cbe 6702604 libs optional libcvc4-7_1.8-3_i386.deb\n+ e0445b89d7206e74f2e206e4d1cb7098 131168 libdevel optional libcvc4-dev_1.8-3_i386.deb\n+ 8d0bf3e67bfa235a101b731cd4608747 5324184 debug optional libcvc4parser7-dbgsym_1.8-3_i386.deb\n+ 1b271baa677db0044fb576907d06b54b 388036 libs optional libcvc4parser7_1.8-3_i386.deb\n"}, {"source1": "cvc4_1.8-3_i386.deb", "source2": "cvc4_1.8-3_i386.deb", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -1,3 +1,3 @@\n -rw-r--r--   0        0        0        4 2022-10-29 18:49:40.000000 debian-binary\n--rw-r--r--   0        0        0     1480 2022-10-29 18:49:40.000000 control.tar.xz\n--rw-r--r--   0        0        0    80996 2022-10-29 18:49:40.000000 data.tar.xz\n+-rw-r--r--   0        0        0     1476 2022-10-29 18:49:40.000000 control.tar.xz\n+-rw-r--r--   0        0        0    80964 2022-10-29 18:49:40.000000 data.tar.xz\n"}, {"source1": "control.tar.xz", "source2": "control.tar.xz", "unified_diff": null, "details": [{"source1": "control.tar", "source2": "control.tar", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "comments": ["Files differ"], "unified_diff": null}]}]}]}, {"source1": "data.tar.xz", "source2": "data.tar.xz", "unified_diff": null, "details": [{"source1": "data.tar", "source2": "data.tar", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -24,8 +24,8 @@\n -rw-r--r--   0 root         (0) root         (0)     2085 2020-06-19 16:59:27.000000 ./usr/share/doc/cvc4/THANKS\n -rw-r--r--   0 root         (0) root         (0)     1043 2022-10-29 18:49:40.000000 ./usr/share/doc/cvc4/changelog.Debian.gz\n -rw-r--r--   0 root         (0) root         (0)     4452 2022-10-17 14:15:49.000000 ./usr/share/doc/cvc4/copyright\n drwxr-xr-x   0 root         (0) root         (0)        0 2022-10-29 18:49:40.000000 ./usr/share/man/\n drwxr-xr-x   0 root         (0) root         (0)        0 2022-10-29 18:49:40.000000 ./usr/share/man/man1/\n -rw-r--r--   0 root         (0) root         (0)     2116 2022-10-29 18:49:40.000000 ./usr/share/man/man1/cvc4.1.gz\n drwxr-xr-x   0 root         (0) root         (0)        0 2022-10-29 18:49:40.000000 ./usr/share/man/man5/\n--rw-r--r--   0 root         (0) root         (0)      394 2022-10-29 18:49:40.000000 ./usr/share/man/man5/cvc4.5.gz\n+-rw-r--r--   0 root         (0) root         (0)      393 2022-10-29 18:49:40.000000 ./usr/share/man/man5/cvc4.5.gz\n"}, {"source1": "./usr/bin/cvc4", "source2": "./usr/bin/cvc4", "comments": ["File has been modified after NT_GNU_BUILD_ID has been applied."], "unified_diff": null, "details": [{"source1": "readelf --wide --notes {}", "source2": "readelf --wide --notes {}", "unified_diff": "@@ -1,12 +1,12 @@\n \n Displaying notes found in: .note.ABI-tag\n   Owner                Data size \tDescription\n   GNU                  0x00000010\tNT_GNU_ABI_TAG (ABI version tag)\t    OS: Linux, ABI: 3.2.0\n \n Displaying notes found in: .note.gnu.build-id\n   Owner                Data size \tDescription\n-  GNU                  0x00000014\tNT_GNU_BUILD_ID (unique build ID bitstring)\t    Build ID: 5db81e384c3c8bd4d6f2718ccd2d6caad60f2b79\n+  GNU                  0x00000014\tNT_GNU_BUILD_ID (unique build ID bitstring)\t    Build ID: d2f3bb303456423150dbf03b171bb2a4aece3d25\n \n Displaying notes found in: .note.gnu.gold-version\n   Owner                Data size \tDescription\n   GNU                  0x00000009\tNT_GNU_GOLD_VERSION (gold version)\t    Version: gold 1.16\n"}, {"source1": "readelf --wide --decompress --hex-dump=.gnu_debuglink {}", "source2": "readelf --wide --decompress --hex-dump=.gnu_debuglink {}", "comments": ["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"], "unified_diff": "@@ -1,7 +1,7 @@\n \n Hex dump of section '.gnu_debuglink':\n-  0x00000000 62383165 33383463 33633862 64346436 b81e384c3c8bd4d6\n-  0x00000010 66323731 38636364 32643663 61616436 f2718ccd2d6caad6\n-  0x00000020 30663262 37392e64 65627567 00000000 0f2b79.debug....\n-  0x00000030 aa84607f                            ..`.\n+  0x00000000 66336262 33303334 35363432 33313530 f3bb303456423150\n+  0x00000010 64626630 33623137 31626232 61346165 dbf03b171bb2a4ae\n+  0x00000020 63653364 32352e64 65627567 00000000 ce3d25.debug....\n+  0x00000030 6597f2fd                            e...\n \n"}]}, {"source1": "./usr/share/man/man1/cvc4.1.gz", "source2": "./usr/share/man/man1/cvc4.1.gz", "unified_diff": null, "details": [{"source1": "cvc4.1", "source2": "cvc4.1", "unified_diff": "@@ -1,11 +1,11 @@\n .\\\" Process this file with\n .\\\" groff -man -Tascii cvc4.1\n .\\\"\n-.TH CVC4 1 \"2022-10-29\" \"CVC4 release CVC4_RELEASE_STRING\" \"User Manuals\"\n+.TH CVC4 1 \"2022-10-30\" \"CVC4 release CVC4_RELEASE_STRING\" \"User Manuals\"\n .SH NAME\n cvc4, pcvc4 \\- an automated theorem prover\n .SH SYNOPSIS\n .B cvc4 [\n .I options\n .B ] [\n .I file\n"}]}, {"source1": "./usr/share/man/man5/cvc4.5.gz", "source2": "./usr/share/man/man5/cvc4.5.gz", "unified_diff": null, "details": [{"source1": "cvc4.5", "source2": "cvc4.5", "unified_diff": "@@ -1,11 +1,11 @@\n .\\\" Process this file with\n .\\\" groff -man -Tascii cvc4.5\n .\\\"\n-.TH CVC4 5 \"2022-10-29\" \"CVC4 release CVC4_RELEASE_STRING\" \"Languages documentation\"\n+.TH CVC4 5 \"2022-10-30\" \"CVC4 release CVC4_RELEASE_STRING\" \"Languages documentation\"\n .SH NAME\n cvc4 \\- the native input language for CVC4\n .SH DESCRIPTION\n .B cvc4\n is an automated theorem prover for first-order formulas with respect\n to background theories of interest.\n \n"}]}]}]}]}, {"source1": "libcvc4-7_1.8-3_i386.deb", "source2": "libcvc4-7_1.8-3_i386.deb", "unified_diff": null, "details": [{"source1": "file list", "source2": "file list", "unified_diff": "@@ -1,3 +1,3 @@\n -rw-r--r--   0        0        0        4 2022-10-29 18:49:40.000000 debian-binary\n -rw-r--r--   0        0        0     1212 2022-10-29 18:49:40.000000 control.tar.xz\n--rw-r--r--   0        0        0  6700324 2022-10-29 18:49:40.000000 data.tar.xz\n+-rw-r--r--   0        0        0  6701200 2022-10-29 18:49:40.000000 data.tar.xz\n"}, {"source1": "control.tar.xz", "source2": "control.tar.xz", "unified_diff": null, "details": [{"source1": "control.tar", "source2": "control.tar", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "unified_diff": null, "details": [{"source1": "./md5sums", "source2": "./md5sums", "comments": ["Files differ"], "unified_diff": null}]}]}]}, {"source1": "data.tar.xz", "source2": "data.tar.xz", "unified_diff": null, "details": [{"source1": "data.tar", "source2": "data.tar", "unified_diff": null, "details": [{"source1": "./usr/lib/i386-linux-gnu/libcvc4.so.7", "source2": "./usr/lib/i386-linux-gnu/libcvc4.so.7", "comments": ["File has been modified after NT_GNU_BUILD_ID has been applied."], "unified_diff": null, "details": [{"source1": "readelf --wide --notes {}", "source2": "readelf --wide --notes {}", "unified_diff": "@@ -1,8 +1,8 @@\n \n Displaying notes found in: .note.gnu.build-id\n   Owner                Data size \tDescription\n-  GNU                  0x00000014\tNT_GNU_BUILD_ID (unique build ID bitstring)\t    Build ID: 5fcd379e726074beb1bedde88ac2ff6946a65c62\n+  GNU                  0x00000014\tNT_GNU_BUILD_ID (unique build ID bitstring)\t    Build ID: d40c271d233791efb984443242d097a9332a8986\n \n Displaying notes found in: .note.gnu.gold-version\n   Owner                Data size \tDescription\n   GNU                  0x00000009\tNT_GNU_GOLD_VERSION (gold version)\t    Version: gold 1.16\n"}, {"source1": "objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}", "source2": "objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}", "unified_diff": "@@ -4194296,8 +4194296,8 @@\n ./obj-i686-linux-gnu/src/./src/./expr/node_value.h:430\n \tmov    %edx,%ecx\n \tand    $0xfffff00,%ecx\n \tcmp    $0xffffe00,%ecx\n \tjne    cab1ec <std::_Hashtable<CVC4::NodeTemplate<false>, std::pair<CVC4::NodeTemplate<false> const, unsigned int>, std::allocator<std::pair<CVC4::NodeTemplate<false> const, unsigned int> >, std::__detail::_Select1st, std::equal_to<CVC4::NodeTemplate<false> >, CVC4::TNodeHashFunction, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<true, false, true> >::find(CVC4::NodeTemplate<false> const&)@@Base+0x20ac>\n ./obj-i686-linux-gnu/src/./src/./expr/node_value.h:431\n \tadd    $0x1,%eax\n-[ Too much input for diff (SHA256: f7aaae03d964182fe6496e93d2c1011e4ba3b3aa9d3da2827e2f2e1e88eac0dd) ]\n+[ Too much input for diff (SHA256: 5988ea0f7e29f94245f4aaf1ca67ef16c5031ca795860d5174173d46077c6400) ]\n"}, {"source1": ".fini", "source2": ".fini", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".rodata", "source2": ".rodata", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".gcc_except_table", "source2": ".gcc_except_table", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".eh_frame", "source2": ".eh_frame", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".eh_frame_hdr", "source2": ".eh_frame_hdr", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".tbss", "source2": ".tbss", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".data.rel.ro.local", "source2": ".data.rel.ro.local", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".fini_array", "source2": ".fini_array", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".init_array", "source2": ".init_array", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".data.rel.ro", "source2": ".data.rel.ro", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".got", "source2": ".got", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".got.plt", "source2": ".got.plt", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".data", "source2": ".data", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".tm_clone_table", "source2": ".tm_clone_table", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".bss", "source2": ".bss", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".gnu_debuglink", "source2": ".gnu_debuglink", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": ".shstrtab", "source2": ".shstrtab", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}]}]}]}]}, {"source1": "libcvc4-dev_1.8-3_i386.deb", "source2": "libcvc4-dev_1.8-3_i386.deb", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": "libcvc4parser7_1.8-3_i386.deb", "source2": "libcvc4parser7_1.8-3_i386.deb", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": "cvc4-dbgsym_1.8-3_i386.deb", "source2": "cvc4-dbgsym_1.8-3_i386.deb", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": "libcvc4-7-dbgsym_1.8-3_i386.deb", "source2": "libcvc4-7-dbgsym_1.8-3_i386.deb", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"source1": "libcvc4parser7-dbgsym_1.8-3_i386.deb", "source2": "libcvc4parser7-dbgsym_1.8-3_i386.deb", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}]}