{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.LLjmrcHk/b1/coq-iris_4.3.0-1_amd64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.LLjmrcHk/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- ed01fe7533c22a1cb1846a3ff5eb1616 12617072 ocaml optional libcoq-iris_4.3.0-1_amd64.deb\n+ 21783b90323e6f4f6a67611d7b6eb4b3 12616452 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    13292 2024-11-20 09:53:37.000000 control.tar.xz\n--rw-r--r--   0        0        0 12603588 2024-11-20 09:53:37.000000 data.tar.xz\n+-rw-r--r--   0        0        0    13304 2024-11-20 09:53:37.000000 control.tar.xz\n+-rw-r--r--   0        0        0 12602956 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: 39734\n+Installed-Size: 39733\n Depends: libcoq-stdpp-2g1y5\n Provides: libcoq-iris-knuc0\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)   861795 2024-11-20 09:53:37.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n+-rw-r--r--   0 root         (0) root         (0)   861166 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-February 26, 2025\n+April 1, 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"}]}]}]}]}]}]}