⊟
3.51 KB
/srv/reproducible-results/rbuild-debian/r-b-build.XmzNeZQh/b1/coq-iris_4.2.0-1_armhf.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.XmzNeZQh/b2/coq-iris_4.2.0-1_armhf.changes
⊟
206 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·6eb1a73d1ab5effaac164f522f89225e·12671624·ocaml·optional·libcoq-iris_4.2.0-1_armhf.deb1 ·6fac4e0e18affa36c8b6095790d30a93·12671760·ocaml·optional·libcoq-iris_4.2.0-1_armhf.deb
⊟
3.13 KB
libcoq-iris_4.2.0-1_armhf.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-04-12·13:58:55.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-04-12·13:58:55.000000·debian-binary
2 -rw-r--r--···0········0········0····12608·2024-04-12·13:58:55.000000·control.tar.xz2 -rw-r--r--···0········0········0····12608·2024-04-12·13:58:55.000000·control.tar.xz
3 -rw-r--r--···0········0········0·12658824·2024-04-12·13:58:55.000000·data.tar.xz3 -rw-r--r--···0········0········0·12658960·2024-04-12·13:58:55.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.62 KB
data.tar.xz
⊟
2.6 KB
data.tar
⊟
2.01 KB
file list
    
Offset 545, 15 lines modifiedOffset 545, 15 lines modified
545 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-04-12·13:58:55.000000·./usr/share/doc/libcoq-iris/545 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-04-12·13:58:55.000000·./usr/share/doc/libcoq-iris/
546 -rw-r--r--···0·root·········(0)·root·········(0)······432·2024-04-12·13:58:55.000000·./usr/share/doc/libcoq-iris/changelog.Debian.gz546 -rw-r--r--···0·root·········(0)·root·········(0)······432·2024-04-12·13:58:55.000000·./usr/share/doc/libcoq-iris/changelog.Debian.gz
547 -rw-r--r--···0·root·········(0)·root·········(0)····37813·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/changelog.gz547 -rw-r--r--···0·root·········(0)·root·········(0)····37813·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/changelog.gz
548 -rw-r--r--···0·root·········(0)·root·········(0)····36859·2024-04-12·13:58:55.000000·./usr/share/doc/libcoq-iris/copyright548 -rw-r--r--···0·root·········(0)·root·········(0)····36859·2024-04-12·13:58:55.000000·./usr/share/doc/libcoq-iris/copyright
549 -rw-r--r--···0·root·········(0)·root·········(0)·····5342·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/editor.md.gz549 -rw-r--r--···0·root·········(0)·root·········(0)·····5342·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/editor.md.gz
550 -rw-r--r--···0·root·········(0)·root·········(0)·····4514·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz550 -rw-r--r--···0·root·········(0)·root·········(0)·····4514·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz
551 -rw-r--r--···0·root·········(0)·root·········(0)·····3505·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/heap_lang.md.gz551 -rw-r--r--···0·root·········(0)·root·········(0)·····3505·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/heap_lang.md.gz
552 -rw-r--r--···0·root·········(0)·root·········(0)···860705·2024-04-12·13:58:55.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz552 -rw-r--r--···0·root·········(0)·root·········(0)···860838·2024-04-12·13:58:55.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz
553 -rw-r--r--···0·root·········(0)·root·········(0)·····3600·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/proof_guide.md.gz553 -rw-r--r--···0·root·········(0)·root·········(0)·····3600·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/proof_guide.md.gz
554 -rw-r--r--···0·root·········(0)·root·········(0)·····8410·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/proof_mode.md.gz554 -rw-r--r--···0·root·········(0)·root·········(0)·····8410·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/proof_mode.md.gz
555 -rw-r--r--···0·root·········(0)·root·········(0)·····5454·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/resource_algebras.md.gz555 -rw-r--r--···0·root·········(0)·root·········(0)·····5454·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/resource_algebras.md.gz
556 -rw-r--r--···0·root·········(0)·root·········(0)·····4042·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/style_guide.md.gz556 -rw-r--r--···0·root·········(0)·root·········(0)·····4042·2024-04-12·09:43:23.000000·./usr/share/doc/libcoq-iris/style_guide.md.gz
557 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-04-12·13:58:55.000000·./usr/share/doc-base/557 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-04-12·13:58:55.000000·./usr/share/doc-base/
558 -rw-r--r--···0·root·········(0)·root·········(0)······157·2024-04-12·13:58:55.000000·./usr/share/doc-base/libcoq-iris.coq-iris558 -rw-r--r--···0·root·········(0)·root·········(0)······157·2024-04-12·13:58:55.000000·./usr/share/doc-base/libcoq-iris.coq-iris
559 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-04-12·13:58:55.000000·./var/559 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-04-12·13:58:55.000000·./var/
⊟
584 B
./usr/share/doc/libcoq-iris/iris.pdf.gz
⊟
506 B
iris.pdf
⊟
490 B
pdftotext {} -
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 The·Iris·4.2·Reference1 The·Iris·4.2·Reference
2 https://iris-project.org/2 https://iris-project.org/
3 April·29,·20243 April·30,·2024
  
4 Abstract4 Abstract
5 This·document·formally·describes·the·Iris·program·logic.·Every·result·in·this·document5 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·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.
  
Generated by diffoscope 265