--- /srv/rebuilderd/tmp/rebuilderdr73T2E/inputs/libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb
+++ /srv/rebuilderd/tmp/rebuilderdr73T2E/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 63364 2025-06-15 03:17:13.000000 control.tar.xz
│ +-rw-r--r-- 0 0 0 23464332 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,89 +2420,89 @@
│ │ │ 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) 228715 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) 28684 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) 638773 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) 241115 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) 241700 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) 244691 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) 5844 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) 30500 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
│ │ │ @@ -2570,101 +2570,101 @@
│ │ │ -rw-r--r-- 0 root (0) root (0) 99064 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.BinNatDef.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 7411 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.NArith.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 88281 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.Ndec.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 8571 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.Ndiv_def.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 6254 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.Ngcd_def.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 69143 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.Nnat.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3820 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.NArith.Nsqrt_def.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 11733 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.AltBinNotations.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 15561 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.BinNums.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 11734 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.AltBinNotations.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 15562 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.BinNums.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4226 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Abstract.CarryType.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 210248 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Abstract.CyclicAxioms.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 210249 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Abstract.CyclicAxioms.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 14968 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Abstract.DoubleType.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 54727 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Abstract.NZCyclic.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 77296 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Int63.Cyclic63.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 54728 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Abstract.NZCyclic.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 77297 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Int63.Cyclic63.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 18492 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Int63.PrimInt63.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 19222 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Int63.Ring63.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 19223 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Int63.Ring63.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 103930 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Int63.Sint63.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 476321 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Cyclic.Int63.Uint63.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 151918 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalFacts.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 20858 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalN.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 60110 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalNat.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 78256 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalPos.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 52837 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalQ.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 16563 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalR.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 56969 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalString.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 17290 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalZ.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 164470 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalFacts.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 21324 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalN.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 72169 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalNat.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 94746 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalPos.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 54915 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalQ.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 17388 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalR.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 69145 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalString.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 22472 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalZ.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 151919 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalFacts.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 20859 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalN.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 60111 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalNat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 78257 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalPos.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 52838 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalQ.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 16564 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalR.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 56970 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalString.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 17291 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.DecimalZ.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 164471 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalFacts.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 21325 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalN.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 72170 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalNat.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 94747 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalPos.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 54916 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalQ.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 17389 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalR.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 69146 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalString.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 22473 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.HexadecimalZ.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 81809 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZAdd.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 89793 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZAddOrder.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 52844 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZAxioms.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 7577 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZBase.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 411948 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZBits.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 169042 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZDivEucl.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 198034 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZDivFloor.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 187482 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZDivTrunc.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 411949 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZBits.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 169046 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZDivEucl.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 198038 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZDivFloor.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 187486 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZDivTrunc.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 63229 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZGcd.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 120718 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZLcm.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 120719 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZLcm.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 30570 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZLt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 50927 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZMaxMin.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 50928 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZMaxMin.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 21231 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZMul.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 57329 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZMulOrder.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 12252 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZParity.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 24386 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZPow.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 11521 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZProperties.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 71260 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Abstract.ZSgnAbs.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 7497 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Binary.ZBinary.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 7498 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.Binary.ZBinary.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 94861 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Integer.NatPairs.ZNatPairs.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 68956 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NaryFunctions.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 33399 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZAdd.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 52990 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZAddOrder.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 79891 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZAxioms.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 21084 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZBase.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 68957 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NaryFunctions.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 33400 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZAdd.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 52991 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZAddOrder.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 79896 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZAxioms.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 21085 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZBase.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 43896 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZBits.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 158101 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZDiv.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 79372 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZDomain.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 158104 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZDiv.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 79375 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZDomain.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 87001 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZGcd.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 136194 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZLog.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 30861 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZMul.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 108117 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZMulOrder.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 159233 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZOrder.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 136195 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZLog.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 30862 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZMul.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 108118 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZMulOrder.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 159243 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZOrder.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 54302 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZParity.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 81095 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZPow.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3531 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZProperties.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 118563 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZSqrt.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 118564 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.NatInt.NZSqrt.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 17347 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NAdd.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 11677 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NAddOrder.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 25697 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NAxioms.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 41537 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NBase.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 391421 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NBits.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 82587 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NDefOps.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 128778 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NDiv.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 128781 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NDiv.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 99595 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NDiv0.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 63918 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NGcd.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 23500 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NIso.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 72769 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NLcm.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 72770 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NLcm.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 82375 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NLcm0.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 6761 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NLog.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 35614 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NMaxMin.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 35615 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NMaxMin.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 23197 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NMulOrder.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 53042 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NOrder.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 11515 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Numbers.Natural.Abstract.NParity.html
│ │ │ -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) 4173 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) 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) 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
│ │ │ @@ -2698,36 +2698,36 @@
│ │ │ -rw-r--r-- 0 root (0) root (0) 127950 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Abstract.ConstructiveRealsMorphisms.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 153508 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Abstract.ConstructiveSum.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 48483 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Alembert.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 38476 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.AltSeries.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 16848 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.ArithProp.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 19427 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Binomial.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 105056 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cauchy.ConstructiveCauchyAbs.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 193489 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cauchy.ConstructiveCauchyReals.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 173115 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cauchy.ConstructiveCauchyRealsMult.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 193490 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cauchy.ConstructiveCauchyReals.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 173116 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cauchy.ConstructiveCauchyRealsMult.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 16294 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cauchy.ConstructiveExtra.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 107429 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cauchy.ConstructiveRcomplete.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 7162 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cauchy.PosExtra.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 47356 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cauchy.QExtra.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 47361 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cauchy.QExtra.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 15626 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cauchy_prod.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 64372 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.ClassicalConstructiveReals.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 87780 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.ClassicalDedekindReals.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 17103 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cos_plus.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 43698 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Cos_rel.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 14846 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.DiscrR.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 31578 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Exp_prop.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3218 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Integration.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 115905 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.MVT.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 21664 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Machin.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 61388 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.NewtonInt.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 78701 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.PSeries_reg.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 89285 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.PartSum.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 728287 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.RIneq.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 728308 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.RIneq.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 118947 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.RList.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 21223 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.ROrderedType.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 21226 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.ROrderedType.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 45506 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.R_Ifp.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 80327 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.R_sqr.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 80775 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.R_sqrt.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 6669 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Ranalysis.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 264365 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Ranalysis1.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 100834 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Ranalysis2.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 20698 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Ranalysis3.html
│ │ │ @@ -2738,18 +2738,18 @@
│ │ │ -rw-r--r-- 0 root (0) root (0) 60643 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Raxioms.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 3395 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rbase.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 104984 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rbasic_fun.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 5552 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rcomplete.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 127632 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rdefinitions.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 52383 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rderiv.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4957 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Reals.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 163510 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rfunctions.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 163517 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rfunctions.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 53534 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rgeom.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 254896 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.RiemannInt.html
│ │ │ --rw-r--r-- 0 root (0) root (0) 211972 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.RiemannInt_SF.html
│ │ │ +-rw-r--r-- 0 root (0) root (0) 211977 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.RiemannInt_SF.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 77447 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rlimit.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 11636 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rlogic.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 31807 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rminmax.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 4568 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rpow_def.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 108262 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rpower.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 27110 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rprod.html
│ │ │ -rw-r--r-- 0 root (0) root (0) 6404 2025-06-15 03:17:13.000000 ./usr/share/doc/libcoq-stdlib/html/Coq.Reals.Rregisternames.html
│ │ │ @@ -2841,55 +2841,55 @@
│ │ │ -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) 132781 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) 8855 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) 4995 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) 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
│ │ │ @@ -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.
│ │ │
│ │ │
│ │ │
│ │ │
│ │ │