@comment $OpenBSD: PLIST,v 1.7 2014/03/26 03:27:26 daniel Exp $
@comment $OpenBSD: PFRAG.shared,v 1.1 2013/01/04 11:07:29 chrisz Exp $
@comment $OpenBSD: PFRAG.native,v 1.2 2013/01/04 11:07:29 chrisz Exp $
@comment $OpenBSD: PFRAG.dynlink-native,v 1.2 2014/03/26 03:27:26 daniel Exp $
@name coq-8.4pl3
@signer openbsd-56-pkg
@digital-signature signify:2014-07-31T22:26:58Z:RWSPEf7Vpp2j0MGLvtSPWQW5ItXddkD5lPPufTqbfayrz3Vnz3o4YR49/TEnbiu9klE7DiWIAFMW3iVtwbeMdUMiNx0ITxSziQc=
@comment pkgpath=math/coq cdrom=yes ftp=yes
@arch amd64
+DESC
@sha PT/wA8HekebUHFeKvvxFwfu425T6jsVwzNveosKK2H4=
@size 352
@depend converters/libiconv:libiconv-*:libiconv-1.14p1
@depend devel/gettext:gettext->=0.10.38:gettext-0.19.1p0
@depend lang/ocaml:ocaml-=4.01.0:ocaml-4.01.0
@depend x11/lablgtk2:lablgtk2-*:lablgtk2-2.18.0p2
@wantlib X11.16.0
@wantlib Xcomposite.4.0
@wantlib Xcursor.5.0
@wantlib Xdamage.4.0
@wantlib Xext.13.0
@wantlib Xfixes.6.0
@wantlib Xi.12.1
@wantlib Xinerama.6.0
@wantlib Xrandr.7.0
@wantlib Xrender.6.0
@wantlib atk-1.0.21209.1
@wantlib c.77.0
@wantlib cairo.12.2
@wantlib fontconfig.9.1
@wantlib freetype.22.0
@wantlib gdk-x11-2.0.2400.0
@wantlib gdk_pixbuf-2.0.3000.0
@wantlib gio-2.0.4000.0
@wantlib glib-2.0.4000.0
@wantlib gobject-2.0.4000.0
@wantlib gtk-x11-2.0.2400.0
@wantlib iconv.6.0
@wantlib intl.6.0
@wantlib m.9.0
@wantlib pango-1.0.3600.0
@wantlib pangocairo-1.0.3600.0
@wantlib pangoft2-1.0.3600.0
@wantlib pthread.18.0
@wantlib z.5.0
@cwd /usr/local
lib/coq/dllcoqrun.so
@sha rmy4LR6fxJGoJNdIuueMCeiI42zUSZXgCT3//WoLnCA=
@size 38068
@bin bin/coqchk.opt
@sha inACTy4uK7JEw4ECWcXnyVgnD5Pc+TcAcMqrQtKnXmQ=
@size 5047224
@bin bin/coqide.opt
@sha u86TGSRWZ2EEQFDDGA7N2TCyZUoAXQmh6p9Ew09hF1k=
@size 5755832
@bin bin/coqtop.opt
@sha j8mq4NryzdtZHRLTXqAe2k6MEkkly3bq5gFPMyzqPYw=
@size 16239320
lib/coq/config/coq_config.cmx
@sha 2gomWo4XNAGyLjO9Teap+Bkhoo5k4NxEmNrJDJXm2ao=
@size 233
lib/coq/config/coq_config.o
@sha 2O55qW3yq5OyafZSbjm/+OdhQ8w5mjxDKvVWUZ+4lrk=
@size 14784
lib/coq/ide/ide.a
@sha qIzGOoJ59DbTqsunVe5Sbe6gg1ndxvz4H/Sfy1J9izM=
@size 2296768
lib/coq/ide/ide.cmxa
@sha ardbVaYcMpa/Cb+Z2SbwPN6caK07tQHgvfbHjqmVxPs=
@size 31315
lib/coq/interp/interp.a
@sha d88EwEoak7mPNFDYcv7eHlj9U+bhDyJBNkwsm5Ki3TQ=
@size 1344624
lib/coq/interp/interp.cmxa
@sha +2QkQg/SMI/BNt6CGa41GJFND0B829fY9n+0Q1pPgvs=
@size 40928
lib/coq/kernel/kernel.a
@sha D3SEnMPJMrkyjuw+NBLpvychm6iN1/1v3ZnCvp7sYHw=
@size 1594352
lib/coq/kernel/kernel.cmxa
@sha GCcL88zcUUANfCHm9d3lW1VnW24Lzd4mg/aWkzP3tmw=
@size 45135
lib/coq/lib/lib.a
@sha 3A4Txcj6U3tK4Gfq/2kk5kD0oM1lhWiQ1K/HExHK+CQ=
@size 1179548
lib/coq/lib/lib.cmxa
@sha toQwf2XHkktfhr8psbbi+yttB2zy0V61TDh+7+Mj9AA=
@size 15977
lib/coq/libcoqrun.a
@sha XKmaUd2D8edZD5WWiH7BxhcgEZy/GrCECypC0OWUVRM=
@size 39552
lib/coq/library/library.a
@sha AtB1gcsAjc1innQRIQFweOfFHafWjs9Qsq2NNLHZELs=
@size 642556
lib/coq/library/library.cmxa
@sha m/I/9optXpNYqDlIAw2xdzaJy9xZrreKw2RaKelqUWw=
@size 26446
lib/coq/parsing/highparsing.a
@sha nF7nupSG2avRxdZijYcOZuPB8s3M+uV/CGB4t6oxNsE=
@size 1861406
lib/coq/parsing/highparsing.cmxa
@sha 9eTQQ2CwORlXF922Eswmet2gDG9Pdt2Dx8iy70VesMk=
@size 16422
lib/coq/parsing/parsing.a
@sha ah7teAsjWVJ9rm6OQav+qs2P16v6+ag0bL/S0OGaiqw=
@size 1031900
lib/coq/parsing/parsing.cmxa
@sha 8AZboXw+fZi572+MKixWc9/8QjcVn02ds2j9DyUzPzc=
@size 30434
lib/coq/plugins/cc/cc_plugin.cmxs
@sha avdV/bMvnkghXmvkwwBlKQPSScPHJ5vsjSi41pYYuwM=
@size 239027
lib/coq/plugins/decl_mode/decl_mode_plugin.cmxs
@sha Vk2huYyzUdke46Wy6DuPsA409ChPTeWF13yGb7sUSC4=
@size 613957
lib/coq/plugins/extraction/extraction_plugin.cmxs
@sha sTNqccpaMAokoTACASGhzcgN+Y0ut+syUkLZJvyRNmg=
@size 1000289
lib/coq/plugins/field/field_plugin.cmxs
@sha 4kjgG0WyUxEpWppAIaRlZuwhzqkxjzEq+IamXEquhkU=
@size 99346
lib/coq/plugins/firstorder/ground_plugin.cmxs
@sha Pc/fUwBZjglgD2cWsK91LNN2nI5BZ0O1nxkBWxHg6D4=
@size 268266
lib/coq/plugins/fourier/fourier_plugin.cmxs
@sha hW0hZz3eYlpUk+/+T/kXMroZo6UlgJSVYvVC/052ZI0=
@size 147597
lib/coq/plugins/funind/recdef_plugin.cmxs
@sha bOfChE722prN3GsMECq7pptQHs80Icunv6RqBO7XsgA=
@size 1398314
lib/coq/plugins/micromega/micromega_plugin.cmxs
@sha 0cgpzkV0pXu5suGNdgVX7R3ORVg1jEBQYcjk4VcMP4s=
@size 1121086
lib/coq/plugins/nsatz/nsatz_plugin.cmxs
@sha OWEVyaiR8xafhXpVRhyipyx5zdKpJLnEazqv0e4HXEw=
@size 316999
lib/coq/plugins/omega/omega_plugin.cmxs
@sha VSCW1qfLjAjsjE0QqBTtBeSo7VGJFqlmRIyn7M3RvTo=
@size 562248
lib/coq/plugins/quote/quote_plugin.cmxs
@sha eMGMJCFfZFppFIU4aZ74iFmEVdm3ltxA35X0frD4jjg=
@size 93329
lib/coq/plugins/ring/ring_plugin.cmxs
@sha MitR/rIgRy1Wix3LhwcYXGZzw2jKx3akz0EbLU4iUXA=
@size 237332
lib/coq/plugins/romega/romega_plugin.cmxs
@sha 6/s/tRudQAjWDWH6//QIHTPBN+FkAAYkcKs2gwC3gAo=
@size 315474
lib/coq/plugins/rtauto/rtauto_plugin.cmxs
@sha Mf5WuXsQKscUIB7+AIdG3J5jkh0F+WQuKFqyu6PlWxs=
@size 149873
lib/coq/plugins/setoid_ring/newring_plugin.cmxs
@sha 5uE8SIbtvi1UumJz1Zf4KsZEUspL3qFnbggeoEUyMmI=
@size 291402
lib/coq/plugins/subtac/subtac_plugin.cmxs
@sha bhJ5xTTQPWTvlJ1wBQPjPIANrolclVqo6YjySWj6xMc=
@size 946968
lib/coq/plugins/syntax/ascii_syntax_plugin.cmxs
@sha JOyUdzjI7AJCQB+88UKsL2unZ0qZnRdPlCVmbnXAaUQ=
@size 29959
lib/coq/plugins/syntax/nat_syntax_plugin.cmxs
@sha 33P0Ess8fmdlDtsYH9wErj9RH+cc6ViDX8XfEK7FI3Q=
@size 26012
lib/coq/plugins/syntax/numbers_syntax_plugin.cmxs
@sha N6eR4xKJr5thyl3+V79oJ0votf77H40a4Rar/MkRPjw=
@size 55427
lib/coq/plugins/syntax/r_syntax_plugin.cmxs
@sha 5F8T9kOopXZDWaXHZxL7ONXoN5Q1OtRWrjWUYDQCPg4=
@size 32605
lib/coq/plugins/syntax/string_syntax_plugin.cmxs
@sha 0UqttA28YpVxr7KrFp6R6LFkuwx9IApqasiTCQLkXf4=
@size 26568
lib/coq/plugins/syntax/z_syntax_plugin.cmxs
@sha Xqwfn46cvMFcFi+Qb74BxzsCgsduQBNeQlGOPpzLcck=
@size 38220
lib/coq/plugins/xml/xml_plugin.cmxs
@sha uE5NbGNha9F+nx6Gds/bUFUTAvnPile1gBy+T554pDU=
@size 503275
lib/coq/pretyping/pretyping.a
@sha CCFcEOLkGlYUwY6ak3Bqxcn3R3QaHY5nx2RcX/pzWdo=
@size 2405120
lib/coq/pretyping/pretyping.cmxa
@sha TqsIxphRCth4tgc+V89ZmZTcjCPhuiXMvsj7lOfcggk=
@size 66101
lib/coq/proofs/proofs.a
@sha JOgVEnlyiPQ//W8hc82SDgvq/GBMYHc6F08wvs53JIA=
@size 636318
lib/coq/proofs/proofs.cmxa
@sha LW4yiOd0eGqA7HXxJ+HkZb2OfnaAxOJsdT1HNZkRCqo=
@size 39517
lib/coq/tactics/hightactics.a
@sha FRtg+AoImPmeFy9DGEhOCEzvavjtN+gpakCiZEb0/B4=
@size 2209558
lib/coq/tactics/hightactics.cmxa
@sha qhag66qFfZcvhXHs6Vw0yGIvgInCEegZ729lBz0R1Sg=
@size 35298
lib/coq/tactics/tactics.a
@sha 0h3sAVOuOm0g4VlIcrPaeiCjyxea4fKBAPcAmlSnBn8=
@size 2218392
lib/coq/tactics/tactics.cmxa
@sha AxliKczSVZMqvRdhTssI/0W4l3P0F5fDFXxgKV+ZeTs=
@size 66037
lib/coq/toplevel/toplevel.a
@sha tKLgLOJuJPBC/MOFOF3IsGJPa1X8rndWId5IX9y/Cko=
@size 2216494
lib/coq/toplevel/toplevel.cmxa
@sha HPrfvlK5vclmRGAqtFOr93rt4K4ufsNyLh5kC2gmODU=
@size 92463
@man man/cat1/coqtop.opt.0
@sha npeW3bS23VW7gWLx9SqBHz79C8a6pV0+mk2BzCeMupY=
@size 789
@bin bin/coq-tex
@sha FSyfA/Wi3GsUAQS4tt5aEu8cAp9kfO+COVkCnRRG49w=
@size 513144
@bin bin/coq_makefile
@sha UkNPxKU8Jcsr+pb7UR+2T0rsEEStKTgcnKR5kMnugbw=
@size 789080
@bin bin/coqc
@sha hDbFOZpDRmKw7l2VPWzVscJi0aP77F+237JODfFtTVU=
@size 4324504
bin/coqchk
@symlink coqchk.opt
bin/coqchk.byte
@sha daVrG+O5rjtT37RbFNTPa7d2FB8CFKchi77CLXbv8Tg=
@size 1257856
@bin bin/coqdep
@sha 3E5F/whpWb0Fo52aioLTn3POzIqFEYLdk7FWbFXP/UI=
@size 4422744
@bin bin/coqdoc
@sha cFtd4NnTnR1G0sxXRAGPzVvUK6lq8V0O+TKopSFgr5s=
@size 1180696
bin/coqide
@symlink coqide.opt
bin/coqide.byte
@sha 5gDC3rCs5pylMQXwUl17dus7YoxscXWAeQpaFxQat30=
@size 1452186
@bin bin/coqmktop
@sha r518zVt+iqnKwoLlRXPkH7cpozayGSvJvJLy60syBvs=
@size 4330712
bin/coqtop
@symlink coqtop.opt
bin/coqtop.byte
@sha d+5HZT6y+gxxR7B6QZndVYlvDKAQ1lLtYpkJrhd6jGM=
@size 6042625
@bin bin/coqwc
@sha YkehJuZh3rAW+nTbBeyHV/0VTpSvfibBRqZlEUv8ii0=
@size 352024
@bin bin/gallina
@sha Pr4hnUCD9RGL/85oUih/aHg3+nQZljt82aopMInXm+Y=
@size 406456
lib/coq/
lib/coq/config/
lib/coq/config/coq_config.cmi
@sha IGtA2lxvlFCXBNYMnJNe+T1ip69FozctzftiEpL+RP4=
@size 1962
lib/coq/config/coq_config.cmo
@sha MmYGMMYcIUzPGueSSmk0eQ29ZfAsuHSz51pg0Hmn2Vo=
@size 3210
lib/coq/ide/
lib/coq/ide/command_windows.cmi
@sha ZRQCdiktDC/j4gWnhmZ7IKrCXIrY8GyS6QnEojv2s6g=
@size 2409
lib/coq/ide/config_lexer.cmi
@sha TVLoWnwRAPt/rZ4DP82ui68yttNBUtO+pVtE6r26xnc=
@size 1490
lib/coq/ide/coq.cmi
@sha bKMfjEWqVkzavuVUrkY7jSyN/EBYcNv2JsqvjYNjKnw=
@size 2767
lib/coq/ide/coq_commands.cmi
@sha SDpL/mN7tEJO/xV5ZxzA+3GeetKXFr7YY9J0paJ0Z2s=
@size 367
lib/coq/ide/coq_lex.cmi
@sha TjgwH7y1ZprlGriUsd0n5bSsDVceW2EIPLxgD7St4i8=
@size 1761
lib/coq/ide/coqide.cmi
@sha NErgJmS8HJNyLhvw7mOf3py6CM4l4uzk8clsqmjkKCc=
@size 852
lib/coq/ide/coqide_ui.cmi
@sha IAvEAIO16iQ2XnQUCthK9Rij5V1aW70tUeVblS5D7hg=
@size 1302
lib/coq/ide/gtk_parsing.cmi
@sha SF7AQu+XRARgk/A/3c52+IDJ/XshrVksQ27fMGmgSKM=
@size 2947
lib/coq/ide/ide.cma
@sha JyGmQEddurdMzTWdN1QQNAgSsNVWLYdDFOR4aNtUDWE=
@size 594233
lib/coq/ide/ideproof.cmi
@sha V3Ieh7eTYlp5tEux/oNhZtcolUO0TUHk3tfLFZaK9WI=
@size 2340
lib/coq/ide/ideutils.cmi
@sha LTTo4aTEKz8ZeCQia65hfp/fMn6v/+y9MUcuUC0gdyY=
@size 5403
lib/coq/ide/minilib.cmi
@sha obFbAeUVq4RCMPVL9TPLJLuGk7byQmjy7ipHUwglN1g=
@size 5165
lib/coq/ide/preferences.cmi
@sha hSZWBdGFqhHruWNHpLCoMzalk2H6Wp0uOlDdIFCa3ss=
@size 3034
lib/coq/ide/project_file.cmi
@sha Z0LujXlUsdu+/vyLRC+dunPbaJ4weHoSHtwaVHeeVpc=
@size 3462
lib/coq/ide/tags.cmi
@sha Ul/s3iF/cDhykMUEGpx+MpQgUCTtiZlbyhBCfNel+KI=
@size 2467
lib/coq/ide/typed_notebook.cmi
@sha 1OavjgB3IO2i0NUoIbDOfORpS/NID87iFDuGSj/GMGY=
@size 15359
lib/coq/ide/undo.cmi
@sha 5EhqnSzCbtLVLd/gHGKjl2wfcHagA/t4w9xPCBgQ7S8=
@size 18201
lib/coq/ide/utf8_convert.cmi
@sha XV4jdC3Hjs5P5lNnb7tM5zHvtso6LjQqEkAh9rCujm8=
@size 648
lib/coq/ide/utils/
lib/coq/ide/utils/config_file.cmi
@sha 1q37OQGp64K8SPMj5XOi5ECo3UTNPleepx0HAKx7qgI=
@size 56656
lib/coq/ide/utils/configwin.cmi
@sha y/aUlbhinoTSaSRI7eKgWtzCJTG+0G8k2NjR6//gpfY=
@size 13098
lib/coq/ide/utils/configwin_ihm.cmi
@sha kWQFotxW4mc2U3gCmoPU56zAoxOeDxGNzJ4YTjptgjY=
@size 77930
lib/coq/ide/utils/configwin_keys.cmi
@sha ZN2kHOAB9tqJvFJt0nRU4A6usi+VK8ZiIWzRzZZxDAg=
@size 55289
lib/coq/ide/utils/configwin_messages.cmi
@sha tVQyIKDNrk7WRdx+x+58HC4uSl4z+z8iO5iEUHlvJ5o=
@size 834
lib/coq/ide/utils/configwin_types.cmi
@sha OAyECHHrrEFm4nwNkCjQxMWbAY2kgECMeY5Gw4ZMqFo=
@size 14476
lib/coq/ide/utils/editable_cells.cmi
@sha XdA4++rLqdZbhP6K6b9HJWVOmqGyDxB8OLWIR9s4R98=
@size 1415
lib/coq/ide/utils/okey.cmi
@sha 6J03uB2MueBIPH0ejT8dO3vqR06f1qQAX0jc49zG3K0=
@size 4004
lib/coq/interp/
lib/coq/interp/constrextern.cmi
@sha 7wPfXW/aSy8L4zW+eCDizbbok8lAvKes2tZQfwNTgfc=
@size 5042
lib/coq/interp/constrintern.cmi
@sha pHWAmOnEoN8omx+INXTHb07dMe9de+nQhJMFtQB+GsM=
@size 11394
lib/coq/interp/coqlib.cmi
@sha PCMVjlGZWmNYnmHGr5IJmPrMsRb2dGvYWcvbK/Bq5ic=
@size 7361
lib/coq/interp/dumpglob.cmi
@sha wN2zS+PkK7aSVB6weBnhGfYQw5Z/9AK+IidFMJSAhI8=
@size 4803
lib/coq/interp/genarg.cmi
@sha 4k6RMLRoXhTuRFPTschizH1St8cKaAn0Qz/yTTCr6/g=
@size 13476
lib/coq/interp/implicit_quantifiers.cmi
@sha mdu4JtfLGLlsYhQTF9Arh+henlLVd+rnLK3aJ/HkSFU=
@size 5197
lib/coq/interp/interp.cma
@sha DzyAkU97YDk3MmnrHjzyyl8HZGMgK27U1mRkwelyI4I=
@size 348752
lib/coq/interp/modintern.cmi
@sha iVBDQy/s59sUDN8GMqBfo6RVPjZLsEqUDBgnJeSL5+g=
@size 2516
lib/coq/interp/notation.cmi
@sha XEoj8eFyJDxQU8+1UzcNkfAZlAhL7ZgFt/UGJfWfAZo=
@size 9320
lib/coq/interp/ppextend.cmi
@sha sKPR31YuLkZqzEarr7iZ/YqS98kXJM6ZeOoEw4rE1JY=
@size 1526
lib/coq/interp/reserve.cmi
@sha 28ABRFsho7sYrI9Fe6utJYQloqsavgb58QPWma2hyw4=
@size 2115
lib/coq/interp/smartlocate.cmi
@sha 6fjqepNGQcYeTXm33rckgvVIGV0CYW2JrXFTKJwVqLk=
@size 2538
lib/coq/interp/syntax_def.cmi
@sha QioKrPL2+B3L0uXzOfGO+m0xtM+J+AX1WgRO0LQBBaI=
@size 2385
lib/coq/interp/topconstr.cmi
@sha dh17Aq4hjr478SqPft5keGEKXm7yLiin23JvgNCOzWk=
@size 16053
lib/coq/kernel/
lib/coq/kernel/cbytecodes.cmi
@sha ZrNFxsN0uyzyuZiarLWOkVlrXRxjNnrv1MXC0NvrkEs=
@size 5012
lib/coq/kernel/cbytegen.cmi
@sha IkfTrvgCiOWb28KlxiECwhg008+zuZJ5lCEpxCGYbCc=
@size 2573
lib/coq/kernel/cemitcodes.cmi
@sha v2DC5RVTsjEC2F6pEYLfygB80H5X7Ug+bMaE/rdVT+k=
@size 2739
lib/coq/kernel/closure.cmi
@sha rdC9oPXSYlBmWmMjs9APH0DdPXr6stdoiEU0l55Js6E=
@size 9376
lib/coq/kernel/conv_oracle.cmi
@sha EEtjK44u6tK9ZKTkZOOC4+MVHAXugqYMFiernnEqr5U=
@size 1183
lib/coq/kernel/cooking.cmi
@sha 9d5GEsor5dtmVre2epP+X+uE7pXBfINTcmu5PQPS07E=
@size 2156
lib/coq/kernel/copcodes.cmi
@sha tlvUpFbJTuGx/1tG2AofvjEtmdJcoMUg4BBFXoOJhIQ=
@size 4135
lib/coq/kernel/csymtable.cmi
@sha iL05BZN8HEIdhGAGv8p5MPYcwff5I0VCjkzpOcGJfyI=
@size 1626
lib/coq/kernel/declarations.cmi
@sha dI2Zs5I/UGkRCMSPnzeNh3d1pEc7ZP+hkKxO0XWEybs=
@size 7270
lib/coq/kernel/entries.cmi
@sha l7MDKxrcYB0miFt13nC/3p7c8wPpnml7jGfsxPmOoR0=
@size 2962
lib/coq/kernel/environ.cmi
@sha BOlyQnKkNhhnd14AyJtLltF4q2hEOx4HLdbaEZj1eZo=
@size 9320
lib/coq/kernel/esubst.cmi
@sha llZpRImxFlM/e6VqrYK7FdH2SaDIZiBiz18orIRw2Ao=
@size 2772
lib/coq/kernel/indtypes.cmi
@sha o7y2rdv6J4A2saLeCSjOT9ABVQcSTc8+iqAikqHTLwg=
@size 2430
lib/coq/kernel/inductive.cmi
@sha 6OC92nv9n0728X6f/xmcOXJahjTSCS1kYNLfUHDe+E8=
@size 5597
lib/coq/kernel/kernel.cma
@sha E2jz9gFi5MnajnKHvqefFD4KICHu2zz4pKHBzAnEtXY=
@size 404072
lib/coq/kernel/mod_subst.cmi
@sha aYleaN08QxQAKDUe/qOJQxuuDa54teJrCmJJbDJxVrE=
@size 5857
lib/coq/kernel/mod_typing.cmi
@sha j0Lt7DTxLkJcrAR2KSxoR0K/4qbDKhW3xH8y8ciHOUg=
@size 3301
lib/coq/kernel/modops.cmi
@sha GC+ISX1bP6SIENb8P5j22CKC320u0gayVRo0A6g+Tyg=
@size 6751
lib/coq/kernel/names.cmi
@sha 6B8YQTqy2mYSgw6YdF7rnFRiTlRisB9oDGZINidOmiM=
@size 69131
lib/coq/kernel/pre_env.cmi
@sha KZ/OTDvwIMc+NWgwrsaMraTEDMGE7D2SGZAPEUBusTA=
@size 4015
lib/coq/kernel/reduction.cmi
@sha X1+UFi2IzUU4btoSXUtvyBaE5Qmyaw4IVn6YHr+7mkI=
@size 5690
lib/coq/kernel/retroknowledge.cmi
@sha SxtfKnDQW6wNe+6hePZqG+knKi+o6brywv3HQ++Ri10=
@size 5267
lib/coq/kernel/safe_typing.cmi
@sha OaT2wzmZOl8E5EP7q6ei533wP3B11NUYmbYQI+KdEI0=
@size 6513
lib/coq/kernel/sign.cmi
@sha i3zEeFPRnQEI5feFZszSiHNMQ90zx2dTp9/PVft6IjI=
@size 3150
lib/coq/kernel/subtyping.cmi
@sha CeC9ikzS16URPytDLmT2rbms1/z0IVqNx/f8/fKnRx8=
@size 1542
lib/coq/kernel/term.cmi
@sha oIuYqDp7FsGfVh5NlrQHisjZhh6oW/zzgNn+O/O9MQI=
@size 21029
lib/coq/kernel/term_typing.cmi
@sha qNcKIqWMpY2lEUxD9n9Xk6KXwsURtJjq4p16OFBXLhg=
@size 2953
lib/coq/kernel/type_errors.cmi
@sha aw4nV1iwU1y33U6x+dHZ67y4A+Wyr/uudS+7RbORPoY=
@size 6736
lib/coq/kernel/typeops.cmi
@sha 59qh2qYxxrL/vZ8m4On+XmuU3IT7EzdFLiQEX/G3fxw=
@size 5811
lib/coq/kernel/univ.cmi
@sha dHhWyGiS86mQoCcrpuIYkZ5Hpn4NqqiGbF3nUgJheeo=
@size 6546
lib/coq/kernel/vconv.cmi
@sha Wx/NZ1KlkR0tku8qkqbm2RRQ+2FTvCWusrEQ0aIXCA8=
@size 1789
lib/coq/kernel/vm.cmi
@sha GZq1YiSIPqLxEM6EaXeLGdLOooeassXceRaNLy+B2KQ=
@size 5567
lib/coq/lib/
lib/coq/lib/bigint.cmi
@sha jX08yc2kq8SRA8O+DCBMRB4P5ozT5Y321NpDCx1WaPw=
@size 1744
lib/coq/lib/compat.cmi
@sha WyrMQBW386ozgYJvPwxymLB0DlDMwGEJpHsITkkm/X0=
@size 728565
lib/coq/lib/dnet.cmi
@sha vYnSHwETfZWy3ca7Rk+ZBlPKc70HpggqwaSPKKkoETk=
@size 8503
lib/coq/lib/dyn.cmi
@sha ltEJlEGLauh70uOqeGv5cMik8kAAGrfQKiUNEQbbOFI=
@size 359
lib/coq/lib/envars.cmi
@sha mS3hVDNYODBv8J8rm0KLElXp4/PA7MXx5QvPmZfyiCs=
@size 736
lib/coq/lib/errors.cmi
@sha 2TFJFTorAlV133jjsDMV7YjI4GDJYO7WxLQzVV3gA5U=
@size 750
lib/coq/lib/explore.cmi
@sha gcsIat2KcGWo8ga79bX6X0daKm3FRfr/PCQST4fkqlA=
@size 929
lib/coq/lib/flags.cmi
@sha K6vhh0Rpnyd5yr0w09g0cs+FUl1+GQtj/Cz5bOGSdfM=
@size 3699
lib/coq/lib/fmap.cmi
@sha OMek19vb67xSw/EABljo0Z+8vuweOUa8KP3z/+wuOQE=
@size 1485
lib/coq/lib/fset.cmi
@sha /7+vlcGKdJ795OgBxM9OP4zPT7mF3VtIEKR6zJyaFUA=
@size 1776
lib/coq/lib/gmap.cmi
@sha zXK01bS1pA3/ySuhbYt0O2yAYyJna8THepjIArE/JIw=
@size 1455
lib/coq/lib/gmapl.cmi
@sha 6g+dUQOlMld4ZyKM2BxCb3yjTOi72tsVYzdRnttVjW8=
@size 1184
lib/coq/lib/hashcons.cmi
@sha b1jm1eWKAq3RtVZqazUe818F7nomOxcbqgrDQd8VydA=
@size 2670
lib/coq/lib/hashtbl_alt.cmi
@sha V18ZLIPJ851AAmBQTG50tWyWV4YipTl6x/iA7ODQhGk=
@size 1031
lib/coq/lib/heap.cmi
@sha ciBSVYnRcHlpudBqXe7WKKEXLpd/MKFYS64VCDpHTMI=
@size 1374
lib/coq/lib/lib.cma
@sha os+pK0ij+uwNOtm5o4ol5sHKYBfVWUrWpc4Es2ExkLo=
@size 269078
lib/coq/lib/option.cmi
@sha /bwVht397mXO1jZbewxgkdfRQRmrZ75SefUmDkczLY4=
@size 2945
lib/coq/lib/pp.cmi
@sha 7ICuS7/ufD/PGffrrLV15cpxjR1zOqGQFMvOldDI24c=
@size 5122
lib/coq/lib/pp_control.cmi
@sha qyuZ0PuoHTLrRlPlTKetoeidHXySI1bHVKjmTT0jHEA=
@size 1409
lib/coq/lib/predicate.cmi
@sha RxjS3WW7SODK3Rg+wG+bWMU56fn0GK4PGRKrw6aPpE4=
@size 2593
lib/coq/lib/profile.cmi
@sha iIQ3DgNyP8zQbkbqMV2pwzrqnqMvH7dtshBI2lOFzMs=
@size 2494
lib/coq/lib/rtree.cmi
@sha FsZ9Ljft/qAH90hOD6gxa/ugeS/qVLtrXFFD2TPdCow=
@size 2269
lib/coq/lib/segmenttree.cmi
@sha LVSX2K5uGE9wLyREp5cb+3B/JMgvRRFdVHnF+FaJZyg=
@size 426
lib/coq/lib/store.cmi
@sha IZAPXiGVTmUOEx9PTaTOxSaPs33AXzv8gXGucwm1KNQ=
@size 600
lib/coq/lib/system.cmi
@sha SagbjtHPWYWiFzlDmC3uZc/zeeNpGi+JNQNS76ZsEE4=
@size 3382
lib/coq/lib/tries.cmi
@sha khLffSRC8gehVdDGbDYYgJlCu6K0GmdPz7FzBXB9ul0=
@size 1231
lib/coq/lib/unicodetable.cmi
@sha YjhThTQgczBUlokiGF6hzLMaDu3Bh2zM/ncu0FWILy0=
@size 2482
lib/coq/lib/unionfind.cmi
@sha L5gWZTxRdVWIMhBtI3GAzBeYtX35johL6UD+6u8BkCc=
@size 4653
lib/coq/lib/util.cmi
@sha McrrtLbuoZ0u+PtEB3cM0fnNtHYR8OwfgkucTjkEB8s=
@size 42610
lib/coq/lib/xml_lexer.cmi
@sha wcKL9cQh6mB6A2ssjmTYYf7e0SSUMjjBJx/B/QJJFSg=
@size 1169
lib/coq/lib/xml_parser.cmi
@sha ufd3TU1kLS06itfBlcpM5J5us9ak0Xtn42xY9UjRzWE=
@size 1794
lib/coq/lib/xml_utils.cmi
@sha xhLRuEMcsTrH/HHVvs1KTMtODfLZKPunyGxa3xCDTO4=
@size 1404
lib/coq/library/
lib/coq/library/assumptions.cmi
@sha 1fo+ZeWER9PjciX5Ohk8E5/J8SUxV0Gt3HhQmmwdFo8=
@size 5065
lib/coq/library/decl_kinds.cmi
@sha M5PXLaQlE50iNejX7jN8E4gWH/HHQVLdBRJ91mLRAt8=
@size 2836
lib/coq/library/declare.cmi
@sha w3tkyVK/tNCtgB/eKB3/uuZ9i31n/x95SewgUtFuJMg=
@size 3796
lib/coq/library/declaremods.cmi
@sha ffsxKMsoX6L8XRRps3hripNdB+nyPBNDW4/fj/Oov74=
@size 5956
lib/coq/library/decls.cmi
@sha fiki7Xv22zwUa5OhR8ZR6LIx9XdCmvql7GMCuWOF6Pw=
@size 2597
lib/coq/library/dischargedhypsmap.cmi
@sha YXack2sdX4K0jrNDWaC/fDRcocWZOIi6QZvx/JqiQA8=
@size 1700
lib/coq/library/global.cmi
@sha RXuKh0yeVnuc8EqD6OJnbOvkZdUKnNWQ5uSsDrTtWbo=
@size 5815
lib/coq/library/goptions.cmi
@sha mrJOtWDhQni+Avzi8HdCSyc1AJIMlwLFpxOYD04NtOw=
@size 8251
lib/coq/library/goptionstyp.cmi
@sha ElYN2zeTD3MzLt7AmY/OE2Aw3a9RKWFRlDO7dKFEk3I=
@size 583
lib/coq/library/heads.cmi
@sha AWShs9TIRrbGMH5oIMgHQ0FZ6tau8zUNfTNzGSL4Aeg=
@size 1573
lib/coq/library/impargs.cmi
@sha 0dOmgKpi6cf19pItrS3QiFFUyiMkh96217P0KZRWacI=
@size 6660
lib/coq/library/lib.cmi
@sha wY05ZNBW4AAxdHaNwM7aCLYP9CE46uGV86hK4xaIO6c=
@size 10061
lib/coq/library/libnames.cmi
@sha SPPu0ijT06GRrKhJL3B8d2XTcwoPGObSHATCWNKewwM=
@size 22220
lib/coq/library/libobject.cmi
@sha 5Onz1GV3445ZcP4DWdPzEnVwnLKKJ3epATAz/f2MOVk=
@size 3249
lib/coq/library/library.cma
@sha ojx07h7IL3A8z4HHXmw9B9xF3PbS+JFqrQVhvobCPAQ=
@size 153158
lib/coq/library/library.cmi
@sha tQKqx9n/grkJ/utx1Medl+exvAIb6VF5Q4FC9gaO3EQ=
@size 3947
lib/coq/library/nameops.cmi
@sha VINB2InPNJcxkgP79Kj0edzQZSKtHUql4IMq4wDLNCI=
@size 3349
lib/coq/library/nametab.cmi
@sha 717kqRu1gXcX54CrwpRqypd1684pLpoK3ix07rYMfms=
@size 5712
lib/coq/library/states.cmi
@sha kQTGkYmx4ukUysci3yZYZHmsk5c+1RIQh4kT5Bm/RSg=
@size 695
lib/coq/library/summary.cmi
@sha Q4sI7PIRdT4sGpL1D1OBOKUJO2M2McQ+jpD5537dbM8=
@size 741
lib/coq/parsing/
lib/coq/parsing/egrammar.cmi
@sha +aTPvrW3SPsOM4hiy27q+GBljU48tTOkJMNviR6+J2k=
@size 4382
lib/coq/parsing/extend.cmi
@sha HhwYLYPJfChW0pnTSTH6FT7Wqe0h1IYixpf2Vr4z5iA=
@size 1903
lib/coq/parsing/extrawit.cmi
@sha r16TCFCZmbPrajB8osSgF61pHuXjqpYmmRo80wy50rY=
@size 4145
lib/coq/parsing/g_constr.cmi
@sha 4isbguhCtpvo7MOhqFqeXeA+USNA5Qeh/aTwstvSr4g=
@size 4582
lib/coq/parsing/g_ltac.cmi
@sha lzatCVm5bKAH5n3f8rT0oYfNz9RAMjEeLQHdNs6sT9g=
@size 2812
lib/coq/parsing/g_prim.cmi
@sha D7oqfjF9cF6MDer2gOAQ+srxympT+azLWE+UiUZSu+Y=
@size 2664
lib/coq/parsing/g_proofs.cmi
@sha 6hYULOngfbQcI5e5Tr0srrdl4gtwhovt2ghZaE1JwsI=
@size 3041
lib/coq/parsing/g_tactic.cmi
@sha mrIOUq/njCAuSH4o+shD8wJf6b4VkMN+964RrV1o1o4=
@size 5283
lib/coq/parsing/g_vernac.cmi
@sha ASrL6Gw1qQnVeEGNGVmYYavurtycqvmtDhFUeGJ8aqU=
@size 5147
lib/coq/parsing/g_xml.cmi
@sha 7XYPcDu132CmsMETdR49tvAFBLT4zfm5AIFy9fvAjLs=
@size 8648
lib/coq/parsing/grammar.cma
@sha 3zmpQA5kuV7nSSinubKSrN4DvRPAm0VZPjRbtpF48cE=
@size 1328048
lib/coq/parsing/highparsing.cma
@sha T9QqWyKNtgrSEulr6TQ8B1VXg0jIMP0COdrlXs8vo0o=
@size 486576
lib/coq/parsing/lexer.cmi
@sha PY2bWGXwudEakJHAZtyEkUxY6m2v8rEj+i8lubfBFew=
@size 9147
lib/coq/parsing/parsing.cma
@sha LshhAUClECQ5idKTrrEnOgOS4j6Q+1bs8wL1CrtYwpY=
@size 266478
lib/coq/parsing/pcoq.cmi
@sha s7cziNPvFxX6AmU2976OE/9NyHU97eQk/6+kFpCLJp0=
@size 11989
lib/coq/parsing/ppconstr.cmi
@sha 8M2jhE1uHJMjZvcldVEa9YKARP8nJurhZ+ZUIS003Pk=
@size 6845
lib/coq/parsing/pptactic.cmi
@sha +0mowliffT2jxCYEzZ+i42yNRSKMgv6pUx3iHei2CnY=
@size 7843
lib/coq/parsing/ppvernac.cmi
@sha Vv9wXGXVCZ8QjQs9rJ196Df4KQRxGk3pLVnJQcLeaFU=
@size 2691
lib/coq/parsing/prettyp.cmi
@sha qkdZVOW428Ae2Ssg2kRoM+3l7C4DpKxpoX6QhMjOHlI=
@size 6556
lib/coq/parsing/printer.cmi
@sha OAvX5EmshF02DuOZdYxASZr6W5En4bqJLw21+g3H4Wk=
@size 10589
lib/coq/parsing/printmod.cmi
@sha KzUu1M3dCFUFZiOfNtiNsXC40bx+cwzwW6M8sBrCi8Y=
@size 680
lib/coq/parsing/q_util.cmi
@sha A4BGd8DVSiG5NRl3PQCgRRstwA5jBHlTMXZoo8vhR/s=
@size 3784
lib/coq/parsing/tactic_printer.cmi
@sha O1Dnq8BeAzJm59FapzfaYI2KbGtc+NHy1DWJQsuN0jY=
@size 2659
lib/coq/parsing/tok.cmi
@sha nsmdcp0nXV5msf5G5RA2jnU2B9BCbyYDKHVVr8sKHwg=
@size 1119
lib/coq/plugins/
lib/coq/plugins/cc/
lib/coq/plugins/cc/cc_plugin.cma
@sha hDK0IVrdhNvLdlSE2VDYl9ug81FUZA9okDg1vNtpyMs=
@size 68358
lib/coq/plugins/cc/cc_plugin_mod.cmi
@sha qjV3LLODoKDFrgROMn6OeY3egDvVj2XbdgtrNBK05ig=
@size 2270
lib/coq/plugins/cc/ccalgo.cmi
@sha lxHbZEka27MzKuCuL5O/uOr6k4O1HN0Pd6FKlgOmMxs=
@size 16800
lib/coq/plugins/cc/ccproof.cmi
@sha yrAX6ryQvRv79rX8pf+Gc7OB26NA4lCDiHXHesrroAc=
@size 2918
lib/coq/plugins/cc/cctac.cmi
@sha hpRJAuXtgbnQgXvDjENNNrZR17saBSiQWzXM1b3ftO8=
@size 2655
lib/coq/plugins/cc/g_congruence.cmi
@sha r6oZCvSBRN5PlN8uze/F0f0dpHPcSgN2JwdpHbESoFY=
@size 3063
lib/coq/plugins/decl_mode/
lib/coq/plugins/decl_mode/decl_expr.cmi
@sha Z9J3CLkB8tXMUqRgIYh5hWPJwx3IqByyC195CerbQ44=
@size 5603
lib/coq/plugins/decl_mode/decl_interp.cmi
@sha UXk3GpC8bU4Th6Lu2mcZYKf+uCVWZswaAtJlsLkKlFc=
@size 3159
lib/coq/plugins/decl_mode/decl_mode.cmi
@sha tNgwW63Ai2K+5wYGfyc5zGegCm/84FJzgnMSVQhAMaQ=
@size 4985
lib/coq/plugins/decl_mode/decl_mode_plugin.cma
@sha +Wj9QoUto0/BCbriGt08VmVAqjC5/NfV1RobSDFsvKY=
@size 155206
lib/coq/plugins/decl_mode/decl_mode_plugin_mod.cmi
@sha kVTu/V9SymzxNo6qeGSHMQdURII/gqaBS/Kh5nmlFyg=
@size 2284
lib/coq/plugins/decl_mode/decl_proof_instr.cmi
@sha EINuMQhodMJDT24wQJ7XQikCLfDnSxl76t579XpqsAM=
@size 9050
lib/coq/plugins/decl_mode/g_decl_mode.cmi
@sha TcjTHLsrweoCkkBPKbdfemzAY+z9Gxw8lqLEefzSW8M=
@size 5191
lib/coq/plugins/decl_mode/ppdecl_proof.cmi
@sha 9TlH2gJ7O5z5eR9fuzEs7EibyRO+lDDQukfZBvPyRA8=
@size 2101
lib/coq/plugins/extraction/
lib/coq/plugins/extraction/ExtrOcamlBasic.vo
@sha cooQcHbboLFe4JLscU39SuSTrt5FKl8deKJ4wq5O83k=
@size 1517
lib/coq/plugins/extraction/ExtrOcamlBigIntConv.vo
@sha JnlvlKc9SSU4AR2UP1VFlqSkPYAtJW78biO339RS0Z8=
@size 18184
lib/coq/plugins/extraction/ExtrOcamlIntConv.vo
@sha tWa7WYJvLZ9A3o26DYZ0V5PDqQzn3+tkTQ+dFshnQlc=
@size 18311
lib/coq/plugins/extraction/ExtrOcamlNatBigInt.vo
@sha kMUDI+yAj26IBFh29L3jg0BfhaxqI9XfK7R5FNXxIks=
@size 13166
lib/coq/plugins/extraction/ExtrOcamlNatInt.vo
@sha S3QyzZCH34tGz9Lz/0eKUMirGHv+Qxut0AbVp3eWilY=
@size 13129
lib/coq/plugins/extraction/ExtrOcamlString.vo
@sha UQXtex2oqBqioBmDsS0SpLz5U8OnoVmnQodXGkfU9rM=
@size 12616
lib/coq/plugins/extraction/ExtrOcamlZBigInt.vo
@sha hN951v8RFgSQcBOI+vVAtxtLb8CM8u9l4+1jiq2z5j4=
@size 16614
lib/coq/plugins/extraction/ExtrOcamlZInt.vo
@sha O7dzpku6co30kw5DDy2q4VSnke5uXYe1RqTErbzKbvI=
@size 16792
lib/coq/plugins/extraction/common.cmi
@sha 91+iy7Ts8L8NHscYQtnxUK5D3zf84mYO3nQhL3LIBGE=
@size 4845
lib/coq/plugins/extraction/extract_env.cmi
@sha 0HnSeXzD4G4bV0A8wPQsVr67+mifFw+mZpZ90t7c4GA=
@size 1971
lib/coq/plugins/extraction/extraction.cmi
@sha 6YD4o83tBnEEJF4EiTL849VrflthYx3TitNyAN4/mdw=
@size 2472
lib/coq/plugins/extraction/extraction_plugin.cma
@sha Rs3n7wkZaoutOHDDSmbyAg8ocJAN96e31pQYDR6PwIc=
@size 277537
lib/coq/plugins/extraction/extraction_plugin_mod.cmi
@sha Mi6pH0i372Sw0Zw4RGv4JX+Y6+BUYwD1VAWnmJ+Dts8=
@size 2286
lib/coq/plugins/extraction/g_extraction.cmi
@sha mRYk/FGS0RonfMJJFQCqUaJenqvhDJQejZEGMeGIwY8=
@size 4382
lib/coq/plugins/extraction/haskell.cmi
@sha LF2SJsEO9RQtmrbqUUPMU/PdzbPpRKKCjQq5+upAE9E=
@size 1209
lib/coq/plugins/extraction/miniml.cmi
@sha SE221w4Dxno4Y74oCeeN4YDVixbiT1OwqBAEAoNpZ1k=
@size 6819
lib/coq/plugins/extraction/mlutil.cmi
@sha tvpe+u9ZYqX/KBtlasCFbdLUnQmT8KCotWLWRGUp1ZU=
@size 8136
lib/coq/plugins/extraction/modutil.cmi
@sha uKNlPElgMFQaE+d3+nMfyB55XA/7kJjeIk9gVYpwvHU=
@size 2614
lib/coq/plugins/extraction/ocaml.cmi
@sha AyyaWvysxv/4iH72tJbTLGdKJo0Ig0U6PKnrtSFeUIY=
@size 1203
lib/coq/plugins/extraction/scheme.cmi
@sha llS061B224lSehhF8RvbGiDHLCICuaiwcphCH4OMUx8=
@size 1206
lib/coq/plugins/extraction/table.cmi
@sha VyfV99D0UkJWxbYj/QpPUjW22uvYnBY3To/Gow7V0xk=
@size 16245
lib/coq/plugins/field/
lib/coq/plugins/field/LegacyField.vo
@sha JEEiL3zdgh746rnCJoOYN1jZmZ75Lt94Qiw0pzska+U=
@size 2126
lib/coq/plugins/field/LegacyField_Compl.vo
@sha GV2iiRJ0P1KfqcM+R/4h+QBi2qez5K6+IPyjEysspo4=
@size 5314
lib/coq/plugins/field/LegacyField_Tactic.vo
@sha KRBhm3Xn1gppHufJ5AaeqgSN7niD/FqVYHkRMIP7wZg=
@size 35074
lib/coq/plugins/field/LegacyField_Theory.vo
@sha Q48P8apqnlrmtiv6pOjwaoSJUsKqmzj0mZjm2YZV4fw=
@size 208293
lib/coq/plugins/field/field.cmi
@sha 0r81BbNFwwEAJ9DXyeGwFrICHVKlNi9ICNbpjEhQitI=
@size 10431
lib/coq/plugins/field/field_plugin.cma
@sha o1M/T7qksMPGVr21WwGA5TiIQWcBpy1nqp1SnaefuQY=
@size 23786
lib/coq/plugins/field/field_plugin_mod.cmi
@sha FLz2h/Z+2hK/LF4XKAgx/ZfRNvrv7zQ4WQWi29dPg9g=
@size 2276
lib/coq/plugins/firstorder/
lib/coq/plugins/firstorder/formula.cmi
@sha MvM/9UljfGQpdJOW28adoHi0laypZobJYqjJsuKFIlU=
@size 5357
lib/coq/plugins/firstorder/g_ground.cmi
@sha lukSxXs91+9F4ARUr83PRvEX4s4y9admVWF5VfJWiTA=
@size 6014
lib/coq/plugins/firstorder/ground.cmi
@sha 1eSLxZVup+f7BrmqKcdLcMx29MuphZVCkv7ayAzQbCI=
@size 2846
lib/coq/plugins/firstorder/ground_plugin.cma
@sha 85/hWYOPX7Ikf0pmG3fXhzzPY5JQ7enBY13hwGB8s5M=
@size 73580
lib/coq/plugins/firstorder/ground_plugin_mod.cmi
@sha br56au2u8qT8cA1Qx+S1IYq4L2uEmgqUt5/Ra3MCxO0=
@size 2278
lib/coq/plugins/firstorder/instances.cmi
@sha ZY91vr3/82AOqRjSuTP9I+by6oc2YfXamQe6/2Tta1A=
@size 3220
lib/coq/plugins/firstorder/rules.cmi
@sha gqu9hWcpXDFLnVIdrLLpqbU8Gk/Gftga3XEiSiJT4CQ=
@size 4433
lib/coq/plugins/firstorder/sequent.cmi
@sha 0Ykdx2FjYGl/t2F3wmTjCqYagUWQqjaxBDok9PNnCjA=
@size 11452
lib/coq/plugins/firstorder/unify.cmi
@sha TSsi2VezTOmZPb2WUWX1/C54qSqPHApmyxNYojAigpg=
@size 1774
lib/coq/plugins/fourier/
lib/coq/plugins/fourier/Fourier.vo
@sha I8x4FE4+JA6htupDxE6y+lehJUxrx4zpk+zoh/gRHW8=
@size 13714
lib/coq/plugins/fourier/Fourier_util.vo
@sha MNkBz8cbbLUQ6lRYG+cIihwfnD7B2BDdcqrPJSvSP+Y=
@size 28421
lib/coq/plugins/fourier/fourier.cmi
@sha +4CTKF6NCgQGzeEVLfMB8Y4E1vl9b4IwR8XSJw0VVh4=
@size 2670
lib/coq/plugins/fourier/fourierR.cmi
@sha InjY0QfPFB71yP1VUDhEAQZTbNkgZeI/WiuP04ps+H4=
@size 11762
lib/coq/plugins/fourier/fourier_plugin.cma
@sha yhNipUxFAdlbsKAGifS5uUb6z7TILUg14HT6GxpsAbk=
@size 37188
lib/coq/plugins/fourier/fourier_plugin_mod.cmi
@sha IbTGUmM8opiySfdKmeMOYcbmf9R7lJuoT4NnAWD86dc=
@size 2280
lib/coq/plugins/fourier/g_fourier.cmi
@sha 1JoRCtyyMpzflyqlsCjN2qgxjv6vbnB/v3h91QLtkYE=
@size 3683
lib/coq/plugins/funind/
lib/coq/plugins/funind/Recdef.vo
@sha PVomNgwL9XEq2ftxToAwhIf0aQ3SCc0Abh/d8ORhJsQ=
@size 6786
lib/coq/plugins/funind/functional_principles_proofs.cmi
@sha i/38mgI3pPEgd88pRLsYkV6wb2p75BoDZggvTFVHDI0=
@size 2817
lib/coq/plugins/funind/functional_principles_types.cmi
@sha GhcegAfaiw8JUY5gwyQDmpx3nnPwFI5OsYSOONoPx10=
@size 3422
lib/coq/plugins/funind/g_indfun.cmi
@sha PRdBzDif7ChVJa+wRTXODMBqEesDa2Fi+RRTA6gBCYs=
@size 29295
lib/coq/plugins/funind/glob_term_to_relation.cmi
@sha bknGO2H1rF/E2K7tcLCZcMsBX3wyth00afqF/tD8HCU=
@size 2119
lib/coq/plugins/funind/glob_termops.cmi
@sha wWZUfSntv2AKiq/UMpIDIXkgWm9aHkNPxmTfLPsfOaU=
@size 7218
lib/coq/plugins/funind/indfun.cmi
@sha YobFVmn+qFiz8/SrxLVlILWRVod4eJ5xvb7iF8TGIl0=
@size 3314
lib/coq/plugins/funind/indfun_common.cmi
@sha 33Fp7aQODsSg9QXpiyslN+/Qd+fBKWAA16VyMBOZaWI=
@size 7001
lib/coq/plugins/funind/invfun.cmi
@sha FDyycuneWw5/4FujPXyQSy6Y0eco4mJ/ugouVcEtPVY=
@size 9134
lib/coq/plugins/funind/merge.cmi
@sha 3z2qjYw7Bv2KCjE7kFQKG3H9kdl1JgaQ3reiaCb8lBI=
@size 22042
lib/coq/plugins/funind/recdef.cmi
@sha KbneOmRzm1OMOJnyklnxnnMYmXscjLFWJkfvrJFJCRw=
@size 21432
lib/coq/plugins/funind/recdef_plugin.cma
@sha lF0Qq3Y5Ep3Ea8HkfdKzxFGE9Ovdb0ueicWjCVTFVJA=
@size 375839
lib/coq/plugins/funind/recdef_plugin_mod.cmi
@sha 1j0YVPp106o4kx1fPVGvCpJyuDrmRHz3zMkxTGbCkJ4=
@size 2278
lib/coq/plugins/micromega/
lib/coq/plugins/micromega/CheckerMaker.vo
@sha p1e75M0q92E/LS/rftCmqzv+Snbm2x6FEVijFIaH3B8=
@size 598
lib/coq/plugins/micromega/Env.vo
@sha xIpk8d987rUTsLrO3/6eRqFdV+EnAmspiuzqP+iSY6Y=
@size 22474
lib/coq/plugins/micromega/EnvRing.vo
@sha s2MllH2VsZC/uSWSMBsK7Xi4AxbFzldc81TyID31Hu4=
@size 385798
lib/coq/plugins/micromega/OrderedRing.vo
@sha HbGfjYljMSi5yKg7/UpxSiv/Uc5ztaUuscxcsMyfwEE=
@size 168153
lib/coq/plugins/micromega/Psatz.vo
@sha uIb1JSmbmPj8hS+K4Aur6uo5jaZMen4LEkLukrHurRg=
@size 21234
lib/coq/plugins/micromega/QMicromega.vo
@sha RVkYwBKXSfGRdX43S06xx463PLUiI6edskfyytHBFDs=
@size 40802
lib/coq/plugins/micromega/RMicromega.vo
@sha BN3OZFzfrPuZN/6yKEyWBPydq16H2CCm0tVXhun2bvY=
@size 83435
lib/coq/plugins/micromega/Refl.vo
@sha dl8ss8xsjLG+kIyokkvTaOSjnUMkL4+M8aSYo0QYn6U=
@size 15853
lib/coq/plugins/micromega/RingMicromega.vo
@sha cYhing1LOApXZl41PGgqJ04xNats7/vymvfraEYCFfY=
@size 316261
lib/coq/plugins/micromega/Tauto.vo
@sha I0y3UkqdxuCF6rg4uUIF9KtpPHXJmKzKQ1rf1WfGiv8=
@size 76233
lib/coq/plugins/micromega/VarMap.vo
@sha IAvUWaO2CLNtbZc7PW6Ywd0ykAlT4IANV8uQdxuqA08=
@size 17033
lib/coq/plugins/micromega/ZCoeff.vo
@sha H8P0BikX0URN0SL6AkBcV8JTfa6MW8Q5Ga80xkhWyls=
@size 58045
lib/coq/plugins/micromega/ZMicromega.vo
@sha qh6ZYrGUG73EpGy2o9rcbIeDUSuZUKOSN/S3RHegDDQ=
@size 273848
lib/coq/plugins/micromega/certificate.cmi
@sha IQQVzaYw/hcsRTZManEAIpkjT7knrw61nECUqu9daAI=
@size 70597
lib/coq/plugins/micromega/coq_micromega.cmi
@sha IrYEo/PbqYEKI4AaX3Nm7X0YECHB36ThzN1Niuh3Wbg=
@size 96347
@bin lib/coq/plugins/micromega/csdpcert
@sha U9a9x+WNgyd2IUdiuqKSpn41CsNTwvkkODUlja5HFys=
@size 1345784
lib/coq/plugins/micromega/g_micromega.cmi
@sha Vc8dtZLYBU+A4XymoNZApZHkhwimTk8xjHPSrCqxhnQ=
@size 4425
lib/coq/plugins/micromega/mfourier.cmi
@sha iUdCHxQufDCfYk0GNo/zCNwdObRsrNtP6fMRrmxBCW4=
@size 31193
lib/coq/plugins/micromega/micromega.cmi
@sha nRXGGfSgE/nbsgOxTEBarbEu1LXC0PP7DtazskU5OtM=
@size 54993
lib/coq/plugins/micromega/micromega_plugin.cma
@sha 24aCnuWA1ARzgAWnHOMn+Qa9GLdb+ZzhLnSC1FIgC3k=
@size 286041
lib/coq/plugins/micromega/micromega_plugin_mod.cmi
@sha u+Zp6biHgasbG8HiYRlrY5TlFDFKi12YLgovIK5YJKM=
@size 2284
lib/coq/plugins/micromega/mutils.cmi
@sha CavCtGgYntMTL4aRmTIPUq5YyHvj3fo6h3chmxRJNd0=
@size 8774
lib/coq/plugins/micromega/persistent_cache.cmi
@sha ddP6silJhG8NQR4vt9sioHAVtBUzErkma4F8QhA6kak=
@size 1620
lib/coq/plugins/micromega/polynomial.cmi
@sha oNIK27TsmYYnFocLwt73hN6H+sA/5qML+e5WpO4o7XE=
@size 25019
lib/coq/plugins/micromega/sos.cmi
@sha vp1Wh+pjZC3tMGXMwA9Wobi7mxqMo7ajs+DlGtO/Vs4=
@size 1748
lib/coq/plugins/micromega/sos_types.cmi
@sha wjHsWHAkwNVjv6PhH2K+LrVaSI/AhgrmvImJlroCkIw=
@size 1569
lib/coq/plugins/nsatz/
lib/coq/plugins/nsatz/Nsatz.vo
@sha 8O9E7+VuGDgXApUH3AXGOQS/wu1hbKdE7+yzrtYx6rk=
@size 125385
lib/coq/plugins/nsatz/ideal.cmi
@sha 8Izb0q0DGvThI0TEQhkctC0R0MnCPuAqQSrN64J3Od4=
@size 21369
lib/coq/plugins/nsatz/nsatz.cmi
@sha 65b1HWjoHuRaUut6XB3XdF3TxduehJZX94FqFAMb4YE=
@size 34291
lib/coq/plugins/nsatz/nsatz_plugin.cma
@sha d5H3JMZAkEUESZekyG18rtEE9LlZwHC+D3qh+kKhp8M=
@size 80183
lib/coq/plugins/nsatz/nsatz_plugin_mod.cmi
@sha gX/G+cfP02ezioEm9i461gJbrpiPf9RLPK9mi3g+6ro=
@size 2276
lib/coq/plugins/nsatz/polynom.cmi
@sha QE5UOZPJ4vSssOSdlL7T8AuPyutckqH2zaloF35pbt4=
@size 14993
lib/coq/plugins/nsatz/utile.cmi
@sha RiG6VOCGGzSdWDqv3RpVdfAbd5/5NR3n2wRJ37+iuq8=
@size 1434
lib/coq/plugins/omega/
lib/coq/plugins/omega/Omega.vo
@sha /gkpykG7Q3zMlxUucep99GA3IUJCiYYbjrz8+YrVF1k=
@size 15971
lib/coq/plugins/omega/OmegaLemmas.vo
@sha NbaGd2AC7o1J3y2rtw4Bvt53yL9fHOhottNP33JPwTY=
@size 55877
lib/coq/plugins/omega/OmegaPlugin.vo
@sha tR3aU2fi/FdhtxSL73V1qk5Cc9FZjtsIkBey6JT+LNY=
@size 627
lib/coq/plugins/omega/PreOmega.vo
@sha VKjofsjnoY5VmyLvrEhWtHPHXxGrYBZ3XMjUWGkOPGA=
@size 53018
lib/coq/plugins/omega/coq_omega.cmi
@sha v90tr7UIMnYatziTeCh7lzXU8T8FKdw19YNd68jfJSs=
@size 39485
lib/coq/plugins/omega/g_omega.cmi
@sha N2XXcrTIgHgR6f7+8HIVmeT6T5PFk9IhXerPdxSz5Vo=
@size 3605
lib/coq/plugins/omega/omega.cmi
@sha oTfNhB61yb2v9DHHuVrCr/hTdmWtGi7CTw9dKtnJXuI=
@size 12064
lib/coq/plugins/omega/omega_plugin.cma
@sha goVLUUAuouIC1I4VaH+n1l3PrdKs2qj1H90jigBEmRI=
@size 151248
lib/coq/plugins/omega/omega_plugin_mod.cmi
@sha MtVD583Rdoi3HE/5+E5KCVbz30N9hff3Sa1G0EDxRPc=
@size 2276
lib/coq/plugins/quote/
lib/coq/plugins/quote/Quote.vo
@sha 5O6m5/tEuWMFAbaYV7Uy5uXKJCQVvp/U5qPk1oW40Yg=
@size 12082
lib/coq/plugins/quote/g_quote.cmi
@sha /4MGz/4mgqhV2lfzw3W8kaiJhWQJ1OKxLTG061zzz8I=
@size 3233
lib/coq/plugins/quote/quote.cmi
@sha RX0IViYCg4CRHR9pzNyr7eSd+061FeKVvgt+NZWKQD8=
@size 9713
lib/coq/plugins/quote/quote_plugin.cma
@sha S66fxC5qlgoUF7QtRHVX/BqJe3DttkxWPGwhclmseZ0=
@size 23781
lib/coq/plugins/quote/quote_plugin_mod.cmi
@sha 3Rw33GCadjV757j9PxWZJ3hNHIW7mnki1JrGQmjq0R4=
@size 2276
lib/coq/plugins/ring/
lib/coq/plugins/ring/LegacyArithRing.vo
@sha V6bFbO6kkxspYMfvM2wgWcrxSrRcjb8pbDH2Yuw3yj0=
@size 18905
lib/coq/plugins/ring/LegacyNArithRing.vo
@sha dccVYppLtktvp6LoaZolHpphHOmRAOP+YJMEW4GzJdw=
@size 16350
lib/coq/plugins/ring/LegacyRing.vo
@sha cw1T+/jyRVoqrbVyOZfTNgsYpvTUaqHEv6T+k82xJTk=
@size 14254
lib/coq/plugins/ring/LegacyRing_theory.vo
@sha qeYVEwT0xn2lZjTpzh4YLJfvDUY41O0o6r47/xtHXFE=
@size 82200
lib/coq/plugins/ring/LegacyZArithRing.vo
@sha 86OKryi9L2DVGevH7aix4PNbZ2P51JSn5Odb5HoWHQc=
@size 14828
lib/coq/plugins/ring/Ring_abstract.vo
@sha NnT5d1OumOg9lTqZRd9dPnb9bQFMefaRxodoGMDrIYs=
@size 75198
lib/coq/plugins/ring/Ring_normalize.vo
@sha LO86pnCUI8ddHcTJ0nZfBEde7PLH1xuiAK+yX7Yi2WY=
@size 107299
lib/coq/plugins/ring/Setoid_ring.vo
@sha RCN4nD5h6GKgz4yAKWxvnjkL9OsEdeuFhqTPUsw+CUI=
@size 1388
lib/coq/plugins/ring/Setoid_ring_normalize.vo
@sha i0LPnZtcTBzYof2bI2U9/bOnC1QJsIB6GkV5o6kaxxg=
@size 155099
lib/coq/plugins/ring/Setoid_ring_theory.vo
@sha RYbeZ0EUbobnN+Q2qnHIlMpHjoBzfUXE0d4bq4A953o=
@size 121307
lib/coq/plugins/ring/g_ring.cmi
@sha F3xnnhLo1MhYGNTjmRL8BV2FLt5XqHb3tnRAQYBxqmU=
@size 3808
lib/coq/plugins/ring/ring.cmi
@sha eeFYDAYHf3VyK6apYbv/M9En9Yj02gGVBbLdwdxMfqw=
@size 23177
lib/coq/plugins/ring/ring_plugin.cma
@sha r+KqVb1ce1sNIfvGwut61alp2hIaz+UOilxZO+eZL28=
@size 64510
lib/coq/plugins/ring/ring_plugin_mod.cmi
@sha VX9CrmjdCw1c/7khm89uvWRk8PyGZRNKvFgC/EiBPhc=
@size 2274
lib/coq/plugins/romega/
lib/coq/plugins/romega/ROmega.vo
@sha isVHLVUQ53SBRl7TTFvOd4u7f6FvTTOi+GuDUNWdIOY=
@size 11880
lib/coq/plugins/romega/ReflOmegaCore.vo
@sha v72Uw6jgvNuZsKc0bbKgFFoIEOVCDPMdAb9Wdqs9Fdg=
@size 555543
lib/coq/plugins/romega/const_omega.cmi
@sha XQldkCF/i38bZwjR5iw6K2hgV7Ly4UOOHOtBzPQ6wlI=
@size 11759
lib/coq/plugins/romega/g_romega.cmi
@sha 713LycURsWQhh9iqkfrCfshoZ+9I8u4O2GcxXDms6yQ=
@size 3300
lib/coq/plugins/romega/refl_omega.cmi
@sha FKRsrrs8aMVs43Fc3XiHsw2XKuDk8b9lQOGqDQUlsoM=
@size 26580
lib/coq/plugins/romega/romega_plugin.cma
@sha bOFkIixOWW2zeG6K+QHMXBkAN16vlWJx/Nn6VQ489Qo=
@size 87393
lib/coq/plugins/romega/romega_plugin_mod.cmi
@sha rosR1s94+huy/ryx5gh4fu6Hawy9WMeh60JjwXWSCaQ=
@size 2278
lib/coq/plugins/rtauto/
lib/coq/plugins/rtauto/Bintree.vo
@sha QryD/joFYVesQlkyvBAgf1160MCJUPkAXX0tqIvrplg=
@size 80848
lib/coq/plugins/rtauto/Rtauto.vo
@sha uPrOKZOKL8uu3YAPVu1Qy9YG0e/0ID8eG2sq1a092c0=
@size 75336
lib/coq/plugins/rtauto/g_rtauto.cmi
@sha DPIsOQK8G2UlCYDYcxGuV7hF/Xur1WthkpMX+cFgYV0=
@size 2869
lib/coq/plugins/rtauto/proof_search.cmi
@sha RbbfnixgVVxFR0fZkU4wut64xMT6TJnlMEcYK2Gt2+A=
@size 1744
lib/coq/plugins/rtauto/refl_tauto.cmi
@sha lBfgDeMVaw2eGhcqK+cBg7Ym+qlh2xSzB4qsBpixK38=
@size 3037
lib/coq/plugins/rtauto/rtauto_plugin.cma
@sha qsNapnfRbUKbBEwyQuN/l4Nug5fr97hHFj4mNCsf3gU=
@size 40172
lib/coq/plugins/rtauto/rtauto_plugin_mod.cmi
@sha 3lmwuz30RNtq5hnTB7AF/Vau7M+lkkzl98GkrzUHtIg=
@size 2278
lib/coq/plugins/setoid_ring/
lib/coq/plugins/setoid_ring/Algebra_syntax.vo
@sha VcRXL1MPKDpqeRTyYQRhoYoAcc6gQxP9rZi48Raxmd0=
@size 9891
lib/coq/plugins/setoid_ring/ArithRing.vo
@sha jzIKMDSFDgfovmc0/UstMUHOZqzieuiDjr61JVp62RQ=
@size 25075
lib/coq/plugins/setoid_ring/BinList.vo
@sha ZeKoZWIh54A3EpFt4rnEmZ5eI4lIGtQCag41/vqGAvk=
@size 12323
lib/coq/plugins/setoid_ring/Cring.vo
@sha 69kJnYjei41ENotR35JibFmjBw/w+nsCh4SO2rK5pbo=
@size 120357
lib/coq/plugins/setoid_ring/Field.vo
@sha yKhsgjJYZTI1kUyGasglAYNBO8UxDvuUAwcWywysXbg=
@size 11550
lib/coq/plugins/setoid_ring/Field_tac.vo
@sha VT2jiNIVwd3nRLZhbj9JMkZY1li1a0tmNAe6jnBhD/E=
@size 54828
lib/coq/plugins/setoid_ring/Field_theory.vo
@sha JH/AtZzE//YFVVJzMbajLPvl6Y5w27UV2Jv2sgII/cc=
@size 676551
lib/coq/plugins/setoid_ring/InitialRing.vo
@sha jVqMbUKYuw8Zc/BBxfIzqRGTbhXthtuEwFuQrHenvyc=
@size 188169
lib/coq/plugins/setoid_ring/Integral_domain.vo
@sha thP1GOD2dx+reD90Jwlz/ECRctIPB2rEe8+SjuPi8C4=
@size 59992
lib/coq/plugins/setoid_ring/NArithRing.vo
@sha 7UZeYxCQSkMWceyMvBRyDHIyDDOyVUHP1xDvOAVf9hE=
@size 22614
lib/coq/plugins/setoid_ring/Ncring.vo
@sha Bm08hvM1yd8p5PRmFFw+8yC3EBlJYAhKR7YkzQiPCww=
@size 265862
lib/coq/plugins/setoid_ring/Ncring_initial.vo
@sha uC+h+fQruqBMHFVvBWxhKZNe7EOII7T/TU3ZTBqQm4c=
@size 164409
lib/coq/plugins/setoid_ring/Ncring_polynom.vo
@sha S2HTiM9fTVVuMfpkvo/J1tmdw8re3K8FBJKiHVzzOwI=
@size 366707
lib/coq/plugins/setoid_ring/Ncring_tac.vo
@sha M4/jmSIfo1JS7XPA9HwjIAPMll01ISEPJsmaOHTSdnI=
@size 110277
lib/coq/plugins/setoid_ring/RealField.vo
@sha ZPoubj2wMK7Ojq/hZJLLXhSnRmW1eEvRSEElMaQUQjM=
@size 58157
lib/coq/plugins/setoid_ring/Ring.vo
@sha DknscBCaIq7E4m4X8DJ/kD1jE/4C8Z1clvT1KdcGG3Q=
@size 25354
lib/coq/plugins/setoid_ring/Ring_base.vo
@sha AT+EWWDYbFnKEmYHMROrpE5q9DchQIFsaZ5to7rHR74=
@size 11369
lib/coq/plugins/setoid_ring/Ring_equiv.vo
@sha ehuDSNmuE9DjEynhkKgk+R7Gbfv7dZhHIQuXZjISEiU=
@size 14743
lib/coq/plugins/setoid_ring/Ring_polynom.vo
@sha wP4piiSLoTPDMqo8NESr9C6EnL8rEyIC+wg8cb06wPE=
@size 564902
lib/coq/plugins/setoid_ring/Ring_tac.vo
@sha mAuhLBWcHOe42EDg9AivpJP3SuiwZ+NGMrvHK1DuUYY=
@size 39570
lib/coq/plugins/setoid_ring/Ring_theory.vo
@sha AXxPdlI4zDUU+PGJ8Uv+AQw+mUQTAwsBFtJ3dMJ9eeE=
@size 236560
lib/coq/plugins/setoid_ring/Rings_Q.vo
@sha jaB72ApX8wy0Upoy17ETTh28ZC3QP3mAJpKvqAmAEeA=
@size 20408
lib/coq/plugins/setoid_ring/Rings_R.vo
@sha KUQc3bTxLapoBddwI5V82QuX9VyLTlhvoZX8qoVpjuI=
@size 30554
lib/coq/plugins/setoid_ring/Rings_Z.vo
@sha lgNyfbjCAgs/ilB7mSvVazfaJr84e/Yvu+ARPGOWKHg=
@size 15664
lib/coq/plugins/setoid_ring/ZArithRing.vo
@sha gss6a2TVoT4nbvUcAh0awq2YrZK/agf0UfA4RON2SJo=
@size 22177
lib/coq/plugins/setoid_ring/newring.cmi
@sha RuRfZnuQBmHTQkE0bnYft98Lvw1a0XhCk2RUXspKAdg=
@size 28506
lib/coq/plugins/setoid_ring/newring_plugin.cma
@sha IJRXXMQo6JCBog035UJNxfM7WFmJtS2l9b5ZO7vQ4CQ=
@size 75591
lib/coq/plugins/setoid_ring/newring_plugin_mod.cmi
@sha PRiQaIyQVSQXigGx5pPMuwx18FDmKU7g62zjtJZPyWA=
@size 2280
lib/coq/plugins/subtac/
lib/coq/plugins/subtac/eterm.cmi
@sha pT0jt0j/FHwd8tE2rLXSsKtiL9LHriHCOAcriGVjsac=
@size 3949
lib/coq/plugins/subtac/g_subtac.cmi
@sha lv/EULxbTLVb1uFRE7rK7zOySoMrzmxwcRfLO91eVbM=
@size 21023
lib/coq/plugins/subtac/subtac.cmi
@sha mqR4PudlqbPTYbza+yw4Ijnz+a1o+KZUDZ0RqDP3H9s=
@size 2453
lib/coq/plugins/subtac/subtac_cases.cmi
@sha SBvTNkp9AFt9kHGaY1UoiNQciJwOF5GCjGNIlcEm7YM=
@size 1836
lib/coq/plugins/subtac/subtac_classes.cmi
@sha rf95B9FfaAAl2hQROzg1weXpFaER2DtNTyWDq5k7hro=
@size 3391
lib/coq/plugins/subtac/subtac_coercion.cmi
@sha x40Uf8NF+t0lorZx4wlg1Ufm5Ust10pX4+lDdqTED34=
@size 1914
lib/coq/plugins/subtac/subtac_command.cmi
@sha 2Zy2tkh19ZBPG99fHo+uVKxY9h5zx7IaaLzbbtlaVtc=
@size 5615
lib/coq/plugins/subtac/subtac_errors.cmi
@sha Qx3L+VK3avK/mTmunkfOSkFsI2Ta2H8mkinILoP5l5k=
@size 1911
lib/coq/plugins/subtac/subtac_obligations.cmi
@sha U5FqQJX8durBG3YOOkZSCWQ7c8CEM0uZXaYYw17ERXQ=
@size 6958
lib/coq/plugins/subtac/subtac_plugin.cma
@sha 6sOVKyz01R2OK4fbbMsHOiHM4r5NEcZKzH8UsetiseU=
@size 264452
lib/coq/plugins/subtac/subtac_plugin_mod.cmi
@sha z8I7n7+RiAzfgcF/Xit6R5YmpBgYylA8eD9YOj4/XQE=
@size 2278
lib/coq/plugins/subtac/subtac_pretyping.cmi
@sha i1OKU0HJWaqIVG5TCO/S4/sR+QnFCgC7JBYwzTnILzQ=
@size 4051
lib/coq/plugins/subtac/subtac_pretyping_F.cmi
@sha KL05AEw6spPCFLYhTl3yLsAtgdKRN9ad5eA0TVlurVA=
@size 11419
lib/coq/plugins/subtac/subtac_utils.cmi
@sha 40Phw4kJBYWBZIeQDV+Pllv/nx9eVF5aGG+wXeOQPxI=
@size 11103
lib/coq/plugins/syntax/
lib/coq/plugins/syntax/ascii_syntax.cmi
@sha NaaOUzYo91bhpXY/dsNOhaSKWiRqSBcSI9dKDYU7tRk=
@size 3717
lib/coq/plugins/syntax/ascii_syntax_plugin.cma
@sha YgkISmX3GN0ibf63SJCEeb7AxxAYFC5lOppx0f+vI6E=
@size 7964
lib/coq/plugins/syntax/ascii_syntax_plugin_mod.cmi
@sha bvYQ30Q40tZ+eXG4Bm4Xofo1tWZjhh5XF3JQoXGVt4o=
@size 2290
lib/coq/plugins/syntax/nat_syntax.cmi
@sha zuQF9xMxoktzbnHfpFVFXRVez3uPO1c8ZmNKay87OMU=
@size 2688
lib/coq/plugins/syntax/nat_syntax_plugin.cma
@sha Ub7KR72PKoZ1yfSswA8VijgWzx3E+0Bktz2Q97dCYpQ=
@size 6771
lib/coq/plugins/syntax/nat_syntax_plugin_mod.cmi
@sha Vj9W63l05Mq7ZgpseMvnDNqTgfr9etEXSGXU+/UYQAc=
@size 2286
lib/coq/plugins/syntax/numbers_syntax.cmi
@sha EHDMcTYzTAirVTXUNFy2qZl4mgFIkrpASaMUVOdrmBg=
@size 6435
lib/coq/plugins/syntax/numbers_syntax_plugin.cma
@sha TX+8TZsDx13xeJpyjsuV5t+48+urCGAbq+GNLn3oLDk=
@size 14141
lib/coq/plugins/syntax/numbers_syntax_plugin_mod.cmi
@sha xAIciNqPUXYzoEwZP+rVOtPLlQ/LaFlQ5ICRFSghGHc=
@size 2294
lib/coq/plugins/syntax/r_syntax.cmi
@sha KpQoUvuyaK/S29G+WnwEM2XKTfhDoa2tvRxJIBxEUto=
@size 3615
lib/coq/plugins/syntax/r_syntax_plugin.cma
@sha gOd/yUmD7pDZu0tkmn+v+B2LUgaLNV7bgA+IwO1FOQk=
@size 10129
lib/coq/plugins/syntax/r_syntax_plugin_mod.cmi
@sha EBRrN5lYfUO2gk0lHz20Jgtzt3hrfI5Jp8XCCmD37GA=
@size 2282
lib/coq/plugins/syntax/string_syntax.cmi
@sha l0LtCMTEvHQyJE7OTSpAktrmV08rxexhDB6wdif7DjY=
@size 3172
lib/coq/plugins/syntax/string_syntax_plugin.cma
@sha 0JPzhhXVFOyXS1t6HRZu8QTKY/qHx5345x4Nq7Ptls0=
@size 7265
lib/coq/plugins/syntax/string_syntax_plugin_mod.cmi
@sha fJT6C3aNxa6E+ZHr4vyoSHImGHCY62krkztej4S29w4=
@size 2292
lib/coq/plugins/syntax/z_syntax.cmi
@sha Pebh8Z8l+KI+HvMxhq4VjVS0iTxKVBI6hA3xKAmb71o=
@size 5498
lib/coq/plugins/syntax/z_syntax_plugin.cma
@sha LHmcFtgzx8MUoC9NGw80pSByBwbi1DehWEgRaNTfLTg=
@size 10254
lib/coq/plugins/syntax/z_syntax_plugin_mod.cmi
@sha HEqZMaobh+Z6WQakK/sqy7aIct20wrXrHNhuL1hp/wc=
@size 2282
lib/coq/plugins/xml/
lib/coq/plugins/xml/acic.cmi
@sha XGpt5hlQ8HMs0QzgHwKPE+nVR2uXxEa1NlbmCbX7Z1c=
@size 6676
lib/coq/plugins/xml/acic2Xml.cmi
@sha bqbwhfAzJCap719epynnZrRmTht49zm7nksQXTALIUo=
@size 3877
lib/coq/plugins/xml/cic2Xml.cmi
@sha 2yBJkvnfjjy/0DigbbGry9lzEzzV+neXR2pTq8Zv4Z0=
@size 3435
lib/coq/plugins/xml/cic2acic.cmi
@sha KuVbQGOl+4/tx4GQjOiccfbDfNlAJCZYn5/meABncbg=
@size 28606
lib/coq/plugins/xml/doubleTypeInference.cmi
@sha UnnGF2qDvK4sgiSxLc93iMhTgHlUO2T0L1KftKHwJkY=
@size 2244
lib/coq/plugins/xml/dumptree.cmi
@sha XI22wiuK3CeezEw/rwnsWmhLAWS/4s0bM/sF6k28ALQ=
@size 4639
lib/coq/plugins/xml/proof2aproof.cmi
@sha 72jxjsclU5E+KlCBv2aLXGVzgkCNtnNNmkchSEJXCko=
@size 4049
lib/coq/plugins/xml/proofTree2Xml.cmi
@sha 0bfG5OBEM1d5lzTXkLtytqKP7QKNca/sxANAr4gcRKM=
@size 3794
lib/coq/plugins/xml/unshare.cmi
@sha v4/DNpJltu79qXtjY4E0FFkdESric9SBo6s4RSNg0s8=
@size 313
lib/coq/plugins/xml/xml.cmi
@sha QIhkRdTB5qBU7iNuusto813jaQmVfz3g7EG4MHk45ww=
@size 1205
lib/coq/plugins/xml/xml_plugin.cma
@sha v1m1z5OmqWniBkrxLR21g92CsdN+v9ZEjPfemdvikaI=
@size 121441
lib/coq/plugins/xml/xml_plugin_mod.cmi
@sha /tIu/wWjFXYhC6C2df6K8fCdrDQr/T6mOyqjxRnHelI=
@size 2272
lib/coq/plugins/xml/xmlcommand.cmi
@sha AmLbSKNdgvAJDh1/j2XBuYDzT6rop2+2L374oUsb85s=
@size 2768
lib/coq/plugins/xml/xmlentries.cmi
@sha hz1+IsdJbsN/IXUIUGx+6xwC3MUquEaI7EyISM3lcSA=
@size 3238
lib/coq/pretyping/
lib/coq/pretyping/arguments_renaming.cmi
@sha NfU1JPHK/qtK+QklFPx6Do5kY+DDRPRW/UUbeoC0NWI=
@size 2241
lib/coq/pretyping/cases.cmi
@sha n/qOOgcTqYjwqXhTb2EyJMTJMXy66ju5noUZJbZ+tOE=
@size 4409
lib/coq/pretyping/cbv.cmi
@sha zAz4CV5jz/1i8EosquyARMM5VJgN4MRQl/EMQq5+RFs=
@size 3867
lib/coq/pretyping/classops.cmi
@sha 9mB5vqbseksI1O2y1DCI/HmfGew5E/PyDrHIteN9Ih0=
@size 5259
lib/coq/pretyping/coercion.cmi
@sha BH2PlbxY2qqpK47ZTKdzZ3ba8SE2Ic/ccRDcd1rGdU8=
@size 3533
lib/coq/pretyping/detyping.cmi
@sha tf9BYYOdqiJv59cPxVblJ8THl3rUdsgySBaKAnXhNVg=
@size 5523
lib/coq/pretyping/evarconv.cmi
@sha IdnQYW3RvnJcyiTHDXFy3RDZOtsd/Jnb3ILj12c97Zo=
@size 4508
lib/coq/pretyping/evarutil.cmi
@sha BXUsIf4e0zHyfBk+r341KmlQb+MMzM5HtsQTxHnzwIM=
@size 13868
lib/coq/pretyping/evd.cmi
@sha T0cGWm5ilENEYfbC5Fq9STQvhj741ciOHSOanD2OS5w=
@size 25301
lib/coq/pretyping/glob_term.cmi
@sha PxAjdx3ajquF9QWl36Tc9MqnnpDC2pvuztdreIvDlww=
@size 8562
lib/coq/pretyping/indrec.cmi
@sha omwFhkivsYjclf8b0I7aerMlEO1dSzF2TwlKgLJu5kE=
@size 3458
lib/coq/pretyping/inductiveops.cmi
@sha 3Z3jB/UmmBoLsB70B2V1+hhYT93akuYLFcLvI1jw22s=
@size 8988
lib/coq/pretyping/matching.cmi
@sha F+lFseAbCQa9SvFfydwAXHTq92IA+hVdVQCvHBMdil0=
@size 3339
lib/coq/pretyping/namegen.cmi
@sha 8CaS8uKyyQ2mmL7G9I/ubGAcMLW1OR8eOVQ3xShjcmA=
@size 6427
lib/coq/pretyping/pattern.cmi
@sha 3rLTdSLHGTGVru74mmJ06AUvsWqcZ5HzFHosCDBHZrY=
@size 4280
lib/coq/pretyping/pretype_errors.cmi
@sha udJr/0BKE/CShDQx12357YqaWKIwwnQvnN0U+5Py6iQ=
@size 9402
lib/coq/pretyping/pretyping.cma
@sha lGFasb+zQ/9IS6ZkZ0jWIniTU4P9tMaZsj57XNA2+X0=
@size 613874
lib/coq/pretyping/pretyping.cmi
@sha MWR3aJ2AVfRleqcwho6sLbvN/hVAgKAuTTNKpd3gSS0=
@size 6306
lib/coq/pretyping/recordops.cmi
@sha LByiEYotqh7AAu10xXCv/TOMqSpllw0A9k7VTzvCQe8=
@size 4282
lib/coq/pretyping/reductionops.cmi
@sha Rflps32Z30pG8Y9/hxbgzOJxHU8inOKhXXfPFciISl4=
@size 14518
lib/coq/pretyping/retyping.cmi
@sha 2oybCLQuSJg6q1rCBDbAgF1qdZDaVJXvu1fQ9qwf/xw=
@size 2896
lib/coq/pretyping/tacred.cmi
@sha Z207mAP0fIsUHJwwicHxsV4rc/Yytl7ikP1VBSwXfBg=
@size 5171
lib/coq/pretyping/term_dnet.cmi
@sha V0JEjfiGhcRt4uqVEAqpKb2jSmjVK3eFaoIESSogU24=
@size 4341
lib/coq/pretyping/termops.cmi
@sha UOgWiBDWgV/xdqYTIHfQALHpy8GXhN+0oi6xnWTVZ24=
@size 18825
lib/coq/pretyping/typeclasses.cmi
@sha MscIo/bnGaJyIPk8erRSTS2kll7fdlJ1B35mIFc4Bes=
@size 7000
lib/coq/pretyping/typeclasses_errors.cmi
@sha lPCd2k/QFsg1lQ58KaV+/lK3dA05O1U5DihhZxRqKnc=
@size 3361
lib/coq/pretyping/typing.cmi
@sha sILAXQ3DYbe2sS6QrXjK8aBpsUy/SiZDQE5iFb5OAlw=
@size 2625
lib/coq/pretyping/unification.cmi
@sha IEVPYd76Je18no4+tPKM3IOYqS1QYEaazBYLrW80qmg=
@size 5000
lib/coq/pretyping/vnorm.cmi
@sha bmQV9LKeYA4O3vTINPzmTBJKlfeV1LO2H2sGKEm3oOs=
@size 1551
lib/coq/proofs/
lib/coq/proofs/clenv.cmi
@sha Sg2W1XLJ9XueZqhoZBZR2dN/EXEvoGj/dx7/D5Sx8II=
@size 6942
lib/coq/proofs/clenvtac.cmi
@sha oI2s3kr/Uo5c8PnHx3meu//GrKtIIpbuJ/KK18Os6fw=
@size 3071
lib/coq/proofs/evar_refiner.cmi
@sha aImTtw7+7sf6bSCNmsWNkrqOZZLeX0zluM05oz6kMZM=
@size 2618
lib/coq/proofs/goal.cmi
@sha wRMpdIYTy5QVWoL+WgJsRb32rVWoVBw/9te+0jWfVwI=
@size 8558
lib/coq/proofs/logic.cmi
@sha Fj6JZZGXqVBITZ0EaFLJKZYD4ptInm8Vg0i7uWr8V4k=
@size 3033
lib/coq/proofs/pfedit.cmi
@sha twf6s8SPjGGtPa2AXmY3n18YLvPGAPo529s39bO7DHU=
@size 6049
lib/coq/proofs/proof.cmi
@sha 2kaiQ6lMJnlKRCu7ZNG3x70GVh3B4StKBn4cJLY15hQ=
@size 5792
lib/coq/proofs/proof_global.cmi
@sha tfs1rVu9bpi2neUEegy1cskAqiuIX8yLqLK/mnY7+Rc=
@size 5620
lib/coq/proofs/proof_type.cmi
@sha GQPC8tcHYKbFmayLTk/vyjkwk5rjIWxTgwiG95v3Pi4=
@size 5235
lib/coq/proofs/proofs.cma
@sha BFdP5i92mI2qRZJmYGxovSZA5qvUGzBI5lV5/RLZyYI=
@size 162565
lib/coq/proofs/proofview.cmi
@sha ++qXNnnCon6zIcXL2oHlgmRMxUVhOXmC1ytjYh861Eo=
@size 7198
lib/coq/proofs/redexpr.cmi
@sha FLgZgcPqPGbcZFw+mmvPdNArGa+1Bu6GZc49ePM6y0g=
@size 2681
lib/coq/proofs/refiner.cmi
@sha t76Bv/WBA4lnCvQIqWGdsPi5BaYX+33zF1hNNrLpk/s=
@size 9263
lib/coq/proofs/tacexpr.cmi
@sha OYJsAvPek5oB+sxcdXoWg6gDpoBeH1ZiLLs+k9xKM+I=
@size 16437
lib/coq/proofs/tacmach.cmi
@sha L2JDu2Ak7xbo7hqallDxs6QWQhpTk6aocBvvXFZZnLc=
@size 12112
lib/coq/proofs/tactic_debug.cmi
@sha QJBG6FLE1oFKU6hkIrOI1vk+3NZcTy9LgR9nMnLA52U=
@size 4711
lib/coq/states/
lib/coq/states/initial.coq
@sha uwZO+4NZwPhoS638WAv7niLJthtqiVEKkeeoXa0qtWc=
@size 334541
lib/coq/tactics/
lib/coq/tactics/auto.cmi
@sha tc+Q3c8sk+C7u6Ts4tNRtdBVTLP582cq1kBxnC7UoCw=
@size 13728
lib/coq/tactics/autorewrite.cmi
@sha 50tqCyZXwXQOP1xe1DGhscOwrB+NRKq/SGsYRgRhn2w=
@size 5021
lib/coq/tactics/btermdn.cmi
@sha iBK601o9b3xIJCZakhCo4pXJwPFmnJK48s1/YOyD/bA=
@size 2607
lib/coq/tactics/class_tactics.cmi
@sha bJ/EHV/VAtkSi6geRu3AxMzlz/Q4UQUl81506gA/9mA=
@size 22136
lib/coq/tactics/contradiction.cmi
@sha lxgKUcZrZqgJvji0YqHxaNHKVCCKYe5p7Cdi1vIwYXg=
@size 2214
lib/coq/tactics/dn.cmi
@sha rz9KJnlmQx3KXxEFt8xx2nj/R8TMESNEzY6wziLJbFg=
@size 1535
lib/coq/tactics/eauto.cmi
@sha wfgYG7EaSSqhAG/daOh3A4Iz/+KE+idxUfQZ4O3OGGo=
@size 4121
lib/coq/tactics/elim.cmi
@sha 8MZO74Yzdp3qlueO7IdIFsNWUHLeUlZD03MmTAaSyfM=
@size 3746
lib/coq/tactics/elimschemes.cmi
@sha OT0dN5ZPhUHa1J2v6xlNpZJD3v1xsug2IxL8SsfLAso=
@size 2757
lib/coq/tactics/eqdecide.cmi
@sha fuDywHqESmpFYpc16NuxePekImlK2XoKxuYioQanhWU=
@size 5461
lib/coq/tactics/eqschemes.cmi
@sha 1UVFeuzLDFoPpi/FihGVg8ZozvmatKxqUMRsC7v+deg=
@size 3536
lib/coq/tactics/equality.cmi
@sha V8FqJ4WVDn1AULVpMl0Q9ymBo2Lz0jAd4lQCmq21Hqo=
@size 11255
lib/coq/tactics/evar_tactics.cmi
@sha mMd+F8tYSFsZpZ3fyCPmg7O04+onudDAJj7OyE+aoac=
@size 3125
lib/coq/tactics/extraargs.cmi
@sha JdJV5880YaXXZs6tCWjO6j+uywWzKGTDO73cP4owr6Y=
@size 6677
lib/coq/tactics/extratactics.cmi
@sha aB6UH6o/6RLXk/Tpkl0ZtyTVQsTJLIpC6Oy/Vwr88Dg=
@size 2437
lib/coq/tactics/hiddentac.cmi
@sha evr/psHUzTvOPflWZU5CGg1M0Ec//VH6urpq7Al2IrQ=
@size 10187
lib/coq/tactics/hightactics.cma
@sha a+RDQvFw5yrCdEGAb7as28xIBGWYcILe6fgQj9KXu9k=
@size 560840
lib/coq/tactics/hipattern.cmi
@sha moQrH1RIYmkMdQTwKtVpFdTGGROX9H3vwfmo2iUB/Hc=
@size 6922
lib/coq/tactics/inv.cmi
@sha WwTfz8fu3yOrLnLazLSO7bvnUW9Bhb/rEbJluMvSXBw=
@size 3859
lib/coq/tactics/leminv.cmi
@sha K5ntfjYw6pPsoH9B7EjQLUOkaMMangAZKwAkJVlp1As=
@size 3026
lib/coq/tactics/nbtermdn.cmi
@sha dAvghRqZsFmiItYYC4O5XdCC1jRHd64HZOyBEYqLXoY=
@size 3531
lib/coq/tactics/refine.cmi
@sha iAbIBnLSel3cnO0PbHSiuODY7flpwC8Q/51vVbfdu40=
@size 2227
lib/coq/tactics/rewrite.cmi
@sha Gaup+Z3CMDYHOeod6iXvtQm0y0RQlU/VFStTSH0/mwY=
@size 40893
lib/coq/tactics/tacinterp.cmi
@sha BDGTbFl14TBIGHiNpSy6HPioxzbSV3MR2JsH8CSNX/8=
@size 11472
lib/coq/tactics/tactic_option.cmi
@sha MUla+ais2TKJHqS8rTLa0aH4XhmtUVJO7g2wXRTK1TE=
@size 2766
lib/coq/tactics/tacticals.cmi
@sha 6SBnNG0483NswwhbukW10XS0yyrqhuiw/o+5Kkam7Ic=
@size 14697
lib/coq/tactics/tactics.cma
@sha tK3nmmyjTYw57qdXrsGqVgIEINEewOjw+ssM2zP4/lM=
@size 522462
lib/coq/tactics/tactics.cmi
@sha hR7Qr94yPEZQLJkMy/tEheRSX84uUg13P42VG1tSzrs=
@size 24260
lib/coq/tactics/tauto.cmi
@sha vkH5NsAugGteCg/IqeFcoXXSJYxxM5Fc8UU/vs5tvZg=
@size 7971
lib/coq/tactics/termdn.cmi
@sha z/bvvR+eetOSFbu21wbv4Pcdpzt2/kiUXyjoPWAy9hE=
@size 3302
lib/coq/theories/
lib/coq/theories/Arith/
lib/coq/theories/Arith/Arith.vo
@sha uJMUkHV9i44dzkP7g/WN6XLo8M2nNXu6N8ZFgH6ClrM=
@size 11556
lib/coq/theories/Arith/Arith_base.vo
@sha oa8lY7vndG8MnY/iPrWQuahZfHMbeuTBQT3wXj++OXU=
@size 1328
lib/coq/theories/Arith/Between.vo
@sha Ku2kP2MtoUan2ONBtvT7G3WhO6M70o6lQtFT4ocAyPA=
@size 26698
lib/coq/theories/Arith/Bool_nat.vo
@sha GBiKMkIY/cyG4yYSakZJy7ymCpTQdBm1HrIF8FNuZ58=
@size 7253
lib/coq/theories/Arith/Compare.vo
@sha 8W/VVY3Hoav7l2TdaBeLEd0Xx9H2xnJ2khh/Q7OJFxo=
@size 8852
lib/coq/theories/Arith/Compare_dec.vo
@sha bcnZ4SExTNDtkm6EVYJdVKLuG9LssYrD9qWxb0qsqmo=
@size 33236
lib/coq/theories/Arith/Div2.vo
@sha r1RcaxJQcQDhFQ+uuv5F+wwGBY84MZ0uHnjfAa3BRQg=
@size 18903
lib/coq/theories/Arith/EqNat.vo
@sha W1YbBQvlaJh+QR8oEsHddXzGJ5JhNt7WdQfTInmY1W8=
@size 13594
lib/coq/theories/Arith/Euclid.vo
@sha jJkDUMlmz05XNqsg/zNuSbEa8IMR58VC9/uHswrjJWM=
@size 17703
lib/coq/theories/Arith/Even.vo
@sha ctU9NrvXyAl5x90T0puYQpyBNVzGf2rFndU6O9I3al0=
@size 24718
lib/coq/theories/Arith/Factorial.vo
@sha rm4kfL8BE3QBIf9Szzxf27zURU6EPwt4IrK3cPIlZEo=
@size 3293
lib/coq/theories/Arith/Gt.vo
@sha cmT8/d3qZCDBKFvCYDljrTfCLTL+wiYG8VZPE5rK0tQ=
@size 11018
lib/coq/theories/Arith/Le.vo
@sha lCnCDgDzbdJ/v/ssfGLKiMrCiN3vqfIChb1iwhaTJ70=
@size 8760
lib/coq/theories/Arith/Lt.vo
@sha r+IccLgF9rjI1gMtC8Bz+ZCdplJROfFEs8RRBVLj51E=
@size 14448
lib/coq/theories/Arith/Max.vo
@sha lCG3gNaKwGA5k304gXQ5p8kcrEIbm8YZUb2DLlOwDCA=
@size 13941
lib/coq/theories/Arith/Min.vo
@sha EzQMn6C75/tnGVsPhkYY2lcWaBYYwYPWvW8z6PQs5XE=
@size 12280
lib/coq/theories/Arith/Minus.vo
@sha ObucLzmEyWIuP6FtPg02ir0Stf7hXoscg20SZ2ofFTM=
@size 11902
lib/coq/theories/Arith/Mult.vo
@sha +H9JOglqx//yjOvf1ucdNJzFrhn4u0T4Ukr/fNRfFLE=
@size 23051
lib/coq/theories/Arith/Peano_dec.vo
@sha /qsGmXhlG1OoV3lX4UIVy7CfZhWBgCkmBqYOO1cWXi0=
@size 8987
lib/coq/theories/Arith/Plus.vo
@sha 9mVsUFu1wDAg9KpYMwdiCspHWs95ov9xehEz0WqMnYc=
@size 21547
lib/coq/theories/Arith/Wf_nat.vo
@sha 0vhiH+N0sQZ224QJkbtershj57x9yMNJDqATQ/1Ll5M=
@size 22405
lib/coq/theories/Bool/
lib/coq/theories/Bool/Bool.vo
@sha kThMZkiM/FhHeXI6DGL/nfucvwH7+QKClfPw4yuiiyM=
@size 69576
lib/coq/theories/Bool/BoolEq.vo
@sha h4+vXERkDStRmGHz37Cy24rNXxf5hjPW1CcZMXyz+PA=
@size 8263
lib/coq/theories/Bool/Bvector.vo
@sha Coj95MF1W6DO8PvXrdvp/ZUrztyhbamzE3RtUe+ksVw=
@size 11232
lib/coq/theories/Bool/DecBool.vo
@sha 9EMhAXyVeqeAvlWPpOK1yJmnd4P0J5CutLb8F6EEft8=
@size 3082
lib/coq/theories/Bool/IfProp.vo
@sha MmnwWexAB4ouITjA7FUgInTDNBo5e6cgDb8kjwZvYBc=
@size 6059
lib/coq/theories/Bool/Sumbool.vo
@sha 9htYP8kPUjp9YhhyI2+lrzMNE6SB+kMCXZPdW4Id8qA=
@size 9860
lib/coq/theories/Bool/Zerob.vo
@sha fCrILRyKKAfm+uTUkq3nB1qeIHTncyDYggjWS8FpGtc=
@size 14968
lib/coq/theories/Classes/
lib/coq/theories/Classes/EquivDec.vo
@sha u7D22vsFC432lCpLLFtQkj7205m55LB6rnR3zV2v18k=
@size 174470
lib/coq/theories/Classes/Equivalence.vo
@sha 51iCEza8dyKT7pyuO6rhk+aG3ccBj3O+dk3xnWqJEgE=
@size 28740
lib/coq/theories/Classes/Init.vo
@sha 5OIjpR3jg4TtCtYXOJpqFa8YbDBmhwvzMZ9o+o+2rWU=
@size 2632
lib/coq/theories/Classes/Morphisms.vo
@sha 662D9G62vnr66oCZjQ+qikXQesJved18UMJ3In30AaY=
@size 89222
lib/coq/theories/Classes/Morphisms_Prop.vo
@sha wYSr7f+ntXZdwvcLg6LN3F2rE3cercQPuzg8Fo5/Sog=
@size 28021
lib/coq/theories/Classes/Morphisms_Relations.vo
@sha GSzq1e/7Ld1kLR53/ZR78mkZsic8Jj9UfDCZZM3R5rU=
@size 14176
lib/coq/theories/Classes/RelationClasses.vo
@sha Y+qjODmKKKVyMMuZ8U9tL4kMd8iUq1nK06pMHGxc9io=
@size 78194
lib/coq/theories/Classes/RelationPairs.vo
@sha tBfqfaGdbTtGJLs2O6ypYGd1V6p2dHE54/u/8mL8wtw=
@size 33848
lib/coq/theories/Classes/SetoidClass.vo
@sha WgLdggbDzZSzfCCaP8hXQuZarw973Mbr8+gxmiuoncA=
@size 23934
lib/coq/theories/Classes/SetoidDec.vo
@sha fBt518v2hS459Q5ni+NGVHTn1MXcLBSFywNdgvpMp0o=
@size 68250
lib/coq/theories/Classes/SetoidTactics.vo
@sha yZTA/42OY+oEKfJIZNwP1jqtSHhw7fp6sCbe8CF4GvY=
@size 15163
lib/coq/theories/FSets/
lib/coq/theories/FSets/FMapAVL.vo
@sha rlo7d0UGneG3e/P207VC6wgE9eqDY/VYX0rwFDHgwbg=
@size 10277068
lib/coq/theories/FSets/FMapFacts.vo
@sha 0zV1n8q4RWJFpR1e6lib8v9oLXqBNqjmPi/9l4knoXk=
@size 861600
lib/coq/theories/FSets/FMapFullAVL.vo
@sha nYuoUfa48DIyCkbpsIYPU5Ol+eQFmPnU8Tk+M8i3vZ4=
@size 8622479
lib/coq/theories/FSets/FMapInterface.vo
@sha V0V6IPjNF8aDeGIzT1zlJDE07Sjy9jteR8Ydr9tHLvM=
@size 108327
lib/coq/theories/FSets/FMapList.vo
@sha r+5uHevTU6OSqJc7iaHnjxbQBQvF3cXt7xtqwtFLluA=
@size 1198298
lib/coq/theories/FSets/FMapPositive.vo
@sha d7OeIYluGCWoPfRvDmdCQYvRvJQZTwh72arxfurCp8I=
@size 274692
lib/coq/theories/FSets/FMapWeakList.vo
@sha pUebl+qOXNBSlBAvdoyoco/CQZRj6NhdgtJEBivl0Mo=
@size 394922
lib/coq/theories/FSets/FMaps.vo
@sha S18W0pMwmnkwoJKkSFoqQxEym6amdMQhsfc0kwkyMJc=
@size 15092
lib/coq/theories/FSets/FSetAVL.vo
@sha pdC3kQZp1VDC1FbhTDpdVR7ZmOJcJYOoIcMkW++dcqY=
@size 1747924
lib/coq/theories/FSets/FSetBridge.vo
@sha I8Z3JM6N2GzIv8HpnAjCBojbGpUKs66yVx0w3Kbiks0=
@size 190112
lib/coq/theories/FSets/FSetCompat.vo
@sha hZPy5nEXlf0EMFPIX0uCezTihKy6Pt/Aq6WfwXJ6Auo=
@size 423351
lib/coq/theories/FSets/FSetDecide.vo
@sha oaLFfgOB7zbRYwoXwVufLDOiDg+M1P2N77vxo8dwdnk=
@size 334925
lib/coq/theories/FSets/FSetEqProperties.vo
@sha 2rFbhqE8OS7FV1lbesUnZcflozQ0D7JnFZmn3Qu1qLw=
@size 947180
lib/coq/theories/FSets/FSetFacts.vo
@sha zOe3kKcs10dY5QRAko4C3+T+0rGoScB9y/E+SJOGsGs=
@size 164331
lib/coq/theories/FSets/FSetInterface.vo
@sha 6Pi2GYoKesC5+ClK3Jp3ZhQPVcOTcCi/2IlZtKwUe+o=
@size 126880
lib/coq/theories/FSets/FSetList.vo
@sha 1kzvJCKe0Xe2GKDqGEcUVoohErNAdzpRJwFMQKPSabY=
@size 646830
lib/coq/theories/FSets/FSetPositive.vo
@sha PTDohlAY1KaY2Of2FtRHqS5cT/fW/hfCZf7HwGjxwBk=
@size 190524
lib/coq/theories/FSets/FSetProperties.vo
@sha PkslMp7VUQSON37hk/HUiljeQ9V1Inh/rXnIiVHB49Y=
@size 1026972
lib/coq/theories/FSets/FSetToFiniteSet.vo
@sha lildVrRwUCJi/JU8KxKUunUxGa6YRI5/SCOoOiFPr30=
@size 663508
lib/coq/theories/FSets/FSetWeakList.vo
@sha 2RloPN3zsnD0dMcxw9X1nyidC4arZQzvctt/+W0Y/SI=
@size 303077
lib/coq/theories/FSets/FSets.vo
@sha j4KvJKlGqopCBWB5rQVfXvmNZcx0KWjZ8MAxc1Q3N9A=
@size 16006
lib/coq/theories/Init/
lib/coq/theories/Init/Datatypes.vo
@sha GjZTIaG/AJphjQRtdAqtxDrazkCqAmsUJfRzjv4/UJQ=
@size 58347
lib/coq/theories/Init/Logic.vo
@sha BYhHo0l5J1xp7k22Z3sbMki4dujKT9ln6Hsp5eOFraI=
@size 54673
lib/coq/theories/Init/Logic_Type.vo
@sha VKCN91RH3+TLlmAHDjT11EN5iIbx0LZ7zUGCisVH548=
@size 6280
lib/coq/theories/Init/Notations.vo
@sha HqGnx6SCyyLBvt6fEk49m73MQenoPA9EKTFZEeWRs2A=
@size 4684
lib/coq/theories/Init/Peano.vo
@sha 68wH127nnav7N1FqNMzmuOUI+zkosIJBjHFUsy4QgqI=
@size 27241
lib/coq/theories/Init/Prelude.vo
@sha sR/O3351Bu2EZH38avfoO+A/T+MN3Qg7IAXdE5m35AI=
@size 761
lib/coq/theories/Init/Specif.vo
@sha FEsMT11XenP/jtb9FKFgZeMrKn/xrMZWiDsTaE27aLA=
@size 32811
lib/coq/theories/Init/Tactics.vo
@sha zKo5LRLQ1KuobEpqPNhSb/H+xckde/v+EBZ78l6UEko=
@size 12933
lib/coq/theories/Init/Wf.vo
@sha +0BoQdwHI5U/cOjdDGqTcrxR92LdIbRMdWfsLMgn2XU=
@size 21814
lib/coq/theories/Lists/
lib/coq/theories/Lists/List.vo
@sha /VDDTiJFsWUUqzc5v6vkWhMVC2sr0TyO/h01UEhB1n4=
@size 244179
lib/coq/theories/Lists/ListSet.vo
@sha Oayn/zQOaPz8sJu6zoG7vk/P5ew2G09ASCEuFK6AU5Q=
@size 41506
lib/coq/theories/Lists/ListTactics.vo
@sha Ve1dRtPGP7HAeNYQBx9GwVujRSBVmb5FkwaoucEziOw=
@size 8199
lib/coq/theories/Lists/SetoidList.vo
@sha l2S09seYRbfoGGWcKeaDKCVCoAYEAiKvfn9CjI1jJu8=
@size 214540
lib/coq/theories/Lists/SetoidPermutation.vo
@sha 13w7U1NxT2R6SIxNNMaSrJPmj+iqwGMsNujujjrpqRE=
@size 27527
lib/coq/theories/Lists/StreamMemo.vo
@sha gxz7E7jYO070sLOhfV8JiRcukN0J5EUNa9WEyzNX4Z8=
@size 17547
lib/coq/theories/Lists/Streams.vo
@sha 3o3UsfRIaVNOR9JrTUni8SbbHtVivzMP5/WV/5uB0aI=
@size 25224
lib/coq/theories/Logic/
lib/coq/theories/Logic/Berardi.vo
@sha q3qgRWdZGC2FDGQVj6tppF4c8xOowSzCHM8f7QYmL4I=
@size 20010
lib/coq/theories/Logic/ChoiceFacts.vo
@sha 9JNf3VyFRZSDZtDlnxJkprEz4hPR3VjZy/tQheKb71A=
@size 76795
lib/coq/theories/Logic/Classical.vo
@sha 7Vv3kW39yox0G8p9v6ToB+0m5fYYKioU915yRoJ7SMU=
@size 864
lib/coq/theories/Logic/ClassicalChoice.vo
@sha eDNuOBfA2iHCKyNNVREQXoi+NXoP2d4jo7IwnU6IGN4=
@size 15992
lib/coq/theories/Logic/ClassicalDescription.vo
@sha xLYMXZier1+5zPl4Qul0lTV50/rcHa/MJ8EjSdIlSxA=
@size 19370
lib/coq/theories/Logic/ClassicalEpsilon.vo
@sha bDRYxQDDwbl4Zhr/kjFHbDSfghzV5ySntQzMjRn9Jyk=
@size 22525
lib/coq/theories/Logic/ClassicalFacts.vo
@sha CKw953EPuOu7NL1wbV3+S6xsEOxd71de4u353J8fnS4=
@size 43981
lib/coq/theories/Logic/ClassicalUniqueChoice.vo
@sha E696AhSM9Xwa+bq9mvc6ea1r7xOzo+qsR+vkcMBpwZA=
@size 6038
lib/coq/theories/Logic/Classical_Pred_Set.vo
@sha oD7xwX2xsq019M44NK2w2WCAfAGUUexTW6XI+pzz80U=
@size 4016
lib/coq/theories/Logic/Classical_Pred_Type.vo
@sha SqJMghkCHmEaIx/Aztad8hGXmYc0QDCqqv5GqKqsp+g=
@size 4421
lib/coq/theories/Logic/Classical_Prop.vo
@sha uHh+RJKOgDouZjbWCP39YZZHDdKI7in3Ozr2Musa8cM=
@size 10893
lib/coq/theories/Logic/Classical_Type.vo
@sha Undsw/oMf+v9u8SU+/iWkVMadzrC2SAIS+zx9FtegjI=
@size 869
lib/coq/theories/Logic/ConstructiveEpsilon.vo
@sha 2uJGv8OT00X3JuXRS1IQCxWVkyNzLikW4IjFAxJvsL4=
@size 34447
lib/coq/theories/Logic/Decidable.vo
@sha E82HgyL9OpYd4n+ldK44OfdIb41iopncFCaNo/9mfsA=
@size 16465
lib/coq/theories/Logic/Description.vo
@sha w1ZOLHo2XVjlsDr+s9xWhPIAYYsdiu5oMxcqrQw3zi4=
@size 12462
lib/coq/theories/Logic/Diaconescu.vo
@sha g57bDIE9hFejaggbZaNy3vtVc+LsFXZyHtCsU8aeuZU=
@size 34875
lib/coq/theories/Logic/Epsilon.vo
@sha 6Y9p8mYVIinlC2HUqJ8OR7KgpzLX/0gTyV80f9gV/ds=
@size 18581
lib/coq/theories/Logic/Eqdep.vo
@sha a5ETY5ESXJ5ampFNlRg2BBqhO4rGJYe4ErAQxV4MMp4=
@size 4326
lib/coq/theories/Logic/EqdepFacts.vo
@sha T3QaOvTYRzB3IIK5BocE2qE9LX7mLePdl/bJMUDuOEs=
@size 40904
lib/coq/theories/Logic/Eqdep_dec.vo
@sha BIsCZA5ckgmUGkJqJgzyv4+krVT6PohDXSoKm0J6L6A=
@size 24477
lib/coq/theories/Logic/FunctionalExtensionality.vo
@sha 8BDN6+STv4ENzW/t4FfkEkbKVxVsK3HI8nayoCEGHY8=
@size 5030
lib/coq/theories/Logic/Hurkens.vo
@sha OfxoJdX4R4OYcH8nJAp6yCgfH/dMyjp4UpSMxv1Iopw=
@size 8350
lib/coq/theories/Logic/IndefiniteDescription.vo
@sha YtwFMMVbESUDV1mTCldfSYHOz74+BF3PnrzXXWhadtw=
@size 14361
lib/coq/theories/Logic/JMeq.vo
@sha Lp0JmTB/ejwAM/GDMhxaxnG+XgL8a70LSHPmrbry+QA=
@size 13496
lib/coq/theories/Logic/ProofIrrelevance.vo
@sha 0L3E5XnOHMR5YVV5+AfbpvwDOUdnUSYgPRo4FomUEwU=
@size 7409
lib/coq/theories/Logic/ProofIrrelevanceFacts.vo
@sha KrdYiQYMN+MpzFxy6NsqaMG+FTB02lPfFTXnSytzJdg=
@size 6461
lib/coq/theories/Logic/RelationalChoice.vo
@sha 8C+NdpD0WpPn/+7s7wJ90B6TSKgVjYZVodnM4IZkfWw=
@size 2194
lib/coq/theories/Logic/SetIsType.vo
@sha XpRLCNONxYR8Rgp+fR23j0lXP7RQ9hRSKgnbr2dFHuM=
@size 694
lib/coq/theories/MSets/
lib/coq/theories/MSets/MSetAVL.vo
@sha B/+8PeLmO2Cr1uMvijJLt0+vuguaZbDs8+lCVVDqx1k=
@size 1620597
lib/coq/theories/MSets/MSetDecide.vo
@sha ID+NdRvtFsb1l7YTVt5HEo133+wtK7A6J6T2wxNPZSs=
@size 371486
lib/coq/theories/MSets/MSetEqProperties.vo
@sha LPWRtWXDPWjLt4WtdyEogt+wFwDc2R/+O709T8YqmB8=
@size 1053970
lib/coq/theories/MSets/MSetFacts.vo
@sha WXRLFIn3OE+15z3N3axKPdbijeDKR/OBNHb01/Lscbg=
@size 188740
lib/coq/theories/MSets/MSetGenTree.vo
@sha eLKarA4o6kcFImwOyXhQcs83pI63eTctM99cTJmJRaE=
@size 418455
lib/coq/theories/MSets/MSetInterface.vo
@sha S8E2/8KXRxYOGBK+C+BNgZx7TvuU7OSy1SzIHNYZUNo=
@size 434074
lib/coq/theories/MSets/MSetList.vo
@sha BxTBMjW8PNemsaore+hJeB0vPAS09UN43sHrIPQvVIo=
@size 821992
lib/coq/theories/MSets/MSetPositive.vo
@sha fIXtNoBYR2K9hJP9p+bbBj6rT8LcNtFfZeRRKv/haoY=
@size 180203
lib/coq/theories/MSets/MSetProperties.vo
@sha Hjr44DozBQXA+9lz6+u2bIowTQbQniSGdl7IeD1b2VA=
@size 1180551
lib/coq/theories/MSets/MSetRBT.vo
@sha z6Uu5yJIAeVIZtmdCk71LOhOzJBEQQpVHXpPpVa+Cg4=
@size 1488014
lib/coq/theories/MSets/MSetToFiniteSet.vo
@sha B7ruB0ci03MNRKq5EKX7MroKRDacr0LTamEHqAZjNQI=
@size 765460
lib/coq/theories/MSets/MSetWeakList.vo
@sha qC9LzUMHrAyh6MDQK+m8oRNyntZlhvgrM4JWANUcZ9E=
@size 154421
lib/coq/theories/MSets/MSets.vo
@sha snhELMpCZqX6IBAjNBF3CWEFucbOxcpg1sc17dKocAk=
@size 25724
lib/coq/theories/NArith/
lib/coq/theories/NArith/BinNat.vo
@sha DqHL3huSjriVKcMBRk4y9Wk+oGqIHq9uMPXE2ZkCsi0=
@size 1570539
lib/coq/theories/NArith/BinNatDef.vo
@sha E76lzpqwXsm8eEVodrKisTAc3+OAi2VKsMpCsHmVgdI=
@size 30293
lib/coq/theories/NArith/NArith.vo
@sha Jtc+pW+oEUZB4YXnGv9zKTsOAYvJ3WShD6QM46IaIro=
@size 13428
lib/coq/theories/NArith/Ndec.vo
@sha 4oPXnzOpSubCbqGvVqOn7nnycgF+Ah3cerrBznaV1Tg=
@size 50513
lib/coq/theories/NArith/Ndigits.vo
@sha tIAU0oyslvfaUHTtUP3El2ezFomkhP36gT5vdkNZD4w=
@size 79415
lib/coq/theories/NArith/Ndist.vo
@sha asZZlZn3A0VbfFOa0EttlTcBTyMsoHxb2PuJOTuizw0=
@size 44159
lib/coq/theories/NArith/Ndiv_def.vo
@sha YJjVdOT+p7YO6CmbqVLyv//EWS1WCE5qFF/KUno2hwA=
@size 9367
lib/coq/theories/NArith/Ngcd_def.vo
@sha I2aBZGGTi4tL8D3aME5DzGc8/5hbL849BEEvB9mpIEs=
@size 7011
lib/coq/theories/NArith/Nnat.vo
@sha hnQs2mCL/i/a9BpfBU/hXCXSovbP6pmdg8WZU73t7qI=
@size 25935
lib/coq/theories/NArith/Nsqrt_def.vo
@sha mjT06JwRzbOIurUlBRIxDZ7BAlJDcYqaurY+C0+0s3o=
@size 6905
lib/coq/theories/Numbers/
lib/coq/theories/Numbers/BigNumPrelude.vo
@sha QgBoQXZDWkQEBS8iW4FzJMccrHDQeE+9JzCB2tWhsCE=
@size 177371
lib/coq/theories/Numbers/BinNums.vo
@sha GhKxcTG9QI1/htcnkSlXQxt9reMy/vVfLjr+TvuPCIk=
@size 7351
lib/coq/theories/Numbers/Cyclic/
lib/coq/theories/Numbers/Cyclic/Abstract/
lib/coq/theories/Numbers/Cyclic/Abstract/CyclicAxioms.vo
@sha aORkXMm2EDy+j9SyTm+0zOU6bRLWvQtzMZOz8bqNjPc=
@size 161305
lib/coq/theories/Numbers/Cyclic/Abstract/NZCyclic.vo
@sha +VA5b9h7oqT+nLVYOqsCANxVQrkr3R6yZhafzoT8H7Q=
@size 76530
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleAdd.vo
@sha Q4i5AnXzLd50sJ7675qQTokYF5/s50NO63ccgR9gfzQ=
@size 80394
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleBase.vo
@sha Mf8/vdLp5AR7Rwfm4XooXbYCxYTRvmAXRR4n8Q5dyh8=
@size 98566
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleCyclic.vo
@sha BeciYZi73y+Qz8C5KDt7p/nvy4JsEAlGrBtifGRLfyU=
@size 539084
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleDiv.vo
@sha DPBHxGpCSK/jugyNtEdLt0shHBbvn+VhxC9+z0FeY18=
@size 1285699
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleDivn1.vo
@sha m5W6zhyFVeTKumXkMVz+7xj/Zo1ZlYFH93zGyGxG3WM=
@size 438054
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleLift.vo
@sha QQ60RbcnmF8ulC2EQ5O0KlpTWRFup04jz+HNjHjajfg=
@size 434250
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleMul.vo
@sha 4KOpSj/k6pkM7m+zOP1gDILahlFHf5sJMjVyQ7oI4bM=
@size 507457
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleSqrt.vo
@sha EPSYO2CX6hjg2YKBmpUoGK/I8ScqKM2ycvU58Z+jHls=
@size 1203793
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleSub.vo
@sha gfawBv/hvW1ofaiybZT49mSYjFqiUrPDh7pvmxZh4Sw=
@size 98489
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleType.vo
@sha H3zPGFjqohyFS7Vadm8LiUy3lnza4ptzgT1g+RsseeQ=
@size 19723
lib/coq/theories/Numbers/Cyclic/Int31/
lib/coq/theories/Numbers/Cyclic/Int31/Cyclic31.vo
@sha K83cG6W5iREx0stLoWkA2ort0r29napiRzRAYy1C9JA=
@size 978899
lib/coq/theories/Numbers/Cyclic/Int31/Int31.vo
@sha zd9Uhon/tCzg/qJsBphAhyOF0OKi2k5RQlvYkMN6Xl8=
@size 62483
lib/coq/theories/Numbers/Cyclic/Int31/Ring31.vo
@sha vnMRbINl6AeYrYNmqJxGCcaPP2gDCr5AshIt6enA7pc=
@size 100416
lib/coq/theories/Numbers/Cyclic/ZModulo/
lib/coq/theories/Numbers/Cyclic/ZModulo/ZModulo.vo
@sha mzKyBaYploYUcglY+dulvgTYvkOibO6hC60q5ZHZqBI=
@size 268813
lib/coq/theories/Numbers/Integer/
lib/coq/theories/Numbers/Integer/Abstract/
lib/coq/theories/Numbers/Integer/Abstract/ZAdd.vo
@sha gcU2jALR/HaALMf7G2jmLkYMx2xfl/qUwTYW+jy7odc=
@size 309260
lib/coq/theories/Numbers/Integer/Abstract/ZAddOrder.vo
@sha TlqqkMEO69bp3F0R6JcEeDLNn7Gz3deu+u8k/FmF0/A=
@size 381451
lib/coq/theories/Numbers/Integer/Abstract/ZAxioms.vo
@sha 5DKLH3mfW+f9e+J3NguXBNppT4Pa4Qxl0vDEonccCF4=
@size 177991
lib/coq/theories/Numbers/Integer/Abstract/ZBase.vo
@sha fSzbLkd83x+s3D8Wi4FwxRJBw92DFQV0BbveoBrhQl0=
@size 266860
lib/coq/theories/Numbers/Integer/Abstract/ZBits.vo
@sha 35knB5NnXguTOoF0hD3LmEk2Rl/tjmmAkL7uVy5GgIo=
@size 990944
lib/coq/theories/Numbers/Integer/Abstract/ZDivEucl.vo
@sha xxCrIGxOIBqDsm4MRinLpbDrr+fDIeiiHhRwd8y4QdU=
@size 586098
lib/coq/theories/Numbers/Integer/Abstract/ZDivFloor.vo
@sha 9OHbQtlHZFyeFum7otDj38TuiuzY4+z5oO3Afv9d/ao=
@size 539046
lib/coq/theories/Numbers/Integer/Abstract/ZDivTrunc.vo
@sha 2H7THN255SUhHdim4QBu0ZUuO1k+VyQ5AVbEVEUXu2g=
@size 552694
lib/coq/theories/Numbers/Integer/Abstract/ZGcd.vo
@sha bzmQdh5evijaJhHy6Q8YoRQgtSXkaeyYhJt0Mp3mjGk=
@size 472825
lib/coq/theories/Numbers/Integer/Abstract/ZLcm.vo
@sha WB30KtaZn+MJM7rf4XOZ2Ntcg4ssS8ih/ijT76Yc+J0=
@size 808060
lib/coq/theories/Numbers/Integer/Abstract/ZLt.vo
@sha N12rb9O7QDbQk4xIIMzVk30EHBd8VYEUY/r/7MxrVfU=
@size 343160
lib/coq/theories/Numbers/Integer/Abstract/ZMaxMin.vo
@sha SkCCu7VaVXIaohHdfHo2QzuLMGe5IvKp4m7llw9gG8g=
@size 453930
lib/coq/theories/Numbers/Integer/Abstract/ZMul.vo
@sha ZEAsiXKsinwxuebjNyIongf7/CXzW/B4FUJo6OGjS9w=
@size 326388
lib/coq/theories/Numbers/Integer/Abstract/ZMulOrder.vo
@sha G+1OrkJEZDJJL8D8Ad8UDNGkKxRMX1YG+uwZWmPx9ZE=
@size 423860
lib/coq/theories/Numbers/Integer/Abstract/ZParity.vo
@sha 5rwiBTXbLRyYGYi2xnJlpt42WuC5h/X1RJITlYHSKkU=
@size 412835
lib/coq/theories/Numbers/Integer/Abstract/ZPow.vo
@sha fIfgzQw8cvYjMF/oDnzWcHQ3DlmhyEAwMhw6Im9EUL0=
@size 540009
lib/coq/theories/Numbers/Integer/Abstract/ZProperties.vo
@sha sAMyIn/04VyCIzWcI49uC6vi7I2CM1enZvrAQ9ve4jA=
@size 1742938
lib/coq/theories/Numbers/Integer/Abstract/ZSgnAbs.vo
@sha Ydz1mcrucySzYXxeHe3fN9tRhCrSOrMOAEsBKAz7dCQ=
@size 580735
lib/coq/theories/Numbers/Integer/BigZ/
lib/coq/theories/Numbers/Integer/BigZ/BigZ.vo
@sha 8SXHidmi/IF7bDfu0fb9Kfih4OtqfWrKe9NllgVmVOs=
@size 2277993
lib/coq/theories/Numbers/Integer/BigZ/ZMake.vo
@sha 54OR5tp18dd9nCQxF+yEwKSPf+oA2TS7Fd9ZJXtvcIo=
@size 167592
lib/coq/theories/Numbers/Integer/Binary/
lib/coq/theories/Numbers/Integer/Binary/ZBinary.vo
@sha lIsI6p8dzaAUrt0Lm/LLYs0PkyPCMF4nagbgSSTxBS0=
@size 897649
lib/coq/theories/Numbers/Integer/NatPairs/
lib/coq/theories/Numbers/Integer/NatPairs/ZNatPairs.vo
@sha 9zxy6RwDBXEGihADsoSo/g57ccQ9zdj1HCBM0RKdoLc=
@size 470394
lib/coq/theories/Numbers/Integer/SpecViaZ/
lib/coq/theories/Numbers/Integer/SpecViaZ/ZSig.vo
@sha RoQGNF5X86Ou70peouHQGNtXkuLe6J6yO1E3vuPyqvo=
@size 49802
lib/coq/theories/Numbers/Integer/SpecViaZ/ZSigZAxioms.vo
@sha sqLbCqgB7YIeONdluZnTqPsWveVezGYseCdZoJHahFo=
@size 253615
lib/coq/theories/Numbers/NaryFunctions.vo
@sha 2tM74FEQaEBL4POmiaVNFAPaio2b2p7OysqPmbsUtFE=
@size 18487
lib/coq/theories/Numbers/NatInt/
lib/coq/theories/Numbers/NatInt/NZAdd.vo
@sha JFhrn9Xy+ivdwsWa2LhcpAJi1g31Z9yHYZ6183prTFM=
@size 26643
lib/coq/theories/Numbers/NatInt/NZAddOrder.vo
@sha zgpklpZF5o3slfCzI2+T6NQNtb00UeMc4dKIOKD3Sw0=
@size 179851
lib/coq/theories/Numbers/NatInt/NZAxioms.vo
@sha 1wqzHuLAeFqlquJ3kxMqblq9TUGVNhT3IwKJGw8h2eU=
@size 135147
lib/coq/theories/Numbers/NatInt/NZBase.vo
@sha JiGpXTT7uLIBMdf3+LotsFUrLJSjp0Ysu4A6lC35xHs=
@size 10771
lib/coq/theories/Numbers/NatInt/NZBits.vo
@sha I4/u5ak91wYWsJwjYyUg5MrMCIMtm/QtQ2WWKI94ZfY=
@size 38249
lib/coq/theories/Numbers/NatInt/NZDiv.vo
@sha SgR2B4xxz5cOkWjHNb9GF6WoO1ZD8gT5lY6KWWOtDw8=
@size 270734
lib/coq/theories/Numbers/NatInt/NZDomain.vo
@sha 7GGqOEzF6Ieq5Hv5YhQUyqthtRP7x63Wlo/E5rTk1ow=
@size 157215
lib/coq/theories/Numbers/NatInt/NZGcd.vo
@sha djEHEbtIgTY02W6PccrKXqc4dNJieKHt/TAPuioqeLs=
@size 245085
lib/coq/theories/Numbers/NatInt/NZLog.vo
@sha wT2Zjt/FoBbI6t79agHIJn53aF1iMMNrWnOnJEuhIXc=
@size 444458
lib/coq/theories/Numbers/NatInt/NZMul.vo
@sha 7s1x3pJH2Gim0ZW1usex+GjPRELtjTZ9eAJ5EiGJlzw=
@size 50427
lib/coq/theories/Numbers/NatInt/NZMulOrder.vo
@sha M4eA8EAhVfQgv1tXuguwtdotyO68Cr0rGVY8bMIRW4A=
@size 249542
lib/coq/theories/Numbers/NatInt/NZOrder.vo
@sha /eG+AIJUB5btP3ZAwH95+ubfH8PHLl2X7HcvnD1cq54=
@size 166082
lib/coq/theories/Numbers/NatInt/NZParity.vo
@sha bUHCwv5xmUcnZp8X86JbmEbRLMWRh3tXcFc8PKhHkFU=
@size 240877
lib/coq/theories/Numbers/NatInt/NZPow.vo
@sha G3OF94xvOCgZ8w63pLTBd/DmOpF5oQJRN1y4gEkZHD4=
@size 273343
lib/coq/theories/Numbers/NatInt/NZProperties.vo
@sha +wx4tdF6hQtaMfbc3hbgKfiBNf08fNNEMHjTqpAlWRQ=
@size 253099
lib/coq/theories/Numbers/NatInt/NZSqrt.vo
@sha e65flsRR1VDESPg1D1KE0RAxdfOPc89HCCH6NhkVYiw=
@size 338246
lib/coq/theories/Numbers/Natural/
lib/coq/theories/Numbers/Natural/Abstract/
lib/coq/theories/Numbers/Natural/Abstract/NAdd.vo
@sha /4uVYZfmDVI2blWRXp2yL/c7gwz70Ar8HXRAuXz9w8U=
@size 298492
lib/coq/theories/Numbers/Natural/Abstract/NAddOrder.vo
@sha YaStfn+q/t+65zdagZCxKGPAwqGPYdncRLJ5gcH2Pr0=
@size 343353
lib/coq/theories/Numbers/Natural/Abstract/NAxioms.vo
@sha TjX5l9c7xGYeaXY9JrTEjO3HIYcPD1HkvWoXYXQsiR4=
@size 194247
lib/coq/theories/Numbers/Natural/Abstract/NBase.vo
@sha PnZP2tOIkm7R0hxHE8KZ830YvlmYv60wJuMKDoZuGfw=
@size 277841
lib/coq/theories/Numbers/Natural/Abstract/NBits.vo
@sha y9sqNXxdPikTIEKCV8dTqTWSF4a5IhGRnSMhbNBBtZc=
@size 865341
lib/coq/theories/Numbers/Natural/Abstract/NDefOps.vo
@sha p/GjZsyR3VCKGCmLvJqcd5vs9Oaj6zKPXMbHhFF2raQ=
@size 500636
lib/coq/theories/Numbers/Natural/Abstract/NDiv.vo
@sha DywyCFu4FiUoU80ihYOURM2Z2sBPo5GrFpwo8jsOTlE=
@size 428085
lib/coq/theories/Numbers/Natural/Abstract/NGcd.vo
@sha hyRwe4BcC7cyPTgTDIy2G37/AcX7/V/kC3m+3VnFvIQ=
@size 416266
lib/coq/theories/Numbers/Natural/Abstract/NIso.vo
@sha bk7tIu+9CTdsXNNGL+gvnNWMcKNhag8GGWl1rzlV3XA=
@size 553119
lib/coq/theories/Numbers/Natural/Abstract/NLcm.vo
@sha oT0WZ/MRd7HlM/dl3i6Fy2Rojg2rKgOJw75ThweTUEA=
@size 517100
lib/coq/theories/Numbers/Natural/Abstract/NLog.vo
@sha +oCt/uU5GwfVK7jxc69ET6oGqNElcS8RhQZfd8KVUvo=
@size 612131
lib/coq/theories/Numbers/Natural/Abstract/NMaxMin.vo
@sha FDCvcGcWWtkcRLHGBhKa4uyJZXU3YAmnR44nTxI/0BU=
@size 428731
lib/coq/theories/Numbers/Natural/Abstract/NMulOrder.vo
@sha /0Q7t+e1GbHeiPb8mldwZbECQG72X3us23Jh/en50/0=
@size 356524
lib/coq/theories/Numbers/Natural/Abstract/NOrder.vo
@sha X1lR6mWFto+hac617HQg0/8TOp1yrrmpPtXS2+s1WR4=
@size 330775
lib/coq/theories/Numbers/Natural/Abstract/NParity.vo
@sha BIelSCcwsxWfVHjJZGvcZzsxfseqcVGRO3+uZILXPLo=
@size 406469
lib/coq/theories/Numbers/Natural/Abstract/NPow.vo
@sha QyfnR1r2PUKTMuiTfvJ1lB0Ofpms/STPSkKqw2c0Js0=
@size 486867
lib/coq/theories/Numbers/Natural/Abstract/NProperties.vo
@sha 1qR4niWdUmQF1qaBVx8Q5MxLRRB2KVYRQs8hvfNicC0=
@size 1310893
lib/coq/theories/Numbers/Natural/Abstract/NSqrt.vo
@sha oPDC7qIqFzF+BCXBlZt2EhP6lAKDqNZOfvl0B09yeNk=
@size 439748
lib/coq/theories/Numbers/Natural/Abstract/NStrongRec.vo
@sha e7B19Wg7ojnRUK0AfpY1f+AXIScJkb3iHlkLblCGLI0=
@size 434860
lib/coq/theories/Numbers/Natural/Abstract/NSub.vo
@sha e3bGQBDTOH9BsVX9johWYwE3HM/ImNUWgfywey8nH0E=
@size 405059
lib/coq/theories/Numbers/Natural/BigN/
lib/coq/theories/Numbers/Natural/BigN/BigN.vo
@sha 3ik8ZwKjcX/2Q753EzVjXGdzxhJ+5PAgflYzdFh6slE=
@size 2506363
lib/coq/theories/Numbers/Natural/BigN/NMake.vo
@sha w+xwr9hMr6WS0EjlMnQ/0/4s0C3jNRwVDoHj3a3J1pE=
@size 726427
lib/coq/theories/Numbers/Natural/BigN/NMake_gen.vo
@sha MAGevYFKfq/5hmYtpBxwCiAb6glr3CFtnuOMPeC7n6I=
@size 249291
lib/coq/theories/Numbers/Natural/BigN/Nbasic.vo
@sha g8thHd1QArDfxp1NTK6oZeRhR3WzWfU2dH0rO0M+pic=
@size 109032
lib/coq/theories/Numbers/Natural/Binary/
lib/coq/theories/Numbers/Natural/Binary/NBinary.vo
@sha jPnUaScaatzXHVZnMMKUfjStxbXMx/LBjVxmljNNyaQ=
@size 719075
lib/coq/theories/Numbers/Natural/Peano/
lib/coq/theories/Numbers/Natural/Peano/NPeano.vo
@sha xn7X8UhYCa52mOkXWWrntooufcqjumVLpQwlZ0hLtlU=
@size 1438679
lib/coq/theories/Numbers/Natural/SpecViaZ/
lib/coq/theories/Numbers/Natural/SpecViaZ/NSig.vo
@sha 1BgewgJPiDqIceSENppe/Aa2RM/hwninCndQH9bx5ac=
@size 45538
lib/coq/theories/Numbers/Natural/SpecViaZ/NSigNAxioms.vo
@sha S3HL9RlAwBqcx5Y0C4qC5305ZOKpXOx6kR+nsd+MxP8=
@size 240603
lib/coq/theories/Numbers/NumPrelude.vo
@sha 20vxIbT1Z6pmGvvZ7MfgC1P+nYnBZ5++otSVdwjQU9U=
@size 1386
lib/coq/theories/Numbers/Rational/
lib/coq/theories/Numbers/Rational/BigQ/
lib/coq/theories/Numbers/Rational/BigQ/BigQ.vo
@sha FlPlBZ+iEfAinNW/srZ9v+lz4HG4X2tlBw62MeB0/FU=
@size 548776
lib/coq/theories/Numbers/Rational/BigQ/QMake.vo
@sha aIkgmP1n8UGQosZhsYgVg/sh1d9n/RUtuYoKhWHL18k=
@size 286822
lib/coq/theories/Numbers/Rational/SpecViaQ/
lib/coq/theories/Numbers/Rational/SpecViaQ/QSig.vo
@sha I9fSG5sRQwz3yFDuzxbVblIiSzmvgh6MmV9Fq0dgLVE=
@size 149478
lib/coq/theories/PArith/
lib/coq/theories/PArith/BinPos.vo
@sha u+gdDjb5R6CRsiBUjHuB+1Iy/78jAuEQIS9WjBAG9hU=
@size 421456
lib/coq/theories/PArith/BinPosDef.vo
@sha xWyZ8pTcDL/o1XqzD4imnMaVS5a3ey7UeOV4YKHXUXA=
@size 49502
lib/coq/theories/PArith/PArith.vo
@sha oxoEc6KztWuWQLjKj1Z32YxHDtU0tKF6ppGXXflndfU=
@size 6544
lib/coq/theories/PArith/POrderedType.vo
@sha 1giuuVTrmb0ZJr34xfxrU9V3shP2OCQqwIUDQ2LkQ3w=
@size 428997
lib/coq/theories/PArith/Pnat.vo
@sha FdTx9foiciyC6+aApeSWw/TnHnxGRus7wvy4wSbYF/o=
@size 38515
lib/coq/theories/Program/
lib/coq/theories/Program/Basics.vo
@sha 0fJ2+tHAKRUOoZc0IcfPqqBf3XIJvk5sAMIokxPamd4=
@size 3543
lib/coq/theories/Program/Combinators.vo
@sha IgZyE9kqhy+5n2qVq8pFRXitpB9dEMwaoKmXJSL4wAA=
@size 9019
lib/coq/theories/Program/Equality.vo
@sha yarOLlxHa7NF4+mW1PH29iTs/GpFX4dPHebMJVUbouE=
@size 38783
lib/coq/theories/Program/Program.vo
@sha bbSefqgsZS5NticJRxdKakIcAJwILLx2cZDNI5wxkP4=
@size 4242
lib/coq/theories/Program/Subset.vo
@sha cU4mCZ4/icZ6m955yzucL4ZYGIvr9Nxt2QTW5/BhMvU=
@size 9706
lib/coq/theories/Program/Syntax.vo
@sha jLmfn2Jjaz6jc8KowPYaEfHBkD6q3efdBFSc0uVEUaw=
@size 5415
lib/coq/theories/Program/Tactics.vo
@sha 87G9buiP1Y9df7MGmMZDSskWHQ+afKFR/k88fpt3jck=
@size 22560
lib/coq/theories/Program/Utils.vo
@sha f9CqZmFMDVkt55W7KE37k1jQiujtc9B0AmjCvwDakJM=
@size 1874
lib/coq/theories/Program/Wf.vo
@sha LBdINCi+Bf2kMq2IECKgMttP80DvxgBR2aUFjMVUoOQ=
@size 33078
lib/coq/theories/QArith/
lib/coq/theories/QArith/QArith.vo
@sha vuZbUyCCz5wjYKrAQ98pi9sWK3fxDltY2NFyhJfy+gE=
@size 12727
lib/coq/theories/QArith/QArith_base.vo
@sha 4tECLcNgmW1LiZhkzLFjinffg+SRqDdS5ISMiTbrgVg=
@size 149166
lib/coq/theories/QArith/QOrderedType.vo
@sha IiGsua730mIsT22vuP2wuDmuxLuPGgL4WH67t0qmZNg=
@size 59738
lib/coq/theories/QArith/Qabs.vo
@sha o66vs1cJghLymGwPaNoCnT/VUz3GT2hp1X4llKcSIwo=
@size 40615
lib/coq/theories/QArith/Qcanon.vo
@sha iTpF6n7PxCt/rmggAsPKiTD5k+mtMOuKsj3gTL2RxNU=
@size 125440
lib/coq/theories/QArith/Qfield.vo
@sha QwACcLRN1QEyuQJUGnjCx10XR/QI2I5LlD43mCrMEQ4=
@size 64457
lib/coq/theories/QArith/Qminmax.vo
@sha XaMvEVRXmnlOiLdL0zxJKo9X7YOEBBcH5cCkaWpDo5Y=
@size 141564
lib/coq/theories/QArith/Qpower.vo
@sha ++lzrbk/bcFBMtx67f2OcN9dU2+Q7/DILWSks9zcdCw=
@size 56171
lib/coq/theories/QArith/Qreals.vo
@sha oPBXyrhXt9OXFxwaq8e4KYrlMFTWGUT1GYgbJF/crOQ=
@size 39100
lib/coq/theories/QArith/Qreduction.vo
@sha 6S48q2r6JQ+k0ev/qZeydiER2zxQ9cdpQ9DJy0PCVDk=
@size 49301
lib/coq/theories/QArith/Qring.vo
@sha DgUHiQk4MOFWveQ20LEHbR5kyWVf40GoNUy3JDx4sgY=
@size 12564
lib/coq/theories/QArith/Qround.vo
@sha CTVprrKQJUt9i7iWOapeSPI4Ezlb99z1rTvOWsfD8t0=
@size 32097
lib/coq/theories/Reals/
lib/coq/theories/Reals/Alembert.vo
@sha EXuByvHZWfNqcB2DeMULUDksOevKYxdPH65AYi7R1as=
@size 231314
lib/coq/theories/Reals/AltSeries.vo
@sha MRNidNKXmHcHVi1p7Z/pTxYIEVixHVIdBMmu48RVkK8=
@size 45698
lib/coq/theories/Reals/ArithProp.vo
@sha CGHHZXn30U4DjdDdPzL+47nLiOi3nh5L1qalor4i3So=
@size 30264
lib/coq/theories/Reals/Binomial.vo
@sha a5wVZZ2ZeNw0caSH4Hu3iqhggLicqkP4NIs9WT75I+A=
@size 37101
lib/coq/theories/Reals/Cauchy_prod.vo
@sha ZfdWSeEFFFobo7JgxooAdiytY5QfwcZd6VcqNS6FEMw=
@size 45417
lib/coq/theories/Reals/Cos_plus.vo
@sha sDuIIMh0/0XQH3PNvYBikHcrNsjtJMJxJ8EdWUkEe1U=
@size 264938
lib/coq/theories/Reals/Cos_rel.vo
@sha IiaKLuaz7axOSAm22XRALbDaIANHAB+2Z7hvU2EAuS8=
@size 72731
lib/coq/theories/Reals/DiscrR.vo
@sha U7gHzLO1xHTvYHUikqTnI4knRktCxP3QD5XZwfVDRH8=
@size 18463
lib/coq/theories/Reals/Exp_prop.vo
@sha p76JXXTEDc71hg8h5sxgzs0/uimO/xncPzY+1jeENg0=
@size 91114
lib/coq/theories/Reals/Integration.vo
@sha QCvxyBhNhl7UMDtTsUInFCkWDc/yVmaUd1F2HcAt1/g=
@size 15767
lib/coq/theories/Reals/LegacyRfield.vo
@sha lYHiMHzkcBVErdeWslKBU8wAzSbtHM6iCNrVlqxBqVI=
@size 15195
lib/coq/theories/Reals/MVT.vo
@sha FOMzCoDCFfdKJFexKMF3zPqYzObRB2hlyvoisz8DWRg=
@size 75409
lib/coq/theories/Reals/Machin.vo
@sha qV0j5DWDDmFMmdRCDOjbvoKQHNFQ/yovfyUGToygu3Q=
@size 123237
lib/coq/theories/Reals/NewtonInt.vo
@sha jQzeXN87m3pdoN/ZZUtP0+8qriVsYyN3gEI/PZY6gpA=
@size 176420
lib/coq/theories/Reals/PSeries_reg.vo
@sha CJ8D7CVAL+rbhxATGqh4AbaeR4ck81PjTljEiEhXPSo=
@size 37911
lib/coq/theories/Reals/PartSum.vo
@sha VpvD9lu+5B+b4raIXRqRE7F8+fKFp89xW61gGKoBR/M=
@size 65433
lib/coq/theories/Reals/RIneq.vo
@sha f82JvD7qr6uTKzDo2YSElaBaprT3+qDSCoRYhSL7RbE=
@size 189434
lib/coq/theories/Reals/RList.vo
@sha C1InME/7Pvs56FbBfSn96FAD0oMdw07SVPeHBfqjus0=
@size 82700
lib/coq/theories/Reals/ROrderedType.vo
@sha eEDobRzOQpGJElMMgb113Fvd9OqrkijjsXJg15+Ylnc=
@size 67005
lib/coq/theories/Reals/R_Ifp.vo
@sha FgyZ3nCOODmw+DdbfO4Y1DC4nC2dYnz6OoAfAe0uaxk=
@size 57996
lib/coq/theories/Reals/R_sqr.vo
@sha b9iqyxDWLrLLK7xcqupiY0BNykJOrKjIDUhOPmvnWsc=
@size 44638
lib/coq/theories/Reals/R_sqrt.vo
@sha r0nDa4iFGom8x1+TP1vuR2tYWFffFZ4WmF1Dmk3oNlE=
@size 57276
lib/coq/theories/Reals/Ranalysis.vo
@sha PyNdnYwX3zt9YKyD9ey8JqXzzUlLhVI4uHGlYwxYNxw=
@size 15727
lib/coq/theories/Reals/Ranalysis1.vo
@sha deHNxgBXogSCQ4ymDiAJ8PewVvEGhWZ7ORcQtdTG35E=
@size 124854
lib/coq/theories/Reals/Ranalysis2.vo
@sha u4zEysjiMIPAGf0z6mWB1uJO/Rcun1D43B79VJsQfWo=
@size 74135
lib/coq/theories/Reals/Ranalysis3.vo
@sha Tcb3KjbO9DO2t3lTanCN6ebIV5bah86DjX+q4OWCVQw=
@size 60456
lib/coq/theories/Reals/Ranalysis4.vo
@sha G/1xu7hgb9Gk9x8Oce3y79h3R5ABOWkrZ4U0gzhVWTg=
@size 43947
lib/coq/theories/Reals/Ranalysis5.vo
@sha I5YN9XQpzzXU49j7pzBCmQaWgtN723z6V/SaoW3Uis8=
@size 608634
lib/coq/theories/Reals/Ranalysis_reg.vo
@sha CAiWMZqP9B6hvR2ooeSdUJxv9VJt/ELJRDlGWAsLuH8=
@size 87373
lib/coq/theories/Reals/Ratan.vo
@sha rJKUjMgRvAqLwdLh7lUtKnKacyHpur6iAQ9D5DnVkbM=
@size 624657
lib/coq/theories/Reals/Raxioms.vo
@sha QUbfuD2AvqebJu2M+Qj1qmVOWK3y0S1+gzAzXm3V8/s=
@size 22251
lib/coq/theories/Reals/Rbase.vo
@sha KPvnYNvGaM5AaFYlauLRTts5uIxymOg4SdfyT3wSVEw=
@size 12506
lib/coq/theories/Reals/Rbasic_fun.vo
@sha mUfXlCCl3oHGalCTA/7mL9M3jghOSEw/XONAtEDAZXk=
@size 59275
lib/coq/theories/Reals/Rcomplete.vo
@sha 2NpSYLrp8RqGKchHCpUZyko31fYCPGTQ2oO7o0R4eVM=
@size 24647
lib/coq/theories/Reals/Rdefinitions.vo
@sha SkShX3zdZW4xHy46qm2JtExGCMbagtpCpmP7KRySYxw=
@size 17038
lib/coq/theories/Reals/Rderiv.vo
@sha 8VDlUC5qqY05qvqBcf1U2Vn6XkakAWWLXvxyGkuyaG8=
@size 71389
lib/coq/theories/Reals/Reals.vo
@sha JC2l4FGNblkeE3ycdFSi50iw6nFwQK3a27c/qnpyuRE=
@size 16214
lib/coq/theories/Reals/Rfunctions.vo
@sha uCx141EjBXNl/3dKybBRp1blxiZp6bPRBcXmndEjOaM=
@size 82284
lib/coq/theories/Reals/Rgeom.vo
@sha ZNJzrpIrKDs1OfaK0clo/EFR62JxpZcVKdt40DCBbAc=
@size 40727
lib/coq/theories/Reals/RiemannInt.vo
@sha IGG2AgO27q+zrWXj6mvbSJ2U5vX78lxJCBglZnZZVCI=
@size 303366
lib/coq/theories/Reals/RiemannInt_SF.vo
@sha eFKgOFl/jkHoOagZK0CK6qFIR1zCcmKgmH20Y2vWQqY=
@size 292190
lib/coq/theories/Reals/Rlimit.vo
@sha iE7Wt06jWPJgnL1e6m0yXmbKN8GJeXgcyuAh108SVdc=
@size 73215
lib/coq/theories/Reals/Rlogic.vo
@sha K/aZkVqvEPeXk+5EGrLFxU3KO2AsR4hWyhD8KjIz+Zw=
@size 116533
lib/coq/theories/Reals/Rminmax.vo
@sha dpQ2sOJKgZH0sUphj2BalpPbrfHdPCJbMp50HT8DLjE=
@size 154133
lib/coq/theories/Reals/Rpow_def.vo
@sha 3kTD1B08KOAxHhkzom1f3ifclzjTR4uJv8YBBMxCwVg=
@size 11728
lib/coq/theories/Reals/Rpower.vo
@sha JcPYThshqXGgdKNCVJf0RamqiIo2lxB9a0vyPr7x9ys=
@size 66184
lib/coq/theories/Reals/Rprod.vo
@sha GDWqmB7ph+11uq+oXoW9hsphH+J+JoMMWdxt2A7b6xg=
@size 346925
lib/coq/theories/Reals/Rseries.vo
@sha 3HCx2ImMCZoE3HHFP3RyuCAeiyIe2n2Lj5VtCuHQnbw=
@size 47835
lib/coq/theories/Reals/Rsigma.vo
@sha 3a+H930ThFK6qamWZEx6QmQKGh/gEodVd6reZzNr8u0=
@size 74796
lib/coq/theories/Reals/Rsqrt_def.vo
@sha 0bwHKCXDmlbBEu7rOmM5iNY7V8MJraT7DAbKQI8rahc=
@size 59999
lib/coq/theories/Reals/Rtopology.vo
@sha cdwJAHq/ZV9qJ45mJihoS1hmCqECae/1OBRAekW/Kn0=
@size 153082
lib/coq/theories/Reals/Rtrigo.vo
@sha s30Tq6ZKFGdKpYMdYQeEPxMdtCB9cJmHiupToVkF+CQ=
@size 15632
lib/coq/theories/Reals/Rtrigo1.vo
@sha zmA0RhWUzpsYXCB8ct7oUWMYKtBLS5yu54GK+qHhK5k=
@size 229818
lib/coq/theories/Reals/Rtrigo_alt.vo
@sha jEz4y6SB8rYNAPfFVcBqjN7qkoHZRF6zOeTp6z585oE=
@size 49540
lib/coq/theories/Reals/Rtrigo_calc.vo
@sha ka9Fuv3RwqHe8INk4d0FJyOVrT8CfUjIgeFGJR/KXHI=
@size 56175
lib/coq/theories/Reals/Rtrigo_def.vo
@sha bI3AwQmU8nU0Bt0yw1rcNwGhczUwfQXLD7JnKQoHRxU=
@size 123230
lib/coq/theories/Reals/Rtrigo_fun.vo
@sha XmYXYFhvYRkqot4NMhHdxpDGUEzcx/HG+FTDesJAGF4=
@size 21567
lib/coq/theories/Reals/Rtrigo_reg.vo
@sha gca6lt90K6gprjWKiCQl3KljuE61K9yZKQ093JBWOJg=
@size 49476
lib/coq/theories/Reals/SeqProp.vo
@sha Xaj3pD0GYAmyaACvcMnl2DCCGtJcc0lw48Tmdpy8X/Q=
@size 90949
lib/coq/theories/Reals/SeqSeries.vo
@sha ANv7MBkGvXwgOKC0WlXu0e3idiO92w+LkgJ0b7QyKsM=
@size 46806
lib/coq/theories/Reals/SplitAbsolu.vo
@sha flFwGO2N3s4Hl9rBGothabdlvqJ5jQf//Ep8uLzFlc0=
@size 13729
lib/coq/theories/Reals/SplitRmult.vo
@sha dy28FHEFHiIeEkfTaHrBV1JGtGj0U8MOs2O/mp0oZXg=
@size 12829
lib/coq/theories/Reals/Sqrt_reg.vo
@sha ud9UsnK67NxeeytX/hi3VH8s30uKJVjVCoGtvCeTS30=
@size 36080
lib/coq/theories/Relations/
lib/coq/theories/Relations/Operators_Properties.vo
@sha mg6yCCwt0zEbb4FxedS0SIyPOrnQA1S4Ojtgx0nWq9I=
@size 24912
lib/coq/theories/Relations/Relation_Definitions.vo
@sha HqyKIQiFpHJviokye25oOUG+tJEwsOaAQdc5UBdP6zQ=
@size 22092
lib/coq/theories/Relations/Relation_Operators.vo
@sha fy4S0ELjQVoW7FvOxjH89H1L6/RzZ4DB+dTjBOLiKaA=
@size 51226
lib/coq/theories/Relations/Relations.vo
@sha sgKVXFW6L8NXEKp86I4PwR2axa0NiHJwobKGuzD6RVI=
@size 2969
lib/coq/theories/Setoids/
lib/coq/theories/Setoids/Setoid.vo
@sha InlWDivHGE4EN/84uvZNc9+EdRGD8wiD3LaJhRTGLeo=
@size 6346
lib/coq/theories/Sets/
lib/coq/theories/Sets/Classical_sets.vo
@sha LqCDz4YMgg6R+yiKSW/EVo8Lf+9X2SWaZlVDJa3eksk=
@size 9330
lib/coq/theories/Sets/Constructive_sets.vo
@sha Dy3dw1/TehDlMWuGGYDyP+E4VSChS6UuQW+EMF/i+BM=
@size 13736
lib/coq/theories/Sets/Cpo.vo
@sha tWudPNbOTGNYSkvFKDTSWu3HOsXufjpEDwP/4LG/OCE=
@size 44787
lib/coq/theories/Sets/Ensembles.vo
@sha B7wcMo544gpIyP5xQ7sLUwWRtOsA+bXlWTqzm2kIJ7o=
@size 25352
lib/coq/theories/Sets/Finite_sets.vo
@sha ZzXORAi6nQTm2VLndsjMox8WZlQdAjlOa0HH2btEkRQ=
@size 11491
lib/coq/theories/Sets/Finite_sets_facts.vo
@sha Kv/dhDT/ErAXAZgx0ZeFo5ErR/NTiRex31728dZDTgo=
@size 25478
lib/coq/theories/Sets/Image.vo
@sha 9jZK5aZiAeI2N6ioJtlyxo0S1JBUsOzQqCTUUTtESK0=
@size 20527
lib/coq/theories/Sets/Infinite_sets.vo
@sha W4JmBnqdVFkAhR8JEhK43zjs9gq4PG1eS4czHvm44UA=
@size 21471
lib/coq/theories/Sets/Integers.vo
@sha dpNgbu6bkkIqJ12IyqpeUHcLzbcJJv0Xn+qtAnjpG6A=
@size 9402
lib/coq/theories/Sets/Multiset.vo
@sha jnsUtWbMFgbKPup5mG7govoQWmCTPmV3tqzUkXHE2Zg=
@size 23115
lib/coq/theories/Sets/Partial_Order.vo
@sha HhkTg1kmeoxe0h41iSu5MOZswUi8J6Q2jRG13Ken/i4=
@size 15172
lib/coq/theories/Sets/Permut.vo
@sha el4kVSw3QQXfmbgDrmFMv7yvcNxY0ThIJTGUP6ANPwQ=
@size 11430
lib/coq/theories/Sets/Powerset.vo
@sha 9MFSHyE++tPB3FRy/PLD4SA9jUFYt2Aws2ItUpdeiT8=
@size 16522
lib/coq/theories/Sets/Powerset_Classical_facts.vo
@sha lhdO/B7JsscMQ0GRzpvTx/t2d4hsjdCGySyJvkXjVvI=
@size 27059
lib/coq/theories/Sets/Powerset_facts.vo
@sha VynwEftOZW8uRdyhgoEYkUpMWJ1lAGHtjqUsnRe2i2c=
@size 23112
lib/coq/theories/Sets/Relations_1.vo
@sha 5hKz5WCz8pIqB38LZz8391H0iVrA2poEqRqky8v35jo=
@size 14103
lib/coq/theories/Sets/Relations_1_facts.vo
@sha TnSMrTSUTSWiIzsIJeHyB70oghn+YCLMzCHgc0UeyMo=
@size 7771
lib/coq/theories/Sets/Relations_2.vo
@sha 3G2p6zIjqYKmjyRcsXqmrOyiGLs6/pCZ/uunDpdjWRk=
@size 11387
lib/coq/theories/Sets/Relations_2_facts.vo
@sha +VKdd8DVNlo66IQUSIkusDbHGE3QLZpokxf0VA/Kd/I=
@size 11854
lib/coq/theories/Sets/Relations_3.vo
@sha Q9MDcvDHJzwdI8KSAjLD0gR4Ph7V3cuVhx8rFcttQ7Q=
@size 8402
lib/coq/theories/Sets/Relations_3_facts.vo
@sha NzBeerDeLH3m2oGDaExMPZ2IdOBKs/jVvIJMOVeTCTE=
@size 10987
lib/coq/theories/Sets/Uniset.vo
@sha VTPtwhx/R5W69yOmQOOGjdSA/06FC6HcnvC0wm5zlss=
@size 20059
lib/coq/theories/Sorting/
lib/coq/theories/Sorting/Heap.vo
@sha bW85L2tOlrVypOW/IeW6cLeic+8xsFXZq2MHuSH5Klg=
@size 69790
lib/coq/theories/Sorting/Mergesort.vo
@sha PVgP1eoaMsLD+W3hOlab/xzm0g8OiWnq8hHxMuzbOlM=
@size 31390
lib/coq/theories/Sorting/PermutEq.vo
@sha 9NMYVjlK8qY8CXAoAXcQlE1N52nbRKTZ2bB0q5GIxQE=
@size 53393
lib/coq/theories/Sorting/PermutSetoid.vo
@sha E5Pif5HLLi3bosCCFN26j0DFpBJrvSDnhOBEXnx7iBY=
@size 115672
lib/coq/theories/Sorting/Permutation.vo
@sha 5zeZruYx/zqDtXFMjVpOrXopdWTSuLVySs7YEDy9YzQ=
@size 83108
lib/coq/theories/Sorting/Sorted.vo
@sha pT/JOewkdA9SLXgpVCxCmwSUdOM8ReifDv8jcGphQMk=
@size 31616
lib/coq/theories/Sorting/Sorting.vo
@sha E6hdfZMBkhKncnX7pfT7nQXza/rHllJbB5xyFXIZjM0=
@size 1941
lib/coq/theories/Strings/
lib/coq/theories/Strings/Ascii.vo
@sha aiDm8kEHlTOdczlWDXPR0pGFjUX/Jh835a1AS5iDocQ=
@size 236881
lib/coq/theories/Strings/String.vo
@sha 0C/vUjq8JLOA2B2uYwkc/w9mTemvBII+LV/6pAgJb+8=
@size 54027
lib/coq/theories/Structures/
lib/coq/theories/Structures/DecidableType.vo
@sha K2IqgDYoKByVAM8URZhKxEFoCDUXbA61KPDq+Q9sUyg=
@size 24376
lib/coq/theories/Structures/DecidableTypeEx.vo
@sha iqvkXn/eViHyjTJdBgUNJ73vPo6KxMM61QYTzzghozY=
@size 60404
lib/coq/theories/Structures/Equalities.vo
@sha IeMtVmak4hC9g/Do/JAnVlcEa4PswIbf4ruZcwb7mgc=
@size 77279
lib/coq/theories/Structures/EqualitiesFacts.vo
@sha L0fodb9aY8MrfRP/pO+gKQA0vjZoa/eC17PN3HUhNns=
@size 42288
lib/coq/theories/Structures/GenericMinMax.vo
@sha MPFZ4pEGNxYA+bgR7DJMIl7EZpNfNW2JdxnB6w/gxM8=
@size 261052
lib/coq/theories/Structures/OrderedType.vo
@sha wUdHxMJ0yYFlbZPVO1+Ftv+iyUmrQsBidQ8mig4Mww0=
@size 140065
lib/coq/theories/Structures/OrderedTypeAlt.vo
@sha 8qw2YrLhZSrlIjp1swAjbpdy1upFJP3kV355NeElPtw=
@size 79198
lib/coq/theories/Structures/OrderedTypeEx.vo
@sha LuXEzL4/q4fUNiXpwmrGrRvxzoSGmQ22/oNmo2zxMZM=
@size 150868
lib/coq/theories/Structures/Orders.vo
@sha P6qH/k8ppul0cvaaWVBz/ndVOVLEDuv19h5eVskBzjA=
@size 127140
lib/coq/theories/Structures/OrdersAlt.vo
@sha G7OmZCXQ6q8C1wtbmGnEiNhw9dUhXe6mG5Fe6pGKNVk=
@size 37654
lib/coq/theories/Structures/OrdersEx.vo
@sha haPv7y32/h01y5V0NuwAqK/x8GJHn6VTqhRWIFFe7Mw=
@size 4134576
lib/coq/theories/Structures/OrdersFacts.vo
@sha +hFYx77PGNf4KGduw9b7+0HUI74/hUbISJ/jSUGeURs=
@size 187309
lib/coq/theories/Structures/OrdersLists.vo
@sha cBptZK0qUS4IE8qLYO/aCCDpLWIJ5MkHqSPVQNNX/ns=
@size 48790
lib/coq/theories/Structures/OrdersTac.vo
@sha ofcEn5By+e8sYGZbJXObjX9Ez2g25bUoeLEhwqm60HU=
@size 92968
lib/coq/theories/Unicode/
lib/coq/theories/Unicode/Utf8.vo
@sha 8G2hKqZvcfeRtuYfhARK0A55qOTOe0Dux4PMG6pcXpk=
@size 1071
lib/coq/theories/Unicode/Utf8_core.vo
@sha QPCWSOl1uKatyJsr+zEF9SRfT0edkTNl+Pq4vu6xVxI=
@size 2585
lib/coq/theories/Vectors/
lib/coq/theories/Vectors/Fin.vo
@sha eyeLPQK6gp/iHJC1F+JMAuscMCKBOnhYENCskWV5Rj0=
@size 38494
lib/coq/theories/Vectors/Vector.vo
@sha jNAgnb15fUlZuUqTi8ILQhtSPkjn12AlKNgp9eWcDAY=
@size 114906
lib/coq/theories/Vectors/VectorDef.vo
@sha 3lhCx3xSUQmCBQ175v+ZwS8tBfVJuN/sMFlrn1WXuLI=
@size 74347
lib/coq/theories/Vectors/VectorSpec.vo
@sha WYAmfzkx31PnppQW0iN3rJSgiNiz4xlHGrO8blpJIXU=
@size 26480
lib/coq/theories/Wellfounded/
lib/coq/theories/Wellfounded/Disjoint_Union.vo
@sha Eaf3aSTFh4tcjh5GthcXth6J1F5ysc/l0QilZblCtpo=
@size 6747
lib/coq/theories/Wellfounded/Inclusion.vo
@sha EieeFApXokIpe++BEUXB/QBV/nhBnSjeB2IF1pd8G50=
@size 2635
lib/coq/theories/Wellfounded/Inverse_Image.vo
@sha 36r/f//5T0x+K+CBqTJZ9apSlJojbAHCwdVnrzgXtK4=
@size 6199
lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.vo
@sha kxg9DKD1KSJI/zQro1U4RDXn49CSYT3IHEZXhdfirKI=
@size 47429
lib/coq/theories/Wellfounded/Lexicographic_Product.vo
@sha pIE7AkcnoSIb55IsLZ7k3pK65C66wgOeDCwmwr7OH4k=
@size 94716
lib/coq/theories/Wellfounded/Transitive_Closure.vo
@sha BrA5wUJgoUSmT0Jc7XfpCLxq3cf1d42iCjLQ8pQek+4=
@size 4921
lib/coq/theories/Wellfounded/Union.vo
@sha LnN74gPnbaNAZY7vmjLmT0cKdFQx0OeogTHWbiqD64E=
@size 6501
lib/coq/theories/Wellfounded/Well_Ordering.vo
@sha XWFk/1zVfCWPxp9mymxKEDkoLn5x+MEPSVWFpcLBSrA=
@size 10965
lib/coq/theories/Wellfounded/Wellfounded.vo
@sha fDrg8Rne0/d3UWLpDvQMOy/ik0uzRuMPYPJJSkh2TVc=
@size 2133
lib/coq/theories/ZArith/
lib/coq/theories/ZArith/BinInt.vo
@sha /IfvVdwICYrXxMk7bx+EcBXcji0/gTd9Fg/AXMwgM80=
@size 2122345
lib/coq/theories/ZArith/BinIntDef.vo
@sha heOI4mQ2AkwGKhdIX7Mce6Id1HAqCU0jlmIE+9OdSs4=
@size 51193
lib/coq/theories/ZArith/Int.vo
@sha 7bCMghD6yFD6fFxsYlxu9+rkHJU+FyITt94UsGVHTjo=
@size 61257
lib/coq/theories/ZArith/Wf_Z.vo
@sha ThgbqtJ/d1DhkwMr0DhqEDnEdldo+5JCkOQWjLtwjq8=
@size 27317
lib/coq/theories/ZArith/ZArith.vo
@sha j9zg0VaTL2rVY7eDOMeYfd8kXgPomEef0dmSAlplfvI=
@size 12161
lib/coq/theories/ZArith/ZArith_base.vo
@sha zZ01FfqWCjhaDQwQNnIrq/5dc5P/2l2XRuNbzKgC5Ys=
@size 13527
lib/coq/theories/ZArith/ZArith_dec.vo
@sha knZcVIN6bTc+YVYgwKKhfxL2YTZoJduSO00SC4GfrZk=
@size 41577
lib/coq/theories/ZArith/ZOdiv.vo
@sha iQwMZAM7J1QTUBKs6s48bQLYjXqgj+QtcgZwTmOiu5A=
@size 18062
lib/coq/theories/ZArith/ZOdiv_def.vo
@sha rq2NuPRB2yhPLGMD9oCHczAQMTJW16PzFcoWfJgmnCY=
@size 9621
lib/coq/theories/ZArith/Zabs.vo
@sha VFUYvIZUDWWgxedDT0xK/RpD1zbU+I/uN3O7GrkyZS0=
@size 19979
lib/coq/theories/ZArith/Zbool.vo
@sha +Z1be5kquiHuV9qOd1aev9GVtPUj0PzxYiDJ0cesvkE=
@size 34280
lib/coq/theories/ZArith/Zcompare.vo
@sha QExOUyVUnMJdrbQnYOJvJ+O8cJCz+OlDK3CgUctl1H8=
@size 28078
lib/coq/theories/ZArith/Zcomplements.vo
@sha VpOk4HG7wgsPS9w9UjGtESf8BqWBvshmy5DvobM0wbM=
@size 36676
lib/coq/theories/ZArith/Zdigits.vo
@sha 0khIYrQA+UZFRYP/J+4rbgPkvCq0PfEu8qyOiqAjiG0=
@size 54385
lib/coq/theories/ZArith/Zdiv.vo
@sha KR8CKXd+dMWVo6DU3bmFiyq+ngNwbLuilBijS/IW9xU=
@size 225231
lib/coq/theories/ZArith/Zeuclid.vo
@sha HpLicCNCyR3qWdlssVEUuE7Y1sd6d6FlJeyJRRdae8U=
@size 158115
lib/coq/theories/ZArith/Zeven.vo
@sha 1MDP4Iu3JO1wdl4WagwV7ZVn3m3Lq4rU6DP48M0Knok=
@size 47522
lib/coq/theories/ZArith/Zgcd_alt.vo
@sha ISm3i9JNX+qo0UeATA3fRRY3ae0f/siMD8VA+zLu5ts=
@size 106899
lib/coq/theories/ZArith/Zhints.vo
@sha r5SOpmDeJR+yB3FnphiUDOdd5YzakE0StI9qOAVtJ/4=
@size 16766
lib/coq/theories/ZArith/Zlogarithm.vo
@sha dtKM8xS+vwDWOGEQl+znvvHfOnqBpa204f4U0YnebA0=
@size 57616
lib/coq/theories/ZArith/Zmax.vo
@sha sFqOO9cKh6hKBxLdC4kILOhgUU9J6gKkbeRUZbvfprg=
@size 14456
lib/coq/theories/ZArith/Zmin.vo
@sha sbsxsKZ/oHEwHfNFfvI6dDN12dTL/K2ZWeCCcn6V9AA=
@size 15035
lib/coq/theories/ZArith/Zminmax.vo
@sha VJI/pbvZ27JT8xc5A32xIumZzH0PsT8IVKJxlMl0gLg=
@size 10274
lib/coq/theories/ZArith/Zmisc.vo
@sha e3BLtMv1m71wwsO3li/vP13Dkm5Hw5rJuNiE6bIDdbI=
@size 11622
lib/coq/theories/ZArith/Znat.vo
@sha gEy3rbVSxPkgk15BLxq8Rw9xQEW3wOgvL4GTAP3d3HU=
@size 90262
lib/coq/theories/ZArith/Znumtheory.vo
@sha fy+tDnCasp8ryYx4VtviJYlY+WPfHM+HdBi0wG7YayM=
@size 209098
lib/coq/theories/ZArith/Zorder.vo
@sha V+MkOvPi3prPa77jIasK3jaSo1B/pn+jaxRSLL39/Vo=
@size 69039
lib/coq/theories/ZArith/Zpow_alt.vo
@sha cywOTqtaykpSNBNqb+qNOfE21vk3bdklWjBsalVFfho=
@size 18244
lib/coq/theories/ZArith/Zpow_def.vo
@sha hX0ikuW9p7UsBuJc49z3KmRw720Qo+Tdq5rSnOazBao=
@size 11633
lib/coq/theories/ZArith/Zpow_facts.vo
@sha FWWG22/N2k13BkPPQatI9hMcbT72s3TJApD56YT6SJE=
@size 90382
lib/coq/theories/ZArith/Zpower.vo
@sha 1u/37y5nQgjtSumrlB4b4LWXcZ8WfLNxiUPfHk9jFKk=
@size 77484
lib/coq/theories/ZArith/Zquot.vo
@sha qp9zvutlWZIwKdYTxA3rczhBefSsZL5/mY0d628m6PU=
@size 87005
lib/coq/theories/ZArith/Zsqrt_compat.vo
@sha agqAT1f+dGJp5fxKDhLoYJRAKTQ8+RQQYhSt6/7ww2w=
@size 332463
lib/coq/theories/ZArith/Zwf.vo
@sha O9y9Q+GHvvFvMgha5OQ+xtYzFQ/wLEc5qgEQ5yACEPk=
@size 23121
lib/coq/theories/ZArith/auxiliary.vo
@sha fhiBDamGIJHds5jPQlO+XtK4vyDkljUFerjCQdTYaZg=
@size 20949
lib/coq/tools/
lib/coq/tools/coqdoc/
lib/coq/tools/coqdoc/coqdoc.css
@sha o/WOG4Wx+dRrhCRYNc9QssnDJDgjG1u3sqGt12HynGU=
@size 5216
lib/coq/tools/coqdoc/coqdoc.sty
@sha Ib0mX5r/BDes6TO5Cv+WPuqsHDhgI7Ddbfa2lwVFEG8=
@size 5493
lib/coq/toplevel/
lib/coq/toplevel/auto_ind_decl.cmi
@sha TBSqGdFM5Pu0JjjJcl7CvI4gpsWoVZIOo+TDuZcgvTw=
@size 3255
lib/coq/toplevel/autoinstance.cmi
@sha ooXUzjh328M1UkN28fDVvlRMKENBL65vbLRFgdPutNA=
@size 2303
lib/coq/toplevel/backtrack.cmi
@sha XufJfbt/dbBxIVjpksVA/LFw6qui6YWSAlZpl1iV55A=
@size 3555
lib/coq/toplevel/cerrors.cmi
@sha T0CjbPDT73/V7xhM6VbmoIwU3bn5pY48NYTMsJgPuAM=
@size 1186
lib/coq/toplevel/class.cmi
@sha uYMH6GyZFemps/Ps2ioLudJ/EnlEDSJRPf4u1iU+rNQ=
@size 3194
lib/coq/toplevel/classes.cmi
@sha bDndYurALjNdA4eD14RdPLj9QJlFqN06vqvtUg+hkT4=
@size 4499
lib/coq/toplevel/command.cmi
@sha NgZMRsYCcUsLukdEEUTLI8jy6yC5IrjB5fNa1tB0DzQ=
@size 9273
lib/coq/toplevel/coqinit.cmi
@sha bVy9tNzqpJCUrmDzPwjh8CLd2LqDoQZHH88oR9MoXKQ=
@size 1198
lib/coq/toplevel/coqtop.cmi
@sha d5K4JEH64N42dO4G3wLyxSSMxoZTMFytVrmszAuKL88=
@size 314
lib/coq/toplevel/discharge.cmi
@sha I863JDEG/DyXwLBmcREmf4sEEzz8Ddgmi9Zn66fZdRw=
@size 1643
lib/coq/toplevel/himsg.cmi
@sha 6Df4zWgKx6VHAVsj2aiRJ7gl4II8dhtyMmf2ot2ddYs=
@size 4048
lib/coq/toplevel/ide_intf.cmi
@sha Ky0xkR7457h0tEvCsSbChprv+Ic5SX5oSwQ9EGQmlwY=
@size 3088
lib/coq/toplevel/ide_slave.cmi
@sha ehdoDT7rqn10dSFfTHKiiJ1PX1DcS3xVlZr6DEz1GAY=
@size 286
lib/coq/toplevel/ind_tables.cmi
@sha iao/ThWY6VNdrwAu6Ohnj4IP/FG6vPT6JIpVYTxzI1w=
@size 3143
lib/coq/toplevel/indschemes.cmi
@sha 476Hr6No3zQJUKsd5vYuJXW4Xfskz9ByqQxjNUtg4v8=
@size 3566
lib/coq/toplevel/interface.cmi
@sha V4vTw1vI6eDqSTEGRC3u45ycTJ2zC55Tk9lXwiWHObY=
@size 5680
lib/coq/toplevel/lemmas.cmi
@sha Qlg5SUx/oUXrMCigUbBGX/rpvvBVCx1+G5Np0VaItfY=
@size 4635
lib/coq/toplevel/libtypes.cmi
@sha YQ+mdKX7VOazQIKysFnuQlrHWsHkchD6rUyLu4tWmoU=
@size 2107
lib/coq/toplevel/metasyntax.cmi
@sha JZG5ibJvIECVqUC4IMqIKbVRvE+xMmj0pxWlIrU52s0=
@size 4596
lib/coq/toplevel/mltop.cmi
@sha RigKeYjW5xmI+ddOkHalCfkGktR9yyuVEgk1dKYbYvo=
@size 4069
lib/coq/toplevel/record.cmi
@sha TWEJr2qCWR7Rv5mdeHo5QKjSSSFTvxUcTQi8532HZe8=
@size 4059
lib/coq/toplevel/search.cmi
@sha jwR84zYPJCkpcqig4c6HZGM/xkmw4/+495FFG6ebI3w=
@size 4907
lib/coq/toplevel/toplevel.cma
@sha a0BI/D/77gZoGNrZzPeOtg8hl5SpIl5K5Ojgp7FnZNM=
@size 604742
lib/coq/toplevel/toplevel.cmi
@sha GF2znClG/7hqH7BZ9rfqRKvZVmdyOuT+yX7+YFSPLd0=
@size 2909
lib/coq/toplevel/usage.cmi
@sha 9gG2G9Ku7uic4SNdsCpuOM6YLqKJ6EfJUnGLmhhmTxE=
@size 496
lib/coq/toplevel/vernac.cmi
@sha ijoUP5k2QP3C+VwArO3aTgMJd3PCvPn4cF+iU91aYjE=
@size 3334
lib/coq/toplevel/vernacentries.cmi
@sha 0xOyi8Bb7hY3WEvsoaBZ2WSP5SQeh/fp/Un+RH6UMx0=
@size 4315
lib/coq/toplevel/vernacexpr.cmi
@sha +4dJpYiA/pGCZsv4bYOuXIQM4aiO+eToF7ZLAt+iIZk=
@size 21843
lib/coq/toplevel/vernacinterp.cmi
@sha gI0FwhJqLt9jN8POnzY90i5RG1+0nmkinySHjFuB9Pw=
@size 2539
lib/coq/toplevel/whelp.cmi
@sha F5eCYbNMsjHAJxR8jBx2zEULRbG2xbNmdQ1CfzJLaSs=
@size 1941
lib/coq/user-contrib/
@man man/cat1/coq-tex.0
@sha lQwbhW27YLbaCKHYRLruxc76uqglivF6byt2F5sHonc=
@size 4067
@man man/cat1/coq_makefile.0
@sha iAT5RgAxxe0zA7gtdD/YPgmB3WsUMYDN6IhPr+2Mdfs=
@size 888
@man man/cat1/coqc.0
@sha 00RfwMbi90qNeYxV43dxx3QRttrI/PACttuEbkTq4P8=
@size 1544
@man man/cat1/coqchk.0
@sha HDWe+mIr1cmNbJwWM81VnIY8Z/rf0mHOKWru/eGvZ6s=
@size 2780
@man man/cat1/coqdep.0
@sha XX1FEWkzj0kss/RKBHFLl4z+KuWHJFFR4SK/KEP1a9s=
@size 5168
@man man/cat1/coqdoc.0
@sha HFfCR8Axfi2bAs309Wishi6gklpd3B+oBDKxL9UYOsM=
@size 6762
@man man/cat1/coqide.0
@sha Ps6T9HRiQ2LNwhXetcTJnTSNiqyImTa0EnIZL8SMNGQ=
@size 3892
@man man/cat1/coqmktop.0
@sha RXKaEaK18xv32IClTjyLAULDJP6cVSLLV6Yrv+kxH9g=
@size 1645
@man man/cat1/coqtop.0
@sha 5Z5UaTCirtidTwp15wrhp9EyXklO6qOicbdvdBDis2Y=
@size 4649
@man man/cat1/coqtop.byte.0
@sha aPlzrknr3CFB7SSBGVkXrm//mGaFtqqzbixryB12vgw=
@size 790
@man man/cat1/coqwc.0
@sha HXc1ONC2vx5UyqrlQYlqSW5XWcBK2K2Bjc8B124UY7M=
@size 905
@man man/cat1/gallina.0
@sha D1M2f+LPQkn23/OAcAVe9gGLKYMbuTbNKnRbUsc+hQs=
@size 1639
share/coq/
share/coq/coq.png
@sha x2rM4xsiM+TDj14G+ao/rf5pLav0bx6cjv7djkNGD3A=
@size 6269
share/doc/coq/
share/doc/coq/CHANGES
@sha QtB4/X7wzq5nmSAdb8SeDvKOb/2d4iRC7krxyMRAOec=
@size 118820
share/doc/coq/COMPATIBILITY
@sha UwRBljKex2pq/cp2AGq2zS5ZTnPK7xvWbPFJnL72kuQ=
@size 2156
share/doc/coq/COPYRIGHT
@sha TD8kKe8kPZEkFegXNVjS7BC/T2GQijg9QEn9PWQJL3E=
@size 662
share/doc/coq/CREDITS
@sha Koa3XQ49kGr29Z2T/zH28C7VOEis217pDylDDv1K5YM=
@size 7027
share/doc/coq/FAQ-CoqIde
@sha qC3GJ1EP6j9yQ0rCOlXDE31kBJpl4Mb/JgWPAQ8q8ho=
@size 3020
share/doc/coq/LICENSE
@sha 1FlLgvTVCEDfan6dFBMqjAo8wF0KxG0VMQomSh91RH4=
@size 24381
share/emacs/site-lisp/coq-db.el
@sha l1PpBefFJ6qlJ9jRMK/4aJVo4IaWlmnTNdFET31f0SU=
@size 8673
share/emacs/site-lisp/coq-font-lock.el
@sha a8jHVBDMOrL5vfplNyIeQSabyeYLwgn+vz+Wnvxm3hc=
@size 4902
share/emacs/site-lisp/coq-inferior.el
@sha wHN4J+HMl5Zi8MLD4c9/fQ2SJ8kqqgIwqFT271hLd+s=
@size 11606
share/emacs/site-lisp/coq-syntax.el
@sha p4m8CkoqpEQR/Sd9XfGTbnfcknOxzYCSGe2hXMTZchA=
@size 44698
share/emacs/site-lisp/coq.el
@sha lmomZYu2zY8OGxSJLxdzH2mFtrouAza2G9Ui3UEcTac=
@size 4804
share/emacs/site-lisp/coqdoc.sty
@sha Ib0mX5r/BDes6TO5Cv+WPuqsHDhgI7Ddbfa2lwVFEG8=
@size 5493
share/examples/coq/
@sample /etc/xdg/
@sample /etc/xdg/coq/
share/examples/coq/coqide-gtk2rc
@sha hYoy7XKB6ASU47C0byg42UlJlmm7Xfzm8jbyCiZXq1A=
@size 903
@sample /etc/xdg/coq/coqide-gtk2rc
