{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.PZndSf9w/b1/coq-iris_4.0.0-3_i386.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.PZndSf9w/b2/coq-iris_4.0.0-3_i386.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,2 +1,2 @@\n \n- 0ea2244f2bc302c5a801c24703b403e0 11674248 ocaml optional libcoq-iris_4.0.0-3_i386.deb\n+ f248797d27736b30b26474b3a0b45c43 11674888 ocaml optional libcoq-iris_4.0.0-3_i386.deb\n"}, {"source1": "libcoq-iris_4.0.0-3_i386.deb", "source2": "libcoq-iris_4.0.0-3_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-01-25 12:04:26.000000 debian-binary\n -rw-r--r--   0        0        0    12268 2023-01-25 12:04:26.000000 control.tar.xz\n--rw-r--r--   0        0        0 11661788 2023-01-25 12:04:26.000000 data.tar.xz\n+-rw-r--r--   0        0        0 11662428 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": "./control", "source2": "./control", "unified_diff": "@@ -1,13 +1,13 @@\n Package: libcoq-iris\n Source: coq-iris\n Version: 4.0.0-3\n Architecture: i386\n Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>\n-Installed-Size: 41302\n+Installed-Size: 41303\n Depends: libcoq-stdpp-8tm49\n Provides: libcoq-iris-dv9t7\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": "@@ -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)   860965 2023-01-25 12:04:26.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz\n+-rw-r--r--   0 root         (0) root         (0)   861603 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 7, 2024\n+February 8, 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"}]}]}]}]}]}]}