--- /srv/rebuilderd/tmp/rebuilderdkW0zFN/inputs/libcoq-stdlib_8.20.1+dfsg-1+b3_riscv64.deb
+++ /srv/rebuilderd/tmp/rebuilderdkW0zFN/out/libcoq-stdlib_8.20.1+dfsg-1+b3_riscv64.deb
├── file list
│ @@ -1,3 +1,3 @@
│ -rw-r--r-- 0 0 0 4 2026-06-20 07:26:54.000000 debian-binary
│ --rw-r--r-- 0 0 0 63356 2026-06-20 07:26:54.000000 control.tar.xz
│ --rw-r--r-- 0 0 0 23464320 2026-06-20 07:26:54.000000 data.tar.xz
│ +-rw-r--r-- 0 0 0 63352 2026-06-20 07:26:54.000000 control.tar.xz
│ +-rw-r--r-- 0 0 0 23464440 2026-06-20 07:26:54.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── file list
│ │ │ @@ -2420,104 +2420,104 @@
│ │ │ drwxr-xr-x 0 root (0) root (0) 0 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/
│ │ │ -rw-r--r-- 0 root (0) root (0) 1904 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/README.md.gz
│ │ │ -rw-r--r-- 0 root (0) root (0) 1046 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/changelog.Debian.gz
│ │ │ -rw-r--r-- 0 root (0) root (0) 225 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/changelog.Debian.riscv64.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 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/
│ │ │ -rw-r--r-- 0 root (0) root (0) 3005 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 107849 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith_base.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 107847 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Arith_base.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 55999 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Between.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 15676 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Bool_nat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 22063 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Cantor.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13934 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Compare.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 63890 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Compare_dec.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 13021 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.EqNat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 13020 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.EqNat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13946 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Euclid.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 7289 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Factorial.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 359580 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.PeanoNat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 359565 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.PeanoNat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 8974 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Peano_dec.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 79061 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Arith.Wf_nat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 40548 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Array.PArray.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 228745 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bool.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 228730 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bool.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 16144 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolEq.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 28690 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolOrder.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 28687 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.BoolOrder.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 34692 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.Bvector.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 10524 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.DecBool.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 14176 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.IfProp.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 22507 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.Sumbool.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 9445 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Bool.Zerob.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 33297 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.CEquivalence.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 153007 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.CMorphisms.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 95260 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.CRelationClasses.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 14696 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.DecidableClass.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 41301 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.EquivDec.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 33255 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Equivalence.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 6906 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Init.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 161747 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 26018 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Prop.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 15025 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Relations.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 129670 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.RelationClasses.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 61888 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.RelationPairs.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 27487 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidClass.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 32904 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidDec.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 33427 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidTactics.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 33296 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.CEquivalence.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 153005 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.CMorphisms.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 95257 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.CRelationClasses.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 14695 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.DecidableClass.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 41300 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.EquivDec.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 33254 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Equivalence.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 6905 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Init.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 161745 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 26017 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Prop.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 15024 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.Morphisms_Relations.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 129667 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.RelationClasses.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 61887 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.RelationPairs.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 27486 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidClass.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 32903 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidDec.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 33426 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Classes.SetoidTactics.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3600 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Compat.AdmitAxiom.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 36191 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Compat.Coq818.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2919 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Compat.Coq819.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2701 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Compat.Coq820.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 638862 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapAVL.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 491502 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapFacts.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 249562 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapFullAVL.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 134223 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapInterface.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 312575 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapList.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 272481 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapPositive.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 273130 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapWeakList.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 638817 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapAVL.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 491484 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapFacts.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 249549 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapFullAVL.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 134217 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapInterface.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 312563 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapList.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 272480 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapPositive.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 273119 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMapWeakList.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4419 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FMaps.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 8981 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetAVL.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 241121 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetBridge.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 241710 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetCompat.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 253724 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetDecide.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 244693 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetEqProperties.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 98373 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetFacts.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 229599 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetInterface.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 5846 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetList.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 8980 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetAVL.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 241118 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetBridge.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 241705 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetCompat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 253708 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetDecide.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 244692 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetEqProperties.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 98369 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetFacts.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 229591 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetInterface.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 5845 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetList.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 284090 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetPositive.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 330854 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetProperties.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 30504 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetToFiniteSet.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 6059 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetWeakList.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 330840 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetProperties.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 30502 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetToFiniteSet.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 6058 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSetWeakList.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 5771 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.FSets.FSets.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 43973 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatAxioms.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 43972 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatAxioms.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3707 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatClass.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 8315 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatLemmas.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 21338 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatOps.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 8314 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatLemmas.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 21337 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.FloatOps.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 5273 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.Floats.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 29750 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.PrimFloat.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 160762 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.SpecFloat.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 709027 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Byte.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 124437 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Datatypes.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 67743 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Decimal.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 83098 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Hexadecimal.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 532729 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Logic.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 29739 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.PrimFloat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 160758 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Floats.SpecFloat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 709026 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Byte.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 124431 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Datatypes.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 67742 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Decimal.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 83097 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Hexadecimal.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 532725 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Logic.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2829 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Ltac.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 124867 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Nat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 124863 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Nat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 23171 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Notations.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 9933 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Number.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 64638 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Peano.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 12568 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Prelude.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 588062 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Specif.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 69736 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Tactics.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 24852 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Tauto.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 56558 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Init.Wf.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 1005691 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.List.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 1005723 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.List.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 23118 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.ListDec.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 113626 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.ListSet.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 15205 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.ListTactics.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 236380 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.SetoidList.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 236381 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.SetoidList.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 44917 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.SetoidPermutation.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 37550 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.StreamMemo.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 37551 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.StreamMemo.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 57012 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Lists.Streams.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 54223 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.Adjointification.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 28317 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.Berardi.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 238047 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.ChoiceFacts.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3121 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.Classical.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13475 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.ClassicalChoice.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 23909 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Logic.ClassicalDescription.html
│ │ │ @@ -2658,37 +2658,37 @@
│ │ │ -rw-r--r-- 0 root (0) root (0) 66542 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NPow.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 16155 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NProperties.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 34603 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NSqrt.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 47349 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NStrongRec.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 80895 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NSub.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4172 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Binary.NBinary.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3751 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NumPrelude.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 519325 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.PArith.BinPos.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 239659 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.PArith.BinPosDef.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 519380 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.PArith.BinPos.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 239665 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.PArith.BinPosDef.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3194 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.PArith.PArith.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 6865 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.PArith.POrderedType.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 6868 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.PArith.POrderedType.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 108056 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.PArith.Pnat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 12884 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Program.Basics.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 14855 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Program.Combinators.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 14854 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Program.Combinators.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 104803 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Program.Equality.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4079 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Program.Program.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 22433 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Program.Subset.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 5530 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Program.Syntax.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 54100 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Program.Tactics.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 8061 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Program.Utils.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 72801 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Program.Wf.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3205 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.QArith.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 361720 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.QArith_base.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 11508 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.QOrderedType.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 361702 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.QArith_base.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 11502 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.QOrderedType.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 32262 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qabs.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 28740 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qcabs.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 28739 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qcabs.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 123499 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qcanon.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 30429 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qfield.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 16087 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qminmax.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 91983 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qpower.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 30427 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qfield.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 16085 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qminmax.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 91959 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qpower.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 24025 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qreals.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 26743 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qreduction.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2788 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qring.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 18612 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.QArith.Qround.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 42495 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Abstract.ConstructiveAbs.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 87024 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Abstract.ConstructiveLUB.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 100172 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Abstract.ConstructiveLimits.html
│ │ │ @@ -2802,37 +2802,37 @@
│ │ │ -rw-r--r-- 0 root (0) root (0) 75081 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.Heap.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 46174 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.Mergesort.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 34335 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.PermutEq.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 111109 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.PermutSetoid.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 213702 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.Permutation.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 40699 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.Sorted.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2999 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Sorting.Sorting.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 72920 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.Ascii.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 72923 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.Ascii.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 40714 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.BinaryString.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 258395 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.Byte.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 95295 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.HexString.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 60524 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.OctalString.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 123335 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.PString.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 123342 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.PString.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 15794 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.PrimString.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 21321 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.PrimStringAxioms.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 101912 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.String.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 46318 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.DecidableType.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 22653 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.DecidableTypeEx.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 73317 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.Equalities.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 81253 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.EqualitiesFacts.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 220673 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.GenericMinMax.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 183733 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrderedType.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 31089 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrderedTypeAlt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 128773 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrderedTypeEx.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 101213 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.Orders.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 44158 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersAlt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 49659 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersEx.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 152994 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersFacts.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 53020 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersLists.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 90857 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersTac.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 21323 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.PrimStringAxioms.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 101920 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Strings.String.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 46315 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.DecidableType.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 22652 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.DecidableTypeEx.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 73308 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.Equalities.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 81251 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.EqualitiesFacts.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 220664 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.GenericMinMax.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 183731 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrderedType.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 31088 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrderedTypeAlt.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 128772 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrderedTypeEx.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 101206 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.Orders.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 44152 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersAlt.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 49658 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersEx.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 152988 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersFacts.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 53018 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersLists.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 90853 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Structures.OrdersTac.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3975 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Unicode.Utf8.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 10206 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Unicode.Utf8_core.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 105581 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Vectors.Fin.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13340 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Vectors.Vector.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 159229 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Vectors.VectorDef.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 18952 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Vectors.VectorEq.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 228255 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Vectors.VectorSpec.html
│ │ │ @@ -2841,57 +2841,57 @@
│ │ │ -rw-r--r-- 0 root (0) root (0) 16357 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Inverse_Image.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 36848 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Lexicographic_Exponentiation.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 33731 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Lexicographic_Product.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 9750 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Transitive_Closure.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 14007 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Union.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 16919 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Well_Ordering.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4392 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Wellfounded.Wellfounded.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 457859 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.BinInt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 189038 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.BinIntDef.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 176738 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Int.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 457899 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.BinInt.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 189069 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.BinIntDef.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 176746 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Int.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 52637 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Wf_Z.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4978 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.ZArith.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 7451 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.ZArith_base.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 44088 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.ZArith_dec.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 26763 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zabs.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 77261 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zbitwise.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 56078 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zbool.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 58960 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zcompare.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 44092 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.ZArith_dec.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 26769 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zabs.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 77269 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zbitwise.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 56082 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zbool.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 58976 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zcompare.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 28671 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zcomplements.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 225885 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zdiv.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 14889 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zeuclid.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 60510 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zeven.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 38842 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zgcd_alt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 9585 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zhints.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 225903 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zdiv.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 14891 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zeuclid.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 60512 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zeven.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 38844 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zgcd_alt.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 9591 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zhints.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 14641 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zmax.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 14380 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zmin.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3187 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zminmax.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 6421 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zmisc.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 270640 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Znat.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 194863 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Znumtheory.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 163636 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zorder.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 270646 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Znat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 194873 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Znumtheory.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 163656 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zorder.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 18204 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpow_alt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 6595 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpow_def.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 56492 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpow_facts.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 84256 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpower.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 129130 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zquot.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 6597 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpow_def.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 56496 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpow_facts.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 84262 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zpower.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 129140 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zquot.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 12888 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.Zwf.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 23777 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.auxiliary.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 132777 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.btauto.Algebra.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 23779 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.ZArith.auxiliary.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 132779 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.btauto.Algebra.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2892 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.btauto.Btauto.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 61132 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.btauto.Reflect.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 2582 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.derive.Derive.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 5557 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellBasic.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 4337 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellNatInt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 4348 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellNatInteger.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 8859 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellNatNum.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 10079 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellString.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 4992 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellZInt.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 4340 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellNatInt.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 4351 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellNatInteger.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 8864 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellNatNum.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 10085 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellString.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 4998 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellZInt.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4886 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellZInteger.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 6083 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellZNum.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 6093 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrHaskellZNum.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 9860 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOCamlFloats.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 9832 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOCamlInt63.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4484 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOCamlPArray.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 6560 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOCamlPString.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 6092 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOcamlBasic.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 8544 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOcamlChar.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 26596 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.extraction.ExtrOcamlIntConv.html
│ │ │ @@ -2934,15 +2934,15 @@
│ │ │ -rw-r--r-- 0 root (0) root (0) 2793 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.micromega.ZifyPow.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 54530 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.micromega.ZifySint63.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 58570 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.micromega.ZifyUint63.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 35629 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.micromega.Ztac.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13799 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.nsatz.Nsatz.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 119569 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.nsatz.NsatzTactic.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 130147 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.omega.OmegaLemmas.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 96696 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.omega.PreOmega.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 96698 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.omega.PreOmega.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 94253 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.rtauto.Bintree.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 92410 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.rtauto.Rtauto.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 16075 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.setoid_ring.Algebra_syntax.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 13558 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.setoid_ring.ArithRing.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 19422 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.setoid_ring.BinList.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 80466 2026-06-20 07:26:54.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.setoid_ring.Cring.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3021 2026-06-20 07:26:54.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.
│ │ │
│ │ │
│ │ │
│ │ │
│ │ │