{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.kkk5jIju/b1/coq-iris_4.2.0-3_amd64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.kkk5jIju/b2/coq-iris_4.2.0-3_amd64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,2 +1,2 @@\n \n- dffdce28aaf327c658e2711191c2f757 12679408 ocaml optional libcoq-iris_4.2.0-3_amd64.deb\n+ 9deeecd54089af7df732e144761b373b 12679256 ocaml optional libcoq-iris_4.2.0-3_amd64.deb\n"}, {"source1": "libcoq-iris_4.2.0-3_amd64.deb", "source2": "libcoq-iris_4.2.0-3_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-08-04 05:05:01.000000 debian-binary\n -rw-r--r--   0        0        0    13228 2024-08-04 05:05:01.000000 control.tar.xz\n--rw-r--r--   0        0        0 12665988 2024-08-04 05:05:01.000000 data.tar.xz\n+-rw-r--r--   0        0        0 12665836 2024-08-04 05:05:01.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": "@@ -547,15 +547,15 @@\n drwxr-xr-x   0 root         (0) root         (0)        0 2024-08-04 05:05:01.000000 ./usr/share/doc/libcoq-iris/\n -rw-r--r--   0 root         (0) root         (0)      579 2024-08-04 05:05:01.000000 ./usr/share/doc/libcoq-iris/changelog.Debian.gz\n -rw-r--r--   0 root         (0) root         (0)    37813 2024-04-12 09:43:23.000000 ./usr/share/doc/libcoq-iris/changelog.gz\n -rw-r--r--   0 root         (0) root         (0)    36859 2024-08-04 05:05:01.000000 ./usr/share/doc/libcoq-iris/copyright\n -rw-r--r--   0 root         (0) root         (0)     5342 2024-04-12 09:43:23.000000 ./usr/share/doc/libcoq-iris/editor.md.gz\n -rw-r--r--   0 root         (0) root         (0)     4514 2024-04-12 09:43:23.000000 ./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz\n -rw-r--r--   0 root         (0) root         (0)     3505 2024-04-12 09:43:23.000000 ./usr/share/doc/libcoq-iris/heap_lang.md.gz\n--rw-r--r--   0 root         (0) root         (0)   860395 2024-08-04 05:05:01.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n+-rw-r--r--   0 root         (0) root         (0)   860222 2024-08-04 05:05:01.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n -rw-r--r--   0 root         (0) root         (0)     3600 2024-04-12 09:43:23.000000 ./usr/share/doc/libcoq-iris/proof_guide.md.gz\n -rw-r--r--   0 root         (0) root         (0)     8410 2024-04-12 09:43:23.000000 ./usr/share/doc/libcoq-iris/proof_mode.md.gz\n -rw-r--r--   0 root         (0) root         (0)     5454 2024-04-12 09:43:23.000000 ./usr/share/doc/libcoq-iris/resource_algebras.md.gz\n -rw-r--r--   0 root         (0) root         (0)     4042 2024-04-12 09:43:23.000000 ./usr/share/doc/libcoq-iris/style_guide.md.gz\n drwxr-xr-x   0 root         (0) root         (0)        0 2024-08-04 05:05:01.000000 ./usr/share/doc-base/\n -rw-r--r--   0 root         (0) root         (0)      157 2024-08-04 05:05:01.000000 ./usr/share/doc-base/libcoq-iris.coq-iris\n drwxr-xr-x   0 root         (0) root         (0)        0 2024-08-04 05:05:01.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.2 Reference\n https://iris-project.org/\n-November 5, 2024\n+December 10, 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"}]}]}]}]}]}]}