⊟
3.98 KB
/srv/reproducible-results/rbuild-debian/r-b-build.k6QG7Mnd/b1/coq-iris_4.0.0-3_armhf.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.k6QG7Mnd/b2/coq-iris_4.0.0-3_armhf.changes
⊟
206 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·5f30d2439f787fed1b98754cd12a6556·11675620·ocaml·optional·libcoq-iris_4.0.0-3_armhf.deb1 ·b2607215d4f4f126b6ab2016e46f0303·11674888·ocaml·optional·libcoq-iris_4.0.0-3_armhf.deb
⊟
3.6 KB
libcoq-iris_4.0.0-3_armhf.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····12244·2023-01-25·12:04:26.000000·control.tar.xz2 -rw-r--r--···0········0········0····12244·2023-01-25·12:04:26.000000·control.tar.xz
3 -rw-r--r--···0········0········0·11663184·2023-01-25·12:04:26.000000·data.tar.xz3 -rw-r--r--···0········0········0·11662452·2023-01-25·12:04:26.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.0.0-33 Version:·4.0.0-3
4 Architecture:·armhf4 Architecture:·armhf
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:·413036 Installed-Size:·41302
7 Depends:·libcoq-stdpp-iq3h17 Depends:·libcoq-stdpp-iq3h1
8 Provides:·libcoq-iris-wqvc58 Provides:·libcoq-iris-wqvc5
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.6 KB
data.tar.xz
⊟
2.57 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)···860965·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/
⊟
597 B
./usr/share/doc/libcoq-iris/iris.pdf.gz
⊟
519 B
iris.pdf
⊟
503 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 January·7,·2024
  
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.
  
Generated by diffoscope 240