{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.gtPUjhec/b1/coq-iris_4.0.0-3_arm64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.gtPUjhec/b2/coq-iris_4.0.0-3_arm64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,2 +1,2 @@\n \n- eb2c12d91ee7bdc5b37ad39e7ad2d627 11678524 ocaml optional libcoq-iris_4.0.0-3_arm64.deb\n+ a0fe2cc46bd125cb581a530788b312e4 11678688 ocaml optional libcoq-iris_4.0.0-3_arm64.deb\n"}, {"source1": "libcoq-iris_4.0.0-3_arm64.deb", "source2": "libcoq-iris_4.0.0-3_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 2023-01-25 12:04:26.000000 debian-binary\n -rw-r--r--   0        0        0    12252 2023-01-25 12:04:26.000000 control.tar.xz\n--rw-r--r--   0        0        0 11666080 2023-01-25 12:04:26.000000 data.tar.xz\n+-rw-r--r--   0        0        0 11666244 2023-01-25 12:04:26.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": "@@ -530,15 +530,15 @@\n drwxr-xr-x   0 root         (0) root         (0)        0 2023-01-25 12:04:26.000000 ./usr/share/doc/libcoq-iris/\n -rw-r--r--   0 root         (0) root         (0)      305 2023-01-25 12:04:26.000000 ./usr/share/doc/libcoq-iris/changelog.Debian.gz\n -rw-r--r--   0 root         (0) root         (0)    29841 2022-08-17 16:54:51.000000 ./usr/share/doc/libcoq-iris/changelog.gz\n -rw-r--r--   0 root         (0) root         (0)    36859 2023-01-25 12:04:26.000000 ./usr/share/doc/libcoq-iris/copyright\n -rw-r--r--   0 root         (0) root         (0)     7898 2022-08-17 16:54:51.000000 ./usr/share/doc/libcoq-iris/editor.md.gz\n -rw-r--r--   0 root         (0) root         (0)     3473 2022-08-17 16:54:51.000000 ./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz\n -rw-r--r--   0 root         (0) root         (0)     3438 2022-08-17 16:54:51.000000 ./usr/share/doc/libcoq-iris/heap_lang.md.gz\n--rw-r--r--   0 root         (0) root         (0)   861224 2023-01-25 12:04:26.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n+-rw-r--r--   0 root         (0) root         (0)   861399 2023-01-25 12:04:26.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n -rw-r--r--   0 root         (0) root         (0)     3601 2022-08-17 16:54:51.000000 ./usr/share/doc/libcoq-iris/proof_guide.md.gz\n -rw-r--r--   0 root         (0) root         (0)     8244 2022-08-17 16:54:51.000000 ./usr/share/doc/libcoq-iris/proof_mode.md.gz\n -rw-r--r--   0 root         (0) root         (0)     5453 2022-08-17 16:54:51.000000 ./usr/share/doc/libcoq-iris/resource_algebras.md.gz\n drwxr-xr-x   0 root         (0) root         (0)        0 2023-01-25 12:04:26.000000 ./usr/share/doc-base/\n -rw-r--r--   0 root         (0) root         (0)      157 2023-01-25 12:04:26.000000 ./usr/share/doc-base/libcoq-iris.coq-iris\n drwxr-xr-x   0 root         (0) root         (0)        0 2023-01-25 12:04:26.000000 ./var/\n drwxr-xr-x   0 root         (0) root         (0)        0 2023-01-25 12:04:26.000000 ./var/lib/\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 3.7-dev Documentation\n http://plv.mpi-sws.org/iris/\n-January 8, 2024\n+February 9, 2025\n \n Abstract\n This document describes formally 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"}]}]}]}]}]}]}