⊟
4.02 KB
/srv/reproducible-results/rbuild-debian/r-b-build.UKTqz4u4/b1/coq-iris_4.3.0-1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.UKTqz4u4/b2/coq-iris_4.3.0-1_amd64.changes
⊟
206 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·14ec0188b8d25c7455d44b842e260289·12601940·ocaml·optional·libcoq-iris_4.3.0-1_amd64.deb1 ·707c9ed10464fbae68bba5152b7a015d·12603116·ocaml·optional·libcoq-iris_4.3.0-1_amd64.deb
⊟
3.64 KB
libcoq-iris_4.3.0-1_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-11-20·09:53:37.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-11-20·09:53:37.000000·debian-binary
2 -rw-r--r--···0········0········0····13268·2024-11-20·09:53:37.000000·control.tar.xz2 -rw-r--r--···0········0········0····13268·2024-11-20·09:53:37.000000·control.tar.xz
3 -rw-r--r--···0········0········0·12588480·2024-11-20·09:53:37.000000·data.tar.xz3 -rw-r--r--···0········0········0·12589656·2024-11-20·09:53:37.000000·data.tar.xz
⊟
607 B
control.tar.xz
⊟
579 B
control.tar
⊟
509 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.3.0-13 Version:·4.3.0-1
4 Architecture:·amd644 Architecture:·amd64
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:·397216 Installed-Size:·39722
7 Depends:·libcoq-stdpp-yzya57 Depends:·libcoq-stdpp-yzya5
8 Provides:·libcoq-iris-0e5e58 Provides:·libcoq-iris-0e5e5
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.63 KB
data.tar.xz
⊟
2.61 KB
data.tar
⊟
2.02 KB
file list
    
Offset 548, 15 lines modifiedOffset 548, 15 lines modified
548 -rw-r--r--···0·root·········(0)·root·········(0)······600·2024-11-20·09:53:37.000000·./usr/share/doc/libcoq-iris/changelog.Debian.gz548 -rw-r--r--···0·root·········(0)·root·········(0)······600·2024-11-20·09:53:37.000000·./usr/share/doc/libcoq-iris/changelog.Debian.gz
549 -rw-r--r--···0·root·········(0)·root·········(0)····38793·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/changelog.gz549 -rw-r--r--···0·root·········(0)·root·········(0)····38793·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/changelog.gz
550 -rw-r--r--···0·root·········(0)·root·········(0)····36859·2024-11-20·09:53:37.000000·./usr/share/doc/libcoq-iris/copyright550 -rw-r--r--···0·root·········(0)·root·········(0)····36859·2024-11-20·09:53:37.000000·./usr/share/doc/libcoq-iris/copyright
551 -rw-r--r--···0·root·········(0)·root·········(0)·····1920·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/dune.md551 -rw-r--r--···0·root·········(0)·root·········(0)·····1920·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/dune.md
552 -rw-r--r--···0·root·········(0)·root·········(0)·····5344·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/editor.md.gz552 -rw-r--r--···0·root·········(0)·root·········(0)·····5344·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/editor.md.gz
553 -rw-r--r--···0·root·········(0)·root·········(0)·····4514·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz553 -rw-r--r--···0·root·········(0)·root·········(0)·····4514·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz
554 -rw-r--r--···0·root·········(0)·root·········(0)·····3499·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/heap_lang.md.gz554 -rw-r--r--···0·root·········(0)·root·········(0)·····3499·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/heap_lang.md.gz
555 -rw-r--r--···0·root·········(0)·root·········(0)···848700·2024-11-20·09:53:37.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz555 -rw-r--r--···0·root·········(0)·root·········(0)···849828·2024-11-20·09:53:37.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz
556 -rw-r--r--···0·root·········(0)·root·········(0)·····3601·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/proof_guide.md.gz556 -rw-r--r--···0·root·········(0)·root·········(0)·····3601·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/proof_guide.md.gz
557 -rw-r--r--···0·root·········(0)·root·········(0)·····8690·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/proof_mode.md.gz557 -rw-r--r--···0·root·········(0)·root·········(0)·····8690·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/proof_mode.md.gz
558 -rw-r--r--···0·root·········(0)·root·········(0)·····5458·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/resource_algebras.md.gz558 -rw-r--r--···0·root·········(0)·root·········(0)·····5458·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/resource_algebras.md.gz
559 -rw-r--r--···0·root·········(0)·root·········(0)·····4086·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/style_guide.md.gz559 -rw-r--r--···0·root·········(0)·root·········(0)·····4086·2024-10-30·18:24:15.000000·./usr/share/doc/libcoq-iris/style_guide.md.gz
560 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-20·09:53:37.000000·./usr/share/doc-base/560 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-20·09:53:37.000000·./usr/share/doc-base/
561 -rw-r--r--···0·root·········(0)·root·········(0)······157·2024-11-20·09:53:37.000000·./usr/share/doc-base/libcoq-iris.coq-iris561 -rw-r--r--···0·root·········(0)·root·········(0)······157·2024-11-20·09:53:37.000000·./usr/share/doc-base/libcoq-iris.coq-iris
562 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-20·09:53:37.000000·./var/562 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-11-20·09:53:37.000000·./var/
⊟
592 B
./usr/share/doc/libcoq-iris/iris.pdf.gz
⊟
514 B
iris.pdf
⊟
498 B
pdftotext {} -
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 The·Iris·4.3·dev·Reference1 The·Iris·4.3·dev·Reference
2 https://iris-project.org/2 https://iris-project.org/
3 November·2,·20253 December·6,·2026
  
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 307