3.49 KB
/srv/reproducible-results/rbuild-debian/r-b-build.5kpTCsP2/b1/coq-iris_4.0.0-3_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.5kpTCsP2/b2/coq-iris_4.0.0-3_amd64.changes
206 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·1af4879d67062a8234c3dca5ad793bc9·11677000·ocaml·optional·libcoq-iris_4.0.0-3_amd64.deb1 ·73145f4307b19fbca2f33e8f6c19a52b·11676656·ocaml·optional·libcoq-iris_4.0.0-3_amd64.deb
3.11 KB
libcoq-iris_4.0.0-3_amd64.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2023-01-25·12:04:26.000000·debian-binary1 -rw-r--r--···0········0········0········4·2023-01-25·12:04:26.000000·debian-binary
2 -rw-r--r--···0········0········0····12256·2023-01-25·12:04:26.000000·control.tar.xz2 -rw-r--r--···0········0········0····12256·2023-01-25·12:04:26.000000·control.tar.xz
3 -rw-r--r--···0········0········0·11664552·2023-01-25·12:04:26.000000·data.tar.xz3 -rw-r--r--···0········0········0·11664208·2023-01-25·12:04:26.000000·data.tar.xz
98.0 B
control.tar.xz
70.0 B
control.tar
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
    
Offset 530, 15 lines modifiedOffset 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.gz531 -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.gz532 -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/copyright533 -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.gz534 -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.gz535 -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.gz536 -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)···861677·2023-01-25·12:04:26.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz537 -rw-r--r--···0·root·········(0)·root·········(0)···861336·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.gz538 -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.gz539 -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.gz540 -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-iris542 -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/
598 B
./usr/share/doc/libcoq-iris/iris.pdf.gz
520 B
iris.pdf
504 B
pdftotext {} -
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 The·Iris·3.7-dev·Documentation1 The·Iris·3.7-dev·Documentation
2 http://plv.mpi-sws.org/iris/2 http://plv.mpi-sws.org/iris/
3 January·6,·20243 February·7,·2025
  
4 Abstract4 Abstract
5 This·document·describes·formally·the·Iris·program·logic.·Every·result·in·this·document5 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·formalization6 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·further7 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.