{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.yLFbXhu7/b1/cvc4_1.8-3_i386.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.yLFbXhu7/b2/cvc4_1.8-3_i386.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,8 +1,8 @@\n \n- 4020820da29422e4e20469b7afc4c9d1 1015668 debug optional cvc4-dbgsym_1.8-3_i386.deb\n- 961372611ade544d97270cba4d2cc206 82684 math optional cvc4_1.8-3_i386.deb\n- 455d8276781a638a4f6de62e4f5a080c 195649016 debug optional libcvc4-7-dbgsym_1.8-3_i386.deb\n- 3b323584042957dbfdeacc25293325ca 6703480 libs optional libcvc4-7_1.8-3_i386.deb\n- 0cadd16358ced62044a5db28c6dd70ca 131180 libdevel optional libcvc4-dev_1.8-3_i386.deb\n- fb77106132e0c72c36a0993d714a6052 5324160 debug optional libcvc4parser7-dbgsym_1.8-3_i386.deb\n- 8d53cc959a734afc425a0ef2ae272701 388160 libs optional libcvc4parser7_1.8-3_i386.deb\n+ e30543434e58ac410bf5bdccda2712bb 1015572 debug optional cvc4-dbgsym_1.8-3_i386.deb\n+ 504c52e90193b227e4efe03838ff6546 82696 math optional cvc4_1.8-3_i386.deb\n+ 4c85b9f42ed38c0af5fa53346473fd29 195649128 debug optional libcvc4-7-dbgsym_1.8-3_i386.deb\n+ 9c7e0006f4f87305da58cc05ccf1cef4 6702064 libs optional libcvc4-7_1.8-3_i386.deb\n+ e0445b89d7206e74f2e206e4d1cb7098 131168 libdevel optional libcvc4-dev_1.8-3_i386.deb\n+ 98a2269672b60131570753aacd68e9f2 5323928 debug optional libcvc4parser7-dbgsym_1.8-3_i386.deb\n+ 9491b3e2f279dd5486c4be041c2eccb3 388392 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    81012 2022-10-29 18:49:40.000000 data.tar.xz\n+-rw-r--r--   0        0        0    81024 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: 37fbdb3e7f2b9579cac39557c7a906fbd57f52e6\n+  GNU                  0x00000014\tNT_GNU_BUILD_ID (unique build ID bitstring)\t    Build ID: 3af4cfdff57e5a076932d2f938ab2e2711a5726d\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 66626462 33653766 32623935 37396361 fbdb3e7f2b9579ca\n-  0x00000010 63333935 35376337 61393036 66626435 c39557c7a906fbd5\n-  0x00000020 37663532 65362e64 65627567 00000000 7f52e6.debug....\n-  0x00000030 7d084ee9                            }.N.\n+  0x00000000 66346366 64666635 37653561 30373639 f4cfdff57e5a0769\n+  0x00000010 33326432 66393338 61623265 32373131 32d2f938ab2e2711\n+  0x00000020 61353732 36642e64 65627567 00000000 a5726d.debug....\n+  0x00000030 0169964e                            .i.N\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  6702076 2022-10-29 18:49:40.000000 data.tar.xz\n+-rw-r--r--   0        0        0     1208 2022-10-29 18:49:40.000000 control.tar.xz\n+-rw-r--r--   0        0        0  6700664 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: 809be454eb128b2d455308bf9af9c55b6b8a4422\n+  GNU                  0x00000014\tNT_GNU_BUILD_ID (unique build ID bitstring)\t    Build ID: b3f053afded982a5658e0564f51604cbc175a9b9\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": ".text", "source2": ".text", "comments": ["Timeout exceeded; details may be incomplete."], "unified_diff": null}, {"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}]}