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