@comment $OpenBSD: PLIST,v 1.10 2018/05/20 08:25:36 espie Exp $
@comment $OpenBSD: PFRAG.native,v 1.2 2013/01/04 11:07:29 chrisz Exp $
@comment $OpenBSD: PFRAG.dynlink-native,v 1.3 2015/06/19 21:25:32 daniel Exp $
@name coq-8.4pl6p3
@version 3
@comment pkgpath=math/coq cdrom=yes ftp=yes
@arch amd64
+DESC
@sha A6dKKhs4bNvfS4uAdM9TVjSK8FTyHOWJ7PO0TKDVyA8=
@size 353
@depend lang/ocaml,-main:ocaml-=4.03.0:ocaml-4.03.0p3
@depend x11/lablgtk2:lablgtk2-*:lablgtk2-2.18.5p1
@wantlib X11.16.1
@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.1
@wantlib Xrender.6.0
@wantlib atk-1.0.21809.2
@wantlib c.92.5
@wantlib cairo.13.0
@wantlib fontconfig.12.0
@wantlib freetype.29.0
@wantlib gdk-x11-2.0.2400.0
@wantlib gdk_pixbuf-2.0.3200.1
@wantlib gio-2.0.4200.7
@wantlib glib-2.0.4201.0
@wantlib gobject-2.0.4200.7
@wantlib gtk-x11-2.0.2400.0
@wantlib intl.6.0
@wantlib m.10.1
@wantlib pango-1.0.3800.2
@wantlib pangocairo-1.0.3800.1
@wantlib pangoft2-1.0.3800.1
@wantlib pthread.25.1
@wantlib z.5.0
@cwd /usr/local
@bin bin/coqchk.opt
@sha zqLbHAWM0rPo4pyLf9DBXzZsuaxUeI7nhNQSdqqAQOs=
@size 4653376
@ts 1539336528
@bin bin/coqide.opt
@sha Ulm8oaVvkFsurgAfnDAUj82Idf/dVbvWFPzWnZiuHNE=
@size 5747504
@ts 1539336573
@bin bin/coqtop.opt
@sha vQ+e5E+NdrCuUJ53nGDdelfe05IUJRqVxYJ3lx1kvPw=
@size 15066688
@ts 1539336528
lib/coq/config/coq_config.cmx
@sha uXDPwwcduaneDL8o2GDXenRBwS/TjdI+QTat7HRfc78=
@size 5466
@ts 1539336570
lib/coq/config/coq_config.o
@sha TWML03gQ/qMW8K2a+fakoikgYlVNIttuLC+9ujAKfME=
@size 19128
@ts 1539336570
lib/coq/ide/ide.a
@sha npDg2jCIUyw2MR+qdeyDEJq8S5IYBvi6NRTdMJ0Qv9w=
@size 2748570
@ts 1539336573
lib/coq/ide/ide.cmxa
@sha mStXUuaULDqU+cySeq4iMiQrdWHz6YNcPtcLlwm7RpA=
@size 32853
@ts 1539336573
lib/coq/interp/interp.a
@sha uzmNEoIBKdrHhGLjWViBWxUw3BkmWAldlwsc5Y+omMs=
@size 1291068
@ts 1539336571
lib/coq/interp/interp.cmxa
@sha ed+NbziAQD0eJYK9tw6I27H57MWLZsOi3y1ANKLpIA0=
@size 42825
@ts 1539336570
lib/coq/kernel/kernel.a
@sha p7YeXiBeN6aF4/F+IPhCxbCOSPM7GmyFDxBTjE7vZ1Q=
@size 1540174
@ts 1539336571
lib/coq/kernel/kernel.cmxa
@sha dJUn8u4OPf/unMG4IH04qiHtuOx08IRnkH1akMGFK6Q=
@size 48372
@ts 1539336570
lib/coq/lib/lib.a
@sha Eremge77HMmfVz93GvDOwwc5Vhq8JqePZom/Q172Wjo=
@size 1547536
@ts 1539336571
lib/coq/lib/lib.cmxa
@sha xuJYpPutxmXP7wh+O9bcWcCVX4IBb1niE4ZB6wQ2k0s=
@size 17846
@ts 1539336570
lib/coq/libcoqrun.a
@sha cN2/cYZqQSsz+ml9QggzURn+8MvQHqXKnhNHgQf9+d4=
@size 50488
@ts 1539336570
lib/coq/library/library.a
@sha ltGAHg+c6v8YIRfi3u2+aVrm+SZpxtIJaxnGumuxO3c=
@size 609318
@ts 1539336571
lib/coq/library/library.cmxa
@sha 9S0InTWJyfN7dsdANBcMUoQwZ9a9Tc3+bZ0fdGspqdQ=
@size 28136
@ts 1539336570
lib/coq/parsing/highparsing.a
@sha TA5gbHINz+8pcPnqZ79wyeWp97AVXle5nAklhcHUFdk=
@size 1718778
@ts 1539336571
lib/coq/parsing/highparsing.cmxa
@sha EFggF+czyhRwe+V+JnNAi+BYoQqnz5y4l1vHaHeEFO8=
@size 17327
@ts 1539336571
lib/coq/parsing/parsing.a
@sha 5zFJnwCUDIrW5JGgLNWEZyDzQyEg+gcA062Kn3unwDk=
@size 958194
@ts 1539336571
lib/coq/parsing/parsing.cmxa
@sha 2RTBNTcWvzJeiqkMNSbLjiZ0ciS/mW4qnMSwzrySIXk=
@size 31841
@ts 1539336571
@bin lib/coq/plugins/cc/cc_plugin.cmxs
@sha 0bQ2F1DEO4ACJK3qy5rXz33FrC4IjOxgXTZDfEDhwQ4=
@size 234518
@ts 1539336572
@bin lib/coq/plugins/decl_mode/decl_mode_plugin.cmxs
@sha nuhZwitaioMxUOZvt2I3chYMxtrfB9EArq7z6a1IKKY=
@size 571602
@ts 1539336572
@bin lib/coq/plugins/extraction/extraction_plugin.cmxs
@sha 7BkxKRDc3FSG0LYV2t3qGW8D0hEPCCdAJPZbztdwh2w=
@size 932436
@ts 1539336572
@bin lib/coq/plugins/field/field_plugin.cmxs
@sha FeeqeLXGZQDizScMx75m5hUIggCnoq75R9XkS7qO0Tk=
@size 96718
@ts 1539336572
@bin lib/coq/plugins/firstorder/ground_plugin.cmxs
@sha UTLWX/00fWoPqBBnZglyOsNws2JBH0Vw3c1boiRhw6w=
@size 268598
@ts 1539336572
@bin lib/coq/plugins/fourier/fourier_plugin.cmxs
@sha 7uTnTXf9weTq36diXLYRJCVqWzx+w70yyq2kH2MOJFQ=
@size 141988
@ts 1539336572
@bin lib/coq/plugins/funind/recdef_plugin.cmxs
@sha iu0Dtu0cy4p4DO9mbUUCM4dRBWUa0zQfDXHWAomAJ6I=
@size 1323500
@ts 1539336572
@bin lib/coq/plugins/micromega/micromega_plugin.cmxs
@sha VscaJn+A7l6Lm27kA1Dp7oEeQS3EPfJCGTi+efIvZLc=
@size 1102114
@ts 1539336572
@bin lib/coq/plugins/nsatz/nsatz_plugin.cmxs
@sha m4fcpWXyA+szlAXroEmIc9CSSXH1ERhMFBnRcBHBltM=
@size 298103
@ts 1539336572
@bin lib/coq/plugins/omega/omega_plugin.cmxs
@sha bKCuk9bCkoYv635kHioEAbsZXvPh5oNPXqvt/o6Dt+4=
@size 499186
@ts 1539336572
@bin lib/coq/plugins/quote/quote_plugin.cmxs
@sha FnTLHftAxnnpJumFOYtsXpvh318qv5DzLMcvBkDRXTs=
@size 93377
@ts 1539336572
@bin lib/coq/plugins/ring/ring_plugin.cmxs
@sha KtFZKv19yA8/AqCGx160RyXCLsVjIv32tuhi4J2eXrw=
@size 235013
@ts 1539336572
@bin lib/coq/plugins/romega/romega_plugin.cmxs
@sha N0jB/zl/McIa9Y1XrpNbNpQpwPAJZU7AGsG+fUC7ZBQ=
@size 315120
@ts 1539336572
@bin lib/coq/plugins/rtauto/rtauto_plugin.cmxs
@sha vFcmgvfbSzysOQ0QCAuYzshHeejdrcWqerPbFKlTq98=
@size 145614
@ts 1539336572
@bin lib/coq/plugins/setoid_ring/newring_plugin.cmxs
@sha uZLZQ3eYaXOnaZQV557p7jv9UzSHNWon6kf1Hdyipxs=
@size 281990
@ts 1539336572
@bin lib/coq/plugins/subtac/subtac_plugin.cmxs
@sha SkPO2dR+F70+SKupdKO1vnKlDAN1F4nZBzuRmYRmxiU=
@size 907373
@ts 1539336572
@bin lib/coq/plugins/syntax/ascii_syntax_plugin.cmxs
@sha eZ6tdx46r46Ovsl1gF83LjBFfEsW+jAbVmhtusI3pwQ=
@size 31732
@ts 1539336572
@bin lib/coq/plugins/syntax/nat_syntax_plugin.cmxs
@sha 8Dkwl+9VFQzJWS0bfvWQUQWYnCAIPTWcEY/Ya82eDmk=
@size 25482
@ts 1539336572
@bin lib/coq/plugins/syntax/numbers_syntax_plugin.cmxs
@sha 4UeMs5grZuFvse+QuHlsxkTdn32sDhZ6ZKweD6rZVZc=
@size 61871
@ts 1539336572
@bin lib/coq/plugins/syntax/r_syntax_plugin.cmxs
@sha Dn1gStMcdyMGrZLpFGCZO7FF5y0Lz6pXpOySzeIzv7s=
@size 35747
@ts 1539336572
@bin lib/coq/plugins/syntax/string_syntax_plugin.cmxs
@sha t3+2EwHe1LP3E/bPs5zbqmV7yWKvikXnktP4p/nWuj8=
@size 30315
@ts 1539336573
@bin lib/coq/plugins/syntax/z_syntax_plugin.cmxs
@sha NhJ8bLu4DG22IJPL0hScjCL9ew0WQhHVlQHH95JoUoE=
@size 36946
@ts 1539336572
@bin lib/coq/plugins/xml/xml_plugin.cmxs
@sha Y4eIshEP0zxlOv8X7o61Nxp7svPczQsuSAXyLzNd1dM=
@size 416003
@ts 1539336572
lib/coq/pretyping/pretyping.a
@sha IRQdd4d0wsUez8ALHbWoY6GIrw7hIwRvV5gxAqJTXgY=
@size 2328334
@ts 1539336571
lib/coq/pretyping/pretyping.cmxa
@sha ZUk/N8FzvagPCOxWQxIcUvuat16eSnr0k77lgTuL9dI=
@size 69315
@ts 1539336570
lib/coq/proofs/proofs.a
@sha ioyDXqvkERuoqkeEhdQqYKfFP2Dq94s2SVKgXV43tx4=
@size 606084
@ts 1539336571
lib/coq/proofs/proofs.cmxa
@sha NFbxQoSIO3pWm3Dad7rRdj0qmlGrwku9TJm4mNY23wI=
@size 41420
@ts 1539336571
lib/coq/tactics/hightactics.a
@sha jfjm4VTHqdwbAI7/YI2WZ6jF3sXibGv/x46nwLGBwfY=
@size 2197524
@ts 1539336571
lib/coq/tactics/hightactics.cmxa
@sha T71SvGOc+ISepWc2PB44I8aE6nb8PDFjVES0YSt0mEE=
@size 36392
@ts 1539336571
lib/coq/tactics/tactics.a
@sha MzEgtzPLK23n3sXOOhW+rdWR2qKdS3KQXlp+RtrAPMw=
@size 2140746
@ts 1539336571
lib/coq/tactics/tactics.cmxa
@sha 5AlLK0sx+pUD0rV0Dh8QzI7YxVraKhHL7fV/RncBS6s=
@size 68563
@ts 1539336571
lib/coq/toplevel/toplevel.a
@sha kPKG/rfsp6dKq7DSwH8l14x+6BOJLG9dilimeEID5Ho=
@size 2091880
@ts 1539336571
lib/coq/toplevel/toplevel.cmxa
@sha Xl0SlkxZ+Of3zcFtl/e5Wv27Y2tO2qHGeq5uww9QFJo=
@size 95756
@ts 1539336571
@man man/man1/coqtop.opt.1
@sha SkvIh5eloRK+EZNBen7FPbibIkRSJgtJhFf0fxr0FKQ=
@size 392
@ts 1539336573
@bin bin/coq-tex
@sha lt+iT7IbkVwAWa3xcfxBMFeUiYBIdU/skpyzSDNsmu4=
@size 818576
@ts 1539336528
@bin bin/coq_makefile
@sha ccx+v6oS/lSnO+ZXO/gcr+U2ewHxiCp3iUjnawN/IRM=
@size 1092944
@ts 1539336528
@bin bin/coqc
@sha kZQ17irAgOe7fpdAMVfnaZXqoS9XviP1Ywdz4wUCZeY=
@size 3968672
@ts 1539336528
bin/coqchk
@symlink coqchk.opt
bin/coqchk.byte
@sha 50BWHTrpziMKhZTyL4GIA9sJVa6zwz6JG8n28gugVeU=
@size 1547549
@ts 1539336526
@bin bin/coqdep
@sha ksw9m7pv+k1ztOcQAGsNNLmEps92GJwNf0kVEQipT0c=
@size 4071904
@ts 1539336528
@bin bin/coqdoc
@sha xv1FdrlBSPPyrCSISRAHdBhsuwpNMQmrEWXO14n/AOo=
@size 1492224
@ts 1539336528
bin/coqide
@symlink coqide.opt
bin/coqide.byte
@sha YeJ77XC461diCSIMBdMuDcHi49H6sIAnOJ8hZMC7oHU=
@size 1556463
@ts 1539336526
@bin bin/coqmktop
@sha vlfVWE30YKoLpwsNK8Bp8hFGmq54J3xdI9CnYqyvheA=
@size 3970080
@ts 1539336528
bin/coqtop
@symlink coqtop.opt
bin/coqtop.byte
@sha TOmuI+WGZu4UF9GdCKD7RdJ0/evoG8ddG1/h83pR/FU=
@size 6976630
@ts 1539336528
@bin bin/coqwc
@sha sx9V4UnPWKVD26A+R68yTKpx9xXBLd1I77dgHRQrAno=
@size 669384
@ts 1539336528
@bin bin/gallina
@sha 9pXRXhKzEYs6/MQhG6JSXEaLUVCxG/Q0nHHADB4OUzA=
@size 715368
@ts 1539336528
lib/coq/
lib/coq/config/
lib/coq/config/coq_config.cmi
@sha foRjsgqtfTd/eFCR3cLBsv8wUYPq6cqz4NRIrn2nRrQ=
@size 2054
@ts 1539336554
lib/coq/config/coq_config.cmo
@sha H+SOeZNPXPlXc87YnaLI9Dug1dV9gzAeIItx6KRLBHU=
@size 3348
@ts 1539336571
lib/coq/dllcoqrun.so
@sha RF0m8iZrbKYGubMYjEkdiXMuwpPS5n9+fR9tq5QNIJ0=
@size 45708
@ts 1539336553
lib/coq/ide/
lib/coq/ide/command_windows.cmi
@sha WGbko4BZDGd+mrKL+WS8kJw+TALtYBFXyCa6ktWAojA=
@size 2486
@ts 1539336574
lib/coq/ide/config_lexer.cmi
@sha HnvoOPZOXhK7KKNFXOrsijiEB/7qC2Rejqzlnifwb0Y=
@size 1540
@ts 1539336573
lib/coq/ide/coq.cmi
@sha u7xARPptanPq/Q90cma6cwsF//AyRXhMKZEDdVaqb4w=
@size 2817
@ts 1539336574
lib/coq/ide/coq_commands.cmi
@sha od+oOPSwjgjn2ZzEB3LV6xbTMih0olwhwOxuwZ4/FtA=
@size 417
@ts 1539336574
lib/coq/ide/coq_lex.cmi
@sha HHzLSWHtEse40nME2mBRfsjOEPeKaK1DOvw5GqQJw64=
@size 1831
@ts 1539336574
lib/coq/ide/coqide.cmi
@sha 3QGoj0W6HdTtBc3Pous3a9QyqY8jVAY1zzJDw2IZoUQ=
@size 902
@ts 1539336574
lib/coq/ide/coqide_ui.cmi
@sha RK7HSNRcl3gVLo5ehAsgAo6VGVvyukjSIBz9eAtPoLE=
@size 1381
@ts 1539336574
lib/coq/ide/gtk_parsing.cmi
@sha ZLXw1+TFNcu4zaQW6NcBAtGKcsaAn93QCteTJy2dqac=
@size 3049
@ts 1539336574
lib/coq/ide/ide.cma
@sha 8E+pOB2CLg0NTIxDwL1o+i2XCF+c7dGXJCebO/t04vg=
@size 613164
@ts 1539336573
lib/coq/ide/ideproof.cmi
@sha EV1tdLrbxRhQCUrAW0J4MaMMz+QqL+4ey7h4Y7rPV5k=
@size 2419
@ts 1539336574
lib/coq/ide/ideutils.cmi
@sha qLqnsd5+k9t73W7ABtQoAQMakEv12kE5xBBCWjEWSTs=
@size 5442
@ts 1539336574
lib/coq/ide/minilib.cmi
@sha ePEbPZ0hJ+Z46rxQfbinUWUHuJcNgISgjmEUPzivclU=
@size 5316
@ts 1539336573
lib/coq/ide/preferences.cmi
@sha hDoGNxmMZRqxVEv2lB2IS/VQ7jNDidjRPHxHwTeRAW4=
@size 3252
@ts 1539336574
lib/coq/ide/project_file.cmi
@sha Kj1ENIfNtkpynX7HSkiMyahrmerXyoHp12AFq6xc74s=
@size 3592
@ts 1539336574
lib/coq/ide/tags.cmi
@sha ShAvuQb8KzKn+OK1nVXgVHGoJIwcI+/K3XAmpWhhQkc=
@size 2578
@ts 1539336573
lib/coq/ide/typed_notebook.cmi
@sha /U713SDnuUbXmJK/wf0DBv9+5/UYvnod67Su5edFIM4=
@size 15007
@ts 1539336573
lib/coq/ide/undo.cmi
@sha BVPKKej4RmSuL2+dRL5iwvaC6X9zK7MORBKwSFl5C7I=
@size 18112
@ts 1539336574
lib/coq/ide/utf8_convert.cmi
@sha IoRajOvsW4QJhsWOv/MoOjIwpEtGziheirImNVHfT0g=
@size 702
@ts 1539336574
lib/coq/ide/utils/
lib/coq/ide/utils/config_file.cmi
@sha VXfJPdhp3oQMyd5vQoUMnyKHXCrAXZZWAmhrxFE8WBc=
@size 55838
@ts 1539336573
lib/coq/ide/utils/configwin.cmi
@sha YFdRbWQAJohxmtiODbmlI2ceaB4p1nkA5brOKzXQ254=
@size 13043
@ts 1539336573
lib/coq/ide/utils/configwin_ihm.cmi
@sha Y7r+tBMqpgRERSlre1u8ht9ItdloFa6Q0qnWijEggM0=
@size 21270
@ts 1539336573
lib/coq/ide/utils/configwin_keys.cmi
@sha eW8gXGX8sl+OYf0vyHqec3O1dxja3RicuRbKI6BKwsI=
@size 56650
@ts 1539336573
lib/coq/ide/utils/configwin_messages.cmi
@sha ML+c4eiWEj6ldc2CEEarjBzagP4GQjCbY87U7s86974=
@size 901
@ts 1539336573
lib/coq/ide/utils/configwin_types.cmi
@sha Ttu6cmsPa9d86LC6W1hDQXkzdYmOlGUTWtWnKKdXKjI=
@size 14883
@ts 1539336573
lib/coq/ide/utils/editable_cells.cmi
@sha 7TrBlBXCWPE8N7Yvv5zKqxbTvqIfwlK9wVNyqJHZsdA=
@size 1501
@ts 1539336573
lib/coq/ide/utils/okey.cmi
@sha KTM7Hb5zxLvdXZ5diEjPYs12DNbRohgOgCB3RzssW3c=
@size 4047
@ts 1539336573
lib/coq/interp/
lib/coq/interp/constrextern.cmi
@sha 2sf0sekirwaLp7xxSlhTg0zL2gdINmCrDrUMv7AChFE=
@size 5130
@ts 1539336554
lib/coq/interp/constrintern.cmi
@sha bbYBJVx5zB4wjS7GH+DAr723rXtRKZ6/dGpVQJJyUsY=
@size 11409
@ts 1539336554
lib/coq/interp/coqlib.cmi
@sha IeYrj98O6OeC7ExMn2gZf5ezZQSHCZTEclTuXfYiODs=
@size 7625
@ts 1539336554
lib/coq/interp/dumpglob.cmi
@sha OumNgNXYT3My9gK48HfocoFdOeOh5vLzRBqBqmFB0nw=
@size 4901
@ts 1539336554
lib/coq/interp/genarg.cmi
@sha UW4Ieg3atiRmI8hX/ugQE5ZftdRZph/2UE2fJvdDdic=
@size 14136
@ts 1539336554
lib/coq/interp/implicit_quantifiers.cmi
@sha j9MjPL/wu/Zx/RPkjfY29atzunf0U4ILk7JPnmVsOcE=
@size 5334
@ts 1539336554
lib/coq/interp/interp.cma
@sha ysfO47TjweQgAzkBH3UTdxq4ygXpcyzuxmll9Blucls=
@size 358468
@ts 1539336554
lib/coq/interp/modintern.cmi
@sha rHoop60oRr6NtJUperBO8V0LctidLirAk6qFCYZ4sUs=
@size 2680
@ts 1539336554
lib/coq/interp/notation.cmi
@sha FTY3Nr5b1YDFHDlqsmVHaKRyWxKwDtMy81nYCv+Q/zk=
@size 9398
@ts 1539336555
lib/coq/interp/ppextend.cmi
@sha bxi5ePgxm+gH8ZfJOavo9DH345W7/v9xkE/mxgKHW8c=
@size 1673
@ts 1539336555
lib/coq/interp/reserve.cmi
@sha CcmbMMn9amIvqXKRWQPLi6GCEKCsuY+/ttAHpROwyKU=
@size 2251
@ts 1539336555
lib/coq/interp/smartlocate.cmi
@sha jLThJpq3AMMhP6lQlTd3fBoc726BG+7LP25xJWxYYCQ=
@size 2682
@ts 1539336555
lib/coq/interp/syntax_def.cmi
@sha nfLV2Y2B27RQ2Q8+d5r3UkPYiLB3NGuYTn4pmcV0KU8=
@size 2523
@ts 1539336555
lib/coq/interp/topconstr.cmi
@sha TAQyIWqURVfn3+fcraYnxsorRW16kTHI69y4P66bSr0=
@size 16511
@ts 1539336555
lib/coq/kernel/
lib/coq/kernel/cbytecodes.cmi
@sha 9ns/g70YGJGptmGUW7gYHndjacqvGrlwJAx+o/G33HA=
@size 5540
@ts 1539336555
lib/coq/kernel/cbytegen.cmi
@sha sUQJT/7ePgtCj4IkDWa0GDr/g8v2w8NxkuC67u2Q0is=
@size 2771
@ts 1539336555
lib/coq/kernel/cemitcodes.cmi
@sha 1qm3vs3D6/vJZcGeyAZoUnWCcaNfbZ6umEWRy4YQI7U=
@size 2888
@ts 1539336555
lib/coq/kernel/closure.cmi
@sha obeUk+lCg2Y+Dsz2H/dLPOL5q16IlEp3gSyHDJPZSW8=
@size 9527
@ts 1539336555
lib/coq/kernel/conv_oracle.cmi
@sha AGSQCMtflBRzYKYl4jxCL7TP27zJdlkOEI8rKmRm1N8=
@size 1254
@ts 1539336555
lib/coq/kernel/cooking.cmi
@sha TDk6PH8+dv3cqzhZ2RyuyggC/it8up/SQdEKup2WGGs=
@size 2292
@ts 1539336555
lib/coq/kernel/copcodes.cmi
@sha eaepqTBShyFOWRD10EY2vPIR5ScNdBHwtUYZRV5mZDg=
@size 4286
@ts 1539336555
lib/coq/kernel/csymtable.cmi
@sha b2tIaXDCkkii2PZugrHdjWAd5kLCvBSy6vPsUFPQ8Wc=
@size 1749
@ts 1539336555
lib/coq/kernel/declarations.cmi
@sha 07lNXN43S1iCttjwzikBDG7BgFwM33haaZHr9bSpKX8=
@size 7703
@ts 1539336555
lib/coq/kernel/entries.cmi
@sha 6v/wL5woO1gf4Tw7DJ4r+WJztfy0vgkcomXsfvvnXSs=
@size 3187
@ts 1539336555
lib/coq/kernel/environ.cmi
@sha WoAUzI76ZkUOfDYae0msDsVITTeR2CRqKA/KvhK4D+c=
@size 9430
@ts 1539336555
lib/coq/kernel/esubst.cmi
@sha UsFePoQ04MSYifRSS9ycRDFpmRnfmYrJh1c+ymgCDrQ=
@size 2903
@ts 1539336555
lib/coq/kernel/indtypes.cmi
@sha Suec4FII733kKae2N7rzoXD6f5/i8tBQby7uHTLfmFA=
@size 2611
@ts 1539336556
lib/coq/kernel/inductive.cmi
@sha 38LPJu/upJsrDTW2+WEHpVGfW1+s+L51JDhvKuMIXR8=
@size 5733
@ts 1539336556
lib/coq/kernel/kernel.cma
@sha D+YWY0NGL3eZXgJ3IemR/46CvOTpRJiC2bl1kUwGXNk=
@size 418797
@ts 1539336554
lib/coq/kernel/mod_subst.cmi
@sha HL9g3kh7bx9Qsq5fB73WR0x74NJ41uozbY+bHfaV5Xo=
@size 5878
@ts 1539336556
lib/coq/kernel/mod_typing.cmi
@sha qZTunt6UzfLNQ9+F1eVk2pkM5B7hjBKOmE7SJvZ71tI=
@size 3402
@ts 1539336556
lib/coq/kernel/modops.cmi
@sha oPWQsQ4u250ORy7sbt6szeLyclJtc8SJNuv6EzdYhxg=
@size 7017
@ts 1539336556
lib/coq/kernel/names.cmi
@sha Z8Nnug3nABf5joqh74v2Xy+PFhWRRw1TkzlodVF4f/k=
@size 70450
@ts 1539336556
lib/coq/kernel/pre_env.cmi
@sha 11d7VvK9f1P+mAZJJQdimXlTx4DzQV4OMmlrm1hJgqM=
@size 4202
@ts 1539336556
lib/coq/kernel/reduction.cmi
@sha 93hdkJGzOt0HKkIrWY8hGtd0OeB7et3L1qC9I0WQLv0=
@size 5815
@ts 1539336556
lib/coq/kernel/retroknowledge.cmi
@sha pWeqYqRLylNZl2u31xctIRqiH3INc3HQehJEBTVZp1w=
@size 5450
@ts 1539336556
lib/coq/kernel/safe_typing.cmi
@sha Jm9/p0pDxpxugl/LBOk+hw5WQDr27X1BMhSeVLdCq2M=
@size 6572
@ts 1539336556
lib/coq/kernel/sign.cmi
@sha OUc4LgdzL1uCAUyqQxNQLQuR73PsMg7xN+rBWWAhXuk=
@size 3240
@ts 1539336556
lib/coq/kernel/subtyping.cmi
@sha euVOX9jCd70xxAQkGTy56zGbpuATU6D2MMDlFGd7p9o=
@size 1665
@ts 1539336556
lib/coq/kernel/term.cmi
@sha 4QcuWeddIBQ9HyfxpiX6HV9ChmyIUfgqxHDB8Afmrtk=
@size 20999
@ts 1539336556
lib/coq/kernel/term_typing.cmi
@sha BZ5WT5yvbiPT2+xKGcP5tojRDvCXVgSWZ+2xgvG0V+Y=
@size 3067
@ts 1539336556
lib/coq/kernel/type_errors.cmi
@sha 1/IYVqeQ+/c3OJEEB57hY2nuJKiM6jfR7WXUJ8ud+Lo=
@size 6965
@ts 1539336556
lib/coq/kernel/typeops.cmi
@sha 4Vs0r4VQoGtX+WOozAsrV8fg3JMAu0jKIOzGKRtbuF8=
@size 5840
@ts 1539336556
lib/coq/kernel/univ.cmi
@sha 4xzXKO3gBLNsB5ctNxxbF2wXfcF+FUEukCywTVR6nBI=
@size 6649
@ts 1539336556
lib/coq/kernel/vconv.cmi
@sha M7MwIDDwV0Kjv+Zv4al6CZGE6CNfLlbBTTs/b60FYPY=
@size 1915
@ts 1539336556
lib/coq/kernel/vm.cmi
@sha uDM6Nu/wmK976nrx3t1vcxLhpFV8Yo+ky+ha87k2z4U=
@size 5708
@ts 1539336556
lib/coq/lib/
lib/coq/lib/bigint.cmi
@sha YyiOmxwmPxZD9Inln2I/NvIkB5yTuoyjKHxMBx2pF1E=
@size 1783
@ts 1539336557
lib/coq/lib/compat.cmi
@sha PzbpysFhv3MjAa3fpNG8vculAMYyFzsI8IWcUFpuFWc=
@size 21606
@ts 1539336557
lib/coq/lib/dnet.cmi
@sha iP+bYIk3I3U/QnlVUgtnUiP19gL7b5qStAQG9Y7PBF8=
@size 8589
@ts 1539336557
lib/coq/lib/dyn.cmi
@sha ZKNeIn6Xkmz78ZRrNaRg+iWv9pmjtM+MVldZH76W0ME=
@size 407
@ts 1539336557
lib/coq/lib/envars.cmi
@sha w42tr6QDToGBg1fXeG8aABimfbeTOS3EMhblCNH1Eqo=
@size 789
@ts 1539336557
lib/coq/lib/errors.cmi
@sha Vjxvq4QzdnJG/GjYwCYu7CXYrimecL49QGs9bX/2C/0=
@size 811
@ts 1539336557
lib/coq/lib/explore.cmi
@sha DfUX8LbqP/SqrwOCan5jJBTE2ln3gnD7ajih3Zhy7gk=
@size 993
@ts 1539336557
lib/coq/lib/flags.cmi
@sha Ug2iqLiqo7eKkntk+cWWfSv1AVvTwyPKGn9j3t9P+gs=
@size 3759
@ts 1539336557
lib/coq/lib/fmap.cmi
@sha S3fBt9VoOD6PP+1uGQsEHUSfY7dSfp66rXW2U18tgVw=
@size 1530
@ts 1539336557
lib/coq/lib/fset.cmi
@sha zTOwsxgHgE4ymW4WPaS3E+PXOcXi2Em+W6N4ns55d7M=
@size 1817
@ts 1539336557
lib/coq/lib/gmap.cmi
@sha z/EhAWktpJkJcV3BFQHQS0vYnMl+BCV3KYvx6fCM83E=
@size 1489
@ts 1539336557
lib/coq/lib/gmapl.cmi
@sha 90/Dv52lmzkbgeuw981O5M9m/kRSC2+ZZuNx/T9y8XI=
@size 1218
@ts 1539336557
lib/coq/lib/hashcons.cmi
@sha Wcymze3kl4oDUP/tKp9KCQ+oBOvCDcq0EwHVEDB0cT8=
@size 2687
@ts 1539336557
lib/coq/lib/hashtbl_alt.cmi
@sha ENr6kEs3iGFnZv43pqyD+qQRAa2c1bygz4/mXXuNQ9E=
@size 1092
@ts 1539336557
lib/coq/lib/heap.cmi
@sha f48vjNcAK7WQYwsJqG9Seaw+dUgxBkTYxAydO4lLk5E=
@size 1446
@ts 1539336557
lib/coq/lib/lib.cma
@sha ch/lBSgSEOwNrtzDqnr4u3VYs5FoDu84xVcN7TWkY7c=
@size 276262
@ts 1539336553
lib/coq/lib/option.cmi
@sha pONAsEFDUzEnkxxc139Pno3tGb52xYLs1Qr76O/lFv0=
@size 2926
@ts 1539336557
lib/coq/lib/pp.cmi
@sha 8gq9eS9ecNNsLu96mWUy8PoMmIKaalhvKYDKHnYGQGs=
@size 5101
@ts 1539336557
lib/coq/lib/pp_control.cmi
@sha pntrXKQw4anab5UgWRlM2OIrXIcWWfB3pxrM0PMq38k=
@size 1477
@ts 1539336557
lib/coq/lib/predicate.cmi
@sha VqiOG2rILGJZhVUbdD5RMriNnkIFa3BMdT8T/JeV66E=
@size 2633
@ts 1539336557
lib/coq/lib/profile.cmi
@sha /4mV1pvfqHr/RX8FqpAAwUJKaB9U70P7/zW72XJ2JZ0=
@size 2442
@ts 1539336557
lib/coq/lib/rtree.cmi
@sha WOsCLc9TrauJFaeZ35TgCUyAFjyrg8bhUoTKgTwDy2U=
@size 2270
@ts 1539336558
lib/coq/lib/segmenttree.cmi
@sha /VW8GMiDfsz6rr4BVIb8++uGkFWSO3rHklg2/1KmaZA=
@size 475
@ts 1539336558
lib/coq/lib/store.cmi
@sha BVuyzNV1q5JjXOOqCCtFDABsuf8ztjB+AF+vF52vgco=
@size 664
@ts 1539336558
lib/coq/lib/system.cmi
@sha 9klAYl+2u4YnPPIppoADrNg+T7t3m8kaKqf/UQbBE6Q=
@size 3399
@ts 1539336558
lib/coq/lib/tries.cmi
@sha AEtnytt1K0+s3E76TAYVfRhBzSLKMYOkQPQpXB2fjS8=
@size 1284
@ts 1539336558
lib/coq/lib/unicodetable.cmi
@sha gseXh2Lj+nmWZnrkwzNCJfBmCHxdK3EaoOGV8EjOqgU=
@size 2560
@ts 1539336558
lib/coq/lib/unionfind.cmi
@sha tdVgyVtLAitRMvouGq5TRqzqBHtuIG+zUtgNPz+NED0=
@size 4824
@ts 1539336558
lib/coq/lib/util.cmi
@sha DIPoXRhC/3xZPTkmxsAvrgomrYfx0vIuMHLrLKZtOj8=
@size 42175
@ts 1539336558
lib/coq/lib/xml_lexer.cmi
@sha yFcxwWGJ08my/Uf8x+oSzCQgGFIwVueY7cAdqbL6UeA=
@size 1286
@ts 1539336558
lib/coq/lib/xml_parser.cmi
@sha dEXwjyH1Uc2UnTOstxwxQc5sqpMAOe5cGQ8DJiNKtd4=
@size 1947
@ts 1539336558
lib/coq/lib/xml_utils.cmi
@sha E2dNGHvjTVgvcjv7IHuLiFw9t26MZqiPVMOReGak+oA=
@size 1475
@ts 1539336558
lib/coq/library/
lib/coq/library/assumptions.cmi
@sha 3I0rdMvA9EcTzxwWPIwTB1uGIoUK/qCtjMvMKI43P5s=
@size 5334
@ts 1539336558
lib/coq/library/decl_kinds.cmi
@sha bEQc1PxeboGU53SYLxtkVS5sz0+IQOrkwp/rXKiTOAY=
@size 3106
@ts 1539336558
lib/coq/library/declare.cmi
@sha mPkLZiCsZrckCuslZlUm2QF3OgNzI7fM2tr5IWnChvo=
@size 3945
@ts 1539336558
lib/coq/library/declaremods.cmi
@sha 7uFSnU9bpHV1FyH1CDzTHPLKVOav2Aik6rd9X2+MJiA=
@size 6044
@ts 1539336558
lib/coq/library/decls.cmi
@sha QR4BIDArvRZcoThpKpTt9P4rPmBv36jJ/sI6Tn7j8l4=
@size 2724
@ts 1539336558
lib/coq/library/dischargedhypsmap.cmi
@sha eBdS5nrHzt2aBCtFS7brCAzhpuRXK6B1KbzlWqJOiDU=
@size 1828
@ts 1539336558
lib/coq/library/global.cmi
@sha FLRUn/DcdJR1BBEbvd+nm9SRp9OBl6fHIZQ4czPLksk=
@size 5892
@ts 1539336558
lib/coq/library/goptions.cmi
@sha 8vplTNYlbL52rd0/1RJ6WMhhyqHaHYpgyRlvKk//PIk=
@size 8486
@ts 1539336559
lib/coq/library/goptionstyp.cmi
@sha YmH8IOAsSbUw0FwMPxxokC3M8dbxVNl3VAw9lpyEmK8=
@size 660
@ts 1539336559
lib/coq/library/heads.cmi
@sha sTYUtZZ0xRrcZiZsie757s7nm7EyoR0Nh2vJB3L/P+0=
@size 1697
@ts 1539336559
lib/coq/library/impargs.cmi
@sha 1QLfbc8ksPb5D+GOAD61+yK4ZTvhaguqHkY6HtUSDAw=
@size 6817
@ts 1539336559
lib/coq/library/lib.cmi
@sha qY5t/5u5i/S359G/6js6WDNZAOVGkP0vCkjXbDocbvc=
@size 10155
@ts 1539336559
lib/coq/library/libnames.cmi
@sha xfQj2RNpiIHYQ5cCdsayDH7/wEt1ngA5+2dX9AG4peE=
@size 22724
@ts 1539336559
lib/coq/library/libobject.cmi
@sha WrOi0nNUzXYwpTm4U5C/r/RpmL9R54nnox44YqIOBao=
@size 3390
@ts 1539336559
lib/coq/library/library.cma
@sha g4JjGniLejdISjDWUP01wY+8rgg5BSCZbmvfpvcx7as=
@size 158431
@ts 1539336554
lib/coq/library/library.cmi
@sha rQk50kxPAslftUBCU9fg85Drcs+RkQBf6A/zYtnpWag=
@size 4077
@ts 1539336559
lib/coq/library/nameops.cmi
@sha Mu5mbU43o3OAsyEYX3V4oSrSuE+Nx100yYuI14xC1iw=
@size 3435
@ts 1539336559
lib/coq/library/nametab.cmi
@sha NNyq5UV0Vlxpn36X4SPIFHYrigvfA6XvdoEuGyhA5Y0=
@size 5810
@ts 1539336559
lib/coq/library/states.cmi
@sha ckDvUJZ0A0WkTNAB7ULs0sA7iSEaiW/iPeuyDWLiKbU=
@size 739
@ts 1539336559
lib/coq/library/summary.cmi
@sha gGMBU5c6OUkEkbI3wkG2av+nfW1S014Msy4AKtxC5kc=
@size 798
@ts 1539336559
lib/coq/parsing/
lib/coq/parsing/egrammar.cmi
@sha AT1mOwqzE8yTrqPfd5dmtofPKE9+JKPIMJu1Xf4V4c4=
@size 4573
@ts 1539336559
lib/coq/parsing/extend.cmi
@sha CXDfu4vGFlF5DY3GihJZP61SKTqeIc2RCR9WcWnrqps=
@size 2083
@ts 1539336559
lib/coq/parsing/extrawit.cmi
@sha XttOdFR83vXgsmP/x/pEK1d18xEQeZXDuKWw1lN6B8Q=
@size 4308
@ts 1539336559
lib/coq/parsing/g_constr.cmi
@sha uW4aRKHnj3OOfcpmmDd8F2/92PoIi/3cnLBJjoXqUaM=
@size 4754
@ts 1539336559
lib/coq/parsing/g_ltac.cmi
@sha 8XolsjiX9aJO6Y+5yHh99dQdJUUM5vjVuWX/vq0jtcM=
@size 2982
@ts 1539336559
lib/coq/parsing/g_prim.cmi
@sha +cYEAeEf+V1rX2p972ErpFot2iJAc80Z3NEv1se3OpU=
@size 2823
@ts 1539336559
lib/coq/parsing/g_proofs.cmi
@sha /MxoqZUZ/YgZZncKtC72d+/x0soDkYfz7/7znJVd1Ws=
@size 3224
@ts 1539336559
lib/coq/parsing/g_tactic.cmi
@sha k4/8z65HePUWbWU5tHeXNrV0bpfNOXh0g6gM2zCNYDs=
@size 5451
@ts 1539336559
lib/coq/parsing/g_vernac.cmi
@sha aWF5nSikHV5oUrLTy3yQw98SZvdSi7vzCazKulWvOw0=
@size 5355
@ts 1539336559
lib/coq/parsing/g_xml.cmi
@sha C2v92PW4p+pR0Cb12CQ2b9tBXqmSnkJEZLLOhWdX0Yg=
@size 8795
@ts 1539336560
lib/coq/parsing/grammar.cma
@sha Dss5WvjOiJ9Nf7lOJIuQX2DsBTbxEyh7umJ3jSwJpJI=
@size 1370805
@ts 1539336554
lib/coq/parsing/highparsing.cma
@sha Jb08sWcBwxJEzACdCgBcf4jnh2kqnFtNDnuLj1d5isM=
@size 515217
@ts 1539336554
lib/coq/parsing/lexer.cmi
@sha 6REErGeoJTcdcPH6NZXp+5TM87IarrPZSnUY+JNQ8bM=
@size 9165
@ts 1539336560
lib/coq/parsing/parsing.cma
@sha Bms2LSzbkdGrEWW8Cm4hxPiU8b5ajQ8TuymUonqdvXI=
@size 272923
@ts 1539336554
lib/coq/parsing/pcoq.cmi
@sha uD2R8XWm0BPc/BPCh0fHQX3hXqGHzuV1yE0UTZ7cqOI=
@size 12413
@ts 1539336560
lib/coq/parsing/ppconstr.cmi
@sha 3S34uXyzzKXiEtLjd2mkT0wiYP0U1my/fGYt2k5NQ88=
@size 6932
@ts 1539336560
lib/coq/parsing/pptactic.cmi
@sha nC6GdXgJlfYRc/heCt2Azkz97OIK8Psmpjm2EpHuQ7A=
@size 7834
@ts 1539336560
lib/coq/parsing/ppvernac.cmi
@sha MxGJuoH6IVRqPgx4LMpYz4CCswPNzKgxfKe3bBKp7cw=
@size 2861
@ts 1539336560
lib/coq/parsing/prettyp.cmi
@sha mgxxTGtxJpE9ZiTxJjpRy3UGglcaEaMxQfdFfAUY0WM=
@size 6683
@ts 1539336560
lib/coq/parsing/printer.cmi
@sha hScL8EU5L3iq200IpuzooO2ymmVmfXnH8pajLFgELFY=
@size 10610
@ts 1539336560
lib/coq/parsing/printmod.cmi
@sha wByenSvx/M6evnGFiFwv/bzUrqiesNcSEyun9951WH8=
@size 736
@ts 1539336560
lib/coq/parsing/q_util.cmi
@sha wDqP26JSURd3tPqxy0MJn5Sb3AqqSakYwtCPnv+8Oyc=
@size 3916
@ts 1539336560
lib/coq/parsing/tactic_printer.cmi
@sha lFpmXfqvap/dtJd1ykMUL1+03csHNppy5MGf46zjbRA=
@size 2803
@ts 1539336560
lib/coq/parsing/tok.cmi
@sha tX2v4oUvxE6O9pUXLCgglNhqm8jXcjxQuCdQ8pmvpX4=
@size 1204
@ts 1539336560
lib/coq/plugins/
lib/coq/plugins/cc/
lib/coq/plugins/cc/cc_plugin.cma
@sha kWiUkb3ZK2FFDMu/y/EnUq39XPHYlrMlOATyeB3/cAA=
@size 70652
@ts 1539336553
lib/coq/plugins/cc/cc_plugin_mod.cmi
@sha Rf5QhubQXd589dMs/2CCCIgiZdnm+iaZQUOPSIJXg+s=
@size 2428
@ts 1539336560
lib/coq/plugins/cc/ccalgo.cmi
@sha r8RaOdBoZBFMlst2R/GQYfZQunETG/4l2pQlWB+xgOs=
@size 19195
@ts 1539336560
lib/coq/plugins/cc/ccproof.cmi
@sha WImlHG+uCRJEUM5SHisMXHyVWikfHOTs9gJ54afDlmY=
@size 4763
@ts 1539336560
lib/coq/plugins/cc/cctac.cmi
@sha rEoFu0JbdE+Ma+6DEglPM9qh7PlQ/goS3j5ZC7VxpZA=
@size 2812
@ts 1539336560
lib/coq/plugins/cc/g_congruence.cmi
@sha m4MlGjVKPVNqJSn2uc54/+3ipSwMPGoqlFgmemNJfig=
@size 3248
@ts 1539336560
lib/coq/plugins/decl_mode/
lib/coq/plugins/decl_mode/decl_expr.cmi
@sha hpurVInrJ/oJ0q+Vt9aqe2MInTlM9RyNoq915fvgPvo=
@size 5995
@ts 1539336560
lib/coq/plugins/decl_mode/decl_interp.cmi
@sha R49ZHqdqFPu36UFwiOnLU0/wYmn0I5T6LfAdtBSOOEo=
@size 3331
@ts 1539336560
lib/coq/plugins/decl_mode/decl_mode.cmi
@sha mxaLNelHojlkFQjuY8BX2EDOVfi44Xn8mwlTvmh5kwU=
@size 5241
@ts 1539336560
lib/coq/plugins/decl_mode/decl_mode_plugin.cma
@sha b3L2sCA8m90o64urAqtlxUpUbOOjiprxcJWEOVMWsbc=
@size 161702
@ts 1539336552
lib/coq/plugins/decl_mode/decl_mode_plugin_mod.cmi
@sha S7Q4R6PwiQAtLVjp6dtBhQSg6SePJzCqngmA1ljq9aw=
@size 2442
@ts 1539336560
lib/coq/plugins/decl_mode/decl_proof_instr.cmi
@sha dqCukjok/s8uODd5ZyE59EhAzQ5ZhX3rO6uofTgqq1E=
@size 9114
@ts 1539336560
lib/coq/plugins/decl_mode/g_decl_mode.cmi
@sha 6OaTarTDU+j+epWqSQ/ck2fnSd0oCjCiG7V1rTsYmHI=
@size 5398
@ts 1539336561
lib/coq/plugins/decl_mode/ppdecl_proof.cmi
@sha sURoDI/bMdk3ObB4sZlBM8L/7tzD5cus8RjoKc5ABDM=
@size 2247
@ts 1539336561
lib/coq/plugins/extraction/
lib/coq/plugins/extraction/ExtrOcamlBasic.vo
@sha 9WEhuMULw43uZk8VxJi6DaD598LALyeCArJAk7nJt+w=
@size 1518
@ts 1539336552
lib/coq/plugins/extraction/ExtrOcamlBigIntConv.vo
@sha aBly0aFn0yrfkRRKvH5O1WFXo8hU2+yUPnz/U4Od/4A=
@size 18200
@ts 1539336552
lib/coq/plugins/extraction/ExtrOcamlIntConv.vo
@sha bLfr3KoTimSKwHl7tP+gU1ew6mB0rSKWJvrAMu4EE1Y=
@size 18327
@ts 1539336552
lib/coq/plugins/extraction/ExtrOcamlNatBigInt.vo
@sha 42w0G5tHE6LXwErYbmBCYWzPPT59nCPPpZRko2Vfgw0=
@size 13167
@ts 1539336552
lib/coq/plugins/extraction/ExtrOcamlNatInt.vo
@sha UXql3ukpAx8opimSFdYtlL+Vo2EQgt7enB/6L/RQKGc=
@size 13130
@ts 1539336552
lib/coq/plugins/extraction/ExtrOcamlString.vo
@sha drnHZlaXnohUKzcYfsl40+OTrno7MPqQXNuIehpkk04=
@size 12631
@ts 1539336552
lib/coq/plugins/extraction/ExtrOcamlZBigInt.vo
@sha zKdsQAAPcftN8KfausBHWPvDdUOWaOaGthsk8jR2o3o=
@size 16614
@ts 1539336552
lib/coq/plugins/extraction/ExtrOcamlZInt.vo
@sha Y7AD47u1XZxB6C9l+hnR7xXSg67CG6GO1KDcHlSRizs=
@size 16792
@ts 1539336552
lib/coq/plugins/extraction/common.cmi
@sha oCbvwE49Re9rxWjJxN8SuSDWrBt+0jo854c9yvHoEOY=
@size 4979
@ts 1539336561
lib/coq/plugins/extraction/extract_env.cmi
@sha nSYdfIGmvCl9RyjZiGi0zG/OCG+KPEfI0TNONw96JXM=
@size 2084
@ts 1539336561
lib/coq/plugins/extraction/extraction.cmi
@sha JWmYXfA9XtspepwiqQampyqR0700p/4nYUvzFpbhZOU=
@size 2591
@ts 1539336561
lib/coq/plugins/extraction/extraction_plugin.cma
@sha 6rR2xH6msDFxBJnPOmD4AkhyWB2INcvKGXjR8RvJDac=
@size 282378
@ts 1539336552
lib/coq/plugins/extraction/extraction_plugin_mod.cmi
@sha 0DtoyKrzeUsHy7iP0+BPdo5L2+qZsi618TZGXSas4Jw=
@size 2444
@ts 1539336561
lib/coq/plugins/extraction/g_extraction.cmi
@sha z5gMwGI/eff7voktHdwneRsk5RW4kzW6l8J53rSUxks=
@size 4570
@ts 1539336561
lib/coq/plugins/extraction/haskell.cmi
@sha FPiwzsq1mYiy9qxMC3nucXz/PaevbI9+AFdmJsQCFVk=
@size 1327
@ts 1539336561
lib/coq/plugins/extraction/miniml.cmi
@sha 8BHs0CJCRmMK7DgjThredH1O5iiP0TIJLsv4FSRV3Uc=
@size 7384
@ts 1539336561
lib/coq/plugins/extraction/mlutil.cmi
@sha Eua6hLb08EKxuEZhuE9TzU2yRH0JmdNUR24PJG2tVj8=
@size 8192
@ts 1539336561
lib/coq/plugins/extraction/modutil.cmi
@sha pKHwkrIAv2i+EyKcSypOlXjXk9wn0ffTUQBkXxSrj5E=
@size 2730
@ts 1539336561
lib/coq/plugins/extraction/ocaml.cmi
@sha Rdrn9OTqSePaHIvVHMHWXYiTFtUfJwvPchnag0/TtSg=
@size 1321
@ts 1539336561
lib/coq/plugins/extraction/scheme.cmi
@sha dNbgvq1Mck7cJHjpN3O1ORt3ih39GOG3j136lG7NwCQ=
@size 1324
@ts 1539336561
lib/coq/plugins/extraction/table.cmi
@sha j3QBZ7TiyGHl0qd3nKwUJhc+Zq2teczn132oMxbtsHU=
@size 16493
@ts 1539336561
lib/coq/plugins/field/
lib/coq/plugins/field/LegacyField.vo
@sha 21ds0QPS23K8JgWdXMyFweb6z9C+61EqerqFNNjU9Zc=
@size 2126
@ts 1539336550
lib/coq/plugins/field/LegacyField_Compl.vo
@sha U3JpPreet+iTLEdEHCNAvnfYYuDSPqKcNPBawNfZoSY=
@size 5317
@ts 1539336550
lib/coq/plugins/field/LegacyField_Tactic.vo
@sha VrGWEM8G5cRPGMjPfri+ec/MtdSuEntwLwk9vrATad0=
@size 35076
@ts 1539336550
lib/coq/plugins/field/LegacyField_Theory.vo
@sha cWZNHfs+uiu19j7AQosd+abs+WgZHO38I7GbWk/FTA8=
@size 208367
@ts 1539336550
lib/coq/plugins/field/field.cmi
@sha BYOJBAX1ISpdt0HdwzGFoXHCxmaIJHx9Owc6pMEwWaQ=
@size 10713
@ts 1539336561
lib/coq/plugins/field/field_plugin.cma
@sha HLJuIdCivAFHalXnEjQJqaBIzOEmmMkxroqnQU9tp00=
@size 24770
@ts 1539336552
lib/coq/plugins/field/field_plugin_mod.cmi
@sha mI/lI6RkRtrlM/wWz2QUJd6VWwy5NJ+Pap9T72Va3rQ=
@size 2434
@ts 1539336561
lib/coq/plugins/firstorder/
lib/coq/plugins/firstorder/formula.cmi
@sha DPHh0n/pC5GKdbUhzhWzunPanlQxzJ0H8U3dGcCCGfY=
@size 5633
@ts 1539336561
lib/coq/plugins/firstorder/g_ground.cmi
@sha FuZv2PjImZKNQeaK7MYGcQFEKEu2qgR8Szmr59srFf4=
@size 6210
@ts 1539336561
lib/coq/plugins/firstorder/ground.cmi
@sha INHZAcNyDh0xuIDN7D3zD7WNTysJOX7jC/eGQ4Mil7g=
@size 3016
@ts 1539336561
lib/coq/plugins/firstorder/ground_plugin.cma
@sha cuLbt9f0yI1Jt18i+MPUqkdkpc7rjoLUCARnsx9WJno=
@size 76817
@ts 1539336553
lib/coq/plugins/firstorder/ground_plugin_mod.cmi
@sha wmf8dl7YCJPSppVhv9iYqLj+IGP7foq/+WNl3XVENmg=
@size 2436
@ts 1539336562
lib/coq/plugins/firstorder/instances.cmi
@sha dt3AD4aDcUX/WwR8QvV2hV5HNT4NpimroPRQwwcHr64=
@size 3393
@ts 1539336562
lib/coq/plugins/firstorder/rules.cmi
@sha b7vYItYDv/EbjGR2JW3tpaf1nWGpBAoKe3JHkaOeMEA=
@size 4598
@ts 1539336562
lib/coq/plugins/firstorder/sequent.cmi
@sha UhHpGLrEJ0WGMDa6+boqBdT3Jtr7UR3V+A9FSWpMNyU=
@size 11771
@ts 1539336562
lib/coq/plugins/firstorder/unify.cmi
@sha 4LxeZOFZa+cVMj293rQnXCPSq4pDxAe13vGmK65Y6B8=
@size 1908
@ts 1539336562
lib/coq/plugins/fourier/
lib/coq/plugins/fourier/Fourier.vo
@sha 7X+M2PPcFBF2m8LgrtILwxXorsYhBPNISgiwTtbjrh0=
@size 13730
@ts 1539336550
lib/coq/plugins/fourier/Fourier_util.vo
@sha gd85pSckDtO/7NF7OB2YXZ4c82/ZWNZKnwRssvveeLc=
@size 28448
@ts 1539336550
lib/coq/plugins/fourier/fourier.cmi
@sha rXv7flPsEF3H6Yswidiod+wr6fOX1KBxVxrPBAE0mV8=
@size 2722
@ts 1539336562
lib/coq/plugins/fourier/fourierR.cmi
@sha cVFqEYdsUMW6wwoqWZY4y6eF3EVZQIcLlm7HFxvQ+UA=
@size 12194
@ts 1539336562
lib/coq/plugins/fourier/fourier_plugin.cma
@sha OoZnu7M1mx/09sXYwt7tpXXNe++p5eyVgk9+4wLhmjY=
@size 38377
@ts 1539336552
lib/coq/plugins/fourier/fourier_plugin_mod.cmi
@sha D/zjFxBBP4VUKIHZgM+OaWHWSeytICoOJu0ZpFdVWyg=
@size 2438
@ts 1539336562
lib/coq/plugins/fourier/g_fourier.cmi
@sha obp2q4KHiu4sin5ancpArPbQU7Q93aHOrpG5MlTbPy8=
@size 3890
@ts 1539336562
lib/coq/plugins/funind/
lib/coq/plugins/funind/Recdef.vo
@sha yF1FOibMj7HEm2igLE6s5M9n3BoN5AfsGpcU9/Rmzzo=
@size 6797
@ts 1539336550
lib/coq/plugins/funind/functional_principles_proofs.cmi
@sha LnHBW26q6QnVPLTmS0JOZdBO0xVBRoy6DEzDlQnR4zQ=
@size 2962
@ts 1539336562
lib/coq/plugins/funind/functional_principles_types.cmi
@sha rqiAFtA0bCOdrDdZSCeNtfLUi+YVTVJuowNpgNCxZD4=
@size 3581
@ts 1539336562
lib/coq/plugins/funind/g_indfun.cmi
@sha mx/pQovhXycGKP3n/tIVBvCZflnXKtV4VZAP/Kcj5Bw=
@size 13738
@ts 1539336562
lib/coq/plugins/funind/glob_term_to_relation.cmi
@sha fVrbsqq1XWF1SWTxeqc/pTJcs48KoQk1zzv4f029kkE=
@size 2254
@ts 1539336562
lib/coq/plugins/funind/glob_termops.cmi
@sha qQwsVHTV9uBuJqzH4WVEFmclhb71n1RPIRt+KpLCJfU=
@size 7297
@ts 1539336562
lib/coq/plugins/funind/indfun.cmi
@sha RDvZfPVqJ8DXBgulb5SnN88uZ1hAEq27ujbGYH57tgI=
@size 3475
@ts 1539336562
lib/coq/plugins/funind/indfun_common.cmi
@sha M/9Zaq7gedNIwvY71Nix375jtrGUu+uUUJ5ZDon/Opg=
@size 7135
@ts 1539336562
lib/coq/plugins/funind/invfun.cmi
@sha dVBi8mw1yEnjYG1oKfKbYZOrse8GGkSUk2aF3oloq2w=
@size 8592
@ts 1539336562
lib/coq/plugins/funind/merge.cmi
@sha sEVmZEpx2YLz2vCtnkCmX+BErvec32tSBa2mjsjirZo=
@size 22306
@ts 1539336562
lib/coq/plugins/funind/recdef.cmi
@sha oP1DpGmyOVKT4RBuhO0HfthrfTt6m42fqd9RZdnWkY0=
@size 21484
@ts 1539336562
lib/coq/plugins/funind/recdef_plugin.cma
@sha NunDE3eWh6FR45LAGsKavs57UexKnwJwTob6dGF53F0=
@size 385741
@ts 1539336553
lib/coq/plugins/funind/recdef_plugin_mod.cmi
@sha WkyIp7rPyQoPKLecXg4B+QMo0FceS0IKZjx6cGxfeuE=
@size 2436
@ts 1539336562
lib/coq/plugins/micromega/
lib/coq/plugins/micromega/CheckerMaker.vo
@sha zVzkHmhhy6QehhAWLJeVp8NIfRhXG4L/3PhiMftO2+E=
@size 598
@ts 1539336549
lib/coq/plugins/micromega/Env.vo
@sha gYycAplDSfyfJTkJtc5atJPR+q3r18E+WyzxAZgLLfU=
@size 22493
@ts 1539336549
lib/coq/plugins/micromega/EnvRing.vo
@sha 82KLWK1+q5DODFSE26SzFPIBS+VtzfTdM3GYD2VlJJ8=
@size 385918
@ts 1539336549
lib/coq/plugins/micromega/OrderedRing.vo
@sha v1CwbAm7Fm8+XAnQLDD9LdqaO/rhdCa9yuZ1ghhyJmc=
@size 168245
@ts 1539336549
lib/coq/plugins/micromega/Psatz.vo
@sha bHbzgbBNe9rhqGttefbR/V0N+qt3VG0/Gu0MEWqphRc=
@size 21234
@ts 1539336549
lib/coq/plugins/micromega/QMicromega.vo
@sha fDfm+b437plf9VQN6O9qvHT3uxGdf5g8dJoY72dzYro=
@size 40825
@ts 1539336549
lib/coq/plugins/micromega/RMicromega.vo
@sha pINiJSyXjBYiESCrG7dhmNkxEbFcD/+dVCXnVBGVo9I=
@size 83489
@ts 1539336549
lib/coq/plugins/micromega/Refl.vo
@sha imwKnJ2oRreRJgrAU9shA6CwrgzTy0ezmSVECk3wcfM=
@size 15863
@ts 1539336549
lib/coq/plugins/micromega/RingMicromega.vo
@sha EROOBz6y0JnFOJJRhFa+q2sr4g621z3IoBiaSrUUuvg=
@size 316384
@ts 1539336549
lib/coq/plugins/micromega/Tauto.vo
@sha FFQpHuSLcHr+BbwEmwp7gT26cu4RMzCEDoB/bS52koI=
@size 76268
@ts 1539336549
lib/coq/plugins/micromega/VarMap.vo
@sha iLXYauc0h2TGGwnZXm6z+nbTeWhxYMyyRe4gT7sNZbY=
@size 17039
@ts 1539336549
lib/coq/plugins/micromega/ZCoeff.vo
@sha 71I1MONTK4qS6r+QVjPhzij4YzRQtSOFRAaaLnNxMQY=
@size 58076
@ts 1539336549
lib/coq/plugins/micromega/ZMicromega.vo
@sha bk7yCmz95pB0tXm+z0XlHoJlNVRjZlnu7iicXTTfAHg=
@size 273995
@ts 1539336549
lib/coq/plugins/micromega/certificate.cmi
@sha lohGl36ox3IXcMhfSsNc6V7a/JN5bkAKMnUe3InsfwI=
@size 14113
@ts 1539336563
lib/coq/plugins/micromega/coq_micromega.cmi
@sha zuRzhwB76zboyyMdRmMw6m75gEoYF98fgSSVSbpFnEw=
@size 41277
@ts 1539336563
@bin lib/coq/plugins/micromega/csdpcert
@sha hlG5gBVIAQKwh25gDW03A0+2RKBN/gr6umMsqRve9ws=
@size 1613776
@ts 1539336573
lib/coq/plugins/micromega/g_micromega.cmi
@sha QmTI/VS0otveyRkvqwUOsEL8e3LGt3UIZxanwCUwJ3o=
@size 4707
@ts 1539336563
lib/coq/plugins/micromega/mfourier.cmi
@sha Ypym7l+1u/tmqQ4QWTYrHVfKUwIMt7A/rHHGNicqxPg=
@size 20573
@ts 1539336563
lib/coq/plugins/micromega/micromega.cmi
@sha eL5+7xa6dB9YEnjtxLWEf3FyIbFAeh+7kWVL4V8ArOI=
@size 53568
@ts 1539336563
lib/coq/plugins/micromega/micromega_plugin.cma
@sha GCPEogMicd1SSMLhA1vHEsxCT09bxY7roICiQ1JC2sU=
@size 291885
@ts 1539336552
lib/coq/plugins/micromega/micromega_plugin_mod.cmi
@sha 2+9xl551yUzLwpuRMfAiCJ4Rt2CjkJ7ND+/p7++SwnY=
@size 2442
@ts 1539336563
lib/coq/plugins/micromega/mutils.cmi
@sha 7ZvMEvAGSXvSKpLPtqPUSRqK5+Oi+6fVdt8wsRmHMII=
@size 8819
@ts 1539336563
lib/coq/plugins/micromega/persistent_cache.cmi
@sha vwLtESM68J4tnogVeq0M5HFhm3vqX1eLZvscbncrme8=
@size 1673
@ts 1539336563
lib/coq/plugins/micromega/polynomial.cmi
@sha OWuoqLbXE2xe60DgUtIDyhyb5X7AZPXpDjKLC+vsbQg=
@size 16644
@ts 1539336563
lib/coq/plugins/micromega/sos.cmi
@sha j7CTBAzj1QEPztPzka0p3hHkdxfjBrZ80H3MLW1FZ+k=
@size 1750
@ts 1539336563
lib/coq/plugins/micromega/sos_types.cmi
@sha vguJ00C9+MCxEKWPgvoCRrzob0FaueESBZjmaFnUQds=
@size 1667
@ts 1539336563
lib/coq/plugins/nsatz/
lib/coq/plugins/nsatz/Nsatz.vo
@sha BYgyMcfQ2ZUrm/scARkS8lkxFbxbYC3r3wcRs+/j9og=
@size 125436
@ts 1539336552
lib/coq/plugins/nsatz/ideal.cmi
@sha qM+p4Tlk1l90dspCYgHdkpA81gp3GJW66cEWlNt54eA=
@size 21456
@ts 1539336563
lib/coq/plugins/nsatz/nsatz.cmi
@sha BQXaRSwmngi5RKrsGQ7CzTd8sULmfannPFJwV78SF0s=
@size 32813
@ts 1539336563
lib/coq/plugins/nsatz/nsatz_plugin.cma
@sha TgIxlVW58Yz9Xx2E7Af65d4P/V8sHnqk0PG/zw71vlg=
@size 82924
@ts 1539336553
lib/coq/plugins/nsatz/nsatz_plugin_mod.cmi
@sha 1Em19eQVoSEN21+3q0yMAgjw/Jwy9pZeVmfxoFl4tzM=
@size 2434
@ts 1539336563
lib/coq/plugins/nsatz/polynom.cmi
@sha 69khZW+yS94xDzbQmoX37U8w1syQtBaO9jLqKOz/fzw=
@size 15065
@ts 1539336563
lib/coq/plugins/nsatz/utile.cmi
@sha XEBvtVngebXwkR8GpkVG1L3ZWcb6lj+turFIseI/Adc=
@size 1458
@ts 1539336563
lib/coq/plugins/omega/
lib/coq/plugins/omega/Omega.vo
@sha SqTc+PMY3coWUkcVycWLYm//SB5hw2V52KFxkMhCrz0=
@size 15971
@ts 1539336548
lib/coq/plugins/omega/OmegaLemmas.vo
@sha +0PvuQ+32AFZrTvDbibXQWJZ1HOznwuZC2jomKkSgf8=
@size 55936
@ts 1539336548
lib/coq/plugins/omega/OmegaPlugin.vo
@sha 35esVyXcebq4WojRKxyDa5m8r3wIbDm70dYrzFjL7g0=
@size 627
@ts 1539336548
lib/coq/plugins/omega/PreOmega.vo
@sha I/0ikPh+BRkQtGm7JcPNt+eHkP04F7NCGUCsMQBrfvk=
@size 53022
@ts 1539336548
lib/coq/plugins/omega/coq_omega.cmi
@sha spJ9MnqEfivOxwPQpoul14t6Lqooy0TcCePa+slVH4Q=
@size 40879
@ts 1539336563
lib/coq/plugins/omega/g_omega.cmi
@sha w0GO7WUQxu+FvmYgbjGCaja3ZuSWMMWoaNQtkQA+ClQ=
@size 3807
@ts 1539336563
lib/coq/plugins/omega/omega.cmi
@sha YN/oJNCeWSyC1xajI/j77y79xfnjpJR8K6rj1c/CYMU=
@size 12242
@ts 1539336563
lib/coq/plugins/omega/omega_plugin.cma
@sha JY6X3LQpUEaGMzfbq8KWpz1LsOnaOftuzvXYYRiPicQ=
@size 155441
@ts 1539336552
lib/coq/plugins/omega/omega_plugin_mod.cmi
@sha NByV2mjMg+V8W2GzGLYAEAIkv7qummeUZ2dCQeFNCCs=
@size 2434
@ts 1539336563
lib/coq/plugins/quote/
lib/coq/plugins/quote/Quote.vo
@sha gWtfspo8s+yAqdS9jk3+Ry9WbK5M2x9I8h3jGRjaLK4=
@size 12094
@ts 1539336552
lib/coq/plugins/quote/g_quote.cmi
@sha 1ZsSOZrf9ossPo+UgoYgNdP0+hKQAKcGAMuhsZGNwyg=
@size 3420
@ts 1539336563
lib/coq/plugins/quote/quote.cmi
@sha ncd2tbAdZbjOhuhwK9jDxLdN1kjcYuDWMsZEDQOwd5c=
@size 10070
@ts 1539336564
lib/coq/plugins/quote/quote_plugin.cma
@sha ZrWXTDvXVtaeOPik4c/cmyqG6cDLGaO3Wtr1uclPf6U=
@size 24821
@ts 1539336552
lib/coq/plugins/quote/quote_plugin_mod.cmi
@sha XCXgf91cRxJl3MShkGYmf9JWps4cdJi5zKa1LiyOwZ8=
@size 2434
@ts 1539336564
lib/coq/plugins/ring/
lib/coq/plugins/ring/LegacyArithRing.vo
@sha nFbRxVBnJEfhievUwZl9/kZj/dkl05Vmo7J8ik1Zgbk=
@size 18912
@ts 1539336549
lib/coq/plugins/ring/LegacyNArithRing.vo
@sha XSCO5Ys3sNrirfQjB9DAWb/tTbnFYwyKedLs/6iOkfA=
@size 16353
@ts 1539336549
lib/coq/plugins/ring/LegacyRing.vo
@sha I/pwhurrcYkgJdA/PaSTsZhn5bTUeucdsKDCzmMbbWw=
@size 14257
@ts 1539336549
lib/coq/plugins/ring/LegacyRing_theory.vo
@sha L88ndTmUMHbJEGIFg2i0Aljwp73XvavjElHphKlRTW0=
@size 82279
@ts 1539336549
lib/coq/plugins/ring/LegacyZArithRing.vo
@sha NofndcVZvX2fliLIgv+VkLB7JSd7BT65tu6onRjYuD4=
@size 14831
@ts 1539336549
lib/coq/plugins/ring/Ring_abstract.vo
@sha Mi3DXs+8KtipiPk8p3RZxe/B54uwmbU+Wfp5Hi0pUuM=
@size 75254
@ts 1539336549
lib/coq/plugins/ring/Ring_normalize.vo
@sha 3Z3koQQf6v2q0KsDwX/ZgE8MMNpOIU8UOYEIghL3pvE=
@size 107359
@ts 1539336550
lib/coq/plugins/ring/Setoid_ring.vo
@sha Efb3WTRsg14apxtfDzAfCkJw3mTeFFJWio2Yy9Vinv4=
@size 1386
@ts 1539336550
lib/coq/plugins/ring/Setoid_ring_normalize.vo
@sha U4sxPZyL6TnlmyWLvJkWfLQONZ0VrMEd1BC8BoOomJo=
@size 155167
@ts 1539336550
lib/coq/plugins/ring/Setoid_ring_theory.vo
@sha ZrB8ms0P6yJGYQKdX/e+W+Y/7erM3QFzUfnAmjvD5ZY=
@size 121402
@ts 1539336550
lib/coq/plugins/ring/g_ring.cmi
@sha 7zxxhiq2ioP7CicN8r21N52aiWHQim0D3yWI4caanTg=
@size 4012
@ts 1539336564
lib/coq/plugins/ring/ring.cmi
@sha JqkgCgV/KN954DLDzIhr1KEssTlS64iLGJ/zqKe6Bh8=
@size 23751
@ts 1539336564
lib/coq/plugins/ring/ring_plugin.cma
@sha otmkK60zX8UNyG/tumMCxzRe24J8/tfb5YdrGY+wvss=
@size 66121
@ts 1539336552
lib/coq/plugins/ring/ring_plugin_mod.cmi
@sha 0hliu6J0BemrhR/6nOivlqAtE0mUl0JD8+DmYcFrWcg=
@size 2432
@ts 1539336564
lib/coq/plugins/romega/
lib/coq/plugins/romega/ROmega.vo
@sha 7QjBUGVbLFULNsvJ0ZqiyRC6BCBdWL27s/1muAIXr4c=
@size 11897
@ts 1539336549
lib/coq/plugins/romega/ReflOmegaCore.vo
@sha 5dyOf/C2tWak/8EGyx4TRW1+WFDfPFyK44S6XPfS+pI=
@size 556526
@ts 1539336548
lib/coq/plugins/romega/const_omega.cmi
@sha 05o9hS+0kOetFh9wlYFrJPb0moAr1HgmM22X088sT78=
@size 12115
@ts 1539336564
lib/coq/plugins/romega/g_romega.cmi
@sha 3Oi4GIBZm/ShbekeNS7ukfNpJZPk7rcIiRAUzS3zlPU=
@size 3491
@ts 1539336564
lib/coq/plugins/romega/refl_omega.cmi
@sha e5gsJn68MPJ3H9+Y4MONak7GaScqpqL23egTVKQXPnY=
@size 26910
@ts 1539336564
lib/coq/plugins/romega/romega_plugin.cma
@sha /umhOeUOOB83vJzKqd++rC6Q3g/74pKc/v3TVR4MEqw=
@size 90926
@ts 1539336552
lib/coq/plugins/romega/romega_plugin_mod.cmi
@sha xrhOJkDo/+PrctYgFfCvDSYsZr3m7KOEcdOs4YHcZLU=
@size 2436
@ts 1539336564
lib/coq/plugins/rtauto/
lib/coq/plugins/rtauto/Bintree.vo
@sha J/W1WO6cHNS9qpDfVL4x3eDElLX+COdUHwflsUcfojQ=
@size 80900
@ts 1539336550
lib/coq/plugins/rtauto/Rtauto.vo
@sha lTU7frgznPk/tJpz+sBgU9Tkjr3XDhbVyrjRlCnI55E=
@size 75363
@ts 1539336550
lib/coq/plugins/rtauto/g_rtauto.cmi
@sha ewhPgEgHEh3C4GMmein+j5c0ls/gf9q5GPQRpsyVkLI=
@size 3047
@ts 1539336564
lib/coq/plugins/rtauto/proof_search.cmi
@sha kyIBFL8ddvYAs/RjXBIl60rIfZl7/1pRwOOmkbM7HhU=
@size 1878
@ts 1539336564
lib/coq/plugins/rtauto/refl_tauto.cmi
@sha 3aF7f/pZB/ReAGvnmx8+DwfJtfB69xgDst18E0LK4pw=
@size 3196
@ts 1539336564
lib/coq/plugins/rtauto/rtauto_plugin.cma
@sha uInejg76SOvPggoIl0V/L6C0wo/ju9ykjPj8dx+dZ7g=
@size 41467
@ts 1539336553
lib/coq/plugins/rtauto/rtauto_plugin_mod.cmi
@sha xWtw0HBnA3I0JJEn0wgU6kncPLpO9v0GZYp+DFm0PWY=
@size 2436
@ts 1539336564
lib/coq/plugins/setoid_ring/
lib/coq/plugins/setoid_ring/Algebra_syntax.vo
@sha pks9cAesaqyH0HcOsfNobPNrV0/jZyuEUjuRcoEDSC4=
@size 9911
@ts 1539336551
lib/coq/plugins/setoid_ring/ArithRing.vo
@sha wF0fb4AoTaDU8Lq0RF9bzHiKIl9Ix+VuInwaeg/O9IE=
@size 25079
@ts 1539336550
lib/coq/plugins/setoid_ring/BinList.vo
@sha 0Ha/WST8N/VAgO3YSlY4Im3JAygcz13+q/jPM7htQh4=
@size 12333
@ts 1539336550
lib/coq/plugins/setoid_ring/Cring.vo
@sha DHeBqKof5ozg5jXVe1pf+aUxOcKJuLxRF6ajrCNEa/s=
@size 120367
@ts 1539336551
lib/coq/plugins/setoid_ring/Field.vo
@sha MpkDmhfC+uUqBcMtSUgo+XcjNqkxkLeL1m4KMnDBbV4=
@size 11562
@ts 1539336550
lib/coq/plugins/setoid_ring/Field_tac.vo
@sha ddJWtnFjRu2Qkfn1zZGDWci6/IkobrdlZG4Up4OF2Rg=
@size 54829
@ts 1539336550
lib/coq/plugins/setoid_ring/Field_theory.vo
@sha 4KzNd6kmD+25Cqid2rW3fOR9gNDwyw4aezYTwI453ZI=
@size 676732
@ts 1539336550
lib/coq/plugins/setoid_ring/InitialRing.vo
@sha k4+qNSuAq6H9eNcG4BwqOaGyuHpJ6nk2/DCPtIe0/jU=
@size 188295
@ts 1539336550
lib/coq/plugins/setoid_ring/Integral_domain.vo
@sha 9eMOV6lCbJtAiblkGmBrCyh1LnY9jiJ+hzGYLekSp48=
@size 59991
@ts 1539336551
lib/coq/plugins/setoid_ring/NArithRing.vo
@sha WEZF5MirPASojgeT9ASIu7L6nq8QgHwVOwKvXWP+WQ0=
@size 22616
@ts 1539336550
lib/coq/plugins/setoid_ring/Ncring.vo
@sha xmzzmrvjKPXB308muApClNLSvG6hlEN7vaEQKUK5Fj4=
@size 265928
@ts 1539336551
lib/coq/plugins/setoid_ring/Ncring_initial.vo
@sha sOVAoz1fMU8M/5wWUtP/45RjCG/51PhVcLLPQJf4tk8=
@size 164433
@ts 1539336551
lib/coq/plugins/setoid_ring/Ncring_polynom.vo
@sha OCm39X/nEoP7/etHRqhLCxIV0+X1011pndkLp4Zq64w=
@size 366776
@ts 1539336551
lib/coq/plugins/setoid_ring/Ncring_tac.vo
@sha dAQBjb/rNLT7hJKcxahU52xTM2kVaa5hSNoYPFPIUyA=
@size 110311
@ts 1539336551
lib/coq/plugins/setoid_ring/RealField.vo
@sha GHJvGRFVJmiptiHHuE/JFMdHydr+P2Kv8CXKw0/hdbQ=
@size 58178
@ts 1539336550
lib/coq/plugins/setoid_ring/Ring.vo
@sha UyXfuJ3YeraBcrZ3/hI/Zp6y3meOiH9WvBwDkLE/85g=
@size 25360
@ts 1539336551
lib/coq/plugins/setoid_ring/Ring_base.vo
@sha AT2ucjgLSpKq/naKZDyKxuXr7/3nNfouFD5w1eEfnm8=
@size 11379
@ts 1539336551
lib/coq/plugins/setoid_ring/Ring_equiv.vo
@sha To4O1yFupXKB0SxD+umluHAh3/CEw0IO9Om66UqCwQA=
@size 14751
@ts 1539336551
lib/coq/plugins/setoid_ring/Ring_polynom.vo
@sha 9c8oeorkIYQogWv1IBTv09UOJMlq4Qjz+LiUhrdXPd0=
@size 565059
@ts 1539336551
lib/coq/plugins/setoid_ring/Ring_tac.vo
@sha LeXoFh68ba5OsxRp+9uTFNVX+XXs9/b2YBNQKN/GGsg=
@size 39573
@ts 1539336551
lib/coq/plugins/setoid_ring/Ring_theory.vo
@sha wLIXNBuSrl2+TU0JjrXySwSb9uKaySkTRvCNkjKjefc=
@size 236727
@ts 1539336551
lib/coq/plugins/setoid_ring/Rings_Q.vo
@sha faF85yeYVkj4ZfWtO7yUn4qmzsQr69L0OFvoKpLrJSw=
@size 20414
@ts 1539336551
lib/coq/plugins/setoid_ring/Rings_R.vo
@sha ovLYlSDZQZF/jfHFr0y6Uh5n1GnKu9Nj7y/ptJKZcx4=
@size 30562
@ts 1539336551
lib/coq/plugins/setoid_ring/Rings_Z.vo
@sha QLSLuBMLzshaLEcPkAhDWfDsFcrbdVogXzg2dTYd8Bg=
@size 15668
@ts 1539336551
lib/coq/plugins/setoid_ring/ZArithRing.vo
@sha XIAUW8c3ERh20pNsub2B7UIhvbzSCAaX8cHVoE0rSlc=
@size 22177
@ts 1539336551
lib/coq/plugins/setoid_ring/newring.cmi
@sha FTk0mbRmI+Gm4NR1cL1kfrhWZ8C0z/CYjnJFEEOaRgw=
@size 28832
@ts 1539336564
lib/coq/plugins/setoid_ring/newring_plugin.cma
@sha LzAgUwzIhDS2jdJuNG190cLqC+p33Orr/h//jeQicBo=
@size 77148
@ts 1539336552
lib/coq/plugins/setoid_ring/newring_plugin_mod.cmi
@sha OcWy1UQllaZGk/tIJHuukaxRnfSoU2kl8JfLmE53bCM=
@size 2438
@ts 1539336564
lib/coq/plugins/subtac/
lib/coq/plugins/subtac/eterm.cmi
@sha Az5DWtXBLilACZdKhf2Ao3zhs5I0AE+TQ7OoBEN37ag=
@size 4109
@ts 1539336564
lib/coq/plugins/subtac/g_subtac.cmi
@sha DZ+D1ngssd07rv9G6VgLVKYLMzkgnQxSjZR8fnDssXg=
@size 5592
@ts 1539336564
lib/coq/plugins/subtac/subtac.cmi
@sha PY6ne14PnCILDGpsmbLQvZee+KMYWSUQpFJnkkmY/iM=
@size 2611
@ts 1539336564
lib/coq/plugins/subtac/subtac_cases.cmi
@sha l/4/r2FmslTY4N7o7xWCjNL50XSKethanULBGWYsfHs=
@size 1995
@ts 1539336564
lib/coq/plugins/subtac/subtac_classes.cmi
@sha iRRWr2YCR4DDKIdBFVcEA2AqN5QBS+fxWQ9Pwaz93PA=
@size 3550
@ts 1539336564
lib/coq/plugins/subtac/subtac_coercion.cmi
@sha Xeq8bOzO6BcFNnb3Eb9adKhQvjSwqYlbjBtuu39L/N4=
@size 2057
@ts 1539336564
lib/coq/plugins/subtac/subtac_command.cmi
@sha m2djuu+/QPoQzLr+EbYniiyKL7LhMO3MGzMjeyzqxjI=
@size 5750
@ts 1539336564
lib/coq/plugins/subtac/subtac_errors.cmi
@sha nxWV3teF31PyVkFalmK3c5I5q7z+7FIsGg3w3ta+ZSw=
@size 2085
@ts 1539336564
lib/coq/plugins/subtac/subtac_obligations.cmi
@sha yL80rimerSjvnLnLKNlZk+kWUtuBlPEpSm9QqHfDu8Q=
@size 7128
@ts 1539336564
lib/coq/plugins/subtac/subtac_plugin.cma
@sha LfpQdxsOnFF2XjeMsyCM2Tpy2R9PrmYZkbCHPpXd4d4=
@size 272489
@ts 1539336553
lib/coq/plugins/subtac/subtac_plugin_mod.cmi
@sha ZHwPwmlEq2y5+jNVz5Fqjhh4cDMyqH9mtwwpEi/8LTQ=
@size 2436
@ts 1539336565
lib/coq/plugins/subtac/subtac_pretyping.cmi
@sha dW9rvBBy0cdnw+8w9/Cuqp6J+K+kEw+gsNX48GenCa4=
@size 4213
@ts 1539336565
lib/coq/plugins/subtac/subtac_pretyping_F.cmi
@sha 4PGkhj85DnFoghHHzgGJBr257C8moBUM9KxZjFkxl+w=
@size 11528
@ts 1539336565
lib/coq/plugins/subtac/subtac_utils.cmi
@sha lenBdJdu3y/T4OQK8SWZrN+ArQWhqYGl059KIIPrvCo=
@size 11173
@ts 1539336565
lib/coq/plugins/syntax/
lib/coq/plugins/syntax/ascii_syntax.cmi
@sha YAYR6kAOjqo5IqRtLqMTliSG1YBmLVS9Mek/Y7K92HU=
@size 3908
@ts 1539336565
lib/coq/plugins/syntax/ascii_syntax_plugin.cma
@sha kzkm3r7fI2gzPUEUG258UBCyIZ+Y+/nB5+nXgb/lrKU=
@size 8512
@ts 1539336553
lib/coq/plugins/syntax/ascii_syntax_plugin_mod.cmi
@sha VKNIhvkGSB3pJ8zyjOFDp6Fc8bN4DB5iWSf9Y66NUuQ=
@size 2448
@ts 1539336565
lib/coq/plugins/syntax/nat_syntax.cmi
@sha dV0yOaEjOfk8/zO1UYouwIts9opysM4Cy6GHRgLrJZU=
@size 2863
@ts 1539336565
lib/coq/plugins/syntax/nat_syntax_plugin.cma
@sha HjQODQl0qhHYYWiw234d7kugzsVGL4efjY3poNQRNOo=
@size 7228
@ts 1539336553
lib/coq/plugins/syntax/nat_syntax_plugin_mod.cmi
@sha iehI1B1BbxacxDhqwwE17ZXHUNKxvWIne+739fWdegw=
@size 2444
@ts 1539336565
lib/coq/plugins/syntax/numbers_syntax.cmi
@sha txHdMxFxM0oZro1fjzcM0e9KcpNN4g/duemhQ7NPWqI=
@size 6604
@ts 1539336565
lib/coq/plugins/syntax/numbers_syntax_plugin.cma
@sha kosVZ9sKD15OJQ2koHFjGroi7QEhBFWs5N1cWCpWXT4=
@size 14624
@ts 1539336553
lib/coq/plugins/syntax/numbers_syntax_plugin_mod.cmi
@sha BquQ/JDpl/7DCLshTRdu0+eB+u82l7LT59v/Qu/3ZjI=
@size 2452
@ts 1539336565
lib/coq/plugins/syntax/r_syntax.cmi
@sha ym96wOv7rMe3dsycFZkBCdjHwQ/sUi6nv6pYYZU8weY=
@size 3807
@ts 1539336565
lib/coq/plugins/syntax/r_syntax_plugin.cma
@sha lE5l+/u3hacb2NTsSIG3bp0xjEC7ocJt2n1ydi1TMX0=
@size 10563
@ts 1539336553
lib/coq/plugins/syntax/r_syntax_plugin_mod.cmi
@sha 2HqGWL8Px4P/Hzozgu2xAPjthAIc2nwQEF7Qn+0tFSk=
@size 2440
@ts 1539336565
lib/coq/plugins/syntax/string_syntax.cmi
@sha mQw+4HZa06yELE1mycJwrZtnkxajPj7lLZeUsJdGA4s=
@size 3353
@ts 1539336565
lib/coq/plugins/syntax/string_syntax_plugin.cma
@sha o9HQHRu4niim4qIA+F2AToN1lVg2kz0NooAwF1UdBp8=
@size 7711
@ts 1539336553
lib/coq/plugins/syntax/string_syntax_plugin_mod.cmi
@sha o9XzZsPZzy4qNXEuDZ7hk11nW/w3zf1v+uRFrlbcxcQ=
@size 2450
@ts 1539336565
lib/coq/plugins/syntax/z_syntax.cmi
@sha rUX0rxfPDeXLUNsCVImiTiYQZV4jxHkY5yfisv45qkE=
@size 5685
@ts 1539336565
lib/coq/plugins/syntax/z_syntax_plugin.cma
@sha Z+GEB7sxCy8UquPJ7o4zyEkefZEbZsdVXTsG7DrVX5I=
@size 10740
@ts 1539336553
lib/coq/plugins/syntax/z_syntax_plugin_mod.cmi
@sha +5PyOr/9D6NZngADpDZMhjRQRDAFHkBZppa0ZdsBZ8A=
@size 2440
@ts 1539336565
lib/coq/plugins/xml/
lib/coq/plugins/xml/acic.cmi
@sha igGvbb8XwQDZ+vuadSVyZlq4rxNpYS44ikmtArGdnzU=
@size 7114
@ts 1539336565
lib/coq/plugins/xml/acic2Xml.cmi
@sha HR8F3WE7yo2/0scLAVrKXSuioIaZnIuzhrDuowfOFWI=
@size 4095
@ts 1539336565
lib/coq/plugins/xml/cic2Xml.cmi
@sha HFpxQQx5VZcGv5BjyNozkQZpl+Uxt5p1loQP5my2k5A=
@size 3648
@ts 1539336565
lib/coq/plugins/xml/cic2acic.cmi
@sha 4rRSHGr19mTjZv+zy86iYT7pgjLG64rYm7YAnyvsYC4=
@size 8406
@ts 1539336565
lib/coq/plugins/xml/doubleTypeInference.cmi
@sha Rtaf+52KaM7C9L6+CvgH5F91ZsANOfyNfLkYbfN2yKY=
@size 2379
@ts 1539336565
lib/coq/plugins/xml/dumptree.cmi
@sha ag+tz/wd/31Ks4yk5z7gwBbp0ETVlE1EoBZvxre0X9Q=
@size 4841
@ts 1539336565
lib/coq/plugins/xml/proof2aproof.cmi
@sha kq+3Fj86ae1ZeGJwi7eeqy+qrrzXSuXqH7bkyumg/as=
@size 4347
@ts 1539336565
lib/coq/plugins/xml/proofTree2Xml.cmi
@sha g3wBoX25c+uWIBeFHiKlNjG/tfU/7Hu8faqfEJcjijQ=
@size 3994
@ts 1539336565
lib/coq/plugins/xml/unshare.cmi
@sha 77R6an9yAjeK5G3imjqK7FjPjGUoeh1ZvMqxPhdyjvI=
@size 374
@ts 1539336566
lib/coq/plugins/xml/xml.cmi
@sha hCpdkN4Y8L4VOYIEO+t6sgjvhoHefAaqOMS9+8RJv6o=
@size 1263
@ts 1539336566
lib/coq/plugins/xml/xml_plugin.cma
@sha roBLW5xAD4ehpyxDjnun3vx9hDp22UBgQ25z8mkfHls=
@size 127245
@ts 1539336553
lib/coq/plugins/xml/xml_plugin_mod.cmi
@sha 5AWZ1ZJsOveW0uUn5wg/9RZ22KAGQtvNZv4IwiVaXLM=
@size 2430
@ts 1539336566
lib/coq/plugins/xml/xmlcommand.cmi
@sha 1TOY3mNZsnakMjCtr01YXwlVz5TxgraZ6XwLJkuVVp0=
@size 2912
@ts 1539336566
lib/coq/plugins/xml/xmlentries.cmi
@sha NSMUAwaENSOgfDv2gWD5+3pMHMAET6tB3k9zK9UQetM=
@size 3417
@ts 1539336566
lib/coq/pretyping/
lib/coq/pretyping/arguments_renaming.cmi
@sha g6bmTXrOQx+38s9csbUGB0p6LjZ05FJHaxMTNtXPi5w=
@size 2361
@ts 1539336566
lib/coq/pretyping/cases.cmi
@sha mVHzwQ2JrwT5MC2fjGxfDTr5x47p6tylip0eWZsW8uc=
@size 4587
@ts 1539336566
lib/coq/pretyping/cbv.cmi
@sha /pm/f4PxxYJ557Ks+R7QLWzQiu12TSr76tRu1TvYKos=
@size 4010
@ts 1539336566
lib/coq/pretyping/classops.cmi
@sha y0F9ZEpVeyQkDNtK2VjqW9PrikELN7Mdp9AM6OYKrnQ=
@size 5397
@ts 1539336566
lib/coq/pretyping/coercion.cmi
@sha Mykt+ApxRoaPlvAUwiNsm4wsnnLxFv1WVUqK24ldpEE=
@size 3729
@ts 1539336566
lib/coq/pretyping/detyping.cmi
@sha P6F3bP927Gq+cYpv5SgUgiyDEToJ7pky6aPnHC9Daxk=
@size 5603
@ts 1539336566
lib/coq/pretyping/evarconv.cmi
@sha AOXwYUXcN+/ORqEJfGpx6kQDOJX/ZeK72/i29+1cAm4=
@size 4592
@ts 1539336566
lib/coq/pretyping/evarutil.cmi
@sha wmRBVFVSBo78bDvVh8obJ5mm1NRyIkryGk3CeQqNbWc=
@size 13816
@ts 1539336566
lib/coq/pretyping/evd.cmi
@sha AwJHaNzSEDn/Set2rbAKokTWfcZm4oclPmkXdyBnYrQ=
@size 25674
@ts 1539336566
lib/coq/pretyping/glob_term.cmi
@sha WaE+IBByI8rtSo/PfJ0Xh4QETxf1fnS52qwv+C2Whdc=
@size 8963
@ts 1539336566
lib/coq/pretyping/indrec.cmi
@sha mcqEs7DATfFdXeT61fqej/BdPC6RjcYxK4rU1PewcXc=
@size 3594
@ts 1539336566
lib/coq/pretyping/inductiveops.cmi
@sha J/xjWsgZvxqPsmp1sVj616MFkQiewy++MaWpyD6vOPI=
@size 9001
@ts 1539336566
lib/coq/pretyping/matching.cmi
@sha Q/dE7RBnLhPBWQ6bbjsuc9lK2lFXz3KOTtckm7AQAtk=
@size 3476
@ts 1539336566
lib/coq/pretyping/namegen.cmi
@sha s046ue2jy746mo7mW4qS/HIu4PTn3N7HSeyiG37ozyA=
@size 6466
@ts 1539336566
lib/coq/pretyping/pattern.cmi
@sha P0UWT6935vMIDgaInCkNrx2NzzSDTr/ayHx1OoLHWmk=
@size 4518
@ts 1539336566
lib/coq/pretyping/pretype_errors.cmi
@sha ZRsxQV+WsuyqVmog+dj40xTtjN9wdXBPP0efn3XvmE4=
@size 9451
@ts 1539336566
lib/coq/pretyping/pretyping.cma
@sha lu473PuQepKpLZhayIpjgjRKAG4y8bKe70Ms8Y6eIW4=
@size 630661
@ts 1539336554
lib/coq/pretyping/pretyping.cmi
@sha XLgjXHxWAgOAZyfBaRWIaGLkGPR7w/RvUo7SzMGr6HY=
@size 6441
@ts 1539336566
lib/coq/pretyping/recordops.cmi
@sha JxpWp4SlnwOxMNAqP2o7l9h5Cjo+2oum2VpUpMqez+Q=
@size 4471
@ts 1539336566
lib/coq/pretyping/reductionops.cmi
@sha JTAPVextWL4OR0PoJ7Cajb29xTcpfjk6YSAN8AFPld0=
@size 14527
@ts 1539336566
lib/coq/pretyping/retyping.cmi
@sha JCeaPBiWhy6P0X3zr6HWAx6+Cl/lrmZro+GYPNImVxo=
@size 3011
@ts 1539336566
lib/coq/pretyping/tacred.cmi
@sha GP7HkKwUItRB1Isa5u8aiw2AuT2AQQgPC1ed55rNVCY=
@size 5302
@ts 1539336567
lib/coq/pretyping/term_dnet.cmi
@sha l+rqx7aDJu375luYtvewu7qeUU0g8FuhuVYrLnweWvA=
@size 4454
@ts 1539336567
lib/coq/pretyping/termops.cmi
@sha GpLgAAqj1oADN0BzcgMdByzh5FWgIxlyN1LUf3XRzbg=
@size 18764
@ts 1539336567
lib/coq/pretyping/typeclasses.cmi
@sha VQTkL05BFNExaB4oxHu8AY4+jUUVhjDyROQA/ZMm4co=
@size 7085
@ts 1539336567
lib/coq/pretyping/typeclasses_errors.cmi
@sha 8fcgViBIIDm3gmjPn0Ngph8+3O0gVf0h7sG8rYusgDQ=
@size 3532
@ts 1539336567
lib/coq/pretyping/typing.cmi
@sha YYTVp9KLCRDbxCMD3UToCsf5xf2OX7wonbCfccENKOc=
@size 2740
@ts 1539336567
lib/coq/pretyping/unification.cmi
@sha qRQkQ5Vk4G4LzImPO/DGWtdQkxeWXbfQC/k6ByE3kno=
@size 5143
@ts 1539336567
lib/coq/pretyping/vnorm.cmi
@sha Lde3xwie5GAE6BQxTDzmfnO1e5cNkdiTK/8RtYgsqPE=
@size 1676
@ts 1539336567
lib/coq/proofs/
lib/coq/proofs/clenv.cmi
@sha 81lSZ63aVi+7iLlZV3BgyCC2FVodXDd6V3R4I1PSr+o=
@size 7036
@ts 1539336567
lib/coq/proofs/clenvtac.cmi
@sha BMXvsZ/LnDnrIghRlWH6+O3vKKbn1389VELaONEB+2E=
@size 3219
@ts 1539336567
lib/coq/proofs/evar_refiner.cmi
@sha 1hoz0NGeHhRjahDGFDhvz4d4+J11Z5uE634mWSg+qVc=
@size 2770
@ts 1539336567
lib/coq/proofs/goal.cmi
@sha DYnPfRVR+yYm7gFSuU7RGtZe1IuIox0cXDFQF4b6Nxk=
@size 8601
@ts 1539336567
lib/coq/proofs/logic.cmi
@sha esQ/6Wb8d1VtNkyAmp06wTWaIEw6Ex98klFrmucXHWA=
@size 3223
@ts 1539336567
lib/coq/proofs/pfedit.cmi
@sha EfELaVJGrS+2rrXYD2qZc+VIiH6h6yzQH4SxT6mvyXQ=
@size 6179
@ts 1539336567
lib/coq/proofs/proof.cmi
@sha WoHSVBHstSvwNBlqEhhbWf6lTznrxXYS89FPDJ4x7cI=
@size 5939
@ts 1539336567
lib/coq/proofs/proof_global.cmi
@sha yDpoI3mso3MLB8Sp11MuOBpW0BTmC2FSPl/fjAAE8vE=
@size 5814
@ts 1539336567
lib/coq/proofs/proof_type.cmi
@sha ojRX8X36uWvx2HClymAeMF1OEVG/CBUUEE2pknJQ00U=
@size 5527
@ts 1539336567
lib/coq/proofs/proofs.cma
@sha cSi8MkZFiWivQXhn5VvxaH2EDtMOCGZnlRcpxfhzLGE=
@size 169553
@ts 1539336554
lib/coq/proofs/proofview.cmi
@sha +l9+0ab6PCt8zhOa85W2vlgZ7qwGNqYCCwzn1QgjQzo=
@size 7269
@ts 1539336567
lib/coq/proofs/redexpr.cmi
@sha oUV9F2QD2w95yAcoM16+OeeZ4sbceGj2ALWj1ZxqHyE=
@size 2819
@ts 1539336567
lib/coq/proofs/refiner.cmi
@sha z9N6ZcWM19Ka0I9Y6D1dDl5QA0FTQYLhCHJBGNTQ8uo=
@size 9290
@ts 1539336567
lib/coq/proofs/tacexpr.cmi
@sha rp6CLgJ9/1AF6bT0aPBEQxwWUOBybTrEhqDMNrfeigE=
@size 17271
@ts 1539336567
lib/coq/proofs/tacmach.cmi
@sha RI8YAZshMfuesaUeUQBgYGvt3VZA2EJwVF0MMzJQh0I=
@size 12083
@ts 1539336567
lib/coq/proofs/tactic_debug.cmi
@sha /ghllB0gb6r3mWJyYJ7XQ6ZuVfvsGhmG4BLrOPK2RF0=
@size 4827
@ts 1539336567
lib/coq/states/
lib/coq/states/initial.coq
@sha ltDXsB8AG+itk1oJRwEz7nDiIWGaAwCzHcrzP3J64E8=
@size 334799
@ts 1539336553
lib/coq/tactics/
lib/coq/tactics/auto.cmi
@sha FRoTKRnI1qWcsosr5IOjTm+tCAq4+Of0dOclK2K2r2I=
@size 13870
@ts 1539336567
lib/coq/tactics/autorewrite.cmi
@sha 1vvB82GVB8xpiYjuxARxl/6rtnTzdFmWT3yWFqcMQds=
@size 5227
@ts 1539336568
lib/coq/tactics/btermdn.cmi
@sha 0vfy7FRaO8ZDkejt/PvTXA3+jsMnlTupVIUYkdvmxmM=
@size 2744
@ts 1539336568
lib/coq/tactics/class_tactics.cmi
@sha YXQOl2fx4WJgEGZpKBbaJC1KhCAp3TFvWVRGYQaoyWg=
@size 22139
@ts 1539336568
lib/coq/tactics/contradiction.cmi
@sha gxG3nHxuXoPYR3b4JtXJemJlrdrvAfysXqwll6EINLY=
@size 2362
@ts 1539336568
lib/coq/tactics/dn.cmi
@sha DL619VLS84QuSEtdTNwfDRGqS0nc396Mai3bVmXmFQw=
@size 1599
@ts 1539336568
lib/coq/tactics/eauto.cmi
@sha q0z2LW0f9U7DinqN0do9QPhgQzGzSGXCAJaqi8wfd7E=
@size 4295
@ts 1539336568
lib/coq/tactics/elim.cmi
@sha iohfXd6fbt0/316K0lH3z/3VR4AmVYmvf106/9C5c04=
@size 3892
@ts 1539336568
lib/coq/tactics/elimschemes.cmi
@sha W18C+hwPPM2GzLAXAZbF1B0afLSFkgtVtjzdjZH/GRo=
@size 2906
@ts 1539336568
lib/coq/tactics/eqdecide.cmi
@sha 7deOH2VFapTXUXiK5oZnjlldt+d4Jrq5VJM2AlT2/i8=
@size 5595
@ts 1539336568
lib/coq/tactics/eqschemes.cmi
@sha X9PcYVxkGC4ErRHmBuobl3Vy4cPwdAnzL3eqt9UwoO4=
@size 3666
@ts 1539336568
lib/coq/tactics/equality.cmi
@sha CIyoboelfHkYv/Y/HDCQf4reGPM2e2r2O07guLl995Y=
@size 11276
@ts 1539336568
lib/coq/tactics/evar_tactics.cmi
@sha kVb105YJZRibLC6gfRgbx58IACaLmYE+968M0m8CbHE=
@size 3294
@ts 1539336568
lib/coq/tactics/extraargs.cmi
@sha vwsf3iXhTyc6MVVgRlP2wNurcgV+szVk9KZqZHDv+Fs=
@size 6871
@ts 1539336568
lib/coq/tactics/extratactics.cmi
@sha YdQ39XPT6c3qhpYWEm/yFGBgFRGVSNWwXSGVYow3qmk=
@size 2583
@ts 1539336568
lib/coq/tactics/hiddentac.cmi
@sha 4LO0zWsvYCbTXpayNwd2F1xAs5JkcVgbDANHFC4Pimk=
@size 10222
@ts 1539336568
lib/coq/tactics/hightactics.cma
@sha FYWZSPkrDr85JBLAZLmsfAbL3kI0+U45JEmBsxdwyAs=
@size 575874
@ts 1539336554
lib/coq/tactics/hipattern.cmi
@sha 9gaxZlY3UgvuIUAwzkG/zOxlkRjrSDOtX0SXGi6MO94=
@size 7120
@ts 1539336568
lib/coq/tactics/inv.cmi
@sha v498TN9gL17CTZojl1bgDSzK7tvk9x/U7/SN3qJfiSY=
@size 4004
@ts 1539336568
lib/coq/tactics/leminv.cmi
@sha KVHKOfy9xCE62LFXgVA1nPXn/dvlSW6wmQEGhwUuVqg=
@size 3158
@ts 1539336568
lib/coq/tactics/nbtermdn.cmi
@sha hajTtCqsFz1SgxwilLBhbtrJN4TZLdKcWUzl57A5biM=
@size 3689
@ts 1539336568
lib/coq/tactics/refine.cmi
@sha IFED8YUJqsXOFWDbXLbuVz6YNRLMisHSk5OrnyD84Q8=
@size 2381
@ts 1539336568
lib/coq/tactics/rewrite.cmi
@sha CawECyoWuIEIXkqF7w352GpphetYRtXBU5DQCDBDYEo=
@size 41168
@ts 1539336568
lib/coq/tactics/tacinterp.cmi
@sha H9rW0E3rVg4J1JnlV02P/uaZOezMvfDhkKMZZbagg9U=
@size 11609
@ts 1539336568
lib/coq/tactics/tactic_option.cmi
@sha uHpwY1byS0sGSehy9DJEFzDPyeGdQH86vk8v650o+CU=
@size 2922
@ts 1539336568
lib/coq/tactics/tacticals.cmi
@sha EfSa+AyuTRiHNnOa7p1LFoqo1UpGSssagwS5vWCfKaM=
@size 14648
@ts 1539336569
lib/coq/tactics/tactics.cma
@sha YbkErZEeZolNYUrmEgrBazMiFlLwQI0o1zSzAWYY2yA=
@size 537734
@ts 1539336554
lib/coq/tactics/tactics.cmi
@sha qOI0enpIfaFBuqG73mybg+dKbTbt3M8c2fq4r1Kjf+c=
@size 24163
@ts 1539336569
lib/coq/tactics/tauto.cmi
@sha BVX9mPL5Ol3CZTNlQFsEpKK6R/KQDUmuOrUPUXFm0S4=
@size 8153
@ts 1539336569
lib/coq/tactics/termdn.cmi
@sha xXrM/XQ3ZbNReFXomU/fC/SVEb2w0sH6D2T5BbBBOQ0=
@size 3455
@ts 1539336569
lib/coq/theories/
lib/coq/theories/Arith/
lib/coq/theories/Arith/Arith.vo
@sha RXhKivVnlEGompSrVx/ytL3d/dqIJaXyCU0QTBRVu2E=
@size 11563
@ts 1539336530
lib/coq/theories/Arith/Arith_base.vo
@sha LPn3cr8yghOCJiuTvbuCCxti93ig+0HBXny+N5aZ/b0=
@size 1328
@ts 1539336530
lib/coq/theories/Arith/Between.vo
@sha NnQLtNYSrXrhzGUdADV4if4qQJWNsCyP/BnFL+5Mf6o=
@size 26725
@ts 1539336530
lib/coq/theories/Arith/Bool_nat.vo
@sha dHAW6VcBbsU1ZnUhAU2Bvtgw4UJJZrCAVg7tVb/IhM4=
@size 7264
@ts 1539336530
lib/coq/theories/Arith/Compare.vo
@sha zOTV8GcUwfhxi+3wvec8vqTYirDzmb+9ILmvsKwynVo=
@size 8860
@ts 1539336531
lib/coq/theories/Arith/Compare_dec.vo
@sha gMjgybLloNPYL9wpoIGbx+Y55ofuGzBeXvQL27Y/7xQ=
@size 33278
@ts 1539336531
lib/coq/theories/Arith/Div2.vo
@sha znRZDw7dz5sUTQMjSFMhD9lkPF7p4f/JaxaNg/f58+c=
@size 18924
@ts 1539336531
lib/coq/theories/Arith/EqNat.vo
@sha 3wKZBIVHD3KJmYLWbVgroZHzZhcsOZDAUe3N1WfLldQ=
@size 13608
@ts 1539336531
lib/coq/theories/Arith/Euclid.vo
@sha zm2ZRaVuzs1VLbKFrImV7gKrwKPIVRvvnEPwZ8DoMw4=
@size 17712
@ts 1539336531
lib/coq/theories/Arith/Even.vo
@sha /hoCGYTYSaE12llREe3tO/7swTNs0ki+9URWDtxG1DU=
@size 24746
@ts 1539336531
lib/coq/theories/Arith/Factorial.vo
@sha Zpc6bjEiGp1fUJSZXUY1EsFVugF0U/qLszzRBkpG3e4=
@size 3297
@ts 1539336531
lib/coq/theories/Arith/Gt.vo
@sha oQ4lbUCvCib6noCBYBVjKgIvUo6YVZe5JU2Muzg/7RA=
@size 11042
@ts 1539336531
lib/coq/theories/Arith/Le.vo
@sha jC4boNd1QBJD+BQh3rnze0CG252y+z8fsCbweA1+8+o=
@size 8776
@ts 1539336531
lib/coq/theories/Arith/Lt.vo
@sha IrrnC9H9Ef2naU247MlaVxHdAy5vPJ9uTlNwcMftEbQ=
@size 14478
@ts 1539336531
lib/coq/theories/Arith/Max.vo
@sha tRtXli71lJFGJltdDNFpTs5cROZWj2t6FID1xMYih8g=
@size 13965
@ts 1539336531
lib/coq/theories/Arith/Min.vo
@sha Xd9PPYOWCZVuOGj4D9rVm1T/vzwENtinuMWpWLqT+3w=
@size 12304
@ts 1539336531
lib/coq/theories/Arith/Minus.vo
@sha IUDnNVwkrE+exlWsjSnvdzCCLQdWwwX2cE7DC5FyeRM=
@size 11921
@ts 1539336531
lib/coq/theories/Arith/Mult.vo
@sha /OfWFOrv3ncZphE08oMn+Rr9/JPlHpwb6SJAicdQQyI=
@size 23080
@ts 1539336531
lib/coq/theories/Arith/Peano_dec.vo
@sha hNeQ5w5bJVnIDGviGTDj4SE2g3AxLoOPQvBQwgDpMxA=
@size 8993
@ts 1539336531
lib/coq/theories/Arith/Plus.vo
@sha SceiZdJ4wECpXQ/UTyuzcVPeGw6rZnHef5Ra9yCJevE=
@size 21582
@ts 1539336531
lib/coq/theories/Arith/Wf_nat.vo
@sha 3ruofeA6mdpAzuphefZqsWrhiB3HGryI51KRQnhREIw=
@size 22431
@ts 1539336531
lib/coq/theories/Bool/
lib/coq/theories/Bool/Bool.vo
@sha Oq8BCTBunbpKsiPEnZwckZXwCR1oDPdkRGfw+e/762s=
@size 69753
@ts 1539336531
lib/coq/theories/Bool/BoolEq.vo
@sha qkxbL0b53wqqScZwrf0yoSZWiBKORH6UQjt67JCZlto=
@size 8270
@ts 1539336531
lib/coq/theories/Bool/Bvector.vo
@sha I8zk2EZDOM8ZL5m2RTkA4o5VIezro3xq9mCOQTm2M3Q=
@size 11253
@ts 1539336531
lib/coq/theories/Bool/DecBool.vo
@sha ihqqeVGAqAiBISG5JOpLN1pRTlSu/RPnMR1mjErXaXQ=
@size 3085
@ts 1539336531
lib/coq/theories/Bool/IfProp.vo
@sha hh9GSL4Bnm4MbSgyTvYyk7AlJ7xFxD+7uwxfV6QsSRU=
@size 6068
@ts 1539336532
lib/coq/theories/Bool/Sumbool.vo
@sha 5zFGT/YuPifvw8rzyRx35JjTtYrQumn64QjjMJ4cF0o=
@size 9870
@ts 1539336532
lib/coq/theories/Bool/Zerob.vo
@sha PEyBIViA8Q6cw9qYTqfKmAThY3eeZnJWJJ15mNlokZo=
@size 14973
@ts 1539336532
lib/coq/theories/Classes/
lib/coq/theories/Classes/EquivDec.vo
@sha dunzDFuXkDwRvHZltRDdtOBe0pZOAcoThnjSu4b0JFY=
@size 174514
@ts 1539336547
lib/coq/theories/Classes/Equivalence.vo
@sha DCLrUePQMFWSpC/v/wbDcZFkzc9ws3gf4VxfFPlxNKA=
@size 28758
@ts 1539336547
lib/coq/theories/Classes/Init.vo
@sha cDMA1KNNo41fduDmwGhT+oUzLdHiHaukQ7u7Q4spJGU=
@size 2634
@ts 1539336547
lib/coq/theories/Classes/Morphisms.vo
@sha uH3M5TvzN2qCcO7GABbZOjdAadkqoSFTJ411XZ/S7E8=
@size 89299
@ts 1539336547
lib/coq/theories/Classes/Morphisms_Prop.vo
@sha 7VObqkyueG2Rr0fEJ5HWwLCQiPpH20hw4VPNT+lxtSU=
@size 28050
@ts 1539336547
lib/coq/theories/Classes/Morphisms_Relations.vo
@sha RFCcVW99hN82KtdbNNa/nJV6Ga5HQlFvbqZsRo48DJw=
@size 14184
@ts 1539336547
lib/coq/theories/Classes/RelationClasses.vo
@sha 2mW1m5ItygBsrpyYhW6P3l/3ziH8FEznw3/go5Qu4bs=
@size 78314
@ts 1539336547
lib/coq/theories/Classes/RelationPairs.vo
@sha xbUWEkWC3z7d1tYAKyWYoxmc8RvnF5bVihMxm5MR/14=
@size 33875
@ts 1539336547
lib/coq/theories/Classes/SetoidClass.vo
@sha KzBcCv7HZhLrfY1jprHN/i5WNITGWjejjNxa8KTp1vI=
@size 23957
@ts 1539336547
lib/coq/theories/Classes/SetoidDec.vo
@sha gRSVZQoUFhyKIcBVvJS5YNoX1UyC2o39jQpl7F52c+0=
@size 68274
@ts 1539336547
lib/coq/theories/Classes/SetoidTactics.vo
@sha IYa2AsMrNZDGRygBFxCw/QjQAnWhnU0YYl+8nRtM/9o=
@size 15172
@ts 1539336547
lib/coq/theories/FSets/
lib/coq/theories/FSets/FMapAVL.vo
@sha jJYVOl/13q2HEsOTxJqR5005uSX5ihVsGmxlVfZO0ss=
@size 10286862
@ts 1539336536
lib/coq/theories/FSets/FMapFacts.vo
@sha VOQT8OzGojxqF6er7/MM3S2k5BqPeXxiNNbPkM6CltY=
@size 863486
@ts 1539336536
lib/coq/theories/FSets/FMapFullAVL.vo
@sha FA2AQW15jY7Rv9cPWfBxmsYG1lvFg0TDL5n+6pI1EY4=
@size 8628388
@ts 1539336536
lib/coq/theories/FSets/FMapInterface.vo
@sha h1MLsgoVfGkrnV47mt1DVOcb/NMRhF3LOED+GZ4Ys04=
@size 108671
@ts 1539336536
lib/coq/theories/FSets/FMapList.vo
@sha jyHtnRXOGZniLaulZRPEeUz5eVoZhNKyIfm3QuUGq1U=
@size 1200756
@ts 1539336536
lib/coq/theories/FSets/FMapPositive.vo
@sha N/O6X6Av9ndq09FoohJ8J9D13ZUSQtI/dtJYiyOU3zQ=
@size 274938
@ts 1539336536
lib/coq/theories/FSets/FMapWeakList.vo
@sha 0jD4uMLOvvdv8sI9nw5ENny2sHSmP9Itbr07R6S1miI=
@size 395179
@ts 1539336536
lib/coq/theories/FSets/FMaps.vo
@sha kTL2gqfNINoXOxxLylrJjPYV/mEHUAQ5TNIXKFH6KeE=
@size 15116
@ts 1539336536
lib/coq/theories/FSets/FSetAVL.vo
@sha pr0xjeivcfkSaiO1WkY44HQeufWSgR1AatcAl5SFUss=
@size 1749442
@ts 1539336536
lib/coq/theories/FSets/FSetBridge.vo
@sha GQouyXUoynXa/WiIRwu2jG3zlQ2i+HkBMXtXsanMiNw=
@size 190507
@ts 1539336536
lib/coq/theories/FSets/FSetCompat.vo
@sha zNZRWfEzu3+lbpVEoFZjxNKnYc0CTSBSBU1hNAMv7sM=
@size 424417
@ts 1539336536
lib/coq/theories/FSets/FSetDecide.vo
@sha iWjM0pUIDVSwoE5KPR6QRvt1jBLBNVqlG21E1X2Dzs8=
@size 335509
@ts 1539336536
lib/coq/theories/FSets/FSetEqProperties.vo
@sha MTwHt2zrqir+TjQQhTFVgC8zNpylMz9jpAl4XWxTNBc=
@size 948924
@ts 1539336536
lib/coq/theories/FSets/FSetFacts.vo
@sha dRPGxFpCDaJwqWVVZYCs4L1BROpyTZHFEzeGAnlr1nY=
@size 164806
@ts 1539336536
lib/coq/theories/FSets/FSetInterface.vo
@sha DBQu/XzV/niMuEPClXIRpbmrc4BXLLNznbSt1avYcc8=
@size 127312
@ts 1539336536
lib/coq/theories/FSets/FSetList.vo
@sha 7fPZJFIKJbOopbUZRrzWZmpOOSiT9rSDPL9zt5QHhvg=
@size 647591
@ts 1539336536
lib/coq/theories/FSets/FSetPositive.vo
@sha f4Pu9021TdisbPB8twczvyz6ybGS+E6n/el/l6tqzL8=
@size 190683
@ts 1539336536
lib/coq/theories/FSets/FSetProperties.vo
@sha Bp7X7PK19en0VK/l1Z55mZcPEhN31kSySXtm1A2dWi0=
@size 1029399
@ts 1539336536
lib/coq/theories/FSets/FSetToFiniteSet.vo
@sha 0dQ3Vx9llognHMITq6/6bLZaY7MOyt1qPme630hr/7E=
@size 664529
@ts 1539336536
lib/coq/theories/FSets/FSetWeakList.vo
@sha 1o9j2HOtSIuSe05A0sptANARIvIRJ9vCN3mi5Hj6p2o=
@size 303409
@ts 1539336537
lib/coq/theories/FSets/FSets.vo
@sha kg3vENvTugXrv8iu8Jv10q8GT81id6VJ6NUkyRP8GWs=
@size 16030
@ts 1539336536
lib/coq/theories/Init/
lib/coq/theories/Init/Datatypes.vo
@sha WWEo4ogWP36H4GZw9VkM55DZ1l6j+O8+ck++SnS7C20=
@size 58424
@ts 1539336528
lib/coq/theories/Init/Logic.vo
@sha Lne6BvbMUNmrIAPuyuf4zidDYZbw4e6D4rLlFLzhmIA=
@size 54740
@ts 1539336529
lib/coq/theories/Init/Logic_Type.vo
@sha /AGpzVjvc9Pk5mQ4OH+yy8L61kHyhrRih42bD0SxwNk=
@size 6292
@ts 1539336529
lib/coq/theories/Init/Notations.vo
@sha Amx/MyWWgQkba8TWaQEpo/XrO3Jl3CP3zlb1LJCGDHk=
@size 4678
@ts 1539336529
lib/coq/theories/Init/Peano.vo
@sha IGigEHaEG9ZfvAFOM9CqgBfqop5/dR/MzcbABVLI0Wo=
@size 27279
@ts 1539336529
lib/coq/theories/Init/Prelude.vo
@sha NjFwdNOVcaG7QjPI5ns4PZuvEXFYrTYCvl8jocEnOac=
@size 761
@ts 1539336529
lib/coq/theories/Init/Specif.vo
@sha cMB6+nQ7sI6sZp11C6bYvaw7fof2UxZOYVSe7V6QmrQ=
@size 32838
@ts 1539336529
lib/coq/theories/Init/Tactics.vo
@sha OTTjMUcWTR0LUiR8DD67RSB973B82Ym6IvRJZUV0Du8=
@size 12935
@ts 1539336529
lib/coq/theories/Init/Wf.vo
@sha tyh0y5KPWSGobhY/69A1FSrkaD9iB14+S8JrXpN/lKo=
@size 21833
@ts 1539336529
lib/coq/theories/Lists/
lib/coq/theories/Lists/List.vo
@sha ASb+hGyoZ0L9la+fwC0KGEik2o66Db93a2TjJWzOdwk=
@size 244360
@ts 1539336534
lib/coq/theories/Lists/ListSet.vo
@sha 0eOC87ZamaxsAvz3K47hQ1yoYJ3KEajfQyJ8Tp4jp5g=
@size 41550
@ts 1539336534
lib/coq/theories/Lists/ListTactics.vo
@sha M1xpzX+/2woyrG1XfGcVVYoy9y1EmEAkY1zoD7RUV0Q=
@size 8199
@ts 1539336534
lib/coq/theories/Lists/SetoidList.vo
@sha Cq826Rf4fENWRcba1Es2L9aTNlptalRuZglayMgd+7s=
@size 214618
@ts 1539336534
lib/coq/theories/Lists/SetoidPermutation.vo
@sha CGJDUakdnmZYqnme9tXZY6EZZPi6TfxDE4+o7lpDm8U=
@size 27544
@ts 1539336534
lib/coq/theories/Lists/StreamMemo.vo
@sha 8mQoeJT1qfVAHxyGt9flzOt0rSZ6BYRPpGYNiKDmaH4=
@size 17565
@ts 1539336534
lib/coq/theories/Lists/Streams.vo
@sha 4UU+9+OWli09Ng31IyUBN9lcSdfNzpV6fmOYPqXcH40=
@size 25252
@ts 1539336534
lib/coq/theories/Logic/
lib/coq/theories/Logic/Berardi.vo
@sha 2/N8q2Lp5+yL14gylFyzFEw7BCvXTdYdsgzrMAUGffQ=
@size 20044
@ts 1539336529
lib/coq/theories/Logic/ChoiceFacts.vo
@sha 640Cy0TEl5Rpo/NO9kN+XW4UDiAh2+ahRkdnOPGaxCs=
@size 76802
@ts 1539336529
lib/coq/theories/Logic/Classical.vo
@sha Y9B0zWjt+Jl4e/TlfozF6Mh0BTejq2/YHSNe8BIR4mU=
@size 864
@ts 1539336529
lib/coq/theories/Logic/ClassicalChoice.vo
@sha Aecky4mDDQPWBmzZ0JuSb5+87BY7LZ2uixBnHu5/S3A=
@size 15996
@ts 1539336529
lib/coq/theories/Logic/ClassicalDescription.vo
@sha +/P/Wb2777IyOC2QsmzyKh3VNyISmYafhNK4B6eWg4Q=
@size 19378
@ts 1539336529
lib/coq/theories/Logic/ClassicalEpsilon.vo
@sha 5AQ7vy2k+bgdLDwSUoD+cEU4TwZJZ2C1HKacW+Ye4dE=
@size 22535
@ts 1539336529
lib/coq/theories/Logic/ClassicalFacts.vo
@sha AWSjmeYUuSjq7c3REJ1p4aFcuWFBBGewo9mnRRZg/rY=
@size 44040
@ts 1539336529
lib/coq/theories/Logic/ClassicalUniqueChoice.vo
@sha z1LjftzXI5OqmVcXGVyl2xUDtOvJiQXI0SMbSyR2CnA=
@size 6042
@ts 1539336529
lib/coq/theories/Logic/Classical_Pred_Set.vo
@sha M4vmc6C16xWkkbICZ9WRygkB/YMT5T/t8k1E4gJzwlQ=
@size 4022
@ts 1539336529
lib/coq/theories/Logic/Classical_Pred_Type.vo
@sha Wifva3ffuBhCyAh3Op53xWqjXVeaAujGzqkg0HHw6hc=
@size 4427
@ts 1539336529
lib/coq/theories/Logic/Classical_Prop.vo
@sha oVk8IKLrfxljtQUxfADCmC2mb0Csgqffg06aS8dNRtM=
@size 10918
@ts 1539336529
lib/coq/theories/Logic/Classical_Type.vo
@sha akJm8oFOXiWb1ifuOlBsZkX1/0+cv7FvrIvAmdz5kQ8=
@size 869
@ts 1539336529
lib/coq/theories/Logic/ConstructiveEpsilon.vo
@sha PN7lhEOnZeE//Kf44m5Xt9rKosBNBK6Gzp5Dy+lRVnI=
@size 34467
@ts 1539336530
lib/coq/theories/Logic/Decidable.vo
@sha qOEZxabmF3FLq7jVwfpIWbZ3AITQr4sj3NAXYBcxQr4=
@size 16494
@ts 1539336530
lib/coq/theories/Logic/Description.vo
@sha 8Yoig+JVM/mXz8dXWwbEXLHMeQkOx8PgaPr+8g5hxpo=
@size 12467
@ts 1539336530
lib/coq/theories/Logic/Diaconescu.vo
@sha wc78XER+OWeJNHVXyRaElAk4gf0AHP3zEOWc6FHbw8w=
@size 34893
@ts 1539336530
lib/coq/theories/Logic/Epsilon.vo
@sha iO77h6Yciq+RGjtyvdFKLv4dAm4WoeGat3nR1h82lKc=
@size 18593
@ts 1539336530
lib/coq/theories/Logic/Eqdep.vo
@sha eZ7UcGF9xYNHfhWJUorlUDDZqT1oKhJHbV5x9B0VE/k=
@size 4334
@ts 1539336530
lib/coq/theories/Logic/EqdepFacts.vo
@sha ZKCkQbWmEjdg0WGQ8m9M329L36PD6Z69plc3iJACer8=
@size 40958
@ts 1539336530
lib/coq/theories/Logic/Eqdep_dec.vo
@sha 5mVpfAZCkDQMMkQkB2EE7UF+R6lZ1EtS6KGlkLbuZEw=
@size 24518
@ts 1539336530
lib/coq/theories/Logic/ExtensionalityFacts.vo
@sha ge/yNrZoh/Yukx1LjK3FDfO7ORjgplnMd6VT6RMlyK4=
@size 21287
@ts 1539336530
lib/coq/theories/Logic/FunctionalExtensionality.vo
@sha bkCgNu+WzFHUexB8s6BhvxF7qtptBLsJ/7SyCS01NSg=
@size 5036
@ts 1539336530
lib/coq/theories/Logic/Hurkens.vo
@sha EpBzoAiMPsVAq9IBICN/wK8sCtxBVNtDQ1YPL6LEzCU=
@size 8363
@ts 1539336530
lib/coq/theories/Logic/IndefiniteDescription.vo
@sha F4+3LGCFfAio7RnLdhj1EPCevkVBFPv08kU2SRPr9eM=
@size 14364
@ts 1539336530
lib/coq/theories/Logic/JMeq.vo
@sha fSTY8L+yPcJiwMVeeGhNgYu6Mc+wBD4nh219FwiQHzQ=
@size 13518
@ts 1539336530
lib/coq/theories/Logic/ProofIrrelevance.vo
@sha JyPDC4krzdppa1eA2P/QNkHM8/3HkjZSEwxtbddP7JM=
@size 7424
@ts 1539336530
lib/coq/theories/Logic/ProofIrrelevanceFacts.vo
@sha vBrCJqZBga7osD+x9oT1OJGncIr3GCLJqWkwnLh0trk=
@size 6474
@ts 1539336530
lib/coq/theories/Logic/RelationalChoice.vo
@sha mrAZlkNx/9O0/gl4Zi82Npr5Id1WzFyXMR9b6bC8ePk=
@size 2195
@ts 1539336530
lib/coq/theories/Logic/SetIsType.vo
@sha OaiONQAL4qKocbSZWWN47IX4v5QaKg//xvXNRn1bgNQ=
@size 694
@ts 1539336530
lib/coq/theories/MSets/
lib/coq/theories/MSets/MSetAVL.vo
@sha QHYfEK3I4NaRxjzI+4ciCiCNiFvlplbuzAXaEA2LJcw=
@size 1622251
@ts 1539336537
lib/coq/theories/MSets/MSetDecide.vo
@sha eTUpYnE3ZNtGzh6It4bfz1SoU+1rJig+16DZHGJm6Yc=
@size 372198
@ts 1539336537
lib/coq/theories/MSets/MSetEqProperties.vo
@sha eUzQt8eILBO+d+9uzgkF0zZqm6s/PgRBwtLec3hoSYU=
@size 1056398
@ts 1539336537
lib/coq/theories/MSets/MSetFacts.vo
@sha ltsfjX1+WyZhJJKDpMQtk5+wVi6vpUveTTf4Z4PCeuo=
@size 189204
@ts 1539336537
lib/coq/theories/MSets/MSetGenTree.vo
@sha UHL5tgzf+NICpBLT/zLncOm/GP3AxVUeANTh7r479dw=
@size 418749
@ts 1539336537
lib/coq/theories/MSets/MSetInterface.vo
@sha 2Wt+Kd9BCelYmTHKYNQ7vSn4SHunAtzSJr+wNfqdOYM=
@size 435858
@ts 1539336537
lib/coq/theories/MSets/MSetList.vo
@sha 0o5mpfI7feElhWAt8ygipeKmPZNS4+SGNEQTU2NCPIg=
@size 823929
@ts 1539336537
lib/coq/theories/MSets/MSetPositive.vo
@sha dJxJyuyDHa2F/KUNMakxcyg3XSySghccp4CcYMS3Yac=
@size 180345
@ts 1539336537
lib/coq/theories/MSets/MSetProperties.vo
@sha xbeJIffU2RuYQaZZw25fi7VO3bX+u/HzH889AgzbS8E=
@size 1182390
@ts 1539336537
lib/coq/theories/MSets/MSetRBT.vo
@sha uyfVIKLL5srYS28tOu7AkEYr8dH/TmTwyB4JEh+58F8=
@size 1490191
@ts 1539336537
lib/coq/theories/MSets/MSetToFiniteSet.vo
@sha CyNNa0PztJaJ5QpengTiUjrHb5b+mbTLYV5x3krDmOY=
@size 766388
@ts 1539336537
lib/coq/theories/MSets/MSetWeakList.vo
@sha PbibbxknAHKhXeE8XvNzAPOs0lHQoF3PSaQJTFEY2JU=
@size 154617
@ts 1539336537
lib/coq/theories/MSets/MSets.vo
@sha bo0TqUW9U61AmxCFmqrZt1ebMheo0pxoLjmyUet8R80=
@size 25739
@ts 1539336537
lib/coq/theories/NArith/
lib/coq/theories/NArith/BinNat.vo
@sha wO7HooplKDxvETl/EqkwHpVvtrNk6AQuuUPbjboPTLk=
@size 1572242
@ts 1539336532
lib/coq/theories/NArith/BinNatDef.vo
@sha NwMgZQmCI6onboTDLw4RjQB1USp8BI5ip6VraKLk0L0=
@size 30341
@ts 1539336532
lib/coq/theories/NArith/NArith.vo
@sha ewBmUvewEmkCf61bGVzoHx58m4rouRUMi3H60Q0bP5s=
@size 13444
@ts 1539336532
lib/coq/theories/NArith/Ndec.vo
@sha HV9yjpLYYbs5jl3MK2XFyPp0zFujADi2NM/lyrWkGX4=
@size 50562
@ts 1539336532
lib/coq/theories/NArith/Ndigits.vo
@sha UToLtmpdA15Wgo6G1gSVBW00TqKo6TpOK/RYaOtogJc=
@size 79494
@ts 1539336532
lib/coq/theories/NArith/Ndist.vo
@sha cnX1ZY6/Rzp64NLQ2nICHjwqmYuSbgH8pK8EvRejjOk=
@size 44199
@ts 1539336532
lib/coq/theories/NArith/Ndiv_def.vo
@sha PJ/eQa9AzFt4dR0rarpET0OIEEfyb65z3vYpI8GSXUo=
@size 9370
@ts 1539336532
lib/coq/theories/NArith/Ngcd_def.vo
@sha KNqZ4GzNA4wmOhPRj52UIsUHCMLENOUlclRfOI3APP8=
@size 7014
@ts 1539336532
lib/coq/theories/NArith/Nnat.vo
@sha r2gGGN4gZOX19ybCeOjYBhl6vaFiGqUHUAnZVoGCsSU=
@size 25966
@ts 1539336532
lib/coq/theories/NArith/Nsqrt_def.vo
@sha vaqRB5QN5cMfzOfgapswW2m4vb3Pjtq2XlmVVRkEolM=
@size 6907
@ts 1539336532
lib/coq/theories/Numbers/
lib/coq/theories/Numbers/BigNumPrelude.vo
@sha dWkYDb9XmIZLaUXHhnrjmvQtGdr2APBHGtBZJPBtJ5U=
@size 177484
@ts 1539336542
lib/coq/theories/Numbers/BinNums.vo
@sha LH+Rtk38PXum6Wfpg7kcNcHRQ4djO/JYziWqhbI7IyY=
@size 7361
@ts 1539336541
lib/coq/theories/Numbers/Cyclic/
lib/coq/theories/Numbers/Cyclic/Abstract/
lib/coq/theories/Numbers/Cyclic/Abstract/CyclicAxioms.vo
@sha gzKZ2w7xC3USKeS79Dzpzzjo9DdJGuLl6m7YZLGI9XM=
@size 161429
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/Abstract/NZCyclic.vo
@sha m0wLEjp2qO3GidSzLA6TC4Gqn2Jw4kWk1xoOGwbShH0=
@size 76566
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleAdd.vo
@sha QgrNrGCKcCnz4LU+e9wjPMBfOtAtIPL63VRGLDSMHZg=
@size 80409
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleBase.vo
@sha MyYZq5/DChuROG0nn9XirOvxRt4xz53KOxSiY4/B8Bo=
@size 98630
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleCyclic.vo
@sha i3x/9s6M1owIBcT5RQLKpMxlAxb3WeDkUiFUwGCWW6Q=
@size 539104
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleDiv.vo
@sha 6PMyDnhnTwiW8S7vpFeQuPqN7V2kjaKAMWC02xiO5G4=
@size 1285911
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleDivn1.vo
@sha 7Jh1UO8gbm4aFz3p92popFP7k/TRsdz3cTkokoW+juo=
@size 438147
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleLift.vo
@sha LZrnY+GpGRZBHCT+nysykSQxn1g9SjTc/NN9yp8oUMo=
@size 434374
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleMul.vo
@sha +IS7g48+q1eg+MjbdNCDkMYI2qhMTvw3WV9EK6OF20E=
@size 507594
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleSqrt.vo
@sha Yx7/N73dD03be5AYnr+87wvCBJ1Gtdzwyt1m4qTq1bo=
@size 1204066
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleSub.vo
@sha pYOtaNkhOAltHZHiij1PDgiwdIMIan5wX3fMOlC3j6Q=
@size 98511
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleType.vo
@sha a7gdd9dIChlkJYwhEUfli8CivlxUI8RfG2wVqFXEiec=
@size 19737
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/Int31/
lib/coq/theories/Numbers/Cyclic/Int31/Cyclic31.vo
@sha Fu1TVaZMmCnVi0GcgEkFvFSGxe7j5o3Gy+jwqnI/2nk=
@size 979227
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/Int31/Int31.vo
@sha 6eYiHovNmgoSF7lBYfxp/yUh9Th3iL01TB5Vlxmh+N0=
@size 62547
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/Int31/Ring31.vo
@sha xhVahmx8l7uWBP7DWKCORvrCDDv+39BHgeYcNMoJcv0=
@size 100441
@ts 1539336542
lib/coq/theories/Numbers/Cyclic/ZModulo/
lib/coq/theories/Numbers/Cyclic/ZModulo/ZModulo.vo
@sha NChc5GASmFeET+HGemxwgGi6JVf+dKv4Yz/5tvLJ2PQ=
@size 268967
@ts 1539336542
lib/coq/theories/Numbers/Integer/
lib/coq/theories/Numbers/Integer/Abstract/
lib/coq/theories/Numbers/Integer/Abstract/ZAdd.vo
@sha 6xG+3cca6PrMnwY8OnBd7Hh47FAqP/BGuVDQ5yTEx5Q=
@size 309621
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZAddOrder.vo
@sha eMfpMLFJ83RcdyAFXV1jiuCX11e9MTnweEVwLMkgcms=
@size 381890
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZAxioms.vo
@sha ESjN1FW2/p2NwyittfqLoJHpPVCMk4K+rJUNCvh1ARM=
@size 178850
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZBase.vo
@sha jkR35wkdyAu6DcNTPpHnDbKgsOmJ6z5AzkNtrmn1XoQ=
@size 267147
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZBits.vo
@sha 8B+0viiO9y04BuKZULr60GNuCpuGWNKtRAzsoJHnDpU=
@size 992202
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZDivEucl.vo
@sha 04uDetGqHaYVkn1Q06JPPSZ0FuiojXB/HHxgxLAsnMo=
@size 587412
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZDivFloor.vo
@sha T6Vin1IpHh4833QwSFYrDsRDz3hDKHcJmzkg2Ix6Pto=
@size 539742
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZDivTrunc.vo
@sha ze6ibNAafOk5MgRRuWHinzBFlGMx+hwYqextWuCIhTE=
@size 553393
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZGcd.vo
@sha +ZN9p4HDBoDiF0B9/reuS07nfe07b1GFMoHpkpM4yro=
@size 473471
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZLcm.vo
@sha p14z5+yVa0xynsGOk/uwW4CsZuvRLR1gRLjUDVGDYf4=
@size 809008
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZLt.vo
@sha d7MamiLeiN01rQ+eUcjc679z/+oPAqYBrsansrc0s7s=
@size 343541
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZMaxMin.vo
@sha leBHr3eGOG95urrNvZiQXXzz8BRCWn0Dr2KFOVog+6A=
@size 454553
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZMul.vo
@sha ZYzbEfErpIeLRlc2G4+fWz7vXH63uggZ7uHOgJCBUQI=
@size 326752
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZMulOrder.vo
@sha O7/9Ld7BXWgCJcEW+Q7jloOV73c4Wo/tqbVN7j4ZBfs=
@size 424321
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZParity.vo
@sha HOiZZAb0PUMB6UpILM6Ic3oNoQdcGoVt2zmajwTdd08=
@size 413420
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZPow.vo
@sha RyAoSWQkaaognfpNUK9pRn9IUd61xINwBk0z2t8XJ1c=
@size 540674
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZProperties.vo
@sha VIc9vHDaZFYOXlFraytFIhQbSsGxElaSpLpHutEfvzE=
@size 1744502
@ts 1539336543
lib/coq/theories/Numbers/Integer/Abstract/ZSgnAbs.vo
@sha sY4XmZZezHGi2YsHGgj8UR+8Z9a/lhIX5UfTzcRWyuo=
@size 582264
@ts 1539336543
lib/coq/theories/Numbers/Integer/BigZ/
lib/coq/theories/Numbers/Integer/BigZ/BigZ.vo
@sha s7fplmrGFdMsuw0n4hmnABWc3Ip7NtbiSNPtdVeQXBw=
@size 2279789
@ts 1539336544
lib/coq/theories/Numbers/Integer/BigZ/ZMake.vo
@sha 1kYom44afXCwC3AR5Gn6qnXzH/36QD2ljF2JEKmjsq8=
@size 167807
@ts 1539336544
lib/coq/theories/Numbers/Integer/Binary/
lib/coq/theories/Numbers/Integer/Binary/ZBinary.vo
@sha F24oZOeqvSpRMgqpsI6KHOSTCKKnWpskjacR6kZ/pIw=
@size 899640
@ts 1539336544
lib/coq/theories/Numbers/Integer/NatPairs/
lib/coq/theories/Numbers/Integer/NatPairs/ZNatPairs.vo
@sha JjMp1tkH/pZwUEYRj/qR/V3cMJG4akgCds0ru6IPyTw=
@size 470829
@ts 1539336544
lib/coq/theories/Numbers/Integer/SpecViaZ/
lib/coq/theories/Numbers/Integer/SpecViaZ/ZSig.vo
@sha 8IjEcu0EQWr8DUD/P4Pyxvm1ZnIP5QcuWUrjg60B8Mo=
@size 50074
@ts 1539336544
lib/coq/theories/Numbers/Integer/SpecViaZ/ZSigZAxioms.vo
@sha yg/3ghYrvE5+MTEuNW6AurHxBRB085yeWzRfTj/PhZw=
@size 254176
@ts 1539336544
lib/coq/theories/Numbers/NaryFunctions.vo
@sha KkOfbccycoexs2ae8z9URg8dR/FiVhbgdkekWw4bJjQ=
@size 18506
@ts 1539336544
lib/coq/theories/Numbers/NatInt/
lib/coq/theories/Numbers/NatInt/NZAdd.vo
@sha m98oONthGeyuEpDSW4hEy7/FxRU6Id3PEqx6k0NYkrA=
@size 26697
@ts 1539336544
lib/coq/theories/Numbers/NatInt/NZAddOrder.vo
@sha 9A9S4gGiE0JvorUh+jf8eTgBokhcKan7/uV9KkBIfGo=
@size 180070
@ts 1539336544
lib/coq/theories/Numbers/NatInt/NZAxioms.vo
@sha SDe+A+B7U035pKg4BEbP1y4tjAkj/gE57nKewRO91oc=
@size 135712
@ts 1539336544
lib/coq/theories/Numbers/NatInt/NZBase.vo
@sha Z74skr5KBx8UcnHuj3Q63y5L7+55hL1+RVT7a0k8k24=
@size 10799
@ts 1539336544
lib/coq/theories/Numbers/NatInt/NZBits.vo
@sha yVN6cUMWz+sDmSv/P2InIDZn+/TOGF/29KVA22Kqh6w=
@size 38467
@ts 1539336545
lib/coq/theories/Numbers/NatInt/NZDiv.vo
@sha RBitaW9h/PPR2VXMm6Kv2bxvG83iL9jhJiQDDR2aJ+Q=
@size 271188
@ts 1539336544
lib/coq/theories/Numbers/NatInt/NZDomain.vo
@sha 8GPgx21Lb6KEMpoBPtKzEYECuZG94H8PHWHEoTJquRI=
@size 157433
@ts 1539336544
lib/coq/theories/Numbers/NatInt/NZGcd.vo
@sha F35C35qFTP5aGIzUQnAGx+wJVA/HGl7fi3jPO6BkxhA=
@size 245588
@ts 1539336545
lib/coq/theories/Numbers/NatInt/NZLog.vo
@sha m72gmR0nSHOe+jSKlQORQkf7e+/rJnd4CkWaoftrqXQ=
@size 445242
@ts 1539336545
lib/coq/theories/Numbers/NatInt/NZMul.vo
@sha LBn+bH9KTUFEntR2GS+F6iQ48EdCjASmFPIGYyCYvm8=
@size 50495
@ts 1539336544
lib/coq/theories/Numbers/NatInt/NZMulOrder.vo
@sha 7Thmjgf1U6sXKIp/uc9kTEny5nKbogJNMYP0tjr0IKo=
@size 249817
@ts 1539336544
lib/coq/theories/Numbers/NatInt/NZOrder.vo
@sha Bgw4dTzPlbydwAdw0wVHCNVggwYwzrAYs+9/7JhH5AY=
@size 166407
@ts 1539336544
lib/coq/theories/Numbers/NatInt/NZParity.vo
@sha +8Dsz7vLYhFDx4a1/GN6N2kN0qwFdb/rdWxtv6/wAfc=
@size 241214
@ts 1539336544
lib/coq/theories/Numbers/NatInt/NZPow.vo
@sha 9vRa2c8oYz1PYSRghO9i9OKD9VW9YW4mgTLU8QjMnVY=
@size 273752
@ts 1539336544
lib/coq/theories/Numbers/NatInt/NZProperties.vo
@sha o0P86UEMLIEh1jN0e5/G3rGMrpLD3SfYAKd7ygx1aZA=
@size 253380
@ts 1539336544
lib/coq/theories/Numbers/NatInt/NZSqrt.vo
@sha ti9joxo42dklIZR/8VrnYJu8TnBUo5aqVpskLOXxiGQ=
@size 338982
@ts 1539336545
lib/coq/theories/Numbers/Natural/
lib/coq/theories/Numbers/Natural/Abstract/
lib/coq/theories/Numbers/Natural/Abstract/NAdd.vo
@sha W6XdBycfhhxbqVFsRoVtdWjjgoXvoacn7gXE6+GEoko=
@size 298816
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NAddOrder.vo
@sha 3nmdFD0CkcuXdvRS9+7wS0nTjTJH5actMXbrW3RflUs=
@size 343706
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NAxioms.vo
@sha ayvpIfoKZEOMKzqQtl+1qkqXoTCeqtiZIoWT376SXCg=
@size 194916
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NBase.vo
@sha u49QLwX974aLuCe0V3Pma67teKeAvwI0FNTfpUbOBcA=
@size 278137
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NBits.vo
@sha ZoOmceeDoam0EvabHIRMX0Hfs6wCZCu5CFCepFN1O90=
@size 866436
@ts 1539336546
lib/coq/theories/Numbers/Natural/Abstract/NDefOps.vo
@sha /5Vty/1PxRfYwmgthozRd2/kILwdXhVPzJGG7YZwB84=
@size 501253
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NDiv.vo
@sha WUiahJ3Xquebiu01hhgkkjfdcm9lzHswQkaMxlLNsKE=
@size 428632
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NGcd.vo
@sha qN/5J+dQTDRmJC0/cGLPczhKKkmETjBFRpERbNN/174=
@size 416801
@ts 1539336546
lib/coq/theories/Numbers/Natural/Abstract/NIso.vo
@sha +FZwqgMlAE2KrbHegjzrYvauMyacRXb+IlrOMWc8wMs=
@size 554580
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NLcm.vo
@sha PIRDQUrEfdvFVw20uJKd5TucsuKYkpr52+a0Z725n9g=
@size 517770
@ts 1539336546
lib/coq/theories/Numbers/Natural/Abstract/NLog.vo
@sha DFfWwchJRvbUU1UvEQzQZ/TjjofJCOMhOIS1ZJOO6YQ=
@size 612771
@ts 1539336546
lib/coq/theories/Numbers/Natural/Abstract/NMaxMin.vo
@sha TCEaWKYbkstsdTzUHiOaCa1f7nPtDWKjRQoofjjutzI=
@size 429154
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NMulOrder.vo
@sha +11xNNLJ3Rnmh4Na+oGER7/vKhBoYqJVc35uYI0zC4w=
@size 356889
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NOrder.vo
@sha IjuHsx7KpROCCbu4ie58IJOtbqdFHqKoSn1TCSURM9s=
@size 331129
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NParity.vo
@sha ta59baCS+Rz6C2pmeRQjGzvpzcCba+iF+WK6xslUC0g=
@size 406981
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NPow.vo
@sha MfUbYwCfw00q8jYwekQPfrpWfLG+YmrCc5nRVvP+KWM=
@size 487415
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NProperties.vo
@sha WCxizLs5SULhoMZ9Vn4ROOWizMqPIEL+bBFc0aeE7RM=
@size 1312156
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NSqrt.vo
@sha mOPc0SBj5RCIQmyYKgSiPYvbpbxmjW2XRl3BnsEbl4E=
@size 440299
@ts 1539336546
lib/coq/theories/Numbers/Natural/Abstract/NStrongRec.vo
@sha XfGfqjYaX5/XLmXpMeVJlIX0CliPV0aBQCfQMjdJKWs=
@size 435285
@ts 1539336545
lib/coq/theories/Numbers/Natural/Abstract/NSub.vo
@sha KRFWscx4AFOmQ1KNazc2G2ztdeuhLM/psWBuaS3Fu+U=
@size 405463
@ts 1539336545
lib/coq/theories/Numbers/Natural/BigN/
lib/coq/theories/Numbers/Natural/BigN/BigN.vo
@sha RD5uW6S8RY/Gt0Bs/vHEFiWQ66gM1rqvHKCr3u6NtO0=
@size 2508071
@ts 1539336546
lib/coq/theories/Numbers/Natural/BigN/NMake.vo
@sha lOj89Ui5VHNi80XRwbEeDB1nW2UAMu+LAysISUqStec=
@size 726892
@ts 1539336546
lib/coq/theories/Numbers/Natural/BigN/NMake_gen.vo
@sha 0QayOjjg4kXYgmWy8gFEJ9V0cH52TafJMUmzicPV3ng=
@size 249427
@ts 1539336546
lib/coq/theories/Numbers/Natural/BigN/Nbasic.vo
@sha Ftid+g+nlQ3qTocU6ccI0LCGaudzKtEyawL1xDbYIFs=
@size 109101
@ts 1539336546
lib/coq/theories/Numbers/Natural/Binary/
lib/coq/theories/Numbers/Natural/Binary/NBinary.vo
@sha DYVcIfs7WIW7fRAYj7L4yreifXIkYaZCp9SZx5BPnFA=
@size 720745
@ts 1539336546
lib/coq/theories/Numbers/Natural/Peano/
lib/coq/theories/Numbers/Natural/Peano/NPeano.vo
@sha qd+Ao3F66yCuysAsdUjCVmeFFqv89yHFQW70tsLgJzw=
@size 1440370
@ts 1539336546
lib/coq/theories/Numbers/Natural/SpecViaZ/
lib/coq/theories/Numbers/Natural/SpecViaZ/NSig.vo
@sha 4rryz8aMDqpXadgxFQRGzMQVmXNxMSBTwaIohTx3y/M=
@size 45779
@ts 1539336546
lib/coq/theories/Numbers/Natural/SpecViaZ/NSigNAxioms.vo
@sha tm4YjAtrTHdMFJAmY4A8ddHulaUQFcuijHpK8DatrgI=
@size 241086
@ts 1539336546
lib/coq/theories/Numbers/NumPrelude.vo
@sha F6RK3UMdfZ/DlTy19t85nTvpH/QEMFJdItGF0LEgCko=
@size 1381
@ts 1539336546
lib/coq/theories/Numbers/Rational/
lib/coq/theories/Numbers/Rational/BigQ/
lib/coq/theories/Numbers/Rational/BigQ/BigQ.vo
@sha yEXnqluoG5ceA5SehCI/hYRWuC+7+vX77FJuSie4afM=
@size 549086
@ts 1539336546
lib/coq/theories/Numbers/Rational/BigQ/QMake.vo
@sha CM+45Yp77gyzYLo8n+6d3DrShB2A56yQ5saWTquHP64=
@size 287305
@ts 1539336546
lib/coq/theories/Numbers/Rational/SpecViaQ/
lib/coq/theories/Numbers/Rational/SpecViaQ/QSig.vo
@sha uABtz4XGK0syP2gCzfKKi3neTzUq9u8eeaU6wWAZjGQ=
@size 149845
@ts 1539336546
lib/coq/theories/PArith/
lib/coq/theories/PArith/BinPos.vo
@sha swVFCNHsITgiB20vzaZRNTHdEHX7NJs+vbjRyUUIT4E=
@size 421868
@ts 1539336532
lib/coq/theories/PArith/BinPosDef.vo
@sha yQhWv1KP5uGtwULd4LVoCAdnWjpsokeOv19mGN1nfiY=
@size 49559
@ts 1539336532
lib/coq/theories/PArith/PArith.vo
@sha CtlJanBWZrFe2sdjOhuAsfxe4USO4X3WXQAz8ue8pBU=
@size 6550
@ts 1539336532
lib/coq/theories/PArith/POrderedType.vo
@sha zbWbRn5KHOuQfzxQcNT9wDe1bviGskwcuWroKD7Cphc=
@size 430049
@ts 1539336532
lib/coq/theories/PArith/Pnat.vo
@sha MvFvYZ35qVzdhXKX0Tu/sIGM0Prz5dn3x5cJRtF6vpU=
@size 38573
@ts 1539336532
lib/coq/theories/Program/
lib/coq/theories/Program/Basics.vo
@sha 2aN7G9CGAbXkdp3NKDkggf8PiRjKG9T3kLLgsMlVYd8=
@size 3549
@ts 1539336547
lib/coq/theories/Program/Combinators.vo
@sha KCWKKqvycNQE2ERDlk7B/VkYzvyau4dNtY4t88BwJnc=
@size 9010
@ts 1539336547
lib/coq/theories/Program/Equality.vo
@sha PFGkJ2dNcPdbIfwQcjWqSANCSGitX2PUl8Eg3jSw9KM=
@size 38808
@ts 1539336547
lib/coq/theories/Program/Program.vo
@sha W5KQvEIPHobOFdAOZz7gb0PtTVSd8D1VuILq4w7z344=
@size 4248
@ts 1539336547
lib/coq/theories/Program/Subset.vo
@sha i4KhxJgQFZpAFrdzljxS4QnHTXKzBleoq0jYgICPoRU=
@size 9709
@ts 1539336547
lib/coq/theories/Program/Syntax.vo
@sha zZ1e5QU7ovXEREERW4KcmsN1T7yop7PEdLLO/7Fs2K8=
@size 5415
@ts 1539336547
lib/coq/theories/Program/Tactics.vo
@sha tL/8fGgXEKQVySwPKQDlygPFXvO1Wsqrl+NI45V/tFU=
@size 22577
@ts 1539336547
lib/coq/theories/Program/Utils.vo
@sha DGzQEpBZO8Mlok2RF2GJM1xh2yH5JIxj8jgIZ1X1nos=
@size 1874
@ts 1539336547
lib/coq/theories/Program/Wf.vo
@sha 03q8MD9VhmOvtre+yVQ3ocktpnzrgJy9sBlkNAgM67k=
@size 33088
@ts 1539336547
lib/coq/theories/QArith/
lib/coq/theories/QArith/QArith.vo
@sha ze9MEXNDk3y8CTBHbTeMpajvqnXkdAL0KoJ04H2y498=
@size 12741
@ts 1539336541
lib/coq/theories/QArith/QArith_base.vo
@sha 0/8tE5Yrs+d9oTVgfG/JKXGzu57GgnPnolKNIeAa9Dg=
@size 149310
@ts 1539336541
lib/coq/theories/QArith/QOrderedType.vo
@sha OkrtIOfmBoz97KX3FiTnpqVvZktLjVEIGxS28BoEmXM=
@size 59797
@ts 1539336541
lib/coq/theories/QArith/Qabs.vo
@sha eYEkve703obb7Lz/VJZNUbFF58e5Mw6pd1JhjKNnj2U=
@size 40637
@ts 1539336541
lib/coq/theories/QArith/Qcanon.vo
@sha qe5Jt3mGBxFOyjf8V7iTcQG9MtsNhW+2CR+ns1yUtys=
@size 125540
@ts 1539336541
lib/coq/theories/QArith/Qfield.vo
@sha TKOXVbArRYGcF/8TM+cquAx6KPKWE1122YSg7j6JqVM=
@size 64477
@ts 1539336541
lib/coq/theories/QArith/Qminmax.vo
@sha 6+6/VVrNQYO14OJx1wz41ANjRPZU6r95sTiQlA5ZHzw=
@size 141693
@ts 1539336541
lib/coq/theories/QArith/Qpower.vo
@sha ZAGZvZo5uzeWYc/wis/n1FLUk1f34yIj+VfZkFBTdSY=
@size 56196
@ts 1539336541
lib/coq/theories/QArith/Qreals.vo
@sha t2crk4BP1MZasGmFAmlahcLReV/t1h87Tz0qxuEVlf8=
@size 39116
@ts 1539336541
lib/coq/theories/QArith/Qreduction.vo
@sha kwDDMsrE/1Hy8GIzFHxGOI8TerxkohfKfIRnr8RQlAA=
@size 49303
@ts 1539336541
lib/coq/theories/QArith/Qring.vo
@sha 3V6iwVO5Hh9m2Gi0i5yU4AfeNk5CC73B9XS4GNp3kL4=
@size 12578
@ts 1539336541
lib/coq/theories/QArith/Qround.vo
@sha cgmYmyE4lyElv0ZlaiesqeNk1GTTdUUwJJ/7Xlh0Wac=
@size 32116
@ts 1539336541
lib/coq/theories/Reals/
lib/coq/theories/Reals/Alembert.vo
@sha OB7ZX7tRRhNLSTv4vw4YmSToFv77gcuzL77yiktqi1Q=
@size 231322
@ts 1539336538
lib/coq/theories/Reals/AltSeries.vo
@sha Kh83AjWBAWdkSYn1SlPL0PraF1Kr08Hj9U8W2ILaXs8=
@size 45717
@ts 1539336538
lib/coq/theories/Reals/ArithProp.vo
@sha xmudNnYUO9WknwckI1f0yWkshRbiRAxifW+dlY6PCXo=
@size 30271
@ts 1539336538
lib/coq/theories/Reals/Binomial.vo
@sha l4JfMSvBgPQxXPWXgDZNM6thuAkX0Pyd09IHWk+4oN0=
@size 37108
@ts 1539336538
lib/coq/theories/Reals/Cauchy_prod.vo
@sha 2KgCAgbznZFw+Uexh1uwvOcg6/Wyi6AkaBy+P7YmfFk=
@size 45420
@ts 1539336538
lib/coq/theories/Reals/Cos_plus.vo
@sha AF1rwOSRUqECuOqDh4vdb7a3v1eL1/ft9DhCBABP2mI=
@size 264947
@ts 1539336538
lib/coq/theories/Reals/Cos_rel.vo
@sha VZb3fBRIph2S9KJ986kQvNs6XHarQQkbD7pS+aFwZIw=
@size 72743
@ts 1539336538
lib/coq/theories/Reals/DiscrR.vo
@sha enFDTRiuD9bwpWky9rS00vnFzq2TPqkvEXU2VW80LPQ=
@size 18466
@ts 1539336538
lib/coq/theories/Reals/Exp_prop.vo
@sha lUgabUSUM0vPHCIG97EwoyeG8vTlBzCD27OVQh8Wzfs=
@size 91131
@ts 1539336538
lib/coq/theories/Reals/Integration.vo
@sha 59JFceZ/Ae39iZyn4BLXt2ZW5Gb7Tj2yZesrPyEk5p4=
@size 15798
@ts 1539336538
lib/coq/theories/Reals/LegacyRfield.vo
@sha IWmzzMjHHyWny1y3zXXe9drGGROHMUJ25aANDETUF+U=
@size 15196
@ts 1539336538
lib/coq/theories/Reals/MVT.vo
@sha gcgKnjsF2xdb9Bw7sNZWptSgd9AwNiaYgCtM+y7igAU=
@size 75434
@ts 1539336538
lib/coq/theories/Reals/Machin.vo
@sha G2flz/bLUO0EmrcE6rtT8KbFPrRYHDzB0upMfkbFhb4=
@size 123303
@ts 1539336538
lib/coq/theories/Reals/NewtonInt.vo
@sha OSz43/JPY4kT5C7UZM9L2sDdUz9j8L21z6OnKV9QgSc=
@size 176438
@ts 1539336538
lib/coq/theories/Reals/PSeries_reg.vo
@sha mc5W4viuzWY8ZP6WnpSCal0U3ucLurL52fTgitQu45Q=
@size 37924
@ts 1539336538
lib/coq/theories/Reals/PartSum.vo
@sha 65euAHnnKc7/9gZUnq5kWoGz55++neYKsH7xVPgbAVg=
@size 65465
@ts 1539336538
lib/coq/theories/Reals/RIneq.vo
@sha mEqhVu7ABLBDfg7A4b7dpuL4So1u0mCF+eYdxtOsfqc=
@size 189730
@ts 1539336539
lib/coq/theories/Reals/RList.vo
@sha 86J7EacFQKdQHIkzNTnz6UDGdFfVnUseB75g5qK77wc=
@size 82762
@ts 1539336539
lib/coq/theories/Reals/ROrderedType.vo
@sha X70JV9/f8MVaZVIFJimKbAwvm6vUkPru7RjqGWWhBsM=
@size 67082
@ts 1539336541
lib/coq/theories/Reals/R_Ifp.vo
@sha kOhvgDktcgv9Eo+mwLg5V+ETcuc8sAHG2G0aRn74FRg=
@size 58019
@ts 1539336539
lib/coq/theories/Reals/R_sqr.vo
@sha 88qKCF4jmdmXnWxhEU7cIU19GqWsKvg6E3JgxPIXl6c=
@size 44675
@ts 1539336540
lib/coq/theories/Reals/R_sqrt.vo
@sha VaNr4TrcOJNXONXDZHjKHKmR9LH/8Z567gy/jwn6OyM=
@size 57315
@ts 1539336540
lib/coq/theories/Reals/Ranalysis.vo
@sha zmr/jxIv62NHjyshV8Q5DYsN3cQijx992vZjmVXQCyc=
@size 15758
@ts 1539336539
lib/coq/theories/Reals/Ranalysis1.vo
@sha oImYE13gxqH9bDfWbptiXN4QZoCqvjaWl8hlDKLij1c=
@size 124976
@ts 1539336538
lib/coq/theories/Reals/Ranalysis2.vo
@sha sLsGyatIpdpdAJuM4w4aKF4GpN2I18tfAUtydGksLHI=
@size 74146
@ts 1539336539
lib/coq/theories/Reals/Ranalysis3.vo
@sha WfDpt4eR1sTIiEz2Mafph3MsVIxzL/cL8ztj8gZFyBs=
@size 60460
@ts 1539336539
lib/coq/theories/Reals/Ranalysis4.vo
@sha ut7naWTx/DXbQmsFD1u4Ig72XZEZx4U9tI1bKCar5B0=
@size 43974
@ts 1539336539
lib/coq/theories/Reals/Ranalysis5.vo
@sha +ln6iftGZk+to+u0SD0TbR/YCv3hvNwCeWbh2fxxYdk=
@size 608756
@ts 1539336539
lib/coq/theories/Reals/Ranalysis_reg.vo
@sha w28gf8WR9qbyddp0aLvZabWcm5x7y4kwBu+6GV3gS+0=
@size 87377
@ts 1539336539
lib/coq/theories/Reals/Ratan.vo
@sha ObLXZsLI5R9riAx+a3uTXT52/REo8MWSsSe/3uV8NJ0=
@size 624994
@ts 1539336539
lib/coq/theories/Reals/Raxioms.vo
@sha +j6QKIYdDxn+YlXIJe1ChXrrPYWUQnYzde/+Uo4OESY=
@size 22278
@ts 1539336539
lib/coq/theories/Reals/Rbase.vo
@sha XfKFxl5vJ4dCgzcaTami2JbKuKtR4ImMrwIvuiu8fTQ=
@size 12520
@ts 1539336539
lib/coq/theories/Reals/Rbasic_fun.vo
@sha DpldIM7XDsJHw8yxcThF6pOxzalOnB4KGmlXpuSes20=
@size 59336
@ts 1539336539
lib/coq/theories/Reals/Rcomplete.vo
@sha Uj9rXs/PeRiwV5C0MjNVQABC2AYw5oNQX0PHBGqYVmg=
@size 24660
@ts 1539336539
lib/coq/theories/Reals/Rdefinitions.vo
@sha Qj/ALKvelfm6Ol76NO6k9KtEEkhVqzax9Py9hdqqHSI=
@size 17053
@ts 1539336539
lib/coq/theories/Reals/Rderiv.vo
@sha bA1cfDCybjaiP7nNQ0WUAMjRC8n++Ow+hvz8DiRHIOs=
@size 71406
@ts 1539336539
lib/coq/theories/Reals/Reals.vo
@sha faRMfCo2/ISUKf3mDZrfLllZ4ViJ2JpvEhy2p72HtzY=
@size 16245
@ts 1539336539
lib/coq/theories/Reals/Rfunctions.vo
@sha vc3i4cFqj0hu+TjMv8qTFCgkO5GbqTMf9aHkVs/hyJE=
@size 82349
@ts 1539336539
lib/coq/theories/Reals/Rgeom.vo
@sha WeltY+q8focd92Yi4Rzn1uxJwnqFxQgJ8yxFKM/MVLg=
@size 40745
@ts 1539336539
lib/coq/theories/Reals/RiemannInt.vo
@sha soFLHoSiXZef4WTInaUquUfrFqfqiC6yl4oH0fCdZzY=
@size 303437
@ts 1539336539
lib/coq/theories/Reals/RiemannInt_SF.vo
@sha r7qm7VB6FFfdQxRyL1QwlSJ2nkyuYKG9MCIiF+z26Sg=
@size 292255
@ts 1539336539
lib/coq/theories/Reals/Rlimit.vo
@sha VZqUXbngSsUoh9Zo4TBUyFEVmPkWfYY44zBWh9NqrF4=
@size 73258
@ts 1539336539
lib/coq/theories/Reals/Rlogic.vo
@sha SIVgZOrrMwGRyGOVuu50lnVteW5s3FqFa7vwf2lvcFY=
@size 116552
@ts 1539336540
lib/coq/theories/Reals/Rminmax.vo
@sha BySYsYbwhcgO3MWuma2I8kehU7iDHgY9L+yg0+J/koM=
@size 154273
@ts 1539336541
lib/coq/theories/Reals/Rpow_def.vo
@sha BQNEm1u3B7X5TjOJLw9OwkSKD7mMIloGXuC6+kHUekc=
@size 11745
@ts 1539336540
lib/coq/theories/Reals/Rpower.vo
@sha eRGBA4/6ulnls6IQK9cFOaUwjhSHN/Do0+ZOUqM1I1Q=
@size 66225
@ts 1539336540
lib/coq/theories/Reals/Rprod.vo
@sha vsWuzyGRnW4jRjak34zfUiwvCj8IC+oaQLK3TcA3b/U=
@size 346934
@ts 1539336540
lib/coq/theories/Reals/Rseries.vo
@sha XrF4FKXVbSCxHRuZv6HYS2a8xJGtBpegsl+nXMy82xo=
@size 47850
@ts 1539336540
lib/coq/theories/Reals/Rsigma.vo
@sha tXFh7pdRqm950p17mnnN/3KDRQQEbE6o3jo/cfdH+G0=
@size 74803
@ts 1539336540
lib/coq/theories/Reals/Rsqrt_def.vo
@sha STCutOeiSTvBqs5jdLLK+L1ZdSwbgEeeqC1x/fgkvhM=
@size 60030
@ts 1539336540
lib/coq/theories/Reals/Rtopology.vo
@sha meflxreh19TIXF35oe+yh1DpopJS73whUbnZuYZ3H2I=
@size 153169
@ts 1539336540
lib/coq/theories/Reals/Rtrigo.vo
@sha 4qCdAUzs6YX8t2xFQBcTnoZWpyLGnrpb+j+bZQrXI1I=
@size 15663
@ts 1539336540
lib/coq/theories/Reals/Rtrigo1.vo
@sha 7enIaPu3Wmxkl1JQJmjNJOlxNkZZ2koVwaf75mH7Sck=
@size 229941
@ts 1539336540
lib/coq/theories/Reals/Rtrigo_alt.vo
@sha HoCK8gWfqJu0kjGPyv3AFjXwAEvRgvIJ1NA5Dadv9KM=
@size 49546
@ts 1539336540
lib/coq/theories/Reals/Rtrigo_calc.vo
@sha inxEPdpWfiCiiUPVYTNCm6U1Nn7gVUyGU/EYZ5Z9rtA=
@size 56226
@ts 1539336540
lib/coq/theories/Reals/Rtrigo_def.vo
@sha CGdpMNf3gGrYAd3YCSIXDxkOqsvUvdWt2NPdOhKoehU=
@size 123266
@ts 1539336540
lib/coq/theories/Reals/Rtrigo_fun.vo
@sha bCYaaAGykTUMlcUAA1wLtB4abm2DbqR0K2O3sfQUc5s=
@size 21575
@ts 1539336540
lib/coq/theories/Reals/Rtrigo_reg.vo
@sha jx2N0T0NJs+fci37HIgv/7AvYX+IdC9fARLq5FicNf0=
@size 49488
@ts 1539336540
lib/coq/theories/Reals/SeqProp.vo
@sha US/xIJ4lnFnQb1z++apt8vpTSPxXYdUvp3SBjBScGWo=
@size 90997
@ts 1539336540
lib/coq/theories/Reals/SeqSeries.vo
@sha TwPqsespWcZENotMCqsKDBvlbKMG7KV3iSlJH8Wt4A0=
@size 46811
@ts 1539336540
lib/coq/theories/Reals/SplitAbsolu.vo
@sha pv4MewhsJxTpFzyumo0OBOJSspRHoz+H+bWJoOKG5vA=
@size 13736
@ts 1539336540
lib/coq/theories/Reals/SplitRmult.vo
@sha ahNP/SaVLqQLD1js1xTf6tmZel0fNxngyTa2N/Th/yM=
@size 12846
@ts 1539336540
lib/coq/theories/Reals/Sqrt_reg.vo
@sha MJTADX8qnNKKn6k349M188KsWMxuMosiX7PC38wpxBk=
@size 36087
@ts 1539336540
lib/coq/theories/Relations/
lib/coq/theories/Relations/Operators_Properties.vo
@sha tOxkU2wRAIm4IZQ+2UFPu77Ec6qCSJS/ZAhr0yJ6PDI=
@size 24952
@ts 1539336537
lib/coq/theories/Relations/Relation_Definitions.vo
@sha //9lGrwuzRYmYSIoXt8cfVM4hu7ORKuYxgCIHHZz0A0=
@size 22124
@ts 1539336537
lib/coq/theories/Relations/Relation_Operators.vo
@sha T6BtkUGnaenuDo8FniHUojm1Dg6ws47cK/eI25VZJU4=
@size 51247
@ts 1539336537
lib/coq/theories/Relations/Relations.vo
@sha fHuz5qukNnTHEm8z1S5E4rr+fHcYPaMLx75nynZfuN4=
@size 2971
@ts 1539336537
lib/coq/theories/Setoids/
lib/coq/theories/Setoids/Setoid.vo
@sha Dxy98StzZp/4aB469dfGAqJ6ieT3uHisJmKDbiDUDFY=
@size 6355
@ts 1539336534
lib/coq/theories/Sets/
lib/coq/theories/Sets/Classical_sets.vo
@sha rKcjCwDaHzSNnIuaV4frYJ0XUKYtoYWu6uPSRq7EFVc=
@size 9341
@ts 1539336534
lib/coq/theories/Sets/Constructive_sets.vo
@sha tsflK4m+pyOzihlXDp3WUsPGLscxu/wVfpGK5Osi/k0=
@size 13758
@ts 1539336534
lib/coq/theories/Sets/Cpo.vo
@sha k/syLGLdQXtMKEmsaeFjjduu0DlZw1dXLLcnDvOAxAE=
@size 44835
@ts 1539336534
lib/coq/theories/Sets/Ensembles.vo
@sha LWlPyQ56KwMECD/rXNeZzloGYXdEA4rguEfy46xV3FE=
@size 25384
@ts 1539336535
lib/coq/theories/Sets/Finite_sets.vo
@sha gkPQ7LpTC0eL0ygGfhIu/0HIN9h5s6SgeqLyHxQxWng=
@size 11495
@ts 1539336535
lib/coq/theories/Sets/Finite_sets_facts.vo
@sha mugAPy/L/FEuN6vmlWuWmv/2DSXn8QrTrUJ6xO2QvWM=
@size 25501
@ts 1539336535
lib/coq/theories/Sets/Image.vo
@sha Pt5k1rZJ1Z+VCBqiA7/w5rFj9LH31pQ2kdc59uy6150=
@size 20542
@ts 1539336535
lib/coq/theories/Sets/Infinite_sets.vo
@sha SG2oUX/ZhK54aIFfbs6hjPjUFwiEhF+zeH34P0ifxKU=
@size 21488
@ts 1539336535
lib/coq/theories/Sets/Integers.vo
@sha dhskyAijq12tmSR/jpPu/Yv3ndT/rKIRtjaTJO+1294=
@size 9416
@ts 1539336535
lib/coq/theories/Sets/Multiset.vo
@sha d6yImaagAPZabhTnpcsU+K+t2ZiNIyim4SKNA/dolnk=
@size 23152
@ts 1539336535
lib/coq/theories/Sets/Partial_Order.vo
@sha DQWMImQPgq1nWUUIidtn7ZbITUHSZw7ownpvKAr4ieg=
@size 15195
@ts 1539336535
lib/coq/theories/Sets/Permut.vo
@sha TzAZBXrmD5QC0WH9FNa7Jn6MwIO0uA9MU0duO9wpP84=
@size 11444
@ts 1539336535
lib/coq/theories/Sets/Powerset.vo
@sha DGut8dsW5bBxnUoQZ+xAVt7x9M+KL8w/ZvtUB8a0s2k=
@size 16543
@ts 1539336535
lib/coq/theories/Sets/Powerset_Classical_facts.vo
@sha r8hM3Va5ktXM7uHxgoZhGSW0n3/y1rGj7Pu6cJIV9Rc=
@size 27090
@ts 1539336535
lib/coq/theories/Sets/Powerset_facts.vo
@sha zhXVjkokylX6losiy1Ho07TNTOiFzOVyL1/gscRZhnE=
@size 23143
@ts 1539336535
lib/coq/theories/Sets/Relations_1.vo
@sha Foz5KjxYJ+MKH7lLXFT85OzhEnu/h12/WkrHSyaN7pE=
@size 14125
@ts 1539336535
lib/coq/theories/Sets/Relations_1_facts.vo
@sha ue9AFHWq0JEh8qsHhLgWQbv9gjDT7tS4E6Zfk/cZoNU=
@size 7781
@ts 1539336535
lib/coq/theories/Sets/Relations_2.vo
@sha lnNnJfQRqzZQg8Z2l5h0IlDNbrabBzYCggRGPwd6KAs=
@size 11391
@ts 1539336535
lib/coq/theories/Sets/Relations_2_facts.vo
@sha a2x9L8ECT7BR4QWWY923NFsGaCSbX64eVDms/i6/qrE=
@size 11869
@ts 1539336535
lib/coq/theories/Sets/Relations_3.vo
@sha N6tW2T+ukYneW2ifmG23DXEcc34xbi4pL34L2+eOrr8=
@size 8413
@ts 1539336535
lib/coq/theories/Sets/Relations_3_facts.vo
@sha yrOu6DqAZtZXF5QJMgCoEUML0BUvSnRB22ybVxPwjik=
@size 10997
@ts 1539336535
lib/coq/theories/Sets/Uniset.vo
@sha gahhrDZDCK5N64eulirSKkyfTiIiXiVroeDLOCfs5cU=
@size 20096
@ts 1539336535
lib/coq/theories/Sorting/
lib/coq/theories/Sorting/Heap.vo
@sha zWu80RAc7yPnlDakaOb2moHiT8EcoQV6aA6AU1VFBVc=
@size 69823
@ts 1539336541
lib/coq/theories/Sorting/Mergesort.vo
@sha JuR7C9tIcRaSB213nEEcpFWBtJ0wW5URJ/tk4y3dVkE=
@size 31436
@ts 1539336541
lib/coq/theories/Sorting/PermutEq.vo
@sha USvm0xxkA+j+qD1NeSALpA7vnfnIffDMCg3JwhCpa94=
@size 53408
@ts 1539336541
lib/coq/theories/Sorting/PermutSetoid.vo
@sha U3v6dCKKiDEERMLUUvoHy6pdJ5tHkWO22zJYewNBVhQ=
@size 115721
@ts 1539336541
lib/coq/theories/Sorting/Permutation.vo
@sha 4ts99rJOvgkuFw4+JGwm/FGVLTQlAsPlm06h4dhx6G8=
@size 83149
@ts 1539336541
lib/coq/theories/Sorting/Sorted.vo
@sha d8ymuLY8fdQTOZmxLEuxfWrXqd+k/PSdl/9I5xrf5po=
@size 31629
@ts 1539336541
lib/coq/theories/Sorting/Sorting.vo
@sha QaPg/g8lUAA1nOmXwrAXpdHwWdLWhR00NnhrotmLwpQ=
@size 1944
@ts 1539336541
lib/coq/theories/Strings/
lib/coq/theories/Strings/Ascii.vo
@sha oQVCBbN+hsvYAihOmt1itEvEtKKsEBxHFj8d6+lJhh8=
@size 236903
@ts 1539336534
lib/coq/theories/Strings/String.vo
@sha O6vZFgaYKnz0LcNvcYR6NcJvnrG2HHvqTebc38wkIaE=
@size 54052
@ts 1539336534
lib/coq/theories/Structures/
lib/coq/theories/Structures/DecidableType.vo
@sha icCXvNa/DZNYe/gzCZWYUIwInQWwzCjezrktLTkPG+8=
@size 24422
@ts 1539336548
lib/coq/theories/Structures/DecidableTypeEx.vo
@sha hcOTF0n9K39nuksGmLNiMK4C/kKKc0lMsS6wPCRHg5w=
@size 60539
@ts 1539336548
lib/coq/theories/Structures/Equalities.vo
@sha 8h5bc1Mmwpr0e2Nn44z8VIj/SabdMib/lYv/PicgZOw=
@size 77588
@ts 1539336547
lib/coq/theories/Structures/EqualitiesFacts.vo
@sha JpXYmSQfy9z10OCjqAxFJ+9++iOgL8xSrgTV+nCVj6s=
@size 42346
@ts 1539336547
lib/coq/theories/Structures/GenericMinMax.vo
@sha MmtQbLofBlqgfvbZtbD/dTQOfz+ikM8vFd5sRUQxNhg=
@size 261661
@ts 1539336548
lib/coq/theories/Structures/OrderedType.vo
@sha KmK/TcDfuyUMhhLGNpYfdCEhhQ4q88i4ZUkbS1+5Ca8=
@size 140295
@ts 1539336548
lib/coq/theories/Structures/OrderedTypeAlt.vo
@sha vNGqNIPDGf9dwwx7l1Wo5U0W3fLV/X+C7awhMhMq8L8=
@size 79309
@ts 1539336548
lib/coq/theories/Structures/OrderedTypeEx.vo
@sha BZR6jh+hrvVbiNukJo8RprEtr+zZkHSy0iS7HssuhBs=
@size 151139
@ts 1539336548
lib/coq/theories/Structures/Orders.vo
@sha 3v0Kpvss+iC3p0pIYKOCXiztzVR7vPDQQU2ThLnIWWY=
@size 127614
@ts 1539336548
lib/coq/theories/Structures/OrdersAlt.vo
@sha /KC2Y2Ep0/fCFTZE/RDKw3aqzY5XINdRbchcxauGF7Y=
@size 37733
@ts 1539336548
lib/coq/theories/Structures/OrdersEx.vo
@sha pVuBXCMz8RAMV19mYMM+Nt7uxAFy7Zl1RllVcix05Aw=
@size 4144699
@ts 1539336548
lib/coq/theories/Structures/OrdersFacts.vo
@sha FnRK2tMEhRD8A4qpvZjwVhsJ3ZUZJdrrvJNgRQNPwvg=
@size 187685
@ts 1539336548
lib/coq/theories/Structures/OrdersLists.vo
@sha /740Adwcf/RUfqCQHw9heXGQhYuD9X53fH8o3JeeoCs=
@size 48784
@ts 1539336548
lib/coq/theories/Structures/OrdersTac.vo
@sha j4c1btfiWe6iJX2Srdk0NUdt0+lXn6O8iXa9mMxNI50=
@size 93105
@ts 1539336548
lib/coq/theories/Unicode/
lib/coq/theories/Unicode/Utf8.vo
@sha VFxu4if/F4aPkH4dtTwbbYcwQg/5DPm64vZ3lJFJhz8=
@size 1071
@ts 1539336546
lib/coq/theories/Unicode/Utf8_core.vo
@sha lEmtIbypMFhurpFwPVxmbxIBSbcUJ4A6A/ZpmszX+AI=
@size 2583
@ts 1539336547
lib/coq/theories/Vectors/
lib/coq/theories/Vectors/Fin.vo
@sha KESu7eW3jYG8+UMR1qlmHZ3beaJ/ZrEAmvJIdx9AcyE=
@size 38515
@ts 1539336548
lib/coq/theories/Vectors/Vector.vo
@sha PezAwm8rmFUA7d+M5vstUgCGLt6RZcabGvnMejHTjL8=
@size 114951
@ts 1539336548
lib/coq/theories/Vectors/VectorDef.vo
@sha 7TmeAZQFZtgsk9Pi5BaDDvevvhM8RLdXivAUANehHgY=
@size 74380
@ts 1539336548
lib/coq/theories/Vectors/VectorSpec.vo
@sha 6gSfjYhhbFZiodWiRKqco1CjbxDwEWJOWB/JPGbY+pA=
@size 26492
@ts 1539336548
lib/coq/theories/Wellfounded/
lib/coq/theories/Wellfounded/Disjoint_Union.vo
@sha IH1bAc0paHExoJN9vn7kjAFIU0B9U5vrE6MFWcNi49Y=
@size 6750
@ts 1539336537
lib/coq/theories/Wellfounded/Inclusion.vo
@sha ePtcXWJHajC1xkU6TumF/WOow/3Up4C8iAEMehM72sU=
@size 2637
@ts 1539336537
lib/coq/theories/Wellfounded/Inverse_Image.vo
@sha XVWXqId8jfqCAqwUI5NCn86wft3IfZAtjtBC6/Cp/Lw=
@size 6204
@ts 1539336537
lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.vo
@sha 1z6G2ZnFTl9d9EoaB77+8tqCo9LFxn2bdQWTClpWVF0=
@size 47444
@ts 1539336538
lib/coq/theories/Wellfounded/Lexicographic_Product.vo
@sha 5DNTX8zL3mPEM4FWZ2qetw4P45Ji0YJh4pDHjA2+NHI=
@size 94715
@ts 1539336538
lib/coq/theories/Wellfounded/Transitive_Closure.vo
@sha 27Dm7zWbsvgL1ojXYSjmaNxJ3syuFWNfuddkwrSmDig=
@size 4926
@ts 1539336538
lib/coq/theories/Wellfounded/Union.vo
@sha frMlVtQfBia8neoIym5GVqFuPpSlEfCtiwXZN3mF/RI=
@size 6504
@ts 1539336538
lib/coq/theories/Wellfounded/Well_Ordering.vo
@sha GOxEOc4dNwxEdxDHqn32Km8l1eNxmFYCIRK3+J/4CEk=
@size 10973
@ts 1539336538
lib/coq/theories/Wellfounded/Wellfounded.vo
@sha rrlWXzI43+4FiB8bQp3aDzn1yPLZzLpqfFomhgKj5nw=
@size 2132
@ts 1539336538
lib/coq/theories/ZArith/
lib/coq/theories/ZArith/BinInt.vo
@sha c96mfcdX5sLYCVKLKhvznd2lo8XM3TzxoTRMSG/GjMU=
@size 2124339
@ts 1539336532
lib/coq/theories/ZArith/BinIntDef.vo
@sha gzHh1qi0p7zL5czF3Old9AkBfUX915vZflir6QdfBtE=
@size 51252
@ts 1539336532
lib/coq/theories/ZArith/Int.vo
@sha H4OZW60fxwgjZg9ozN8aFXBOww/b9304Cc2N1mdzVW4=
@size 61359
@ts 1539336533
lib/coq/theories/ZArith/Wf_Z.vo
@sha sGQrYUOrlqb9a9VbL6P8uXq4dQC8EZmQW/kmK/gGgq4=
@size 27332
@ts 1539336533
lib/coq/theories/ZArith/ZArith.vo
@sha hpUstRr8iR6PE/82DPyvn/03DvkAD8Wf6SUVQcE756g=
@size 12175
@ts 1539336533
lib/coq/theories/ZArith/ZArith_base.vo
@sha TRDo+3X3NxudWlIMlTR0VRLCQ0QCpBLnObuR8yhbRFY=
@size 13527
@ts 1539336533
lib/coq/theories/ZArith/ZArith_dec.vo
@sha 9H9y2TSNniFeXIxWeZ6FBbfJUUmWg2rEWYMcfU6pSHw=
@size 41599
@ts 1539336533
lib/coq/theories/ZArith/ZOdiv.vo
@sha 15JLlY+Q/9bvyQA8ohgB0wMyUqA6WdH/eFUguvyrS8o=
@size 18065
@ts 1539336534
lib/coq/theories/ZArith/ZOdiv_def.vo
@sha mPAhXb815CDpEUAeb4AhtuLf3j9Be6oKYX19walVbHo=
@size 9623
@ts 1539336533
lib/coq/theories/ZArith/Zabs.vo
@sha DiYvnTom2ykdp/tfGXSE7XVXmdR9srZ9LJWJEPKOvrc=
@size 19986
@ts 1539336533
lib/coq/theories/ZArith/Zbool.vo
@sha eXMWnKrUfTdW6ntHwJW7aERU2K1l6V8VfIWQQgsNA+A=
@size 34313
@ts 1539336533
lib/coq/theories/ZArith/Zcompare.vo
@sha Pt0Khot8l3p6pZIy9d73iHVbrqbzwAWaJ2aafBPdnoE=
@size 28100
@ts 1539336533
lib/coq/theories/ZArith/Zcomplements.vo
@sha xM2UtA1wx9CO7TjzQ0moXpI+mGDCZefSHzGXiPR7XM4=
@size 36694
@ts 1539336533
lib/coq/theories/ZArith/Zdigits.vo
@sha Ifz4sPTEnO6jeIChUeKsbX33xqS1yu/iQ7zah9PtS5g=
@size 54411
@ts 1539336533
lib/coq/theories/ZArith/Zdiv.vo
@sha bdHQuoqSJkZbXb5V++yqPHhaZJz+ZTQGwkip8V/wBno=
@size 225363
@ts 1539336533
lib/coq/theories/ZArith/Zeuclid.vo
@sha D2Pa7b9GkndocNWWsqTDBs0h/sy66itfe9HTyPxhF9o=
@size 158235
@ts 1539336534
lib/coq/theories/ZArith/Zeven.vo
@sha C8LL49kZbVH+YNACXn7eu3gVyxIqtHH/MEVAoGk4kHA=
@size 47571
@ts 1539336533
lib/coq/theories/ZArith/Zgcd_alt.vo
@sha MiL1dkrePnlHx0tyNuRrkXRC753Hw51cJPnJr3GFNdQ=
@size 106921
@ts 1539336533
lib/coq/theories/ZArith/Zhints.vo
@sha 9zUQ1idDNayTI7RKe02TZO+mAKWG6xL2biIU9QZW5+8=
@size 16766
@ts 1539336533
lib/coq/theories/ZArith/Zlogarithm.vo
@sha p/D6shuZOn15puO2LqPFivrG57W/C2Pa/d7/a7bDRyk=
@size 57642
@ts 1539336533
lib/coq/theories/ZArith/Zmax.vo
@sha +H/Q91TFXON707xlHLBk59tAGomsyPcy696uFusEDb8=
@size 14459
@ts 1539336533
lib/coq/theories/ZArith/Zmin.vo
@sha 6ZJhIRN+kqogfl4aG2ArhdU6B+nNGxqNYvNWouwtvnQ=
@size 15039
@ts 1539336533
lib/coq/theories/ZArith/Zminmax.vo
@sha GUi0ATeA8inyKLWvSVBq1tW9BwFmlsJDgqZjuAMmSbA=
@size 10292
@ts 1539336533
lib/coq/theories/ZArith/Zmisc.vo
@sha Wst2dPLXfMY8gkaatPzHo8Qk/pGGMmqTwKZ8wHYMjUY=
@size 11623
@ts 1539336533
lib/coq/theories/ZArith/Znat.vo
@sha B4UN/g7/1ZEI1gs7UMPpJcjKRFNR7Pcsb0fDFMnhq9A=
@size 90417
@ts 1539336533
lib/coq/theories/ZArith/Znumtheory.vo
@sha D96+WyS0fwqY0i80b0eFeZbwcpneOsrO7mNqk08XkLY=
@size 209249
@ts 1539336533
lib/coq/theories/ZArith/Zorder.vo
@sha tNv8VJb60hF09tVXXz37wiGSoZn8KhczVT3/FsrL0+Q=
@size 69135
@ts 1539336534
lib/coq/theories/ZArith/Zpow_alt.vo
@sha Nx7YxWKUuFrAQuwNE8EKNTjgf1I2rF7KrhnJSc2x5hg=
@size 18253
@ts 1539336533
lib/coq/theories/ZArith/Zpow_def.vo
@sha qYQP92AhzDgm5TJJzsvscV4/uoMDe898A6ITET9sOSk=
@size 11638
@ts 1539336534
lib/coq/theories/ZArith/Zpow_facts.vo
@sha 0sOGvo5iGSRWF89IlN+4zV3WMGycaDwWH8dRrQcNm2c=
@size 90424
@ts 1539336534
lib/coq/theories/ZArith/Zpower.vo
@sha esddIYxJeqYK3FHaKovESV62FL4H1Shh3C2h2h5UOpQ=
@size 77534
@ts 1539336534
lib/coq/theories/ZArith/Zquot.vo
@sha L1gAdWrgvUwilTEbekGfMoobJaVOsWNDFsPKElja0CU=
@size 87096
@ts 1539336534
lib/coq/theories/ZArith/Zsqrt_compat.vo
@sha EbDnZnelGxE8XWRBceoypUFe/3PJTK/4Y/M+zdoU2VI=
@size 332485
@ts 1539336534
lib/coq/theories/ZArith/Zwf.vo
@sha CI6crc2rBdxcvQGkIaZvh5LGkXifHkzkW1nUUlNmXaE=
@size 23126
@ts 1539336534
lib/coq/theories/ZArith/auxiliary.vo
@sha BkSAje1Xx8DckDgqIHj8mantzR6bHo6RQSUfYzvzSTI=
@size 20962
@ts 1539336532
lib/coq/tools/
lib/coq/tools/coqdoc/
lib/coq/tools/coqdoc/coqdoc.css
@sha L2Ke8wjKA6RT/3eeaXfYh3zm5SMJgBWs6tZC3vhrmIo=
@size 6005
@ts 1539336528
lib/coq/tools/coqdoc/coqdoc.sty
@sha Ib0mX5r/BDes6TO5Cv+WPuqsHDhgI7Ddbfa2lwVFEG8=
@size 5493
@ts 1539336528
lib/coq/toplevel/
lib/coq/toplevel/auto_ind_decl.cmi
@sha sCvF2nmB/j5+VygwHE4c/1Xfv4/8PJtFSjwMAhvxeUA=
@size 3478
@ts 1539336569
lib/coq/toplevel/autoinstance.cmi
@sha OrZJ1EV/ywKnWobr1ePFMeuVjbhZYAO4msc7Stpd9NI=
@size 2442
@ts 1539336569
lib/coq/toplevel/backtrack.cmi
@sha rRU20A+TFp65j74z8NPIA8q05Wm3AX4iFVkSV7Gbvd4=
@size 3750
@ts 1539336569
lib/coq/toplevel/cerrors.cmi
@sha IVr3I1HO6ucupAzf9Z2vfC+B2R9Y/SD4GaADfsST0Wo=
@size 1296
@ts 1539336569
lib/coq/toplevel/class.cmi
@sha WzITV2C7vlVFeKbv980/6WUcQ84Qlohp1d3rhxhsJbs=
@size 3350
@ts 1539336569
lib/coq/toplevel/classes.cmi
@sha y7iLkOPyU0Uzm9KJh7GZcbAVysk+6XSfP/PKhQHax+I=
@size 4638
@ts 1539336569
lib/coq/toplevel/command.cmi
@sha o4XO1xPbC+kBogvZrlC5LwCaZfCLhLuxCQKAhfaOBew=
@size 9411
@ts 1539336569
lib/coq/toplevel/coqinit.cmi
@sha XiLq5qjOqcMQN6K6GMgbgRpAv3wCbOXQP9YpxwU/+20=
@size 1256
@ts 1539336569
lib/coq/toplevel/coqtop.cmi
@sha cgJCR91FxMbZg/EMoPhKs/1rz0eDyEfFN4YEMYQI0Ms=
@size 362
@ts 1539336569
lib/coq/toplevel/discharge.cmi
@sha ycidi8MQMrFSB096N5PXSKMBhE5zIKNCtf0fN8wBhu8=
@size 1768
@ts 1539336569
lib/coq/toplevel/himsg.cmi
@sha rmhJbCVNsoAsfNtXyD2yS5CXBRQETdrYqo2lWCoRrlU=
@size 4204
@ts 1539336569
lib/coq/toplevel/ide_intf.cmi
@sha lwCIW2HDTzGxloKT3+C6n5s9JBPq4B+FgH5RplqdVzM=
@size 3134
@ts 1539336569
lib/coq/toplevel/ide_slave.cmi
@sha PEqhjT3/XYCDHMtK0ONOOa5kaBAX1ZCyoKFuf92iDBc=
@size 334
@ts 1539336569
lib/coq/toplevel/ind_tables.cmi
@sha 4xt8jwfZ7Gdtt9oCeptajRQ6mxzXhuWMrxFUbueF3k4=
@size 3277
@ts 1539336569
lib/coq/toplevel/indschemes.cmi
@sha 80ckjz3cuUarr58GythyetDrxZQ+mAxEV8Bhm+U/ipQ=
@size 3726
@ts 1539336569
lib/coq/toplevel/interface.cmi
@sha e7iUVNGVftBsFM6xwHZZvVQJfS+UiUSoLKsGDDyPpXY=
@size 6051
@ts 1539336569
lib/coq/toplevel/lemmas.cmi
@sha kPcFG0jNjhtFOUw6g3GWe42LpREbGsCESDqDGlTO6mc=
@size 4780
@ts 1539336570
lib/coq/toplevel/libtypes.cmi
@sha gTZEsk/pM+c/wV08clahC/eKCdx3vGV2K3h3sVeAkig=
@size 2237
@ts 1539336570
lib/coq/toplevel/metasyntax.cmi
@sha TNu5oD8hz2gGVpPYfrvLnJoTWfmm53/pQmOoIWUrbdk=
@size 4735
@ts 1539336570
lib/coq/toplevel/mltop.cmi
@sha 8ufiHfJxN/HrQsDMIkwgw1Cxo8v3M0H06OrGjEyxgss=
@size 4296
@ts 1539336570
lib/coq/toplevel/record.cmi
@sha 0YCZrVOWem5ba26f4aOS0HTJDipzeuGbHOoEQ/zhcg0=
@size 4204
@ts 1539336570
lib/coq/toplevel/search.cmi
@sha 4uXI2dy6WQ9ZHnrIHXRDTvsOENJTQavKsrgIzU/r3D4=
@size 4951
@ts 1539336570
lib/coq/toplevel/toplevel.cma
@sha c4t19A0BaHVSG09di01w7inUeJO6P15+qOVsksROd8Q=
@size 629142
@ts 1539336554
lib/coq/toplevel/toplevel.cmi
@sha CrBNlKpMRFCPDIH+fLF0FYp+8gzLBCvVvMsT0OoYSJM=
@size 3087
@ts 1539336570
lib/coq/toplevel/usage.cmi
@sha xzenhRG6up31PalUZv26DCE93JM1NGk33nD3Pd4+cD0=
@size 544
@ts 1539336570
lib/coq/toplevel/vernac.cmi
@sha acImDNHyBs6z1qLAKQAJDsQ/lGlaUu2P6DX7h9lNrSU=
@size 3559
@ts 1539336570
lib/coq/toplevel/vernacentries.cmi
@sha 6M/Ilm3iKgn63LJ54y4iNJqZFiWqNlhX/jTAx22JnBQ=
@size 4482
@ts 1539336570
lib/coq/toplevel/vernacexpr.cmi
@sha AnovKRZTuo/QY4xiGEZFAfSmIjJVlPzyNnb7Y2AjhHg=
@size 23130
@ts 1539336570
lib/coq/toplevel/vernacinterp.cmi
@sha d+5kkkcJtB4BfzDw2XP2uvnhVzW37haUKHkYqOH0Q4Y=
@size 2679
@ts 1539336570
lib/coq/toplevel/whelp.cmi
@sha 29mcwkrNYHZz90sTV1UUO+llnUiflIuY8Rk8R2kx8O4=
@size 2093
@ts 1539336570
lib/coq/user-contrib/
@man man/man1/coq-tex.1
@sha 0/oJpmu5LqD/B6AU04wdfvapyK0kv55qWcD9f27PsI8=
@size 3075
@ts 1539336573
@man man/man1/coq_makefile.1
@sha vQcVsz4u4Q9aIaq4DImyeJQwvWyzsb8nj9dCVbNGHUA=
@size 466
@ts 1539336573
@man man/man1/coqc.1
@sha GsPJld9hzdOI8l8UoSCZgIMIkFs7GqwX/jgmWn1PYCs=
@size 955
@ts 1539336573
@man man/man1/coqchk.1
@sha symXQdmfra3UmYkjyq4llaRe+NL7EkWWRocPeVzOPN0=
@size 1872
@ts 1539336573
@man man/man1/coqdep.1
@sha qvzAFUi65X6GlZC66CmM1l/nJF2ne0FYpy8iJ79W8s0=
@size 3589
@ts 1539336573
@man man/man1/coqdoc.1
@sha psX+7fCrvf+aHAj6YK4Zo4AN3IfRlGvkO6f6o22S7lw=
@size 4564
@ts 1539336573
@man man/man1/coqide.1
@sha WvTud5NGNA8k5UZy1HX79L+/zOOwAIHWW0r3nQtb5CQ=
@size 2572
@ts 1539336573
@man man/man1/coqmktop.1
@sha 2rF7le7yM73vsYovacMd36DWfw+KXUqoGH4TLv6rsww=
@size 1083
@ts 1539336573
@man man/man1/coqtop.1
@sha e6vepkf3v9cIAc0gLu9PbgLgyvCCSy5MCJzQJPbKa4M=
@size 2813
@ts 1539336573
@man man/man1/coqtop.byte.1
@sha 23po7XZ8jhzOWSaTfvgl9jsDPDAdsCiu+wlt39LJolY=
@size 389
@ts 1539336573
@man man/man1/coqwc.1
@sha ktW8I2PH3Rfuh9MLG2tYxBiVg67t4dnxxJadtNIpfa8=
@size 592
@ts 1539336573
@man man/man1/gallina.1
@sha nf5TDIlhAsNJShu8b3obYuyXv0s/wamuS50xapxvdQk=
@size 1182
@ts 1539336573
share/coq/
share/coq/coq.png
@sha x2rM4xsiM+TDj14G+ao/rf5pLav0bx6cjv7djkNGD3A=
@size 6269
@ts 1539336574
share/doc/coq/
share/doc/coq/CHANGES
@sha AV5mQMMaLaGLf5gP8BvdEZkAiutqprvCOgp8q83nn8w=
@size 122544
@ts 1539336574
share/doc/coq/COMPATIBILITY
@sha UwRBljKex2pq/cp2AGq2zS5ZTnPK7xvWbPFJnL72kuQ=
@size 2156
@ts 1539336574
share/doc/coq/COPYRIGHT
@sha x7W0FrkJ41jLed+LEykdbKUraOYerKdEtG34xqBMUpg=
@size 662
@ts 1539336574
share/doc/coq/CREDITS
@sha Koa3XQ49kGr29Z2T/zH28C7VOEis217pDylDDv1K5YM=
@size 7027
@ts 1539336574
share/doc/coq/FAQ-CoqIde
@sha qC3GJ1EP6j9yQ0rCOlXDE31kBJpl4Mb/JgWPAQ8q8ho=
@size 3020
@ts 1539336574
share/doc/coq/LICENSE
@sha 1FlLgvTVCEDfan6dFBMqjAo8wF0KxG0VMQomSh91RH4=
@size 24381
@ts 1539336574
share/emacs/
share/emacs/site-lisp/
share/emacs/site-lisp/coq-db.el
@sha l1PpBefFJ6qlJ9jRMK/4aJVo4IaWlmnTNdFET31f0SU=
@size 8673
@ts 1539336573
share/emacs/site-lisp/coq-font-lock.el
@sha a8jHVBDMOrL5vfplNyIeQSabyeYLwgn+vz+Wnvxm3hc=
@size 4902
@ts 1539336573
share/emacs/site-lisp/coq-inferior.el
@sha wHN4J+HMl5Zi8MLD4c9/fQ2SJ8kqqgIwqFT271hLd+s=
@size 11606
@ts 1539336573
share/emacs/site-lisp/coq-syntax.el
@sha p4m8CkoqpEQR/Sd9XfGTbnfcknOxzYCSGe2hXMTZchA=
@size 44698
@ts 1539336573
share/emacs/site-lisp/coq.el
@sha lmomZYu2zY8OGxSJLxdzH2mFtrouAza2G9Ui3UEcTac=
@size 4804
@ts 1539336573
share/emacs/site-lisp/coqdoc.sty
@sha Ib0mX5r/BDes6TO5Cv+WPuqsHDhgI7Ddbfa2lwVFEG8=
@size 5493
@ts 1539336573
share/examples/coq/
@sample /etc/xdg/
@sample /etc/xdg/coq/
share/examples/coq/coqide-gtk2rc
@sha hYoy7XKB6ASU47C0byg42UlJlmm7Xfzm8jbyCiZXq1A=
@size 903
@ts 1539336574
@sample /etc/xdg/coq/coqide-gtk2rc
