{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.CXXIWarx/b1/coq-iris_4.4.0-1_arm64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.CXXIWarx/b2/coq-iris_4.4.0-1_arm64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,2 +1,2 @@\n \n- 6e618fe33283153353b0b68667a2ff74 12962736 ocaml optional libcoq-iris_4.4.0-1_arm64.deb\n+ af63eb3b797ab548d4c492edd7715a54 12962496 ocaml optional libcoq-iris_4.4.0-1_arm64.deb\n"}, {"source1": "libcoq-iris_4.4.0-1_arm64.deb", "source2": "libcoq-iris_4.4.0-1_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 2025-10-29 09:07:59.000000 debian-binary\n -rw-r--r--   0        0        0    13568 2025-10-29 09:07:59.000000 control.tar.xz\n--rw-r--r--   0        0        0 12948976 2025-10-29 09:07:59.000000 data.tar.xz\n+-rw-r--r--   0        0        0 12948736 2025-10-29 09:07:59.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": "@@ -557,15 +557,15 @@\n -rw-r--r--   0 root         (0) root         (0)      635 2025-10-29 09:07:59.000000 ./usr/share/doc/libcoq-iris/changelog.Debian.gz\n -rw-r--r--   0 root         (0) root         (0)    40559 2025-06-04 12:27:47.000000 ./usr/share/doc/libcoq-iris/changelog.gz\n -rw-r--r--   0 root         (0) root         (0)    36859 2024-08-27 07:31:33.000000 ./usr/share/doc/libcoq-iris/copyright\n -rw-r--r--   0 root         (0) root         (0)     1920 2025-06-04 12:27:47.000000 ./usr/share/doc/libcoq-iris/dune.md\n -rw-r--r--   0 root         (0) root         (0)     5344 2025-06-04 12:27:47.000000 ./usr/share/doc/libcoq-iris/editor.md.gz\n -rw-r--r--   0 root         (0) root         (0)     4514 2025-06-04 12:27:47.000000 ./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz\n -rw-r--r--   0 root         (0) root         (0)     3499 2025-06-04 12:27:47.000000 ./usr/share/doc/libcoq-iris/heap_lang.md.gz\n--rw-r--r--   0 root         (0) root         (0)   850674 2025-10-29 09:07:59.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n+-rw-r--r--   0 root         (0) root         (0)   850443 2025-10-29 09:07:59.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n -rw-r--r--   0 root         (0) root         (0)     3601 2025-06-04 12:27:47.000000 ./usr/share/doc/libcoq-iris/proof_guide.md.gz\n -rw-r--r--   0 root         (0) root         (0)     8690 2025-06-04 12:27:47.000000 ./usr/share/doc/libcoq-iris/proof_mode.md.gz\n -rw-r--r--   0 root         (0) root         (0)     5458 2025-06-04 12:27:47.000000 ./usr/share/doc/libcoq-iris/resource_algebras.md.gz\n -rw-r--r--   0 root         (0) root         (0)     4086 2025-06-04 12:27:47.000000 ./usr/share/doc/libcoq-iris/style_guide.md.gz\n drwxr-xr-x   0 root         (0) root         (0)        0 2025-10-29 09:07:59.000000 ./usr/share/doc-base/\n -rw-r--r--   0 root         (0) root         (0)      157 2024-08-27 07:31:33.000000 ./usr/share/doc-base/libcoq-iris.coq-iris\n drwxr-xr-x   0 root         (0) root         (0)        0 2025-10-29 09:07:59.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.4 dev Reference\n https://iris-project.org/\n-October 29, 2025\n+December 2, 2026\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"}]}]}]}]}]}]}