⊟
4.54 KB
/srv/reproducible-results/rbuild-debian/r-b-build.mPFPOhMZ/b1/coq-iris_4.1.0-1_i386.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.mPFPOhMZ/b2/coq-iris_4.1.0-1_i386.changes
⊟
204 B
Files
    
Offset 1, 2 lines modifiedOffset 1, 2 lines modified
  
1 ·6db4e7416b2bb455c40c56e09f590509·11911252·ocaml·optional·libcoq-iris_4.1.0-1_i386.deb1 ·5eec9e915b3e55d13cf87a164cdeb885·11911412·ocaml·optional·libcoq-iris_4.1.0-1_i386.deb
⊟
4.16 KB
libcoq-iris_4.1.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·2023-12-21·15:59:31.000000·debian-binary1 -rw-r--r--···0········0········0········4·2023-12-21·15:59:31.000000·debian-binary
2 -rw-r--r--···0········0········0····12524·2023-12-21·15:59:31.000000·control.tar.xz2 -rw-r--r--···0········0········0····12524·2023-12-21·15:59:31.000000·control.tar.xz
3 -rw-r--r--···0········0········0·11898536·2023-12-21·15:59:31.000000·data.tar.xz3 -rw-r--r--···0········0········0·11898696·2023-12-21·15:59:31.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
⊟
3.65 KB
data.tar.xz
⊟
2.6 KB
data.tar
⊟
2.01 KB
file list
    
Offset 542, 15 lines modifiedOffset 542, 15 lines modified
542 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/542 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/
543 -rw-r--r--···0·root·········(0)·root·········(0)······400·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/changelog.Debian.gz543 -rw-r--r--···0·root·········(0)·root·········(0)······400·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/changelog.Debian.gz
544 -rw-r--r--···0·root·········(0)·root·········(0)····35535·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/changelog.gz544 -rw-r--r--···0·root·········(0)·root·········(0)····35535·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/changelog.gz
545 -rw-r--r--···0·root·········(0)·root·········(0)····36859·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/copyright545 -rw-r--r--···0·root·········(0)·root·········(0)····36859·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/copyright
546 -rw-r--r--···0·root·········(0)·root·········(0)·····5251·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/editor.md.gz546 -rw-r--r--···0·root·········(0)·root·········(0)·····5251·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/editor.md.gz
547 -rw-r--r--···0·root·········(0)·root·········(0)·····4514·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz547 -rw-r--r--···0·root·········(0)·root·········(0)·····4514·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/equalities_and_entailments.md.gz
548 -rw-r--r--···0·root·········(0)·root·········(0)·····3505·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/heap_lang.md.gz548 -rw-r--r--···0·root·········(0)·root·········(0)·····3505·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/heap_lang.md.gz
549 -rw-r--r--···0·root·········(0)·root·········(0)···860594·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz549 -rw-r--r--···0·root·········(0)·root·········(0)···860729·2023-12-21·15:59:31.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz
550 -rw-r--r--···0·root·········(0)·root·········(0)·····3600·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/proof_guide.md.gz550 -rw-r--r--···0·root·········(0)·root·········(0)·····3600·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/proof_guide.md.gz
551 -rw-r--r--···0·root·········(0)·root·········(0)·····8410·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/proof_mode.md.gz551 -rw-r--r--···0·root·········(0)·root·········(0)·····8410·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/proof_mode.md.gz
552 -rw-r--r--···0·root·········(0)·root·········(0)·····5454·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/resource_algebras.md.gz552 -rw-r--r--···0·root·········(0)·root·········(0)·····5454·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/resource_algebras.md.gz
553 -rw-r--r--···0·root·········(0)·root·········(0)·····4042·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/style_guide.md.gz553 -rw-r--r--···0·root·········(0)·root·········(0)·····4042·2023-10-11·14:54:39.000000·./usr/share/doc/libcoq-iris/style_guide.md.gz
554 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-21·15:59:31.000000·./usr/share/doc-base/554 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-21·15:59:31.000000·./usr/share/doc-base/
555 -rw-r--r--···0·root·········(0)·root·········(0)······157·2023-12-21·15:59:31.000000·./usr/share/doc-base/libcoq-iris.coq-iris555 -rw-r--r--···0·root·········(0)·root·········(0)······157·2023-12-21·15:59:31.000000·./usr/share/doc-base/libcoq-iris.coq-iris
556 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-21·15:59:31.000000·./var/556 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-12-21·15:59:31.000000·./var/
⊟
585 B
./usr/share/doc/libcoq-iris/iris.pdf.gz
⊟
507 B
iris.pdf
⊟
491 B
pdftotext {} -
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 The·Iris·4.1·dev·Reference1 The·Iris·4.1·dev·Reference
2 https://iris-project.org/2 https://iris-project.org/
3 May·25,·20243 June·28,·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.
  
⊟
1.04 KB
xz --list
    
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 ··Streams:···········11 ··Streams:···········1
2 ··Blocks:············22 ··Blocks:············2
3 ··Compressed·size:···11.3·MiB·(11898536·B)3 ··Compressed·size:···11.3·MiB·(11898696·B)
4 ··Uncompressed·size:·41.5·MiB·(43530240·B)4 ··Uncompressed·size:·41.5·MiB·(43530240·B)
5 ··Ratio:·············0.2735 ··Ratio:·············0.273
6 ··Check:·············CRC646 ··Check:·············CRC64
7 ··Stream·Padding:····0·B7 ··Stream·Padding:····0·B
8 ··Streams:8 ··Streams:
9 ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding9 ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding
10 ·········1·········2···············0···············0········11898536········43530240··0.273··CRC64············010 ·········1·········2···············0···············0········11898696········43530240··0.273··CRC64············0
11 ··Blocks:11 ··Blocks:
12 ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check12 ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check
13 ·········1·········1··············12···············0·········6211528········25165824··0.247··CRC6413 ·········1·········1··············12···············0·········6211528········25165824··0.247··CRC64
14 ·········1·········2·········6211540········25165824·········5686960········18364416··0.310··CRC6414 ·········1·········2·········6211540········25165824·········5687120········18364416··0.310··CRC64
Generated by diffoscope 266