⊟
4.0 KB
/srv/reproducible-results/rbuild-debian/r-b-build.DdP59IoK/b1/coq-iris_4.2.0-1_i386.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.DdP59IoK/b2/coq-iris_4.2.0-1_i386.changes
⊟
204 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·856a552d37a8b72942abaf982f790ee5·12672632·ocaml·optional·libcoq-iris_4.2.0-1_i386.deb1 ·f890952e4780ad80fa79607b1b32825b·12670800·ocaml·optional·libcoq-iris_4.2.0-1_i386.deb
⊟
3.62 KB
libcoq-iris_4.2.0-1_i386.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····12616·2024-04-12·13:58:55.000000·control.tar.xz2 -rw-r--r--···0········0········0····12616·2024-04-12·13:58:55.000000·control.tar.xz
3 -rw-r--r--···0········0········0·12659824·2024-04-12·13:58:55.000000·data.tar.xz3 -rw-r--r--···0········0········0·12657992·2024-04-12·13:58:55.000000·data.tar.xz
⊟
606 B
control.tar.xz
⊟
578 B
control.tar
⊟
508 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libcoq-iris1 Package:·libcoq-iris
2 Source:·coq-iris2 Source:·coq-iris
3 Version:·4.2.0-13 Version:·4.2.0-1
4 Architecture:·i3864 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:·446156 Installed-Size:·44613
7 Depends:·libcoq-stdpp-ya2a57 Depends:·libcoq-stdpp-ya2a5
8 Provides:·libcoq-iris-m32i18 Provides:·libcoq-iris-m32i1
9 Section:·ocaml9 Section:·ocaml
10 Priority:·optional10 Priority:·optional
11 Homepage:·https://gitlab.mpi-sws.org/iris/iris11 Homepage:·https://gitlab.mpi-sws.org/iris/iris
12 Description:·high-order·concurrent·separation·logic·framework·for·Coq12 Description:·high-order·concurrent·separation·logic·framework·for·Coq
13 ·This·package·provides·a·high-order·concurrent·separation13 ·This·package·provides·a·high-order·concurrent·separation
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
2.62 KB
data.tar.xz
⊟
2.59 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)···860819·2024-04-12·13:58:55.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz552 -rw-r--r--···0·root·········(0)·root·········(0)···859050·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/
⊟
582 B
./usr/share/doc/libcoq-iris/iris.pdf.gz
⊟
504 B
iris.pdf
⊟
488 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·28,·20243 June·1,·2025
  
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