/usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.PZndSf9w/coq-iris_4.0.0-3.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.PZndSf9w/coq-iris_4.0.0-3.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.PZndSf9w/coq-iris_4.0.0-3.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.PZndSf9w/b1/coq-iris_4.0.0-3_i386.changes /srv/reproducible-results/rbuild-debian/r-b-build.PZndSf9w/b2/coq-iris_4.0.0-3

⊟

3.98 KB

/srv/reproducible-results/rbuild-debian/r-b-build.PZndSf9w/b1/coq-iris_4.0.0-3_i386.changes vs.

/srv/reproducible-results/rbuild-debian/r-b-build.PZndSf9w/b2/coq-iris_4.0.0-3_i386.changes ¶

⊟

204 B

Files ¶

⊟

3.6 KB

libcoq-iris_4.0.0-3_i386.deb ¶

⊟

367 B

file list ¶

⊟

606 B

control.tar.xz ¶

⊟

578 B

control.tar ¶

⊟

508 B

./control ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

2.6 KB

data.tar.xz ¶

⊟

2.58 KB

data.tar ¶

⊟

1.98 KB

file list ¶

⊟

598 B

⊟

520 B

⊟

504 B


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

1	·~~0ea~~224~~4f2bc302c5a8~~0~~1c2~~4703b4~~03e0~~·11674248·ocaml·optional·libcoq-iris_4.0.0-3_i386.deb	1	·f248797d27736b30b26474b3a0b45c43·11674888·ocaml·optional·libcoq-iris_4.0.0-3_i386.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2023-01-25·12:04:26.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2023-01-25·12:04:26.000000·debian-binary
2	-rw-r--r--···0········0········0····12268·2023-01-25·12:04:26.000000·control.tar.xz	2	-rw-r--r--···0········0········0····12268·2023-01-25·12:04:26.000000·control.tar.xz
3	-rw-r--r--···0········0········0·1166~~178~~8·2023-01-25·12:04:26.000000·data.tar.xz	3	-rw-r--r--···0········0········0·11662428·2023-01-25·12:04:26.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.0.0-3	3	Version:·4.0.0-3
4	Architecture:·i386	4	Architecture:·i386
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:·41302	6	Installed-Size:·41303
7	Depends:·libcoq-stdpp-8tm49	7	Depends:·libcoq-stdpp-8tm49
8	Provides:·libcoq-iris-dv9t7	8	Provides:·libcoq-iris-dv9t7
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·3.7-dev·Documentation	1	The·Iris·3.7-dev·Documentation
2	http://plv.mpi-sws.org/iris/	2	http://plv.mpi-sws.org/iris/
3	~~Jan~~uary·7,·2024	3	February·8,·2025

4	Abstract	4	Abstract
5	This·document·describes·formally·the·Iris·program·logic.·Every·result·in·this·document	5	This·document·describes·formally·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 530, 15 lines modified		Offset 530, 15 lines modified
530	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-25·12:04:26.000000·./usr/share/doc/libcoq-iris/	530	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-25·12:04:26.000000·./usr/share/doc/libcoq-iris/
531	-rw-r--r--···0·root·········(0)·root·········(0)······305·2023-01-25·12:04:26.000000·./usr/share/doc/libcoq-iris/changelog.Debian.gz	531	-rw-r--r--···0·root·········(0)·root·········(0)······305·2023-01-25·12:04:26.000000·./usr/share/doc/libcoq-iris/changelog.Debian.gz
532	-rw-r--r--···0·root·········(0)·root·········(0)····29841·2022-08-17·16:54:51.000000·./usr/share/doc/libcoq-iris/changelog.gz	532	-rw-r--r--···0·root·········(0)·root·········(0)····29841·2022-08-17·16:54:51.000000·./usr/share/doc/libcoq-iris/changelog.gz
533	-rw-r--r--···0·root·········(0)·root·········(0)····36859·2023-01-25·12:04:26.000000·./usr/share/doc/libcoq-iris/copyright	533	-rw-r--r--···0·root·········(0)·root·········(0)····36859·2023-01-25·12:04:26.000000·./usr/share/doc/libcoq-iris/copyright
534	-rw-r--r--···0·root·········(0)·root·········(0)·····7898·2022-08-17·16:54:51.000000·./usr/share/doc/libcoq-iris/editor.md.gz	534	-rw-r--r--···0·root·········(0)·root·········(0)·····7898·2022-08-17·16:54:51.000000·./usr/share/doc/libcoq-iris/editor.md.gz
535	-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	535	-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
536	-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	536	-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
537	-rw-r--r--···0·root·········(0)·root·········(0)···86~~0965~~·2023-01-25·12:04:26.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz	537	-rw-r--r--···0·root·········(0)·root·········(0)···861603·2023-01-25·12:04:26.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz
538	-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	538	-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
539	-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	539	-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
540	-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	540	-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
541	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-25·12:04:26.000000·./usr/share/doc-base/	541	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-25·12:04:26.000000·./usr/share/doc-base/
542	-rw-r--r--···0·root·········(0)·root·········(0)······157·2023-01-25·12:04:26.000000·./usr/share/doc-base/libcoq-iris.coq-iris	542	-rw-r--r--···0·root·········(0)·root·········(0)······157·2023-01-25·12:04:26.000000·./usr/share/doc-base/libcoq-iris.coq-iris
543	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-25·12:04:26.000000·./var/	543	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-25·12:04:26.000000·./var/
544	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-25·12:04:26.000000·./var/lib/	544	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-01-25·12:04:26.000000·./var/lib/