{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.Y3i0F0KP/b1/coq-iris_4.3.0-1_amd64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.Y3i0F0KP/b2/coq-iris_4.3.0-1_amd64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,2 +1,2 @@\n \n- 93c925dcd47fede68ca120581535f1bf 12613012 ocaml optional libcoq-iris_4.3.0-1_amd64.deb\n+ e5da80ab06dec4404aa8f26090d43b7a 12614640 ocaml optional libcoq-iris_4.3.0-1_amd64.deb\n"}, {"source1": "libcoq-iris_4.3.0-1_amd64.deb", "source2": "libcoq-iris_4.3.0-1_amd64.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    13272 2024-11-20 09:53:37.000000 control.tar.xz\n--rw-r--r--   0        0        0 12599548 2024-11-20 09:53:37.000000 data.tar.xz\n+-rw-r--r--   0        0        0    13284 2024-11-20 09:53:37.000000 control.tar.xz\n+-rw-r--r--   0        0        0 12601164 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: amd64\n Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>\n-Installed-Size: 39739\n+Installed-Size: 39741\n Depends: libcoq-stdpp-ao7m5\n Provides: libcoq-iris-cnq85\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)   860019 2024-11-20 09:53:37.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n+-rw-r--r--   0 root         (0) root         (0)   861619 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-December 11, 2024\n+January 14, 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"}]}]}]}]}]}]}