--- /srv/rebuilderd/tmp/rebuilderdI3DBNZ/inputs/libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb
+++ /srv/rebuilderd/tmp/rebuilderdI3DBNZ/out/libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb
├── file list
│ @@ -1,3 +1,3 @@
│ -rw-r--r-- 0 0 0 4 2025-06-15 00:55:46.000000 debian-binary
│ --rw-r--r-- 0 0 0 63152 2025-06-15 00:55:46.000000 control.tar.xz
│ --rw-r--r-- 0 0 0 23463820 2025-06-15 00:55:46.000000 data.tar.xz
│ +-rw-r--r-- 0 0 0 63144 2025-06-15 00:55:46.000000 control.tar.xz
│ +-rw-r--r-- 0 0 0 23464052 2025-06-15 00:55:46.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── file list
│ │ │ @@ -2420,50 +2420,50 @@
│ │ │ drwxr-xr-x 0 root (0) root (0) 0 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/
│ │ │ -rw-r--r-- 0 root (0) root (0) 1904 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/README.md.gz
│ │ │ -rw-r--r-- 0 root (0) root (0) 236 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/changelog.Debian.amd64.gz
│ │ │ -rw-r--r-- 0 root (0) root (0) 4580 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/changelog.Debian.gz
│ │ │ -rw-r--r-- 0 root (0) root (0) 8307 2025-02-15 14:19:14.000000 ./usr/share/doc/libcoq-stdlib/copyright
│ │ │ drwxr-xr-x 0 root (0) root (0) 0 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/
│ │ │ -rw-r--r-- 0 root (0) root (0) 3005 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 107849 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith_base.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 107847 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith_base.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 55999 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Between.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 15676 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Bool_nat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 22063 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Cantor.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13934 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Compare.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 63890 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Compare_dec.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 13021 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.EqNat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 13020 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.EqNat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13946 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Euclid.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 7289 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Factorial.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 359580 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.PeanoNat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 359565 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.PeanoNat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 8974 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Peano_dec.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 79061 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Wf_nat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 40548 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Array.PArray.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 228745 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bool.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 228730 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bool.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 16144 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolEq.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 28690 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolOrder.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 28687 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolOrder.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 34692 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bvector.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 10524 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.DecBool.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 14176 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.IfProp.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 22507 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.Sumbool.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 9445 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.Zerob.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 33297 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.CEquivalence.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 153007 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.CMorphisms.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 95260 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.CRelationClasses.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 14696 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.DecidableClass.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 41301 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.EquivDec.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 33255 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Equivalence.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 6906 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Init.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 161747 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 26018 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Prop.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 15025 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Relations.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 129670 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.RelationClasses.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 61888 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.RelationPairs.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 27487 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidClass.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 32904 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidDec.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 33427 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidTactics.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 33296 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.CEquivalence.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 153005 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.CMorphisms.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 95257 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.CRelationClasses.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 14695 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.DecidableClass.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 41300 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.EquivDec.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 33254 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Equivalence.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 6905 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Init.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 161745 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 26017 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Prop.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 15024 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Relations.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 129667 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.RelationClasses.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 61887 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.RelationPairs.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 27486 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidClass.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 32903 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidDec.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 33426 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidTactics.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3600 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Compat.AdmitAxiom.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 36191 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Compat.Coq818.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2919 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Compat.Coq819.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2701 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Compat.Coq820.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 638862 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapAVL.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 491502 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapFacts.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 249562 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapFullAVL.html
│ │ │ @@ -2481,43 +2481,43 @@
│ │ │ -rw-r--r-- 0 root (0) root (0) 229599 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetInterface.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 5846 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetList.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 284090 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetPositive.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 330854 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetProperties.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 30504 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetToFiniteSet.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 6059 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetWeakList.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 5771 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSets.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 43973 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatAxioms.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 43972 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatAxioms.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3707 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatClass.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 8315 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatLemmas.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 21338 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatOps.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 8314 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatLemmas.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 21337 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatOps.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 5273 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.Floats.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 29750 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.PrimFloat.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 160762 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.SpecFloat.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 709027 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Byte.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 124437 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Datatypes.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 67743 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Decimal.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 83098 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Hexadecimal.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 532729 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Logic.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 29739 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.PrimFloat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 160758 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.SpecFloat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 709026 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Byte.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 124431 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Datatypes.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 67742 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Decimal.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 83097 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Hexadecimal.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 532725 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Logic.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2829 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Ltac.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 124867 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Nat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 124863 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Nat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 23171 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Notations.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 9933 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Number.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 64638 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Peano.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 12568 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Prelude.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 588062 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Specif.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 69736 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Tactics.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 24852 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Tauto.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 56558 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Wf.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 1005691 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.List.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 1005723 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.List.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 23118 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.ListDec.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 113626 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.ListSet.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 15205 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.ListTactics.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 236380 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.SetoidList.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 236381 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.SetoidList.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 44917 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.SetoidPermutation.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 37550 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.StreamMemo.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 37551 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.StreamMemo.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 57012 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.Streams.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 54223 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.Adjointification.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 28317 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.Berardi.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 238047 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.ChoiceFacts.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3121 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.Classical.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13475 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.ClassicalChoice.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 23909 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.ClassicalDescription.html
│ │ │ @@ -2554,29 +2554,29 @@
│ │ │ -rw-r--r-- 0 root (0) root (0) 57550 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.WKL.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 23285 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.WeakFan.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 198582 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetAVL.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 253506 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetDecide.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 245421 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetEqProperties.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 147620 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetFacts.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 239860 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetGenTree.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 345771 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetInterface.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 345764 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetInterface.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 203409 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetList.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 233427 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetPositive.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 332281 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetProperties.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 463865 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetRBT.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 332267 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetProperties.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 463841 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetRBT.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 30363 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetToFiniteSet.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 127905 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSetWeakList.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 5306 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.MSets.MSets.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 281095 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.BinNat.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 99064 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.BinNatDef.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 281097 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.BinNat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 99073 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.BinNatDef.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 7411 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.NArith.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 88281 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.Ndec.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 8571 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.Ndiv_def.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 6254 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.Ngcd_def.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 69143 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.Nnat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 69145 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.Nnat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3820 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.Nsqrt_def.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 11733 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.AltBinNotations.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 15561 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.BinNums.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4226 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Abstract.CarryType.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 210248 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Abstract.CyclicAxioms.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 14968 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Abstract.DoubleType.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 54727 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Abstract.NZCyclic.html
│ │ │ @@ -2767,17 +2767,17 @@
│ │ │ -rw-r--r-- 0 root (0) root (0) 17080 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rtrigo_reg.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 100345 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Runcountable.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 107402 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.SeqProp.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 24954 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.SeqSeries.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 5315 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.SplitAbsolu.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4161 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.SplitRmult.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13873 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Sqrt_reg.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 75192 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Relations.Operators_Properties.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 75196 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Relations.Operators_Properties.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 25706 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Relations.Relation_Definitions.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 117584 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Relations.Relation_Operators.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 117603 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Relations.Relation_Operators.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 8076 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Relations.Relations.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 14365 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Setoids.Setoid.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 25778 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sets.Classical_sets.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 38229 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sets.Constructive_sets.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 44291 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sets.Cpo.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 35551 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sets.Ensembles.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 20995 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sets.Finite_sets.html
│ │ │ @@ -2802,96 +2802,96 @@
│ │ │ -rw-r--r-- 0 root (0) root (0) 75081 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.Heap.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 46174 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.Mergesort.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 34335 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.PermutEq.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 111109 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.PermutSetoid.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 213702 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.Permutation.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 40699 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.Sorted.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2999 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.Sorting.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 72920 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.Ascii.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 72923 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.Ascii.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 40714 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.BinaryString.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 258395 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.Byte.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 95295 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.HexString.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 60524 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.OctalString.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 123335 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.PString.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 123336 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.PString.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 15794 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.PrimString.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 21321 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.PrimStringAxioms.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 21323 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.PrimStringAxioms.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 101912 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.String.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 46318 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.DecidableType.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 22653 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.DecidableTypeEx.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 73317 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.Equalities.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 81253 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.EqualitiesFacts.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 220673 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.GenericMinMax.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 183733 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrderedType.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 31089 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrderedTypeAlt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 128773 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrderedTypeEx.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 101213 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.Orders.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 44158 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersAlt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 49659 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersEx.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 152994 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersFacts.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 53020 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersLists.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 90857 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersTac.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 46315 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.DecidableType.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 22651 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.DecidableTypeEx.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 73300 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.Equalities.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 81251 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.EqualitiesFacts.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 220664 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.GenericMinMax.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 183731 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrderedType.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 31088 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrderedTypeAlt.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 128772 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrderedTypeEx.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 101206 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.Orders.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 44152 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersAlt.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 49658 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersEx.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 152988 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersFacts.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 53018 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersLists.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 90853 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersTac.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3975 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Unicode.Utf8.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 10206 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Unicode.Utf8_core.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 105581 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Vectors.Fin.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13340 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Vectors.Vector.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 159229 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Vectors.VectorDef.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 159231 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Vectors.VectorDef.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 18952 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Vectors.VectorEq.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 228255 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Vectors.VectorSpec.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 228267 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Vectors.VectorSpec.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 10522 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Disjoint_Union.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 7688 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Inclusion.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 16357 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Inverse_Image.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 36848 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Lexicographic_Exponentiation.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 33731 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Lexicographic_Product.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 9750 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Transitive_Closure.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 14007 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Union.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 16919 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Well_Ordering.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4392 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Wellfounded.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 457859 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.BinInt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 189038 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.BinIntDef.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 176738 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Int.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 189041 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.BinIntDef.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 176742 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Int.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 52637 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Wf_Z.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4978 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.ZArith.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 7451 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.ZArith_base.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 44088 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.ZArith_dec.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 26763 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zabs.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 77261 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zbitwise.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 56078 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zbool.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 58960 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zcompare.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 44090 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.ZArith_dec.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 26766 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zabs.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 77265 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zbitwise.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 56080 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zbool.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 58968 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zcompare.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 28671 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zcomplements.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 225885 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zdiv.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 14889 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zeuclid.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 60510 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zeven.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 38842 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zgcd_alt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 9585 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zhints.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 225894 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zdiv.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 14890 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zeuclid.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 60511 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zeven.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 38843 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zgcd_alt.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 9588 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zhints.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 14641 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zmax.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 14380 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zmin.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3187 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zminmax.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 6421 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zmisc.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 270640 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Znat.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 194863 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Znumtheory.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 163636 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zorder.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 270643 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Znat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 194868 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Znumtheory.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 163646 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zorder.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 18204 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpow_alt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 6595 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpow_def.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 56492 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpow_facts.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 84256 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpower.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 129130 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zquot.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 6596 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpow_def.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 56494 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpow_facts.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 84259 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpower.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 129135 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zquot.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 12888 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zwf.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 23777 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.auxiliary.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 132777 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.btauto.Algebra.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 23778 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.auxiliary.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 132781 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.btauto.Algebra.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2892 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.btauto.Btauto.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 61132 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.btauto.Reflect.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2582 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.derive.Derive.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 5557 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellBasic.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 4337 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellNatInt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 4348 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellNatInteger.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 8859 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellNatNum.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 10079 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellString.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 4992 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellZInt.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 4340 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellNatInt.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 4351 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellNatInteger.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 8864 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellNatNum.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 10085 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellString.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 4998 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellZInt.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4886 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellZInteger.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 6083 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellZNum.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 6093 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellZNum.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 9860 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOCamlFloats.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 9832 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOCamlInt63.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4484 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOCamlPArray.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 6560 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOCamlPString.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 6092 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOcamlBasic.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 8544 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOcamlChar.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 26596 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOcamlIntConv.html
│ │ │ @@ -2934,15 +2934,15 @@
│ │ │ -rw-r--r-- 0 root (0) root (0) 2793 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.micromega.ZifyPow.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 54530 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.micromega.ZifySint63.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 58570 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.micromega.ZifyUint63.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 35629 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.micromega.Ztac.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13799 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.nsatz.Nsatz.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 119569 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.nsatz.NsatzTactic.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 130147 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.omega.OmegaLemmas.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 96696 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.omega.PreOmega.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 96698 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.omega.PreOmega.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 94253 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.rtauto.Bintree.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 92410 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.rtauto.Rtauto.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 16075 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.setoid_ring.Algebra_syntax.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13558 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.setoid_ring.ArithRing.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 19422 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.setoid_ring.BinList.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 80466 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.setoid_ring.Cring.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3021 2025-06-15 00:55:46.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.setoid_ring.Field.html
│ │ ├── ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith_base.html
│ │ │ @@ -54,15 +54,15 @@
│ │ │ Require Export EqNat.
│ │ │ Require Export Wf_nat.
│ │ │
│ │ │
│ │ │
│ │ │
│ │ │