| | | |
Offset 545, 15 lines modified | Offset 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.gz | 546 | -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.gz | 547 | -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/copyright | 548 | -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.gz | 549 | -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.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.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.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.gz |
552 | -rw-r--r--···0·root·········(0)·root·········(0)···860780·2024-04-12·13:58:55.000000·./usr/share/doc/libcoq-iris/iris.pdf.gz | 552 | -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.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.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.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.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.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.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.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.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-iris | 558 | -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/ |