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