# Fdb version 3
["makeindex CoqRefMan.idx"] 1642758061 "CoqRefMan.idx" "CoqRefMan.ind" "CoqRefMan" 1642758307
  "CoqRefMan.idx" 1642758306 134896 9a86eb44a2e23c9ead081ffc7e76b601 "pdflatex"
  (generated)
  "CoqRefMan.ilg"
  "CoqRefMan.ind"
["pdflatex"] 1642758184 "CoqRefMan.tex" "CoqRefMan.pdf" "CoqRefMan" 1642758307
  "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1640642094 3524 cb3e574dea2d1052e39280babc910dc8 ""
  "/usr/share/texmf-dist/fonts/tfm/adobe/zapfding/pzdr.tfm" 1640642094 1528 f853c4d1b4e0550255e02831fdc8496f ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1640642094 916 f87d7c45f9c908e672703b83b72241a3 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1640642094 924 9904cf1d39e9767e7a3622f2a125a565 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1640642094 928 2dc8d444221b7a635bb58038579b861a ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1640642094 908 2921f8a10601f252058503cc6570e581 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1640642094 940 75ac932a52f80982a9f8ea75d03a34cf ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1640642094 940 228d6584342e91276bf566bcf9716b83 ""
  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1640642094 1524 4414a8315f39513458b80dfc63bff03a ""
  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1640642094 1512 f21f83efb36853c0b70002322c1ab3ad ""
  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1640642094 1520 eccf95517727cb11801f4f1aee3a21b4 ""
  "/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty" 1640642094 24708 5584a51a7101caf7e6bbf1fc27d8f7b1 ""
  "/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty" 1640642094 40635 c40361e206be584d448876bba8a64a3b ""
  "/usr/share/texmf-dist/tex/generic/bitset/bitset.sty" 1640642094 33961 6b5c75130e435b2bfdb9f480a09a39f9 ""
  "/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty" 1640642094 7734 b98cbb34c81f667027c1e3ebdbfce34b ""
  "/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty" 1640642094 8371 9d55b8bd010bc717624922fb3477d92e ""
  "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty" 1640642094 6501 4011d89d9621e0b0901138815ba5ff29 ""
  "/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty" 1640642094 1057 525c2192b5febbd8c1f662c9468335bb ""
  "/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty" 1640642094 8356 7bbb2c2373aa810be568c29e333da8ed ""
  "/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty" 1640642094 31769 002a487f55041f8e805cfbf6385ffd97 ""
  "/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty" 1640642094 5412 d5a2436094cd7be85769db90f29250a6 ""
  "/usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty" 1640642094 13807 952b0226d4efca026f0e19dd266dcc22 ""
  "/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" 1640642094 17859 4409f8f50cd365c68e684407e5350b1b ""
  "/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty" 1640642094 19007 15924f7228aca6c6d184b115f4baa231 ""
  "/usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty" 1640642094 20089 80423eac55aa175305d35b49e04fe23b ""
  "/usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty" 1640642094 21514 b7557edcee22835ef6b03ede1802dad4 ""
  "/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty" 1640642094 7008 f92eaa0a3872ed622bbf538217cd2ab7 ""
  "/usr/share/texmf-dist/tex/generic/xkeyval/keyval.tex" 1640642094 2725 9f5d0b27f1f9a620c6ea983d6d41501d ""
  "/usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex" 1640642094 19231 3cbf682090baecad8e17a66b7a271ed1 ""
  "/usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex" 1640642094 7677 cf3e6aa6a8d444f55327f61df80bfa0c ""
  "/usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty" 1640643610 5608 e823b3adfbc2ea70e453a21ea6e2ee12 ""
  "/usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty" 1640643610 56912 8e897e69259d91e3f48a398c5d3ba08f ""
  "/usr/share/texmf-dist/tex/latex/adjustbox/tc-xetex.def" 1640643610 4745 644cd8f0b16145a7f0415f600b9c2a20 ""
  "/usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty" 1640643610 7250 a32c09a7494ab7f6b44688804f84e5d6 ""
  "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1640642094 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""
  "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1640642094 13829 94730e64147574077f8ecfea9bb69af4 ""
  "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" 1640642094 961 6518c6525a34feb5e8250ffa91731cff ""
  "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" 1640642094 961 d02606146ba5601b5645f987c92e6193 ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1640642094 2222 da905dc1db75412efd2d8f67739f0596 ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" 1640642094 4173 bc0410bcccdff806d6132d3c1ef35481 ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" 1640642094 87648 07fbb6e9169e00cb2a2f40b31b2dbf3c ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" 1640642094 4128 8eea906621b6639f7ba476a472036bbe ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" 1640642094 2444 926f379cc60fcf0c6e3fee2223b4370d ""
  "/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty" 1640642094 19336 ce7ae9438967282886b3b036cfad1e4d ""
  "/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty" 1640642094 3935 57aa3c3e203a5c2effb4d2bd2efbc323 ""
  "/usr/share/texmf-dist/tex/latex/base/alltt.sty" 1640642094 3137 2366459cfce784001c7405ed16a872fb ""
  "/usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty" 1640642094 3034 3bfb87122e6fa8758225c0dd3cbaceba ""
  "/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty" 1640642094 2462 754d6b31b2ab5a09bb72c348ace2ec75 ""
  "/usr/share/texmf-dist/tex/latex/base/fix-cm.sty" 1640642094 14741 04be450f114b49e7fd6f68a0f75f06f0 ""
  "/usr/share/texmf-dist/tex/latex/base/fontenc.sty" 1640642094 4946 461cc78f6f26901410d9f1d725079cc6 ""
  "/usr/share/texmf-dist/tex/latex/base/makeidx.sty" 1640642094 1939 e44505a18ba4edebb8b70993e32c6350 ""
  "/usr/share/texmf-dist/tex/latex/base/report.cls" 1640642094 23203 8fbc410e29d3fd675970d5f9698c9c11 ""
  "/usr/share/texmf-dist/tex/latex/base/size10.clo" 1640642094 8448 96f18c76bf608a36ee6fbf021ac1dd32 ""
  "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" 1640642094 2894 55431114fc0e491ecee275edafd6c881 ""
  "/usr/share/texmf-dist/tex/latex/base/ts1enc.def" 1640642094 8044 fa8875fa7360fa4a5757411aa07dae10 ""
  "/usr/share/texmf-dist/tex/latex/base/tuenc.def" 1640642094 29098 3e2b8f2cbae539bde3ed8f63503c0954 ""
  "/usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty" 1640643610 1311 063f8536a047a2d9cb1803321f793f37 ""
  "/usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty" 1640643610 9116 495d44b5a3e7be0c46c5d1f053f457f0 ""
  "/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty" 1640642094 46845 3b58f70c6e861a13d927bff09d35ecbc ""
  "/usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty" 1640642094 17086 7ed8cbc4d361ec87392817e0dd4f65ec ""
  "/usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty" 1640642094 44023 c6f2f55a2bb9630fba10bfd488a5addd ""
  "/usr/share/texmf-dist/tex/latex/float/float.sty" 1640642094 6749 16d2656a1984957e674b149555f1ea1d ""
  "/usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty" 1640643610 19488 fdd52eb173b3197d748e1ec25acb042f ""
  "/usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty" 1640642094 163300 4d3d778e38973f06a2524732dbbc580f ""
  "/usr/share/texmf-dist/tex/latex/fontspec/fontspec.cfg" 1640642094 549 c4adac819276241fea8eb79c5ab7b99e ""
  "/usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty" 1640642094 1655 a1ec6f2670a260de25415d37e9c60e97 ""
  "/usr/share/texmf-dist/tex/latex/framed/framed.sty" 1640643610 22449 7ec15c16d0d66790f28e90343c5434a3 ""
  "/usr/share/texmf-dist/tex/latex/geometry/geometry.sty" 1640642094 41601 9cf6c5257b1bc7af01a58859749dd37a ""
  "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1640642094 1213 620bba36b25224fa9b7e1ccb4ecb76fd ""
  "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1640642094 1224 978390e9c2234eab29404bc21b268d1e ""
  "/usr/share/texmf-dist/tex/latex/graphics-def/xetex.def" 1640642094 15263 06bfc49e20bdfcb827e011063ecb4ae6 ""
  "/usr/share/texmf-dist/tex/latex/graphics/color.sty" 1640642094 7197 eb6c1ebf41667a05cb50c23c19d5e8bc ""
  "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" 1640642094 18399 7e40f80366dffb22c0e7b70517db5cb4 ""
  "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" 1640642094 7996 a8fb260d598dcaf305a7ae7b9c3e3229 ""
  "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" 1640642094 2671 4de6781a30211fe0ea4c672e4a2a8166 ""
  "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" 1640642094 4009 187ea2dc3194cd5a76cd99a8d7a6c4d0 ""
  "/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty" 1640642094 17914 4c28a13fc3d975e6e81c9bea1d697276 ""
  "/usr/share/texmf-dist/tex/latex/hyperref/hxetex.def" 1640642094 45184 5640b30ea42d304bb5f0b65c56c733ac ""
  "/usr/share/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def" 1640642094 1777 940b1aa83773bc035eb882e8d6842769 ""
  "/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty" 1640642094 230915 97a8817f13de4e61bbc3592cb2caa995 ""
  "/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty" 1640642094 13242 133e617c5eebffdd05e421624022b267 ""
  "/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def" 1640642094 14132 c9404e8e78123ef0d1007c34d1d6da51 ""
  "/usr/share/texmf-dist/tex/latex/hyperref/puenc.def" 1640642094 117004 86586f287ddfad919a0a4bd68934277a ""
  "/usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty" 1640643610 2148 0426cd8bb94163c1e23726d0c15e2c21 ""
  "/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty" 1640642094 22521 d2fceb764a442a2001d257ef11db7618 ""
  "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def" 1640642094 37403 a21479f595c7c62b132318587c4f609f ""
  "/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty" 1640642094 6208 8e07b49f15e79668e492fab98378014d ""
  "/usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty" 1640642094 4674 175cd58a3276550cf236fd19e68aba45 ""
  "/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty" 1640642094 6758 00f6c8a8db7d6342f781c270a186f6c8 ""
  "/usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty" 1640642094 5766 13a9e8766c47f30327caf893ece86ac8 ""
  "/usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty" 1640643610 2296 b097750ac8010251101d5bbe1da4d1be ""
  "/usr/share/texmf-dist/tex/latex/microtype/microtype-xetex.def" 1640642094 13115 75730ed6a91a6718473329342cb75b74 ""
  "/usr/share/texmf-dist/tex/latex/microtype/microtype.cfg" 1640642094 26645 99abe152cb45cee54a727fdf4ef65681 ""
  "/usr/share/texmf-dist/tex/latex/microtype/microtype.sty" 1640642094 88856 75be68db27878453d58d492b457973ea ""
  "/usr/share/texmf-dist/tex/latex/microtype/mt-msa.cfg" 1640642094 5928 73817a3576c87e17bcff2a717017f3ec ""
  "/usr/share/texmf-dist/tex/latex/microtype/mt-msb.cfg" 1640642094 5593 428f02443ecf7ba7329e84a32c80d72c ""
  "/usr/share/texmf-dist/tex/latex/needspace/needspace.sty" 1640643610 852 0e34dbb72efc69fa07602405ad95585e ""
  "/usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty" 1640642094 3822 b53c749cd81352b4679a35b0dafefb95 ""
  "/usr/share/texmf-dist/tex/latex/parskip/parskip-2001-04-09.sty" 1640642094 2757 ea00cb4f4e9abc702916f74d3812ef67 ""
  "/usr/share/texmf-dist/tex/latex/parskip/parskip.sty" 1640642094 4288 94714aa7f535440f33181fec52a31963 ""
  "/usr/share/texmf-dist/tex/latex/polyglossia/gloss-english.ldf" 1640642094 6647 ceced9868fe73ddf4b75c6a325cf3fe4 ""
  "/usr/share/texmf-dist/tex/latex/polyglossia/gloss-latex.ldf" 1640642094 783 e68c7f440dcb8eda673e3ad22c8139dd ""
  "/usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty" 1640642094 74783 c3c3272a1f55628f6cfcf9efe0a0c46a ""
  "/usr/share/texmf-dist/tex/latex/refcount/refcount.sty" 1640642094 9878 9e94e8fa600d95f9c7731bb21dfb67a4 ""
  "/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty" 1640642094 9715 b051d5b493d9fe5f4bc251462d039e5f ""
  "/usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty" 1640643610 13791 8c83287d79183c3bf58fd70871e8a70b ""
  "/usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty" 1640643610 48833 3b7b4cfab1a3d15596bfd3772a77ab65 ""
  "/usr/share/texmf-dist/tex/latex/tools/array.sty" 1640642094 12694 6c23725d50ab9d1e2d3ce482c58ffcf3 ""
  "/usr/share/texmf-dist/tex/latex/tools/longtable.sty" 1640642094 12892 3ffe092fc7f5d1cb9866f1bcb071d0d6 ""
  "/usr/share/texmf-dist/tex/latex/tools/multicol.sty" 1640642094 32262 2bb622a0aa56c4a7a5cbdfe9d122c15a ""
  "/usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex" 1640642094 241265 52e61157376139e230f2a9ef4be9503f ""
  "/usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty" 1640642094 132064 7222bed5bbafecb5b7690ac9561b42d1 ""
  "/usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty" 1640642094 1474 aba4cc64ac109084e74e3e749fbcd54e ""
  "/usr/share/texmf-dist/tex/latex/upquote/upquote.sty" 1640643610 1048 517e01cde97c1c0baf72e69d43aa5a2e ""
  "/usr/share/texmf-dist/tex/latex/url/url.sty" 1640642094 12796 8edb7d69a20b857904dd0ea757c14ec9 ""
  "/usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty" 1640643610 10894 d359a13923460b2a73d4312d613554c8 ""
  "/usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty" 1640643610 26220 3701aebf80ccdef248c0c20dd062fea9 ""
  "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" 1640642094 56029 3f7889dab51d620aa43177c391b7b190 ""
  "/usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty" 1640642094 4902 efb3d66683a2da2a232f71e3a571a899 ""
  "/usr/share/texmf-dist/web2c/texmf.cnf" 1640642094 39911 2da6c67557ec033436fe5418a70a8a61 ""
  "/var/lib/texmf/web2c/xetex/xelatex.fmt" 1642757011 5548515 8e633d182ae1d24494fd166dab41e533 ""
  "CoqRefMan.aux" 1642758305 471216 e5adfd3c529a3b83325dd48a7609c324 "pdflatex"
  "CoqRefMan.ind" 1642758061 91681 5437069e20f192b2adddbf2909bb29ad "makeindex CoqRefMan.idx"
  "CoqRefMan.out" 1642758306 169880 79030934831f7f898e0c43698925f9b4 "pdflatex"
  "CoqRefMan.tex" 1642757927 5525509 43a20192413ee0dcd6a3aa3061ca6902 ""
  "CoqRefMan.toc" 1642758306 72784 66a126fcbf4ac0b2c9641ace5eb264d4 "pdflatex"
  "coqide-queries.png" 1642074953 66656 ba587a1250e35ef051460956e92c3416 ""
  "coqide.png" 1642074953 59662 4a492a904b40cc4c57419c5f6a918001 ""
  "coqnotations.sty" 1642074953 3368 90c0b17c7a75f92229c1e82b1c78112a ""
  "debugger.png" 1642074953 82915 a7148a662f920525a158699f67d99198 ""
  "diffs-coqide-compacted.png" 1642074953 1723 e02e0f5e210a62ce6b6429e96949e5a2 ""
  "diffs-coqide-multigoal.png" 1642074953 2172 a62742e22217c71a39bdccd09fec61ca ""
  "diffs-coqide-on.png" 1642074953 2518 a22b4d0b79535e054275f1649ab4d966 ""
  "diffs-coqide-removed.png" 1642074953 4187 dbf8b017619c2d604baead3410cb0c29 ""
  "diffs-coqtop-on3.png" 1642074953 2125 0ea7f6afc40096735c78a3622c6f7d15 ""
  "diffs-error-message.png" 1642074953 5607 9122ef0fc56cd740039853bd8862be49 ""
  "diffs-show-proof.png" 1642074953 13641 f5ef5a60b9b4ba3f4701d99e1212e2d5 ""
  "refman-preamble.sty" 1642074953 2841 704cef6125f7d85e6c2892b1e983df17 ""
  "sphinx.sty" 1642395011 13262 0226aaccc1147ed884a3946fce78a6d2 ""
  "sphinxhighlight.sty" 1642757853 6679 76d10c62e0f0661410b46f5db6118e26 ""
  "sphinxlatexadmonitions.sty" 1642395011 6238 2d867d769abf3f72abc17ef52adff78b ""
  "sphinxlatexcontainers.sty" 1642395011 901 d3a3a1b7b2547f47ade2499350b5c420 ""
  "sphinxlatexgraphics.sty" 1642395011 4840 a9578332b6f3b35e198751fb632c9b79 ""
  "sphinxlatexindbibtoc.sty" 1642395011 2066 b93f8504d02f6337fde3074b179de55e ""
  "sphinxlatexlists.sty" 1642395011 3540 28bde24363589dd8238e1c3089e5b1b5 ""
  "sphinxlatexliterals.sty" 1642395011 35719 daaa4295be807130a5df36ead18b83fa ""
  "sphinxlatexnumfig.sty" 1642395011 4532 3633caf84afa1a98e1a060b7868202bb ""
  "sphinxlatexobjects.sty" 1642395011 7539 5bd439fe3b377102e234413cf4aac14a ""
  "sphinxlatexshadowbox.sty" 1642395011 3885 01355157c5580b34ec18031ea7a5e0e0 ""
  "sphinxlatexstyleheadings.sty" 1642395011 3253 144b82f37e9d225d888cce45c19b8ed4 ""
  "sphinxlatexstylepage.sty" 1642395011 3064 abce6c3018a84afee0afb08a431944ea ""
  "sphinxlatexstyletext.sty" 1642395011 6177 c18841ce3fafc366cd3b145f8faa4c37 ""
  "sphinxlatextables.sty" 1642395011 21848 2827eb0b11b99b185a8b77317d3e131c ""
  "sphinxmanual.cls" 1642395011 4241 7b0d7a37df7b5715fb0dbd585c52ecdb ""
  "sphinxmessages.sty" 1642757927 745 3f5fcd6cdd7964ed608767954a8ced6f ""
  "sphinxoptionsgeometry.sty" 1642395011 2061 47bb34b8ed8a78823eb0c886abfb9f4d ""
  "sphinxoptionshyperref.sty" 1642395011 1094 79beb8b8a3f10784f8cce804e0f9d3aa ""
  "sphinxpackagefootnote.sty" 1642395011 13248 e2c77871396275ccf592403f8130f6f2 ""
  (generated)
  "CoqRefMan.aux"
  "CoqRefMan.idx"
  "CoqRefMan.log"
  "CoqRefMan.out"
  "CoqRefMan.pdf"
  "CoqRefMan.toc"
