{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.5kpTCsP2/b1/coq-iris_4.0.0-3_amd64.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.5kpTCsP2/b2/coq-iris_4.0.0-3_amd64.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,2 +1,2 @@\n \n- 1af4879d67062a8234c3dca5ad793bc9 11677000 ocaml optional libcoq-iris_4.0.0-3_amd64.deb\n+ 73145f4307b19fbca2f33e8f6c19a52b 11676656 ocaml optional libcoq-iris_4.0.0-3_amd64.deb\n"}, {"source1": "libcoq-iris_4.0.0-3_amd64.deb", "source2": "libcoq-iris_4.0.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 2023-01-25 12:04:26.000000 debian-binary\n -rw-r--r--   0        0        0    12256 2023-01-25 12:04:26.000000 control.tar.xz\n--rw-r--r--   0        0        0 11664552 2023-01-25 12:04:26.000000 data.tar.xz\n+-rw-r--r--   0        0        0 11664208 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)   861677 2023-01-25 12:04:26.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n+-rw-r--r--   0 root         (0) root         (0)   861336 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 6, 2024\n+February 7, 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"}]}]}]}]}]}]}