{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.BgHVmxvT/b1/coq-iris_4.1.0-1_i386.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.BgHVmxvT/b2/coq-iris_4.1.0-1_i386.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,2 +1,2 @@\n \n- 54646fb6ed63abd49fce81b93b3fe59e 11911624 ocaml optional libcoq-iris_4.1.0-1_i386.deb\n+ 54156673e4bd20fc9411748306d25503 11911416 ocaml optional libcoq-iris_4.1.0-1_i386.deb\n"}, {"source1": "libcoq-iris_4.1.0-1_i386.deb", "source2": "libcoq-iris_4.1.0-1_i386.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-12-21 15:59:31.000000 debian-binary\n -rw-r--r--   0        0        0    12524 2023-12-21 15:59:31.000000 control.tar.xz\n--rw-r--r--   0        0        0 11898908 2023-12-21 15:59:31.000000 data.tar.xz\n+-rw-r--r--   0        0        0 11898700 2023-12-21 15:59:31.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": "@@ -542,15 +542,15 @@\n drwxr-xr-x   0 root         (0) root         (0)        0 2023-12-21 15:59:31.000000 ./usr/share/doc/libcoq-iris/\n -rw-r--r--   0 root         (0) root         (0)      400 2023-12-21 15:59:31.000000 ./usr/share/doc/libcoq-iris/changelog.Debian.gz\n -rw-r--r--   0 root         (0) root         (0)    35535 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/changelog.gz\n -rw-r--r--   0 root         (0) root         (0)    36859 2023-12-21 15:59:31.000000 ./usr/share/doc/libcoq-iris/copyright\n -rw-r--r--   0 root         (0) root         (0)     5251 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/editor.md.gz\n -rw-r--r--   0 root         (0) root         (0)     4514 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz\n -rw-r--r--   0 root         (0) root         (0)     3505 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/heap_lang.md.gz\n--rw-r--r--   0 root         (0) root         (0)   860914 2023-12-21 15:59:31.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n+-rw-r--r--   0 root         (0) root         (0)   860721 2023-12-21 15:59:31.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n -rw-r--r--   0 root         (0) root         (0)     3600 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/proof_guide.md.gz\n -rw-r--r--   0 root         (0) root         (0)     8410 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/proof_mode.md.gz\n -rw-r--r--   0 root         (0) root         (0)     5454 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/resource_algebras.md.gz\n -rw-r--r--   0 root         (0) root         (0)     4042 2023-10-11 14:54:39.000000 ./usr/share/doc/libcoq-iris/style_guide.md.gz\n drwxr-xr-x   0 root         (0) root         (0)        0 2023-12-21 15:59:31.000000 ./usr/share/doc-base/\n -rw-r--r--   0 root         (0) root         (0)      157 2023-12-21 15:59:31.000000 ./usr/share/doc-base/libcoq-iris.coq-iris\n drwxr-xr-x   0 root         (0) root         (0)        0 2023-12-21 15:59:31.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.1 dev Reference\n https://iris-project.org/\n-April 13, 2024\n+May 17, 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"}]}]}]}]}]}]}