{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.GQNdzhkz/b1/coq-iris_4.3.0-1_arm64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.GQNdzhkz/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- 1c80fdf566c8679331aa9369206a00d2 12615340 ocaml optional libcoq-iris_4.3.0-1_arm64.deb\n+ 91f854fc75050217ca331a25ceee42e7 12616408 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    13360 2024-11-20 09:53:37.000000 control.tar.xz\n--rw-r--r--   0        0        0 12601788 2024-11-20 09:53:37.000000 data.tar.xz\n+-rw-r--r--   0        0        0    13356 2024-11-20 09:53:37.000000 control.tar.xz\n+-rw-r--r--   0        0        0 12602860 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: 39732\n+Installed-Size: 39733\n Depends: libcoq-stdpp-t18g2\n Provides: libcoq-iris-8qzb5\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)   860118 2024-11-20 09:53:37.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n+-rw-r--r--   0 root         (0) root         (0)   861174 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-March 7, 2025\n+April 10, 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"}]}]}]}]}]}]}