/usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.suneb0p1/coq-iris_4.3.0-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.suneb0p1/coq-iris_4.3.0-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.suneb0p1/coq-iris_4.3.0-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.suneb0p1/b1/coq-iris_4.3.0-1_arm64.changes /srv/reproducible-results/rbuild-debian/r-b-build.suneb0p1/b2/coq-iris_4.3.0-1

⊟

4.02 KB

/srv/reproducible-results/rbuild-debian/r-b-build.suneb0p1/b1/coq-iris_4.3.0-1_arm64.changes vs.

/srv/reproducible-results/rbuild-debian/r-b-build.suneb0p1/b2/coq-iris_4.3.0-1_arm64.changes ¶

⊟

206 B

Files ¶

⊟

3.64 KB

libcoq-iris_4.3.0-1_arm64.deb ¶

⊟

367 B

file list ¶

⊟

607 B

control.tar.xz ¶

⊟

579 B

control.tar ¶

⊟

509 B

./control ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

2.63 KB

data.tar.xz ¶

⊟

2.61 KB

data.tar ¶

⊟

2.02 KB

file list ¶

⊟

593 B

⊟

515 B

⊟

499 B


Offset 1, 2 lines modified		Offset 1, 2 lines modified

1	·1~~bb262356f3~~1~~56a4b9e53da1~~f~~5ce7~~11d·12615636·ocaml·optional·libcoq-iris_4.3.0-1_arm64.deb	1	·494439d9811d2512c9d76c9f282012f0·12617436·ocaml·optional·libcoq-iris_4.3.0-1_arm64.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2024-11-20·09:53:37.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2024-11-20·09:53:37.000000·debian-binary
2	-rw-r--r--···0········0········0····13376·2024-11-20·09:53:37.000000·control.tar.xz	2	-rw-r--r--···0········0········0····13376·2024-11-20·09:53:37.000000·control.tar.xz
3	-rw-r--r--···0········0········0·12602068·2024-11-20·09:53:37.000000·data.tar.xz	3	-rw-r--r--···0········0········0·12603868·2024-11-20·09:53:37.000000·data.tar.xz


Offset 1, 13 lines modified		Offset 1, 13 lines modified
1	Package:·libcoq-iris	1	Package:·libcoq-iris
2	Source:·coq-iris	2	Source:·coq-iris
3	Version:·4.3.0-1	3	Version:·4.3.0-1
4	Architecture:·arm64	4	Architecture:·arm64
5	Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>	5	Maintainer:·Debian·OCaml·Maintainers·<debian-ocaml-maint@lists.debian.org>
6	Installed-Size:·39739	6	Installed-Size:·39741
7	Depends:·libcoq-stdpp-c8e45	7	Depends:·libcoq-stdpp-c8e45
8	Provides:·libcoq-iris-4jd26	8	Provides:·libcoq-iris-4jd26
9	Section:·ocaml	9	Section:·ocaml
10	Priority:·optional	10	Priority:·optional
11	Homepage:·https://gitlab.mpi-sws.org/iris/iris	11	Homepage:·https://gitlab.mpi-sws.org/iris/iris
12	Description:·high-order·concurrent·separation·logic·framework·for·Coq	12	Description:·high-order·concurrent·separation·logic·framework·for·Coq
13	·This·package·provides·a·high-order·concurrent·separation	13	·This·package·provides·a·high-order·concurrent·separation


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	The·Iris·4.3·dev·Reference	1	The·Iris·4.3·dev·Reference
2	https://iris-project.org/	2	https://iris-project.org/
3	D~~ecember~~·12,·2024	3	January·15,·2026

4	Abstract	4	Abstract
5	This·document·formally·describes·the·Iris·program·logic.·Every·result·in·this·document	5	This·document·formally·describes·the·Iris·program·logic.·Every·result·in·this·document
6	has·been·fully·verified·in·Coq.·The·latest·versions·of·this·document·and·the·Coq·formalization	6	has·been·fully·verified·in·Coq.·The·latest·versions·of·this·document·and·the·Coq·formalization
7	can·be·found·in·the·git·repository·at·https://gitlab.mpi-sws.org/iris/iris.·For·further	7	can·be·found·in·the·git·repository·at·https://gitlab.mpi-sws.org/iris/iris.·For·further
8	information,·visit·the·Iris·project·website·at·https://iris-project.org.	8	information,·visit·the·Iris·project·website·at·https://iris-project.org.


Offset 548, 15 lines modified		Offset 548, 15 lines modified
548	-rw-r--r--···0·root·········(0)·root·········(0)······600·2024-11-20·09:53:37.000000·./usr/share/doc/libcoq-iris/changelog.Debian.gz	548	-rw-r--r--···0·root·········(0)·root·········(0)······600·2024-11-20·09:53:37.000000·./usr/share/doc/libcoq-iris/changelog.Debian.gz
549	-rw-r--r--···0·root·········(0)·root·········(0)····38793·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/changelog.gz	549	-rw-r--r--···0·root·········(0)·root·········(0)····38793·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/changelog.gz
550	-rw-r--r--···0·root·········(0)·root·········(0)····36859·2024-11-20·09:53:37.000000·./usr/share/doc/libcoq-iris/copyright	550	-rw-r--r--···0·root·········(0)·root·········(0)····36859·2024-11-20·09:53:37.000000·./usr/share/doc/libcoq-iris/copyright
551	-rw-r--r--···0·root·········(0)·root·········(0)·····1920·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/dune.md	551	-rw-r--r--···0·root·········(0)·root·········(0)·····1920·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/dune.md
552	-rw-r--r--···0·root·········(0)·root·········(0)·····5344·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/editor.md.gz	552	-rw-r--r--···0·root·········(0)·root·········(0)·····5344·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/editor.md.gz
553	-rw-r--r--···0·root·········(0)·root·········(0)·····4514·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz	553	-rw-r--r--···0·root·········(0)·root·········(0)·····4514·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz
554	-rw-r--r--···0·root·········(0)·root·········(0)·····3499·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/heap_lang.md.gz	554	-rw-r--r--···0·root·········(0)·root·········(0)·····3499·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/heap_lang.md.gz
555	-rw-r--r--···0·root·········(0)·root·········(0)···86~~0019~~·2024-11-20·09:53:37.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz	555	-rw-r--r--···0·root·········(0)·root·········(0)···861808·2024-11-20·09:53:37.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz
556	-rw-r--r--···0·root·········(0)·root·········(0)·····3601·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/proof_guide.md.gz	556	-rw-r--r--···0·root·········(0)·root·········(0)·····3601·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/proof_guide.md.gz
557	-rw-r--r--···0·root·········(0)·root·········(0)·····8690·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/proof_mode.md.gz	557	-rw-r--r--···0·root·········(0)·root·········(0)·····8690·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/proof_mode.md.gz
558	-rw-r--r--···0·root·········(0)·root·········(0)·····5458·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/resource_algebras.md.gz	558	-rw-r--r--···0·root·········(0)·root·········(0)·····5458·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/resource_algebras.md.gz
559	-rw-r--r--···0·root·········(0)·root·········(0)·····4086·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/style_guide.md.gz	559	-rw-r--r--···0·root·········(0)·root·········(0)·····4086·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/style_guide.md.gz
560	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-20·09:53:37.000000·./usr/share/doc-base/	560	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-20·09:53:37.000000·./usr/share/doc-base/
561	-rw-r--r--···0·root·········(0)·root·········(0)······157·2024-11-20·09:53:37.000000·./usr/share/doc-base/libcoq-iris.coq-iris	561	-rw-r--r--···0·root·········(0)·root·········(0)······157·2024-11-20·09:53:37.000000·./usr/share/doc-base/libcoq-iris.coq-iris
562	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-20·09:53:37.000000·./var/	562	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-20·09:53:37.000000·./var/