@comment $OpenBSD: PLIST,v 1.7 2014/03/26 03:27:26 daniel Exp $
@comment $OpenBSD: PFRAG.shared,v 1.1 2013/01/04 11:07:29 chrisz Exp $
@comment $OpenBSD: PFRAG.native,v 1.2 2013/01/04 11:07:29 chrisz Exp $
@comment $OpenBSD: PFRAG.dynlink-native,v 1.2 2014/03/26 03:27:26 daniel Exp $
@name coq-8.4pl5
@signer openbsd-57-pkg
@digital-signature signify:2015-03-09T10:51:03Z:RWTJ1iHLn/zcvCHZ1BhwmQgsDB+R6Lxwuow9i8zvjsO9y7KfF67LvHxozedkpvqYkuLkXKlaRGjlCjSPaczE2fDAspTATvVqFgQ=
@comment pkgpath=math/coq cdrom=yes ftp=yes
@arch i386
+DESC
@sha PT/wA8HekebUHFeKvvxFwfu425T6jsVwzNveosKK2H4=
@size 352
@depend converters/libiconv:libiconv-*:libiconv-1.14p1
@depend devel/gettext:gettext->=0.10.38:gettext-0.19.4
@depend lang/ocaml,-main:ocaml-=4.02.1:ocaml-4.02.1
@depend x11/lablgtk2:lablgtk2-*:lablgtk2-2.18.3
@wantlib X11.16.0
@wantlib Xcomposite.4.0
@wantlib Xcursor.5.0
@wantlib Xdamage.4.0
@wantlib Xext.13.0
@wantlib Xfixes.6.0
@wantlib Xi.12.1
@wantlib Xinerama.6.0
@wantlib Xrandr.7.0
@wantlib Xrender.6.0
@wantlib atk-1.0.21409.1
@wantlib c.78.1
@wantlib cairo.12.3
@wantlib fontconfig.9.1
@wantlib freetype.23.0
@wantlib gdk-x11-2.0.2400.0
@wantlib gdk_pixbuf-2.0.3000.0
@wantlib gio-2.0.4200.0
@wantlib glib-2.0.4200.0
@wantlib gobject-2.0.4200.0
@wantlib gtk-x11-2.0.2400.0
@wantlib iconv.6.0
@wantlib intl.6.0
@wantlib m.9.0
@wantlib pango-1.0.3600.0
@wantlib pangocairo-1.0.3600.0
@wantlib pangoft2-1.0.3600.0
@wantlib pthread.18.1
@wantlib z.5.0
@cwd /usr/local
lib/coq/dllcoqrun.so
@sha MrA6Xpqcrylo4mT7u5bita7E4AMr7BTStKHZFVjgYQo=
@size 36168
@ts 1425728682
@bin bin/coqchk.opt
@sha w/fw0WUTCnT1oXtcyFt6u9zdXu7Hv5I89Hssx39h+mk=
@size 3353316
@ts 1425728670
@bin bin/coqide.opt
@sha Rjcp2Ee8YrS0BnQG8lmOAj0fLjDXXe5ysm6nCGxQh9E=
@size 3734436
@ts 1425728690
@bin bin/coqtop.opt
@sha kKMn/WfEjIQNSYOne51nb0NBdIDh2KBDmuER45+TWjY=
@size 11245028
@ts 1425728669
lib/coq/config/coq_config.cmx
@sha vWwu6F1viSuK0tMbESsW8uUnbz5B+7hmUUYkOSc2IZs=
@size 5318
@ts 1425728689
lib/coq/config/coq_config.o
@sha 6sqsW0Mx3pOWXL9b/3iXIcSSEDPI8VnkRXJ8fPeM0Ws=
@size 12436
@ts 1425728689
lib/coq/ide/ide.a
@sha brtfIC1RO2/RliahrMgI0r9jhO5nZZHWqCkbo2YDmWA=
@size 1968240
@ts 1425728691
lib/coq/ide/ide.cmxa
@sha ln6TPd0dpmh+qBKb4Nx1JeS569/kkmeKmjX04y30GuQ=
@size 33738
@ts 1425728691
lib/coq/interp/interp.a
@sha Y8IqGjGl60mIm1T91QNTErw8YPFEt+LEfOpkhivT2Ac=
@size 885014
@ts 1425728690
lib/coq/interp/interp.cmxa
@sha Ayc+VWQwwwS6UVMEWn/XqaJwvau1YXml0D2xnGy6fe4=
@size 43782
@ts 1425728689
lib/coq/kernel/kernel.a
@sha lzVAgJV7IayGdPfI2cgZEHbE5Xm580Ne1KbhdfK6c5U=
@size 1054216
@ts 1425728690
lib/coq/kernel/kernel.cmxa
@sha SkLf+erj+d+Yw7nOy2CeaxiJtSe6ckqIPJ4fjpYD+KI=
@size 49200
@ts 1425728689
lib/coq/lib/lib.a
@sha vE/PXSdjKSL2B/1W5Tj31Vdx4qX74HgCXam/mjwmxFU=
@size 1076500
@ts 1425728690
lib/coq/lib/lib.cmxa
@sha U0rshiPSl7mLOuSwtly6cErAf/Ii1CDYIh27CddXiF8=
@size 18295
@ts 1425728689
lib/coq/libcoqrun.a
@sha SNvphKTVBxpxcvDNo5bWS897B2Ld1y1KjmDSoDPNcDA=
@size 29414
@ts 1425728689
lib/coq/library/library.a
@sha JPb0TP8xM1Yij9CSc6nl8cLZu5clxyrHdy9x3DNJB8s=
@size 413452
@ts 1425728690
lib/coq/library/library.cmxa
@sha 7+tdKSWoIlJDoXFdkQ+PekWlFFAdwP2k8VTPQ43zSy0=
@size 28712
@ts 1425728689
lib/coq/parsing/highparsing.a
@sha 5+wVslaJUoKei1hgkt6lTcgzTJbEBtXNR1HKDMXtlZM=
@size 1199014
@ts 1425728690
lib/coq/parsing/highparsing.cmxa
@sha obaV5kbSAlVQquIw9Y1Ce+hFckmVoAo7tfaHggxq//8=
@size 17481
@ts 1425728690
lib/coq/parsing/parsing.a
@sha kPluhWIAu5JLlHjoEobDB4P5xGHZHx9aocrbql2h1M8=
@size 615310
@ts 1425728690
lib/coq/parsing/parsing.cmxa
@sha RiYZWZbUsuzXHGEG1AqZL1paBl7TujIfpwEaqJ1zEVM=
@size 32389
@ts 1425728689
lib/coq/plugins/cc/cc_plugin.cmxs
@sha 3eHcFU/vy8XHHr1IdPKPYYAlywZPBDo+lE0gZ3kJkV0=
@size 185518
@ts 1425728690
lib/coq/plugins/decl_mode/decl_mode_plugin.cmxs
@sha zB4RcVYPtbkCM7VGlIkUjz3Y2KPaiT6d0OrUANOF4wM=
@size 458813
@ts 1425728690
lib/coq/plugins/extraction/extraction_plugin.cmxs
@sha ID1OXt2slH+BaVNq1gH2L8mfctJYab4JFyaivn+Phfg=
@size 738894
@ts 1425728690
lib/coq/plugins/field/field_plugin.cmxs
@sha mn3RRRnahGNwVz1cBcFM7fnAQbCZDESnD/61Gyi9AIA=
@size 75876
@ts 1425728690
lib/coq/plugins/firstorder/ground_plugin.cmxs
@sha 1jzS6qAxpcjOhYLkxjpT368+6ojswZYfFif3ewj24sM=
@size 217128
@ts 1425728690
lib/coq/plugins/fourier/fourier_plugin.cmxs
@sha uUxbV5Y/wAhTmVZnCWHjx5rVYgg/KxuW2Rb4RQo7eII=
@size 116176
@ts 1425728690
lib/coq/plugins/funind/recdef_plugin.cmxs
@sha 0ss4pGBh4582+Jp4nMLtoD2DkiZRU7h1MV1NDEg5ALM=
@size 1087902
@ts 1425728690
lib/coq/plugins/micromega/micromega_plugin.cmxs
@sha JPHpypKbdQqnBCj/q+3NlD8IjvhaWHbuHKHsfW+i2S8=
@size 883279
@ts 1425728690
lib/coq/plugins/nsatz/nsatz_plugin.cmxs
@sha oyPjmsetrib9upCw8fgh73pzSFziZp2UIAxdFc5nZCo=
@size 234508
@ts 1425728690
lib/coq/plugins/omega/omega_plugin.cmxs
@sha 7PSTnMX8Dm4Kc+YzgzZm8fLtJVcuAB8+ehNYhOi7m/I=
@size 412141
@ts 1425728690
lib/coq/plugins/quote/quote_plugin.cmxs
@sha aMapp3gu7p6PEqeFpl7wR7rt4BTpzxB2Nxw87e23UlY=
@size 71998
@ts 1425728690
lib/coq/plugins/ring/ring_plugin.cmxs
@sha drPEHtNV8W8mvHD5Vju5PejAHG0RtHR8LhLR8Bmrk1A=
@size 186577
@ts 1425728690
lib/coq/plugins/romega/romega_plugin.cmxs
@sha 1mSZIgeUAfvAcGKxJ1QVHpJbmL7lK0WE+zcs/2g0l7w=
@size 254951
@ts 1425728690
lib/coq/plugins/rtauto/rtauto_plugin.cmxs
@sha xiiBJCEGn+vGmRJpyMT7gFsXMZaCdKlEtV/q+7mm4OI=
@size 119087
@ts 1425728690
lib/coq/plugins/setoid_ring/newring_plugin.cmxs
@sha K9+UaX27Mjd4L8B5k/e8ypRdWLiCkZxRhWbHX6YojiE=
@size 223538
@ts 1425728690
lib/coq/plugins/subtac/subtac_plugin.cmxs
@sha xASSvsWs4F7cs0Pg/CG4UysH+VMltQNCoF9SWoPYskc=
@size 740376
@ts 1425728690
lib/coq/plugins/syntax/ascii_syntax_plugin.cmxs
@sha QtOdFFOKMbFsDSkPY8WVYogsYix4LfrIfnRD7gf0knI=
@size 25897
@ts 1425728690
lib/coq/plugins/syntax/nat_syntax_plugin.cmxs
@sha ORctgxrT40QHJ8c87o2bCYdJlqhUWnAfehg4eNmC3KY=
@size 19790
@ts 1425728690
lib/coq/plugins/syntax/numbers_syntax_plugin.cmxs
@sha C+Jii8Z7VpyHSqtwj1+Nblj+P1qGDsIa60mExzF39IQ=
@size 46516
@ts 1425728690
lib/coq/plugins/syntax/r_syntax_plugin.cmxs
@sha neFj+N0fg1r0rYVebpdr9SB+fgCllQZJ6H4DnyefYBU=
@size 25734
@ts 1425728690
lib/coq/plugins/syntax/string_syntax_plugin.cmxs
@sha n++R/vmOK7LwlHU3r/H68Wp6D9XL40bV1Oa77LF3Rj8=
@size 24562
@ts 1425728690
lib/coq/plugins/syntax/z_syntax_plugin.cmxs
@sha VGqhPGn0OeZhpwHQ0ryKkGsfMPUdNHNRH01O758Abnw=
@size 34883
@ts 1425728690
lib/coq/plugins/xml/xml_plugin.cmxs
@sha /B3QMTcABOBxxLz6lZ8foTeltdbXaAvEskvFEef6snM=
@size 337173
@ts 1425728690
lib/coq/pretyping/pretyping.a
@sha q5RvBY5eI28rTSaKbZQiRQS1Eu4wKRmgBaEZVtdV4G4=
@size 1613346
@ts 1425728690
lib/coq/pretyping/pretyping.cmxa
@sha oxcCin1o5Stky2A6kD5ORatEqRHW/U4nYYK6fkr7lSc=
@size 71089
@ts 1425728689
lib/coq/proofs/proofs.a
@sha E+78i4tM5nVHiuD8tG8kxsfWvOwKSDjQWVvVMAJ41dE=
@size 414234
@ts 1425728690
lib/coq/proofs/proofs.cmxa
@sha 6bQwd5ECR66jyAm0ojlwpVjX9EBgo9f45eLQX/0I/U0=
@size 42147
@ts 1425728689
lib/coq/tactics/hightactics.a
@sha 5K9xBLvRrFNPaNiVvIA3OozwRjSbjVMphVCwSX2W4Ls=
@size 1412560
@ts 1425728690
lib/coq/tactics/hightactics.cmxa
@sha SO2kNxL8lddbdqF47M7vVHOTgAzi5SmKAubkSfRq/28=
@size 37234
@ts 1425728690
lib/coq/tactics/tactics.a
@sha gLvmA+O67b6v21+S7Y7B2w+Z6b3Uo4nGgJY1ocxJUpE=
@size 1468634
@ts 1425728690
lib/coq/tactics/tactics.cmxa
@sha KjTFa6DOKkSnqPm3I1HAqiiiYed9TosGc4KJC2VPLLQ=
@size 70025
@ts 1425728689
lib/coq/toplevel/toplevel.a
@sha aEn9oS+5pdjbSOwlLdOaH6UhT252veTD1CLGe+kKglY=
@size 1378358
@ts 1425728690
lib/coq/toplevel/toplevel.cmxa
@sha sIXzh1pWfceeXCrIfWrwX5Ny2cNgMAjYTHOinnIqYyk=
@size 97777
@ts 1425728689
@man man/man1/coqtop.opt.1
@sha SkvIh5eloRK+EZNBen7FPbibIkRSJgtJhFf0fxr0FKQ=
@size 392
@ts 1425728690
@bin bin/coq-tex
@sha GhKX7ULWEK0U+RqyjKDr6l/wMsxtl4vO4DwjuPUWEuA=
@size 541316
@ts 1425728670
@bin bin/coq_makefile
@sha 02wai2HlsN66HgbMAPXzqE4lEtzOKarmJCMoZoAXZhw=
@size 721444
@ts 1425728670
@bin bin/coqc
@sha r/AIgGR2qkUUOZseqFyaDfZqULvkS3yjj5RVea0XYpE=
@size 2813476
@ts 1425728669
bin/coqchk
@symlink coqchk.opt
bin/coqchk.byte
@sha sYzdffJHqlvxTdkl2u9/i/avmGQXEoxDmJ8rnc5rTWc=
@size 1375970
@ts 1425728668
@bin bin/coqdep
@sha dz7enzWHFS/wwirTuS8rvOz97l9ISaXl76P4x/mX+q0=
@size 2899012
@ts 1425728670
@bin bin/coqdoc
@sha 5/Xa+h1gFNGMFiz2rdnUQpRYd6US7Tknky26haWftKk=
@size 995332
@ts 1425728670
bin/coqide
@symlink coqide.opt
bin/coqide.byte
@sha 3Yeibifgy5vY0QlB9/fhattNh1sqLtOamRtXQWJTqvg=
@size 1529230
@ts 1425728668
@bin bin/coqmktop
@sha 1A+qBDXrsgTkgsItTgbpoxGgGLBYvbpOP95KcBJqGw4=
@size 2822180
@ts 1425728669
bin/coqtop
@symlink coqtop.opt
bin/coqtop.byte
@sha wtDzZYequHj0rZCa+XD+VlmFDS8EsbVPrz4ii6jA0KQ=
@size 6413912
@ts 1425728669
@bin bin/coqwc
@sha UUj2VkhUwqyjk8P7z7SX1Em1ZkDilqiUyzJW9/r57Gs=
@size 435172
@ts 1425728670
@bin bin/gallina
@sha LWatunASU8QYVbA0vd/GUpU1MSfEUTpFuh5NsHWAjRs=
@size 469860
@ts 1425728670
lib/coq/
lib/coq/config/
lib/coq/config/coq_config.cmi
@sha sS5T2ywpO5Bicx43wN4tgGiXiwGMW4PMSU4WDymv0gg=
@size 2054
@ts 1425728682
lib/coq/config/coq_config.cmo
@sha VIuIV8mkvp+Yf04B8n1kuBYoxkqzyTz2Uz0WQ2pdU38=
@size 3345
@ts 1425728690
lib/coq/ide/
lib/coq/ide/command_windows.cmi
@sha 2imQnEKqOIa6nnOuFB9gL5bCngpGf27xrLdIMQ423fc=
@size 2495
@ts 1425728691
lib/coq/ide/config_lexer.cmi
@sha jWBobMcUrY1Igb5+r3CYO3BzBgfnkj/LCtMVQEJNnvs=
@size 1555
@ts 1425728691
lib/coq/ide/coq.cmi
@sha TsKgRfeonktIinr4qwJrwNBCkWtoOxKoJpj0u4yDZR4=
@size 2850
@ts 1425728691
lib/coq/ide/coq_commands.cmi
@sha +arJR+L8/sKYaKYIubdh2VlF+0YPLJZ/YqW45o0YrGw=
@size 417
@ts 1425728691
lib/coq/ide/coq_lex.cmi
@sha dtOgPqtmFx+E+EXRIQEmTYuOJEu50tairIFVR85oLgA=
@size 1853
@ts 1425728691
lib/coq/ide/coqide.cmi
@sha n+f+Q2mtF52zyy//oSnUu0wSUqzsXfKKVmE6b4CbppI=
@size 908
@ts 1425728691
lib/coq/ide/coqide_ui.cmi
@sha Fjd3+xun7gh3yR8kBG9dtPeu6TBoQjz9qVZJU+WaFe4=
@size 1383
@ts 1425728691
lib/coq/ide/gtk_parsing.cmi
@sha 75pEjiWuzHXrHrpYXYmQcsb99s8neR4Bfwma4oR2iws=
@size 3055
@ts 1425728691
lib/coq/ide/ide.cma
@sha OW8HGP3t9mWOmVPvIykwKtp26waui4iiHRzyGSKYQYo=
@size 609619
@ts 1425728690
lib/coq/ide/ideproof.cmi
@sha e2tOp/Gal9VN4hZAmv+mS5m94+2oApUk6U24dFagRKQ=
@size 2426
@ts 1425728691
lib/coq/ide/ideutils.cmi
@sha Q1Wy6/5GsJzzx+GokJ3zSwTpHI+KOo77Oyq3IHxWQZ8=
@size 5528
@ts 1425728691
lib/coq/ide/minilib.cmi
@sha ZtxC1U6GqG9N5Cuef/Sk5c0ihESAaY7XLj/4ie5pem4=
@size 5263
@ts 1425728691
lib/coq/ide/preferences.cmi
@sha oe3NXpQfTG8prSmnSjR9qN7HC6D7GBd2sdvj3DZAoRg=
@size 3249
@ts 1425728691
lib/coq/ide/project_file.cmi
@sha etIsm1yAOTfygkk3Obk/MW0iq+stnMehT4CZsdo8Ln4=
@size 3590
@ts 1425728691
lib/coq/ide/tags.cmi
@sha h/Oc3i79wb5haYUVagw0lgsiTt2ne2nlDZ++GWx8at8=
@size 2583
@ts 1425728691
lib/coq/ide/typed_notebook.cmi
@sha wQ53rLBfpR0uSO5sVN1AjuzpZ7SVS/gt+CTmo9C4b4s=
@size 15451
@ts 1425728691
lib/coq/ide/undo.cmi
@sha JacTccdpnAhmCMZ7GwF0MokpppJdw+RBY4wQSyiIYNA=
@size 18284
@ts 1425728691
lib/coq/ide/utf8_convert.cmi
@sha rw2PNgdRlCKrUWiQoNeCszuKT629pqFIZchXja4adyg=
@size 705
@ts 1425728691
lib/coq/ide/utils/
lib/coq/ide/utils/config_file.cmi
@sha bFFD+wTTdZvXpyUanG0qOUN+2QOaz89EcxqWylDKgJc=
@size 57003
@ts 1425728691
lib/coq/ide/utils/configwin.cmi
@sha wjt38jkMNKjMuDrXOmq/2ONzUbdXS2D7Gae/R2zELYU=
@size 13233
@ts 1425728691
lib/coq/ide/utils/configwin_ihm.cmi
@sha Tt8p7BqSCERWtCKukcl0lasBjAqRVKdlxyk/RSIea80=
@size 21543
@ts 1425728691
lib/coq/ide/utils/configwin_keys.cmi
@sha rRXr55wj7sjPrnaNbcXjPxg88IwSEEcjTtTP03Sa+0s=
@size 56650
@ts 1425728691
lib/coq/ide/utils/configwin_messages.cmi
@sha c3HyhdJd1XgumK9YdfYEn8OoOLwYpkEQPAi33b30w1s=
@size 901
@ts 1425728691
lib/coq/ide/utils/configwin_types.cmi
@sha l5lavUDHxjQGVZ1RimV7QIh6DKwj0km5cXIPLmqehXY=
@size 14964
@ts 1425728691
lib/coq/ide/utils/editable_cells.cmi
@sha JEF6bw2ZccgmFGA7I/2CeSbNb5r2rW1AkFMTceCDTbE=
@size 1502
@ts 1425728691
lib/coq/ide/utils/okey.cmi
@sha EFyefsSrQnLYM92fYy00urqIH1KptiuXBpztH1nnlOo=
@size 4087
@ts 1425728691
lib/coq/interp/
lib/coq/interp/constrextern.cmi
@sha 8OnajopzbzkHF2EhRgGOYshToxx0mAtvbh2PxKZACw4=
@size 5212
@ts 1425728682
lib/coq/interp/constrintern.cmi
@sha Gc+7Fo9qnfJ09wgVdcP1ijYpVV9Uum7Bvk9HZlymgQs=
@size 11593
@ts 1425728682
lib/coq/interp/coqlib.cmi
@sha fzeqXUDowN50Sh+tkHL14Tuo2HIJe2qW4cHHsaZvIgs=
@size 7639
@ts 1425728682
lib/coq/interp/dumpglob.cmi
@sha a0Y1zSycliNp1nglVhbLtYVSKjPEDAF4pDV1vI3qrk0=
@size 4971
@ts 1425728682
lib/coq/interp/genarg.cmi
@sha /ZX07WaOz/Z2xra4jP+T8+J+MQ+TLuWTvRzC3+DwOOs=
@size 14201
@ts 1425728682
lib/coq/interp/implicit_quantifiers.cmi
@sha OU1Nx2NjKhXMZjbCs/pjV4k/HU3awXfYjDq51kYmVs0=
@size 5367
@ts 1425728682
lib/coq/interp/interp.cma
@sha 80Tp9fGrpDws6ekv+HRB9Y92Q+TrWl39uzlEV4gM9gU=
@size 352424
@ts 1425728682
lib/coq/interp/modintern.cmi
@sha Q9+fT2So/7rjHVDe46IhSRY6sfsj80UlYdm/hKb97Ts=
@size 2681
@ts 1425728683
lib/coq/interp/notation.cmi
@sha by1h5qKoneHSJaeNVPQtQLHztVvZ0me/plV5XqEGnw4=
@size 9539
@ts 1425728683
lib/coq/interp/ppextend.cmi
@sha Cm1GM4LAtHCjwVGnlRtTNc/5YcU8RojJ5byC2saEQlY=
@size 1649
@ts 1425728683
lib/coq/interp/reserve.cmi
@sha jdNg6rzhY58y5KenqXz+AC578vautBCQpcJeU1aapTw=
@size 2255
@ts 1425728683
lib/coq/interp/smartlocate.cmi
@sha WeYiipROlBt4AR5sIjBAeQUJ0NQjSYT0yoYmptJsbsc=
@size 2687
@ts 1425728683
lib/coq/interp/syntax_def.cmi
@sha 55IHaJftzn/XBR+u80nMOTIYJiz7VO1NY+Pp2DEgHRI=
@size 2528
@ts 1425728683
lib/coq/interp/topconstr.cmi
@sha I7UKhE50sKD23yFa9fJYk++kYg4jEbtTgho26jbGWqU=
@size 16552
@ts 1425728683
lib/coq/kernel/
lib/coq/kernel/cbytecodes.cmi
@sha LC4u44lwew9riuONEiZj7V1fntjradbm0zXtkwm5jQM=
@size 5433
@ts 1425728683
lib/coq/kernel/cbytegen.cmi
@sha rO9iyrK8IIYrjUv9ls8Twobc/eGw1b6se+45oHcv2x0=
@size 2703
@ts 1425728683
lib/coq/kernel/cemitcodes.cmi
@sha zvmhc2laHcs79y3PzzcXE+jTyPiRbo0ndLPdUaiU1Ik=
@size 2890
@ts 1425728683
lib/coq/kernel/closure.cmi
@sha Y0rgF9tdhsCndEtVjWEHbERmPkeigoQ2QQIh1IT8wVM=
@size 9668
@ts 1425728683
lib/coq/kernel/conv_oracle.cmi
@sha V6TSYcPKmQhF+UtlvfsGgZ55srRJ2xeqUx97gxYaEbM=
@size 1258
@ts 1425728683
lib/coq/kernel/cooking.cmi
@sha 5sO6Z2OfEX5z6/aJVkTv8EjTH5Mlb5Bi/4CpbWyPNbw=
@size 2294
@ts 1425728683
lib/coq/kernel/copcodes.cmi
@sha fs6wtk3HjmaV6Lyl5q+K0pwHTcF/ZkdOJcvy/kwvZFM=
@size 4286
@ts 1425728683
lib/coq/kernel/csymtable.cmi
@sha ZaC5XpkGlEZ64L/epz7zQpagVCmDoSo2cfPn1ptatq8=
@size 1752
@ts 1425728683
lib/coq/kernel/declarations.cmi
@sha OPNzIpmRktbDf6/lmPz5dWZZnnhi5NLnmUIaLQZQf0g=
@size 7692
@ts 1425728683
lib/coq/kernel/entries.cmi
@sha x6fChXJVjCe3np7rRmJ/dqyaedvg4LsbInm6Pcm+als=
@size 3167
@ts 1425728683
lib/coq/kernel/environ.cmi
@sha zWP+pqt8OpP4JCk8juLXIm+FuMZYn95/riRhACOPkj8=
@size 9661
@ts 1425728683
lib/coq/kernel/esubst.cmi
@sha 9qx2jSpMPwztOKCL6yz7bHjxUrOnnOBMfTI8rbzZl1c=
@size 2923
@ts 1425728683
lib/coq/kernel/indtypes.cmi
@sha ziX6V5Cj4zLaOStVviuD4u7ldkVHPMHuni5D1FyuRqY=
@size 2601
@ts 1425728683
lib/coq/kernel/inductive.cmi
@sha Mzmj0tiXPArw6VZ0oCSpgjInKxy/qoCkpONBkFinKK4=
@size 5802
@ts 1425728683
lib/coq/kernel/kernel.cma
@sha pSzs2ofLXaezd0lhXyJrUbyOC21knNYzEu/WIW7gvFQ=
@size 410175
@ts 1425728682
lib/coq/kernel/mod_subst.cmi
@sha oXunryvT0zzWa5Dapv4Tis3nj3dA5TXgJL6MOdXvbDw=
@size 6015
@ts 1425728683
lib/coq/kernel/mod_typing.cmi
@sha 1zlL++bRwEJlyKVejFuUQz0wEsxWijFfZIrjDTe5eEI=
@size 3436
@ts 1425728683
lib/coq/kernel/modops.cmi
@sha +cuS0BSIkOVTu3RVcXBHTykwy2Jbfm/SmaTxuIeF4Kg=
@size 7059
@ts 1425728683
lib/coq/kernel/names.cmi
@sha NBrTESl/VuNEBdYdOz1OZDk2OvSyaUpEPWNU0daGxfs=
@size 70575
@ts 1425728683
lib/coq/kernel/pre_env.cmi
@sha qufI0kYlq5sRS92Uim1nSOyUqrztQIQBXta04AwWCeM=
@size 4211
@ts 1425728683
lib/coq/kernel/reduction.cmi
@sha 7sm8xhfdUhDrAe5VwNRJvqLMbHBYwqUe9HDDxXSSUnE=
@size 5879
@ts 1425728683
lib/coq/kernel/retroknowledge.cmi
@sha MLuRpi98Ap/huvVCYYPeDQFnoVoQ59wsLgH/QvobrqM=
@size 5504
@ts 1425728683
lib/coq/kernel/safe_typing.cmi
@sha pVBEsW/ZP5lunHeIE57tgXcChyxQ5U6gbitFqsmCAAY=
@size 6690
@ts 1425728683
lib/coq/kernel/sign.cmi
@sha oZgyIrE6tCTL6L6Ag+6Z6Jko6GLk/3HE3fFChHV/Wjs=
@size 3282
@ts 1425728683
lib/coq/kernel/subtyping.cmi
@sha E8pKNn3La7BJjWnzyW57dZXNkpleUf59ayQYS5LMrnU=
@size 1667
@ts 1425728683
lib/coq/kernel/term.cmi
@sha uMjry1gJ6ep7hWLysZK+5hTIARyep2jwWENS2IAU8Lk=
@size 21486
@ts 1425728683
lib/coq/kernel/term_typing.cmi
@sha vrpOuBvpSB4moowX6cJWvJo85ryJBzBBITNf25ENga8=
@size 3088
@ts 1425728683
lib/coq/kernel/type_errors.cmi
@sha QOP1VBZ1VBtkE+/TEBGJWVkIjGZihRrEKUicF2H33uY=
@size 7002
@ts 1425728683
lib/coq/kernel/typeops.cmi
@sha XAczba/QcgW5TmuYa0E60sVndH14DJv1OsjC6Ktidj0=
@size 5963
@ts 1425728683
lib/coq/kernel/univ.cmi
@sha +DfohDckDRFYIk1NI/z5NEbUCm68Vualm+D3Wnkk3Jg=
@size 6788
@ts 1425728683
lib/coq/kernel/vconv.cmi
@sha KrukanjXHloppjXOEZO7k2cCci2gcLP/gH/Z1ndaGxk=
@size 1919
@ts 1425728683
lib/coq/kernel/vm.cmi
@sha wDmjsFEJhJPlLm0ACo8kpxnLAXp0zxA/Q5yQthd25Oc=
@size 5777
@ts 1425728683
lib/coq/lib/
lib/coq/lib/bigint.cmi
@sha 4foVaxLSnuIPaVCLNpQo6c/pg32ZfJQGPzv3V2PY2n8=
@size 1815
@ts 1425728683
lib/coq/lib/compat.cmi
@sha 4OSTjBR1OBfTAcZk2Fu3JLCwpP0rm/j7FRj8lsPsCxU=
@size 22079
@ts 1425728683
lib/coq/lib/dnet.cmi
@sha ZRGn2iSu8DAy5AmLLNh7gs8Z1nO8Lr2FQlllrvc3d6c=
@size 8846
@ts 1425728683
lib/coq/lib/dyn.cmi
@sha ILpGH6KWuPaQtntVd6VR9ovwf4Qi0ulyni+crLnUDlc=
@size 409
@ts 1425728683
lib/coq/lib/envars.cmi
@sha SyuQ1LNJf4SZDYX+N6rMmxPKHcrl5Sr32SRXmnBd6Ls=
@size 794
@ts 1425728683
lib/coq/lib/errors.cmi
@sha QQcayI2GuvvQkzz2+gNvJOFCoTCil7Oe1mJgOCO3pzk=
@size 815
@ts 1425728683
lib/coq/lib/explore.cmi
@sha z0gw9aLsoLenc0ihK+V1VHMbdPGCGyR8+WZkiQMFQUQ=
@size 998
@ts 1425728683
lib/coq/lib/flags.cmi
@sha x3WKcB/zl9z7LN2JGqk88chcfjxAeN0B3BrAyC2usaE=
@size 3813
@ts 1425728683
lib/coq/lib/fmap.cmi
@sha 6I+ImhYOY7GFs94L8qbamMdON4adt9uun1W+KJ52xF0=
@size 1553
@ts 1425728683
lib/coq/lib/fset.cmi
@sha rNS2fa3f3eAUSsjuOFAR1aAp1Dn4QNmjzdjhmGsc/fI=
@size 1851
@ts 1425728683
lib/coq/lib/gmap.cmi
@sha VFQmBGLZ+cmiRHhr3xIQH2BdJrQASOBiUiq+xANutIc=
@size 1515
@ts 1425728683
lib/coq/lib/gmapl.cmi
@sha JG1nlX0kn/57J+LEEZSNLe6n9bEUqS8Tmai1Q3aLPy0=
@size 1240
@ts 1425728684
lib/coq/lib/hashcons.cmi
@sha ejnkl7RxnSxG+LewZ3gvHGpYvqZy98uZa9lFwcel4lY=
@size 2771
@ts 1425728684
lib/coq/lib/hashtbl_alt.cmi
@sha B/U8WGupAU7aZqtlt19V7GfQPnXumeLAl/++HyWq+Ns=
@size 1105
@ts 1425728684
lib/coq/lib/heap.cmi
@sha NyVWPmIKX/Vr783Aa2BM31gESQYAZlRhe7X8FI4EHLM=
@size 1468
@ts 1425728684
lib/coq/lib/lib.cma
@sha BjMGosOf7ASgxoNM8NHMuy7vCdB7lkBafYIsFLTVIOY=
@size 273658
@ts 1425728682
lib/coq/lib/option.cmi
@sha lS0EJ3si/XfH2eWxDO7mb4jyba8QjTAO6TiJP6lhhhI=
@size 3046
@ts 1425728684
lib/coq/lib/pp.cmi
@sha H57Ss3IGi046m24GTL5Q3KfUWjsVk3YsShlv5xbnP4s=
@size 5239
@ts 1425728684
lib/coq/lib/pp_control.cmi
@sha OvPl8TsLurmuevqcZFvbnWxy5oeN6FztPYpJ9/OQ16w=
@size 1485
@ts 1425728684
lib/coq/lib/predicate.cmi
@sha 79le5HwjbT+i8ujak5BKt2FDFV/VU3Aaz39P+1KrIqE=
@size 2693
@ts 1425728684
lib/coq/lib/profile.cmi
@sha vuX5885rWYD+z10vhlqS5VGI2OiPcefUbP/cNVZYN/s=
@size 2558
@ts 1425728684
lib/coq/lib/rtree.cmi
@sha 3WjPblNWa28eJLcu1x0NZVFNjC+swzPcYo6ii/2m1Yc=
@size 2337
@ts 1425728684
lib/coq/lib/segmenttree.cmi
@sha XdGvV1B0l4/AE9J9OZEgmm5Qyf4rCP+YwZIHNuOw55A=
@size 476
@ts 1425728684
lib/coq/lib/store.cmi
@sha Pnxhp1ObI2/TUKeutfwc/YrzUwP4odnM/eeX17qdmjc=
@size 665
@ts 1425728684
lib/coq/lib/system.cmi
@sha bb9/vLS6oxHgtNQKFoLaDf0vppppc4hF6OSYrgD7FB0=
@size 3476
@ts 1425728684
lib/coq/lib/tries.cmi
@sha KjsGcfA9NylyVaQKaBavAyp1ybL/Sefyb1DAGkoRbR4=
@size 1296
@ts 1425728684
lib/coq/lib/unicodetable.cmi
@sha 8r0CNmLfzROc3rbf8YH8y+G/1pYnISoYbqBhoi9DWoU=
@size 2560
@ts 1425728684
lib/coq/lib/unionfind.cmi
@sha upf2KPkDKO3Q9Ljl53x8Ffzork3aSjdXXgYRWOklEcU=
@size 4757
@ts 1425728684
lib/coq/lib/util.cmi
@sha c1Q/Ra0/Pn4xoz6di4xheEYXQCUiis01se9C6hAuJ54=
@size 43488
@ts 1425728684
lib/coq/lib/xml_lexer.cmi
@sha VeLRyp0xc87WCIDrBV8EMepmkqdYFXr8j+iA1R3Kkdw=
@size 1274
@ts 1425728684
lib/coq/lib/xml_parser.cmi
@sha zJePc8SW+jMg6bfQSE4GOC9MFDLFsEuB0z2YnkOWbNU=
@size 1930
@ts 1425728684
lib/coq/lib/xml_utils.cmi
@sha UjcfLtLCoBcA4+mhmIwhYTiHcdrm2Qz9h7du1DHb6Qg=
@size 1491
@ts 1425728684
lib/coq/library/
lib/coq/library/assumptions.cmi
@sha +MGdMvpkNAOAV58lgf5jn9xYCDesDuo8rM9ehz9Z1Ug=
@size 5238
@ts 1425728684
lib/coq/library/decl_kinds.cmi
@sha 1QpDN5zKeYwQVWGa6IWqnFlYNwCJo86HUGuFbwKesRg=
@size 3067
@ts 1425728684
lib/coq/library/declare.cmi
@sha lvqUIYt9WufrvSmWGOBwAPThgxpZhafqGYze9BG3xZc=
@size 3963
@ts 1425728684
lib/coq/library/declaremods.cmi
@sha CPM4FvcXcCEonULOfMAqbfZIXehn0K/mvllDtvA9ooU=
@size 6137
@ts 1425728684
lib/coq/library/decls.cmi
@sha 9aL+T7ysnkJGHY84bVuvVgbSOOldaCI7J7yOyjrm0KA=
@size 2735
@ts 1425728684
lib/coq/library/dischargedhypsmap.cmi
@sha 0HUt0rhRW+KoXS0njLK5Rg1nspJspwYsgYHijS6IjwA=
@size 1829
@ts 1425728684
lib/coq/library/global.cmi
@sha l5g3efSP/VZKbIcm7kAxaPgQpIL+8ydZF6/52IAbcS0=
@size 5984
@ts 1425728684
lib/coq/library/goptions.cmi
@sha +aKgxTtqXl7Ad9VwrJSlgxgnufL8IfGaBUCyVGYyKpo=
@size 8470
@ts 1425728684
lib/coq/library/goptionstyp.cmi
@sha +QcmNCxojNEqiqLsxj8LFyp/tpJLF4JXrPTUwNlipZ0=
@size 654
@ts 1425728684
lib/coq/library/heads.cmi
@sha Nvpe9f/h88+YJUz3hgFGztshb9D3dj5LNchz3UFF5XM=
@size 1699
@ts 1425728684
lib/coq/library/impargs.cmi
@sha Zd9un/0X4fEiphvKnCvnUTkmhmzwErehL1crtsg/7Ak=
@size 6877
@ts 1425728684
lib/coq/library/lib.cmi
@sha tE8XRdcZ8jnnYF1VII3VNhKHdmKzitwEKSB2ogbwaAU=
@size 10282
@ts 1425728684
lib/coq/library/libnames.cmi
@sha hdgbkjxIeSTUcH1nX/UtCToYC61x2viNzCakXcEYJ+0=
@size 22792
@ts 1425728684
lib/coq/library/libobject.cmi
@sha kWPF1QSX2eaohqsbmxDPdn1ZaKurqYP53ZXson321YA=
@size 3418
@ts 1425728684
lib/coq/library/library.cma
@sha SJcsalivcaR4854GiYSBs5dIqJXIPc66ujAUJv1X4CE=
@size 155558
@ts 1425728682
lib/coq/library/library.cmi
@sha tG+cuoaGORisJSl+v7Y8AD0Gaw3gOewAplfJwTrtQys=
@size 4117
@ts 1425728684
lib/coq/library/nameops.cmi
@sha QJJEsqEV4AA4Ud3kfMbh0SjDPYLG/N4V3kmRDIYPtz8=
@size 3486
@ts 1425728684
lib/coq/library/nametab.cmi
@sha MaPdPrsxRyg1l7RupTVKnadM2zk75XoMiSd3kay62eg=
@size 5901
@ts 1425728684
lib/coq/library/states.cmi
@sha jUhlFqueAzVpH0TTrflmWd49BcHWrFW0bboRB/uCh1U=
@size 749
@ts 1425728684
lib/coq/library/summary.cmi
@sha 1lV5xVM/GLBPp2G85abiriY7qFVl0fd9CFzex4VNqPI=
@size 803
@ts 1425728684
lib/coq/parsing/
lib/coq/parsing/egrammar.cmi
@sha wfZW2bzNkLvl+3A/Eaa36CYzN0awg4nSu7oLy1PZsOA=
@size 4573
@ts 1425728684
lib/coq/parsing/extend.cmi
@sha R2D0k/lWE/l99mtXDLFJLgyXSX2l7UIlCuKIuuCJlLM=
@size 2061
@ts 1425728684
lib/coq/parsing/extrawit.cmi
@sha bTcsV2EVU3CxNkW+BwqFk3gqtVscAGRXtSlBAN+MPb0=
@size 4314
@ts 1425728684
lib/coq/parsing/g_constr.cmi
@sha SWMwzX2hbziANH2XOWXhcCk9tfTHpm69iY1n9HFfooE=
@size 4755
@ts 1425728684
lib/coq/parsing/g_ltac.cmi
@sha sjDYqGdShNLhx4E3ZF+AHVl5tDBypPlit3yqWtKWy/E=
@size 2972
@ts 1425728684
lib/coq/parsing/g_prim.cmi
@sha 5KtGOyf4/IUpwPAMuN8W4pdt1UR1MAb43wHOvHDeu0U=
@size 2826
@ts 1425728684
lib/coq/parsing/g_proofs.cmi
@sha liTe3OxPaThJFxjopuOyVS/eazbYqsshqZd4ozhUYY8=
@size 3224
@ts 1425728684
lib/coq/parsing/g_tactic.cmi
@sha GoIDBRsFyVkwcVIY5Ol3OjkaUi3ty3DdFSUDxq3JZf0=
@size 5465
@ts 1425728684
lib/coq/parsing/g_vernac.cmi
@sha aZv69zRqT709KcSTKgeVxxk+mq0+7OdLkjmkSS4qJNA=
@size 5350
@ts 1425728684
lib/coq/parsing/g_xml.cmi
@sha Yw91GijpYV4HugATquzd9JSBhcHCMeaDWAPoyGBm55c=
@size 8852
@ts 1425728684
lib/coq/parsing/grammar.cma
@sha RjwSXWx+rMtHL9Pg6qeRRsSKSpCSdfkp2Z7YFfqNb5c=
@size 1355015
@ts 1425728682
lib/coq/parsing/highparsing.cma
@sha 2shyPZXY2jq3E0ichQvfkdMZljg6xQOWLQh1za7IJzY=
@size 514043
@ts 1425728682
lib/coq/parsing/lexer.cmi
@sha zui+XbHX7WKc3js22tHF6T8ebz5wWJWq9+lIY4PDV8o=
@size 9357
@ts 1425728685
lib/coq/parsing/parsing.cma
@sha RseWhewHgJjtNlBsNJcuxc+LZQ3pGXRKOSDVnp7BElk=
@size 269457
@ts 1425728682
lib/coq/parsing/pcoq.cmi
@sha S3GjBExqPtbWoZor3049QrO9CskiK0VSK/+4prgp7l8=
@size 12392
@ts 1425728685
lib/coq/parsing/ppconstr.cmi
@sha kZNwUFisvdtFC7D0dTSM41HSkCHkL4SS/mviJGMuS9Y=
@size 7053
@ts 1425728685
lib/coq/parsing/pptactic.cmi
@sha sCZL8fSx/2HYH50hORoD1KG+EfpPf0A/e/LTgHNrC2U=
@size 8019
@ts 1425728685
lib/coq/parsing/ppvernac.cmi
@sha GICs4SjFmPVkEJAkHYGpKmz63oQxMxJCIfle8pld4z8=
@size 2861
@ts 1425728685
lib/coq/parsing/prettyp.cmi
@sha KGyoF9Qod9dtc9y1fSEJtJAKhM0GAwVsu5ZrIpSQsaA=
@size 6778
@ts 1425728685
lib/coq/parsing/printer.cmi
@sha eVyihvkmOTuqxdFZ/yY0HFkTKJegCiZzSmuVucMJMko=
@size 10821
@ts 1425728685
lib/coq/parsing/printmod.cmi
@sha uPWjOs6V3RXFEVQfBnJnZCT8WNnWCK8VDj/at/Juuug=
@size 739
@ts 1425728685
lib/coq/parsing/q_util.cmi
@sha Z6M3YCYAsuv8qSxCDWdQw1kc8gY65CqjWAsl2XvrnZ8=
@size 3951
@ts 1425728685
lib/coq/parsing/tactic_printer.cmi
@sha Itahw7m0JJwRqvPAPd/VBgdr3fdfsfSfvb9lMeSg5IE=
@size 2811
@ts 1425728685
lib/coq/parsing/tok.cmi
@sha Z1doUdakd1uiOmXeWR2OFM0g875an9I36B6/BmtipaA=
@size 1203
@ts 1425728685
lib/coq/plugins/
lib/coq/plugins/cc/
lib/coq/plugins/cc/cc_plugin.cma
@sha 40r2Ual1iZVIywglh7841e/U4SPKResAui43lWnLMyY=
@size 69275
@ts 1425728682
lib/coq/plugins/cc/cc_plugin_mod.cmi
@sha 7TXYK8Yj0JF6prPA39g0YfuEmxWnyIpcZHhD3kGOeWY=
@size 2428
@ts 1425728685
lib/coq/plugins/cc/ccalgo.cmi
@sha 7CRoL9y5ta3+Op7QNaivLQ3EknoSrIFY1kkFckyqYGo=
@size 17235
@ts 1425728685
lib/coq/plugins/cc/ccproof.cmi
@sha f6yganQhM6QMIChalrwEswGBgNOkszWVejr3qUyd1sw=
@size 3103
@ts 1425728685
lib/coq/plugins/cc/cctac.cmi
@sha fMIpivt2Y0SZgqrDBF1l9YP1y45b12SGElB4sPDJ4xg=
@size 2816
@ts 1425728685
lib/coq/plugins/cc/g_congruence.cmi
@sha RPuNUDMUrBz43YtBI10jziz9SGTHIbAgMB/24sGUyP0=
@size 3248
@ts 1425728685
lib/coq/plugins/decl_mode/
lib/coq/plugins/decl_mode/decl_expr.cmi
@sha YIx9qkTnFng0nME8BalleRyeaRFK8A4FRxNTJa2OAds=
@size 5939
@ts 1425728685
lib/coq/plugins/decl_mode/decl_interp.cmi
@sha ENLfIxj4eQbhtb6VTHo6NCcQIJAEOAPxLMdiVayZqBY=
@size 3336
@ts 1425728685
lib/coq/plugins/decl_mode/decl_mode.cmi
@sha hbo/YyC2VDO/DrPSvXO1rMNIvhTzsfEAOkQRx534CuM=
@size 5245
@ts 1425728685
lib/coq/plugins/decl_mode/decl_mode_plugin.cma
@sha q+L/kD1F7tCPBXxMQci6LHrveLPKIqwaNClKFLBfqc4=
@size 159842
@ts 1425728682
lib/coq/plugins/decl_mode/decl_mode_plugin_mod.cmi
@sha IhFq6xteptskGiLXP67beYAjoIkiUs96a9p3CkjVbY4=
@size 2442
@ts 1425728685
lib/coq/plugins/decl_mode/decl_proof_instr.cmi
@sha P9242PZvHsEXsdbhqZyoN798vq9osRgsuHc3jzM8j3Y=
@size 9230
@ts 1425728685
lib/coq/plugins/decl_mode/g_decl_mode.cmi
@sha sWtoyrc0w0rcWzKXMHZgNlVxOHiMFDuML1BDiOuyxso=
@size 5408
@ts 1425728685
lib/coq/plugins/decl_mode/ppdecl_proof.cmi
@sha Wl/kV7h7JU+hzGAgSy5fUmxrarr1L41uBR5yfjUM49U=
@size 2248
@ts 1425728685
lib/coq/plugins/extraction/
lib/coq/plugins/extraction/ExtrOcamlBasic.vo
@sha 94sxcjUc5Ucc7vPZhJtzGab+gWAL54PAcbKsyL01RF4=
@size 1518
@ts 1425728681
lib/coq/plugins/extraction/ExtrOcamlBigIntConv.vo
@sha 7ZXnaTJB+v7VdtT/Ky7dUYngX5pGwmNGT/z6n8Jp8Ak=
@size 18184
@ts 1425728681
lib/coq/plugins/extraction/ExtrOcamlIntConv.vo
@sha pJXVhGvVeVTJJTZp+GVe46g9rVCKhkEMwk8Qn1C6/SQ=
@size 18311
@ts 1425728681
lib/coq/plugins/extraction/ExtrOcamlNatBigInt.vo
@sha iTvgCiO/Te44o2U9c158hPqnksTWMc3jBLIU9S6cZkY=
@size 13167
@ts 1425728681
lib/coq/plugins/extraction/ExtrOcamlNatInt.vo
@sha PSc/ltjpJngYs/V6+qyB+pgwJA80X4C46ZyMRC27EYk=
@size 13130
@ts 1425728681
lib/coq/plugins/extraction/ExtrOcamlString.vo
@sha lgh8+/YF1PqzggE+Tt9eBabdgnWT6NCulSq2Yhvsjww=
@size 12631
@ts 1425728682
lib/coq/plugins/extraction/ExtrOcamlZBigInt.vo
@sha L9M3BKOY5Ba37L6JUVKtryoP+gP7CG+/gzbl5p+O2DY=
@size 16614
@ts 1425728682
lib/coq/plugins/extraction/ExtrOcamlZInt.vo
@sha Im+Yw4BU014EHI5l/Ejml4TBjCYbxuM3ONJ4fSjZu0c=
@size 16792
@ts 1425728681
lib/coq/plugins/extraction/common.cmi
@sha Cl6q5xa43qrn3+QQ0aP5q1X3q/8mVXn0aRbZK8n0Yys=
@size 5043
@ts 1425728685
lib/coq/plugins/extraction/extract_env.cmi
@sha qsK3zkkDdVWUdjhkwWe/InOeY7fPweJrtWK8+pHAqAU=
@size 2094
@ts 1425728685
lib/coq/plugins/extraction/extraction.cmi
@sha 0/qUs2DlD5IaJggV7B95CB16ZBRyVdbFEfOvfbUltT4=
@size 2605
@ts 1425728685
lib/coq/plugins/extraction/extraction_plugin.cma
@sha Kj3IWI0PJEKqD0OrhrSni/6tjBXbLCJuZghm7ZvTq2w=
@size 279758
@ts 1425728682
lib/coq/plugins/extraction/extraction_plugin_mod.cmi
@sha VMT0gGYWJte6MIyr8H3hj3VgWM0ddj0F7HIeddQLqvQ=
@size 2444
@ts 1425728685
lib/coq/plugins/extraction/g_extraction.cmi
@sha u7tfCS8OQ2ww7fRH6uVLaDSQcwTsAuIC2OMntUymDHo=
@size 4578
@ts 1425728685
lib/coq/plugins/extraction/haskell.cmi
@sha Rr+9e+iebiboVPuXvG5PDL4K97sJirT/n74R/rECWxA=
@size 1327
@ts 1425728685
lib/coq/plugins/extraction/miniml.cmi
@sha M9pokOh+8rrxzyDK41npdAA7gLTRIlmAZ6iFh80Qa9o=
@size 7298
@ts 1425728685
lib/coq/plugins/extraction/mlutil.cmi
@sha +U0H0o58NNhWRgh38YAP4ifZEJm0TbXpTr2ahKNKmTM=
@size 8360
@ts 1425728685
lib/coq/plugins/extraction/modutil.cmi
@sha /y6qzLsF79+s7wkkgVIhk7jjsKncN9evd++of2t1DEM=
@size 2749
@ts 1425728685
lib/coq/plugins/extraction/ocaml.cmi
@sha 1cLOFEcBK6dQYPmCWX9aIFQ0Esle8WA5dg6Ik/IoGeM=
@size 1321
@ts 1425728685
lib/coq/plugins/extraction/scheme.cmi
@sha 8OfQ2ZpxPbsyJpB1nXZlsNtGw4ogth7KDDsTgQ3wYw0=
@size 1324
@ts 1425728685
lib/coq/plugins/extraction/table.cmi
@sha bj0wWzqYYBiBiymLPjgZbKYBcfVL8vp9KINi+BJscVY=
@size 16675
@ts 1425728685
lib/coq/plugins/field/
lib/coq/plugins/field/LegacyField.vo
@sha 4fSiWcOOgJ1Ue3fq9HqHNI7DQtrkttdKNd9Mud97uYY=
@size 2126
@ts 1425728681
lib/coq/plugins/field/LegacyField_Compl.vo
@sha kRVk53adPWqis+TPlGXeygbaa3pnHzJIKn/WsddY+tY=
@size 5314
@ts 1425728681
lib/coq/plugins/field/LegacyField_Tactic.vo
@sha Kk9+akcANb9GJH99RC+jmGD5DDHUfLT4wIFaiUh1YOY=
@size 35076
@ts 1425728681
lib/coq/plugins/field/LegacyField_Theory.vo
@sha 4LwB/FDJvK8+aSF+TH/stDfo+MgJPScbPc5abywIeD8=
@size 208293
@ts 1425728681
lib/coq/plugins/field/field.cmi
@sha 8Cg6CVfaa4uMr4tztr9u89bDUPEbxZnpMvF2zZjxCLE=
@size 10697
@ts 1425728685
lib/coq/plugins/field/field_plugin.cma
@sha 5/u6g7JQmQLx5Y8v5SAfSzeM/gNQdKGETYZGMEFFx9c=
@size 24282
@ts 1425728682
lib/coq/plugins/field/field_plugin_mod.cmi
@sha rFAl68uHXIbq9aN0QnQt+Sh9iEzO+poVAHx6LYsv8VI=
@size 2434
@ts 1425728685
lib/coq/plugins/firstorder/
lib/coq/plugins/firstorder/formula.cmi
@sha j6+dhT0I1P8j6VjtpvWd8iBqzIFPptUe/AKW1/uliYg=
@size 5645
@ts 1425728685
lib/coq/plugins/firstorder/g_ground.cmi
@sha 5ReR6eK7AmI/mekfGjffqa5IBuppgBdy/H1OxrEY89E=
@size 6232
@ts 1425728685
lib/coq/plugins/firstorder/ground.cmi
@sha k5HtQKW0dgKDnGe/z9JVZ770P4xxOZaPGrhvgL7KBUQ=
@size 3018
@ts 1425728685
lib/coq/plugins/firstorder/ground_plugin.cma
@sha /+XL/GgEKdHAJwIGbIi/ZZzuxqOncN7PRN5PnWiFzsc=
@size 75082
@ts 1425728682
lib/coq/plugins/firstorder/ground_plugin_mod.cmi
@sha uNLvyTy+shQrf3RxqeMRz8zwBVFkeQz0CEomlDD2AqA=
@size 2436
@ts 1425728685
lib/coq/plugins/firstorder/instances.cmi
@sha Nwu9Me9LpUIExsXgz+gdGkhc7a0q2vu1R2J5M5e3mGk=
@size 3396
@ts 1425728685
lib/coq/plugins/firstorder/rules.cmi
@sha uZcKm6YidXobBD3FsrLmlKyAV26wiYJ0MEw72Ut2hao=
@size 4624
@ts 1425728685
lib/coq/plugins/firstorder/sequent.cmi
@sha Df1JFD5rncRKo0vjvRA4NlwqMWT0UL/MZ8Db3FDyOFQ=
@size 11834
@ts 1425728685
lib/coq/plugins/firstorder/unify.cmi
@sha tfFRRM4zy6G8YRNJckplWR3iW59DmKivo5S/MbTrEZ4=
@size 1911
@ts 1425728685
lib/coq/plugins/fourier/
lib/coq/plugins/fourier/Fourier.vo
@sha SXbDZt9E2cITOxlADo0xUIH2BLCzg3qUq5muEwh5Ox4=
@size 13730
@ts 1425728681
lib/coq/plugins/fourier/Fourier_util.vo
@sha QWByuh0e0Hk5+C2TxwjZQx4d9w0YT9klpQuYGEhjtd4=
@size 28421
@ts 1425728681
lib/coq/plugins/fourier/fourier.cmi
@sha tzFzwqMxlOVekLZx/GYEps0nStgW2GZ78ggKl82yqDE=
@size 2765
@ts 1425728685
lib/coq/plugins/fourier/fourierR.cmi
@sha 9qUlMrLWfEQIs5unZRX0OwLkqsvcQUelxbk3fisAjxg=
@size 12116
@ts 1425728685
lib/coq/plugins/fourier/fourier_plugin.cma
@sha if14/R9Yi31HtOLxfnEuHuP8RlSwhHp7rsDbmCCvkjI=
@size 37869
@ts 1425728682
lib/coq/plugins/fourier/fourier_plugin_mod.cmi
@sha h205ZZJQ19TlclMCfIkCPhu+nq9zO7cZNQF0GD/MRq8=
@size 2438
@ts 1425728685
lib/coq/plugins/fourier/g_fourier.cmi
@sha 5ZFEFyK0bMbrTixdAGN1m6KUB3SVHK7JARlEGlG8YHY=
@size 3890
@ts 1425728685
lib/coq/plugins/funind/
lib/coq/plugins/funind/Recdef.vo
@sha k/JGRv+I+pwLh1tq7R6Fc9BPR4f2LnrlC4JKrXQ71Yc=
@size 6786
@ts 1425728681
lib/coq/plugins/funind/functional_principles_proofs.cmi
@sha UCiA9yVHaUojhVRvYFeMEvTU+5hoHK1OGpMgVBANCY8=
@size 2972
@ts 1425728685
lib/coq/plugins/funind/functional_principles_types.cmi
@sha xeJPyrIL3f6M8cJcqqoxFCt/L9JCOPJg9E0Y0IQMLd8=
@size 3594
@ts 1425728686
lib/coq/plugins/funind/g_indfun.cmi
@sha Kysro1SNOYbzXzothfMLthkgt2n5zeYiy4pJQj8/u2c=
@size 13928
@ts 1425728686
lib/coq/plugins/funind/glob_term_to_relation.cmi
@sha yH6rsJBarILkeS4TFU0szGzsX+r6uysKqcfBHs9Wnnk=
@size 2257
@ts 1425728686
lib/coq/plugins/funind/glob_termops.cmi
@sha 2xSstJfhOeGN9C9qskkDJ4c3e+pZckSlqM1KFwGfLWc=
@size 7389
@ts 1425728686
lib/coq/plugins/funind/indfun.cmi
@sha LZbIwHBAuPKUik5vdbgpKN3vWaLdi1rFRcv62xay9yQ=
@size 3482
@ts 1425728686
lib/coq/plugins/funind/indfun_common.cmi
@sha XNWb+uE2nX4UwSjSHYymwix79TLUmI6hwZunbTOZbq8=
@size 7244
@ts 1425728686
lib/coq/plugins/funind/invfun.cmi
@sha hzUhgRMKmieNSjZF7JPDwhbCBpX84KiAlEV5AWXh/F0=
@size 8720
@ts 1425728686
lib/coq/plugins/funind/merge.cmi
@sha FlYk2ueDKqJtlX5aaX14P9+9xYeWsYZCw5mD7FLE53Y=
@size 22556
@ts 1425728686
lib/coq/plugins/funind/recdef.cmi
@sha kfHR68i5UOh5LGQB7JOu6XT6K+3+U+oYB6xr3iIsWnM=
@size 21755
@ts 1425728686
lib/coq/plugins/funind/recdef_plugin.cma
@sha A3mMBGn1vGuGj4UKPtLPfic7eMK4hOdDZH4uN9VK/4E=
@size 379553
@ts 1425728682
lib/coq/plugins/funind/recdef_plugin_mod.cmi
@sha YvKfmgWAvjmID18dBqWCrus7/oMgMcvUUqWZHekTdxw=
@size 2436
@ts 1425728686
lib/coq/plugins/micromega/
lib/coq/plugins/micromega/CheckerMaker.vo
@sha JYGpxwYPbCvoCLgSJDsjpkENKH4yrevJJEGS96AmO4I=
@size 598
@ts 1425728680
lib/coq/plugins/micromega/Env.vo
@sha SP5vqZF4p34CzZTXdQBVEyOb6MLXlrGQloiTmkkjX1U=
@size 22474
@ts 1425728680
lib/coq/plugins/micromega/EnvRing.vo
@sha ZIN01YFSO0ndkYCWpNzLzg9tJz9mxuko5Z5na0P3m0I=
@size 385798
@ts 1425728680
lib/coq/plugins/micromega/OrderedRing.vo
@sha UP3LBR/re8M7A1PDOSkjH2PrSDZSHlHCYH5fXNJDtNE=
@size 168153
@ts 1425728680
lib/coq/plugins/micromega/Psatz.vo
@sha x74GfrFlJn0J816h7zTZXvgf4VPwLV0HW1RiFVnqBZM=
@size 21234
@ts 1425728680
lib/coq/plugins/micromega/QMicromega.vo
@sha OyzF2h8886xQPQ8hrUISpfeeENkv/Qr+Hlq73vdAGF0=
@size 40802
@ts 1425728680
lib/coq/plugins/micromega/RMicromega.vo
@sha ezlDZYsox5jkrHAIzuSt53VqKj7GhwR5Z9KvVXZWOlo=
@size 83435
@ts 1425728680
lib/coq/plugins/micromega/Refl.vo
@sha eE3nQK5Y/3i6h+JROmOPT+2zkiHPHTdEM3bTmBmw/wM=
@size 15853
@ts 1425728680
lib/coq/plugins/micromega/RingMicromega.vo
@sha v4CLO/tKQXne9BdnHYrP/D98U/TZIBnY/XfLH8QN10g=
@size 316261
@ts 1425728680
lib/coq/plugins/micromega/Tauto.vo
@sha CTylj3+paf7nRN6rp+HdU+xUnJ/SXAS7zJp8TiPLCx8=
@size 76233
@ts 1425728680
lib/coq/plugins/micromega/VarMap.vo
@sha nLJpW5ixddIckwFGy3RY1U4Eaf17SsL8ej8JtocHUfU=
@size 17033
@ts 1425728680
lib/coq/plugins/micromega/ZCoeff.vo
@sha SnnP9vK/XLWQeihrmodBKMQzLYOHWnPKvLgRz+dKytc=
@size 58045
@ts 1425728680
lib/coq/plugins/micromega/ZMicromega.vo
@sha IFc7L04lmw0TElubtIvk+JmZYxUNBxg6ouYOBUJrZvQ=
@size 273848
@ts 1425728680
lib/coq/plugins/micromega/certificate.cmi
@sha cUV+svb+FT3UaOYaarA3eASEsKgjbH74EOoPg0lIICE=
@size 14308
@ts 1425728686
lib/coq/plugins/micromega/coq_micromega.cmi
@sha Wp7IX2rPdbhahqE0PAWrGBsdH4ZRZhPQQFPVRJ4gFVs=
@size 42035
@ts 1425728686
@bin lib/coq/plugins/micromega/csdpcert
@sha jhAMxEOLRaG7k30SR0ymHkR5Kz3qVwdiEIhYMTGf5Yw=
@size 1109796
@ts 1425728690
lib/coq/plugins/micromega/g_micromega.cmi
@sha v63Bik5ALuqZr6ProaGD5SERc75Ld89HkO5EAEpUDIo=
@size 4707
@ts 1425728686
lib/coq/plugins/micromega/mfourier.cmi
@sha ioGcWIK56TVFNy+SVIQ7NBJzBW9OXygoz+1XW0EBhLY=
@size 20584
@ts 1425728686
lib/coq/plugins/micromega/micromega.cmi
@sha Tga09H2EzkarKO4wA4d0ocg1Cmp7xC8r1sSj6+Jc8P4=
@size 55999
@ts 1425728686
lib/coq/plugins/micromega/micromega_plugin.cma
@sha 5NoGtnF8U0pkYbhlLz9Kolu6UFxXnc0trEIoH7ybf3M=
@size 290481
@ts 1425728682
lib/coq/plugins/micromega/micromega_plugin_mod.cmi
@sha CQcapOS/KJvhIGN+glkCbb+MXE2HXszOVQLmBXu+EqI=
@size 2442
@ts 1425728686
lib/coq/plugins/micromega/mutils.cmi
@sha j0F1ABPQT0xCp/kPHKxohVg8siy84X8XVGPcDvLDrcQ=
@size 9035
@ts 1425728686
lib/coq/plugins/micromega/persistent_cache.cmi
@sha EDuYACs+m9h0B8u5LTGEjbnQCKkbHOomPPNStmLO/So=
@size 1698
@ts 1425728686
lib/coq/plugins/micromega/polynomial.cmi
@sha TSJvGIp84kD6LeZNWPJODNmTT2T4dAeqOWXVTHkCZk0=
@size 16652
@ts 1425728686
lib/coq/plugins/micromega/sos.cmi
@sha KLcPSPod9vtidFTml9kHo1HIUocSGbZE+ToayOibICQ=
@size 1766
@ts 1425728686
lib/coq/plugins/micromega/sos_types.cmi
@sha iL//xfrWZu5dI/VLTJdxAgEYY4r69rV6zqJQOg9IOUQ=
@size 1644
@ts 1425728686
lib/coq/plugins/nsatz/
lib/coq/plugins/nsatz/Nsatz.vo
@sha CcIpmhQUynZT8GVjykCPhvEk529K1UBQDpxgycCd6IQ=
@size 125386
@ts 1425728681
lib/coq/plugins/nsatz/ideal.cmi
@sha aJUmEfwzke1mVtyF2bIVawPEkxCVsHUFHNA0PEldYZU=
@size 21758
@ts 1425728686
lib/coq/plugins/nsatz/nsatz.cmi
@sha l25+P6+Skk+JCHJ+ZRw2BNl/KHs8pbPeDPysgF4u3Qk=
@size 33116
@ts 1425728686
lib/coq/plugins/nsatz/nsatz_plugin.cma
@sha ZLYVThcQiU2E9sbeokj0L+8ZHyijlEwtXcoAn21ZOh4=
@size 81297
@ts 1425728682
lib/coq/plugins/nsatz/nsatz_plugin_mod.cmi
@sha nLFm2wtasOy50ihAlCMkXU0gMSVbT6hrI0nP0cDly3k=
@size 2434
@ts 1425728686
lib/coq/plugins/nsatz/polynom.cmi
@sha 1PNW/zsli8Yxw9FFQBAqpAabn7sJbjxTb5BwpD4d5p4=
@size 15253
@ts 1425728686
lib/coq/plugins/nsatz/utile.cmi
@sha frR7sAn5QItSGLiSmt4u7QxOngwCFoYupQhcaAQ+Md4=
@size 1492
@ts 1425728686
lib/coq/plugins/omega/
lib/coq/plugins/omega/Omega.vo
@sha xhhBthJV3RJD4MGsEu46uH09T6ge3J1vcWZNgQgrM/k=
@size 15971
@ts 1425728680
lib/coq/plugins/omega/OmegaLemmas.vo
@sha T6GefSC7BBWTVGmlGXUtu5qeYhF8NG6tXGu/3YkyjLs=
@size 55877
@ts 1425728680
lib/coq/plugins/omega/OmegaPlugin.vo
@sha g+nqxWedcJBzYwRl8F3jDCFgd82ipY34gmRepDJaXYQ=
@size 627
@ts 1425728680
lib/coq/plugins/omega/PreOmega.vo
@sha P9Hmx0iKKwwixKr7k+7di0fBHNFCVqBp9SwW2ittToo=
@size 53018
@ts 1425728680
lib/coq/plugins/omega/coq_omega.cmi
@sha 4hVB+0Mreib76P4vr+u7eYMO124CUgWxYvAKIGoJZcQ=
@size 40895
@ts 1425728686
lib/coq/plugins/omega/g_omega.cmi
@sha Jxi04sdSnox+wcm+us+V16iexY881tVYUkgwNoTTyLE=
@size 3807
@ts 1425728686
lib/coq/plugins/omega/omega.cmi
@sha P7cRw5RQnrBe0N5EKSNADuglJi71SLNpjikaKqz+Q2k=
@size 12465
@ts 1425728686
lib/coq/plugins/omega/omega_plugin.cma
@sha WaqJNnAPv2HylFiBR47VT4TDaamul9AgY51Te7Ae3Xk=
@size 154960
@ts 1425728682
lib/coq/plugins/omega/omega_plugin_mod.cmi
@sha CKHKTZi102tfASJ+s1OhgEOBo2LvvZpb7rzGQVx+hoc=
@size 2434
@ts 1425728686
lib/coq/plugins/quote/
lib/coq/plugins/quote/Quote.vo
@sha Y7NfWzGYFZC+4Cs3oyIUvBeN8j59bosfnw8cRs8O8vI=
@size 12082
@ts 1425728681
lib/coq/plugins/quote/g_quote.cmi
@sha 7HwtQoKPrGR3firAm5KB1vmfmfL6SNKmFqzlKrfCqIo=
@size 3421
@ts 1425728686
lib/coq/plugins/quote/quote.cmi
@sha dAXEaDCqtf0T1g4K2BWxvkBpmzfFu+HQm8jCUK0caxE=
@size 10068
@ts 1425728686
lib/coq/plugins/quote/quote_plugin.cma
@sha 1G77gxfFUNwe7fra9snlpDoq/Ln0KkkVsEQqqtLnlRg=
@size 24392
@ts 1425728682
lib/coq/plugins/quote/quote_plugin_mod.cmi
@sha MwVLBDyxeaXuYfYQvjV1c5FKl1lsi0a65JrL9DUqeo4=
@size 2434
@ts 1425728686
lib/coq/plugins/ring/
lib/coq/plugins/ring/LegacyArithRing.vo
@sha nexFhGtX/EBDeGDf2R2CKI/++on+9BX49IicffjHYIQ=
@size 18905
@ts 1425728680
lib/coq/plugins/ring/LegacyNArithRing.vo
@sha Mtb6K5c6hyqnlWLZd7tqIcWop1efCC6MDgaeeL65QvY=
@size 16350
@ts 1425728680
lib/coq/plugins/ring/LegacyRing.vo
@sha jSt3W0BhwOv2OM0wrfceGcy/KIu6KtYiyOh5CZTzatI=
@size 14256
@ts 1425728680
lib/coq/plugins/ring/LegacyRing_theory.vo
@sha nZ+2+mJOSAAlBht8PQTGGQAFUUl2U1ZvUXJh58O0Bxw=
@size 82200
@ts 1425728680
lib/coq/plugins/ring/LegacyZArithRing.vo
@sha auOW0YK85MVvpOt/lJwvHhTv37kEtzn3dytNN5Ftrdw=
@size 14828
@ts 1425728681
lib/coq/plugins/ring/Ring_abstract.vo
@sha KWCVj+DqBXxqQhtUZWxH8OapSjGi9AAoRfQhNmTKQRc=
@size 75198
@ts 1425728681
lib/coq/plugins/ring/Ring_normalize.vo
@sha 0AAALRrsHb/EEPEx3wdDsIguAJ1dlqBxLzW6dR6WWqc=
@size 107299
@ts 1425728681
lib/coq/plugins/ring/Setoid_ring.vo
@sha mromzYSO21KC2m3yMyHZuAerYYHOIs5ktv6GkdT8vFU=
@size 1386
@ts 1425728681
lib/coq/plugins/ring/Setoid_ring_normalize.vo
@sha UQ/hieYaDfvHC+WFqX3XvdYzAK8/g4N8iQTJ+xLy3Ec=
@size 155099
@ts 1425728681
lib/coq/plugins/ring/Setoid_ring_theory.vo
@sha 8guyq8Imni7ZgEUmhZjImsiyy6AHX+jUHU3oMjAHSZ4=
@size 121307
@ts 1425728681
lib/coq/plugins/ring/g_ring.cmi
@sha 1iR7YLWQOFU0ZcTZrd090e0belIK6uix4xcl3pPaJHM=
@size 4013
@ts 1425728686
lib/coq/plugins/ring/ring.cmi
@sha NMMK5F3BqLTCZO2DsKe1SX4NxmKQn40U8ZE2FMbNCpI=
@size 23821
@ts 1425728686
lib/coq/plugins/ring/ring_plugin.cma
@sha eA0IWJiKSmZY/XVSdSO5H+D+3I92hQf5Sx/Fkfqua8M=
@size 65371
@ts 1425728682
lib/coq/plugins/ring/ring_plugin_mod.cmi
@sha HPyo96N10MHiMddpoNgsiEtpnunWz8mMBKArCia9ehw=
@size 2432
@ts 1425728686
lib/coq/plugins/romega/
lib/coq/plugins/romega/ROmega.vo
@sha 6misga3cVCtcPLvjveznZNm/BruAVteLYXADCfPmBL8=
@size 11897
@ts 1425728680
lib/coq/plugins/romega/ReflOmegaCore.vo
@sha i6Ey2XU00DcIh/Osl+TzGXF19iJhgOqIW4a5W7yHCpw=
@size 555564
@ts 1425728680
lib/coq/plugins/romega/const_omega.cmi
@sha oevEliccNGIUy5S1CulXc69pJRztLar/M8K65eJf+f8=
@size 12113
@ts 1425728686
lib/coq/plugins/romega/g_romega.cmi
@sha VeFCXVQjI9ZqiMjzKG7ZSSdQhnfh3UTcJP76J0Yplp0=
@size 3491
@ts 1425728686
lib/coq/plugins/romega/refl_omega.cmi
@sha INkDpoMmzcQu7S7P8a/klVn2kNQtR0hsas0tIFJC31s=
@size 27325
@ts 1425728686
lib/coq/plugins/romega/romega_plugin.cma
@sha vIa2MR8pqDrOXvycVNh3zozaAoYQtEQEihk01/jynr8=
@size 90252
@ts 1425728682
lib/coq/plugins/romega/romega_plugin_mod.cmi
@sha G+LGNaIY4x2c2WTcZe5v0Yey/dL6gqcPqYdbLKKpQA0=
@size 2436
@ts 1425728686
lib/coq/plugins/rtauto/
lib/coq/plugins/rtauto/Bintree.vo
@sha FVnu7qxUUIQNrxj7tKCwZpsjbllxCzis9I/mnnNMbjA=
@size 80848
@ts 1425728681
lib/coq/plugins/rtauto/Rtauto.vo
@sha mFoPJ8Zn3DmemAccctAS5jNAcjd3i4wkmuACEZtIYO4=
@size 75336
@ts 1425728681
lib/coq/plugins/rtauto/g_rtauto.cmi
@sha azZHiNcgzh8YFr7h6Mk/fTinDv5l2gctWhqSPpaIM6c=
@size 3047
@ts 1425728686
lib/coq/plugins/rtauto/proof_search.cmi
@sha AKJjmYHIVr/KKfNLdOBqIol5ME+IbIOxsiRt8fxoy+s=
@size 1864
@ts 1425728686
lib/coq/plugins/rtauto/refl_tauto.cmi
@sha RlZgOUHf3P79ssUSDsPNXvtZxjnMLvNFeX8reQ9gBwQ=
@size 3201
@ts 1425728686
lib/coq/plugins/rtauto/rtauto_plugin.cma
@sha JMTg376aSB0ePRNtUV1PCUpfC7SReWntZuIXbRnQGEo=
@size 40950
@ts 1425728682
lib/coq/plugins/rtauto/rtauto_plugin_mod.cmi
@sha z8LT83dhLbx3nnSg9HX9R2ni1EtughsZXptNs8PPM24=
@size 2436
@ts 1425728686
lib/coq/plugins/setoid_ring/
lib/coq/plugins/setoid_ring/Algebra_syntax.vo
@sha hS6SsppW/nlDcy8hZKY8C4ek8ITYfpnGavwhNlm79yg=
@size 9891
@ts 1425728681
lib/coq/plugins/setoid_ring/ArithRing.vo
@sha lEh8BBhngAP55FVRNbdGBbNrNT69ZaYT073DtPVGZX4=
@size 25075
@ts 1425728681
lib/coq/plugins/setoid_ring/BinList.vo
@sha 2HBsgyeiEDGK+07SvzszKaAjO+fqWFibXwfuCxBCN3w=
@size 12323
@ts 1425728681
lib/coq/plugins/setoid_ring/Cring.vo
@sha tVYWzcfuJTVpntnyRJh2Uoe4sXfNm7TJPEnnFrpQLTc=
@size 120357
@ts 1425728681
lib/coq/plugins/setoid_ring/Field.vo
@sha YDc42FaeE1Ov7PdZ/KvylR6Lgo8f1GrjOU6iYK6qay8=
@size 11562
@ts 1425728681
lib/coq/plugins/setoid_ring/Field_tac.vo
@sha zN49+K7xiO9IUm6O5KqLYVufqtHqEb+ediQGSnVJX1Y=
@size 54829
@ts 1425728681
lib/coq/plugins/setoid_ring/Field_theory.vo
@sha ylEu53llU8X3BgmzPHW8PDDW6oBIr9M7aZmEciXG320=
@size 676551
@ts 1425728681
lib/coq/plugins/setoid_ring/InitialRing.vo
@sha Q7rd5N4muRana6Var/lGWqDuvaHv9L8CUbBw7jKPN5Y=
@size 188169
@ts 1425728681
lib/coq/plugins/setoid_ring/Integral_domain.vo
@sha CuUzf6SUzXXyNFQQaj+vIoMdGvVG2B3AUhHoRSKcMbU=
@size 59992
@ts 1425728681
lib/coq/plugins/setoid_ring/NArithRing.vo
@sha By0xe0uLlqBc8DXHS6hrva63F3hToiyxGduS2tEhfWk=
@size 22613
@ts 1425728681
lib/coq/plugins/setoid_ring/Ncring.vo
@sha 13mACdDOwfymMNqjhhrLaYNxV6WEAHyAJ098SNKNDKo=
@size 265862
@ts 1425728681
lib/coq/plugins/setoid_ring/Ncring_initial.vo
@sha fOLl6ZG55mpml6TS3GBmTio1FCXUFGINcPn+GTdCgEc=
@size 164409
@ts 1425728681
lib/coq/plugins/setoid_ring/Ncring_polynom.vo
@sha qCqYUT+0eHKhbMYYnxgGRCH9UozbwRVcV+LJQVDhxnU=
@size 366707
@ts 1425728681
lib/coq/plugins/setoid_ring/Ncring_tac.vo
@sha sOGvCjGHEPNFak6F8n+F4jBxmfPijtB0Yjes6mWnnH8=
@size 110277
@ts 1425728681
lib/coq/plugins/setoid_ring/RealField.vo
@sha VdQzPWuF2zcTcYUBEHNZ0834dJpSoJ+L1DxFatUGiK4=
@size 58159
@ts 1425728681
lib/coq/plugins/setoid_ring/Ring.vo
@sha kLzantyEysbSnjwhQLtrXgRGl5fmklJNDdEWPIY49CQ=
@size 25354
@ts 1425728681
lib/coq/plugins/setoid_ring/Ring_base.vo
@sha PvBolevFhJ4x371K4ts2WAcoY8FSROJFkqNHxaSJork=
@size 11379
@ts 1425728681
lib/coq/plugins/setoid_ring/Ring_equiv.vo
@sha iM+47vqzIWgaas5OBR/y/pJiVf97KEWjYhJNRY19QTQ=
@size 14743
@ts 1425728681
lib/coq/plugins/setoid_ring/Ring_polynom.vo
@sha laWGOfg6lUTzTGcjlNwXp8cKrNHiZt4qVsz9UFrbCYc=
@size 564902
@ts 1425728681
lib/coq/plugins/setoid_ring/Ring_tac.vo
@sha vDWXueijDeS7wiKKWdMnyZRaetB9BTeGtdSTvYJbWMk=
@size 39572
@ts 1425728681
lib/coq/plugins/setoid_ring/Ring_theory.vo
@sha i508cjfeIutS92jVWhC71/admDSBkojKGuTs26af5vU=
@size 236560
@ts 1425728681
lib/coq/plugins/setoid_ring/Rings_Q.vo
@sha qyF3DUuXaGZ5v3HKTO0OMYp5XJwRXYOttKFYsa4CR84=
@size 20408
@ts 1425728681
lib/coq/plugins/setoid_ring/Rings_R.vo
@sha INZQGMdTwDOoz6ITmceJAOdk3Bwn61YljcgyB4ZIRT0=
@size 30554
@ts 1425728681
lib/coq/plugins/setoid_ring/Rings_Z.vo
@sha 6AAFAoMIok32+2U+t9d9lE2MPEfUCliSFkYpfBxIh1g=
@size 15664
@ts 1425728681
lib/coq/plugins/setoid_ring/ZArithRing.vo
@sha 8JrVdVcuYQF9TZsfrP+cwHHMHnSXyYnCBaLBJJ+dTTA=
@size 22175
@ts 1425728681
lib/coq/plugins/setoid_ring/newring.cmi
@sha ogM5j8zqXNhDA46Xl/M0Fu132KbtLluEmZZB5Wo+onY=
@size 29074
@ts 1425728686
lib/coq/plugins/setoid_ring/newring_plugin.cma
@sha ehuwTjo5pUzrHhrZbVI2M9yIc2P03BUWYSrLykKEAIc=
@size 76318
@ts 1425728682
lib/coq/plugins/setoid_ring/newring_plugin_mod.cmi
@sha /sLwH9QhjfMpkod6XyH68BBgPTDeHFwDdbDxDL3ymGY=
@size 2438
@ts 1425728686
lib/coq/plugins/subtac/
lib/coq/plugins/subtac/eterm.cmi
@sha aZ0Oz6DnAvwbj6G/XDf6h+uWCLwXHyl8zlXwlR9Guc8=
@size 4124
@ts 1425728686
lib/coq/plugins/subtac/g_subtac.cmi
@sha Ikdgdc5IzWzP1zFhN/0H5bNyUUogE0n/SvLJEORCONc=
@size 5610
@ts 1425728686
lib/coq/plugins/subtac/subtac.cmi
@sha +rOtOyBNcs6bhWLut0eC1TrDLjBHERh6Rh/qmWGMjk4=
@size 2612
@ts 1425728686
lib/coq/plugins/subtac/subtac_cases.cmi
@sha VJ9xczKtB2HaMokvsN/cge6nXTgSR1DoIJzW5ozvrBQ=
@size 1995
@ts 1425728687
lib/coq/plugins/subtac/subtac_classes.cmi
@sha jRi6o5TEfzl3gg6U2rfiDNo362E8/lc+gHD1AZZsxeY=
@size 3557
@ts 1425728687
lib/coq/plugins/subtac/subtac_coercion.cmi
@sha HgOHmxynuz2SVohmxXiedNnUJSQrSBWjHZ0CKFhjRCA=
@size 2057
@ts 1425728687
lib/coq/plugins/subtac/subtac_command.cmi
@sha f37r2F0XLAGxhVR0mnvJSrrwJPaWJTnWuzLsJ8v7D4Y=
@size 5795
@ts 1425728687
lib/coq/plugins/subtac/subtac_errors.cmi
@sha HNIqTiwbnfY+OyrQyn9tAH9MymGMxD2iuCT4RdYbjqs=
@size 2073
@ts 1425728687
lib/coq/plugins/subtac/subtac_obligations.cmi
@sha mRXMSPouK2lFVeIwIK/gS/bBVjAB4ewM5vF34gCW2UU=
@size 7168
@ts 1425728687
lib/coq/plugins/subtac/subtac_plugin.cma
@sha gfJ5hy1938n6Ai2UdyIx/oqeXUFauRZHTxlsZJvtFo4=
@size 267703
@ts 1425728682
lib/coq/plugins/subtac/subtac_plugin_mod.cmi
@sha CBIQ2JBpFbnTd/VaqB9ivxocaxiUbLbfD/X+lEiY3fs=
@size 2436
@ts 1425728687
lib/coq/plugins/subtac/subtac_pretyping.cmi
@sha ASnQHVip5fUlbbi8G1DsPoSVubv9GgMqHR5XUp16YWQ=
@size 4230
@ts 1425728687
lib/coq/plugins/subtac/subtac_pretyping_F.cmi
@sha G/YQkIwoRWDGcVzt7G7vZmp9sdCI597sslbOpG6v2o4=
@size 11734
@ts 1425728687
lib/coq/plugins/subtac/subtac_utils.cmi
@sha i7QbNLf38EFCRDKvIciYU8SEsgN3EizNb42JR40u3Rc=
@size 11349
@ts 1425728687
lib/coq/plugins/syntax/
lib/coq/plugins/syntax/ascii_syntax.cmi
@sha 80n0P9jAxe3DMD78vdlQeaw7Dn8/PdEDKtKcrHzrLZo=
@size 3910
@ts 1425728687
lib/coq/plugins/syntax/ascii_syntax_plugin.cma
@sha 2yI7ryFsN3k6afisLgQIWywufyG55qMglqUJ2rMnKms=
@size 8338
@ts 1425728682
lib/coq/plugins/syntax/ascii_syntax_plugin_mod.cmi
@sha HktK38IsJG2jx2O8qGwODOFFrrR8xVeFMGDG/I6zDRw=
@size 2448
@ts 1425728687
lib/coq/plugins/syntax/nat_syntax.cmi
@sha /aMMD1e8yjAt37KqXr5Os13f369FxhWMx3KiaheQGOg=
@size 2864
@ts 1425728687
lib/coq/plugins/syntax/nat_syntax_plugin.cma
@sha 4CBy+Hzha+N5XdvBlkp5EhN6+tVHy94tZV8JJ5srDyM=
@size 7123
@ts 1425728682
lib/coq/plugins/syntax/nat_syntax_plugin_mod.cmi
@sha VoFCztj/3IZNtV+nv/tj5zvC9sxzBeAd/6NHnibBJbo=
@size 2444
@ts 1425728687
lib/coq/plugins/syntax/numbers_syntax.cmi
@sha w5NUHc5Sj1lrW6LizDxNf0s890qA+9wryJEnahtidqU=
@size 6664
@ts 1425728687
lib/coq/plugins/syntax/numbers_syntax_plugin.cma
@sha XHu+bhneSgQtrvSF8KwWeSz1wAk9HgYJP2ozcilywqk=
@size 14492
@ts 1425728682
lib/coq/plugins/syntax/numbers_syntax_plugin_mod.cmi
@sha lYle0hgzl8d11GD4kuhNeCpL/m6mwAss1v6DYFN/7EM=
@size 2452
@ts 1425728687
lib/coq/plugins/syntax/r_syntax.cmi
@sha l2UoU1XANMiY1G7FnB0EX9vXu1FqPEh17aYM63XBQ3I=
@size 3806
@ts 1425728687
lib/coq/plugins/syntax/r_syntax_plugin.cma
@sha KP/3Gq4eA1n2styIH7NfSTsfb0S0cFy4Emop498LFZI=
@size 10460
@ts 1425728682
lib/coq/plugins/syntax/r_syntax_plugin_mod.cmi
@sha /z2fLPNpljcDJRNv1n60p0Lw7AbVGU3AUvnBJwahsFk=
@size 2440
@ts 1425728687
lib/coq/plugins/syntax/string_syntax.cmi
@sha 2dIRpdLVDLmMAawIF3bsUf9vkFg+4c1j60/rH6Vdklo=
@size 3355
@ts 1425728687
lib/coq/plugins/syntax/string_syntax_plugin.cma
@sha p2UlGgpsPPLW8mkLKZNo/oouA8jauwJfQWyE1bZm+Sc=
@size 7612
@ts 1425728682
lib/coq/plugins/syntax/string_syntax_plugin_mod.cmi
@sha uXDvU7M+bUcsbAXtHRVGwivVP9XIsNbWOOYTKG2jUTQ=
@size 2450
@ts 1425728687
lib/coq/plugins/syntax/z_syntax.cmi
@sha 8OX3QSKCcvERaAbsWfHXqwdvs8p2Y3zMJeTgKR1ZaO0=
@size 5708
@ts 1425728687
lib/coq/plugins/syntax/z_syntax_plugin.cma
@sha GgcP8kVv0o4XIeFKxrv3ia24VxlWCmOviuXjWSbDSx0=
@size 10587
@ts 1425728682
lib/coq/plugins/syntax/z_syntax_plugin_mod.cmi
@sha vHJ4560oRcb6FAOS/5EEBkg40dLgBJtzX2tSteaPtKw=
@size 2440
@ts 1425728687
lib/coq/plugins/xml/
lib/coq/plugins/xml/acic.cmi
@sha n6BcSJlbjsgPf+QO3wjq1TTkT4XOW2oBRuvDOxeK7xI=
@size 6932
@ts 1425728687
lib/coq/plugins/xml/acic2Xml.cmi
@sha zWY+14f9aJRd34b+pVTxJa9/BEUC48fdkXwfMX0Fr4M=
@size 4101
@ts 1425728687
lib/coq/plugins/xml/cic2Xml.cmi
@sha SSWBkpc8FNPlw1rDNeJ2RYcATXczPrZjZAkfrAVB6vc=
@size 3651
@ts 1425728687
lib/coq/plugins/xml/cic2acic.cmi
@sha It5d8Hz22eeE8MhAiGujAUykk6t8hYtxvd4fSLfxIW0=
@size 8516
@ts 1425728687
lib/coq/plugins/xml/doubleTypeInference.cmi
@sha XkjEyrrHlfEUoBUegEtDNWe1adILc9RDUIT70w8qS0c=
@size 2385
@ts 1425728687
lib/coq/plugins/xml/dumptree.cmi
@sha 0mLLvub82y+StfbQITNs5aS2eb48BX/w3Jypf04/EiI=
@size 4850
@ts 1425728687
lib/coq/plugins/xml/proof2aproof.cmi
@sha oBl6XTJ/T0GaotohoGHHZ7AX6iitMDejdviXH6/YJ6w=
@size 4230
@ts 1425728687
lib/coq/plugins/xml/proofTree2Xml.cmi
@sha 1xGZOcbVJeSkZr3qjpxGFAtBmwo6KQnVhPRmwU84vNI=
@size 4005
@ts 1425728687
lib/coq/plugins/xml/unshare.cmi
@sha /rIaaRdnbceUqhusyn/oAJWX1XDE8NaBFsCA9S4SB/4=
@size 374
@ts 1425728687
lib/coq/plugins/xml/xml.cmi
@sha JyqBU97KS3BJtB/3SZLcVeNV2nh5NfnGVsQ8eAW8N6s=
@size 1268
@ts 1425728687
lib/coq/plugins/xml/xml_plugin.cma
@sha 9FAGNYE7zyhLXO8f94Gq4Hf/uafL+e3RuJNIV32fD3U=
@size 124341
@ts 1425728682
lib/coq/plugins/xml/xml_plugin_mod.cmi
@sha ApLDovysDyZcR+z9ozctHpSOLdY5RPbMJRXlYMokV/w=
@size 2430
@ts 1425728687
lib/coq/plugins/xml/xmlcommand.cmi
@sha NDyPHauSMqFEMLNWCHMNGr6Kv/jxFrc9WwrbcD3tGzQ=
@size 2921
@ts 1425728687
lib/coq/plugins/xml/xmlentries.cmi
@sha zGRaQFd+A33ZlvOkj4hVKGfLF7LqYWecC6RmHhAwxJU=
@size 3417
@ts 1425728687
lib/coq/pretyping/
lib/coq/pretyping/arguments_renaming.cmi
@sha 1/VJCm52Pr+dcTD9U7ohww3Tm9n6VASEaUZPGxW07O8=
@size 2372
@ts 1425728687
lib/coq/pretyping/cases.cmi
@sha eS3vVEkybYUSPrsovk9aoYxXmnQZlRoKk6U3kwO8eCg=
@size 4613
@ts 1425728687
lib/coq/pretyping/cbv.cmi
@sha RufvluwVQE8BLFC2odBuRkFa2Sb38Tjj/nA08j38FI4=
@size 4043
@ts 1425728687
lib/coq/pretyping/classops.cmi
@sha 1HnjP77Tyuo0WSvdjPvTutRJv6irqLlZGT78BZM9R9Q=
@size 5443
@ts 1425728687
lib/coq/pretyping/coercion.cmi
@sha CA119GdSzoc7WHGmdLfvvfjhy1rErAOQ4jiiMa+TuEk=
@size 3777
@ts 1425728687
lib/coq/pretyping/detyping.cmi
@sha j1h7rTtWJqDJhP6Wjj+hpgvp1tjIyNftd5PwmdGu14Q=
@size 5692
@ts 1425728687
lib/coq/pretyping/evarconv.cmi
@sha WIcTpc4yqFueGEx7JXHPoFOxFXakAk9UkmVeNrTd4rw=
@size 4649
@ts 1425728687
lib/coq/pretyping/evarutil.cmi
@sha QwB19y8ehSL3k1VKb7qjYXC4T3j+mE5SlEj5GYftKzk=
@size 14114
@ts 1425728687
lib/coq/pretyping/evd.cmi
@sha dmyfNDwC6PAh+jXDXQykCz88a4LvEg9K1iKZ8Jig2+o=
@size 25969
@ts 1425728687
lib/coq/pretyping/glob_term.cmi
@sha G+B5b233uGmJys/ABeT5dwMwcMmpKzD3fpRCkAkCiks=
@size 8943
@ts 1425728687
lib/coq/pretyping/indrec.cmi
@sha 8PjG66P9oh4sN0Sz+LoX5jwPx5/MrV6AKKrmgUaWLg4=
@size 3620
@ts 1425728687
lib/coq/pretyping/inductiveops.cmi
@sha voAoqSMuaHRaNUho3wivNE6OZrAib8J1y8QwFDml9fo=
@size 9194
@ts 1425728687
lib/coq/pretyping/matching.cmi
@sha CtTV5yDtYK31SXiPUfi0XcXprcFxmVoEgJ3mCIFfMyA=
@size 3500
@ts 1425728687
lib/coq/pretyping/namegen.cmi
@sha tYCDcjpWhBaWOtqlYwePZSbx8eeuEmVCJh7FJ4BajTQ=
@size 6595
@ts 1425728687
lib/coq/pretyping/pattern.cmi
@sha +z8dJ8g3YJVbUGuaBMulSDOCLq/8fLdVq9VLHEOwTVg=
@size 4505
@ts 1425728688
lib/coq/pretyping/pretype_errors.cmi
@sha osrsbi7pvRELyzCbpG5cXntHDndqip4m+5C/zO5i4ag=
@size 9636
@ts 1425728688
lib/coq/pretyping/pretyping.cma
@sha 5GoN0VcLWESayT0ndl2b7O5q/jxd1nyHVQVioysnvUM=
@size 621525
@ts 1425728682
lib/coq/pretyping/pretyping.cmi
@sha xTTRqoQ3kx4hvVlMTeLU1mhf/F4bJJ8iUCCT3FtyhB4=
@size 6560
@ts 1425728688
lib/coq/pretyping/recordops.cmi
@sha 3MI/ZQWyXsI2BB2epC19c9dMCcgxtyf293LY+l00bac=
@size 4487
@ts 1425728688
lib/coq/pretyping/reductionops.cmi
@sha zJJ+yofzpi3shElAbTuJlO0t4by6OprxBmVV/2VNnKY=
@size 14820
@ts 1425728688
lib/coq/pretyping/retyping.cmi
@sha li7LD7hb/VtrZ65zdKhCbS+ImUs/JRqnApUaeqq2rXc=
@size 3033
@ts 1425728688
lib/coq/pretyping/tacred.cmi
@sha hJRczY+KJrgHh4cGp9wXspjtc8vR8+da3N3xDCL5Pgs=
@size 5360
@ts 1425728688
lib/coq/pretyping/term_dnet.cmi
@sha jo8xSk+3U4PF3Ad+s3WpvoHJjpNifvzoV7rEDFtYjI4=
@size 4521
@ts 1425728688
lib/coq/pretyping/termops.cmi
@sha Kd88aKmAZ/1PMeTrH2CUPEkVeAthzjwfKoltu8McR9g=
@size 19276
@ts 1425728688
lib/coq/pretyping/typeclasses.cmi
@sha 7czUCwYzCkArG6FUWXa3kOLbWNf3pF5IYrusS9Y0aGM=
@size 7197
@ts 1425728688
lib/coq/pretyping/typeclasses_errors.cmi
@sha r3/QMnmpXOduhI9BE4qNoVhe9r1pSBl21wb/tat1XJ8=
@size 3537
@ts 1425728688
lib/coq/pretyping/typing.cmi
@sha F7O7l6Osb/j1HFuXQHdmqdEgVuMO95bbnzs9hD2c+tE=
@size 2762
@ts 1425728688
lib/coq/pretyping/unification.cmi
@sha R2hPuWKQMYVY0OTV5APibxTILcwOB+7eEKjVf6HGFyQ=
@size 5188
@ts 1425728688
lib/coq/pretyping/vnorm.cmi
@sha kncerg7Ss9j2aYCVG/Sgpu2BIXhF3/S2Ion+Ol2tX3Y=
@size 1678
@ts 1425728688
lib/coq/proofs/
lib/coq/proofs/clenv.cmi
@sha s/Y8FSRxnabBepUwwI0HXcD7XCtK92O7gyp0nNaPHkw=
@size 7148
@ts 1425728688
lib/coq/proofs/clenvtac.cmi
@sha ui04JKDvlo7qX+SvnT3GHSy+F20jQcaZ2qTVWl7b3WA=
@size 3229
@ts 1425728688
lib/coq/proofs/evar_refiner.cmi
@sha ehN33NOvZxX5LQTfsNmrd2Ijo80WFjCRQp3vBF/80HU=
@size 2775
@ts 1425728688
lib/coq/proofs/goal.cmi
@sha aZbO8V8xLWtclzOV9e7X9Mou0gWeWRRlXh2p6GPjZCM=
@size 8762
@ts 1425728688
lib/coq/proofs/logic.cmi
@sha uMxpCEZoAlNtxPyO6m3hd3htXQ3qAFuQ2/dfpyODFkc=
@size 3218
@ts 1425728688
lib/coq/proofs/pfedit.cmi
@sha ArDxw5m+QK6Sru+K5zQWqHkszIaXcWpZkn6jjYuMwKc=
@size 6245
@ts 1425728688
lib/coq/proofs/proof.cmi
@sha XocBFBZhGvUGY7STDIUeZrPLDWh0XbCaxMKBW4aAlF0=
@size 6020
@ts 1425728688
lib/coq/proofs/proof_global.cmi
@sha 51TPX94Txwe5LqFeObJ7543SbC7fKoWPokTOLRp3dVQ=
@size 5853
@ts 1425728688
lib/coq/proofs/proof_type.cmi
@sha G9pkEv9a6LnuR6oWe4hYz7HesRmkzhqEAsHQuDbZZCo=
@size 5491
@ts 1425728688
lib/coq/proofs/proofs.cma
@sha 3VyO0ERXL78pcUkPIQ4Ai6nJylQ0X2b8O13f+TL173U=
@size 165905
@ts 1425728682
lib/coq/proofs/proofview.cmi
@sha iphF10AbpgryOXFT+kUp2Az7CBx3vmb6UhCAw+aCras=
@size 7398
@ts 1425728688
lib/coq/proofs/redexpr.cmi
@sha LVce9atgUf6qi1j7gILwLSFCnkLtsoHpBVJ6CEThUQ0=
@size 2826
@ts 1425728688
lib/coq/proofs/refiner.cmi
@sha wEgjRPoyN+wW87vOI9Bhz8ushI587Si54GWr5xKWRzo=
@size 9479
@ts 1425728688
lib/coq/proofs/tacexpr.cmi
@sha b7rqnbQoRg7Ob19MB6HaRU4boq+jqcwV2L6xyDMxSMg=
@size 17103
@ts 1425728688
lib/coq/proofs/tacmach.cmi
@sha q0+zRPPghIfvZ/ryrvev3AAAnJX5EkdPrqgZQksXWbk=
@size 12341
@ts 1425728688
lib/coq/proofs/tactic_debug.cmi
@sha 7UnrM7bsUQhj/jywoyI19WrZpFB/m47zYo4xDO0F+Cg=
@size 4882
@ts 1425728688
lib/coq/states/
lib/coq/states/initial.coq
@sha U6HLuxmtMsCWtXQZn/MqVCqhp2qpU6ytBbgExpl3z4w=
@size 334546
@ts 1425728682
lib/coq/tactics/
lib/coq/tactics/auto.cmi
@sha 1gi7ccFRRczZl5ribu5ulJMQq9CfqotMzRqP/wTvLs4=
@size 14058
@ts 1425728688
lib/coq/tactics/autorewrite.cmi
@sha e26imhPHOibhNQ9rPVnNMrcMF7hzNFO8hp86TB3ok/A=
@size 5255
@ts 1425728688
lib/coq/tactics/btermdn.cmi
@sha 4b40LoxSO4D0h4ycK5YArPSVyssnhzUPnsaTaidooiA=
@size 2755
@ts 1425728688
lib/coq/tactics/class_tactics.cmi
@sha SngvX3ig6p0aBmaDRC3AzepcVtFlNiCCzXzMmQ7sr5o=
@size 22524
@ts 1425728688
lib/coq/tactics/contradiction.cmi
@sha i/3zMXLaGwglw+hVXRWCTdfvOLDQl08kbTZ7pu7icv0=
@size 2363
@ts 1425728688
lib/coq/tactics/dn.cmi
@sha qcC6dCsmiKJw580vUoSBOI2hFUCpgoun8lbOX/Lnh5g=
@size 1611
@ts 1425728688
lib/coq/tactics/eauto.cmi
@sha XRcCRgykj+rVhXH7y/RI3r+gcK0J7ca6WFTBvmFI7F8=
@size 4302
@ts 1425728688
lib/coq/tactics/elim.cmi
@sha g9/eg3SpOgmFco34nhdoaxdQUzEfOFytse9gpSxp/LE=
@size 3914
@ts 1425728688
lib/coq/tactics/elimschemes.cmi
@sha tvLOKbTG9jOxzLsOGFobR469ygp2dw4vSnkLmvMe43E=
@size 2906
@ts 1425728688
lib/coq/tactics/eqdecide.cmi
@sha kz89pxdW6VKqBrngAph3yiOSv/gbTymRql/N5wsq7f8=
@size 5673
@ts 1425728688
lib/coq/tactics/eqschemes.cmi
@sha qCp8wEUzanmI/S58MbjsiKqOSuQ1LcTFFFo/N9yRnmc=
@size 3688
@ts 1425728688
lib/coq/tactics/equality.cmi
@sha 5hStV+bEuM2nWJNMl64ystQYl0YrLVmjlSH5yklUamU=
@size 11494
@ts 1425728688
lib/coq/tactics/evar_tactics.cmi
@sha AhZOxC+DILYp/Hi4x0vDtyt99hvWYzNgnNa3dnjt9V8=
@size 3298
@ts 1425728688
lib/coq/tactics/extraargs.cmi
@sha Zp8F1VcGCCgoEPccI+5K9seXeG+inQZrV6iYThf353U=
@size 6885
@ts 1425728688
lib/coq/tactics/extratactics.cmi
@sha 2DdEiaiIT7bPnAIHudBFdKX7rIR4JoZARcwJM1Zf8W8=
@size 2588
@ts 1425728688
lib/coq/tactics/hiddentac.cmi
@sha b7os85pyKD4Ic+oq/kvG5E+3bVK2tO509Pwi6vfwAAU=
@size 10397
@ts 1425728688
lib/coq/tactics/hightactics.cma
@sha 3/+t/5KDqTO3V/pgLGmJxqkNIVrO1SclrN3eIoL5c5c=
@size 571436
@ts 1425728682
lib/coq/tactics/hipattern.cmi
@sha lyZDkt7LXM2ZUl9oeV49d9/TTY3hwPuW0IoB8B3GWws=
@size 7145
@ts 1425728688
lib/coq/tactics/inv.cmi
@sha ArL6Pf9hX7moJE/q9ZASE+aT1RCqh15BFxWuofU7UPE=
@size 4031
@ts 1425728688
lib/coq/tactics/leminv.cmi
@sha 0Szw2iaC2vvYJJVY3Grudb5IUeoBNyRLqyGJhyKoc+k=
@size 3178
@ts 1425728688
lib/coq/tactics/nbtermdn.cmi
@sha UPOYu1rqyhVB/uMmBNYvJOBUu+jFBzA/hpDILHEik+w=
@size 3706
@ts 1425728688
lib/coq/tactics/refine.cmi
@sha 2AAvaiR89rJSuAOFAC93weobM1nwxz4gI3CiRHEvxDQ=
@size 2381
@ts 1425728688
lib/coq/tactics/rewrite.cmi
@sha 9N9ByuRAf0qgTcwalV+aWrdUste8/bnHYRjg6PJTjIs=
@size 41511
@ts 1425728689
lib/coq/tactics/tacinterp.cmi
@sha Fir62DUAVMiXlXhuj6BWZ2ep7rbVQ7050+u542o1jVQ=
@size 11793
@ts 1425728689
lib/coq/tactics/tactic_option.cmi
@sha 2sGd9NR2w6ijtLvjrSOi9RP8bgVabHGtf6IdafYrySg=
@size 2926
@ts 1425728689
lib/coq/tactics/tacticals.cmi
@sha GdAhxyUEikTPy0XEM/pxIntz2ZEvvy7ngLH4ZuVr2bQ=
@size 14986
@ts 1425728689
lib/coq/tactics/tactics.cma
@sha hLq89re1aCJQzM+rVYIPuJSTGn1JYV5yjC9rkzzY5Cs=
@size 529441
@ts 1425728682
lib/coq/tactics/tactics.cmi
@sha jgUOblwGCdYWD32+lv077ca+Z2HHbiFagIKkoMbJ2ZQ=
@size 24670
@ts 1425728689
lib/coq/tactics/tauto.cmi
@sha d1yc2tTozKvxJ2u4F3zO4UkwLiwVPCUzqRpdQVN3OxY=
@size 8187
@ts 1425728689
lib/coq/tactics/termdn.cmi
@sha AqsxEbjFcKVc1NJqymWoj3syw5zvVrinc9DerLzFp0g=
@size 3468
@ts 1425728689
lib/coq/theories/
lib/coq/theories/Arith/
lib/coq/theories/Arith/Arith.vo
@sha gEJekPv4aRyl1Ucsm1j5B79dPXXUA1TTqGcAQUn4uQM=
@size 11563
@ts 1425728671
lib/coq/theories/Arith/Arith_base.vo
@sha 3SIh3a0DtAl4I2lBPuSsm+fu0CCnMx8TtngyHuGNWfM=
@size 1328
@ts 1425728671
lib/coq/theories/Arith/Between.vo
@sha idrqR0Da8XLOXVB3FXnF2SIw1901K1pEsWEPr2uThJI=
@size 26698
@ts 1425728671
lib/coq/theories/Arith/Bool_nat.vo
@sha f5/JoCKdy3UcgjPHuzkq+t8FFibqyb8B6zvMc/eYG7g=
@size 7254
@ts 1425728671
lib/coq/theories/Arith/Compare.vo
@sha Kuzb022cP9yd8IcJkk/emfVNGvyA8guRivoGMWaR3H4=
@size 8851
@ts 1425728671
lib/coq/theories/Arith/Compare_dec.vo
@sha 0sg80DeqqWcIc2Ug/Zucr5MRViUypW8Psl8Je8Jq0oU=
@size 33236
@ts 1425728671
lib/coq/theories/Arith/Div2.vo
@sha hFJ4JPQNs9Xncdqn1XbHUe3C0Z8YYMVFyQ2uDeS4UrI=
@size 18903
@ts 1425728671
lib/coq/theories/Arith/EqNat.vo
@sha GtOB6Zb4Nl1SpJsvWPloAGKMzg9wL0SkAPKaF5UDy/s=
@size 13594
@ts 1425728671
lib/coq/theories/Arith/Euclid.vo
@sha UzimX2h96+sFxFs+W+OjnOBjO30jJoD2fD5gQwVvRfM=
@size 17703
@ts 1425728671
lib/coq/theories/Arith/Even.vo
@sha D5jlOzqqXcyrv5STufkq683NW21UMZ7SM/cLDRY62tQ=
@size 24718
@ts 1425728671
lib/coq/theories/Arith/Factorial.vo
@sha Y/VrZ6FciDf+UssM59APu4kraxBpK5NT5QN3Odj7mvk=
@size 3293
@ts 1425728671
lib/coq/theories/Arith/Gt.vo
@sha XcV8/PI5VSMuhCHNtSMKnljT9cZSfNmmNI646Dsfb2Y=
@size 11018
@ts 1425728671
lib/coq/theories/Arith/Le.vo
@sha xN6QuYEKBO14Z10KtP5lu+B7+VO1vYqH9umvjVgY9hM=
@size 8760
@ts 1425728671
lib/coq/theories/Arith/Lt.vo
@sha xw8umr41PJObLEEQ0PQU57U0Vphhk/sRgtaDIHeKCIQ=
@size 14448
@ts 1425728671
lib/coq/theories/Arith/Max.vo
@sha wJURduq4mydfuqmTKipIbAAJS9IFE6/aJhbD9g4p0sQ=
@size 13942
@ts 1425728671
lib/coq/theories/Arith/Min.vo
@sha ZLVHatj5gOyJLUGdxju0adzSby6BzQViS9PyuWMdqwo=
@size 12281
@ts 1425728671
lib/coq/theories/Arith/Minus.vo
@sha M7adUpAQ1cbi/LDJAopQ10NNzGAj3bv4F30PpXIILdQ=
@size 11902
@ts 1425728671
lib/coq/theories/Arith/Mult.vo
@sha ZW5ds6UJiJ4kh/LIWylIzxQXnWMeyFWi5BmWl1EqABA=
@size 23051
@ts 1425728671
lib/coq/theories/Arith/Peano_dec.vo
@sha 9bUMvritK1QGqSxQNKpImrvuJWnZpKBmX9ldC7QpUPQ=
@size 8987
@ts 1425728671
lib/coq/theories/Arith/Plus.vo
@sha rlGPdRN3XEv97UfQFu2F3fP8AdTjDlSo8Ye9J+OWz/c=
@size 21547
@ts 1425728671
lib/coq/theories/Arith/Wf_nat.vo
@sha PENNjDbPlYRcJEahWkQBQpAZ62M8Zq08IH5xR527vpc=
@size 22405
@ts 1425728671
lib/coq/theories/Bool/
lib/coq/theories/Bool/Bool.vo
@sha SE+a64+48dmeQf3+pHSZdmNylszVWmytvrPY4kXZzlo=
@size 69637
@ts 1425728671
lib/coq/theories/Bool/BoolEq.vo
@sha JIq5LUfHWtOIRHPiM8vE346ISxczUQoMwFG9eRr6hqM=
@size 8263
@ts 1425728671
lib/coq/theories/Bool/Bvector.vo
@sha Z5Oo7IcCOpoYivVNkwizz8C/HYho350ONLt+7whkJk0=
@size 11232
@ts 1425728671
lib/coq/theories/Bool/DecBool.vo
@sha mbSEVsMJ/ImhG+U74BGKWA9f5FmxKyF5oUfI9SLta9k=
@size 3082
@ts 1425728671
lib/coq/theories/Bool/IfProp.vo
@sha tGmKSrGv0Cs9iv7cx+3VIl3sKsqbhPssO16LqUmmPgA=
@size 6059
@ts 1425728671
lib/coq/theories/Bool/Sumbool.vo
@sha HF8GWpTCvJwHQ3tIZNgkmq2M1jRpjSwpWK9zNNb2t8U=
@size 9860
@ts 1425728671
lib/coq/theories/Bool/Zerob.vo
@sha hrx44lP83a3Lz/Vev5KONfq/49Kg7niOk1pIZVG5/Pk=
@size 14968
@ts 1425728671
lib/coq/theories/Classes/
lib/coq/theories/Classes/EquivDec.vo
@sha lUdW7Pl1ivukeIYWFLueU3m8Oz+HJdKPlXYF+wxhups=
@size 174470
@ts 1425728679
lib/coq/theories/Classes/Equivalence.vo
@sha cAUiU5K4bP81U1fac2x5JTy1gJ6fZxuh2NuknosOEqM=
@size 28740
@ts 1425728679
lib/coq/theories/Classes/Init.vo
@sha W2L68JaTMv0rogXgQFNaXyIC5qfMpD5VOfadqTxriSo=
@size 2632
@ts 1425728679
lib/coq/theories/Classes/Morphisms.vo
@sha vuIJWAW7x8l+fgUUTcJRTIoeP8yugpGSkt/ogwEUpC8=
@size 89222
@ts 1425728679
lib/coq/theories/Classes/Morphisms_Prop.vo
@sha xr8CaZk4Ua1r8sTgd87xP0KAA+MUOBEj43EXBXKBYSM=
@size 28021
@ts 1425728679
lib/coq/theories/Classes/Morphisms_Relations.vo
@sha ATHCmozYK2qM8JVQiwSKNDyykYrwVqIB5Kt7eu9ap+U=
@size 14176
@ts 1425728679
lib/coq/theories/Classes/RelationClasses.vo
@sha /Qx4UqfdFjGvZhZRst5hAShFhj13vAEYkXIwv2EPw80=
@size 78202
@ts 1425728679
lib/coq/theories/Classes/RelationPairs.vo
@sha iNx/IrH+dkR8/UUIVTMctU9ul5Nev+ojXQSYlqLNVO0=
@size 33848
@ts 1425728679
lib/coq/theories/Classes/SetoidClass.vo
@sha wjYz7M23DR9PQ5x/ng5PNDkMNqZTgY1JxO7Rup7Gl60=
@size 23934
@ts 1425728679
lib/coq/theories/Classes/SetoidDec.vo
@sha xMrVORqNPC/1dE28J8GRG6sFR3QoK2q0YCNkvxER1+8=
@size 68250
@ts 1425728679
lib/coq/theories/Classes/SetoidTactics.vo
@sha wTVeYZmKBDx0K3xzwUxCd4yIn4mthjXuhlg4efqQ59c=
@size 15163
@ts 1425728679
lib/coq/theories/FSets/
lib/coq/theories/FSets/FMapAVL.vo
@sha 1oqctFP76m+lVAm9bXNdBCQx+u6FGfeDlFqvKCwYMqE=
@size 10277058
@ts 1425728673
lib/coq/theories/FSets/FMapFacts.vo
@sha bMFipCy2vqDDioVRkr/6b934Xh8pP2C5vYVxiO3uH1g=
@size 861598
@ts 1425728673
lib/coq/theories/FSets/FMapFullAVL.vo
@sha Frpy6ELmlbyEjPKduDYaj2fVciXtCJnnOCg5f7DiJgY=
@size 8622364
@ts 1425728673
lib/coq/theories/FSets/FMapInterface.vo
@sha vPPpbLt5WNgBh50CryvfpKsaFyqUuXX7eUloxMXmU38=
@size 108327
@ts 1425728673
lib/coq/theories/FSets/FMapList.vo
@sha FEZCFgtF83hnPqiT/40QKlm7p/ExIcPoi044bkaGTWA=
@size 1198298
@ts 1425728673
lib/coq/theories/FSets/FMapPositive.vo
@sha y0vou4ZbJ1IuKaKr5YVdXgR2pIKu0W5WwDISNZK5zxc=
@size 274692
@ts 1425728673
lib/coq/theories/FSets/FMapWeakList.vo
@sha wdjGAUwBhITxZw+CSNhcB1TAUMl2955psqMKSt5fIbU=
@size 394840
@ts 1425728673
lib/coq/theories/FSets/FMaps.vo
@sha D3xyL6fV92GNszy125FRZpCmj9sbnEywm25rlC2baEQ=
@size 15116
@ts 1425728673
lib/coq/theories/FSets/FSetAVL.vo
@sha MMNrAuMvd3PlnV8v+7MjubmMf4rMaVtynm7W9toHAnc=
@size 1747928
@ts 1425728673
lib/coq/theories/FSets/FSetBridge.vo
@sha KoLrWH+oR+wbcpmbLY3U8R6Uf19liu9vKnYPAz9C93Y=
@size 190112
@ts 1425728673
lib/coq/theories/FSets/FSetCompat.vo
@sha 7vGsnzP+qjjVEe/3I6vComh4WxUBcAdz9y9q1RO8IVU=
@size 423351
@ts 1425728673
lib/coq/theories/FSets/FSetDecide.vo
@sha YoZe3ljBLyQxbacDQv4ffMXAIC7Qbfv/j3UgomHk7Ag=
@size 334925
@ts 1425728673
lib/coq/theories/FSets/FSetEqProperties.vo
@sha 6yl34NSGYBSSOsGw9SxjsJHQrs89oBWT4UKbpTBIiVw=
@size 947180
@ts 1425728673
lib/coq/theories/FSets/FSetFacts.vo
@sha MBYN0I5A1H+5AE5JYxY/xLY/himhUmjUhp03tAgQQu4=
@size 164331
@ts 1425728673
lib/coq/theories/FSets/FSetInterface.vo
@sha GC+KqP7GSFmOW4cPJQfrh46DmV916gcTMp733tR+clo=
@size 126880
@ts 1425728673
lib/coq/theories/FSets/FSetList.vo
@sha q+UGmuOW1OZZ2mV+a3eTJwWCjvOaSQj0rPDVdfH+akk=
@size 646830
@ts 1425728673
lib/coq/theories/FSets/FSetPositive.vo
@sha lzkasvay8TdaJKp1r6gMaXhyGxtvBTUiCY2O8EdZsvg=
@size 190524
@ts 1425728673
lib/coq/theories/FSets/FSetProperties.vo
@sha gRN/AQ7dKEQMgj/WOP8fJtFNGMMEmrkehD1lig1lxBA=
@size 1026972
@ts 1425728673
lib/coq/theories/FSets/FSetToFiniteSet.vo
@sha YhV1FA12XiP6Jrq7JnqPcOHKkFKv8vDE2xcsU/vqEkI=
@size 663508
@ts 1425728673
lib/coq/theories/FSets/FSetWeakList.vo
@sha BW/XU4CqpgWe0txk2DlQq0qWClR8KUCfeUelXncUcwE=
@size 303077
@ts 1425728673
lib/coq/theories/FSets/FSets.vo
@sha IRwL19Z+Sv9vaj9udwETtOX+n/FImQS2RlNrTROdP4U=
@size 16030
@ts 1425728673
lib/coq/theories/Init/
lib/coq/theories/Init/Datatypes.vo
@sha MiwpkEriT9PapF3Yd3/a5WshR/7/m3t1TRkcq834nwc=
@size 58347
@ts 1425728670
lib/coq/theories/Init/Logic.vo
@sha U682y4COetrvC3ruIAxdRSJFt80BkGIFsEExDBpypgk=
@size 54667
@ts 1425728670
lib/coq/theories/Init/Logic_Type.vo
@sha NTL96BbYGbVHmLRXpugvsVBlFghQ1OXqLN+r59v7Urk=
@size 6280
@ts 1425728670
lib/coq/theories/Init/Notations.vo
@sha Amx/MyWWgQkba8TWaQEpo/XrO3Jl3CP3zlb1LJCGDHk=
@size 4678
@ts 1425728670
lib/coq/theories/Init/Peano.vo
@sha TMRwMNktgESoLNvPZawDiKKF4RSJMGSizkxIcMCx1xg=
@size 27241
@ts 1425728670
lib/coq/theories/Init/Prelude.vo
@sha 9SDp9YnU+kCA8OAY+mxeexqvWtOQeyPUNP0osTU262Q=
@size 761
@ts 1425728670
lib/coq/theories/Init/Specif.vo
@sha 8ZxUCr5eBrUR0FlEf+S/Hb4+RoGeLv4iM6qoHHHpCBs=
@size 32802
@ts 1425728670
lib/coq/theories/Init/Tactics.vo
@sha 2acEmOZw97es/OQXuDP+f8R8In5FyUpielFo8kpdqQA=
@size 12933
@ts 1425728670
lib/coq/theories/Init/Wf.vo
@sha SXkAR7/bO/0TkxlPgVJeHzmZPO4BY87+eEvUbzaWtys=
@size 21814
@ts 1425728670
lib/coq/theories/Lists/
lib/coq/theories/Lists/List.vo
@sha sRYlaPOk0cVn7QyKWZwc/S6ipyCEunKU5HhnKhNeIJ8=
@size 244177
@ts 1425728672
lib/coq/theories/Lists/ListSet.vo
@sha l5PUy0K1SAdQiMxjfA4ZACgnXZrJoarzZDHdD6MyZCI=
@size 41506
@ts 1425728672
lib/coq/theories/Lists/ListTactics.vo
@sha Cxa+TPpGoFeCUAQv9vLhvn5lE+HBf/jHLAaCgCuw2BI=
@size 8199
@ts 1425728672
lib/coq/theories/Lists/SetoidList.vo
@sha RAmWdrS0GQwAAcgJeHeiqQOrt1xoVl1Tn/KvLnCguSk=
@size 214540
@ts 1425728672
lib/coq/theories/Lists/SetoidPermutation.vo
@sha jmNOy/2Pw4HeBT89hHQNkUtDr0M9gR3zdEQl5Xh6R+E=
@size 27529
@ts 1425728672
lib/coq/theories/Lists/StreamMemo.vo
@sha CBqXRDXJVzpp8ZSP6NCpuT1KcKOyqCIyM77Ohk/hsGE=
@size 17547
@ts 1425728672
lib/coq/theories/Lists/Streams.vo
@sha kYBcqUVkGRrOd8I4/ploQZkwpBkzJVSydJFsGM5PzjA=
@size 25224
@ts 1425728672
lib/coq/theories/Logic/
lib/coq/theories/Logic/Berardi.vo
@sha L4pmwVRizdf1WK3B1OOd4oaTwYm+iwk3AONeRvT0DNg=
@size 20010
@ts 1425728670
lib/coq/theories/Logic/ChoiceFacts.vo
@sha +my9lT3PqBa0s0UhzAXkgJaQkY7YWFPjjj9gY14cxyw=
@size 76795
@ts 1425728670
lib/coq/theories/Logic/Classical.vo
@sha DQHF3RZCAtoOavnUGctVzEsHiL65ltYeN+NRI1n3mMU=
@size 864
@ts 1425728670
lib/coq/theories/Logic/ClassicalChoice.vo
@sha nmh6e4E6ioeOJ1MZdN9+lHL3N6CHZveAKfw47o0DKHc=
@size 15992
@ts 1425728670
lib/coq/theories/Logic/ClassicalDescription.vo
@sha VRg2JTVAVlTz4EPzMveM4yshCr/ygAzp6Pb7WnE46QM=
@size 19370
@ts 1425728670
lib/coq/theories/Logic/ClassicalEpsilon.vo
@sha /4BZSLti/NmvyjNbFEx2UwzOCnFFHtuhXAqJNEzqTBc=
@size 22525
@ts 1425728670
lib/coq/theories/Logic/ClassicalFacts.vo
@sha NbGDSCy6Dzt9UibV9En95Sl/aAmSHf82woWvsp3rREM=
@size 43981
@ts 1425728670
lib/coq/theories/Logic/ClassicalUniqueChoice.vo
@sha RGDuv1N26XmdZMaPcCvKJOwgX8jfDLcYVaE47vWjXcA=
@size 6038
@ts 1425728670
lib/coq/theories/Logic/Classical_Pred_Set.vo
@sha 80RC0rFRGCQFFn356DhkBTge2I7kRQdyb2hjD0MUo9Y=
@size 4016
@ts 1425728670
lib/coq/theories/Logic/Classical_Pred_Type.vo
@sha CCHwsufdhyQoKM0PrW3qkwaFVFYW82HIhB2nYbY7g/U=
@size 4421
@ts 1425728670
lib/coq/theories/Logic/Classical_Prop.vo
@sha SMiNdyZYDVBl5JwOHunuN4NAYG1d5gWQY17SeRmXD+s=
@size 10893
@ts 1425728670
lib/coq/theories/Logic/Classical_Type.vo
@sha apAJ1mnZX5beowgldoN8RHiCCqOeK8uwjo1mVmD/634=
@size 869
@ts 1425728670
lib/coq/theories/Logic/ConstructiveEpsilon.vo
@sha DqSnm3efaEMS3Eof26IGz6gp8XjmGHjv8hmJCEK2KLU=
@size 34447
@ts 1425728670
lib/coq/theories/Logic/Decidable.vo
@sha /1xtniz0cqhAEVV8IDob3Lf1XZZakQFkF5CJKlzTB68=
@size 16465
@ts 1425728670
lib/coq/theories/Logic/Description.vo
@sha RmAxKGLmXfH+/sUORXqnEuXvtSyposaVNO7ESfXvVyk=
@size 12466
@ts 1425728670
lib/coq/theories/Logic/Diaconescu.vo
@sha YiekM0JHIyjzLyCcW1bUTLZM3cM0fhJeM8tOVf5S5Xk=
@size 34875
@ts 1425728670
lib/coq/theories/Logic/Epsilon.vo
@sha 2yVozpMnP0ZLtrVHsVExs4DO8ZeE/cw8cGM/pHXwjGE=
@size 18581
@ts 1425728670
lib/coq/theories/Logic/Eqdep.vo
@sha lZMMY4sfPDEWfuEdbZevYqJL8g4s/7DhV8OA0aZxVwo=
@size 4326
@ts 1425728670
lib/coq/theories/Logic/EqdepFacts.vo
@sha TaI6tKiQ2tFGi0jJVropPigtuwGE039NXmoZCkq51+g=
@size 40904
@ts 1425728670
lib/coq/theories/Logic/Eqdep_dec.vo
@sha hTbdOjdCUW8V5+mOfEImDXo64sSncOdHWFMRcXsEs3c=
@size 24477
@ts 1425728670
lib/coq/theories/Logic/FunctionalExtensionality.vo
@sha EBVU02A4isUIOJw6NBQDbkWsBNtLldR8rmEkBbsTwTg=
@size 5030
@ts 1425728670
lib/coq/theories/Logic/Hurkens.vo
@sha sZoIPp5I2dAdx0pC0UuODa201bXq+i1si+uqadyeUXk=
@size 8350
@ts 1425728670
lib/coq/theories/Logic/IndefiniteDescription.vo
@sha n16bSLdqWTOar+Ty57Fmi7ACt+pxrwUHOj25RyPMQa4=
@size 14361
@ts 1425728670
lib/coq/theories/Logic/JMeq.vo
@sha T7k4Cp2PepUszRLLTJxji6nxXY16t6pnJIWbrRqFBM0=
@size 13496
@ts 1425728670
lib/coq/theories/Logic/ProofIrrelevance.vo
@sha Y/M5EMoPz7QSCuyRPq0uymrZVitsT0z4BUmZWBpbPws=
@size 7409
@ts 1425728670
lib/coq/theories/Logic/ProofIrrelevanceFacts.vo
@sha n/8ZpwSumAshvXO1D6Uh5QPN0ji22swAZOBr6KGpkRs=
@size 6461
@ts 1425728670
lib/coq/theories/Logic/RelationalChoice.vo
@sha ff+Yad6f4QxnhbfWjGvCRQ7jvsbazinUF4OdRQCsrgE=
@size 2194
@ts 1425728670
lib/coq/theories/Logic/SetIsType.vo
@sha IKYlGV2qnV4pNvt1aQJ7E4X4Bjfx/lNFq50B7Fc+4QY=
@size 694
@ts 1425728670
lib/coq/theories/MSets/
lib/coq/theories/MSets/MSetAVL.vo
@sha QWi2D0QOD2Nibkn5QCX2AbCxjzFr9o79x2ZQdEReBWk=
@size 1620603
@ts 1425728673
lib/coq/theories/MSets/MSetDecide.vo
@sha BXbtPObB3jKKgiVmoFQhVrdFNWWMXisWLBMUVXZDSNc=
@size 371486
@ts 1425728673
lib/coq/theories/MSets/MSetEqProperties.vo
@sha w1w64iQnoKAiAsIuAcGQCq/Ps+qoKktQIbCaC/B8qfA=
@size 1053970
@ts 1425728674
lib/coq/theories/MSets/MSetFacts.vo
@sha SCKhgZkcsFzwNMb+gsjHiW0TJVSGyp1gRdfY+zC0wMs=
@size 188740
@ts 1425728674
lib/coq/theories/MSets/MSetGenTree.vo
@sha qJW3iWHOfr5vur33/ANYB/qDyFYAFKUJbPvZgT6EYYI=
@size 418455
@ts 1425728673
lib/coq/theories/MSets/MSetInterface.vo
@sha wVOzPpc+VfWCTDMSO9FTWKwm/1dgr+rSZHz19tI0sRM=
@size 434071
@ts 1425728674
lib/coq/theories/MSets/MSetList.vo
@sha fpyIiiCtmhzx0n383mpR2/RYZ04exCzSvyE2NDi7KNQ=
@size 821992
@ts 1425728674
lib/coq/theories/MSets/MSetPositive.vo
@sha uGUihC/R5Z3Ssqh4RUmp3Q4/XwOpRk/MgeMRo/67b/Q=
@size 180203
@ts 1425728674
lib/coq/theories/MSets/MSetProperties.vo
@sha DuqSibUqc52vqYFHEY04x8fc15XHJQ6RRWVzUBodahk=
@size 1180553
@ts 1425728674
lib/coq/theories/MSets/MSetRBT.vo
@sha aGQFNVHnJ99AV6KS9G6Mj1WFEwwh5cNQEzm+w9gwzFI=
@size 1488031
@ts 1425728673
lib/coq/theories/MSets/MSetToFiniteSet.vo
@sha q5RwX8YPrFSe5IpvgaZD8tPDM1BDZOfPqo3JLh/MXJU=
@size 765460
@ts 1425728674
lib/coq/theories/MSets/MSetWeakList.vo
@sha TpzJUuvILPb9Ob/HE66AWKED5Hpkk+SciV2qkPkSNj4=
@size 154421
@ts 1425728674
lib/coq/theories/MSets/MSets.vo
@sha aTOd3LM9eGCpGRp7lJRFC9HaJLBMYc2Y8PicpcLYGUY=
@size 25739
@ts 1425728674
lib/coq/theories/NArith/
lib/coq/theories/NArith/BinNat.vo
@sha nYOc3uOyDyM84wIMY/9NnAyLz8X4CHlTMt/21HDD/xs=
@size 1570540
@ts 1425728671
lib/coq/theories/NArith/BinNatDef.vo
@sha /fkH/3fnEAH+7lZDUf9eiZ6QEYSyjr9bKOUG3rcXe7I=
@size 30293
@ts 1425728671
lib/coq/theories/NArith/NArith.vo
@sha qGCkn2RPj8qC7cohPDVLAQYr2ilGXaDGxt61lBfuznE=
@size 13444
@ts 1425728671
lib/coq/theories/NArith/Ndec.vo
@sha zwUS1Dd0EUx53/guBEcuy4J/X7WuM1uNcLWtduA9Wv0=
@size 50513
@ts 1425728671
lib/coq/theories/NArith/Ndigits.vo
@sha 9vKccFW/QL0pFZVBhVA55FmbkaEwAB1zguZHx+wTiMc=
@size 79415
@ts 1425728671
lib/coq/theories/NArith/Ndist.vo
@sha WeNCgarNqlQ6tjJF/SDozsIkX0W/hl3vRkW/uiTVoSI=
@size 44159
@ts 1425728671
lib/coq/theories/NArith/Ndiv_def.vo
@sha MI5KK/FxcgIXcXI6HrNPHSBn1H9gCWcUFdTCAthbJFs=
@size 9367
@ts 1425728671
lib/coq/theories/NArith/Ngcd_def.vo
@sha etQFkm4FeMAW0bre6cyE/SsqQEh3V8DvQeSUuLg+t/0=
@size 7014
@ts 1425728671
lib/coq/theories/NArith/Nnat.vo
@sha X3vhRJLQOpXKJ7i27UW0JYhwTWKEOwHG1vjb4AWbQr4=
@size 25935
@ts 1425728671
lib/coq/theories/NArith/Nsqrt_def.vo
@sha Hm6dj9TRkZtqfQj9AOWXP3nHId2EY1cSisWyVDuR81M=
@size 6907
@ts 1425728671
lib/coq/theories/Numbers/
lib/coq/theories/Numbers/BigNumPrelude.vo
@sha u0MAf2HSIkXov6Ew9qT/QDJQ08MPMw72EvPmeMNQye0=
@size 177371
@ts 1425728676
lib/coq/theories/Numbers/BinNums.vo
@sha 3pupJuKAocjOLeABiY50FQFGOeUitMe8TmSGEHlQELQ=
@size 7351
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/
lib/coq/theories/Numbers/Cyclic/Abstract/
lib/coq/theories/Numbers/Cyclic/Abstract/CyclicAxioms.vo
@sha oxJBgvrXv2IyiZvYNB9rmgGPGBffloFSQsEXMq6TsBk=
@size 161305
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/Abstract/NZCyclic.vo
@sha 0AM87P75VJ3KGTTlUD5UXlWmkoEhIjtsI8NKv99AvYc=
@size 76514
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleAdd.vo
@sha GxRdotykLK8jctkt6EkAcEl74vRNa6e5NMzktSpID8M=
@size 80394
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleBase.vo
@sha IKphlzh0LaaWPmLkH5iq2dMXUah9fmnIGs5zrcRIKCA=
@size 98566
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleCyclic.vo
@sha xgBmPhEOR3WQN+ZxRY3Sw6UKlRO5QgC3F0huppQnwnI=
@size 539084
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleDiv.vo
@sha 1UkBiPumXoQjN0BlAA/c/K4lk1dyfazGgJgozS6gCmA=
@size 1285699
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleDivn1.vo
@sha E42fY4HD+jylYhHaOypsIJhIw0QxILtY/JRvFGncTpw=
@size 438054
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleLift.vo
@sha NlmCM7UEOYVwg6qDOVaWwM7b6aEmQltvowvwHfPTXPk=
@size 434250
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleMul.vo
@sha Njb2tOBXbJZI7AZ2tSJa4LkjGOlCMCpjRwZkD4hKxOA=
@size 507457
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleSqrt.vo
@sha 2TsjgvziAaFm57dZ23ZBymfySlRToOduIMzO5GwlFOE=
@size 1203793
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleSub.vo
@sha qOYLVWbn0cZrwtnP4yP7s57o5Jin0hvtxmz70GKio3Y=
@size 98489
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleType.vo
@sha +Zd53vUDMT+edlvTj3WTyUr2WRlgjX7yF2+wsilz6Yw=
@size 19723
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/Int31/
lib/coq/theories/Numbers/Cyclic/Int31/Cyclic31.vo
@sha IXjApQLDDvGJidBiA0XdOTcQzMDhCxBKi+0Opk1LLVo=
@size 978899
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/Int31/Int31.vo
@sha NrKZu2mc5vYW10cTgprCu2nJf5QR8xu0erpJ2PlRjdU=
@size 62483
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/Int31/Ring31.vo
@sha /Rw7+MPFJme/tsjCHdtZc2FscRXLcmgyR48Y5glTs5U=
@size 100416
@ts 1425728676
lib/coq/theories/Numbers/Cyclic/ZModulo/
lib/coq/theories/Numbers/Cyclic/ZModulo/ZModulo.vo
@sha R/P1w6NF0IXAzuNy7Q/46N1EE8X1m5S+xLtOuHC1usc=
@size 268813
@ts 1425728676
lib/coq/theories/Numbers/Integer/
lib/coq/theories/Numbers/Integer/Abstract/
lib/coq/theories/Numbers/Integer/Abstract/ZAdd.vo
@sha ra7BBREK96U57ycacnVhs/UwHY5nHWxI/N+wuGN+m6U=
@size 309260
@ts 1425728676
lib/coq/theories/Numbers/Integer/Abstract/ZAddOrder.vo
@sha 0Jw+DMoFfTTr8O0bMq+Dm9+8pLcBRZZOPB5MBTkbEo4=
@size 381451
@ts 1425728676
lib/coq/theories/Numbers/Integer/Abstract/ZAxioms.vo
@sha 16uFT9UKMAhrU7PzIyHHjWdIj3KspD7wOFDgvAdZ210=
@size 177991
@ts 1425728676
lib/coq/theories/Numbers/Integer/Abstract/ZBase.vo
@sha QbFVv/lUwz7FqtDDYaGk2qXHTHakLgdnHe4EKRdIdyM=
@size 266859
@ts 1425728676
lib/coq/theories/Numbers/Integer/Abstract/ZBits.vo
@sha L1vQVuN6B56aXB5w8L0949G40+micefkUbGrWbvcbDs=
@size 990944
@ts 1425728677
lib/coq/theories/Numbers/Integer/Abstract/ZDivEucl.vo
@sha eK2ti0iIgxhzh7hlCspvYUgEy1zWxIOp7nWRPWk6fQU=
@size 586098
@ts 1425728677
lib/coq/theories/Numbers/Integer/Abstract/ZDivFloor.vo
@sha IZO1egg6Bc7BlFukadh2Mxy5SCPVvea4JjJtbt0H66I=
@size 539046
@ts 1425728676
lib/coq/theories/Numbers/Integer/Abstract/ZDivTrunc.vo
@sha GF3V8HgrquIqpvO/V7TbXjaOaM0wijs9tRYyvBACqxg=
@size 552694
@ts 1425728676
lib/coq/theories/Numbers/Integer/Abstract/ZGcd.vo
@sha wwVITaCeCUaEvpd6EDsyxNQJqw+c/hT1hTHE/xFquPE=
@size 472825
@ts 1425728677
lib/coq/theories/Numbers/Integer/Abstract/ZLcm.vo
@sha 6xGZW/K5IgJtqOQ15jwYfdjXckVmSLLEtEyyItmirjs=
@size 808060
@ts 1425728677
lib/coq/theories/Numbers/Integer/Abstract/ZLt.vo
@sha PkwUbLxZ5f6NluSNJYKfwId3X3r+XGmzD2IdyfP3zFw=
@size 343159
@ts 1425728676
lib/coq/theories/Numbers/Integer/Abstract/ZMaxMin.vo
@sha JOqKSYlLncxcu26cUow+K7QY43esoN8iSDmuKcyZdIQ=
@size 453930
@ts 1425728677
lib/coq/theories/Numbers/Integer/Abstract/ZMul.vo
@sha hAsAm19QxBqMpH3uc3/Hvkt8CgNovXCtcLoU0GtIJqY=
@size 326388
@ts 1425728676
lib/coq/theories/Numbers/Integer/Abstract/ZMulOrder.vo
@sha 5Lc71qu6XfuQCJnh35yC1+NMS/+laJbfqmS/HvYLyWM=
@size 423860
@ts 1425728676
lib/coq/theories/Numbers/Integer/Abstract/ZParity.vo
@sha 8wTwjA7APNoab6ni5GJlal7HnIurkp6DsLYuK3VP5YU=
@size 412835
@ts 1425728677
lib/coq/theories/Numbers/Integer/Abstract/ZPow.vo
@sha 2xzkWBjADft+9pmNFOBWDYBWRdWFwLilIHjPqJGm2N4=
@size 540009
@ts 1425728677
lib/coq/theories/Numbers/Integer/Abstract/ZProperties.vo
@sha AtldPaPUeYZMkR1ICi5Dl+DV7fsHJgqyI/PJk0Rbscc=
@size 1742938
@ts 1425728677
lib/coq/theories/Numbers/Integer/Abstract/ZSgnAbs.vo
@sha T4iW3ksxgj847YtZ+ozSC3pAdGr/1KSZfoqSokXOWg4=
@size 580735
@ts 1425728676
lib/coq/theories/Numbers/Integer/BigZ/
lib/coq/theories/Numbers/Integer/BigZ/BigZ.vo
@sha sRy4T42+UbR96htuExhuv9ksDI3QCchkcQmIQ6uqv1I=
@size 2277993
@ts 1425728677
lib/coq/theories/Numbers/Integer/BigZ/ZMake.vo
@sha Jvg4ItSiZ9agwJifzZY5X9wQTHuEw7xiErfacWkj1Z4=
@size 167592
@ts 1425728677
lib/coq/theories/Numbers/Integer/Binary/
lib/coq/theories/Numbers/Integer/Binary/ZBinary.vo
@sha 0ITzscPAqSlS2zoQAIqxr7S/EtI+dC4eKZPVufTDs6U=
@size 897649
@ts 1425728678
lib/coq/theories/Numbers/Integer/NatPairs/
lib/coq/theories/Numbers/Integer/NatPairs/ZNatPairs.vo
@sha o2QeuQejO0hRLrKOVMXypELuXBjdjrEsUKNumqNixyY=
@size 470394
@ts 1425728678
lib/coq/theories/Numbers/Integer/SpecViaZ/
lib/coq/theories/Numbers/Integer/SpecViaZ/ZSig.vo
@sha 7f8fSciVX8ba7jHp4H+nmIt+dKjFJpnrUKtMTwHBZFE=
@size 49802
@ts 1425728678
lib/coq/theories/Numbers/Integer/SpecViaZ/ZSigZAxioms.vo
@sha WJt6RtvHt7cz636bkNm0YENDca/M02CfEsnjDUsNEY0=
@size 253615
@ts 1425728678
lib/coq/theories/Numbers/NaryFunctions.vo
@sha n48EAIQdqI1iTG8tv76qvzQMAbfKv9+Xvk0Pn3SAGmY=
@size 18489
@ts 1425728678
lib/coq/theories/Numbers/NatInt/
lib/coq/theories/Numbers/NatInt/NZAdd.vo
@sha XhQZUCyVUxuxKuWDDGw9xcLbXFMnRWG9o//xlAelrVs=
@size 26643
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZAddOrder.vo
@sha VgTXrshGTKiHBxQI3Hz1wx/akfvP2PkrXZkOELR+wTk=
@size 179851
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZAxioms.vo
@sha MfloGPY8MU2yLq9qY/GsGcxS6Dj8FrS3R3BMetKvJEE=
@size 135147
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZBase.vo
@sha SZ1M6wIzu16Bpamqni6mqKjQdDqRWGLIc7ZNqk4Hg4M=
@size 10771
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZBits.vo
@sha bva78ozhKiWZqxYJwZsPtfG++A08HBHRec2S9ZujgCY=
@size 38249
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZDiv.vo
@sha J3wMvMeD4lRVXSYQfL+lwUzpG5sGUFSjyLGAF71XDPc=
@size 270734
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZDomain.vo
@sha rdvbRESIEOKX6uClGa+UIR5G7zeAJJe6szMKFdzwYq8=
@size 157215
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZGcd.vo
@sha YrTCIJbEfCjFdiZ3sH48pB24fKE2JMprhdDX48zKhcY=
@size 245085
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZLog.vo
@sha Xy3AwPhgpaq4ZUL8kXROkKDOtPPPjY9uVaO0tveCVMk=
@size 444458
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZMul.vo
@sha /KXocwnkDKiP6wAYz4I+6/2YtiTxt+WdhRJWi7KIvmE=
@size 50427
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZMulOrder.vo
@sha aQOBFoW2gAlWpcWBth7y8Z3TMIjPPU3JBinMYe0cVGI=
@size 249542
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZOrder.vo
@sha JSu11jTrqBmq0SZK/6vy3ZUVxXiBxwp/Aafp+aU39G0=
@size 166082
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZParity.vo
@sha Iw4f0SFCNK1HahzMlTw39BbWXEWSMt5YD/KMbgX5kXs=
@size 240877
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZPow.vo
@sha 40/UtYboj2M3jQ2agdOqixB920WFC4fZ0RTyKRyC8s4=
@size 273343
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZProperties.vo
@sha wAE8reT0d4gOcJCFVhESYIqrXX8rnAP5oMJJWRy2VAA=
@size 253099
@ts 1425728678
lib/coq/theories/Numbers/NatInt/NZSqrt.vo
@sha K1egersFvGdfFD5g2M1+50Nthog6QS7GGOxRR7Wzg/Q=
@size 338246
@ts 1425728678
lib/coq/theories/Numbers/Natural/
lib/coq/theories/Numbers/Natural/Abstract/
lib/coq/theories/Numbers/Natural/Abstract/NAdd.vo
@sha Hgv9fIz3Y8KY5Zqc2+5TCmGrrmhB1WIm7xZ6VrJME3I=
@size 298492
@ts 1425728678
lib/coq/theories/Numbers/Natural/Abstract/NAddOrder.vo
@sha +aqmrlq/HKuLx1pskMsMWsY4GyqIcmQeFBB7ERDBeSo=
@size 343353
@ts 1425728678
lib/coq/theories/Numbers/Natural/Abstract/NAxioms.vo
@sha 2SRJZ6y4ieEPkczrEKRvhUd4+pLVMI7d4tdG4MJrniY=
@size 194247
@ts 1425728678
lib/coq/theories/Numbers/Natural/Abstract/NBase.vo
@sha lH6lcmQFtXdNs1FRZqGnQs6xafbdybjQgJalXlT2MRw=
@size 277841
@ts 1425728678
lib/coq/theories/Numbers/Natural/Abstract/NBits.vo
@sha aV8sRKH8hw+vSjPyOsNzvPadDXceIcyjuNhC5fbv0p8=
@size 865341
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NDefOps.vo
@sha E0+YbXv9LUXN47Fm0TIeTT6iumEAKe9XoNgjBarDNWY=
@size 500636
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NDiv.vo
@sha Gvmd0CWxc79uaWq+uY7ASp/FmYXmIl/0xbFyBQN1qK8=
@size 428085
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NGcd.vo
@sha 9lvD7o8nHa+GGPAKDrKsM5ITo5ahc83VGZy5acquLOg=
@size 416266
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NIso.vo
@sha /KaR2E0LsYMyzpn8B427gIA0Ka2wrqrmZLhuDEaJjVY=
@size 553119
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NLcm.vo
@sha Qd/iJp0tyZio15O3fEQ/BRVr5as36u9RWtKm9i8M9Us=
@size 517100
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NLog.vo
@sha ZY9LWXyXjMA6l53f42DJoAyFJ/MOWHLKP4Zu7nSlQso=
@size 612131
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NMaxMin.vo
@sha oM2StKG5I0Js0egNrqyZ2AIjIeOQbukWXwaqpFHxHPM=
@size 428731
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NMulOrder.vo
@sha Tpb/54fx81a49DES5BOcWBGAMPuDnoFK/vfw1pCQgAk=
@size 356523
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NOrder.vo
@sha o6rni7SiICJmixACMwInHiA9rl4DN44enoY/vRlkspw=
@size 330775
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NParity.vo
@sha VDrIs0LBVy+Qv0VBJnYfKgp3lNZf0CKZp4q8D0OHJsY=
@size 406469
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NPow.vo
@sha FfigO2FQXKReVEheRjqkDbggW0XfOhKnTf+BHDrNJYU=
@size 486867
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NProperties.vo
@sha JvffCGHXavb+TApvHywmVtUPi5i0uI+13Y21r/M69es=
@size 1310893
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NSqrt.vo
@sha S6xoq6U4Wg0NVh6OMr5RzlMSKV9mfMDzftrR0x5I+tI=
@size 439748
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NStrongRec.vo
@sha n9t0JqTIVz5Z5quH5skQ6pfijIa2dPREFg/GnSPBB40=
@size 434860
@ts 1425728679
lib/coq/theories/Numbers/Natural/Abstract/NSub.vo
@sha 4V+Z2fjS/9ERO7n+5/gDqFSu1bHIJXqeEXDy8m36u3k=
@size 405059
@ts 1425728679
lib/coq/theories/Numbers/Natural/BigN/
lib/coq/theories/Numbers/Natural/BigN/BigN.vo
@sha IBW6iVZqJ5Td5AXA2Iplejv9iVJbNYfk2gAFuR56naA=
@size 2506363
@ts 1425728679
lib/coq/theories/Numbers/Natural/BigN/NMake.vo
@sha GIAmVRQKVcJP3osjXzMmmAXNuHK4oNloa65n1I1mBQU=
@size 726427
@ts 1425728679
lib/coq/theories/Numbers/Natural/BigN/NMake_gen.vo
@sha LTiHq6QygZN/tzXiKqgfzLhGKWEQN4Rr8T7APsMCOlw=
@size 249291
@ts 1425728679
lib/coq/theories/Numbers/Natural/BigN/Nbasic.vo
@sha NueuAilMFx+yDM7qdPG+GJ18GS0yfCip04W73M4Q/cE=
@size 109030
@ts 1425728679
lib/coq/theories/Numbers/Natural/Binary/
lib/coq/theories/Numbers/Natural/Binary/NBinary.vo
@sha e4/ZAhKfA8yffZQlhMnJafVUoZwqO8MxX6lpabNZWQY=
@size 719075
@ts 1425728679
lib/coq/theories/Numbers/Natural/Peano/
lib/coq/theories/Numbers/Natural/Peano/NPeano.vo
@sha 1ln4B+lN5BLU3rLTvhIHi6acxSnKaG8oxVB+Yuhltec=
@size 1438679
@ts 1425728679
lib/coq/theories/Numbers/Natural/SpecViaZ/
lib/coq/theories/Numbers/Natural/SpecViaZ/NSig.vo
@sha untsCXKZnX2OLWaiYY+/2nQahWwEIiz5HNb90lc7k20=
@size 45538
@ts 1425728679
lib/coq/theories/Numbers/Natural/SpecViaZ/NSigNAxioms.vo
@sha hOUe82lP9Jl4ZR/1oEH8oaDzjBAbVZaPv6CbS/7G4zQ=
@size 240603
@ts 1425728679
lib/coq/theories/Numbers/NumPrelude.vo
@sha fT8RgdzeMWmdIXwHk1Go/go39VtZiDSHaWek5NTBhvo=
@size 1381
@ts 1425728679
lib/coq/theories/Numbers/Rational/
lib/coq/theories/Numbers/Rational/BigQ/
lib/coq/theories/Numbers/Rational/BigQ/BigQ.vo
@sha tuH81Ki+m0IZgi21ky7oNhXXq8qS4I18iuBDl3exrKg=
@size 548774
@ts 1425728679
lib/coq/theories/Numbers/Rational/BigQ/QMake.vo
@sha 4rNt1SJKIuczo6Xg49rPIVtVe5l71iZf5y8bR/RO4xQ=
@size 286820
@ts 1425728679
lib/coq/theories/Numbers/Rational/SpecViaQ/
lib/coq/theories/Numbers/Rational/SpecViaQ/QSig.vo
@sha 5DtrFsXAeJ8uui4qsT10W9H5nGhAzOmiI+4YyqVzItk=
@size 149478
@ts 1425728679
lib/coq/theories/PArith/
lib/coq/theories/PArith/BinPos.vo
@sha uUOEXoKXCljTaNDDzA5JOTOiV9M51z7iqNx5LuBQbAk=
@size 421456
@ts 1425728671
lib/coq/theories/PArith/BinPosDef.vo
@sha d5DwiYqDNhDU1eYsAPwNgO4iJuoCEf5pW/My6yv9Rsg=
@size 49502
@ts 1425728671
lib/coq/theories/PArith/PArith.vo
@sha zSfpf2/w484NSvOy9Q864NSyj0dc5OG0gIMWw4FH1QY=
@size 6550
@ts 1425728671
lib/coq/theories/PArith/POrderedType.vo
@sha VeB8cpc4JL8Vk08diPRE8PiXn9ExfaGEuNEhRMzkF6A=
@size 428997
@ts 1425728671
lib/coq/theories/PArith/Pnat.vo
@sha 1scoWNsWDOGfHoIWxrZ2EPwuOQkkS1RgdHx5k2z1Ut8=
@size 38515
@ts 1425728671
lib/coq/theories/Program/
lib/coq/theories/Program/Basics.vo
@sha XMSUy0+fW4THpsBRZE+raQNOBmb9QRWg/BFIMwm+Mak=
@size 3543
@ts 1425728679
lib/coq/theories/Program/Combinators.vo
@sha XwvfHL/RPXkOmWAUttwcuWVAyq9FbJlpstxFGGAzS8U=
@size 9001
@ts 1425728679
lib/coq/theories/Program/Equality.vo
@sha NSxya1nHDhA6KQuGIPA113S1sE9DpOcssBenaQ/fXIA=
@size 38789
@ts 1425728679
lib/coq/theories/Program/Program.vo
@sha CVi4BTzrXwrIhiHFODfqvLfXR5if794bvA3lcVmLNUo=
@size 4248
@ts 1425728679
lib/coq/theories/Program/Subset.vo
@sha Mi5EZNgRhjWl3K1lBXtxpoZyEe+dj2SsH3cmcyuQtGY=
@size 9706
@ts 1425728679
lib/coq/theories/Program/Syntax.vo
@sha SESs5E6SlzvkB4kMdpHFIE/d1VG/vLjxjZun4gp+Wqg=
@size 5415
@ts 1425728680
lib/coq/theories/Program/Tactics.vo
@sha j7PT3jikzwJCKFGM+6LriVVqIsIQu4Dup06urZdZTjg=
@size 22575
@ts 1425728680
lib/coq/theories/Program/Utils.vo
@sha pHRDLAhjdlIuq23q+qXsxCSTAh37Pwr6Fk5sGhiGepw=
@size 1874
@ts 1425728680
lib/coq/theories/Program/Wf.vo
@sha 76hvcmT32loq12tfZSATtqtYjOFgFN2Yd18DvGiKfrI=
@size 33071
@ts 1425728680
lib/coq/theories/QArith/
lib/coq/theories/QArith/QArith.vo
@sha ipqzOmJ7fcMht6KRu4Cz9sW6k7x5F0OC1fh2RxksKuc=
@size 12741
@ts 1425728675
lib/coq/theories/QArith/QArith_base.vo
@sha WtCmvIP2n6thqksdAlPZUpeE9uygqWcGjX1VSp06DHs=
@size 149166
@ts 1425728675
lib/coq/theories/QArith/QOrderedType.vo
@sha tZsf7JZ5tP6l9C77LwIihcgi06DjJy+/csf7rptsY54=
@size 59738
@ts 1425728676
lib/coq/theories/QArith/Qabs.vo
@sha vj1Pp3NDy7PvU8ddrt5VrbhcAokUK68qUGUHPQsbmV8=
@size 40615
@ts 1425728675
lib/coq/theories/QArith/Qcanon.vo
@sha pYDj9d/NO/o1FlUeqUIqn9r3CZb11DSOPHDYTNJjW5M=
@size 125442
@ts 1425728675
lib/coq/theories/QArith/Qfield.vo
@sha oUvDdFfDyBkvVYCnOEphuMnEYcxcGvoFQEtsFiQRiCQ=
@size 64459
@ts 1425728676
lib/coq/theories/QArith/Qminmax.vo
@sha ZzQi+3ndGhQS1+lGn3XTrtmrDocVfcPKqrx52FkJjnk=
@size 141564
@ts 1425728676
lib/coq/theories/QArith/Qpower.vo
@sha DyGm/GPBTXbMBB18OmRDrv/JiurYGssYrQVefz4LCoI=
@size 56171
@ts 1425728676
lib/coq/theories/QArith/Qreals.vo
@sha at8wfacDqr+nQfbAMG6a2cMMdV3uc/wtqBW17YR+P/s=
@size 39100
@ts 1425728676
lib/coq/theories/QArith/Qreduction.vo
@sha o49yLRVdTXWPTR9LKyJDBATaYJVKb0i6f72/jRRsffc=
@size 49301
@ts 1425728676
lib/coq/theories/QArith/Qring.vo
@sha WljKwj11Z3xgLWtRY3gtKFOpn6BxCI8aE3loV8YWCPA=
@size 12578
@ts 1425728676
lib/coq/theories/QArith/Qround.vo
@sha iCyJCt6b0GSAjXsKgdBsIOp0DGgPsMx1v7gup76enzE=
@size 32097
@ts 1425728676
lib/coq/theories/Reals/
lib/coq/theories/Reals/Alembert.vo
@sha OB+MOeYxGHFK5OL96HrNr8Hx5ayj7XBo8qmojrsN9S4=
@size 231314
@ts 1425728674
lib/coq/theories/Reals/AltSeries.vo
@sha sh5fMfO2eeQ+zrpZU1IibphJvXrZXxKqDEYEvECBpdw=
@size 45698
@ts 1425728674
lib/coq/theories/Reals/ArithProp.vo
@sha 71F4OoXfGbB6l1LL/7YBWVGGMb6nBnEjCjLrcv979Bg=
@size 30264
@ts 1425728674
lib/coq/theories/Reals/Binomial.vo
@sha x3B5p0o/Ily+KDJIgeMamKi5Z0oM1oVtZ9PSqbFMGPE=
@size 37101
@ts 1425728674
lib/coq/theories/Reals/Cauchy_prod.vo
@sha 6bCulcCVptOpYWq43p8Yu82bc3ZHEIeRvl3yjp/SxEw=
@size 45417
@ts 1425728674
lib/coq/theories/Reals/Cos_plus.vo
@sha dtm7hr6Avra4ViZ41hEUz4TjuUrL78BST0VhzB6pSIY=
@size 264938
@ts 1425728674
lib/coq/theories/Reals/Cos_rel.vo
@sha kKyVH3zCO341aMRWWx0h0kOALwwjq+s9Wb+56jlFq08=
@size 72731
@ts 1425728674
lib/coq/theories/Reals/DiscrR.vo
@sha bqF1gQmaExFYms8pd7MH6EPy1y1TSkNMBAGm+o2zfXY=
@size 18463
@ts 1425728674
lib/coq/theories/Reals/Exp_prop.vo
@sha yJVGdWpF0ifr2wkvZROXXgDvhZT4Q2Mvqm3Ts3HPcx8=
@size 91114
@ts 1425728674
lib/coq/theories/Reals/Integration.vo
@sha 3UK6Bg570RDerLn5hQPkexcHvXqM1okYZBUOUHPN/Ic=
@size 15798
@ts 1425728674
lib/coq/theories/Reals/LegacyRfield.vo
@sha xvUlZUiM1zAzaYKfcNl55DI3eJZBWOceggx2mLXxjWc=
@size 15195
@ts 1425728674
lib/coq/theories/Reals/MVT.vo
@sha mJNm4HhLvZP/abq2/fXgk9/hGD/qdBhKuR4fVVVAnZo=
@size 75409
@ts 1425728674
lib/coq/theories/Reals/Machin.vo
@sha L7UHi1WsRDgJJCuX8KSIENp21hTYCtOUgWDGuh1Fe88=
@size 123237
@ts 1425728674
lib/coq/theories/Reals/NewtonInt.vo
@sha JHmy809H3xuQNNvkJK949+q7GAuyElnbB64t6Kdt8Gk=
@size 176420
@ts 1425728674
lib/coq/theories/Reals/PSeries_reg.vo
@sha IeHRSzsYGIS+cEv8opV87iXvo9hmsOiScz4DgIhLVAA=
@size 37911
@ts 1425728674
lib/coq/theories/Reals/PartSum.vo
@sha woZGplVaxkKrV36iBPUOAmnECSrYHWFcPDaHe4+3DWk=
@size 65433
@ts 1425728674
lib/coq/theories/Reals/RIneq.vo
@sha Ug6ISZq8WdGEIiAaRtZLEduWyqH1URCP8OYWQga+EFo=
@size 189434
@ts 1425728675
lib/coq/theories/Reals/RList.vo
@sha F1Dmxk+cV4hlfHovbZR/jqprrXwtl/ZSOCbOF4c06Dk=
@size 82700
@ts 1425728675
lib/coq/theories/Reals/ROrderedType.vo
@sha uPQblS5dDS42NwuHyy5w80WdDpT2WyVoNBYqKpgiqG0=
@size 67005
@ts 1425728675
lib/coq/theories/Reals/R_Ifp.vo
@sha QqUuVJlROt/8ELWsuPXZN4/9mZi7/qmxer2s+7iSKGs=
@size 57996
@ts 1425728675
lib/coq/theories/Reals/R_sqr.vo
@sha HdPeEFwkL0JxQoT+lgmsrqkFFh/G3oC2jqBdV0BM2+8=
@size 44638
@ts 1425728675
lib/coq/theories/Reals/R_sqrt.vo
@sha 1+MldmYA/rKRQnFtCHHPiCxiVJ9ihv7d2u4+lUjo8JE=
@size 57276
@ts 1425728675
lib/coq/theories/Reals/Ranalysis.vo
@sha KanE8tO0aVq9lgD4BBAH5UEbTHMYcTlYPhstjrrk9Zw=
@size 15758
@ts 1425728674
lib/coq/theories/Reals/Ranalysis1.vo
@sha qEGqgX3bA0u1TonskVlXfIFp/GQsiofkR3LVnuct0JY=
@size 124854
@ts 1425728674
lib/coq/theories/Reals/Ranalysis2.vo
@sha yWHf2Y2uyHRfZaHT03mEbtkGYrvO+W6FYfeAd0ci8Ik=
@size 74135
@ts 1425728674
lib/coq/theories/Reals/Ranalysis3.vo
@sha XBrd2aYbIkqtW8M8/53xpQbucHst47xDztTFzuHA5Xo=
@size 60456
@ts 1425728674
lib/coq/theories/Reals/Ranalysis4.vo
@sha +JG5Z4eGVcFdMNZPyxPRLEuPhmRgzV4syv3rSVYEBp8=
@size 43947
@ts 1425728674
lib/coq/theories/Reals/Ranalysis5.vo
@sha zZSyjwt8L1EhqZT/9yVsTF9Q8bs9E3cwu5vl0ezweSM=
@size 608634
@ts 1425728674
lib/coq/theories/Reals/Ranalysis_reg.vo
@sha 1q3tgmXyoY76vj+Hr0XHc2uUltCV2Hp8gWV5ab0vRZo=
@size 87376
@ts 1425728674
lib/coq/theories/Reals/Ratan.vo
@sha EPj5ThMj/T5yklHdUEbSFQxRwZhOZ4TfPnEwL4dm06Q=
@size 624657
@ts 1425728674
lib/coq/theories/Reals/Raxioms.vo
@sha q285CWGaaMaBRVnFf9W0Ll9b/qzcEp/SHWqn7QQcKAM=
@size 22251
@ts 1425728674
lib/coq/theories/Reals/Rbase.vo
@sha Scu3Y58YYxCyuLxJur/oqur4kgOg24KaBSMhvNaRHLs=
@size 12520
@ts 1425728674
lib/coq/theories/Reals/Rbasic_fun.vo
@sha WYUdjjePzn0dH1k6eoGtXM5gKpH8+sHW78n9YSG260M=
@size 59275
@ts 1425728675
lib/coq/theories/Reals/Rcomplete.vo
@sha alZwQYeVgqdiABmss6sQE1KVM7vK38qtDuy2WeWynp8=
@size 24659
@ts 1425728675
lib/coq/theories/Reals/Rdefinitions.vo
@sha OPS5+gwPTE1IObO/8DjhptKmuaQW3FSlSX9ViBB+oxQ=
@size 17038
@ts 1425728675
lib/coq/theories/Reals/Rderiv.vo
@sha nTJ9LcJSjHHwaMC8gLRyaiN+R+hiqw5i1ZwS3jfDttY=
@size 71389
@ts 1425728675
lib/coq/theories/Reals/Reals.vo
@sha HfR5mIouqIG/Y16RKIXiX8axxWncQff5gs1MhGYiec8=
@size 16245
@ts 1425728675
lib/coq/theories/Reals/Rfunctions.vo
@sha 8AgBfDdL3RaRcNsKlHLVu9Ixr54HhCPGXGkwWQ8wnSI=
@size 82284
@ts 1425728675
lib/coq/theories/Reals/Rgeom.vo
@sha tLcrD2RQbtQHY6cOGfRsrWV+aD/F4BJTOT1q1TwjPyI=
@size 40727
@ts 1425728675
lib/coq/theories/Reals/RiemannInt.vo
@sha atdLiMdOD2pRMOeWC/ZLb5PDhoOcsd/+qv+9CxBnwqA=
@size 303366
@ts 1425728675
lib/coq/theories/Reals/RiemannInt_SF.vo
@sha qUjKBYb35hJy6sRs2zRkx5G5GbUUY/l3GBNzeVxNu+4=
@size 292190
@ts 1425728675
lib/coq/theories/Reals/Rlimit.vo
@sha HmcagjSFUHi+oCxdMl5zJosjA61TyMB0XGIKvP+RyZg=
@size 73215
@ts 1425728675
lib/coq/theories/Reals/Rlogic.vo
@sha g5sfryk7V3LlZCruXNzppJeWnZuDxn6Ra51Vq9HOPDw=
@size 116533
@ts 1425728675
lib/coq/theories/Reals/Rminmax.vo
@sha RqxbWyTq1VqKQN3jodHLdxQnVsMPcSC7wrUQKFnbxUE=
@size 154133
@ts 1425728675
lib/coq/theories/Reals/Rpow_def.vo
@sha mDlMuC7WewLfWQx9blbYzplr1I46yTfpHhTePoUl4ME=
@size 11744
@ts 1425728675
lib/coq/theories/Reals/Rpower.vo
@sha qSuARoTzZ7nsUTA2P5iYRGQK+hNgm5qGTufpM3tiP30=
@size 66184
@ts 1425728675
lib/coq/theories/Reals/Rprod.vo
@sha Ct2rfEYKPwZJqmZW5IEzs4L3scKi3M8yL43FtVS9shs=
@size 346925
@ts 1425728675
lib/coq/theories/Reals/Rseries.vo
@sha VHCXd3IwXgfeTzAjQjG2KCYiJvG2vXOEztvcmPUclow=
@size 47835
@ts 1425728675
lib/coq/theories/Reals/Rsigma.vo
@sha LNWOsqTveRGhEtF2wBQkRTWQ5HVDOAaE2vgtAIsQn0M=
@size 74796
@ts 1425728675
lib/coq/theories/Reals/Rsqrt_def.vo
@sha OiW663q9RDZuoKj5B7TJ16nVcFJg2BKLu46xyDMe4po=
@size 59999
@ts 1425728675
lib/coq/theories/Reals/Rtopology.vo
@sha DMtJu2s6s5Xo71VYZ6A0/JH863Lu5OuODcDtNJ8moYA=
@size 153082
@ts 1425728675
lib/coq/theories/Reals/Rtrigo.vo
@sha hjwK+m51MPVSTuGhjTjybYeLcrfokuGABv5/2sw2TNg=
@size 15663
@ts 1425728675
lib/coq/theories/Reals/Rtrigo1.vo
@sha 7q3HJYmB74gc9aIhiRORROMBrWM9LcwF5cD+/LfIDWI=
@size 229818
@ts 1425728675
lib/coq/theories/Reals/Rtrigo_alt.vo
@sha I+Bzc4RqMediyKQCLzHxRpAdssGIO2dONGZRPlKn6Hg=
@size 49540
@ts 1425728675
lib/coq/theories/Reals/Rtrigo_calc.vo
@sha Rznpi3S0Nzog/yTnj/NQmRfBjUtQcBiLhzhLCdxTzyo=
@size 56175
@ts 1425728675
lib/coq/theories/Reals/Rtrigo_def.vo
@sha CDXAb51aFnmpbeg/7PUX58ZSQIuIHuWvz/Zrm0JDr/A=
@size 123230
@ts 1425728675
lib/coq/theories/Reals/Rtrigo_fun.vo
@sha 3JaChystIsiOZwD8481wXO252+ykG/tstAxopjZTOHA=
@size 21574
@ts 1425728675
lib/coq/theories/Reals/Rtrigo_reg.vo
@sha pE+yiY/mE2NhWcPStUcamOufUM3ONhWjDDnO2ZpbgrI=
@size 49476
@ts 1425728675
lib/coq/theories/Reals/SeqProp.vo
@sha zAgnj4hPLZdcZyJvJp85b8dwrouZe/2NoVei3/PeaQY=
@size 90949
@ts 1425728675
lib/coq/theories/Reals/SeqSeries.vo
@sha Xu8f2FFZYLZuvQ1G72kgVyTnS/h7KcX3fNDlP97zku4=
@size 46806
@ts 1425728675
lib/coq/theories/Reals/SplitAbsolu.vo
@sha VIB+1DGR5QE+OW/M84zndHUTVPl6tqBKlOZxDADfGgU=
@size 13736
@ts 1425728675
lib/coq/theories/Reals/SplitRmult.vo
@sha DFJnSU2RU6xA1hMDJwvgO12LgedD6upRridtXGTAEfc=
@size 12846
@ts 1425728675
lib/coq/theories/Reals/Sqrt_reg.vo
@sha O6vxbZkXW1mndv4Wga125QE8eEbGkOGPdbo0SxUwGRI=
@size 36080
@ts 1425728675
lib/coq/theories/Relations/
lib/coq/theories/Relations/Operators_Properties.vo
@sha C1Q6R7Uwq4NalAjDNfDD+T81DI/QRqzRxgxPt2taJZ0=
@size 24912
@ts 1425728674
lib/coq/theories/Relations/Relation_Definitions.vo
@sha CaDyfTFwroPH9czqXQ18cTn0ocV8+xyFHyWyTdPPUvc=
@size 22092
@ts 1425728674
lib/coq/theories/Relations/Relation_Operators.vo
@sha ecMTPeq2sXqTGwS+5bxTPZw19YcUoNTPXf+pF8eMvlQ=
@size 51226
@ts 1425728674
lib/coq/theories/Relations/Relations.vo
@sha 6V6u3QfZriJoMNOXOyw4MQq6Dzd4fkKSnS2dANRXyu0=
@size 2969
@ts 1425728674
lib/coq/theories/Setoids/
lib/coq/theories/Setoids/Setoid.vo
@sha 04PGcCUEJOD73+jbhifGF9/iyaCzWUHuxYulLq2zaXU=
@size 6346
@ts 1425728672
lib/coq/theories/Sets/
lib/coq/theories/Sets/Classical_sets.vo
@sha UTYfiCjNbZafeaz8k56tL0zgqvgyy31xnVtRiJlrVvY=
@size 9330
@ts 1425728672
lib/coq/theories/Sets/Constructive_sets.vo
@sha S8npDnRzka7sMjfB1vS14KtaLbf39AR5pv0+R8d/FG0=
@size 13736
@ts 1425728672
lib/coq/theories/Sets/Cpo.vo
@sha NNqYTo1OhNOwnoWa2uDpw7eiJhk9H1HkXtMff6Xl+Mo=
@size 44787
@ts 1425728672
lib/coq/theories/Sets/Ensembles.vo
@sha 3jj28Cv4JEwq+WnfUGI8QT5V1Xg2BYU/9dCOMoxvH3Y=
@size 25352
@ts 1425728672
lib/coq/theories/Sets/Finite_sets.vo
@sha cLH2BWsZ2IuPDkc+CxMXxyyYk9loQ4V/V4qEhV339EI=
@size 11491
@ts 1425728672
lib/coq/theories/Sets/Finite_sets_facts.vo
@sha P2TjnxRqxKqr160qHReISSwMVtIkjy3T3hsHGeZxYJA=
@size 25479
@ts 1425728672
lib/coq/theories/Sets/Image.vo
@sha Xqkat5WjZS0AdxBFBGc6lKd6t7ubedeDLzWxTTkdvhw=
@size 20526
@ts 1425728672
lib/coq/theories/Sets/Infinite_sets.vo
@sha TcaxfV9R6YDLOVkw+nea0w+aLQsNm2BIaluqpy76e4A=
@size 21472
@ts 1425728673
lib/coq/theories/Sets/Integers.vo
@sha WuiNyU0cabAvhZkS+M5xeBDpFutr/nDHXW/OOjhw9aQ=
@size 9403
@ts 1425728673
lib/coq/theories/Sets/Multiset.vo
@sha wMBnCGj8yz7MYhZwgZFj4WWqYfFbcgg9hXKedgfKYeM=
@size 23115
@ts 1425728673
lib/coq/theories/Sets/Partial_Order.vo
@sha yAcM3/knpC4tTt0Gbq0GQaCGM81zpsn7lFIFgjrTD1A=
@size 15172
@ts 1425728673
lib/coq/theories/Sets/Permut.vo
@sha y+mEjxuOXovCrCTsVQA4nuQWUC031vSGC7TI5JWfCuo=
@size 11430
@ts 1425728673
lib/coq/theories/Sets/Powerset.vo
@sha yw1mZkxlfTSbkvQgdeKKwKadVbuzlVspsxflP893w2w=
@size 16523
@ts 1425728673
lib/coq/theories/Sets/Powerset_Classical_facts.vo
@sha PI4E/T9Hbi/fYKxNw9vvgYGfrs5WhRqLcJcSuD0YFWk=
@size 27059
@ts 1425728673
lib/coq/theories/Sets/Powerset_facts.vo
@sha 4xpw5rxMZ9AA209/IZ32DgxRbIZEj8IuJM7hLEIKJwI=
@size 23112
@ts 1425728673
lib/coq/theories/Sets/Relations_1.vo
@sha fjI7f5lCbml2gdTUHXnuy3VxDUJ9XlqgVeFgENdbQzc=
@size 14103
@ts 1425728673
lib/coq/theories/Sets/Relations_1_facts.vo
@sha H+o0JTIPJJqSLoG0Cu/L6HCbUKvNqBVdr4bsjfYb6vI=
@size 7771
@ts 1425728673
lib/coq/theories/Sets/Relations_2.vo
@sha 9p34QZD/YpjmFtqPQzDfmJ/rEDzlq1N4GIj/Yb3Fo1I=
@size 11387
@ts 1425728673
lib/coq/theories/Sets/Relations_2_facts.vo
@sha WiKwfznIvcunCPsm0h9oKOdwf1vm5dbjCZmPDfetuWI=
@size 11854
@ts 1425728673
lib/coq/theories/Sets/Relations_3.vo
@sha QMpum87jWZoiYnqzCd8BB7Ln/uC8krrIvXdyITxmmlk=
@size 8402
@ts 1425728673
lib/coq/theories/Sets/Relations_3_facts.vo
@sha 68Nr9ZHbz7wgfa15fF/+OdRR2q/09ne8Zwc5eY9fSHQ=
@size 10987
@ts 1425728673
lib/coq/theories/Sets/Uniset.vo
@sha stFDcczeps4LEmac4rXhjj6bdWjQqpTXZ98du92hbd0=
@size 20059
@ts 1425728673
lib/coq/theories/Sorting/
lib/coq/theories/Sorting/Heap.vo
@sha ILiENsdCqZ6up3SVxsTg0ZlDElSAvlIfXMVSh40DnRw=
@size 69790
@ts 1425728675
lib/coq/theories/Sorting/Mergesort.vo
@sha diAO/pqb+2ZU2+r0DHb4A+Py90ZfVGNJxLMPFjkoChE=
@size 31390
@ts 1425728675
lib/coq/theories/Sorting/PermutEq.vo
@sha R+BKMqBMBcYX80a4QpqnM1ArJrnb13t8QY47QzQcBUY=
@size 53393
@ts 1425728675
lib/coq/theories/Sorting/PermutSetoid.vo
@sha pVYs9/pZp/r1NLpc6is6pEuw815PazxbqLSe67+t+yk=
@size 115672
@ts 1425728675
lib/coq/theories/Sorting/Permutation.vo
@sha HSbfCUbgnV0aEasb0dCja1womHTitbeBMY0FvnuCAu4=
@size 83108
@ts 1425728675
lib/coq/theories/Sorting/Sorted.vo
@sha aY11htFPA8lIbGMi5kih8THvGHB6SxzOg3j03RhpHu4=
@size 31615
@ts 1425728675
lib/coq/theories/Sorting/Sorting.vo
@sha EHdfTjhcBXauaqO6wKScLUJ4ZS0H9n3LXEAnXEPQPsA=
@size 1944
@ts 1425728675
lib/coq/theories/Strings/
lib/coq/theories/Strings/Ascii.vo
@sha q4D8IE/a9g9TW53iGiERMI2ooiHg7R4GEleSvWmGq+o=
@size 236881
@ts 1425728672
lib/coq/theories/Strings/String.vo
@sha mGcpk0mIGCOFzvbs7DPutwGprTk6qu8NgnA+c8FsB+E=
@size 54027
@ts 1425728672
lib/coq/theories/Structures/
lib/coq/theories/Structures/DecidableType.vo
@sha dSn0Moyvzf6FYJd0WSioJWIaOwAejkDdd52e5p9w5+w=
@size 24376
@ts 1425728680
lib/coq/theories/Structures/DecidableTypeEx.vo
@sha 416cxZdsfKH2PXD5kXGbLmNh3VQHHql6GmPbe1A3/yY=
@size 60404
@ts 1425728680
lib/coq/theories/Structures/Equalities.vo
@sha 7Gg3Sw6NrOGfxhmTXOVXKfQb3leq/Xbrv0jfUIcWp+E=
@size 77279
@ts 1425728680
lib/coq/theories/Structures/EqualitiesFacts.vo
@sha RaDDvj/rD0g5Ku5aBV1r4NNvGtTV5tX1gjPHZzUE3LM=
@size 42288
@ts 1425728680
lib/coq/theories/Structures/GenericMinMax.vo
@sha GZ5y1uciqhk4ueXW4aZ3Kn/e6Py3kj9Iv+BT6eLNY+A=
@size 261052
@ts 1425728680
lib/coq/theories/Structures/OrderedType.vo
@sha ph5bu/mQiIDokfCPT8WQNoFffSOz1SRIEnu0vOq/z0g=
@size 140065
@ts 1425728680
lib/coq/theories/Structures/OrderedTypeAlt.vo
@sha CtYOz3dmbz0wkhRIlRi0AKbCmGXZJ3yR6AoJ6xOcfB4=
@size 79198
@ts 1425728680
lib/coq/theories/Structures/OrderedTypeEx.vo
@sha lxZK8wW7aUgr9iX3PrOuoyR+mCeTna7GO9+xouGds8M=
@size 150868
@ts 1425728680
lib/coq/theories/Structures/Orders.vo
@sha tcEgZo+Gc5pLGGxtIj2/rDlj0LhmIlxIHCg+BzsUBhU=
@size 127140
@ts 1425728680
lib/coq/theories/Structures/OrdersAlt.vo
@sha m4Jawh09f9hErB5eicAPmsa+5lmJWbFDkrFx4T7/m+Q=
@size 37655
@ts 1425728680
lib/coq/theories/Structures/OrdersEx.vo
@sha jwETYip6zz1K5aOCpMAFqWe0Wwm+H4tJJR6OvllwsKI=
@size 4134576
@ts 1425728680
lib/coq/theories/Structures/OrdersFacts.vo
@sha xY6Vjp8t7ttM55fmJHU312b0zyCwDXJvf657jgYN/VQ=
@size 187309
@ts 1425728680
lib/coq/theories/Structures/OrdersLists.vo
@sha ZDcVnjud1HtgyFlENWaqoa0odC/lOs6eNbk/hBBAw2A=
@size 48790
@ts 1425728680
lib/coq/theories/Structures/OrdersTac.vo
@sha r6EG2Rx0tyk5rTjbRJnWabtIfzC/W3y0L4nYwvCkBZs=
@size 92968
@ts 1425728680
lib/coq/theories/Unicode/
lib/coq/theories/Unicode/Utf8.vo
@sha WTCabMMfwGk4L2Q1B3hlDv+MJwj+uPK03nZJZFkYkt8=
@size 1071
@ts 1425728679
lib/coq/theories/Unicode/Utf8_core.vo
@sha LF94b+szjC+1yzclL0ILoL+d5ipSLATLiulw0yNJMYM=
@size 2583
@ts 1425728679
lib/coq/theories/Vectors/
lib/coq/theories/Vectors/Fin.vo
@sha NKaBPOv4RFm0hbOZi2WUuDwxMzD+eXuGkQn0II+jZM0=
@size 38494
@ts 1425728680
lib/coq/theories/Vectors/Vector.vo
@sha xCgxdC3ohHGnJQtIT5IROM9TOwaY5bvEFtHcsHA01Vc=
@size 114902
@ts 1425728680
lib/coq/theories/Vectors/VectorDef.vo
@sha aKtoc8XG8sKoprmFe/wl3LhnL3EjgJVJYnb1JT7cDOw=
@size 74343
@ts 1425728680
lib/coq/theories/Vectors/VectorSpec.vo
@sha fwO91k8yrkzVqkjx53XMDQPWmE5qTIYDHgd/kEyYzuU=
@size 26480
@ts 1425728680
lib/coq/theories/Wellfounded/
lib/coq/theories/Wellfounded/Disjoint_Union.vo
@sha oNhccYb3quf/vslwm7yxhYgL3duE0stzxc2pq3TvdZY=
@size 6747
@ts 1425728674
lib/coq/theories/Wellfounded/Inclusion.vo
@sha wXIIFCEFpSB/GFxJm/+cIoJJOk0VHBaapwzwpZ9ruOU=
@size 2635
@ts 1425728674
lib/coq/theories/Wellfounded/Inverse_Image.vo
@sha 91mirD0PJAE+m/XAnvO8epAcgB1BnOX5YWFW9CVxico=
@size 6199
@ts 1425728674
lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.vo
@sha BUUbCmIntyMpJsqHojfppAgX2s7NnGxOFck6oHGGc0s=
@size 47427
@ts 1425728674
lib/coq/theories/Wellfounded/Lexicographic_Product.vo
@sha vXOVrwkAJ4ebLGBl8WoMrQ4e24uFz5i+E1x3GQMtVnw=
@size 94716
@ts 1425728674
lib/coq/theories/Wellfounded/Transitive_Closure.vo
@sha lsfS5vFKXM+LSzOlGafvrp+ht81ul32z3pQCEEbFZe4=
@size 4921
@ts 1425728674
lib/coq/theories/Wellfounded/Union.vo
@sha J/WNMPuquHRya6Oj1hy99XjGvTB1fQSJ4DwX3NQ92Bk=
@size 6501
@ts 1425728674
lib/coq/theories/Wellfounded/Well_Ordering.vo
@sha i5gI4HrbQsx2zaZKjkR9vcP8v/U3vG7i9xUgoMhZ/Fg=
@size 10965
@ts 1425728674
lib/coq/theories/Wellfounded/Wellfounded.vo
@sha pXAM/lLxC6HJk50Gx2um8YuXVxdxCAOoPZxybd5gu04=
@size 2132
@ts 1425728674
lib/coq/theories/ZArith/
lib/coq/theories/ZArith/BinInt.vo
@sha xRoZj5ecEVBrlQjEiPrpntW2Cscj9tApsL26P2draT0=
@size 2122346
@ts 1425728671
lib/coq/theories/ZArith/BinIntDef.vo
@sha oxFQN6N42v2QfYsJYU5SZPoxaty5yUXtv5sVWpGv4Jk=
@size 51193
@ts 1425728671
lib/coq/theories/ZArith/Int.vo
@sha sQpfoakXOqnnLSMVnurhWNCIJPi1VJXWMHFL/DRIjnI=
@size 61257
@ts 1425728672
lib/coq/theories/ZArith/Wf_Z.vo
@sha Grv8hoPS9i32s/ghYx0fl6i+AMYIIhy4CCElLDOobbE=
@size 27317
@ts 1425728672
lib/coq/theories/ZArith/ZArith.vo
@sha y4zBhgPj/knTBPltR4KPHWO7E87N7c2dSHc81k1gXY8=
@size 12175
@ts 1425728672
lib/coq/theories/ZArith/ZArith_base.vo
@sha jFY42noY4ADLVXAMx0t5iRKjlkx2zwSSMN3BKDosTfw=
@size 13527
@ts 1425728672
lib/coq/theories/ZArith/ZArith_dec.vo
@sha WZvUFGbGoBfu6fdzYqQg31yP2X8H0uGX+EGxZcjGOFE=
@size 41577
@ts 1425728672
lib/coq/theories/ZArith/ZOdiv.vo
@sha i0wKwx8CbocqCVlXRhhBlPKE7eAC63GdDECcxHofrZ8=
@size 18062
@ts 1425728672
lib/coq/theories/ZArith/ZOdiv_def.vo
@sha TQYwLq1EgXfXvzI+eTyPlhzjAhAFGdN0KrDeF35bO2Y=
@size 9623
@ts 1425728672
lib/coq/theories/ZArith/Zabs.vo
@sha aLjez1te3WiWx9rbmCr5hydCkUG2FzL90TVOo0GSfmk=
@size 19979
@ts 1425728672
lib/coq/theories/ZArith/Zbool.vo
@sha ME58O+TFRyxoAyom28/uyVZ7FodpDJH+A4g4+ZneV5Y=
@size 34280
@ts 1425728672
lib/coq/theories/ZArith/Zcompare.vo
@sha 2zkFyEVxRJQiD5S4l2rxxn7PteeluRNTamiBVHh+JIc=
@size 28078
@ts 1425728672
lib/coq/theories/ZArith/Zcomplements.vo
@sha 3w9IDaLMrcjGcsRht5lhJ6/nGErgm0ra2q88FcleMR4=
@size 36676
@ts 1425728672
lib/coq/theories/ZArith/Zdigits.vo
@sha AsSs95EREKWXHatG7+lapGlLcHMSdkQh+SJ1AsyzBvU=
@size 54385
@ts 1425728672
lib/coq/theories/ZArith/Zdiv.vo
@sha Rgum7L8+Bw8HTdjQGgq2hpjOFSEbmvXjvPZtkZX68Fk=
@size 225231
@ts 1425728672
lib/coq/theories/ZArith/Zeuclid.vo
@sha zFkmfCRWJBAURKkCV7buPhaekhAF8DQ1wd3u2KoNSDo=
@size 158115
@ts 1425728672
lib/coq/theories/ZArith/Zeven.vo
@sha vHwJkRV8ak6UvI0TimmcdrKR3SdJLyj7V+DcOXSQxO4=
@size 47522
@ts 1425728672
lib/coq/theories/ZArith/Zgcd_alt.vo
@sha GurHWMYU3Lc/lHH2oocic9kMKjIYlidxjBFaedr6hik=
@size 106899
@ts 1425728672
lib/coq/theories/ZArith/Zhints.vo
@sha jHqW+ITX8TT+ZoHqaL2ww/L522jd7EEeOqHwnhDEGiE=
@size 16766
@ts 1425728672
lib/coq/theories/ZArith/Zlogarithm.vo
@sha L6eMXoI57ZM0rohRhlQKinmdpYgv66Jc2tc/YfKd9pk=
@size 57616
@ts 1425728672
lib/coq/theories/ZArith/Zmax.vo
@sha FwMO/pITfZMwXMVkojoTEwNFcZ6f95l6cuikzZ5Khfc=
@size 14456
@ts 1425728672
lib/coq/theories/ZArith/Zmin.vo
@sha j49Dhga/XrXdR0UeDrw+7cK7gh/cSZFllxi4sx5UfJM=
@size 15035
@ts 1425728672
lib/coq/theories/ZArith/Zminmax.vo
@sha xzv74p8EtVhXzx5aUcYQ1KP/v4v+GlnADOT0+5kagSo=
@size 10292
@ts 1425728672
lib/coq/theories/ZArith/Zmisc.vo
@sha EUpK8OVFMSE+m/zy0HYvbK0Ienn81OhGy/mNNnEC+b8=
@size 11622
@ts 1425728672
lib/coq/theories/ZArith/Znat.vo
@sha DoXfcrBsxkv8axhnshq1epqeZX26B48B8skJJA4tJVM=
@size 90262
@ts 1425728672
lib/coq/theories/ZArith/Znumtheory.vo
@sha 3LSa4MNu1WKiSGMdVnu0zBLiMVK8NyM4DJPTUXBXxWk=
@size 209098
@ts 1425728672
lib/coq/theories/ZArith/Zorder.vo
@sha FWbC2OzNHepHSN68VrPHzlKipvsp9zD41tKnARwRzb8=
@size 69039
@ts 1425728672
lib/coq/theories/ZArith/Zpow_alt.vo
@sha yILiH6vLRYu/B2SJjvkWkDSQWvrJfA6L9D8HDAcZzLI=
@size 18244
@ts 1425728672
lib/coq/theories/ZArith/Zpow_def.vo
@sha zT5PLzp/5HUnNvUzK2qrOWJmPLEBI08XpzIiXoNheqQ=
@size 11637
@ts 1425728672
lib/coq/theories/ZArith/Zpow_facts.vo
@sha 3LrkSbd8e1HpAtmTafjzg2csPOutCHA5w09XRODMaB4=
@size 90382
@ts 1425728672
lib/coq/theories/ZArith/Zpower.vo
@sha VI07ad0fnZg1+NkGqsekYSXNHYju4MYszxXv6iBe5RQ=
@size 77484
@ts 1425728672
lib/coq/theories/ZArith/Zquot.vo
@sha rNasJk69TDxJBS0FcUrepgzeHdTQwhzVhHJEpVyPRFs=
@size 87005
@ts 1425728672
lib/coq/theories/ZArith/Zsqrt_compat.vo
@sha JHKzI3D+kaYw9a2g5f+saz4bQUa9tnwa/sg/xFPL4hA=
@size 332463
@ts 1425728672
lib/coq/theories/ZArith/Zwf.vo
@sha 9yvV9Llxc1zn36S29iehQd1P3YJSrWr5kugHugKiI7Y=
@size 23121
@ts 1425728672
lib/coq/theories/ZArith/auxiliary.vo
@sha A+Vnk1brIOk9xdvnt0BHpyG4wzTCT2Fd/TvnLnOQens=
@size 20949
@ts 1425728671
lib/coq/tools/
lib/coq/tools/coqdoc/
lib/coq/tools/coqdoc/coqdoc.css
@sha o/WOG4Wx+dRrhCRYNc9QssnDJDgjG1u3sqGt12HynGU=
@size 5216
@ts 1425728670
lib/coq/tools/coqdoc/coqdoc.sty
@sha Ib0mX5r/BDes6TO5Cv+WPuqsHDhgI7Ddbfa2lwVFEG8=
@size 5493
@ts 1425728670
lib/coq/toplevel/
lib/coq/toplevel/auto_ind_decl.cmi
@sha lLCWxPaK6Sgrd+/fZQophskx9Hyn4I+w53E4wWJ/pxU=
@size 3474
@ts 1425728689
lib/coq/toplevel/autoinstance.cmi
@sha +haFqJyAv3xBKwlzwWerCmpfPwXf4BXhponM/LONLT4=
@size 2447
@ts 1425728689
lib/coq/toplevel/backtrack.cmi
@sha Wgz89yGfAndqlI+UPOE0ohg81ZB0uLCvu7ltyf1O1WQ=
@size 3758
@ts 1425728689
lib/coq/toplevel/cerrors.cmi
@sha 4fSNCyMjpi4c8tmtpOCo/kRUQnIICklg3R19gBv/qz8=
@size 1298
@ts 1425728689
lib/coq/toplevel/class.cmi
@sha RBtnXiLP5IamtuI8jp4bK15PoSHyrvgOY398tfTXx6I=
@size 3355
@ts 1425728689
lib/coq/toplevel/classes.cmi
@sha YTuvgy5kByjnv8pCSdPXKLh2kCApf08lR+sWLhvwDaI=
@size 4671
@ts 1425728689
lib/coq/toplevel/command.cmi
@sha ssREYKqsvYjvEXRHcsXUIKOOZS3KXEzwJtVPt58QJu0=
@size 9510
@ts 1425728689
lib/coq/toplevel/coqinit.cmi
@sha 2MWkN7XNmHmHqflb4R6zc/LFoLbj6fmLNEQs8rkPxho=
@size 1265
@ts 1425728689
lib/coq/toplevel/coqtop.cmi
@sha 3hgKmmXR44959z0ItgJFdsra7FHOnQVvnA8mHLsTgak=
@size 363
@ts 1425728689
lib/coq/toplevel/discharge.cmi
@sha pX1W4wImD2cjC44e75iUbschlwoi1pHBQMFlXcKrWP4=
@size 1770
@ts 1425728689
lib/coq/toplevel/himsg.cmi
@sha PWsZuUb8Xyjc1f06/o1t8sOwzOd0PPmZSJOIyDkbvsc=
@size 4222
@ts 1425728689
lib/coq/toplevel/ide_intf.cmi
@sha jQcP9rA0BMLkLJGHi2mizM4bkkcbdEbWCD+BDiuiPX8=
@size 3183
@ts 1425728689
lib/coq/toplevel/ide_slave.cmi
@sha w/G2phjyrlzP/zWOgigTD+MNq5PdXbgprc5lcLV2xCM=
@size 335
@ts 1425728689
lib/coq/toplevel/ind_tables.cmi
@sha MRPlCOkuoiW2WjMH574nrhZsc7U3pOUjXi09L5pNWXo=
@size 3289
@ts 1425728689
lib/coq/toplevel/indschemes.cmi
@sha fK5rQZc4FmD85nqwVftFoYqBhtvUiRhpFo8rABgFfJw=
@size 3736
@ts 1425728689
lib/coq/toplevel/interface.cmi
@sha 6wveoAIUIOAaVpNGY17k8zfD20cZxSlsHXZZl1Rhdu4=
@size 5995
@ts 1425728689
lib/coq/toplevel/lemmas.cmi
@sha KIGdFJLF6BzJ0AJf77LaKHZ7f6e4+6JCaBP1aMyxOPU=
@size 4814
@ts 1425728689
lib/coq/toplevel/libtypes.cmi
@sha Drg6hv2wSkSV775QXe/m8CXOzNy3ph0MgUkCfDNISdA=
@size 2241
@ts 1425728689
lib/coq/toplevel/metasyntax.cmi
@sha Lcoz5cLFuI/GfEWNy0CofS1+AnKvjZ5hKylwGpknshw=
@size 4774
@ts 1425728689
lib/coq/toplevel/mltop.cmi
@sha VL02+svqTV2UhYRTr2Pfe7aPCjgnHOf5FBqbiHhXMjc=
@size 4326
@ts 1425728689
lib/coq/toplevel/record.cmi
@sha y8RlqrZXPCVCQaehJCx2YwTHMihso1RMoj/1KJI5jc4=
@size 4220
@ts 1425728689
lib/coq/toplevel/search.cmi
@sha BhQvwyhOrs1d2IGpNAD9+h2n7VxrpPQhfPocDH6GNdM=
@size 5062
@ts 1425728689
lib/coq/toplevel/toplevel.cma
@sha kRRl+Qa/docjwCURM7l+BYiNWnMXPb/r+dXJPd0XQZk=
@size 617759
@ts 1425728682
lib/coq/toplevel/toplevel.cmi
@sha g0L/Z6S6iSwfxLKdFyM5RFfnSzUESBNROYUEuCHYBsU=
@size 3091
@ts 1425728689
lib/coq/toplevel/usage.cmi
@sha 421NNmXkO2coKXL0IMlFoLxi/DCqOIIi63APsgrr1Yk=
@size 548
@ts 1425728689
lib/coq/toplevel/vernac.cmi
@sha cVUFe1p9EYAfkFtrwGXN4wpPt7rcVPd6zssYxpB5nt4=
@size 3566
@ts 1425728689
lib/coq/toplevel/vernacentries.cmi
@sha 9AobR4paMLFoKEtl6Au7j+byf9nb10tm+4uew3+L1SE=
@size 4512
@ts 1425728689
lib/coq/toplevel/vernacexpr.cmi
@sha RbclLJJDtc1wmr6jhs7gTOx9yujwinppkTBqd8TnPWY=
@size 22890
@ts 1425728689
lib/coq/toplevel/vernacinterp.cmi
@sha e/4usJ1GvaenQFTSyP3FnoM60yAqhh/8nQQMJZ4SD+E=
@size 2689
@ts 1425728689
lib/coq/toplevel/whelp.cmi
@sha FZVXMRpxpaqt35w3vPMPaa6fHo5jEcB92NAKBA4Heok=
@size 2089
@ts 1425728689
lib/coq/user-contrib/
@man man/man1/coq-tex.1
@sha 0/oJpmu5LqD/B6AU04wdfvapyK0kv55qWcD9f27PsI8=
@size 3075
@ts 1425728690
@man man/man1/coq_makefile.1
@sha vQcVsz4u4Q9aIaq4DImyeJQwvWyzsb8nj9dCVbNGHUA=
@size 466
@ts 1425728690
@man man/man1/coqc.1
@sha GsPJld9hzdOI8l8UoSCZgIMIkFs7GqwX/jgmWn1PYCs=
@size 955
@ts 1425728690
@man man/man1/coqchk.1
@sha symXQdmfra3UmYkjyq4llaRe+NL7EkWWRocPeVzOPN0=
@size 1872
@ts 1425728690
@man man/man1/coqdep.1
@sha qvzAFUi65X6GlZC66CmM1l/nJF2ne0FYpy8iJ79W8s0=
@size 3589
@ts 1425728690
@man man/man1/coqdoc.1
@sha psX+7fCrvf+aHAj6YK4Zo4AN3IfRlGvkO6f6o22S7lw=
@size 4564
@ts 1425728690
@man man/man1/coqide.1
@sha WvTud5NGNA8k5UZy1HX79L+/zOOwAIHWW0r3nQtb5CQ=
@size 2572
@ts 1425728690
@man man/man1/coqmktop.1
@sha 2rF7le7yM73vsYovacMd36DWfw+KXUqoGH4TLv6rsww=
@size 1083
@ts 1425728690
@man man/man1/coqtop.1
@sha e6vepkf3v9cIAc0gLu9PbgLgyvCCSy5MCJzQJPbKa4M=
@size 2813
@ts 1425728690
@man man/man1/coqtop.byte.1
@sha 23po7XZ8jhzOWSaTfvgl9jsDPDAdsCiu+wlt39LJolY=
@size 389
@ts 1425728690
@man man/man1/coqwc.1
@sha ktW8I2PH3Rfuh9MLG2tYxBiVg67t4dnxxJadtNIpfa8=
@size 592
@ts 1425728690
@man man/man1/gallina.1
@sha nf5TDIlhAsNJShu8b3obYuyXv0s/wamuS50xapxvdQk=
@size 1182
@ts 1425728690
share/coq/
share/coq/coq.png
@sha x2rM4xsiM+TDj14G+ao/rf5pLav0bx6cjv7djkNGD3A=
@size 6269
@ts 1425728691
share/doc/coq/
share/doc/coq/CHANGES
@sha WhDivrVCxaFyiBb5BgknaEqInXDWndka5Um+r5CNUfE=
@size 121627
@ts 1425728691
share/doc/coq/COMPATIBILITY
@sha UwRBljKex2pq/cp2AGq2zS5ZTnPK7xvWbPFJnL72kuQ=
@size 2156
@ts 1425728691
share/doc/coq/COPYRIGHT
@sha x7W0FrkJ41jLed+LEykdbKUraOYerKdEtG34xqBMUpg=
@size 662
@ts 1425728691
share/doc/coq/CREDITS
@sha Koa3XQ49kGr29Z2T/zH28C7VOEis217pDylDDv1K5YM=
@size 7027
@ts 1425728691
share/doc/coq/FAQ-CoqIde
@sha qC3GJ1EP6j9yQ0rCOlXDE31kBJpl4Mb/JgWPAQ8q8ho=
@size 3020
@ts 1425728691
share/doc/coq/LICENSE
@sha 1FlLgvTVCEDfan6dFBMqjAo8wF0KxG0VMQomSh91RH4=
@size 24381
@ts 1425728691
share/emacs/site-lisp/coq-db.el
@sha l1PpBefFJ6qlJ9jRMK/4aJVo4IaWlmnTNdFET31f0SU=
@size 8673
@ts 1425728690
share/emacs/site-lisp/coq-font-lock.el
@sha a8jHVBDMOrL5vfplNyIeQSabyeYLwgn+vz+Wnvxm3hc=
@size 4902
@ts 1425728690
share/emacs/site-lisp/coq-inferior.el
@sha wHN4J+HMl5Zi8MLD4c9/fQ2SJ8kqqgIwqFT271hLd+s=
@size 11606
@ts 1425728690
share/emacs/site-lisp/coq-syntax.el
@sha p4m8CkoqpEQR/Sd9XfGTbnfcknOxzYCSGe2hXMTZchA=
@size 44698
@ts 1425728690
share/emacs/site-lisp/coq.el
@sha lmomZYu2zY8OGxSJLxdzH2mFtrouAza2G9Ui3UEcTac=
@size 4804
@ts 1425728690
share/emacs/site-lisp/coqdoc.sty
@sha Ib0mX5r/BDes6TO5Cv+WPuqsHDhgI7Ddbfa2lwVFEG8=
@size 5493
@ts 1425728690
share/examples/coq/
@sample /etc/xdg/
@sample /etc/xdg/coq/
share/examples/coq/coqide-gtk2rc
@sha hYoy7XKB6ASU47C0byg42UlJlmm7Xfzm8jbyCiZXq1A=
@size 903
@ts 1425728691
@sample /etc/xdg/coq/coqide-gtk2rc
