| Offset 1, 2 lines modified | Offset 1, 2 lines modified | ||
| 1 | · | 1 | ·e06b5e95ae244d56b0b279dc993f918a·11912028·ocaml·optional·libcoq-iris_4.1.0-1_amd64.deb |
| Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
| 1 | -rw-r--r--···0········0········0········4·2023-12-21·15:59:31.000000·debian-binary | 1 | -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.xz | 2 | -rw-r--r--···0········0········0····12524·2023-12-21·15:59:31.000000·control.tar.xz |
| 3 | -rw-r--r--···0········0········0·119 | 3 | -rw-r--r--···0········0········0·11899312·2023-12-21·15:59:31.000000·data.tar.xz |
| Offset 1, 13 lines modified | Offset 1, 13 lines modified | ||
| 1 | Package:·libcoq-iris | 1 | Package:·libcoq-iris |
| 2 | Source:·coq-iris | 2 | Source:·coq-iris |
| 3 | Version:·4.1.0-1 | 3 | Version:·4.1.0-1 |
| 4 | Architecture:·amd64 | 4 | 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:·4244 | 6 | Installed-Size:·42442 |
| 7 | Depends:·libcoq-stdpp-a3pv7 | 7 | Depends:·libcoq-stdpp-a3pv7 |
| 8 | Provides:·libcoq-iris-4yh52 | 8 | Provides:·libcoq-iris-4yh52 |
| 9 | Section:·ocaml | 9 | Section:·ocaml |
| 10 | Priority:·optional | 10 | Priority:·optional |
| 11 | Homepage:·https://gitlab.mpi-sws.org/iris/iris | 11 | Homepage:·https://gitlab.mpi-sws.org/iris/iris |
| 12 | Description:·high-order·concurrent·separation·logic·framework·for·Coq | 12 | Description:·high-order·concurrent·separation·logic·framework·for·Coq |
| 13 | ·This·package·provides·a·high-order·concurrent·separation | 13 | ·This·package·provides·a·high-order·concurrent·separation |
| Offset 542, 15 lines modified | Offset 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.gz | 543 | -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.gz | 544 | -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/copyright | 545 | -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.gz | 546 | -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.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.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.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.gz |
| 549 | -rw-r--r--···0·root·········(0)·root·········(0)···8 | 549 | -rw-r--r--···0·root·········(0)·root·········(0)···859051·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.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.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.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.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.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.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.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.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-iris | 555 | -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/ |
| Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
| 1 | The·Iris·4.1·dev·Reference | 1 | The·Iris·4.1·dev·Reference |
| 2 | https://iris-project.org/ | 2 | https://iris-project.org/ |
| 3 | 3 | June·21,·2025 | |
| 4 | Abstract | 4 | Abstract |
| 5 | This·document·formally·describes·the·Iris·program·logic.·Every·result·in·this·document | 5 | 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·formalization | 6 | 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·further | 7 | 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. |
| Offset 1, 14 lines modified | Offset 1, 14 lines modified | ||
| 1 | ··Streams:···········1 | 1 | ··Streams:···········1 |
| 2 | ··Blocks:············2 | 2 | ··Blocks:············2 |
| 3 | ··Compressed·size:···11.3·MiB·(119 | 3 | ··Compressed·size:···11.3·MiB·(11899312·B) |
| 4 | ··Uncompressed·size:·41.6·MiB·(43581440·B) | 4 | ··Uncompressed·size:·41.6·MiB·(43581440·B) |
| 5 | ··Ratio:·············0.273 | 5 | ··Ratio:·············0.273 |
| 6 | ··Check:·············CRC64 | 6 | ··Check:·············CRC64 |
| 7 | ··Stream·Padding:····0·B | 7 | ··Stream·Padding:····0·B |
| 8 | ··Streams: | 8 | ··Streams: |
| 9 | ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding | 9 | ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding |
| 10 | ·········1·········2···············0···············0········119 | 10 | ·········1·········2···············0···············0········11899312········43581440··0.273··CRC64············0 |
| 11 | ··Blocks: | 11 | ··Blocks: |
| 12 | ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check | 12 | ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check |
| 13 | ·········1·········1··············12···············0·········6193680········25165824··0.246··CRC64 | 13 | ·········1·········1··············12···············0·········6193680········25165824··0.246··CRC64 |
| 14 | ·········1·········2·········6193692········25165824·········570 | 14 | ·········1·········2·········6193692········25165824·········5705584········18415616··0.310··CRC64 |