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

⊟

3.51 KB

/srv/reproducible-results/rbuild-debian/r-b-build.FcDabV8T/b1/coq-iris_4.1.0-1_armhf.changes vs.

/srv/reproducible-results/rbuild-debian/r-b-build.FcDabV8T/b2/coq-iris_4.1.0-1_armhf.changes ¶

⊟

206 B

Files ¶

⊟

3.13 KB

libcoq-iris_4.1.0-1_armhf.deb ¶

⊟

367 B

file list ¶

⊟

98.0 B

control.tar.xz ¶

⊟

70.0 B

control.tar ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

2.62 KB

data.tar.xz ¶

⊟

2.6 KB

data.tar ¶

⊟

2.01 KB

file list ¶

⊟

588 B

⊟

510 B

⊟

494 B


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

1	·c8e07~~0c5e8~~0d96e4c9~~3847a7aab81414~~·11911~~504~~·ocaml·optional·libcoq-iris_4.1.0-1_armhf.deb	1	·cd60e79276d40ddde9df256922026390·11911792·ocaml·optional·libcoq-iris_4.1.0-1_armhf.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2023-12-21·15:59:31.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2023-12-21·15:59:31.000000·debian-binary
2	-rw-r--r--···0········0········0····12540·2023-12-21·15:59:31.000000·control.tar.xz	2	-rw-r--r--···0········0········0····12540·2023-12-21·15:59:31.000000·control.tar.xz
3	-rw-r--r--···0········0········0·1189~~8772~~·2023-12-21·15:59:31.000000·data.tar.xz	3	-rw-r--r--···0········0········0·11899060·2023-12-21·15:59:31.000000·data.tar.xz


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	The·Iris·4.1·dev·Reference	1	The·Iris·4.1·dev·Reference
2	https://iris-project.org/	2	https://iris-project.org/
3	April·12,·2024	3	April·13,·2024

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 542, 15 lines modified		Offset 542, 15 lines modified
542	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/	542	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/
543	-rw-r--r--···0·root·········(0)·root·········(0)······400·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/changelog.Debian.gz	543	-rw-r--r--···0·root·········(0)·root·········(0)······400·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/changelog.Debian.gz
544	-rw-r--r--···0·root·········(0)·root·········(0)····35535·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/changelog.gz	544	-rw-r--r--···0·root·········(0)·root·········(0)····35535·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/changelog.gz
545	-rw-r--r--···0·root·········(0)·root·········(0)····36859·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/copyright	545	-rw-r--r--···0·root·········(0)·root·········(0)····36859·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/copyright
546	-rw-r--r--···0·root·········(0)·root·········(0)·····5251·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/editor.md.gz	546	-rw-r--r--···0·root·········(0)·root·········(0)·····5251·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/editor.md.gz
547	-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	547	-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
548	-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	548	-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
549	-rw-r--r--···0·root·········(0)·root·········(0)···860~~646~~·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz	549	-rw-r--r--···0·root·········(0)·root·········(0)···860914·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz
550	-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	550	-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
551	-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	551	-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
552	-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	552	-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
553	-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	553	-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
554	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-21·15:59:31.000000·./usr/share/doc-base/	554	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-21·15:59:31.000000·./usr/share/doc-base/
555	-rw-r--r--···0·root·········(0)·root·········(0)······157·2023-12-21·15:59:31.000000·./usr/share/doc-base/libcoq-iris.coq-iris	555	-rw-r--r--···0·root·········(0)·root·········(0)······157·2023-12-21·15:59:31.000000·./usr/share/doc-base/libcoq-iris.coq-iris
556	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-21·15:59:31.000000·./var/	556	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-21·15:59:31.000000·./var/