{"diffoscope-json-version": 1, "source1": "/srv/reproducible-results/rbuild-debian/r-b-build.k6QG7Mnd/b1/coq-iris_4.0.0-3_armhf.changes", "source2": "/srv/reproducible-results/rbuild-debian/r-b-build.k6QG7Mnd/b2/coq-iris_4.0.0-3_armhf.changes", "unified_diff": null, "details": [{"source1": "Files", "source2": "Files", "unified_diff": "@@ -1,2 +1,2 @@\n \n- 5f30d2439f787fed1b98754cd12a6556 11675620 ocaml optional libcoq-iris_4.0.0-3_armhf.deb\n+ b2607215d4f4f126b6ab2016e46f0303 11674888 ocaml optional libcoq-iris_4.0.0-3_armhf.deb\n"}, {"source1": "libcoq-iris_4.0.0-3_armhf.deb", "source2": "libcoq-iris_4.0.0-3_armhf.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    12244 2023-01-25 12:04:26.000000 control.tar.xz\n--rw-r--r--   0        0        0 11663184 2023-01-25 12:04:26.000000 data.tar.xz\n+-rw-r--r--   0        0        0 11662452 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: armhf\n Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>\n-Installed-Size: 41303\n+Installed-Size: 41302\n Depends: libcoq-stdpp-iq3h1\n Provides: libcoq-iris-wqvc5\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)   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)   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)     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+January 7, 2024\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"}]}]}]}]}]}]}