{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.RKtEQZEu/b1/coq-iris_4.3.0-1_arm64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.RKtEQZEu/b2/coq-iris_4.3.0-1_arm64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,2 +1,2 @@\n \n- 612d89892508f667e85e4cbfeec6b9de 12615224 ocaml optional libcoq-iris_4.3.0-1_arm64.deb\n+ e1c5c7013e1db8c2203748d3108f1bad 12614408 ocaml optional libcoq-iris_4.3.0-1_arm64.deb\n"}, {"source1": "libcoq-iris_4.3.0-1_arm64.deb", "source2": "libcoq-iris_4.3.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 2024-11-20 09:53:37.000000 debian-binary\n--rw-r--r--   0        0        0    13396 2024-11-20 09:53:37.000000 control.tar.xz\n--rw-r--r--   0        0        0 12601636 2024-11-20 09:53:37.000000 data.tar.xz\n+-rw-r--r--   0        0        0    13392 2024-11-20 09:53:37.000000 control.tar.xz\n+-rw-r--r--   0        0        0 12600824 2024-11-20 09:53:37.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": "./control", "source2": "./control", "unified_diff": "@@ -1,13 +1,13 @@\n Package: libcoq-iris\n Source: coq-iris\n Version: 4.3.0-1\n Architecture: arm64\n Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>\n-Installed-Size: 39734\n+Installed-Size: 39733\n Depends: libcoq-stdpp-zoxl9\n Provides: libcoq-iris-ngy32\n Section: ocaml\n Priority: optional\n Homepage: https://gitlab.mpi-sws.org/iris/iris\n Description: high-order concurrent separation logic framework for Coq\n  This package provides a high-order concurrent separation\n"}, {"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": "@@ -548,15 +548,15 @@\n -rw-r--r--   0 root         (0) root         (0)      600 2024-11-20 09:53:37.000000 ./usr/share/doc/libcoq-iris/changelog.Debian.gz\n -rw-r--r--   0 root         (0) root         (0)    38793 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/changelog.gz\n -rw-r--r--   0 root         (0) root         (0)    36859 2024-11-20 09:53:37.000000 ./usr/share/doc/libcoq-iris/copyright\n -rw-r--r--   0 root         (0) root         (0)     1920 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/dune.md\n -rw-r--r--   0 root         (0) root         (0)     5344 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/editor.md.gz\n -rw-r--r--   0 root         (0) root         (0)     4514 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz\n -rw-r--r--   0 root         (0) root         (0)     3499 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/heap_lang.md.gz\n--rw-r--r--   0 root         (0) root         (0)   861472 2024-11-20 09:53:37.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n+-rw-r--r--   0 root         (0) root         (0)   860674 2024-11-20 09:53:37.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n -rw-r--r--   0 root         (0) root         (0)     3601 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/proof_guide.md.gz\n -rw-r--r--   0 root         (0) root         (0)     8690 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/proof_mode.md.gz\n -rw-r--r--   0 root         (0) root         (0)     5458 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/resource_algebras.md.gz\n -rw-r--r--   0 root         (0) root         (0)     4086 2024-10-30 18:24:15.000000 ./usr/share/doc/libcoq-iris/style_guide.md.gz\n drwxr-xr-x   0 root         (0) root         (0)        0 2024-11-20 09:53:37.000000 ./usr/share/doc-base/\n -rw-r--r--   0 root         (0) root         (0)      157 2024-11-20 09:53:37.000000 ./usr/share/doc-base/libcoq-iris.coq-iris\n drwxr-xr-x   0 root         (0) root         (0)        0 2024-11-20 09:53:37.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.3 dev Reference\n https://iris-project.org/\n-August 29, 2026\n+July 28, 2025\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"}]}]}]}]}]}]}