{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.FcDabV8T/b1/coq-iris_4.1.0-1_armhf.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.FcDabV8T/b2/coq-iris_4.1.0-1_armhf.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,2 +1,2 @@\n \n- c8e070c5e80d96e4c93847a7aab81414 11911504 ocaml optional libcoq-iris_4.1.0-1_armhf.deb\n+ cd60e79276d40ddde9df256922026390 11911792 ocaml optional libcoq-iris_4.1.0-1_armhf.deb\n"}, {"source1": "libcoq-iris_4.1.0-1_armhf.deb", "source2": "libcoq-iris_4.1.0-1_armhf.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 2023-12-21 15:59:31.000000 debian-binary\n -rw-r--r--   0        0        0    12540 2023-12-21 15:59:31.000000 control.tar.xz\n--rw-r--r--   0        0        0 11898772 2023-12-21 15:59:31.000000 data.tar.xz\n+-rw-r--r--   0        0        0 11899060 2023-12-21 15:59:31.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": "@@ -542,15 +542,15 @@\n drwxr-xr-x   0 root         (0) root         (0)        0 2023-12-21 15:59:31.000000 ./usr/share/doc/libcoq-iris/\n -rw-r--r--   0 root         (0) root         (0)      400 2023-12-21 15:59:31.000000 ./usr/share/doc/libcoq-iris/changelog.Debian.gz\n -rw-r--r--   0 root         (0) root         (0)    35535 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/changelog.gz\n -rw-r--r--   0 root         (0) root         (0)    36859 2023-12-21 15:59:31.000000 ./usr/share/doc/libcoq-iris/copyright\n -rw-r--r--   0 root         (0) root         (0)     5251 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/editor.md.gz\n -rw-r--r--   0 root         (0) root         (0)     4514 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz\n -rw-r--r--   0 root         (0) root         (0)     3505 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/heap_lang.md.gz\n--rw-r--r--   0 root         (0) root         (0)   860646 2023-12-21 15:59:31.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n+-rw-r--r--   0 root         (0) root         (0)   860914 2023-12-21 15:59:31.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n -rw-r--r--   0 root         (0) root         (0)     3600 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/proof_guide.md.gz\n -rw-r--r--   0 root         (0) root         (0)     8410 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/proof_mode.md.gz\n -rw-r--r--   0 root         (0) root         (0)     5454 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/resource_algebras.md.gz\n -rw-r--r--   0 root         (0) root         (0)     4042 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/style_guide.md.gz\n drwxr-xr-x   0 root         (0) root         (0)        0 2023-12-21 15:59:31.000000 ./usr/share/doc-base/\n -rw-r--r--   0 root         (0) root         (0)      157 2023-12-21 15:59:31.000000 ./usr/share/doc-base/libcoq-iris.coq-iris\n drwxr-xr-x   0 root         (0) root         (0)        0 2023-12-21 15:59:31.000000 ./var/\n"}, {"source1": "./usr/share/doc/libcoq-iris/iris.pdf.gz", "source2": "./usr/share/doc/libcoq-iris/iris.pdf.gz", "unified_diff": null, "details": [{"source1": "iris.pdf", "source2": "iris.pdf", "unified_diff": null, "details": [{"source1": "pdftotext {} -", "source2": "pdftotext {} -", "unified_diff": "@@ -1,10 +1,10 @@\n The Iris 4.1 dev Reference\n https://iris-project.org/\n-April 12, 2024\n+April 13, 2024\n \n Abstract\n This document formally describes the Iris program logic. Every result in this document\n has been fully verified in Coq. The latest versions of this document and the Coq formalization\n can be found in the git repository at https://gitlab.mpi-sws.org/iris/iris. For further\n information, visit the Iris project website at https://iris-project.org.\n \n"}]}]}]}]}]}]}