--- /srv/rebuilderd/tmp/rebuilderdM9FJ4Y/inputs/libcoq-iris_4.5.0-1_armhf.deb
+++ /srv/rebuilderd/tmp/rebuilderdM9FJ4Y/out/libcoq-iris_4.5.0-1_armhf.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2026-07-10 16:59:05.000000 debian-binary
│ --rw-r--r--   0        0        0    13864 2026-07-10 16:59:05.000000 control.tar.xz
│ --rw-r--r--   0        0        0 13220340 2026-07-10 16:59:05.000000 data.tar.xz
│ +-rw-r--r--   0        0        0    13860 2026-07-10 16:59:05.000000 control.tar.xz
│ +-rw-r--r--   0        0        0 13220500 2026-07-10 16:59:05.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── file list
│ │ │ @@ -567,15 +567,15 @@
│ │ │  -rw-r--r--   0 root         (0) root         (0)      672 2026-07-10 16:59:05.000000 ./usr/share/doc/libcoq-iris/changelog.Debian.gz
│ │ │  -rw-r--r--   0 root         (0) root         (0)    43829 2026-03-05 15:53:48.000000 ./usr/share/doc/libcoq-iris/changelog.gz
│ │ │  -rw-r--r--   0 root         (0) root         (0)    36859 2026-07-10 16:59:05.000000 ./usr/share/doc/libcoq-iris/copyright
│ │ │  -rw-r--r--   0 root         (0) root         (0)     1620 2026-03-05 15:53:48.000000 ./usr/share/doc/libcoq-iris/dune.md
│ │ │  -rw-r--r--   0 root         (0) root         (0)     5344 2026-03-05 15:53:48.000000 ./usr/share/doc/libcoq-iris/editor.md.gz
│ │ │  -rw-r--r--   0 root         (0) root         (0)     4514 2026-03-05 15:53:48.000000 ./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz
│ │ │  -rw-r--r--   0 root         (0) root         (0)     3520 2026-03-05 15:53:48.000000 ./usr/share/doc/libcoq-iris/heap_lang.md.gz
│ │ │ --rw-r--r--   0 root         (0) root         (0)   850085 2026-07-10 16:59:05.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz
│ │ │ +-rw-r--r--   0 root         (0) root         (0)   850215 2026-07-10 16:59:05.000000 ./usr/share/doc/libcoq-iris/iris.pdf.gz
│ │ │  -rw-r--r--   0 root         (0) root         (0)     3601 2026-03-05 15:53:48.000000 ./usr/share/doc/libcoq-iris/proof_guide.md.gz
│ │ │  -rw-r--r--   0 root         (0) root         (0)     8824 2026-03-05 15:53:48.000000 ./usr/share/doc/libcoq-iris/proof_mode.md.gz
│ │ │  -rw-r--r--   0 root         (0) root         (0)     5451 2026-03-05 15:53:48.000000 ./usr/share/doc/libcoq-iris/resource_algebras.md.gz
│ │ │  -rw-r--r--   0 root         (0) root         (0)     4230 2026-03-05 15:53:48.000000 ./usr/share/doc/libcoq-iris/style_guide.md.gz
│ │ │  drwxr-xr-x   0 root         (0) root         (0)        0 2026-07-10 16:59:05.000000 ./usr/share/doc-base/
│ │ │  -rw-r--r--   0 root         (0) root         (0)      157 2026-07-10 16:59:05.000000 ./usr/share/doc-base/libcoq-iris.coq-iris
│ │ │  drwxr-xr-x   0 root         (0) root         (0)        0 2026-07-10 16:59:05.000000 ./var/
│ │ ├── ./usr/share/doc/libcoq-iris/iris.pdf.gz
│ │ │ ├── iris.pdf
│ │ │ │ ├── pdftotext {} -
│ │ │ │ │ @@ -1,10 +1,10 @@
│ │ │ │ │  The Iris 4.4 dev Reference
│ │ │ │ │  https://iris-project.org/
│ │ │ │ │ -July 11, 2026
│ │ │ │ │ +July 17, 2026
│ │ │ │ │  
│ │ │ │ │  Abstract
│ │ │ │ │  This document formally describes the Iris program logic. Every result in this document
│ │ │ │ │  has been fully verified in Coq. The latest versions of this document and the Coq formalization
│ │ │ │ │  can be found in the git repository at https://gitlab.mpi-sws.org/iris/iris. For further
│ │ │ │ │  information, visit the Iris project website at https://iris-project.org.