@comment $OpenBSD: PLIST,v 1.8 2015/06/19 21:25:32 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.3 2015/06/19 21:25:32 daniel Exp $
@name coq-8.4pl6p0
@signer openbsd-59-pkg
@digital-signature signify:2016-02-24T23:13:00Z:RWSLRYDCTJeWLJY7l7vUc7/K8RTl2u9QYtWUFqC+DQ3Pn2GQQBBMPYGbnudVPwAXhbfsE3xQZFiUfwSJf02wvCYSCAk3DVmilQI=
@comment pkgpath=math/coq cdrom=yes ftp=yes
@arch i386
+DESC
@sha PT/wA8HekebUHFeKvvxFwfu425T6jsVwzNveosKK2H4=
@size 352
@depend converters/libiconv:libiconv-*:libiconv-1.14p3
@depend devel/gettext:gettext->=0.10.38:gettext-0.19.7
@depend lang/ocaml,-main:ocaml-=4.02.3:ocaml-4.02.3
@depend x11/lablgtk2:lablgtk2-*:lablgtk2-2.18.3p1
@wantlib X11.16.1
@wantlib Xcomposite.4.0
@wantlib Xcursor.5.0
@wantlib Xdamage.4.0
@wantlib Xext.13.0
@wantlib Xfixes.6.0
@wantlib Xi.12.1
@wantlib Xinerama.6.0
@wantlib Xrandr.7.0
@wantlib Xrender.6.0
@wantlib atk-1.0.21809.1
@wantlib c.84.2
@wantlib cairo.12.3
@wantlib fontconfig.9.1
@wantlib freetype.24.1
@wantlib gdk-x11-2.0.2400.0
@wantlib gdk_pixbuf-2.0.3200.0
@wantlib gio-2.0.4200.2
@wantlib glib-2.0.4200.2
@wantlib gobject-2.0.4200.2
@wantlib gtk-x11-2.0.2400.0
@wantlib iconv.6.0
@wantlib intl.6.0
@wantlib m.9.0
@wantlib pango-1.0.3800.0
@wantlib pangocairo-1.0.3800.0
@wantlib pangoft2-1.0.3800.0
@wantlib pthread.20.1
@wantlib z.5.0
@cwd /usr/local
lib/coq/dllcoqrun.so
@sha W+S+YBytv7xaMg9uAKO9x3Yhy8j5pEp2caa881Th0uo=
@size 36070
@ts 1456328956
@bin bin/coqchk.opt
@sha kXpEo59ySwo7THPI4C1cZn1KXdMKJpTpjZSduE/GAXA=
@size 3346180
@ts 1456328937
@bin bin/coqide.opt
@sha Ert8ynkE/KIsqv1hYFiiV4EN6fzA5g9197DLstiNdFs=
@size 3730468
@ts 1456328970
@bin bin/coqtop.opt
@sha TclxtK/UJGqxBjcvFpu299K4MqPM64JRV2Gttgqzlfg=
@size 11220708
@ts 1456328937
lib/coq/config/coq_config.cmx
@sha XVRSKL5bCwzMuRJVZd27B72sckXJvUoJc3lUW1eSqgo=
@size 5312
@ts 1456328968
lib/coq/config/coq_config.o
@sha f1TU4jRaa20zKgjI+Q28Gmh4nAAR7w4qz1g3jYceOQA=
@size 12440
@ts 1456328968
lib/coq/ide/ide.a
@sha 50S1+NLFXapu3BSj6QLcxjj1y9zZV+yKHnYSy6LHjGw=
@size 1965908
@ts 1456328970
lib/coq/ide/ide.cmxa
@sha 0mtLMmmU2hVKagjNqwa+RMlpb3GS6lt1e32LyHHiZBY=
@size 32810
@ts 1456328970
lib/coq/interp/interp.a
@sha u+dQCXIe2spdtmJ3zezzrK9J8fTk9ILqNm9FarmlStU=
@size 884010
@ts 1456328969
lib/coq/interp/interp.cmxa
@sha fX3xrUcas6UBzqaM7frPLaEZnvIzDmy8aFpjToerCnA=
@size 42921
@ts 1456328968
lib/coq/kernel/kernel.a
@sha T5CL3NWTp6upVw3aQpkkAsilAH48AKdrSTnzfIPRjSo=
@size 1059066
@ts 1456328969
lib/coq/kernel/kernel.cmxa
@sha bUrEpSN2lzDov/7b82XYHEasPNMKS5bvO/XXChavZAA=
@size 48526
@ts 1456328968
lib/coq/lib/lib.a
@sha NsttRzDzhlsIYu4nUd4lNMLHfC5VLYRxMO0lwLDq6bU=
@size 1074908
@ts 1456328969
lib/coq/lib/lib.cmxa
@sha L48PHblyubrg0peny+FBiDppMI2APLMu9LNsPTU99Mg=
@size 17866
@ts 1456328968
lib/coq/libcoqrun.a
@sha PHD29vL574dzABXwFbXWbiMz88oK+lCVp20EVpczKIk=
@size 28882
@ts 1456328968
lib/coq/library/library.a
@sha +3RB/KK6TIchkdXvKmB1RybP6KR/x0Wu2Se4c1BzwH0=
@size 412428
@ts 1456328969
lib/coq/library/library.cmxa
@sha wBMLMBo5s9lqZBe6uA2NWPbFVeBg10QBZJIE+WfReyk=
@size 28189
@ts 1456328968
lib/coq/parsing/highparsing.a
@sha VvV9gXtuWtnCn24atPmO8iUZ0VKNSvG8sRp0lnn4JVU=
@size 1196542
@ts 1456328969
lib/coq/parsing/highparsing.cmxa
@sha AU6qdYwDTt9MTNXDqozLMRUPAvm0uOheNnZEk/x8g0o=
@size 17348
@ts 1456328968
lib/coq/parsing/parsing.a
@sha k9HfWT495WX3H/ITw4GHkSNH7EZ7LK/Bxg5mEmOT1vY=
@size 613432
@ts 1456328969
lib/coq/parsing/parsing.cmxa
@sha jAnZa5CbuhvKMebjPHlH5yCy4DdG87+R1Wfm58WOCsQ=
@size 31890
@ts 1456328968
@bin lib/coq/plugins/cc/cc_plugin.cmxs
@sha YWn51Ejl/wBSuSyCyd2NoUZQezq1xZvF24k6nXMalyA=
@size 185627
@ts 1456328970
@bin lib/coq/plugins/decl_mode/decl_mode_plugin.cmxs
@sha sV3AXMauLyKMEFuEq40RWXqo22QSPHUAHc7nwnL4j+Q=
@size 460312
@ts 1456328969
@bin lib/coq/plugins/extraction/extraction_plugin.cmxs
@sha GUYnQC7laiEFXT6XW/taYZiNdouP9jj8oUadRH++S54=
@size 740428
@ts 1456328969
@bin lib/coq/plugins/field/field_plugin.cmxs
@sha QzUwLNRwsW/vJYfS4LGuEIQN1F2+SM3c9qvH7YCSJG8=
@size 76198
@ts 1456328969
@bin lib/coq/plugins/firstorder/ground_plugin.cmxs
@sha 2sIPC6ulYWPraaDFeib2CAke70PNhVPaxjFCR2gBBmo=
@size 216698
@ts 1456328970
@bin lib/coq/plugins/fourier/fourier_plugin.cmxs
@sha N5u0Zbz3M23C8eR54LEU53U960y2g+Eo7E/WYzwOjkw=
@size 118098
@ts 1456328969
@bin lib/coq/plugins/funind/recdef_plugin.cmxs
@sha rgoUAjIw+R6FQfeybEDv/3vEf1StFIFPHWW2v2sLNmg=
@size 1082780
@ts 1456328970
@bin lib/coq/plugins/micromega/micromega_plugin.cmxs
@sha sw3GdbtBmgWdnFisLb0kFAlLZd6oGEqiBqDbsshAsEU=
@size 882673
@ts 1456328969
@bin lib/coq/plugins/nsatz/nsatz_plugin.cmxs
@sha vFntYU/uaHGCOl3uTEM2q2uLSZCdv1NDnik671ShZCE=
@size 234838
@ts 1456328970
@bin lib/coq/plugins/omega/omega_plugin.cmxs
@sha m6QxnfEHDJOLsWkCdOeVvDT8Jg4wHlLPvoo/vj180t4=
@size 412595
@ts 1456328969
@bin lib/coq/plugins/quote/quote_plugin.cmxs
@sha dZYj5SuLec9DS6D8Q4h4dJ2UASiBjNT/qp9uNY1F7O0=
@size 68896
@ts 1456328969
@bin lib/coq/plugins/ring/ring_plugin.cmxs
@sha W67tdExu6lbbf51ztvrHQPBG93b+AmqRhzC3VpKe69E=
@size 182231
@ts 1456328969
@bin lib/coq/plugins/romega/romega_plugin.cmxs
@sha l0ySQ8QsFeV0uzIj20pWbWLgpEVAPudHIZSveF4BrjM=
@size 254673
@ts 1456328969
@bin lib/coq/plugins/rtauto/rtauto_plugin.cmxs
@sha hRJAAnsChOoK6EfCekOO40a7M1YH3PIa1fOgals6lXY=
@size 114733
@ts 1456328970
@bin lib/coq/plugins/setoid_ring/newring_plugin.cmxs
@sha CjhdZNrJsXUdGF6blZ1jBqBnMm7W0pthNRa9IcIsaSY=
@size 221716
@ts 1456328969
@bin lib/coq/plugins/subtac/subtac_plugin.cmxs
@sha 7IS4SXSXL4Ja+wpQ884T2/2QDCfLfom2QzHkAmD+pW4=
@size 735987
@ts 1456328970
@bin lib/coq/plugins/syntax/ascii_syntax_plugin.cmxs
@sha n2GMTtqdPSSxIShGilUEdxCftAHcYIEXGRSSg92FxdA=
@size 25735
@ts 1456328970
@bin lib/coq/plugins/syntax/nat_syntax_plugin.cmxs
@sha AppzC7ow6TC2N2KdZmPFcxvPq4o6f78c8jZrHgKdTSQ=
@size 19656
@ts 1456328970
@bin lib/coq/plugins/syntax/numbers_syntax_plugin.cmxs
@sha ED3mn37e5/AosYuHrlv9/DnZoOVn+mhLPCmVZ3ge56M=
@size 46358
@ts 1456328970
@bin lib/coq/plugins/syntax/r_syntax_plugin.cmxs
@sha TA4lOYcoL/4evPivmRu2TLtrk4+nAoFeXCqI0s3HHpw=
@size 25600
@ts 1456328970
@bin lib/coq/plugins/syntax/string_syntax_plugin.cmxs
@sha ljtQgWLteHWyCgNLGg/z1n71HZBS8H3jZ9g5/vpzWD4=
@size 24404
@ts 1456328970
@bin lib/coq/plugins/syntax/z_syntax_plugin.cmxs
@sha zCij0QgEcYDBLurfFp971qn0jB8hfxvjditkdTLPnyY=
@size 33785
@ts 1456328970
@bin lib/coq/plugins/xml/xml_plugin.cmxs
@sha zqg+idQje4w7RG0VHxSriGInGM4wmq+n/p2RptKhtrY=
@size 332447
@ts 1456328970
lib/coq/pretyping/pretyping.a
@sha ex18HqQUvNRX1SGUr0ACyozq/3Yu6/Hsk+oERneRnDE=
@size 1609214
@ts 1456328969
lib/coq/pretyping/pretyping.cmxa
@sha AXH/0/pJ6ZjNQVGWgeF4Uc56ecBDm2jAnNGXZf52+nI=
@size 69459
@ts 1456328968
lib/coq/proofs/proofs.a
@sha tDk8JkLWN8nafWf+aVCrgiC7pO3JW1EizAYmpe1wV4s=
@size 413082
@ts 1456328969
lib/coq/proofs/proofs.cmxa
@sha fegiYB06iMuzA9rPpVoZa1HoGGPjUEQJKza7X/2wgOI=
@size 41486
@ts 1456328968
lib/coq/tactics/hightactics.a
@sha JNFWP0Js4kKa6FgirMOL9wvqFQxPnqt1qkPPdBEeJtA=
@size 1408480
@ts 1456328969
lib/coq/tactics/hightactics.cmxa
@sha PWS9I8O+4S8DgP57GfgWSB1DG5hkTLXi7ov70qDbtcc=
@size 36429
@ts 1456328968
lib/coq/tactics/tactics.a
@sha mPUQa8ze0Enkv6VKMvkykZBPDcCMaBm+PoR/wwvr4UU=
@size 1463866
@ts 1456328969
lib/coq/tactics/tactics.cmxa
@sha C+ZcZ4aV//OML9+Ynn5eZ7HDby5oA9vqGNJxZXacbuY=
@size 68654
@ts 1456328968
lib/coq/toplevel/toplevel.a
@sha M0olOBvYUSq3ZTK+96FFQWllpGf6/pqSkKgRMlonF+c=
@size 1374850
@ts 1456328969
lib/coq/toplevel/toplevel.cmxa
@sha 6MV3N1w/TPMtgT+6hGfqQ5YHpWvkOUcvAW9EvlK3x5g=
@size 95799
@ts 1456328968
@man man/man1/coqtop.opt.1
@sha SkvIh5eloRK+EZNBen7FPbibIkRSJgtJhFf0fxr0FKQ=
@size 392
@ts 1456328970
@bin bin/coq-tex
@sha vXm5yVuZhkcCct+OrlnkrVyxPLBLt+Kzuqa+CppJfKw=
@size 544400
@ts 1456328937
@bin bin/coq_makefile
@sha d8vjUDVDSbb/juUBj/nh2I9H3b2tGzWQDK89rLR5pMk=
@size 723428
@ts 1456328937
@bin bin/coqc
@sha ahQdiisgxuaC1B+z11oTuB3uuc3JENOoDb/9fVqff8w=
@size 2814340
@ts 1456328937
bin/coqchk
@symlink coqchk.opt
bin/coqchk.byte
@sha Yaka2T7RaJG7NU2ygSDC8Otdtlc1bTDmDQLsQb35rqs=
@size 1389026
@ts 1456328935
@bin bin/coqdep
@sha CzB4lz/G+aYKB3iwcWWx9QbaqtXKT+kh4rFsA8ewGmw=
@size 2899044
@ts 1456328937
@bin bin/coqdoc
@sha JeQSg5wJOwVbq4/xBc51HXL3GQvJeFvTS+Rn+xYEFXY=
@size 1001988
@ts 1456328937
bin/coqide
@symlink coqide.opt
bin/coqide.byte
@sha jhvvi+UKzDcdWU9fSenr3CHSXx8AIetYbhDmCXoPeG0=
@size 1531983
@ts 1456328935
@bin bin/coqmktop
@sha bhlNpP+vaIhr1TN69YYj38ClO/xWM9tJ2El/wPinbYg=
@size 2812740
@ts 1456328937
bin/coqtop
@symlink coqtop.opt
bin/coqtop.byte
@sha YBrkFAwwjBZz7O+2Kp3fM4gEw/vm1HmLb1aWIkP2Nao=
@size 6463481
@ts 1456328937
@bin bin/coqwc
@sha 1xKdNVeYRTlcpCSUAA1j22ETT76akcAOKaZLHzHDTQI=
@size 440472
@ts 1456328937
@bin bin/gallina
@sha k91mwl2CD92gVb2YhLVHcISghFein6mp2WWB9/FuNeA=
@size 471160
@ts 1456328937
lib/coq/
lib/coq/config/
lib/coq/config/coq_config.cmi
@sha Y6WtZU95GKLUnIGRqMn1PbAd8uPV7DB0FIs/l55xWJk=
@size 2054
@ts 1456328957
lib/coq/config/coq_config.cmo
@sha wJdRqxy9YNJbLyep/j9K7HNQ04aYCF6YXvIxL33xKVU=
@size 3340
@ts 1456328968
lib/coq/ide/
lib/coq/ide/command_windows.cmi
@sha 16sPQLVz9uTBEgO9UR1yNjWNPNXaFW/EVNH1Wpzo2G0=
@size 2495
@ts 1456328971
lib/coq/ide/config_lexer.cmi
@sha BSoDeLpq9wXRQbMmaQPyN1rmaJV9KMsoKDKoFzYoaX0=
@size 1555
@ts 1456328971
lib/coq/ide/coq.cmi
@sha 5BR9pX9RaDG6ISkpafuAjxJOznEIluxukZ6mPb0S9qs=
@size 2850
@ts 1456328971
lib/coq/ide/coq_commands.cmi
@sha ZCv5kQwzc8r8EoKngPV6YDaalpgFAtcuKAlIF8WOdB0=
@size 417
@ts 1456328971
lib/coq/ide/coq_lex.cmi
@sha d5zqIv0L7MDpo0/N+AFJqApJzala1i9J34JjCTUgDXQ=
@size 1853
@ts 1456328971
lib/coq/ide/coqide.cmi
@sha isKjn+/CHZTy3i8nXlYYfZLmM/OGEi07VXNdmNtu3DQ=
@size 908
@ts 1456328971
lib/coq/ide/coqide_ui.cmi
@sha gLs6+ioNti+ZKoBDR6SyuOotDAgg4/wgIhixboDdWpQ=
@size 1383
@ts 1456328971
lib/coq/ide/gtk_parsing.cmi
@sha YrNKT0PzVXwqBaAMxGcG8VlUkvkj5A+V3qCf4bI/EZI=
@size 3072
@ts 1456328971
lib/coq/ide/ide.cma
@sha JdI6cB3m9R1FdJ1N+2M647QVqYPquzPhAcI2kRFZYoU=
@size 608741
@ts 1456328970
lib/coq/ide/ideproof.cmi
@sha Zlm9JsUY1reN+vBVHTTW0jqEQIm8Hl4XkCIpJrby+SQ=
@size 2443
@ts 1456328971
lib/coq/ide/ideutils.cmi
@sha MdJqXB10DAYKPvKLBo5J5GuzLJj19xaNbKkQM5yjg9U=
@size 5528
@ts 1456328971
lib/coq/ide/minilib.cmi
@sha kWadIok67+r+McfRBtKikRBbxD3vyRqok2vqruEAlhw=
@size 5263
@ts 1456328970
lib/coq/ide/preferences.cmi
@sha 3WQ5QsYfu2wf0zo7tWMF5ZHORdDwCK2ugy8v0nMrEbo=
@size 3249
@ts 1456328971
lib/coq/ide/project_file.cmi
@sha 2n99q8P8hqWdjLrcho0Kx7fVaEL6JcmNkLPGE3iK6Tg=
@size 3590
@ts 1456328971
lib/coq/ide/tags.cmi
@sha nAOKPJBQbudI8yYk6sWgM5t/i/gPEe+CN5BfyQrd+Gw=
@size 2583
@ts 1456328971
lib/coq/ide/typed_notebook.cmi
@sha jf+r1Bc8IfQZY/0Q8zf4a5lIYXiDFlX8+p0Ozab61Ug=
@size 15451
@ts 1456328971
lib/coq/ide/undo.cmi
@sha Q7NptPtgiKkIlIun6/vVjk2ZIexzAACwifE7mF9smUA=
@size 18284
@ts 1456328971
lib/coq/ide/utf8_convert.cmi
@sha Igc402nBxmVZEqWurkvkOWS/wCk2S82i5c3aXaBqzo8=
@size 705
@ts 1456328971
lib/coq/ide/utils/
lib/coq/ide/utils/config_file.cmi
@sha /l2EXTgCTYgvMU7pvjZsyWoFw+5MMRE120+3iM8vyqo=
@size 57003
@ts 1456328971
lib/coq/ide/utils/configwin.cmi
@sha qUka2mza7w/JNfnvSNk2ncH8LkjVP2+37EgWk0prB5k=
@size 13233
@ts 1456328971
lib/coq/ide/utils/configwin_ihm.cmi
@sha OEJlvK/Ssth/Q1FuWTlY0MYVWqfEkPIyh9AWqsBw74U=
@size 21543
@ts 1456328971
lib/coq/ide/utils/configwin_keys.cmi
@sha CUo+dPIo7evPD8/Jis92L0DJv94roQf/j59rncyv4+8=
@size 56650
@ts 1456328971
lib/coq/ide/utils/configwin_messages.cmi
@sha P+f+ZxG247aBdAgjaRNso6s31wHL0rT9OIPKfvBrs6Y=
@size 901
@ts 1456328971
lib/coq/ide/utils/configwin_types.cmi
@sha mpZFHmcoL36gcQ4jAVZhfEZc8WQjpJb907JWSHG7BqA=
@size 14964
@ts 1456328971
lib/coq/ide/utils/editable_cells.cmi
@sha p0ZoPM90YRYjAZX3pnrZmAsDwjeBkGPGk+gar5DthQ0=
@size 1502
@ts 1456328971
lib/coq/ide/utils/okey.cmi
@sha 9J9u+n/kAmwtWJN3njI284jjT2IH44RrCzRPBwveoKc=
@size 4087
@ts 1456328970
lib/coq/interp/
lib/coq/interp/constrextern.cmi
@sha JSFqBUX2ULhqMhQFCPVTPQcZ8Q+THrupX6DBT5LEpHc=
@size 5212
@ts 1456328957
lib/coq/interp/constrintern.cmi
@sha wK4oQjJ0pnT1sl9H9T/I1dZvlGDoHRAsNX4td6hl+lU=
@size 11593
@ts 1456328957
lib/coq/interp/coqlib.cmi
@sha iC6AtVfYwY1FDP7fhHBwoVFeipemI0R7KFW6uAVx0qM=
@size 7639
@ts 1456328957
lib/coq/interp/dumpglob.cmi
@sha Bx4XlEUYk6drVor4dX6sLXRMXEw5O/gdS4sUNCSnz6Q=
@size 4971
@ts 1456328957
lib/coq/interp/genarg.cmi
@sha Cvh/hRxVzRRQBlhOG/usLod3Ny6Uw0XnLzllq2YNdtM=
@size 14201
@ts 1456328957
lib/coq/interp/implicit_quantifiers.cmi
@sha 9aSu4OAcoc40Nyp4KIclCl9zdNTeOQ8BQoHZRL/+76I=
@size 5367
@ts 1456328957
lib/coq/interp/interp.cma
@sha dzvTY0cTptNou9t4fQqyC8FoojXMuXMpej3D3mNmIpI=
@size 352606
@ts 1456328956
lib/coq/interp/modintern.cmi
@sha 8EW2AnAG7FfOedRIgXVHLgTwVp+DxU2IUuytb1PXQHc=
@size 2681
@ts 1456328957
lib/coq/interp/notation.cmi
@sha 24AMDF/Hk2aHwT+MpP/nZErQ6GiEYl9cv0v0HIBJRnE=
@size 9539
@ts 1456328957
lib/coq/interp/ppextend.cmi
@sha N1/DgsymrRxzPyiF/kbCggT51Tx5HjHIb+6i41j610k=
@size 1649
@ts 1456328957
lib/coq/interp/reserve.cmi
@sha KyLO38kO136PJF6C+pKPH67c8vgGAxPuwlTC27cW7JE=
@size 2255
@ts 1456328957
lib/coq/interp/smartlocate.cmi
@sha mlH8VB66VOTym7uEIvdGngINuqDAIzGxPLuU0MnZSwI=
@size 2687
@ts 1456328957
lib/coq/interp/syntax_def.cmi
@sha Sz9XyWGds79nqHlm2Bwbd6aGQpW9YaCnNTlDzFjSDXg=
@size 2528
@ts 1456328957
lib/coq/interp/topconstr.cmi
@sha Gi5LJAAQK27Yp6o2yKGDStHfmmNQbwLB8KYhTNuWtw4=
@size 16552
@ts 1456328957
lib/coq/kernel/
lib/coq/kernel/cbytecodes.cmi
@sha eedZpuAVStwK+xn1k/8+Z7DOYtDDNIsakFG7ifRZJGM=
@size 5478
@ts 1456328957
lib/coq/kernel/cbytegen.cmi
@sha ERgy6qgvHAGvBetM5MT4kFKQW1QrqyzT0RuUfzSPGK4=
@size 2796
@ts 1456328957
lib/coq/kernel/cemitcodes.cmi
@sha gZ1Y5VdU+XFd9e5NZwKB5ZFgQiTzStp5ATJRq210NHQ=
@size 2890
@ts 1456328957
lib/coq/kernel/closure.cmi
@sha svz9V+lK/fQbbJEZx9AFmdWm/ZUkH5lT4wmD26gz7RA=
@size 9668
@ts 1456328957
lib/coq/kernel/conv_oracle.cmi
@sha lTyUhxzyzqtwrRPCBvO42uKM+PuVhp75PeJjpXXlDcI=
@size 1258
@ts 1456328957
lib/coq/kernel/cooking.cmi
@sha xhR8x4Jg5siv/26bbEga3xEvlJktZnCswMv/VsL7Jbw=
@size 2294
@ts 1456328957
lib/coq/kernel/copcodes.cmi
@sha 5aVe/2DVZ9IrtgUqL2oUbwR/AdZA/BA7eeAAzNpM6XM=
@size 4286
@ts 1456328957
lib/coq/kernel/csymtable.cmi
@sha rTYiw3lOutgLpzjGPxKR37v+rS/Kih63s+v19Q6A+nQ=
@size 1752
@ts 1456328957
lib/coq/kernel/declarations.cmi
@sha jSFeWnoDhcJRJJDHciFFGWMFi7JzR7AFHzSQhxqFTLg=
@size 7709
@ts 1456328957
lib/coq/kernel/entries.cmi
@sha q/EC2LBfNyJ1mGFXVmLLYv92LSvE3/WR86D7jJJpsRU=
@size 3167
@ts 1456328957
lib/coq/kernel/environ.cmi
@sha IoC3qJG4X/adJpiqRqPOHd3wsuUKnpSbLLut5sKJ3K8=
@size 9678
@ts 1456328957
lib/coq/kernel/esubst.cmi
@sha wZx1xAB2YKT8JA1XXSiejDHIwtmAApSNTM4FwrlCYMQ=
@size 2923
@ts 1456328957
lib/coq/kernel/indtypes.cmi
@sha vDAQ2vFRLmvf0EvvPLDv3vvlF+3EQA7B13mU8EJSRjA=
@size 2601
@ts 1456328957
lib/coq/kernel/inductive.cmi
@sha OHkXibE8u3pj3wjtlmie2DzAfrcrO2mWoZYkSQhai2o=
@size 5802
@ts 1456328957
lib/coq/kernel/kernel.cma
@sha yS2VbgQxNq7n5EM/JyXibgWDrcKatWm4AklDba2zFFg=
@size 412648
@ts 1456328956
lib/coq/kernel/mod_subst.cmi
@sha o/btkW9DdaEElJm2s6rpRBuNwJi+7WAd0/DlfYplwns=
@size 6015
@ts 1456328957
lib/coq/kernel/mod_typing.cmi
@sha oqPMasjpq0WGzwtOSWa4e+zAS1is20kO9B58PRDLnpY=
@size 3436
@ts 1456328957
lib/coq/kernel/modops.cmi
@sha 3ucnD3yjs1BJcE2QpUlvOjzTe/ZHj525Lqz8iA2LuqI=
@size 7059
@ts 1456328957
lib/coq/kernel/names.cmi
@sha rG8DDhHe04iu4Eyo3Qi6DooSHV0HcGxtN4NmjTHD1OA=
@size 70575
@ts 1456328957
lib/coq/kernel/pre_env.cmi
@sha s9OadTm71eOXdGNoKxzixUzg1bP9qjRF+MU9ULuQgbE=
@size 4211
@ts 1456328957
lib/coq/kernel/reduction.cmi
@sha HYwDNVYD3KDz67KXqhTvZ+TvyRp/l2C1aYU0CIMKpfg=
@size 5879
@ts 1456328957
lib/coq/kernel/retroknowledge.cmi
@sha 8QIDF3b8JjheVLbfmApumjDSp063x4kX/qBNdAcoy5M=
@size 5504
@ts 1456328958
lib/coq/kernel/safe_typing.cmi
@sha Z+Z08yQPsW1K+IP/Brdfgpk5weTwylXVLIi2LbSuJ/8=
@size 6690
@ts 1456328958
lib/coq/kernel/sign.cmi
@sha tZKqYsa5CDh3COWx5Jex9BvLwMIAO+tWreehQTy1FB0=
@size 3282
@ts 1456328958
lib/coq/kernel/subtyping.cmi
@sha O1TOPMZct1o8ISz9tVovmu5CXrHb8+NCXo2+KEDtnBI=
@size 1667
@ts 1456328958
lib/coq/kernel/term.cmi
@sha BXWzXjriIPbpolaL4JJ0k42QnRqlkAgoliJLlNaJbYs=
@size 21486
@ts 1456328958
lib/coq/kernel/term_typing.cmi
@sha zIb0t3I3up73t1/TCaEB+Arf/QMBroCLCuUVBmWxiZA=
@size 3088
@ts 1456328958
lib/coq/kernel/type_errors.cmi
@sha FrwCTBe9AKrVlgtdF3+lJVSvO+JpmHvZ5pZaKaowR2I=
@size 7002
@ts 1456328958
lib/coq/kernel/typeops.cmi
@sha ZrxCbjE/anQ/+6TUwGeK2gGwSLj1XaYrDZaQ8Xia2uo=
@size 5963
@ts 1456328958
lib/coq/kernel/univ.cmi
@sha fgkci7XMdvq0tHR6xzAOcwUCimW0/SD/Zs7gE95v0R4=
@size 6788
@ts 1456328958
lib/coq/kernel/vconv.cmi
@sha bZdF3maqyYHzg0MVrCeo5SgOdFLmBSZHDAw74DlAWXQ=
@size 1919
@ts 1456328958
lib/coq/kernel/vm.cmi
@sha 8t2NFYk4t/99zfI6/COJLiBBTfehE5JO5ucki5gn6D0=
@size 5777
@ts 1456328958
lib/coq/lib/
lib/coq/lib/bigint.cmi
@sha BvpbXsKjF345x/Ml82bsZFK6mEMosZ6YJwAsdInKGas=
@size 1815
@ts 1456328958
lib/coq/lib/compat.cmi
@sha Ej8D3tyqoD7HILpVL4AZksJ/+Mv6H8Q/SO77wXQ8nNE=
@size 22079
@ts 1456328958
lib/coq/lib/dnet.cmi
@sha KDyefQToQPvUB3+C2DpGylNRFTS1KJHacpPIJCRV3fs=
@size 8846
@ts 1456328958
lib/coq/lib/dyn.cmi
@sha D1dVZqM8Shv/DX1u8upOnkmJ6pTH5+ttUC4HYGqFhCA=
@size 409
@ts 1456328958
lib/coq/lib/envars.cmi
@sha 80kv9yk5CBKL3nMV+GYhwaMPqdW+fRywP+FGdlu9hcM=
@size 794
@ts 1456328958
lib/coq/lib/errors.cmi
@sha 1mwY5OaoW48qCNuwOMBrng87fzHGKdkB/mbkO4s3DZ0=
@size 815
@ts 1456328958
lib/coq/lib/explore.cmi
@sha rR9O3sM+oS2jf7mC5sHNzB6gyROu1HPsBjTOYkdCeqM=
@size 998
@ts 1456328958
lib/coq/lib/flags.cmi
@sha uj7RggH62ptjsNXIigiirA99FmNO4qA0NB6dDIHEOlM=
@size 3813
@ts 1456328958
lib/coq/lib/fmap.cmi
@sha +fi79IplxtQefv5Hqp1exw+vhXuvLMEuJjPZWDm/gcI=
@size 1553
@ts 1456328958
lib/coq/lib/fset.cmi
@sha kq1mNDlaTfTcHLzG41lml6OQCaZEpv0SAVuDWJIFjJ0=
@size 1851
@ts 1456328958
lib/coq/lib/gmap.cmi
@sha yMZYSJhDDwBefB+/5VxzzUtIRiPmKDXLsz5+2ObI2Xs=
@size 1515
@ts 1456328958
lib/coq/lib/gmapl.cmi
@sha AQKAReqAsSwLgc2iCctfu40nhRYlHtbQBWqe+orNk5E=
@size 1240
@ts 1456328958
lib/coq/lib/hashcons.cmi
@sha kpVRjGJ8X8KlysyI3SRoMmtdYWSbVcFkXVheR/C7EH0=
@size 2771
@ts 1456328958
lib/coq/lib/hashtbl_alt.cmi
@sha Y19Sr53X/zRM1shIHnrcF44Hwszgxd60IaFK1DWJZeA=
@size 1105
@ts 1456328958
lib/coq/lib/heap.cmi
@sha p3qJW90xRtAGHgfO9H7cax0NGTzCb1G63djCuqzVCBU=
@size 1468
@ts 1456328958
lib/coq/lib/lib.cma
@sha 9Qf7lfB9lEeTYaj8EbbD44VTR/300HPW1aM/jX5Jwbk=
@size 273270
@ts 1456328956
lib/coq/lib/option.cmi
@sha eX4/ScKEbT3u2yWE1ygjHCoDM/UD9HgzKxkaFWOmBnE=
@size 3046
@ts 1456328958
lib/coq/lib/pp.cmi
@sha hz/W94XFplNQi+7e5Q3bVJvXBqIa3d6sxBwjNxYIY44=
@size 5239
@ts 1456328958
lib/coq/lib/pp_control.cmi
@sha jxRR61P6TLCAu4L8+SE+lEKlty9z7Xlubk3xQi9kEkc=
@size 1485
@ts 1456328958
lib/coq/lib/predicate.cmi
@sha 8ZbuorT29yLTa8BSlN6DNf3zaL737+cm/MOx0taZP7E=
@size 2693
@ts 1456328958
lib/coq/lib/profile.cmi
@sha /na8XSgHfVa21DLW3qQIaOEmV/gAHrVeZ5gDIf/xXNU=
@size 2558
@ts 1456328958
lib/coq/lib/rtree.cmi
@sha b5ljB+wHorxS9SFK4KLkh/jfmUJbpkdmRzfqgRV3P28=
@size 2337
@ts 1456328958
lib/coq/lib/segmenttree.cmi
@sha bdvbrvAEkRvitZd/yH3l3duNSPWz3QxK8U0i5FrhVZ4=
@size 476
@ts 1456328958
lib/coq/lib/store.cmi
@sha cuBhrUTDpp4XPfUDpB8to/eSZZyE2/r9zthtqUJIXos=
@size 665
@ts 1456328958
lib/coq/lib/system.cmi
@sha bveSGOGdP15TpK3/whjR6Ah99XcXmWdF2MoWBEDx0N0=
@size 3476
@ts 1456328958
lib/coq/lib/tries.cmi
@sha 3cp9Fbcy5Qo4V3fEZkXQRhgmAzIdXdqLXsrnyFoj2Tg=
@size 1296
@ts 1456328959
lib/coq/lib/unicodetable.cmi
@sha TnrpiDGRv1atVfVnbQQlsZmnPtLeJsuJkpFH2XQE2oI=
@size 2560
@ts 1456328959
lib/coq/lib/unionfind.cmi
@sha Nt23vjH/73R/Drelk+BQWg/uGoIbvFVK7zt8n/GOnSc=
@size 4757
@ts 1456328959
lib/coq/lib/util.cmi
@sha alEEMh8pqqUTYmUb/JedqY9eNZk6g7mTboXSgpgX2sI=
@size 43488
@ts 1456328959
lib/coq/lib/xml_lexer.cmi
@sha ntvd5BaWd3Jc01de4OFQ4ZeB9p3o7lpp9/FivEPiNW0=
@size 1274
@ts 1456328959
lib/coq/lib/xml_parser.cmi
@sha NrSPsH9qGD6RO966zyzCIlQKFs2yFTHgdxU22IQMthg=
@size 1930
@ts 1456328959
lib/coq/lib/xml_utils.cmi
@sha yY5zKZV/Mp/QNY0YJg4Xv+GwwQuTSYnmIi3rSPmd+zY=
@size 1491
@ts 1456328959
lib/coq/library/
lib/coq/library/assumptions.cmi
@sha CILZ96p26lZW2OIVD1vWHtSHnJr4VAHV0v872I6yEo8=
@size 5238
@ts 1456328959
lib/coq/library/decl_kinds.cmi
@sha fbgIC9QuciyPOkwrq5iZzZ7kTPgWfX+M/a7+zoTDb7U=
@size 3067
@ts 1456328959
lib/coq/library/declare.cmi
@sha RitNcRSr1SjZMJHZm1Pw3uA/zKSrOT2pp61vHZErpAc=
@size 3963
@ts 1456328959
lib/coq/library/declaremods.cmi
@sha Eytvc2pz1CfLDsaRf4CJXypR9kMS7qxxw5ozR21jEFQ=
@size 6137
@ts 1456328959
lib/coq/library/decls.cmi
@sha lsZ22KAZOQKbWQXEz5gqZD1yUAlKM1tBZKwwj6lhCoo=
@size 2735
@ts 1456328959
lib/coq/library/dischargedhypsmap.cmi
@sha i9xwt4zUZ4YCVkeqCAQRYi1b3EBO5JV9S6ibbjo785M=
@size 1829
@ts 1456328959
lib/coq/library/global.cmi
@sha 56Q4/1RPEilFgsjgreOt55vsMttpFCNx0VdtnwJxbkw=
@size 5984
@ts 1456328959
lib/coq/library/goptions.cmi
@sha FFPTt8zze0gtGwWWq4K45yRYyVu45WBhLNM1s9KxLaQ=
@size 8470
@ts 1456328959
lib/coq/library/goptionstyp.cmi
@sha SwMv6kW/6OjHi3Hdfdm3GL8Crr4Cw99Ar5YY12oyQwg=
@size 654
@ts 1456328959
lib/coq/library/heads.cmi
@sha e7wnX2ThegPPVvMLdIcY8mLxNtpLY2+b/lI7k5SA3I4=
@size 1699
@ts 1456328959
lib/coq/library/impargs.cmi
@sha dE6voig56uD5tqAQ+2hUSiyYglOjONju0Zx9VIXTRe8=
@size 6877
@ts 1456328959
lib/coq/library/lib.cmi
@sha ElW5S+L3uCy4zlno7ku+MJLYaKKWBy46YEtVJ1zev/g=
@size 10282
@ts 1456328959
lib/coq/library/libnames.cmi
@sha erssk/hBfNyNZ0qY7OuM/BO1YNDJXory3z8JzMRCyZg=
@size 22792
@ts 1456328959
lib/coq/library/libobject.cmi
@sha p/tD2IohfwslFOXTrxEIPqgzoxsInW1S1RNIKqbXEbk=
@size 3418
@ts 1456328959
lib/coq/library/library.cma
@sha FlO5mtX2Rf4IobvWjyX77aJOZgvaKFE60pzDPc9mgPY=
@size 155071
@ts 1456328956
lib/coq/library/library.cmi
@sha zXzQ5yLQ7dCIKL91hCyeS7l0j9yaSZHQ3h9n3dLKnao=
@size 4117
@ts 1456328959
lib/coq/library/nameops.cmi
@sha zRHC/dhXxIxfTGaK+F5JY4lWd6H4TYEuYy0VsXsms08=
@size 3486
@ts 1456328959
lib/coq/library/nametab.cmi
@sha RqPo3JQGiumUNe7Kx3ePmLGxQUF150yu9B2cezfB8m4=
@size 5901
@ts 1456328959
lib/coq/library/states.cmi
@sha re0+QqubtFa7d4KwJ5DYIv6W365Gc0oTlWuijBPVqJ8=
@size 749
@ts 1456328959
lib/coq/library/summary.cmi
@sha QSO9UyW8cX6jCb4Ry4BENDotCMS6raVpEMbql03kRZU=
@size 803
@ts 1456328959
lib/coq/parsing/
lib/coq/parsing/egrammar.cmi
@sha PZ/uYECucq9eG2Ye0bBKLwinHrYFLuUwXdDcw1MwZe0=
@size 4573
@ts 1456328959
lib/coq/parsing/extend.cmi
@sha CezZrLE91Nw3WyW6qdhAFrAzVZJzAdvUqDR3qhewvoA=
@size 2061
@ts 1456328959
lib/coq/parsing/extrawit.cmi
@sha R/YAk5VeRZTLC5GvPrbQkh/uAT1wbr08NaHGln61IO8=
@size 4314
@ts 1456328959
lib/coq/parsing/g_constr.cmi
@sha 6obfux7WnJjrWpNGzaDsm8WBS8ZLXaq8/+yZmkUGFIk=
@size 4761
@ts 1456328959
lib/coq/parsing/g_ltac.cmi
@sha l75zhNBTevq4ehZYPzRPhPCJRKp0I3tzaXOBxBjpfaE=
@size 2972
@ts 1456328959
lib/coq/parsing/g_prim.cmi
@sha 4ZwrcQni3DBuy0u06wB75baGFVq5J71GX8BO4rSCCzs=
@size 2826
@ts 1456328959
lib/coq/parsing/g_proofs.cmi
@sha d/XuSbiBmwOog4Wfa4dIGZYOer6qXIdNhYVzqQKigTw=
@size 3224
@ts 1456328959
lib/coq/parsing/g_tactic.cmi
@sha W2kR0C5iGchlqrvdzAc5GEKcXna8DRMrmKs4jioXWuk=
@size 5465
@ts 1456328959
lib/coq/parsing/g_vernac.cmi
@sha 687AtPJdA0pdZ7NnRwtkGvf7ysHfjwElQp58KIeN4U8=
@size 5350
@ts 1456328959
lib/coq/parsing/g_xml.cmi
@sha Z5/8q4UQ3LANqbanO/s8DMfpSwTWJMvwM/KEEaXHIrE=
@size 8852
@ts 1456328960
lib/coq/parsing/grammar.cma
@sha D5gtO6utm5ydlO98cZP8Z7sFPuih06e5UOwt6yuz16w=
@size 1356051
@ts 1456328957
lib/coq/parsing/highparsing.cma
@sha GjSVgFZgV2BLh58PHdQDiPJ8cIlU3Mbp51C+rsYEdQ0=
@size 513917
@ts 1456328956
lib/coq/parsing/lexer.cmi
@sha +ftSO3xj+LfprAD3v6PQi6UNcihc/P11k+50wPv1e5s=
@size 9357
@ts 1456328960
lib/coq/parsing/parsing.cma
@sha 71hYnYt9joUxk2/35SkurHecKWcQk+zduNpbEoTNxiE=
@size 268911
@ts 1456328956
lib/coq/parsing/pcoq.cmi
@sha DtwY4gQljr5mt/ZE5E3PBvL2Pdl/tNycEZUUV01TB2A=
@size 12467
@ts 1456328960
lib/coq/parsing/ppconstr.cmi
@sha Qq1yhKbHnjMJtGyYD50khlIepEfhH5be9/CVeYJtalg=
@size 7053
@ts 1456328960
lib/coq/parsing/pptactic.cmi
@sha DOnwRPzlczPTORSzSH9SFJb5K/gNMwrMQ27+dS7/m3M=
@size 8019
@ts 1456328960
lib/coq/parsing/ppvernac.cmi
@sha FGjyMEJVtAauXibx6PzO068U47YVa5QjR2JDJO/pxos=
@size 2861
@ts 1456328960
lib/coq/parsing/prettyp.cmi
@sha jNx1xM5ej3NbdKEwpoisuJT0Vq+R+7auO+HFP3tq87I=
@size 6778
@ts 1456328960
lib/coq/parsing/printer.cmi
@sha LkZL6TRngSRCSD5WcdT+dwX++bnFBkVyLN2iQFGAQKM=
@size 10821
@ts 1456328960
lib/coq/parsing/printmod.cmi
@sha vb1/UhXTUVeItSRWPdxWgliV9pRiydDr1w1WuQjrbSU=
@size 739
@ts 1456328960
lib/coq/parsing/q_util.cmi
@sha JR2eTpzFF4DJ3mDleEr8asPpxaYwEl45u6yPb2sIHKU=
@size 3951
@ts 1456328960
lib/coq/parsing/tactic_printer.cmi
@sha QO2hyyx9HNPMo1KmYVPSAPfjPbj+vGPjkmQX61HfZLI=
@size 2811
@ts 1456328960
lib/coq/parsing/tok.cmi
@sha tl1AVAp20b6+Pm5nYGVbSUukEyaV6IV8MXAvj7eHLNk=
@size 1203
@ts 1456328960
lib/coq/plugins/
lib/coq/plugins/cc/
lib/coq/plugins/cc/cc_plugin.cma
@sha yftEUetE8yxpNA/RM0CL0T9355WKwqCQ8xZHCijepyM=
@size 69663
@ts 1456328955
lib/coq/plugins/cc/cc_plugin_mod.cmi
@sha j2ahScnlDJZG6EKY76sfJQfs+RDBzYY389xkk1G8l/A=
@size 2428
@ts 1456328960
lib/coq/plugins/cc/ccalgo.cmi
@sha pfjIlysyIYanerinCaG/rxW1emdp9fYU0f9IRoHjc6k=
@size 18859
@ts 1456328960
lib/coq/plugins/cc/ccproof.cmi
@sha mAXm0sV/PiLHa1xNEuu+aZwEwDs6cTF+4FZoioUWhAU=
@size 4799
@ts 1456328960
lib/coq/plugins/cc/cctac.cmi
@sha 36FYuX+I3pbv98jkGzdITpbSsceHYmLZsMwpY4HEc1w=
@size 2816
@ts 1456328960
lib/coq/plugins/cc/g_congruence.cmi
@sha 9XYHT6xKHf/jCFMfpzTGAQ6iAFf/6nV4NAtO6DijNI4=
@size 3248
@ts 1456328960
lib/coq/plugins/decl_mode/
lib/coq/plugins/decl_mode/decl_expr.cmi
@sha SxdoQhiCCYkfiWJlE/wF2QcHUuoi+BdVzRwC+cIhiL4=
@size 5939
@ts 1456328960
lib/coq/plugins/decl_mode/decl_interp.cmi
@sha TLFJRWvUaPRNiEZHe6JMv6fCl8FNsAsnZmkYNq/yhzA=
@size 3336
@ts 1456328960
lib/coq/plugins/decl_mode/decl_mode.cmi
@sha GNm++QYftKGJm5Ppcq/nKwMnvzbU7cv4IkDr3fkK66Y=
@size 5245
@ts 1456328960
lib/coq/plugins/decl_mode/decl_mode_plugin.cma
@sha UHYncV8XSJAJBQXLRKCCUCQ+4kFThxrHpONxdrG0/Jc=
@size 159550
@ts 1456328955
lib/coq/plugins/decl_mode/decl_mode_plugin_mod.cmi
@sha Dn2wFBk8MvMdHh9jF6PDHY6Ewt3RvvfKF6dTxrMeImM=
@size 2442
@ts 1456328960
lib/coq/plugins/decl_mode/decl_proof_instr.cmi
@sha 8KsLBa67GvCrOsk1g+P6m5Q+ILc82deKHdYBJmf0dMg=
@size 9230
@ts 1456328960
lib/coq/plugins/decl_mode/g_decl_mode.cmi
@sha HIcrqWtjkHLfZv6RyF1HDmHhUug8jWLTOTf/9J54HMA=
@size 5408
@ts 1456328960
lib/coq/plugins/decl_mode/ppdecl_proof.cmi
@sha eT8XZan8g7etFwJuvN86cd2G2Vv7/JAlUmtOgsVBPBA=
@size 2248
@ts 1456328960
lib/coq/plugins/extraction/
lib/coq/plugins/extraction/ExtrOcamlBasic.vo
@sha 9WEhuMULw43uZk8VxJi6DaD598LALyeCArJAk7nJt+w=
@size 1518
@ts 1456328955
lib/coq/plugins/extraction/ExtrOcamlBigIntConv.vo
@sha xGV6Oc0PBNtUbQDKKO6HFhbcB1wA0YzD3RERsuS5VE0=
@size 18200
@ts 1456328955
lib/coq/plugins/extraction/ExtrOcamlIntConv.vo
@sha KEmL72JEC7QuPw6qXhhbsU0AmTunEnb+RtqvrtAKiDc=
@size 18327
@ts 1456328955
lib/coq/plugins/extraction/ExtrOcamlNatBigInt.vo
@sha 4yBZoF6Uh2hgT4qbwWNU8X8ye1yaYjwXj+RySBSrRJc=
@size 13167
@ts 1456328955
lib/coq/plugins/extraction/ExtrOcamlNatInt.vo
@sha Auj7wby/nzl9U9hdSJir+yKZfKTJCZ3yqA4gdyipceM=
@size 13130
@ts 1456328955
lib/coq/plugins/extraction/ExtrOcamlString.vo
@sha MIHEejT5tmywJKlrDLXDcixY8rBdn1l10NiO77D+Lfk=
@size 12631
@ts 1456328955
lib/coq/plugins/extraction/ExtrOcamlZBigInt.vo
@sha P/qHWRJqJf8glkqWrKqM6Ko6T0/OkIzonOu6V6QKgec=
@size 16614
@ts 1456328955
lib/coq/plugins/extraction/ExtrOcamlZInt.vo
@sha xN3+G8aFgeyd6OzuydbOYmB/9GPlMejCRdERTlfP0Ow=
@size 16792
@ts 1456328955
lib/coq/plugins/extraction/common.cmi
@sha MUS84P4jQ/sCvHqfr+McYnOIWh7Y4CgcHJc7cbcgBFw=
@size 5043
@ts 1456328960
lib/coq/plugins/extraction/extract_env.cmi
@sha EWV7RqBb9fe/8JvNCGwrSl4bh2/mUrJCYuDITwKdw78=
@size 2094
@ts 1456328960
lib/coq/plugins/extraction/extraction.cmi
@sha JyycrToE7FmCM1dhK/zpAr7WSfpzmcuO8C/WTnIF7F8=
@size 2605
@ts 1456328960
lib/coq/plugins/extraction/extraction_plugin.cma
@sha wi4VazpBeRZWhhTug+ITJfvtQJpkgyiqoxw9nmX0aH8=
@size 279220
@ts 1456328955
lib/coq/plugins/extraction/extraction_plugin_mod.cmi
@sha BG8Cet+qEV9KHsBgfkLLvIMBFAGV8VPlZ7hbdgx0Fww=
@size 2444
@ts 1456328960
lib/coq/plugins/extraction/g_extraction.cmi
@sha XJZwlMvI50ZWMu8r+38g+IvnY9NqhqtWkioqJ8K/DKw=
@size 4578
@ts 1456328960
lib/coq/plugins/extraction/haskell.cmi
@sha uOPdOuH+I7wsG05LsYycB90MkpVFsFOb4KgOSn30b9w=
@size 1327
@ts 1456328960
lib/coq/plugins/extraction/miniml.cmi
@sha QPB5ZOiSLDiqUQqb/cJ6AFDbXC/9H9fzNwHaDlFJelo=
@size 7298
@ts 1456328960
lib/coq/plugins/extraction/mlutil.cmi
@sha +E8tqglt0C1d+fvySPyJHeGMuY1PmpefkXjZjdjBiuc=
@size 8360
@ts 1456328960
lib/coq/plugins/extraction/modutil.cmi
@sha NinseIaW90vYN67LkHeJqfI0yZyJrh0ixiDiHNQMhqM=
@size 2749
@ts 1456328960
lib/coq/plugins/extraction/ocaml.cmi
@sha Tn5gft1oksso5sbEd5/c/Wrog83BNPVy5BcYmviSZPU=
@size 1321
@ts 1456328960
lib/coq/plugins/extraction/scheme.cmi
@sha X3P1h9X7iBYptnZSSTvBVzbH4Ef8pCVuwc3bGqrk/kY=
@size 1324
@ts 1456328960
lib/coq/plugins/extraction/table.cmi
@sha TD60KTWQ3wDebv/3XNGpGdbneexL9xqJzqh2VZ4r7U4=
@size 16675
@ts 1456328961
lib/coq/plugins/field/
lib/coq/plugins/field/LegacyField.vo
@sha 69xM8jiCEpOnBTHIKWPpDh88fkmpELDaQ4nlW1kEYXc=
@size 2126
@ts 1456328954
lib/coq/plugins/field/LegacyField_Compl.vo
@sha qUZsyFWQo8fZmR7EySOOSARSBaj3wsM/1IE+45naF2U=
@size 5317
@ts 1456328954
lib/coq/plugins/field/LegacyField_Tactic.vo
@sha liGlpo/TwGGHcE7h7v2nRZpnwXsQEElrALqcsr7Yf+4=
@size 35076
@ts 1456328954
lib/coq/plugins/field/LegacyField_Theory.vo
@sha C9Wwt7OlIUnwLxEKeAZBlX6ZFXLzUdTV2Mwfpy4ayCQ=
@size 208367
@ts 1456328954
lib/coq/plugins/field/field.cmi
@sha 6Am5uvjfpcgbk7oAPP8/pcKAI6Jo217qphb00J0qYnQ=
@size 10697
@ts 1456328961
lib/coq/plugins/field/field_plugin.cma
@sha fwLvldMU2i+qd8TAfoygFaOjuEve0FtVqLuhHeRzSCI=
@size 24219
@ts 1456328955
lib/coq/plugins/field/field_plugin_mod.cmi
@sha PN7VZGDZ6uhTvGo6mO0zoTzDLYJifVu0RboZuoQQ7Hk=
@size 2434
@ts 1456328961
lib/coq/plugins/firstorder/
lib/coq/plugins/firstorder/formula.cmi
@sha wWKNsj9ZiI16ySwARe+91MxJV2UZpuMvvdgvp3dna4g=
@size 5645
@ts 1456328961
lib/coq/plugins/firstorder/g_ground.cmi
@sha Ordg7tZztoajicMCdFdAoBx/s1MBsArFbkR6ZF+2wOM=
@size 6232
@ts 1456328961
lib/coq/plugins/firstorder/ground.cmi
@sha hv0MGL9mZlW1CkhvE8LnahR9dSWsEwHX3NBHmbQelC0=
@size 3018
@ts 1456328961
lib/coq/plugins/firstorder/ground_plugin.cma
@sha ktri+lF1SGw29xTdoRtoy/s2/h2duVMlgIVda6eoyRc=
@size 74792
@ts 1456328955
lib/coq/plugins/firstorder/ground_plugin_mod.cmi
@sha 79exJ4qFM0nKXjDAiQaMxmihrwT5V9EyHB3AFTMF7Cg=
@size 2436
@ts 1456328961
lib/coq/plugins/firstorder/instances.cmi
@sha 6oz+B42UvuNSdHRNBdna6O4a+CQYtzxVZlI9nEMrS/c=
@size 3396
@ts 1456328961
lib/coq/plugins/firstorder/rules.cmi
@sha 7nNUwpVersLjZUtVn23l4h3GgTDLSF8HAbdd5+wnXvU=
@size 4624
@ts 1456328961
lib/coq/plugins/firstorder/sequent.cmi
@sha 5as5c7IaIjYEfif7v82LA9crNenDkDyhZLknCOVSoVg=
@size 11834
@ts 1456328961
lib/coq/plugins/firstorder/unify.cmi
@sha 4UTHZu6D4SluXAH03UX8VyNjnJAU2OC8/ClyoyCEFbo=
@size 1911
@ts 1456328961
lib/coq/plugins/fourier/
lib/coq/plugins/fourier/Fourier.vo
@sha 1/+yukGupXay2l36ILZWEV5LAiTzK/Oj+V+SBhCcrHM=
@size 13730
@ts 1456328954
lib/coq/plugins/fourier/Fourier_util.vo
@sha qkmuHa/ApszfbXkuxHmleprINotyMUjo2morBNDmwuU=
@size 28448
@ts 1456328954
lib/coq/plugins/fourier/fourier.cmi
@sha BD0xcRpJaJCVI2WLj/WyqlYMkYpjtK2RR5NpIAfsT3o=
@size 2765
@ts 1456328961
lib/coq/plugins/fourier/fourierR.cmi
@sha l+ZBG3V8DOEuotjUjUweNOB0MwOku1OF9fJQX/71MC8=
@size 12116
@ts 1456328961
lib/coq/plugins/fourier/fourier_plugin.cma
@sha WTr1MAPMjlqQQURmlCdL6EGhRbi5+SgLbu+pbTS9Ac8=
@size 37760
@ts 1456328955
lib/coq/plugins/fourier/fourier_plugin_mod.cmi
@sha iezLorzgT2QIC6/CVbcy/Jb5JZic8mOGTqO+qnpuIP8=
@size 2438
@ts 1456328961
lib/coq/plugins/fourier/g_fourier.cmi
@sha SBywxUNTlZr7WA+rwrVH856r+OLu1GnVjkJVac+0BtI=
@size 3890
@ts 1456328961
lib/coq/plugins/funind/
lib/coq/plugins/funind/Recdef.vo
@sha yF1FOibMj7HEm2igLE6s5M9n3BoN5AfsGpcU9/Rmzzo=
@size 6797
@ts 1456328954
lib/coq/plugins/funind/functional_principles_proofs.cmi
@sha V4xnb+/xrHN5nCr1XXLqd1PNBNiBVhtqFFPRX9EKpU4=
@size 2972
@ts 1456328961
lib/coq/plugins/funind/functional_principles_types.cmi
@sha r9gcwTKeQ/N7gJ3FnFGCPLdsItUoOTnnWHlE6hdk9HE=
@size 3594
@ts 1456328961
lib/coq/plugins/funind/g_indfun.cmi
@sha Wb0OEM9skKtJUjbPwoWp/Mj9Q7jfFQjOVj6m1LFHwRs=
@size 13874
@ts 1456328961
lib/coq/plugins/funind/glob_term_to_relation.cmi
@sha 3Lvz7fWO4cRU9VYuAgCHCUR1rFlqF5uiEM06k4otjoQ=
@size 2257
@ts 1456328961
lib/coq/plugins/funind/glob_termops.cmi
@sha QEuPFQd3J5/fjV7RDHyU7tPemR5M+k56ESxYUnL+N3s=
@size 7389
@ts 1456328961
lib/coq/plugins/funind/indfun.cmi
@sha cJE9rr/qfeNltJYxNdjxRmQrxxHudgZo1zsoAEDhkyU=
@size 3482
@ts 1456328961
lib/coq/plugins/funind/indfun_common.cmi
@sha /jJIEjPfkiSsvy6kXNHRW/eLmj2Ew/fon9ih4+Kz2mo=
@size 7244
@ts 1456328961
lib/coq/plugins/funind/invfun.cmi
@sha YG8HLvMr50byhLwALMTVFnJbt7rbQI8qU5Z9FBv8z0E=
@size 8682
@ts 1456328961
lib/coq/plugins/funind/merge.cmi
@sha 8PdL2w45bvlhW5uQ/O+cBBRtpHTQWsC2cDK/pin2AS0=
@size 22575
@ts 1456328961
lib/coq/plugins/funind/recdef.cmi
@sha C/P2kdrkLEyDUKqzKGBL5tF6Pd1wZh96iAjjkgW2U9k=
@size 21737
@ts 1456328961
lib/coq/plugins/funind/recdef_plugin.cma
@sha l3iVxjcOcD8W7zcOVbMP64dBzUlyz1jN1UrM7UgkNNk=
@size 378567
@ts 1456328955
lib/coq/plugins/funind/recdef_plugin_mod.cmi
@sha 1t/gjlBPwbIetS1TlBLPGi2+iG9WRhs8fWRah383UME=
@size 2436
@ts 1456328962
lib/coq/plugins/micromega/
lib/coq/plugins/micromega/CheckerMaker.vo
@sha zVzkHmhhy6QehhAWLJeVp8NIfRhXG4L/3PhiMftO2+E=
@size 598
@ts 1456328953
lib/coq/plugins/micromega/Env.vo
@sha 2gD8oVbJrSReVtA0lzkfkgvPjQCSpCfZUIwn7Bq4fbY=
@size 22493
@ts 1456328953
lib/coq/plugins/micromega/EnvRing.vo
@sha zKDu07swqLga2VAp35jSbA4V9ol7GQQ1jUn/56n0VL8=
@size 385918
@ts 1456328953
lib/coq/plugins/micromega/OrderedRing.vo
@sha NdkTFJT1Pj0TlFMdCKhK2847eITlpf3rdNRalg4z3Y4=
@size 168245
@ts 1456328953
lib/coq/plugins/micromega/Psatz.vo
@sha cnHyr3PtNGSIgF2CTXLwmr/Jh+DshkWi4PgrxZz1xyw=
@size 21234
@ts 1456328953
lib/coq/plugins/micromega/QMicromega.vo
@sha e3+92u7BMFu50H8XyvEvP/Ygpvp4weDlU8cvrlh4u/o=
@size 40825
@ts 1456328953
lib/coq/plugins/micromega/RMicromega.vo
@sha LZh7Ex+cKqk02/tBi7+y/jCi3Oq+htTX8QwKf86w0xk=
@size 83489
@ts 1456328953
lib/coq/plugins/micromega/Refl.vo
@sha ZOWjCnfJa2PD0xAao5+Rcxdv7ZVaYKQmhJR0ZvmPTlI=
@size 15863
@ts 1456328953
lib/coq/plugins/micromega/RingMicromega.vo
@sha EyFYFsLdIJTcprOY3vgInX1yDmIhV+YvFZeusqdEclY=
@size 316384
@ts 1456328953
lib/coq/plugins/micromega/Tauto.vo
@sha PM4kU60w0te0OEWWd/6/YYpOf0vWiw1ya2GkrQD/97U=
@size 76268
@ts 1456328953
lib/coq/plugins/micromega/VarMap.vo
@sha e0Sk3XvYwoLHEO7Zl8AiEefJUYIKMfpG9jex3PYJVMU=
@size 17039
@ts 1456328953
lib/coq/plugins/micromega/ZCoeff.vo
@sha nX77+altLnqVzwHi+Edy8/VBSqkMR6OVH4gCtIf0fzw=
@size 58076
@ts 1456328953
lib/coq/plugins/micromega/ZMicromega.vo
@sha Y7OgVBtKmj1rWkeKc5PjHwBAaWFp3jhKZSsTf577uso=
@size 273995
@ts 1456328953
lib/coq/plugins/micromega/certificate.cmi
@sha aAzX+F7AbykoLwm9c1/6iGPZByOp9ziOXquil0ZJZw4=
@size 14308
@ts 1456328962
lib/coq/plugins/micromega/coq_micromega.cmi
@sha 5n2IRj1om/4LQJ82sIf6u6pNi05rjW62+FlBmT4tbHM=
@size 42035
@ts 1456328962
@bin lib/coq/plugins/micromega/csdpcert
@sha jXd6pw+4vyw/gohYR58Jvr2T7lV98ZuNNsctEpsaQss=
@size 1108516
@ts 1456328970
lib/coq/plugins/micromega/g_micromega.cmi
@sha 8b24bRM23rcjsrrOudkm37yDYtSDTj8rYCxgY7wRPU4=
@size 4707
@ts 1456328962
lib/coq/plugins/micromega/mfourier.cmi
@sha WYdaQ9/s/nMcQ7n5zIiwrkW8kk4FqSTJIWQAQ0i1wj8=
@size 20597
@ts 1456328962
lib/coq/plugins/micromega/micromega.cmi
@sha gP/Kgy44xKpV4LniuYwUzzFvAY7wJvtR1LWgqOBTy+s=
@size 55999
@ts 1456328962
lib/coq/plugins/micromega/micromega_plugin.cma
@sha icJbXvIeEXrsd53CrQq4tQ6o9USReFjv+vyt6yzcOdk=
@size 290203
@ts 1456328955
lib/coq/plugins/micromega/micromega_plugin_mod.cmi
@sha aBbKIic82YI4dWIe3Gtwt37TvqZJ5k/WQtaWKWU87Ec=
@size 2442
@ts 1456328962
lib/coq/plugins/micromega/mutils.cmi
@sha JhLKm/XFLp+iyemAOT+po/X1YSbgwUnSZtIoDlggiGI=
@size 9035
@ts 1456328962
lib/coq/plugins/micromega/persistent_cache.cmi
@sha VPTZgsjwIGlsK4C46o2us8uIrUveRk/sgAjI5+cOIag=
@size 1698
@ts 1456328962
lib/coq/plugins/micromega/polynomial.cmi
@sha MatLoFkqFyBkkiOg3IZrkP+jQKTmSXWyK9NjVBQpP1M=
@size 16652
@ts 1456328962
lib/coq/plugins/micromega/sos.cmi
@sha tAAFOJaqjhYTDe9Z/5CXkeGvRHNXybRp3jES9TGMQE0=
@size 1766
@ts 1456328962
lib/coq/plugins/micromega/sos_types.cmi
@sha 0B+WbZYABitP78q8xQuFDUUlBW976aH06X6UOI/kKlQ=
@size 1644
@ts 1456328962
lib/coq/plugins/nsatz/
lib/coq/plugins/nsatz/Nsatz.vo
@sha 4ylKB7G2RLIQ1hWm9evhBjyiM7pEOLUgSXMxfEjFnDc=
@size 125436
@ts 1456328955
lib/coq/plugins/nsatz/ideal.cmi
@sha liCSDtVUmhhYFkVU6Q6TIpfPFjL+c9Dvr1a3QzOw1jg=
@size 21758
@ts 1456328962
lib/coq/plugins/nsatz/nsatz.cmi
@sha yX8eE3Ya5kNVkkr6fMV20ivTeH4ncFOdZbdJg5nxMeg=
@size 33116
@ts 1456328962
lib/coq/plugins/nsatz/nsatz_plugin.cma
@sha Ui0YPtrUBPsRylJr6DAjQLpdAabHWsy6iJlM67XonYo=
@size 81168
@ts 1456328956
lib/coq/plugins/nsatz/nsatz_plugin_mod.cmi
@sha 9moarfyZ9GKgG+ZtLvFkZoW51qVf06qtb2kMdhcXQys=
@size 2434
@ts 1456328962
lib/coq/plugins/nsatz/polynom.cmi
@sha fWB8qvb3kajt6CQlOuw3M28ZPaDZW5b8JkcYTgF4/uA=
@size 15253
@ts 1456328962
lib/coq/plugins/nsatz/utile.cmi
@sha S+038CFdspHorKNeZQ72yGVQw1JEY5ufHxz2rXuk7Jk=
@size 1492
@ts 1456328962
lib/coq/plugins/omega/
lib/coq/plugins/omega/Omega.vo
@sha 21ZhOcXz2K6MvlOuZvn0nS950O57D1J9OwYmqCo0yfA=
@size 15971
@ts 1456328953
lib/coq/plugins/omega/OmegaLemmas.vo
@sha QAa24CzRwjkFix4bwQ+HxY/4X6BnlYz0QpiJa8WSVBg=
@size 55936
@ts 1456328953
lib/coq/plugins/omega/OmegaPlugin.vo
@sha 35esVyXcebq4WojRKxyDa5m8r3wIbDm70dYrzFjL7g0=
@size 627
@ts 1456328953
lib/coq/plugins/omega/PreOmega.vo
@sha xBmcwynA89uR8SB71nHGb9sfRZ/XFmVIafv0UB/cmYM=
@size 53022
@ts 1456328953
lib/coq/plugins/omega/coq_omega.cmi
@sha gQ2k5EWjO2/uJhKCKbwX+Z+ss1Zh5MfhHf5AHarBxsk=
@size 41396
@ts 1456328962
lib/coq/plugins/omega/g_omega.cmi
@sha PlN4vy4FcGsElw8a6EWCPCTGXxX2kK6bv5itvqS8I4s=
@size 3807
@ts 1456328962
lib/coq/plugins/omega/omega.cmi
@sha EOIw6H2JjGyApKR/OXWOwyyQWIZsdCs3i3YcHpyXVE0=
@size 12465
@ts 1456328962
lib/coq/plugins/omega/omega_plugin.cma
@sha HG3pzDiGovdg3rcdRMbJBjjYiXHGDJ91rH3mV+NjqTI=
@size 154813
@ts 1456328955
lib/coq/plugins/omega/omega_plugin_mod.cmi
@sha 9bPnAgo1HkSoL2AakMzJtwd/KU4MUtr0xvq9jUcVXNY=
@size 2434
@ts 1456328962
lib/coq/plugins/quote/
lib/coq/plugins/quote/Quote.vo
@sha gWtfspo8s+yAqdS9jk3+Ry9WbK5M2x9I8h3jGRjaLK4=
@size 12094
@ts 1456328955
lib/coq/plugins/quote/g_quote.cmi
@sha zgSvW6TXGqvnSkqAwIWXQaaEwiVasjpFDDYqJ7KgFwc=
@size 3421
@ts 1456328962
lib/coq/plugins/quote/quote.cmi
@sha MK67QxbRj4/u6QLY2xws/Q56eXKmLhLv9a3SP0EyC1s=
@size 10068
@ts 1456328962
lib/coq/plugins/quote/quote_plugin.cma
@sha fSsuUM4kgoDcYADw58QprlDkJ2uVvaAW5vWa3wuK3bU=
@size 24292
@ts 1456328955
lib/coq/plugins/quote/quote_plugin_mod.cmi
@sha TerDZKSsM9lewXho9kEZ3AbkJ37J0L7clbgkq5qS5uo=
@size 2434
@ts 1456328962
lib/coq/plugins/ring/
lib/coq/plugins/ring/LegacyArithRing.vo
@sha SsM6TYW67kdswxDaRequ1TN68Dm+i401G4270ue7FgM=
@size 18912
@ts 1456328953
lib/coq/plugins/ring/LegacyNArithRing.vo
@sha qXQ+vrOvxVOgTDLeJ3571zY8yjDOoPpyp5t+CjiPeUs=
@size 16353
@ts 1456328953
lib/coq/plugins/ring/LegacyRing.vo
@sha I/pwhurrcYkgJdA/PaSTsZhn5bTUeucdsKDCzmMbbWw=
@size 14257
@ts 1456328953
lib/coq/plugins/ring/LegacyRing_theory.vo
@sha L88ndTmUMHbJEGIFg2i0Aljwp73XvavjElHphKlRTW0=
@size 82279
@ts 1456328953
lib/coq/plugins/ring/LegacyZArithRing.vo
@sha +4oxY1BJjuNT8VQeLmXK1XYBFJhlPJ9GUeFnXmwUM70=
@size 14831
@ts 1456328953
lib/coq/plugins/ring/Ring_abstract.vo
@sha Mi3DXs+8KtipiPk8p3RZxe/B54uwmbU+Wfp5Hi0pUuM=
@size 75254
@ts 1456328953
lib/coq/plugins/ring/Ring_normalize.vo
@sha 3Z3koQQf6v2q0KsDwX/ZgE8MMNpOIU8UOYEIghL3pvE=
@size 107359
@ts 1456328953
lib/coq/plugins/ring/Setoid_ring.vo
@sha k7kep254KoEtAR4yGAikLAkSHdtSWpInbdj1eUE9+CE=
@size 1386
@ts 1456328954
lib/coq/plugins/ring/Setoid_ring_normalize.vo
@sha Et3BNucPcDjxwCuDrmz7NosS8ZTNHIl5R58E43qAkeA=
@size 155167
@ts 1456328953
lib/coq/plugins/ring/Setoid_ring_theory.vo
@sha 0p+1P1u+4kW0v8bJVsQXVDm5JrOHxzt+OVup1Mdhk+o=
@size 121402
@ts 1456328954
lib/coq/plugins/ring/g_ring.cmi
@sha 7PqsaGZ92zZjrYwWZdJ3MWMU/gQtDI8ryYTXRwzBrsc=
@size 4013
@ts 1456328963
lib/coq/plugins/ring/ring.cmi
@sha dfeiM93Xgp5gy4lf/SbuzHBJ2ishds2o6cZN2T8v8u8=
@size 23821
@ts 1456328963
lib/coq/plugins/ring/ring_plugin.cma
@sha UJs1Iszpjv7kXxBOeIRxNNmUwXiL4FplW3BAO64Fijc=
@size 65250
@ts 1456328955
lib/coq/plugins/ring/ring_plugin_mod.cmi
@sha I9xZ1cjz48yUJuZXX9dO0a0hnFUwup9wqNQN3h4wdHg=
@size 2432
@ts 1456328963
lib/coq/plugins/romega/
lib/coq/plugins/romega/ROmega.vo
@sha D4IohxcprMSYl7tu1tgsL5dV/9OT1V7ZwqiFzqJU5js=
@size 11897
@ts 1456328953
lib/coq/plugins/romega/ReflOmegaCore.vo
@sha YftHf6fjPmxXLiZY9YC6sLbAsNTmEsDQuXbScjNjdS8=
@size 556526
@ts 1456328953
lib/coq/plugins/romega/const_omega.cmi
@sha JMK8wB/flRRATh43of64L4ug3gSdAhNhoPm1d+g5imY=
@size 12113
@ts 1456328963
lib/coq/plugins/romega/g_romega.cmi
@sha nqooSY4+TIH/Qv76Bly2Z9l98SLKgfYsGgXsWCCxGaI=
@size 3491
@ts 1456328963
lib/coq/plugins/romega/refl_omega.cmi
@sha MUBx+5M5vdHBNekVGc6xQcOptw3MJNtbniNVnF7Gt9c=
@size 27345
@ts 1456328963
lib/coq/plugins/romega/romega_plugin.cma
@sha NosPGoJofBpGv1ytIvkOWN2FKzqNv8cUmxClh9fOfnE=
@size 90112
@ts 1456328955
lib/coq/plugins/romega/romega_plugin_mod.cmi
@sha WL2wghsB+2JCTie2XaPYscJrSaNI9GVsqfSBYx8HtJQ=
@size 2436
@ts 1456328963
lib/coq/plugins/rtauto/
lib/coq/plugins/rtauto/Bintree.vo
@sha WX3VXJB3kzU1eyE8RAIs1wO25Q8d1WCTv1FxqjFIaq0=
@size 80900
@ts 1456328954
lib/coq/plugins/rtauto/Rtauto.vo
@sha DRXY6+o0V2n7Q0MI0bRXg7CY0wZAg0fvCevKTuh0J2s=
@size 75363
@ts 1456328954
lib/coq/plugins/rtauto/g_rtauto.cmi
@sha UCzyagmthjgRwnI3tEtEYGWM7kY7xbec+57t5ij6Wtw=
@size 3047
@ts 1456328963
lib/coq/plugins/rtauto/proof_search.cmi
@sha jU9NvBlTfFcmEQnMNLs+P2oj9Epewxb3UCZEOTQojog=
@size 1864
@ts 1456328963
lib/coq/plugins/rtauto/refl_tauto.cmi
@sha o5ejNpkOpnyiEXbLIB8X/cHPSPJMTnxZBpg3fjY4wt8=
@size 3201
@ts 1456328963
lib/coq/plugins/rtauto/rtauto_plugin.cma
@sha ioI/WtGTGT2cPYtKE0I/FMa6KqaWIgLDSfscHcALtxA=
@size 40823
@ts 1456328955
lib/coq/plugins/rtauto/rtauto_plugin_mod.cmi
@sha g18d8pdPDvgjBqUHBm5uzuFokCSJ0Bkj6ljDWd8/dcM=
@size 2436
@ts 1456328963
lib/coq/plugins/setoid_ring/
lib/coq/plugins/setoid_ring/Algebra_syntax.vo
@sha pks9cAesaqyH0HcOsfNobPNrV0/jZyuEUjuRcoEDSC4=
@size 9911
@ts 1456328954
lib/coq/plugins/setoid_ring/ArithRing.vo
@sha S4oZLczbaR2uj9lRQ/evPvX2wK7LNBMxNNw3bX3koZw=
@size 25079
@ts 1456328954
lib/coq/plugins/setoid_ring/BinList.vo
@sha iAx+UHrF7a2Kim0Ei5IV+46ic5Oezz9zhDSOP6VdlZQ=
@size 12333
@ts 1456328954
lib/coq/plugins/setoid_ring/Cring.vo
@sha vv2QxkmUmyJtv0ApQtAGbaQlSpa11j3eTEBf2c+5zZ0=
@size 120367
@ts 1456328954
lib/coq/plugins/setoid_ring/Field.vo
@sha LFG7hlhYc2cK9y38PZpkt8BmS/iufdDlgV5ITDJ1PA0=
@size 11562
@ts 1456328954
lib/coq/plugins/setoid_ring/Field_tac.vo
@sha 9F+WtzvNVwwGb/KFGo4AqrM0NnlSerps1JW/RHYXPR8=
@size 54829
@ts 1456328954
lib/coq/plugins/setoid_ring/Field_theory.vo
@sha DFY1xcyN3wYg+MKqjjYQzdZU+0pxTbbC1n/5y8wFyco=
@size 676732
@ts 1456328954
lib/coq/plugins/setoid_ring/InitialRing.vo
@sha 51YlHvLgmW6L2wjbWcR+hsSpZXS5734Iyzaz2j5ccoo=
@size 188295
@ts 1456328954
lib/coq/plugins/setoid_ring/Integral_domain.vo
@sha P1J5hj0nfIKziznQWCsyb6cG6QgBuYNNLlB8xOkARUo=
@size 60002
@ts 1456328955
lib/coq/plugins/setoid_ring/NArithRing.vo
@sha RvM4L22iLa4lwOc9Sr6LtWZmAhtfkyXmpGXfTLn6fQQ=
@size 22616
@ts 1456328954
lib/coq/plugins/setoid_ring/Ncring.vo
@sha sL4dgvvyNpVxzCXwiOnLzUSKjAKehhonx0jsgSaAERg=
@size 265928
@ts 1456328954
lib/coq/plugins/setoid_ring/Ncring_initial.vo
@sha kUrW7WHPaF2Dl7aoeBSZHVuBLrTxbI4fZzNVN2clU2o=
@size 164433
@ts 1456328954
lib/coq/plugins/setoid_ring/Ncring_polynom.vo
@sha r2pVlZXlftPPus69+9VSv9mXrvPO7QH9v5TN4m1pFQs=
@size 366776
@ts 1456328954
lib/coq/plugins/setoid_ring/Ncring_tac.vo
@sha tGaS/Uwqu1k5XUPHPqGqPD64+ePU1V/iuBiwc5tVg6s=
@size 110311
@ts 1456328954
lib/coq/plugins/setoid_ring/RealField.vo
@sha KgjKrN1TbXJgH3ijKiyQWB9SHwp/nSZPhfvqq0Cmngo=
@size 58178
@ts 1456328954
lib/coq/plugins/setoid_ring/Ring.vo
@sha ULkNC7IjuatOpRqLmNjELVPVdPKg/EoxuTAXTGADylM=
@size 25360
@ts 1456328954
lib/coq/plugins/setoid_ring/Ring_base.vo
@sha Lt2rVTUMcmeo7OUsY9Wx7B8o9codbOr9R8SyZtkzCnw=
@size 11379
@ts 1456328954
lib/coq/plugins/setoid_ring/Ring_equiv.vo
@sha LOhx6aa6yATpdfPz54sJteESiGzBS8FNRF4dueQiyqs=
@size 14751
@ts 1456328954
lib/coq/plugins/setoid_ring/Ring_polynom.vo
@sha cZ/sa8opDMGEmVXlIXPQr8L10hqnxUEED+90jdmlXfU=
@size 565059
@ts 1456328954
lib/coq/plugins/setoid_ring/Ring_tac.vo
@sha Riq/yqdBV8lYNsaGpQZXSzs0E0J7El3GVVNTXnFfVcY=
@size 39573
@ts 1456328954
lib/coq/plugins/setoid_ring/Ring_theory.vo
@sha NmCsD3OmLLmvmMBffV/Z4IGTCql6HHkWKxLyUVTzPXI=
@size 236727
@ts 1456328954
lib/coq/plugins/setoid_ring/Rings_Q.vo
@sha xB88g6KfhPEcvBFNA7tw/9h02l8bcy/pXIG08T7h/VM=
@size 20414
@ts 1456328955
lib/coq/plugins/setoid_ring/Rings_R.vo
@sha 4sJD+9tZIoNUS96Txn60xfEYk+J2bAdS2P//mRIrZLE=
@size 30562
@ts 1456328955
lib/coq/plugins/setoid_ring/Rings_Z.vo
@sha qSJGzor1AolsweGq4EO5IIudJdACrtzHiVd5/NguEBw=
@size 15668
@ts 1456328955
lib/coq/plugins/setoid_ring/ZArithRing.vo
@sha 8y2EfkGmV8i7T1I7MFbe84WtVLTpTaxdJUGbxli2XAQ=
@size 22177
@ts 1456328954
lib/coq/plugins/setoid_ring/newring.cmi
@sha OjnhcIJd0a3oY4QsrG3bRakMW0dqfeh4pbq61p6M7uo=
@size 29074
@ts 1456328963
lib/coq/plugins/setoid_ring/newring_plugin.cma
@sha aGPDwMG1dmQBDLE6KrJtCyvmFE5FykRbI6MB5FLl3w0=
@size 76209
@ts 1456328955
lib/coq/plugins/setoid_ring/newring_plugin_mod.cmi
@sha yPj9QV1MS+YyI/E4+uCws8dtSnGTIGaidoLAc0TIUyg=
@size 2438
@ts 1456328963
lib/coq/plugins/subtac/
lib/coq/plugins/subtac/eterm.cmi
@sha 6Q6h1ffJixEmswN6GIIgv0uSY+BWgkMD6UI4NRNbeuo=
@size 4124
@ts 1456328963
lib/coq/plugins/subtac/g_subtac.cmi
@sha G/sE+mlECnd8sILteN7Gp7K0VtmfFxC3YJOPsGUu0Kg=
@size 5610
@ts 1456328963
lib/coq/plugins/subtac/subtac.cmi
@sha 3AYuofk2SLpTyolIzRZaYg8i/DwF4J1NqRFc3wFImI0=
@size 2612
@ts 1456328963
lib/coq/plugins/subtac/subtac_cases.cmi
@sha XflDLOKwyox8gCb1AUYcMLOmvIJVTF1iQhaZ5kE8p4Y=
@size 1995
@ts 1456328963
lib/coq/plugins/subtac/subtac_classes.cmi
@sha XcyWnDektU/WQmD3WKTFYM3eU1SWhkQiH4KyNEvcrpU=
@size 3557
@ts 1456328963
lib/coq/plugins/subtac/subtac_coercion.cmi
@sha R+OEbcU6eWIZmLbGaUhfBaFK3yqQ6IZrqiNtx3QmcXg=
@size 2057
@ts 1456328963
lib/coq/plugins/subtac/subtac_command.cmi
@sha WyAUQVGMEZRgfbvWFd8iNDAZxVcepyqCULgZ2CLyJAM=
@size 5795
@ts 1456328963
lib/coq/plugins/subtac/subtac_errors.cmi
@sha jtok6AtoA3vCYd077T8VaJormnmVrXRRIYtRLsmCig4=
@size 2073
@ts 1456328963
lib/coq/plugins/subtac/subtac_obligations.cmi
@sha 0/zZzD2P9m7dGjHn7RDe9U7RVQHkxgN1xHGRCiFvDLo=
@size 7168
@ts 1456328964
lib/coq/plugins/subtac/subtac_plugin.cma
@sha fVD8QaZRLkBqjUwhRnYZD+vZMvXApcWBYPO/T4ormpk=
@size 266677
@ts 1456328955
lib/coq/plugins/subtac/subtac_plugin_mod.cmi
@sha nuKoky4GIRWQAIB4JEsIoqUazST1NjHLSq9QL3TUfPk=
@size 2436
@ts 1456328964
lib/coq/plugins/subtac/subtac_pretyping.cmi
@sha 8HL+k9CSM0iplCbykCnlImxbbB5THO1bYCqUA0RW/kA=
@size 4230
@ts 1456328964
lib/coq/plugins/subtac/subtac_pretyping_F.cmi
@sha ynYyOV3yb35Yk6GhcB56z/kmyD12qZvSm/uCR/fmtjg=
@size 11734
@ts 1456328964
lib/coq/plugins/subtac/subtac_utils.cmi
@sha BWUzVtyiA5Wp7p197R7ycPTXGgCE93+Z0f+avPdKToI=
@size 11349
@ts 1456328964
lib/coq/plugins/syntax/
lib/coq/plugins/syntax/ascii_syntax.cmi
@sha wZ3+Ri0BVc+VdZYIwe81vlVgmdrgRklw0A3PebAF5hQ=
@size 3910
@ts 1456328964
lib/coq/plugins/syntax/ascii_syntax_plugin.cma
@sha WJheF2PBUejAy0yQDs/qOGkt7pRcVrnikNom2K6Wl7k=
@size 8302
@ts 1456328956
lib/coq/plugins/syntax/ascii_syntax_plugin_mod.cmi
@sha zlvNykdLavyFm1TII0oQQa+MwbU5X2cO43DFQsnnXRg=
@size 2448
@ts 1456328964
lib/coq/plugins/syntax/nat_syntax.cmi
@sha TWlfOr6RrOASMOTwmHytnByAKmDOhVyLED2K2W876ck=
@size 2864
@ts 1456328964
lib/coq/plugins/syntax/nat_syntax_plugin.cma
@sha lXN8MtKUm2ULn0cC2LGd+Mwm8B0TC5OQGRDM30VA1/c=
@size 7115
@ts 1456328956
lib/coq/plugins/syntax/nat_syntax_plugin_mod.cmi
@sha Lc4/w1DceDue43CKxkh9C3XuGiAv/ukXOndz870RPaA=
@size 2444
@ts 1456328964
lib/coq/plugins/syntax/numbers_syntax.cmi
@sha kVSzILtlEhRslLQE72QFxhfyo4pIqgArC+lOukR1a1w=
@size 6664
@ts 1456328964
lib/coq/plugins/syntax/numbers_syntax_plugin.cma
@sha KgBU3c11qtqxejlLVngP7+RE/qAlWBH7lwY3IMblO2M=
@size 14461
@ts 1456328956
lib/coq/plugins/syntax/numbers_syntax_plugin_mod.cmi
@sha wQwzozyWe4gTHfgZaJKKEnurBl+dq3GnaYeVR25+4CY=
@size 2452
@ts 1456328964
lib/coq/plugins/syntax/r_syntax.cmi
@sha iX0MoQR1I/gOO2e1IAj3EAVA7SbjSG/UXXlI7WN+W7Y=
@size 3806
@ts 1456328964
lib/coq/plugins/syntax/r_syntax_plugin.cma
@sha eXU3tKqn89eGU1TB6cxLgcIbhqaxThNpV4m+pgJCOlQ=
@size 10450
@ts 1456328956
lib/coq/plugins/syntax/r_syntax_plugin_mod.cmi
@sha RHLCPnKDe5+p02CHrLBwSuhkNHoisaELTUKD7mw8gRI=
@size 2440
@ts 1456328964
lib/coq/plugins/syntax/string_syntax.cmi
@sha Q9R1BonRipNeY0uZzw1q50FtGz1Cvsra5ehh4eO+jos=
@size 3355
@ts 1456328964
lib/coq/plugins/syntax/string_syntax_plugin.cma
@sha 9gQfhOrYArpKKSWyz5OalEqRVj3TGQwKw3FV4Mdp9kg=
@size 7581
@ts 1456328956
lib/coq/plugins/syntax/string_syntax_plugin_mod.cmi
@sha ovGlVn4iYpLrla+kzTfsbwNoXhK7rIIeICsXLIh+NuI=
@size 2450
@ts 1456328964
lib/coq/plugins/syntax/z_syntax.cmi
@sha DzbuT0spSoi27igo8/ZQfoJAVtEuKqCDkpNXlIwgzQs=
@size 5708
@ts 1456328964
lib/coq/plugins/syntax/z_syntax_plugin.cma
@sha Zdy8PBHouuK8Lh4omJY/VBnWv3hmznySeG1OHXPf4E4=
@size 10583
@ts 1456328956
lib/coq/plugins/syntax/z_syntax_plugin_mod.cmi
@sha Kk6VHLAacrajx88jI3ogyhR/M5Rd1Fl5qjg5CzMXoyY=
@size 2440
@ts 1456328964
lib/coq/plugins/xml/
lib/coq/plugins/xml/acic.cmi
@sha N3b9EuJ1yux+DDzhLaQGXF8SXukYid3ITL6x0NjzhYY=
@size 6932
@ts 1456328964
lib/coq/plugins/xml/acic2Xml.cmi
@sha 88syWc3JlXhyxCh6kwy+4DLnnCKUqBHDdVxrB9RzYXA=
@size 4101
@ts 1456328964
lib/coq/plugins/xml/cic2Xml.cmi
@sha BlusrXf/bPctBguMlY6QGW/mTwBIG/fIFnEkF0PmkVw=
@size 3651
@ts 1456328964
lib/coq/plugins/xml/cic2acic.cmi
@sha 1+ckTxVbkztyfTG+t67Dk3qEoSYtlZRK5S8SBm8qCHI=
@size 8516
@ts 1456328964
lib/coq/plugins/xml/doubleTypeInference.cmi
@sha mQcHJqrNy3duhUoNnGhMTugQpHt8x5msD8G76Yoah0A=
@size 2385
@ts 1456328965
lib/coq/plugins/xml/dumptree.cmi
@sha EnUoWx8IFWP6Q/MbkSGGU01j0i6HOMnstjBZFJpiLhU=
@size 4850
@ts 1456328965
lib/coq/plugins/xml/proof2aproof.cmi
@sha tD+4CrMgAm/vZoJl8J6Jqr4ZclU6XRXlYA3l947UZJ0=
@size 4230
@ts 1456328965
lib/coq/plugins/xml/proofTree2Xml.cmi
@sha 6xlRRzTqhrTGKjH/E3zGd/52FKmCPKBfvT8kSOzWgBc=
@size 4005
@ts 1456328965
lib/coq/plugins/xml/unshare.cmi
@sha ln37i/p/RelyQBWj/fEfpwxaR+rIX+KsmbM+A6nmOsQ=
@size 374
@ts 1456328965
lib/coq/plugins/xml/xml.cmi
@sha /ZOKI6c2lIq7r1bW5bDVX3ahB4G/cdJ0ruLJJiKfxGY=
@size 1268
@ts 1456328965
lib/coq/plugins/xml/xml_plugin.cma
@sha Eqi8sri+ZPQpDNUjx1No6SBqLpxNkthpdzHQqFTbrjY=
@size 123883
@ts 1456328955
lib/coq/plugins/xml/xml_plugin_mod.cmi
@sha kXDmPVfA+XfvURcoO0HNPwVZ5oqtsaNigFdhtCtI1S0=
@size 2430
@ts 1456328965
lib/coq/plugins/xml/xmlcommand.cmi
@sha u+aTUTCO77+t0lQe88muroIZuAJN8n69J5jmIRA9RCg=
@size 2921
@ts 1456328965
lib/coq/plugins/xml/xmlentries.cmi
@sha e/+ApRQfPoPjo4BPVJZEUpB3pNrO1wOXIsXMfrSqDno=
@size 3417
@ts 1456328965
lib/coq/pretyping/
lib/coq/pretyping/arguments_renaming.cmi
@sha GvYl+frLSA0TDV2+9GdasVRItf+kIpSO/6saT2oCgkc=
@size 2372
@ts 1456328965
lib/coq/pretyping/cases.cmi
@sha 977Dbu1z4E+jVSzAz1u3QTV9jEL4nwOo2enr1v4kVoM=
@size 4613
@ts 1456328965
lib/coq/pretyping/cbv.cmi
@sha r2AgXCBKeKdR8tzwKe8OhxRnt2NP/MuHwfnKr3hKqQ0=
@size 4043
@ts 1456328965
lib/coq/pretyping/classops.cmi
@sha N1G8KUo72e/3imZvpng9QTe9Vqw2DBEiMrRvic8BwJ8=
@size 5443
@ts 1456328965
lib/coq/pretyping/coercion.cmi
@sha gVOTiT157HXbcDwvROBTQY4PxzEi6O45qydwD8juPxE=
@size 3777
@ts 1456328965
lib/coq/pretyping/detyping.cmi
@sha eNoqGM1N+ZQcWIYtONOM8tvPEbeZRxji7aqgnD90XbU=
@size 5692
@ts 1456328965
lib/coq/pretyping/evarconv.cmi
@sha +ZdYXQrhVqxzRWNcHUkxxuYonynJHFIy3fjY8LxqNyw=
@size 4649
@ts 1456328965
lib/coq/pretyping/evarutil.cmi
@sha fbXKnp7dbbc2RKDTcmsMxyTC+Mhf5joqvDGGUbudrDY=
@size 14114
@ts 1456328965
lib/coq/pretyping/evd.cmi
@sha yhpCjo172ed30E4WeoT14IqVbhrPtYErxaSG4+auQL0=
@size 25969
@ts 1456328965
lib/coq/pretyping/glob_term.cmi
@sha bZNpqsoXQlJJV+XcgQ6BZG+ktF9xK2JAay3avQ4BrhM=
@size 8943
@ts 1456328965
lib/coq/pretyping/indrec.cmi
@sha Ve2rh69yHmpmSlnWvTVQSVHYdsYBKTjdZurvxH7Z88M=
@size 3620
@ts 1456328965
lib/coq/pretyping/inductiveops.cmi
@sha Jtu6sguwrMYXHmDl2TKenm31tpBLOtahwbLdSYluTYI=
@size 9194
@ts 1456328965
lib/coq/pretyping/matching.cmi
@sha XEyj7QFAxCV3E06jwTNyf+PEJdJI9nHHtN0D4XwRXG0=
@size 3500
@ts 1456328965
lib/coq/pretyping/namegen.cmi
@sha DFjHJrl7y7YrWIr2wuuI8r5NjyhxdkfQsf14CMOIH4A=
@size 6595
@ts 1456328965
lib/coq/pretyping/pattern.cmi
@sha YFhX9bC8ejiqiZtKK7SDPU4vg1UkaRWW+hDOvENR2dM=
@size 4505
@ts 1456328965
lib/coq/pretyping/pretype_errors.cmi
@sha TGZ99iSZWOTFbY3Wc+6CM260IV8uK4ETk2RMPNvJbz4=
@size 9636
@ts 1456328965
lib/coq/pretyping/pretyping.cma
@sha 6MJqRQLE+v5q8bOTuX8RVpo5UzyRX8cCtAV7be+Ti9w=
@size 620322
@ts 1456328956
lib/coq/pretyping/pretyping.cmi
@sha FzJi2P4sKzKp7iQDsQmOQAI/a4pG8GGLVKtei+RfRbY=
@size 6560
@ts 1456328965
lib/coq/pretyping/recordops.cmi
@sha BqhSTqaUzKQ2oeg5eJztPKv93MhIESI6klmJE5hWT3k=
@size 4487
@ts 1456328966
lib/coq/pretyping/reductionops.cmi
@sha bcXjY8hUrAj8Z22shR4GA7G16zev0v+t5t5RTGywRlY=
@size 14820
@ts 1456328966
lib/coq/pretyping/retyping.cmi
@sha bDcPivtbe/1HIi07jV7+CEVWH4tuGJihFUF6FOo6pyA=
@size 3033
@ts 1456328966
lib/coq/pretyping/tacred.cmi
@sha YRAKbbp5W2tgRWl0jWV3Rj27G8iutrev1p+x85Twi3g=
@size 5356
@ts 1456328966
lib/coq/pretyping/term_dnet.cmi
@sha m0p3/JHLTv4K0P302KANRMyDd6g1gfavQY7UP2MoWck=
@size 4521
@ts 1456328966
lib/coq/pretyping/termops.cmi
@sha aT5+UgKRSORWqxC/J+wV4spdYnR1eo0Zk0cb9mPG6rI=
@size 19276
@ts 1456328966
lib/coq/pretyping/typeclasses.cmi
@sha stMUhO0jdufmicSnAHNuueArJbF18CnJOKSl9ESkuog=
@size 7197
@ts 1456328966
lib/coq/pretyping/typeclasses_errors.cmi
@sha nQx1cxhd/+VuVBi+6U2SgvipKa+no0Jep7zt31TfF6Q=
@size 3537
@ts 1456328966
lib/coq/pretyping/typing.cmi
@sha MnyO8YgaY9Lp2SRmsaprWwfdUZCZXk8DT6ZQliNy2pQ=
@size 2762
@ts 1456328966
lib/coq/pretyping/unification.cmi
@sha vK72TCysj3+dUSrsGIplZsOLH9gj82FE7ANUOxcjoSM=
@size 5188
@ts 1456328966
lib/coq/pretyping/vnorm.cmi
@sha S+4RVGhzHa5xALmHJmfUha8h2qhDFDyGuxYLk06o1PY=
@size 1678
@ts 1456328966
lib/coq/proofs/
lib/coq/proofs/clenv.cmi
@sha vFagsHs13v/5izAIeZqWkRD3RvizjSIx2ckf7+8Q15o=
@size 7148
@ts 1456328966
lib/coq/proofs/clenvtac.cmi
@sha +X2Hi+OoFuQoLaghGEuFdsIsuZc9BKCiK4WmozWPv/g=
@size 3229
@ts 1456328966
lib/coq/proofs/evar_refiner.cmi
@sha 2FRzQi9MvUP2UjxGaSMU/fw2yJnUqzXAQtBmZfZ5hSA=
@size 2775
@ts 1456328966
lib/coq/proofs/goal.cmi
@sha rwPxKl+lxJsg7TEt0QEB09br6zuz/vBUjWMNatXhSaA=
@size 8762
@ts 1456328966
lib/coq/proofs/logic.cmi
@sha R0mij4VpvS+d0AhoNZqIE1Al8EJArOWi2gEpfUrla60=
@size 3218
@ts 1456328966
lib/coq/proofs/pfedit.cmi
@sha 2+vdmbU6qJlOmIUPycTmf912i6zGG9+NnqFrhDv6pn8=
@size 6245
@ts 1456328966
lib/coq/proofs/proof.cmi
@sha lhYm68trliASCZ2OXKcniDBPrWInHmKNh08YvVDHJs8=
@size 6020
@ts 1456328966
lib/coq/proofs/proof_global.cmi
@sha ODkHkBBqxUyjcrOItfpsVxqJ6EPgM9KIEAEzWLGE1Gw=
@size 5853
@ts 1456328966
lib/coq/proofs/proof_type.cmi
@sha CSXRbUGN2mLZNl4mQhoDASxBCelbXeqdWFjXyiMntBw=
@size 5491
@ts 1456328966
lib/coq/proofs/proofs.cma
@sha b6bbLF3BYY0fytIeg/z+Jp7dxE4g31jMraMP9kEb9MU=
@size 165276
@ts 1456328956
lib/coq/proofs/proofview.cmi
@sha RwbVRDhJmeUT6aWVckIb5t3yWltNbe5XuCeRTInuJoc=
@size 7398
@ts 1456328966
lib/coq/proofs/redexpr.cmi
@sha 39J67sGLC4ECrPAlHj9Ti1Ppq5BH+9nk9S+ud74xTsw=
@size 2826
@ts 1456328966
lib/coq/proofs/refiner.cmi
@sha 0zPR1y+HbxuRldaEME5y+IpfwvunMVntXUtMGOeznxg=
@size 9479
@ts 1456328966
lib/coq/proofs/tacexpr.cmi
@sha rtRC1/LAEwgdMWpMdUSjrLv2iqpofLPk8C/y1AG0tvI=
@size 17103
@ts 1456328966
lib/coq/proofs/tacmach.cmi
@sha Q5TpmLI0x4fBiVXcFthMeOixZyDY44CKOJRSIZrAijE=
@size 12341
@ts 1456328966
lib/coq/proofs/tactic_debug.cmi
@sha BtPPJ51Qi9DuVqpaSt4QymyL+EQfM9ykdj8frohax2o=
@size 4882
@ts 1456328966
lib/coq/states/
lib/coq/states/initial.coq
@sha XcugKoLETX57ZXweqI+fx9CGsn2oOAbl0Q3ldXQV6VY=
@size 334802
@ts 1456328956
lib/coq/tactics/
lib/coq/tactics/auto.cmi
@sha WMZVEDft6LKyBlwlvWRTBZ8DxipbvMXIV0743mf8LsM=
@size 14058
@ts 1456328966
lib/coq/tactics/autorewrite.cmi
@sha rEAsoZAG/yle5Ej9OU68cCyLnQQvO9H5u7iX4Ycqf6o=
@size 5255
@ts 1456328966
lib/coq/tactics/btermdn.cmi
@sha JZ2l8oRn/ex27CwtQFN2PJ/pOJ+NSLUn7kQ3Dc0TRRw=
@size 2755
@ts 1456328966
lib/coq/tactics/class_tactics.cmi
@sha 8XoHITi3Fgrugwdqjl1N7Ws5Ed4pfzeQQNAMzZxq0RM=
@size 22524
@ts 1456328966
lib/coq/tactics/contradiction.cmi
@sha wCUgvmlPT7Z33VlrnalOFoQWZ288Ar2haObHdJAwte8=
@size 2363
@ts 1456328966
lib/coq/tactics/dn.cmi
@sha +b659sAVYY1Yiu72geDukrTF3wgzbTynpUtiOqnohbQ=
@size 1611
@ts 1456328966
lib/coq/tactics/eauto.cmi
@sha w35kjdNYJSB5maoRaSDwcDGdXngBoj2/BgvXmmszksM=
@size 4302
@ts 1456328966
lib/coq/tactics/elim.cmi
@sha 3L9gPNOAmu9Yg7vgSYoRN2mLTEiOdmc9k0qNMzDXzEI=
@size 3914
@ts 1456328966
lib/coq/tactics/elimschemes.cmi
@sha wVDfL/rfyigQHRkku54FL3BRBUlarlOH1oNGCFHf3Ko=
@size 2906
@ts 1456328967
lib/coq/tactics/eqdecide.cmi
@sha +5qmeaGv4qFrBOi/c1z8rf834j2jZpmxHgGvEx1QK7s=
@size 5638
@ts 1456328967
lib/coq/tactics/eqschemes.cmi
@sha jsTVaSq9PCYt4LAjJ47uSFxK4r+lvU1WZEUw8Rr3Ucs=
@size 3688
@ts 1456328967
lib/coq/tactics/equality.cmi
@sha ywMJrSpNHqqD6tofkWqQastZ5d+4AgJmasY+d/zHFUI=
@size 11494
@ts 1456328967
lib/coq/tactics/evar_tactics.cmi
@sha 2lucqC54/POxjktUrcbPp715SwGKpO+hxmvvOrPG0NM=
@size 3298
@ts 1456328967
lib/coq/tactics/extraargs.cmi
@sha QFTSMwFXYk85cqJBlHBPG7gMn22rMj5zm6yw0JgQbvY=
@size 6885
@ts 1456328967
lib/coq/tactics/extratactics.cmi
@sha 53dvZ2PzUGcI2UIbVH6MbNWqN8Ccc49BYleZG+YTzVc=
@size 2588
@ts 1456328967
lib/coq/tactics/hiddentac.cmi
@sha w5Ew3LR+eidrG51dAjackxJxqxqf7kVXsEi3tfRucZY=
@size 10397
@ts 1456328967
lib/coq/tactics/hightactics.cma
@sha HD+Xzmos6kDuOKaQWC0ATLxkA3j2B8l0ud7lDZO5L64=
@size 570639
@ts 1456328956
lib/coq/tactics/hipattern.cmi
@sha HWg3OIWaVM4XDxLNOhSJoe7brPkAc8jYLBX60TPgn1o=
@size 7145
@ts 1456328967
lib/coq/tactics/inv.cmi
@sha 99hTvykYc7RbGaNv9O0EF33XXSD18OjgoSNnRZlGFY0=
@size 4031
@ts 1456328967
lib/coq/tactics/leminv.cmi
@sha nPR68laC9taqM02q2buSLYMqULROGHSxD0rrzK3BsMQ=
@size 3178
@ts 1456328967
lib/coq/tactics/nbtermdn.cmi
@sha jlad1WKuq+QmzHvyDCRUzmAl07mTzzZTIhRYHsWI7a8=
@size 3706
@ts 1456328967
lib/coq/tactics/refine.cmi
@sha O32H9yTjO/4Th5gAgFfuFu6XA9//WkzCLjF0bx4VOeg=
@size 2381
@ts 1456328967
lib/coq/tactics/rewrite.cmi
@sha xz1KoId4Sh67UzyHjOvCmtD+U43CxrokXg1lBHhrFTM=
@size 41573
@ts 1456328967
lib/coq/tactics/tacinterp.cmi
@sha N0060FFeRAHSzrxXxWCCXHTwcwaeQDXCBgWdaJhc3RI=
@size 11793
@ts 1456328967
lib/coq/tactics/tactic_option.cmi
@sha aFYHsEaRrgSxql9GzhnqUdNO2Tlc5eVhUTfT6K7Qv0o=
@size 2926
@ts 1456328967
lib/coq/tactics/tacticals.cmi
@sha ow65gYb3kKm0ZTdhf/40TpMWV19EkQtuBozw2WM/Tbw=
@size 14986
@ts 1456328967
lib/coq/tactics/tactics.cma
@sha 1ZDkiHUz/M+qjslyKtTJkvQhyBKVBqTb47WmQ72N4cg=
@size 528112
@ts 1456328956
lib/coq/tactics/tactics.cmi
@sha CiqJV6K4wymHOIuW839qYnx18py2y+0R6gD2LzByBrg=
@size 24670
@ts 1456328967
lib/coq/tactics/tauto.cmi
@sha 99C8bzmlHziSSnDjNt/y6llD5c0LNGI/L4DlkWA7R1Q=
@size 8187
@ts 1456328967
lib/coq/tactics/termdn.cmi
@sha 0CRJifBw0PwSglgbW81gBvO9Vzrd2tzlQ5HNulXcfx4=
@size 3468
@ts 1456328967
lib/coq/theories/
lib/coq/theories/Arith/
lib/coq/theories/Arith/Arith.vo
@sha qowm/5vE5w7hXvd0El6Kt8aVlnlX0Za0n37hSJ8TO1k=
@size 11563
@ts 1456328939
lib/coq/theories/Arith/Arith_base.vo
@sha bIL9FC8iM58hrhVcuoQytQ8M+q6zt3N+Tbl7+Et9I+g=
@size 1328
@ts 1456328939
lib/coq/theories/Arith/Between.vo
@sha NnQLtNYSrXrhzGUdADV4if4qQJWNsCyP/BnFL+5Mf6o=
@size 26725
@ts 1456328939
lib/coq/theories/Arith/Bool_nat.vo
@sha e/NY1jWaiA/SiQvodi6syBLcEWLOOzX7DJPixfvBRwQ=
@size 7264
@ts 1456328939
lib/coq/theories/Arith/Compare.vo
@sha 8jEvK/rMljquvUeC6jpdZmsq2iJ+V5Uz0L0EV/+EJqw=
@size 8860
@ts 1456328939
lib/coq/theories/Arith/Compare_dec.vo
@sha gMjgybLloNPYL9wpoIGbx+Y55ofuGzBeXvQL27Y/7xQ=
@size 33278
@ts 1456328939
lib/coq/theories/Arith/Div2.vo
@sha znRZDw7dz5sUTQMjSFMhD9lkPF7p4f/JaxaNg/f58+c=
@size 18924
@ts 1456328939
lib/coq/theories/Arith/EqNat.vo
@sha 3wKZBIVHD3KJmYLWbVgroZHzZhcsOZDAUe3N1WfLldQ=
@size 13608
@ts 1456328939
lib/coq/theories/Arith/Euclid.vo
@sha zm2ZRaVuzs1VLbKFrImV7gKrwKPIVRvvnEPwZ8DoMw4=
@size 17712
@ts 1456328939
lib/coq/theories/Arith/Even.vo
@sha /hoCGYTYSaE12llREe3tO/7swTNs0ki+9URWDtxG1DU=
@size 24746
@ts 1456328939
lib/coq/theories/Arith/Factorial.vo
@sha Zpc6bjEiGp1fUJSZXUY1EsFVugF0U/qLszzRBkpG3e4=
@size 3297
@ts 1456328939
lib/coq/theories/Arith/Gt.vo
@sha oQ4lbUCvCib6noCBYBVjKgIvUo6YVZe5JU2Muzg/7RA=
@size 11042
@ts 1456328939
lib/coq/theories/Arith/Le.vo
@sha jC4boNd1QBJD+BQh3rnze0CG252y+z8fsCbweA1+8+o=
@size 8776
@ts 1456328939
lib/coq/theories/Arith/Lt.vo
@sha IrrnC9H9Ef2naU247MlaVxHdAy5vPJ9uTlNwcMftEbQ=
@size 14478
@ts 1456328939
lib/coq/theories/Arith/Max.vo
@sha w6hMgdaRZtW0762Fx2DdoKX/kOtbGrp6rTgO2pFl5TE=
@size 13965
@ts 1456328939
lib/coq/theories/Arith/Min.vo
@sha V/xEyCcu+Oi427Y9f/HdsXSE9Cq2s49J0LTQEfaFyFs=
@size 12304
@ts 1456328939
lib/coq/theories/Arith/Minus.vo
@sha IUDnNVwkrE+exlWsjSnvdzCCLQdWwwX2cE7DC5FyeRM=
@size 11921
@ts 1456328939
lib/coq/theories/Arith/Mult.vo
@sha /OfWFOrv3ncZphE08oMn+Rr9/JPlHpwb6SJAicdQQyI=
@size 23080
@ts 1456328940
lib/coq/theories/Arith/Peano_dec.vo
@sha P5nFDNd+U6j3IITFaCXpAahw0IXDPgd9D0ekLgzKfOg=
@size 8993
@ts 1456328940
lib/coq/theories/Arith/Plus.vo
@sha SceiZdJ4wECpXQ/UTyuzcVPeGw6rZnHef5Ra9yCJevE=
@size 21582
@ts 1456328940
lib/coq/theories/Arith/Wf_nat.vo
@sha 3ruofeA6mdpAzuphefZqsWrhiB3HGryI51KRQnhREIw=
@size 22431
@ts 1456328940
lib/coq/theories/Bool/
lib/coq/theories/Bool/Bool.vo
@sha Oq8BCTBunbpKsiPEnZwckZXwCR1oDPdkRGfw+e/762s=
@size 69753
@ts 1456328940
lib/coq/theories/Bool/BoolEq.vo
@sha qkxbL0b53wqqScZwrf0yoSZWiBKORH6UQjt67JCZlto=
@size 8270
@ts 1456328940
lib/coq/theories/Bool/Bvector.vo
@sha yZRk0/EopBWFi9YS/iIIQcSv0PWOKTlCaHf2ON2QXm4=
@size 11253
@ts 1456328940
lib/coq/theories/Bool/DecBool.vo
@sha ihqqeVGAqAiBISG5JOpLN1pRTlSu/RPnMR1mjErXaXQ=
@size 3085
@ts 1456328940
lib/coq/theories/Bool/IfProp.vo
@sha hh9GSL4Bnm4MbSgyTvYyk7AlJ7xFxD+7uwxfV6QsSRU=
@size 6068
@ts 1456328940
lib/coq/theories/Bool/Sumbool.vo
@sha 5zFGT/YuPifvw8rzyRx35JjTtYrQumn64QjjMJ4cF0o=
@size 9870
@ts 1456328940
lib/coq/theories/Bool/Zerob.vo
@sha ieM5b4Ihi7uRzGwWBhT4fMj94OccGBX+GdFDEpctR0k=
@size 14973
@ts 1456328940
lib/coq/theories/Classes/
lib/coq/theories/Classes/EquivDec.vo
@sha lldDDSAOl6i27KFz87xNU0mjmhnaVO7SzCY/R6OWIzs=
@size 174514
@ts 1456328951
lib/coq/theories/Classes/Equivalence.vo
@sha ASwoE31UQyw5H8Z7mrjBarQTCrjyhlj7KWKhsKmuvzM=
@size 28758
@ts 1456328951
lib/coq/theories/Classes/Init.vo
@sha cDMA1KNNo41fduDmwGhT+oUzLdHiHaukQ7u7Q4spJGU=
@size 2634
@ts 1456328951
lib/coq/theories/Classes/Morphisms.vo
@sha xEmA3RvFgzHDS6sm6OqYlanq+bSHtpJPmIZByguJIME=
@size 89305
@ts 1456328951
lib/coq/theories/Classes/Morphisms_Prop.vo
@sha 2Za1NQ42IHrCOOHoXdK7pQ0UmQRTRv+2iJTTtEoqBvQ=
@size 28050
@ts 1456328951
lib/coq/theories/Classes/Morphisms_Relations.vo
@sha JitILmiR+mm0MnDBpt+znObTyEw2c6pQIMTrq282dBY=
@size 14184
@ts 1456328951
lib/coq/theories/Classes/RelationClasses.vo
@sha 2mW1m5ItygBsrpyYhW6P3l/3ziH8FEznw3/go5Qu4bs=
@size 78314
@ts 1456328951
lib/coq/theories/Classes/RelationPairs.vo
@sha fP+8FfITowfebiaS/e3w4YN4mMOe/a5PHIDvGnVIdGE=
@size 33875
@ts 1456328951
lib/coq/theories/Classes/SetoidClass.vo
@sha MJrhGdD4tWxraVVVSNVgf8DCj8GCiVdUS8RNUzTJ8Zc=
@size 23957
@ts 1456328951
lib/coq/theories/Classes/SetoidDec.vo
@sha 0qZgv4Mo1H6TqbANvIn7STDGMp8WiIeByT6lFP9EsKM=
@size 68274
@ts 1456328951
lib/coq/theories/Classes/SetoidTactics.vo
@sha q86dZLl79RFAew7DCK4AuN2Lgo+ulCLfsDvN1/oTarE=
@size 15172
@ts 1456328951
lib/coq/theories/FSets/
lib/coq/theories/FSets/FMapAVL.vo
@sha uA+J2BPhN/gcSO24ckPVGpzVKn8ppd5AI8YQYabeWJw=
@size 10286888
@ts 1456328942
lib/coq/theories/FSets/FMapFacts.vo
@sha L476p+E5/2DTnOk7FNJdgjGcl7JfmIU3V5mWA9zarUo=
@size 863552
@ts 1456328943
lib/coq/theories/FSets/FMapFullAVL.vo
@sha i/GyqwE+6E+StCEQYibet+2eY3UbBsFWmZvp8ai7kOI=
@size 8628396
@ts 1456328943
lib/coq/theories/FSets/FMapInterface.vo
@sha sCz9dE3B0SMRLs5UNU1J9y3LtkZ4X9MUI4L5+i6kDmE=
@size 108671
@ts 1456328943
lib/coq/theories/FSets/FMapList.vo
@sha b3oo3HtTuOqcxJFseBxUDOZIp4qT5JoY0cLVRw5/zqk=
@size 1200776
@ts 1456328943
lib/coq/theories/FSets/FMapPositive.vo
@sha jC+e43iGcvSQb6nJWIxA4xU4utkLw5xN44IEs4FhpI4=
@size 274938
@ts 1456328943
lib/coq/theories/FSets/FMapWeakList.vo
@sha 5iqO/BfaADHEo4GmXnE0vyFPhHtuhyQ9p2L8IZd2B+0=
@size 395199
@ts 1456328943
lib/coq/theories/FSets/FMaps.vo
@sha rOtGYsx2jLB1T11cb6r230y02vy0RQ0e6udvm8n4c9M=
@size 15116
@ts 1456328943
lib/coq/theories/FSets/FSetAVL.vo
@sha iAFz9Fn45jRIS/RdXqOiBIeTyFhfbOaxNfblAoFYwUw=
@size 1749442
@ts 1456328943
lib/coq/theories/FSets/FSetBridge.vo
@sha MnCfu4mYjDeNeiP9Zln3gjxFlVaWqWGCgYgVGiU0FG0=
@size 190507
@ts 1456328943
lib/coq/theories/FSets/FSetCompat.vo
@sha L8M2hyWKmcAZpAwlMSjgd4pPy3UYWcUDsT5GCTi8DFg=
@size 424439
@ts 1456328943
lib/coq/theories/FSets/FSetDecide.vo
@sha ajJGGWy2aV1J0Mdf66P2vmnB/4AOq3qKj1j9z5UO11Q=
@size 335529
@ts 1456328943
lib/coq/theories/FSets/FSetEqProperties.vo
@sha wGrwu+V8As+0maCDu18OTpkKKJ1svkCQZ5xHE4WxV1M=
@size 948932
@ts 1456328943
lib/coq/theories/FSets/FSetFacts.vo
@sha D+TarNOkf0nwhfaIFi9aRHLLjpuWS7ErwwRgkcWjKsg=
@size 164806
@ts 1456328943
lib/coq/theories/FSets/FSetInterface.vo
@sha LwvaYFmId42An8znJO2I+3nsBmSgv4akWMCbbMtapg0=
@size 127312
@ts 1456328943
lib/coq/theories/FSets/FSetList.vo
@sha Zf4BNq+Dbx10Xywg9aAv7V3mLifQ1/Dz/qzJfPLw5Uc=
@size 647591
@ts 1456328943
lib/coq/theories/FSets/FSetPositive.vo
@sha 93hgFdwqDYF+akxXTNYIMFYfUoxWEpsOd0KywCyBbV8=
@size 190683
@ts 1456328943
lib/coq/theories/FSets/FSetProperties.vo
@sha FSP8M/2k59Hz7t8td43SLY2s1gZwDCQJIH7nBQLXwwo=
@size 1029435
@ts 1456328943
lib/coq/theories/FSets/FSetToFiniteSet.vo
@sha V2+KhQV+KQwnnzowTSXEJUKj0btySzWUeLq6qE9tgS0=
@size 664537
@ts 1456328943
lib/coq/theories/FSets/FSetWeakList.vo
@sha facBaaCS2xLFoeTEN4loV85PtgqXMSfr5akDsBOh7ZY=
@size 303409
@ts 1456328943
lib/coq/theories/FSets/FSets.vo
@sha 1Se75U75bUPF0+jmMNhLD9TQMHOLf15d20vs20Zmtj0=
@size 16030
@ts 1456328943
lib/coq/theories/Init/
lib/coq/theories/Init/Datatypes.vo
@sha WWEo4ogWP36H4GZw9VkM55DZ1l6j+O8+ck++SnS7C20=
@size 58424
@ts 1456328937
lib/coq/theories/Init/Logic.vo
@sha Lne6BvbMUNmrIAPuyuf4zidDYZbw4e6D4rLlFLzhmIA=
@size 54740
@ts 1456328938
lib/coq/theories/Init/Logic_Type.vo
@sha /AGpzVjvc9Pk5mQ4OH+yy8L61kHyhrRih42bD0SxwNk=
@size 6292
@ts 1456328938
lib/coq/theories/Init/Notations.vo
@sha Amx/MyWWgQkba8TWaQEpo/XrO3Jl3CP3zlb1LJCGDHk=
@size 4678
@ts 1456328938
lib/coq/theories/Init/Peano.vo
@sha IGigEHaEG9ZfvAFOM9CqgBfqop5/dR/MzcbABVLI0Wo=
@size 27279
@ts 1456328938
lib/coq/theories/Init/Prelude.vo
@sha NjFwdNOVcaG7QjPI5ns4PZuvEXFYrTYCvl8jocEnOac=
@size 761
@ts 1456328938
lib/coq/theories/Init/Specif.vo
@sha cMB6+nQ7sI6sZp11C6bYvaw7fof2UxZOYVSe7V6QmrQ=
@size 32838
@ts 1456328938
lib/coq/theories/Init/Tactics.vo
@sha OTTjMUcWTR0LUiR8DD67RSB973B82Ym6IvRJZUV0Du8=
@size 12935
@ts 1456328938
lib/coq/theories/Init/Wf.vo
@sha tyh0y5KPWSGobhY/69A1FSrkaD9iB14+S8JrXpN/lKo=
@size 21833
@ts 1456328938
lib/coq/theories/Lists/
lib/coq/theories/Lists/List.vo
@sha hNAC5RJb8eezEYQfcw1BXWmSt/N722WllZI/kBGuIMk=
@size 244360
@ts 1456328942
lib/coq/theories/Lists/ListSet.vo
@sha /PLIhGvsgRqinQqeQNNQ/Rgk0clf/5LQpHscxwXUw0Q=
@size 41550
@ts 1456328941
lib/coq/theories/Lists/ListTactics.vo
@sha y3fYozTr6x8GnXFrhEqwxRDcAzbbRnwLawkSzk/JM3I=
@size 8199
@ts 1456328941
lib/coq/theories/Lists/SetoidList.vo
@sha bhiewSkg2ZB/TqHupkjuOffAch93zfXJbrwRID6iFxg=
@size 214626
@ts 1456328942
lib/coq/theories/Lists/SetoidPermutation.vo
@sha K7HsB4WUm34k9sv8MkiAgIpBtU4oVmpI5H1uAnk4dfE=
@size 27544
@ts 1456328942
lib/coq/theories/Lists/StreamMemo.vo
@sha 8BQtWdYmu2sG0yC0A0ekri3SZmTWmhm1T12fAwuzRx4=
@size 17565
@ts 1456328942
lib/coq/theories/Lists/Streams.vo
@sha 4UU+9+OWli09Ng31IyUBN9lcSdfNzpV6fmOYPqXcH40=
@size 25252
@ts 1456328942
lib/coq/theories/Logic/
lib/coq/theories/Logic/Berardi.vo
@sha 2/N8q2Lp5+yL14gylFyzFEw7BCvXTdYdsgzrMAUGffQ=
@size 20044
@ts 1456328938
lib/coq/theories/Logic/ChoiceFacts.vo
@sha ACmWqZoAd5Na5Ez2tBKV4oY4W943LzljVSYyfsjc9KM=
@size 76862
@ts 1456328938
lib/coq/theories/Logic/Classical.vo
@sha 9446a7IJOm3h5KUPR6YqpnyMgJaWXfpwDn5fr4k4c/I=
@size 864
@ts 1456328938
lib/coq/theories/Logic/ClassicalChoice.vo
@sha S+CHm9rtjJWKs2RPxXz/9sbwGc41TvCtVGoVW1XnWQg=
@size 15996
@ts 1456328938
lib/coq/theories/Logic/ClassicalDescription.vo
@sha 0Ko98z+MDR+uzkJgwHdZtyGY76cv1zsWPpgaL5c9SDw=
@size 19378
@ts 1456328938
lib/coq/theories/Logic/ClassicalEpsilon.vo
@sha AivG8ILsUrgFfsMy8ezr4a+H04zixticwdvgrew/s/4=
@size 22535
@ts 1456328938
lib/coq/theories/Logic/ClassicalFacts.vo
@sha J7gdgZ8wrsr7VH03eDWKlFq5BLvgGFoFoNpPxkG+k+c=
@size 44045
@ts 1456328938
lib/coq/theories/Logic/ClassicalUniqueChoice.vo
@sha 4lj5Yv3es+dXibUy0cUMDvfLLO+GcYpMQC45KYbJOD0=
@size 6042
@ts 1456328938
lib/coq/theories/Logic/Classical_Pred_Set.vo
@sha T/qIksD89SRcGWXN6o8hswqPWEGb3B0SXhBG0vcwLXo=
@size 4022
@ts 1456328938
lib/coq/theories/Logic/Classical_Pred_Type.vo
@sha 7EhMh5JRVfWNhN7959Nz1IWMTdbdQfGH+TZ2rZoGHtg=
@size 4427
@ts 1456328938
lib/coq/theories/Logic/Classical_Prop.vo
@sha skYsJcyfRjoa9OYSPXnZ427ty/L21O3XUi5OIpdUQeY=
@size 10918
@ts 1456328938
lib/coq/theories/Logic/Classical_Type.vo
@sha pcI/8e/rXKbi+yNqRB4MAz45SSMfX6MrqoUfj8oyODo=
@size 869
@ts 1456328938
lib/coq/theories/Logic/ConstructiveEpsilon.vo
@sha Nc59xWLFkCX++a7gKMkmlzPlFCsn2JtJ3MDzqdv1s50=
@size 34467
@ts 1456328939
lib/coq/theories/Logic/Decidable.vo
@sha qOEZxabmF3FLq7jVwfpIWbZ3AITQr4sj3NAXYBcxQr4=
@size 16494
@ts 1456328939
lib/coq/theories/Logic/Description.vo
@sha E+ZZB2bj+5qWVhA1BroyyKlyQj9SnxctbnJdXixwNkU=
@size 12467
@ts 1456328939
lib/coq/theories/Logic/Diaconescu.vo
@sha 3QWu/MskIscz/cFyoXA9Vb5JSg/EPQviLhZ57r0biKw=
@size 34893
@ts 1456328939
lib/coq/theories/Logic/Epsilon.vo
@sha 50h1fK2WBRUcaBPVEUIoR6bSak+pfGrRxDZleSuvctk=
@size 18593
@ts 1456328939
lib/coq/theories/Logic/Eqdep.vo
@sha eZ7UcGF9xYNHfhWJUorlUDDZqT1oKhJHbV5x9B0VE/k=
@size 4334
@ts 1456328939
lib/coq/theories/Logic/EqdepFacts.vo
@sha ZKCkQbWmEjdg0WGQ8m9M329L36PD6Z69plc3iJACer8=
@size 40958
@ts 1456328939
lib/coq/theories/Logic/Eqdep_dec.vo
@sha YxQ5VB4wC6MPO0QnKWwXj6iZ6PLsofA7U3B73woZVVo=
@size 24523
@ts 1456328939
lib/coq/theories/Logic/ExtensionalityFacts.vo
@sha UbrPtzClhN37KRieiGk2XbYWiDM/sY9V6c7U+rf8V8s=
@size 21293
@ts 1456328939
lib/coq/theories/Logic/FunctionalExtensionality.vo
@sha bkCgNu+WzFHUexB8s6BhvxF7qtptBLsJ/7SyCS01NSg=
@size 5036
@ts 1456328939
lib/coq/theories/Logic/Hurkens.vo
@sha EpBzoAiMPsVAq9IBICN/wK8sCtxBVNtDQ1YPL6LEzCU=
@size 8363
@ts 1456328939
lib/coq/theories/Logic/IndefiniteDescription.vo
@sha 1Occo8q6RxTiyQCL35BSHjThDqvm3Blvr1SEGDdY0jE=
@size 14364
@ts 1456328939
lib/coq/theories/Logic/JMeq.vo
@sha fSTY8L+yPcJiwMVeeGhNgYu6Mc+wBD4nh219FwiQHzQ=
@size 13518
@ts 1456328939
lib/coq/theories/Logic/ProofIrrelevance.vo
@sha JyPDC4krzdppa1eA2P/QNkHM8/3HkjZSEwxtbddP7JM=
@size 7424
@ts 1456328939
lib/coq/theories/Logic/ProofIrrelevanceFacts.vo
@sha vBrCJqZBga7osD+x9oT1OJGncIr3GCLJqWkwnLh0trk=
@size 6474
@ts 1456328939
lib/coq/theories/Logic/RelationalChoice.vo
@sha mrAZlkNx/9O0/gl4Zi82Npr5Id1WzFyXMR9b6bC8ePk=
@size 2195
@ts 1456328939
lib/coq/theories/Logic/SetIsType.vo
@sha OaiONQAL4qKocbSZWWN47IX4v5QaKg//xvXNRn1bgNQ=
@size 694
@ts 1456328939
lib/coq/theories/MSets/
lib/coq/theories/MSets/MSetAVL.vo
@sha K98iJxk+1DrqCkgI/+fv3aZFkiE4ZCsqdLwsZx2ShUU=
@size 1622339
@ts 1456328943
lib/coq/theories/MSets/MSetDecide.vo
@sha CkzQiF9FPhCJ1ptQpHeulSLfnTUFCD/rceCJW/caYiM=
@size 372205
@ts 1456328944
lib/coq/theories/MSets/MSetEqProperties.vo
@sha JfZ9OHRv2WsDyotrJe3oNib/Tmxuitx/+zIxaZE/y/g=
@size 1056410
@ts 1456328944
lib/coq/theories/MSets/MSetFacts.vo
@sha apV16xTJuc/X1+bAIGvqWQuLYYql2kn88bg9Bcha/Gs=
@size 189204
@ts 1456328944
lib/coq/theories/MSets/MSetGenTree.vo
@sha 9RM9Rba+Au1pOKo1lNUHNlWKj82+Z3Xszujh4s31Tqs=
@size 418778
@ts 1456328943
lib/coq/theories/MSets/MSetInterface.vo
@sha x9psp20tbMS1OPwgRW6ly/XZVEUW8CmyPRtDfByLq5Q=
@size 435924
@ts 1456328944
lib/coq/theories/MSets/MSetList.vo
@sha 53hE0nvQlKCE0KPoEUtpo2PHzaUxVXUNVFUbpzTQv1M=
@size 823935
@ts 1456328944
lib/coq/theories/MSets/MSetPositive.vo
@sha +C7GYfoHhBxbeJc2deZzRTVbLKSb79loX8aVObHhvSA=
@size 180352
@ts 1456328944
lib/coq/theories/MSets/MSetProperties.vo
@sha KuQ/CMOgy/oOaDIahJrIqX24iDFVQJFj41Q/Ad41GZ4=
@size 1182416
@ts 1456328944
lib/coq/theories/MSets/MSetRBT.vo
@sha kkdT6tJp28aXlcclnXZNxPmYiAzo+MdWCTsnNjdP0qg=
@size 1490330
@ts 1456328944
lib/coq/theories/MSets/MSetToFiniteSet.vo
@sha MyZ+08Q/6JgXmXKFqswes/ZPBDTG1LOUO3Ah102jq+0=
@size 766396
@ts 1456328944
lib/coq/theories/MSets/MSetWeakList.vo
@sha G7yjeMpEa7BI9c9J40emInykOmTjJkBbXRfGVFke0lk=
@size 154671
@ts 1456328944
lib/coq/theories/MSets/MSets.vo
@sha bSrP2f36TBwtZ2rJFg6tQcMaP4pCtym36hhUYz3ntgs=
@size 25739
@ts 1456328944
lib/coq/theories/NArith/
lib/coq/theories/NArith/BinNat.vo
@sha tihV+15CZvpgPM+BOIhDGudAd0RjqQeW09j6fCGiB3o=
@size 1572242
@ts 1456328940
lib/coq/theories/NArith/BinNatDef.vo
@sha duNKOG6TI9GNNX4UOq+xxgF7xq6P+c1PfgBgiuqw/6g=
@size 30341
@ts 1456328940
lib/coq/theories/NArith/NArith.vo
@sha J3bpftdUCUtlV0XEal4WUeSbHmcHpffVWP/WJi7/7IU=
@size 13444
@ts 1456328940
lib/coq/theories/NArith/Ndec.vo
@sha LpO20N2+tnwAasQRMJZIuOVotqPWrpGMZ1SiFepHqvk=
@size 50562
@ts 1456328940
lib/coq/theories/NArith/Ndigits.vo
@sha 0pGl+vy5xygwXd3CUtpmPgLns4grM033y/6XcipdS5c=
@size 79494
@ts 1456328940
lib/coq/theories/NArith/Ndist.vo
@sha qBdGEIBZPNNaNuZjizbTYlZgib9Mw5pfK+2AZYxQIOU=
@size 44199
@ts 1456328940
lib/coq/theories/NArith/Ndiv_def.vo
@sha E2lh+y3oY257nrBqVl1F2H/TD+KxtlyI+QRzjp1c/3Y=
@size 9370
@ts 1456328940
lib/coq/theories/NArith/Ngcd_def.vo
@sha y+shLKOP4AAe+3fdSE12iA4sPY4zPMB5hIWraKRJ2lc=
@size 7014
@ts 1456328940
lib/coq/theories/NArith/Nnat.vo
@sha k471OX+E0sxhzt6+/GAYxXjLg51AErAiqTh32dmKXtU=
@size 25966
@ts 1456328940
lib/coq/theories/NArith/Nsqrt_def.vo
@sha SIV/xerEoajFkR4Ubz8gOzAHLNyql+eBjUGifMkNmyE=
@size 6907
@ts 1456328940
lib/coq/theories/Numbers/
lib/coq/theories/Numbers/BigNumPrelude.vo
@sha Kv6Z5SegiDzD2SaPvnq7XLKEJU1CW88GSY5IRoCKPro=
@size 177484
@ts 1456328947
lib/coq/theories/Numbers/BinNums.vo
@sha LH+Rtk38PXum6Wfpg7kcNcHRQ4djO/JYziWqhbI7IyY=
@size 7361
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/
lib/coq/theories/Numbers/Cyclic/Abstract/
lib/coq/theories/Numbers/Cyclic/Abstract/CyclicAxioms.vo
@sha nz6wwiUqkSGU4XulGkGgBzqZEoWWfOD/CRagh9qGQ50=
@size 161434
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/Abstract/NZCyclic.vo
@sha Si5oCU8vKql0bGOS/zoi7Wxk1G+Re7KERxAeVvoZFFk=
@size 76566
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleAdd.vo
@sha VboDOlEPo7BEdPaEF+MFrw6DqrgIC7vn0TksTnkfKCw=
@size 80409
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleBase.vo
@sha V/AYFtWI56dU/69dunCxhnUnnqD+4PBxN+Ew8OhFwaM=
@size 98630
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleCyclic.vo
@sha 1m76baRp8NAY5nzohe6XsY4X79ozIckeeAsq9gBQMcg=
@size 539104
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleDiv.vo
@sha gkUtyZWZKeXnnSRJ3UhcJsFGE6XA56SEboHTB5TmS8I=
@size 1285911
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleDivn1.vo
@sha BBqCCIeLmz0PFYqgGcIh8WEBW2SbIrfA35kFYR7wRq4=
@size 438147
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleLift.vo
@sha 7IvkaPOemFpaypAUyAtTyBu7DbABG5mZPHvjn6g0Kig=
@size 434374
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleMul.vo
@sha 3GKyrTnL092XB4XA/PijazF//GLdF1FsSVw+zoqgn9Q=
@size 507594
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleSqrt.vo
@sha US6jsYaufBmSe9pZ61m0L81sh8n+GoYyp/N5XNZYJ6w=
@size 1204066
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleSub.vo
@sha EsNdL3e84HZUG/lJHe/re9OTr8SCxHgHZTRj6+Hdrcc=
@size 98511
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/DoubleCyclic/DoubleType.vo
@sha bYzlOxXJCBdV6NTsqSLdEWUWnl0NtaJK/Wai9CbcrDA=
@size 19737
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/Int31/
lib/coq/theories/Numbers/Cyclic/Int31/Cyclic31.vo
@sha hkiO2SBi4J9v+dTA1TqjSf/J1Kp08QQbIOzQBPjtYGM=
@size 979227
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/Int31/Int31.vo
@sha PFU7xqrQvomsE1WZplM6qupUiP3WYyQzNfQd7E7W72I=
@size 62547
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/Int31/Ring31.vo
@sha IsfK0gVfSOJANsEOy0Gxfgs3tfBCYgXGbU49twc0L/c=
@size 100441
@ts 1456328947
lib/coq/theories/Numbers/Cyclic/ZModulo/
lib/coq/theories/Numbers/Cyclic/ZModulo/ZModulo.vo
@sha mGi/8LslEb6mpS2+W9WWOOXIpfdOvAW0tdjEds5XsCY=
@size 268967
@ts 1456328947
lib/coq/theories/Numbers/Integer/
lib/coq/theories/Numbers/Integer/Abstract/
lib/coq/theories/Numbers/Integer/Abstract/ZAdd.vo
@sha fEAfGjdtwZAmhQEH+YCM5xBy4ikHWW2tZ82yIPqpzc4=
@size 309621
@ts 1456328947
lib/coq/theories/Numbers/Integer/Abstract/ZAddOrder.vo
@sha DJDNBQXMII5uABMblO7oxNVF5KrdQXkwF+T1X/AZ5mw=
@size 381890
@ts 1456328947
lib/coq/theories/Numbers/Integer/Abstract/ZAxioms.vo
@sha 3zG7Lj+JNpUxDb0Fs6rijFEGeukVTbDtIEfGj/0r8eY=
@size 178850
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZBase.vo
@sha +az1VmWM9OIBxmkzm8MCqwIIWixEw68Kvjq9NH+mDaE=
@size 267147
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZBits.vo
@sha fuua+bWoWeYHFos8gBpjJrYLdNmnI4QnuWKRRIZDBXM=
@size 992202
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZDivEucl.vo
@sha 2okS2h3lqwLnZlO0/zwkcr6+SokoYbSpJoahbEN0Cuc=
@size 587437
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZDivFloor.vo
@sha KADjozYmCv0ffS/3/Rik91AlOW0HgvI2c4kFSsIVJyE=
@size 539748
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZDivTrunc.vo
@sha vJWJgT5qEZNw6+o7GU2JZ+HY5eXoYG26SZv6cmdTCk4=
@size 553399
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZGcd.vo
@sha to+KlyVvOL7hZy7iRX490nupaZVzNySBZyboJEv0Kmg=
@size 473471
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZLcm.vo
@sha dmzTQ1qi7JX8XsvosdZItB9OhFC7ouYG9X75jNaotQk=
@size 809014
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZLt.vo
@sha GW4IADcPCkos44grxLKWphRcvBDnKkQU0KnkiN0WlGo=
@size 343541
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZMaxMin.vo
@sha X7C19z8243OKqK9+YwxJvnaTLcB4U7SPJQfe7N2mklg=
@size 454553
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZMul.vo
@sha lwcKPNE+6Mz2k2nWlKqZRMBQGmFd+pjnomGMgy/w7pQ=
@size 326752
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZMulOrder.vo
@sha WPDdapLc1+EtuOn0renPoiC7UzW/Q6FLsQslYC5Tf+8=
@size 424321
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZParity.vo
@sha fsSn7Q5e1BhZCsS/PlHzVHIm8GEDXLw+wCQMy+ggTVE=
@size 413420
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZPow.vo
@sha KzYEt8u0wB+vjrbhApcInvtM2vklYbX5/6K5tGUnljc=
@size 540674
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZProperties.vo
@sha Qj1PBBVqPDxqRYbUj/EraDCyRvEJz1GwlUubdzb5kEY=
@size 1744502
@ts 1456328948
lib/coq/theories/Numbers/Integer/Abstract/ZSgnAbs.vo
@sha lmhOfOqg1F6XhTjS0BMyGHWs1G5c82MB6SCShxAuXAU=
@size 582310
@ts 1456328948
lib/coq/theories/Numbers/Integer/BigZ/
lib/coq/theories/Numbers/Integer/BigZ/BigZ.vo
@sha Wsmu0xuY7S5qM8oSMKJ3H73X6Kx+MaEHI4nmaoNddh4=
@size 2279797
@ts 1456328948
lib/coq/theories/Numbers/Integer/BigZ/ZMake.vo
@sha EnbwjzJxps7IOvqJGGgj6wnTsnH6vmL5Zb9lNX45+tU=
@size 167807
@ts 1456328948
lib/coq/theories/Numbers/Integer/Binary/
lib/coq/theories/Numbers/Integer/Binary/ZBinary.vo
@sha vSfuLvknlqTjjxuTLZyAE2OccCDLldx6vduZkuG0Yqg=
@size 899640
@ts 1456328948
lib/coq/theories/Numbers/Integer/NatPairs/
lib/coq/theories/Numbers/Integer/NatPairs/ZNatPairs.vo
@sha IAHuqnYRaC7m7BwZwC/Pejg9AKepdToG7by+Z7oASYo=
@size 470881
@ts 1456328948
lib/coq/theories/Numbers/Integer/SpecViaZ/
lib/coq/theories/Numbers/Integer/SpecViaZ/ZSig.vo
@sha neEja1VTqz4vWXnhn/ooEPD44B52DhsuSS/ZVJb140Y=
@size 50074
@ts 1456328949
lib/coq/theories/Numbers/Integer/SpecViaZ/ZSigZAxioms.vo
@sha 4DUd35qvtBMgujJVJ74OFMT1UrpHG6PCszL5zkMtk7o=
@size 254176
@ts 1456328949
lib/coq/theories/Numbers/NaryFunctions.vo
@sha 9yuF7CWjY1Hh2lBP9uHYDLX6E9oiYgki+sQuIfybiho=
@size 18506
@ts 1456328949
lib/coq/theories/Numbers/NatInt/
lib/coq/theories/Numbers/NatInt/NZAdd.vo
@sha JNm3lQ+VY82BnEc7nt26BIqtmaRfwcscqSwh/3huVBM=
@size 26697
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZAddOrder.vo
@sha jgMR5w+ADSerPWSpywXg8neB5TpYP93s4U0IBO6jwLY=
@size 180076
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZAxioms.vo
@sha AUdmWl2RDF4b2n/09ucXVJoxB95Vjy0nxCt2oIRNLA8=
@size 135712
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZBase.vo
@sha 5Zw9ETzanPWTIgO+Zay/PqF0u67fgj1W/YT6hX2Cuf4=
@size 10799
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZBits.vo
@sha hQX6Fr08tGwbDaChaHnlWoMhfR8w670eGdq1EaMM0F8=
@size 38467
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZDiv.vo
@sha kKo5HQPkQPlIsb9YU6h+tN1n12ukeJ4xn98DVDpTGK8=
@size 271215
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZDomain.vo
@sha tdTezKbpmLekDiS+eAdy+jHZX8e2IBikxavHqMkwyDM=
@size 157481
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZGcd.vo
@sha BmBjUm13QIpM6V/AqyDGiU5y81xhiozqKYrzwjnI/uI=
@size 245588
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZLog.vo
@sha jNXW0IzEsOJjvzQ5Lx7aZ3ApcO1UYd2vdDRJ6CzjZ/I=
@size 445260
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZMul.vo
@sha 2Bzb59TZcii9gO2a1bh4dZWTo3ArnyipNNilzHTSRd4=
@size 50495
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZMulOrder.vo
@sha kFSM3D9gCJQ9URLCWAIIjydXTcL6RY2OlwwY1d0RM88=
@size 249817
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZOrder.vo
@sha j3IFPebomCnZn0bXno4ul5GqhqaZHtRgttcSD5BvEIA=
@size 166413
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZParity.vo
@sha GjLF5TluJqMPoVb/yXjpMm8ZLXemn4sejT3XBnA9yQc=
@size 241228
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZPow.vo
@sha +ArsnEvVI5DHjxJWjlrRD3A78h/hGIQMTUypbNEIiew=
@size 273791
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZProperties.vo
@sha gnb0lnoY7+T+xmIFqQIPJY8gzuLDoxCg8wNggrOUBjk=
@size 253380
@ts 1456328949
lib/coq/theories/Numbers/NatInt/NZSqrt.vo
@sha 1I9JX7ucad86CinuVTSuLW+gjVg5PjvFiS9IONJ34eI=
@size 339007
@ts 1456328949
lib/coq/theories/Numbers/Natural/
lib/coq/theories/Numbers/Natural/Abstract/
lib/coq/theories/Numbers/Natural/Abstract/NAdd.vo
@sha SAbQqcegzO0dVokdybHnXgh4k8Uixj9g944vt5mBZrw=
@size 298816
@ts 1456328949
lib/coq/theories/Numbers/Natural/Abstract/NAddOrder.vo
@sha akbQdCWonbrYNPerSw79NMOCx7uZ3XobqAwtolmAqkI=
@size 343706
@ts 1456328949
lib/coq/theories/Numbers/Natural/Abstract/NAxioms.vo
@sha UfJRF6n9SYlS27uPh+qetVIUeOwQAR5LjNl1OCm5xyw=
@size 194916
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NBase.vo
@sha Iex5+l8XraYKOVdo11H4qhlIo494n+jkpfWUzpa6BN8=
@size 278137
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NBits.vo
@sha KktHogLNJ9Z2UnMWTdYUOboIOIIiviGMlJ1glf0e0hg=
@size 866436
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NDefOps.vo
@sha kb4Gm973uS+XkCOC1JyDFpoMz5PyJsjfmhGyDZYszLQ=
@size 501253
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NDiv.vo
@sha Nz06hCUcLpF1aVbAzCvCt6r4lqvHgNujUP3vb+cUR+c=
@size 428662
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NGcd.vo
@sha 3WFWiyXi2tYn/GU94zZIYT+vh13uYSbeSOv4MwezO/k=
@size 416801
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NIso.vo
@sha HIKQ7u6ehXNmAaxqzUgEhw064U6bRm/Hzo2VR1UPIQc=
@size 554600
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NLcm.vo
@sha vTAlVuW7iL68SwAEJHGVHyMrBxR0lcjRTds4254rnG8=
@size 517770
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NLog.vo
@sha SCGe/fNzvQMYJDoH0KEEKJDL3QMAizU4e3TDjJ+w7nY=
@size 612771
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NMaxMin.vo
@sha FN9Pa1ekZuhHaDlmuOAYf9OmE5StSKAytcdounad+DE=
@size 429154
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NMulOrder.vo
@sha jDiCpcou8PNEoiDoSFGuz4q+KoEp7co5OQu6Esde0eQ=
@size 356889
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NOrder.vo
@sha kAFxA1kPF80agsIlPxIec4/AS2GwTZf6gPXEdolxIiw=
@size 331129
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NParity.vo
@sha nbyTN9fhqwjMrRPvOz6uh0o2z9Il6Sbhu5x4PYaQJY4=
@size 406981
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NPow.vo
@sha ENuJrLxMw7xrYnVJIKz/nak1clKGRlx34llXduOAJyI=
@size 487445
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NProperties.vo
@sha 2kCM/adEl5B1UQ65xkcoIuJw1iQv3e+Sv73tS/iG7L4=
@size 1312156
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NSqrt.vo
@sha 92q1ddUZlPFjwif1ALauACziTBiwOTgPg6PHvg9ng9Q=
@size 440299
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NStrongRec.vo
@sha CKipilwLQXeKeJf4iU0XXgMGE8XXihA+DpkTCEPjR3s=
@size 435285
@ts 1456328950
lib/coq/theories/Numbers/Natural/Abstract/NSub.vo
@sha hyDnidqjH3i7Oj3Ufimp2OJ0jVdAUQOy7TPWeydie4U=
@size 405463
@ts 1456328950
lib/coq/theories/Numbers/Natural/BigN/
lib/coq/theories/Numbers/Natural/BigN/BigN.vo
@sha TKbNvQxzRQpDctf95bBEFa27hDz2L1z4emwaLLhZodQ=
@size 2508142
@ts 1456328950
lib/coq/theories/Numbers/Natural/BigN/NMake.vo
@sha Gu2CexFas7ZObhDpuu1SWM8wvzY+BDvetKwcm7p6ITU=
@size 726892
@ts 1456328950
lib/coq/theories/Numbers/Natural/BigN/NMake_gen.vo
@sha EFBnTrDUYCcouO1TFzNpBDI10Rl2rhCHk58Yl3PPFz8=
@size 249427
@ts 1456328950
lib/coq/theories/Numbers/Natural/BigN/Nbasic.vo
@sha nx0Z6XHeCqQmUdzbe2j3/AR9O6omntYJsa75fxy+QDg=
@size 109101
@ts 1456328950
lib/coq/theories/Numbers/Natural/Binary/
lib/coq/theories/Numbers/Natural/Binary/NBinary.vo
@sha R1QKdfq6NFsA+kvCpFtRoKByDq4h0krXSphJfR/GwmM=
@size 720745
@ts 1456328950
lib/coq/theories/Numbers/Natural/Peano/
lib/coq/theories/Numbers/Natural/Peano/NPeano.vo
@sha 3g60AuCA0OtbJKrSm9M6UpUgYAG6LDzawnsN3XnB4B4=
@size 1440382
@ts 1456328951
lib/coq/theories/Numbers/Natural/SpecViaZ/
lib/coq/theories/Numbers/Natural/SpecViaZ/NSig.vo
@sha IxrYj9mfKpEWr/lHPM6qYig1cYMKqX5BbsIBD05fbcY=
@size 45779
@ts 1456328951
lib/coq/theories/Numbers/Natural/SpecViaZ/NSigNAxioms.vo
@sha mfKxf47o7dipRjrn4sDqsRtFz43u/KpW6d4xFJMNjgI=
@size 241086
@ts 1456328951
lib/coq/theories/Numbers/NumPrelude.vo
@sha 5coVxKPBvSXbziAUFUmy2Id9lGGjkgfARHczXAEsbDE=
@size 1381
@ts 1456328951
lib/coq/theories/Numbers/Rational/
lib/coq/theories/Numbers/Rational/BigQ/
lib/coq/theories/Numbers/Rational/BigQ/BigQ.vo
@sha ybvXwT2MfgGwgh5UOKkCvoFA4nivzHw6xmHc6WnIFgg=
@size 549086
@ts 1456328951
lib/coq/theories/Numbers/Rational/BigQ/QMake.vo
@sha YSzl1lU9dhqJTTYXt4RaDlnCSrslw0kqaC9FAJKyplA=
@size 287305
@ts 1456328951
lib/coq/theories/Numbers/Rational/SpecViaQ/
lib/coq/theories/Numbers/Rational/SpecViaQ/QSig.vo
@sha ox7GDN7w+znpnjCe0laOkEJCeTz+iMenkqCUfcAbZo4=
@size 149845
@ts 1456328951
lib/coq/theories/PArith/
lib/coq/theories/PArith/BinPos.vo
@sha cwZ5uKvGbYO2/gQNNWN778SwwibgcixQWxoyAiI7TW4=
@size 421908
@ts 1456328940
lib/coq/theories/PArith/BinPosDef.vo
@sha yQhWv1KP5uGtwULd4LVoCAdnWjpsokeOv19mGN1nfiY=
@size 49559
@ts 1456328940
lib/coq/theories/PArith/PArith.vo
@sha 3F6PjejN2i4xQo/qeLsRZRJoBcvKmlffOcrysiJM41A=
@size 6550
@ts 1456328940
lib/coq/theories/PArith/POrderedType.vo
@sha FtpNk54//UBmyAQAGYjc1aiGaej8XGWIhyIa9a1zAes=
@size 430049
@ts 1456328940
lib/coq/theories/PArith/Pnat.vo
@sha TRLjrlPFa50q9HQCFfTxT7dCQBxse/RbL7B+ZWwb2cI=
@size 38573
@ts 1456328940
lib/coq/theories/Program/
lib/coq/theories/Program/Basics.vo
@sha 2aN7G9CGAbXkdp3NKDkggf8PiRjKG9T3kLLgsMlVYd8=
@size 3549
@ts 1456328952
lib/coq/theories/Program/Combinators.vo
@sha KCWKKqvycNQE2ERDlk7B/VkYzvyau4dNtY4t88BwJnc=
@size 9010
@ts 1456328952
lib/coq/theories/Program/Equality.vo
@sha PFGkJ2dNcPdbIfwQcjWqSANCSGitX2PUl8Eg3jSw9KM=
@size 38808
@ts 1456328952
lib/coq/theories/Program/Program.vo
@sha COEU1S4NyhF89hPfUrqzg9MU8XSKx+hehhRcrPaP7Xk=
@size 4248
@ts 1456328952
lib/coq/theories/Program/Subset.vo
@sha i4KhxJgQFZpAFrdzljxS4QnHTXKzBleoq0jYgICPoRU=
@size 9709
@ts 1456328952
lib/coq/theories/Program/Syntax.vo
@sha SG3GBvhjxQPHiFHYUobXTYmYKAV2adMfP+yZ/RdXi4A=
@size 5415
@ts 1456328952
lib/coq/theories/Program/Tactics.vo
@sha tL/8fGgXEKQVySwPKQDlygPFXvO1Wsqrl+NI45V/tFU=
@size 22577
@ts 1456328952
lib/coq/theories/Program/Utils.vo
@sha DGzQEpBZO8Mlok2RF2GJM1xh2yH5JIxj8jgIZ1X1nos=
@size 1874
@ts 1456328952
lib/coq/theories/Program/Wf.vo
@sha 03q8MD9VhmOvtre+yVQ3ocktpnzrgJy9sBlkNAgM67k=
@size 33088
@ts 1456328952
lib/coq/theories/QArith/
lib/coq/theories/QArith/QArith.vo
@sha v5JAoTuSCIkP8aOaZ29qDrnkkRWxfh5f0/TcxQgZ9qs=
@size 12741
@ts 1456328946
lib/coq/theories/QArith/QArith_base.vo
@sha +gNc4JmlKI4F8hcjB3p+372xgg7T77p2F2vLyAdRLjQ=
@size 149310
@ts 1456328946
lib/coq/theories/QArith/QOrderedType.vo
@sha PQ8+1YDVbedGKVHq+gV3HLrEzruNlX4bouhFZV9B31c=
@size 59805
@ts 1456328947
lib/coq/theories/QArith/Qabs.vo
@sha ukwaKEcUlDQGwYNRoZw2mhuNw9pIyloQQcWqcf6E/xs=
@size 40637
@ts 1456328946
lib/coq/theories/QArith/Qcanon.vo
@sha 8A72H5HETDjyNEbUXePs6ralduuWQtIGZDAdu2d2SQg=
@size 125540
@ts 1456328947
lib/coq/theories/QArith/Qfield.vo
@sha aAVdbbEWl/fLdHa4qkFbBfRcfqwOt7lT8WrgYY5bnAw=
@size 64477
@ts 1456328947
lib/coq/theories/QArith/Qminmax.vo
@sha QkR+RImlh1sNa+1Ct+OKjyx6laioqtSX2lvfYFYsjZ4=
@size 141693
@ts 1456328947
lib/coq/theories/QArith/Qpower.vo
@sha 2LfTpOiP6qeuOs29KQzilMsA6NftzIqv+x1bfltDkuA=
@size 56196
@ts 1456328947
lib/coq/theories/QArith/Qreals.vo
@sha iO6tSdErpZi5twuBwv1cB3VSSAYvMIralh7faxwB0v0=
@size 39116
@ts 1456328947
lib/coq/theories/QArith/Qreduction.vo
@sha XMiB6Z1NAyfSuIHPMVr+nJSkDKY5yoh2TEcwV/DKuDk=
@size 49325
@ts 1456328947
lib/coq/theories/QArith/Qring.vo
@sha DrG1V4ScvPubmtKB7JcnWDORtZfDMgnv1NPlS8L4B88=
@size 12578
@ts 1456328947
lib/coq/theories/QArith/Qround.vo
@sha c13BstQ3T2brQiCAIxKhml+VQRDwZ6edBkmxas/CaEg=
@size 32116
@ts 1456328947
lib/coq/theories/Reals/
lib/coq/theories/Reals/Alembert.vo
@sha QMetWkIMXz1hAHUz38ST29dOaoYws7QPZSru2ckoMLk=
@size 231322
@ts 1456328944
lib/coq/theories/Reals/AltSeries.vo
@sha FjHc/emxpRUdvlI1S8y+EqXIdDbmVvudFw/7cie1xmw=
@size 45717
@ts 1456328944
lib/coq/theories/Reals/ArithProp.vo
@sha LSxCscLdzgE29i7FHIYGwt0ycqNcSaG1W2c+tOgexnc=
@size 30271
@ts 1456328944
lib/coq/theories/Reals/Binomial.vo
@sha yDLjSPN8Pa9EVm8DilWKeiR/7+89VK4I6jzSvD55TOo=
@size 37108
@ts 1456328944
lib/coq/theories/Reals/Cauchy_prod.vo
@sha nxuQrNydJXMtQtE4UbflC2/9fwGvIwQH+vkNjEJAz84=
@size 45420
@ts 1456328944
lib/coq/theories/Reals/Cos_plus.vo
@sha fJousO/gU4JjejksoipMriNPBkJMD0/KACsdIqXAW68=
@size 264947
@ts 1456328944
lib/coq/theories/Reals/Cos_rel.vo
@sha c2E0d7h1NrE5DD8Y9fzmXxC/9fEjpJSXy+WG8hnJI9s=
@size 72743
@ts 1456328945
lib/coq/theories/Reals/DiscrR.vo
@sha wVdurdAS72DJa/dvzAYvjU6mBfGJEy6T7Kq0N221sms=
@size 18466
@ts 1456328945
lib/coq/theories/Reals/Exp_prop.vo
@sha 5Gvii813pn9eCBY2ETlZFlYF8bu0RQyqiwy2aVDmwhE=
@size 91131
@ts 1456328945
lib/coq/theories/Reals/Integration.vo
@sha aYJkVy6e+BQhFDPNOnlAY446+PWWbfpVVAC3ZFyhCBc=
@size 15798
@ts 1456328945
lib/coq/theories/Reals/LegacyRfield.vo
@sha CWjp/zdVbYsmOQc3lvuftr/a2Uc4P5tOwRbhQK0wgxM=
@size 15196
@ts 1456328945
lib/coq/theories/Reals/MVT.vo
@sha ONpJsQCCu20zER1i3NPXeLhqZPhHqKMp0AdTCLhKs9Q=
@size 75434
@ts 1456328945
lib/coq/theories/Reals/Machin.vo
@sha V4haF9gzGfHVnTx4d/dnbU+rI8aZJQeLH7rjGFFlJwo=
@size 123303
@ts 1456328945
lib/coq/theories/Reals/NewtonInt.vo
@sha lWkuztTH11/XFlhYDeWMWvaCw2kNd1X8DmgALxrDEQc=
@size 176438
@ts 1456328945
lib/coq/theories/Reals/PSeries_reg.vo
@sha BJ3yBhewH24pi8q2pmr93+eRs89bFl2rLo7opPj4Tdo=
@size 37924
@ts 1456328945
lib/coq/theories/Reals/PartSum.vo
@sha NP0K+94G/PN32AgYyGY3nUKuKATXyYeBSj7ozdk7deI=
@size 65465
@ts 1456328945
lib/coq/theories/Reals/RIneq.vo
@sha WZrOgRYwr+dHc/wLDIlki8Tig4YttJl0Nq01X4OjF+Y=
@size 189730
@ts 1456328945
lib/coq/theories/Reals/RList.vo
@sha FVArv43V8AAv0p9SkVCZDFxAf8x6gCoRjTwyc+h6eeA=
@size 82762
@ts 1456328945
lib/coq/theories/Reals/ROrderedType.vo
@sha 3+BrNIFlszxYiWl0S9uxBQnPQS65LaFdwORrW4KAGYk=
@size 67082
@ts 1456328946
lib/coq/theories/Reals/R_Ifp.vo
@sha kHUmOcivebAUEFSKL3acsE1mvxcHlj5chUsNNA+fHb8=
@size 58019
@ts 1456328945
lib/coq/theories/Reals/R_sqr.vo
@sha rH1nDpX4TSCi1r/laAMqeapPn6y9ig2kXQraBwYwHIY=
@size 44675
@ts 1456328946
lib/coq/theories/Reals/R_sqrt.vo
@sha 8HX3bPvlS5+8LJ8O5tqHP2Jh9RgoE8r393u2SOwjqlo=
@size 57315
@ts 1456328946
lib/coq/theories/Reals/Ranalysis.vo
@sha L8Vm0ozbxXy5JByt4r0KeY7pY5AkOl33uVY6TJvf16g=
@size 15758
@ts 1456328945
lib/coq/theories/Reals/Ranalysis1.vo
@sha dgeZAyqnhmiIS7bb/W1BUSRDPmmnHXkFkXbCkqykJVM=
@size 124976
@ts 1456328945
lib/coq/theories/Reals/Ranalysis2.vo
@sha i3Rr4OjhEbY/v+XpDu+Wpym4vGPYeB1Od65ZISxGMqg=
@size 74146
@ts 1456328945
lib/coq/theories/Reals/Ranalysis3.vo
@sha BuZDAAmYf6r/adDGX6dooe3hi1gqKc6aGqS6LGja70o=
@size 60460
@ts 1456328945
lib/coq/theories/Reals/Ranalysis4.vo
@sha ShmQquw03uDOKW8eUfzD7V9BqifEg0u7/NlEgwG9qW0=
@size 43974
@ts 1456328945
lib/coq/theories/Reals/Ranalysis5.vo
@sha OLQ1oVsTv0JrYWyiujjaOfmlPYCoy1Xm5wh/vxVIeTY=
@size 608764
@ts 1456328945
lib/coq/theories/Reals/Ranalysis_reg.vo
@sha USD4K864bBa2X1/FtqskZFYBrZyQi1hSQ8XfhVp2jp8=
@size 87377
@ts 1456328945
lib/coq/theories/Reals/Ratan.vo
@sha nZOmK+2rtQnLYQYoulJuffAxw4735qzTQyjfvT0a/xI=
@size 624994
@ts 1456328945
lib/coq/theories/Reals/Raxioms.vo
@sha aJ/d0/pyFlpxZt/N5yFBmc4uuPzuPF52Djdt+TmYDw0=
@size 22278
@ts 1456328945
lib/coq/theories/Reals/Rbase.vo
@sha M7LvtRwsgAxM+3gIlOpg9E3K5bx5RiMJCjvhsecVSKE=
@size 12520
@ts 1456328945
lib/coq/theories/Reals/Rbasic_fun.vo
@sha ncr7essQwAGvAITS1z3xUoATMe2vz/eZNe1ZneDajmw=
@size 59336
@ts 1456328945
lib/coq/theories/Reals/Rcomplete.vo
@sha r4jsnTSJZwqSXhseX97bEe7E0JmGZWyY7925WyU6DLw=
@size 24660
@ts 1456328945
lib/coq/theories/Reals/Rdefinitions.vo
@sha hz2XM7MZu0wXkrpQ7nIxZyN4l9ibPMxoDbdiZ/Knyj8=
@size 17053
@ts 1456328945
lib/coq/theories/Reals/Rderiv.vo
@sha Kn1c7EEHOQ0YXLNysXiotLVNdcS4jI0brUp3oG8yXmY=
@size 71406
@ts 1456328945
lib/coq/theories/Reals/Reals.vo
@sha mgg6w+vPyfemOVZ6yMrKhqgVGSijmt37/vrMfASG9gk=
@size 16245
@ts 1456328945
lib/coq/theories/Reals/Rfunctions.vo
@sha L/8bsENaTBf3diR3RsIhWyrTH8mnExPULyoJsUkeJUk=
@size 82349
@ts 1456328945
lib/coq/theories/Reals/Rgeom.vo
@sha UXfmBzUlK+bGMXE7y2cdzGBvJKXVj9wonz8FhmFilXQ=
@size 40745
@ts 1456328945
lib/coq/theories/Reals/RiemannInt.vo
@sha ytxyVW8xsg98Kf6lAiXUyxbsEYaXgZKhgoEHCh98FvE=
@size 303437
@ts 1456328945
lib/coq/theories/Reals/RiemannInt_SF.vo
@sha mXvRsuhQ+7INP/pkJcsGuW1WR5aDe2H0cXp2ld8D7kU=
@size 292255
@ts 1456328945
lib/coq/theories/Reals/Rlimit.vo
@sha k7tbli/EzwkdoBqLpWqa2pmlj6kwhNkLADE2PRh6uC4=
@size 73258
@ts 1456328945
lib/coq/theories/Reals/Rlogic.vo
@sha UI6DyLGG4BOh2qNmLzy/CM8u+PPjZbRTugbgvCrwG1s=
@size 116562
@ts 1456328946
lib/coq/theories/Reals/Rminmax.vo
@sha mk/ZV8SLeFUZvAKtvptjo7/WsuBIOPlIzJTMu/iO5dU=
@size 154273
@ts 1456328946
lib/coq/theories/Reals/Rpow_def.vo
@sha fVdkCAnWHpotXJClf6+zyYVUiHVaMv8SDaCKtsAV9es=
@size 11745
@ts 1456328946
lib/coq/theories/Reals/Rpower.vo
@sha 1RvS+Q1IdkKftxED29FdODdPgP4dC65ZGO9Bt4wp7Tc=
@size 66225
@ts 1456328946
lib/coq/theories/Reals/Rprod.vo
@sha RiWCRoiDncYWH9fH17rJnnygiNmVyquZ5Swl8Tb21+w=
@size 346934
@ts 1456328946
lib/coq/theories/Reals/Rseries.vo
@sha DoqlBsEbUBNRhv3uATzKv2D1qbzDO1zVfQXXApkqbgA=
@size 47850
@ts 1456328946
lib/coq/theories/Reals/Rsigma.vo
@sha kkpwML+XA3munuhZRfiZaq7KU3dn9d+nsQELdttkb84=
@size 74803
@ts 1456328946
lib/coq/theories/Reals/Rsqrt_def.vo
@sha Z1VFy3pKwm20T2ul9bmtKJWJq+CJCyKxBdBxuKrDMPI=
@size 60030
@ts 1456328946
lib/coq/theories/Reals/Rtopology.vo
@sha HyaIC3azpDJnaXt/JHXe6j27QNsIF4u5CZxjfmpFVME=
@size 153169
@ts 1456328946
lib/coq/theories/Reals/Rtrigo.vo
@sha OvLb3AEPiMSBO+ZVOoFXcuE9zr+ogAxuOImHXW0uMZ4=
@size 15663
@ts 1456328946
lib/coq/theories/Reals/Rtrigo1.vo
@sha 7llEuxVs6NEHxaNbf5NuFspg/Bq4vn4RxMgqdnIMa7I=
@size 229947
@ts 1456328946
lib/coq/theories/Reals/Rtrigo_alt.vo
@sha 28wKsmAM6xuPh9/TylDkbFvFfs3QzdyB2r+kVlBAdow=
@size 49546
@ts 1456328946
lib/coq/theories/Reals/Rtrigo_calc.vo
@sha rH5SKC2cjaaXY1XttBxwRSIgOr414pULHgEEL/NU5cQ=
@size 56226
@ts 1456328946
lib/coq/theories/Reals/Rtrigo_def.vo
@sha 9rGNtO1FfLFAu3U2H7Oz57buflyX4EjTWW5311DBI70=
@size 123266
@ts 1456328946
lib/coq/theories/Reals/Rtrigo_fun.vo
@sha G2WNoqCd2hFbw802pol4Uz/rIZ/+nPQFA1nQfkqX9yc=
@size 21575
@ts 1456328946
lib/coq/theories/Reals/Rtrigo_reg.vo
@sha u45owVBgcz3OIEJGJVMqLbnrPU6LMjOvvpjGvOODFx0=
@size 49488
@ts 1456328946
lib/coq/theories/Reals/SeqProp.vo
@sha Aiw97SV2fuSUwd0wnmTET4AK0gmf414WWnT3L1NovnM=
@size 90997
@ts 1456328946
lib/coq/theories/Reals/SeqSeries.vo
@sha f8YreBNhNIQ3EXiUHM+LuLNpsqUe7IhT8CMEcz5FqzU=
@size 46811
@ts 1456328946
lib/coq/theories/Reals/SplitAbsolu.vo
@sha urydfjzScIQTWG6JNxeC0WnEJ+QYAbTCA5mdCXt/eHc=
@size 13736
@ts 1456328946
lib/coq/theories/Reals/SplitRmult.vo
@sha ALybx+K7x5Kd5DGvoAfIccbm1H9o4LEbKWxeGYTPsUE=
@size 12846
@ts 1456328946
lib/coq/theories/Reals/Sqrt_reg.vo
@sha 6H2o0NLXFfYTuikgRG/Dd/fh4Du6PI2dboETwHlZavg=
@size 36087
@ts 1456328946
lib/coq/theories/Relations/
lib/coq/theories/Relations/Operators_Properties.vo
@sha tOxkU2wRAIm4IZQ+2UFPu77Ec6qCSJS/ZAhr0yJ6PDI=
@size 24952
@ts 1456328944
lib/coq/theories/Relations/Relation_Definitions.vo
@sha //9lGrwuzRYmYSIoXt8cfVM4hu7ORKuYxgCIHHZz0A0=
@size 22124
@ts 1456328944
lib/coq/theories/Relations/Relation_Operators.vo
@sha T6BtkUGnaenuDo8FniHUojm1Dg6ws47cK/eI25VZJU4=
@size 51247
@ts 1456328944
lib/coq/theories/Relations/Relations.vo
@sha fHuz5qukNnTHEm8z1S5E4rr+fHcYPaMLx75nynZfuN4=
@size 2971
@ts 1456328944
lib/coq/theories/Setoids/
lib/coq/theories/Setoids/Setoid.vo
@sha WhlGf5WyLGixaltIURPpDWPCOXGEfF8GRkirnH6e2I4=
@size 6355
@ts 1456328941
lib/coq/theories/Sets/
lib/coq/theories/Sets/Classical_sets.vo
@sha GH4+HA5xgXSbdwAnNjDsyZl89yXw0n+ey5K6C7LeU34=
@size 9341
@ts 1456328942
lib/coq/theories/Sets/Constructive_sets.vo
@sha tsflK4m+pyOzihlXDp3WUsPGLscxu/wVfpGK5Osi/k0=
@size 13758
@ts 1456328942
lib/coq/theories/Sets/Cpo.vo
@sha k/syLGLdQXtMKEmsaeFjjduu0DlZw1dXLLcnDvOAxAE=
@size 44835
@ts 1456328942
lib/coq/theories/Sets/Ensembles.vo
@sha LWlPyQ56KwMECD/rXNeZzloGYXdEA4rguEfy46xV3FE=
@size 25384
@ts 1456328942
lib/coq/theories/Sets/Finite_sets.vo
@sha gkPQ7LpTC0eL0ygGfhIu/0HIN9h5s6SgeqLyHxQxWng=
@size 11495
@ts 1456328942
lib/coq/theories/Sets/Finite_sets_facts.vo
@sha C/7CDVcYTfwLFR4ZjDzpI5gLCkFAMjYVGpkd2ClqNoQ=
@size 25501
@ts 1456328942
lib/coq/theories/Sets/Image.vo
@sha gHSKK5zSk4mP6Lb08neWuJMoJ9e2ZYfJDuqRny39MUM=
@size 20542
@ts 1456328942
lib/coq/theories/Sets/Infinite_sets.vo
@sha y2xIcR8p+u22inzyVdLjl/uhlyiNwrSb//pWWvPxx3M=
@size 21488
@ts 1456328942
lib/coq/theories/Sets/Integers.vo
@sha Hfr80Xuz0aJAYo+ptY95xl/K/1G731eg0yjvwxkQ6IA=
@size 9416
@ts 1456328942
lib/coq/theories/Sets/Multiset.vo
@sha wMQWFahh+ZalUjd4wKkDCUWNf0Mv+DC1M4w10VY1N78=
@size 23152
@ts 1456328942
lib/coq/theories/Sets/Partial_Order.vo
@sha DQWMImQPgq1nWUUIidtn7ZbITUHSZw7ownpvKAr4ieg=
@size 15195
@ts 1456328942
lib/coq/theories/Sets/Permut.vo
@sha TzAZBXrmD5QC0WH9FNa7Jn6MwIO0uA9MU0duO9wpP84=
@size 11444
@ts 1456328942
lib/coq/theories/Sets/Powerset.vo
@sha DGut8dsW5bBxnUoQZ+xAVt7x9M+KL8w/ZvtUB8a0s2k=
@size 16543
@ts 1456328942
lib/coq/theories/Sets/Powerset_Classical_facts.vo
@sha H24H880A3U2bqRk5HDa4e49+uYxkiyyGTcTNem2EM9c=
@size 27090
@ts 1456328942
lib/coq/theories/Sets/Powerset_facts.vo
@sha zhXVjkokylX6losiy1Ho07TNTOiFzOVyL1/gscRZhnE=
@size 23143
@ts 1456328942
lib/coq/theories/Sets/Relations_1.vo
@sha Foz5KjxYJ+MKH7lLXFT85OzhEnu/h12/WkrHSyaN7pE=
@size 14125
@ts 1456328942
lib/coq/theories/Sets/Relations_1_facts.vo
@sha ue9AFHWq0JEh8qsHhLgWQbv9gjDT7tS4E6Zfk/cZoNU=
@size 7781
@ts 1456328942
lib/coq/theories/Sets/Relations_2.vo
@sha lnNnJfQRqzZQg8Z2l5h0IlDNbrabBzYCggRGPwd6KAs=
@size 11391
@ts 1456328942
lib/coq/theories/Sets/Relations_2_facts.vo
@sha a2x9L8ECT7BR4QWWY923NFsGaCSbX64eVDms/i6/qrE=
@size 11869
@ts 1456328942
lib/coq/theories/Sets/Relations_3.vo
@sha N6tW2T+ukYneW2ifmG23DXEcc34xbi4pL34L2+eOrr8=
@size 8413
@ts 1456328942
lib/coq/theories/Sets/Relations_3_facts.vo
@sha yrOu6DqAZtZXF5QJMgCoEUML0BUvSnRB22ybVxPwjik=
@size 10997
@ts 1456328942
lib/coq/theories/Sets/Uniset.vo
@sha gahhrDZDCK5N64eulirSKkyfTiIiXiVroeDLOCfs5cU=
@size 20096
@ts 1456328942
lib/coq/theories/Sorting/
lib/coq/theories/Sorting/Heap.vo
@sha EvlTDeBzwNNfkpvBXDwzla8hHcOB9f/b7uK1nzKriVI=
@size 69823
@ts 1456328946
lib/coq/theories/Sorting/Mergesort.vo
@sha tLLYFBfEeAa1M+gDGbFWeYkD2WCfNbuTpRAagpbwpuY=
@size 31436
@ts 1456328946
lib/coq/theories/Sorting/PermutEq.vo
@sha 2qsKNmSGj7NlJxotBkHpbxlCsGpM5h2Rs75qP/LxpWY=
@size 53408
@ts 1456328946
lib/coq/theories/Sorting/PermutSetoid.vo
@sha ZW7JCgDNV0dYjkzlJl4it2rFUSaQxPDXx0yCYB9kGj8=
@size 115721
@ts 1456328946
lib/coq/theories/Sorting/Permutation.vo
@sha KEpQcck+GqWPJDgVQiTZ74frtCFVZENVuvPAu0mIh6o=
@size 83149
@ts 1456328946
lib/coq/theories/Sorting/Sorted.vo
@sha opWCgpF5eVd18gVwlFnoRkMI+LuGMDcLfvOXDj6l1GA=
@size 31629
@ts 1456328946
lib/coq/theories/Sorting/Sorting.vo
@sha 820g3oTgDqCTox9c5mdVP8qBGginh9O4t4bC7wHlcLM=
@size 1944
@ts 1456328946
lib/coq/theories/Strings/
lib/coq/theories/Strings/Ascii.vo
@sha 9I8aN1y0cY3+JMBr1FIWkNF/cVBHuJFATSLiX8KA0ug=
@size 236903
@ts 1456328942
lib/coq/theories/Strings/String.vo
@sha PblaREsLhw07KNbE3d/d/59RqpNp4bSnEbzx/FrAmxU=
@size 54052
@ts 1456328942
lib/coq/theories/Structures/
lib/coq/theories/Structures/DecidableType.vo
@sha iUgu6cNh2/RoqcLUc5LJBMantseAtW7p5HZ3KrDBlVY=
@size 24422
@ts 1456328952
lib/coq/theories/Structures/DecidableTypeEx.vo
@sha kpm8eXDKBfeZscgY1qeA9v7oYBIsOKolZePYnEDYcaM=
@size 60539
@ts 1456328952
lib/coq/theories/Structures/Equalities.vo
@sha PH4TaOCyFdZP9WKuKanZvJNlV9M1ftNjFkOhZ9uHiY0=
@size 77596
@ts 1456328952
lib/coq/theories/Structures/EqualitiesFacts.vo
@sha 6ddsTxITL8SRY3OEw6iIXKLR8WGrOxKDM3/wYGw/N6o=
@size 42346
@ts 1456328952
lib/coq/theories/Structures/GenericMinMax.vo
@sha Yd5LgB3DyUFrWaIfhrxlKbmFpNVYpyC0WY7DnxD9+lM=
@size 261666
@ts 1456328952
lib/coq/theories/Structures/OrderedType.vo
@sha 3ZeR6IPhR5+smeunqxd2izD+hvozFOeiYK793gPxPa8=
@size 140324
@ts 1456328952
lib/coq/theories/Structures/OrderedTypeAlt.vo
@sha 9rMJrqHxFjaAVMv5FdTPCNxryWuz7IjhszVbjrSWIgs=
@size 79309
@ts 1456328952
lib/coq/theories/Structures/OrderedTypeEx.vo
@sha gs27FhdMbNH3xsBNo4KEUvH6h+0dH//N71TzzXr0mUs=
@size 151139
@ts 1456328952
lib/coq/theories/Structures/Orders.vo
@sha zNv1vR7u6doGzVe0rLlW45zEeTLmq46c6sgDr00GjGM=
@size 127636
@ts 1456328952
lib/coq/theories/Structures/OrdersAlt.vo
@sha 74dLpIDJuIFrPxxHXz+fnC8vA7vDcGHojiPeGAJ+oas=
@size 37750
@ts 1456328952
lib/coq/theories/Structures/OrdersEx.vo
@sha 9e+TPUnhXEYnEfPd9vE3DgV0Cs59LtKJ918soqF5soE=
@size 4144709
@ts 1456328952
lib/coq/theories/Structures/OrdersFacts.vo
@sha Kd09wFrneYV/0uE7rfjmwYTbVUwT0ry5dLx/QVI87aE=
@size 187691
@ts 1456328952
lib/coq/theories/Structures/OrdersLists.vo
@sha M/6q7/HNrV7zwLfxShmx7QOfq13/sRDxTwDd3Tl0nDs=
@size 48869
@ts 1456328952
lib/coq/theories/Structures/OrdersTac.vo
@sha tePU9VIgvagEX4qDhs/1Yps6RmOwwj1EFvqP1obpD+w=
@size 93161
@ts 1456328952
lib/coq/theories/Unicode/
lib/coq/theories/Unicode/Utf8.vo
@sha VFxu4if/F4aPkH4dtTwbbYcwQg/5DPm64vZ3lJFJhz8=
@size 1071
@ts 1456328951
lib/coq/theories/Unicode/Utf8_core.vo
@sha lEmtIbypMFhurpFwPVxmbxIBSbcUJ4A6A/ZpmszX+AI=
@size 2583
@ts 1456328951
lib/coq/theories/Vectors/
lib/coq/theories/Vectors/Fin.vo
@sha IZj8IP8CsmjABJqXUciNxIEBYRjcvSf5Qmv3JP+EwnU=
@size 38515
@ts 1456328953
lib/coq/theories/Vectors/Vector.vo
@sha HIHzJUnRrqEInKAIatViG8/1JmEN3TSI7Uka4ktDZ7o=
@size 114951
@ts 1456328953
lib/coq/theories/Vectors/VectorDef.vo
@sha SWm3mGC1ll8pl0prG+ZUu6bjtSn1XxHQdU26P9/GhgY=
@size 74380
@ts 1456328953
lib/coq/theories/Vectors/VectorSpec.vo
@sha f512Hpi8BnPwnw1vYlPBVcplr202Tl3wQ7gmqpGZK3A=
@size 26492
@ts 1456328953
lib/coq/theories/Wellfounded/
lib/coq/theories/Wellfounded/Disjoint_Union.vo
@sha IH1bAc0paHExoJN9vn7kjAFIU0B9U5vrE6MFWcNi49Y=
@size 6750
@ts 1456328944
lib/coq/theories/Wellfounded/Inclusion.vo
@sha ePtcXWJHajC1xkU6TumF/WOow/3Up4C8iAEMehM72sU=
@size 2637
@ts 1456328944
lib/coq/theories/Wellfounded/Inverse_Image.vo
@sha XVWXqId8jfqCAqwUI5NCn86wft3IfZAtjtBC6/Cp/Lw=
@size 6204
@ts 1456328944
lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.vo
@sha kgkZpqEwRJggjU01tvfUJtzN6XYo+TzpnFXBBLrJ9A4=
@size 47444
@ts 1456328944
lib/coq/theories/Wellfounded/Lexicographic_Product.vo
@sha VabPyHeKRo6T4eVoZEKPeWY9Wbau0jhC18Rv90JWdyY=
@size 94723
@ts 1456328944
lib/coq/theories/Wellfounded/Transitive_Closure.vo
@sha 27Dm7zWbsvgL1ojXYSjmaNxJ3syuFWNfuddkwrSmDig=
@size 4926
@ts 1456328944
lib/coq/theories/Wellfounded/Union.vo
@sha frMlVtQfBia8neoIym5GVqFuPpSlEfCtiwXZN3mF/RI=
@size 6504
@ts 1456328944
lib/coq/theories/Wellfounded/Well_Ordering.vo
@sha GOxEOc4dNwxEdxDHqn32Km8l1eNxmFYCIRK3+J/4CEk=
@size 10973
@ts 1456328944
lib/coq/theories/Wellfounded/Wellfounded.vo
@sha 5y/NW4av3l5uUyCmXlQz1wSXhS04w8rw3oVijQrNupA=
@size 2132
@ts 1456328944
lib/coq/theories/ZArith/
lib/coq/theories/ZArith/BinInt.vo
@sha T3Esyfib97cewnBPAp2PoJ/ac+Dya5ld06D3UhIe5KA=
@size 2124403
@ts 1456328940
lib/coq/theories/ZArith/BinIntDef.vo
@sha 6u4SfGLM8m0SCCKUm2f99Jkge8stOCRGA7D35TLAo3g=
@size 51252
@ts 1456328940
lib/coq/theories/ZArith/Int.vo
@sha blaIro3KO8HykfFrVxHNxvXxL0ngnMayKjW5mPzq5Sw=
@size 61359
@ts 1456328940
lib/coq/theories/ZArith/Wf_Z.vo
@sha PcpQKzfxfi4YgJTDaQH8VWFJ3lztXga6bKR6qycGhKo=
@size 27332
@ts 1456328940
lib/coq/theories/ZArith/ZArith.vo
@sha jmFa3M4oCOOefP4o7pQ2p04GSSqoZJoQlfwN53UrE/E=
@size 12175
@ts 1456328941
lib/coq/theories/ZArith/ZArith_base.vo
@sha JGFe7gS6+gLsL4sgr4R55JS2VyX8N+IV8SgXoN7nHHQ=
@size 13527
@ts 1456328941
lib/coq/theories/ZArith/ZArith_dec.vo
@sha XPjnCGZm0pA8BI/+EKNgZKA7siu1E7FiuvJFYExp7YM=
@size 41599
@ts 1456328941
lib/coq/theories/ZArith/ZOdiv.vo
@sha rb8WZHGEWeNnsD1pFtjsZcwX0tMVxcj0B6+SimcWicg=
@size 18065
@ts 1456328941
lib/coq/theories/ZArith/ZOdiv_def.vo
@sha gyJUeP7wliP1jMlLFLyyVma4rBJL5v+EaPUavpagdE4=
@size 9623
@ts 1456328941
lib/coq/theories/ZArith/Zabs.vo
@sha 0wQQwPt1DBQcQz1dElRA4LWu3AA4T5CItPIIYnOmLkQ=
@size 19986
@ts 1456328941
lib/coq/theories/ZArith/Zbool.vo
@sha HxkrOkLWvp+w8gPUGxMe7l4HJQADq2B1ZCG/ee4CR9Y=
@size 34313
@ts 1456328941
lib/coq/theories/ZArith/Zcompare.vo
@sha SbDOFyADPnceJi6Xcp5yqMSPHEWmOL3a9huwTQffwdc=
@size 28100
@ts 1456328941
lib/coq/theories/ZArith/Zcomplements.vo
@sha Su0vSxIev519Th0fLCgeZTXe8smAQA2oD/4i9oc0Fec=
@size 36694
@ts 1456328941
lib/coq/theories/ZArith/Zdigits.vo
@sha J2dRR74p737x7jlZZs+kuLGNLzW7OnJaa33aJjz5vNI=
@size 54411
@ts 1456328941
lib/coq/theories/ZArith/Zdiv.vo
@sha lkMBvh1bZRg1NaK2qpHaEhPTq5V4WpUd1fPJjNa1N7Q=
@size 225363
@ts 1456328941
lib/coq/theories/ZArith/Zeuclid.vo
@sha Mdt8UUZnN/XgNV6+GDYHWQpp6TxIuCRDUQahx0ApzTc=
@size 158235
@ts 1456328941
lib/coq/theories/ZArith/Zeven.vo
@sha uTvvL4m2G/i0ZKKYG7YtPEOWmcPICsHWJfVbvIj8gdY=
@size 47571
@ts 1456328941
lib/coq/theories/ZArith/Zgcd_alt.vo
@sha yfJIt0i6NUnQ2Y7AzCucXBf6CfZmKHoY2dYhPVDXCkM=
@size 106921
@ts 1456328941
lib/coq/theories/ZArith/Zhints.vo
@sha q2ADQof6n5IC/9C4zwCXDPoIHR2oLNcTCk2aBbnyh+U=
@size 16766
@ts 1456328941
lib/coq/theories/ZArith/Zlogarithm.vo
@sha B3rob4YoAP2Lwos5q/jDkj6+EDueiMWKETFFXDAwWRA=
@size 57642
@ts 1456328941
lib/coq/theories/ZArith/Zmax.vo
@sha KH1hooeAKchir7vjIPf16+lhJ1+SYrRIgOvnN96jjoU=
@size 14459
@ts 1456328941
lib/coq/theories/ZArith/Zmin.vo
@sha eJDUHoXbkAUawG6CExmj6DEnDyC5U47hKBwwSopUQDY=
@size 15039
@ts 1456328941
lib/coq/theories/ZArith/Zminmax.vo
@sha wHVTYYrYTtvaM+iynGvWrFM9UoqzxPYXGBqN1ldvuOc=
@size 10292
@ts 1456328941
lib/coq/theories/ZArith/Zmisc.vo
@sha PrD17l6zKSt6Zeqr9ceH/htzvVmPJFDAnCV8uBNPlEk=
@size 11623
@ts 1456328941
lib/coq/theories/ZArith/Znat.vo
@sha 2OXtyv1kepx3DfG8rVEIBhLiwJn15YYd3WW460cZWhA=
@size 90417
@ts 1456328941
lib/coq/theories/ZArith/Znumtheory.vo
@sha nYP41Yj2DNvA9E6bCnkMbmCYXmAx59e0zUD35miASxs=
@size 209249
@ts 1456328941
lib/coq/theories/ZArith/Zorder.vo
@sha o9A07j4mXxPhf2q6/50xVZ5tEjJ7Ps53NeKreIcgBTQ=
@size 69135
@ts 1456328941
lib/coq/theories/ZArith/Zpow_alt.vo
@sha 0XF+t0ImSD96kM83YctElydWOXxaAW1HANeci39ZSRA=
@size 18253
@ts 1456328941
lib/coq/theories/ZArith/Zpow_def.vo
@sha Fc2W9x4G0kFzrrXGuRiHyzNkd9EvGFhEX5x0MxWKo0Q=
@size 11638
@ts 1456328941
lib/coq/theories/ZArith/Zpow_facts.vo
@sha IN53RuUW0oBCimL9d7ZKrbzQJo9GcvCyK3rdJQRsLko=
@size 90424
@ts 1456328941
lib/coq/theories/ZArith/Zpower.vo
@sha ESp0HDBTQ6LX93AER8dneavbg8N6Qqv76a5ECy1wChc=
@size 77534
@ts 1456328941
lib/coq/theories/ZArith/Zquot.vo
@sha vi1wTuvEIi5FuWr4QBhFT5ORUCRQC6okAK44hUg0nWo=
@size 87096
@ts 1456328941
lib/coq/theories/ZArith/Zsqrt_compat.vo
@sha tXMozYvAMUiJZzO+RFr575JIGWJxM10VcXgjFLXA72Q=
@size 332485
@ts 1456328941
lib/coq/theories/ZArith/Zwf.vo
@sha BEelon/S4kFAWEKYRrl+G1KONFoFletOrDYD7qsEEFs=
@size 23126
@ts 1456328941
lib/coq/theories/ZArith/auxiliary.vo
@sha vw+0qRUzfkizffG/mjULZmcvHDEkbHyYLEkDKCEISjc=
@size 20962
@ts 1456328940
lib/coq/tools/
lib/coq/tools/coqdoc/
lib/coq/tools/coqdoc/coqdoc.css
@sha L2Ke8wjKA6RT/3eeaXfYh3zm5SMJgBWs6tZC3vhrmIo=
@size 6005
@ts 1456328937
lib/coq/tools/coqdoc/coqdoc.sty
@sha Ib0mX5r/BDes6TO5Cv+WPuqsHDhgI7Ddbfa2lwVFEG8=
@size 5493
@ts 1456328937
lib/coq/toplevel/
lib/coq/toplevel/auto_ind_decl.cmi
@sha Mi7XJzmJoTHIEjjer32vBJj8mQTDM1e1tOQVWIpvhYg=
@size 3474
@ts 1456328967
lib/coq/toplevel/autoinstance.cmi
@sha sz14+qwqlBGg2VYyZ+/QJxjRndLOlGX0K4M1DweJal4=
@size 2447
@ts 1456328967
lib/coq/toplevel/backtrack.cmi
@sha Xb8lIOlWzUFh5GjlZ8xFdkIzX1WM+obgJk0HvYlr8Fo=
@size 3758
@ts 1456328967
lib/coq/toplevel/cerrors.cmi
@sha h34PQdwxy+gQwk5rGt9ZRq6vEXtHNA5LeRXw8cbIQp8=
@size 1298
@ts 1456328967
lib/coq/toplevel/class.cmi
@sha 7InOlx21UkdujcY02LcK34sPkmGl48iOGxZDvqQHClU=
@size 3355
@ts 1456328967
lib/coq/toplevel/classes.cmi
@sha zFoLu5tmXUdO5a1LDo9d6vECw1w1Oydp49Pkn9iBtLI=
@size 4671
@ts 1456328967
lib/coq/toplevel/command.cmi
@sha dpDViPMqfGVv8gotFCr7si+p17Ze32snJndq5V+2BlI=
@size 9510
@ts 1456328967
lib/coq/toplevel/coqinit.cmi
@sha tuQKg1jrMPQAl1zSkpq1pF1Hv7Xo5v9WqYiWqk/yffw=
@size 1265
@ts 1456328967
lib/coq/toplevel/coqtop.cmi
@sha I7CvcxHPDSayYkrcS0H0S2iRhu2rSsuKjffis/dHePY=
@size 363
@ts 1456328967
lib/coq/toplevel/discharge.cmi
@sha juJ4UgxBZofkUnHPI0cunmBB9D2QHaElBCLBSNAWxpY=
@size 1770
@ts 1456328967
lib/coq/toplevel/himsg.cmi
@sha VvK0spGIRVYxOJcV4Y/g7h+nPzEkBRQB/wJYAd9Acr8=
@size 4222
@ts 1456328967
lib/coq/toplevel/ide_intf.cmi
@sha BzB0949uQjeCedAC0o4e4i5QmTFv9zMzzuY10RrSqos=
@size 3183
@ts 1456328967
lib/coq/toplevel/ide_slave.cmi
@sha 2lf1xS3sqnWH6MgiUoGEB1PDQ2c4SRUDdkFylenmG3U=
@size 335
@ts 1456328967
lib/coq/toplevel/ind_tables.cmi
@sha Vkqnip6ASnQyTEjhBuhS3AXZ4CNlMhb6fv+UsTJmrc0=
@size 3289
@ts 1456328967
lib/coq/toplevel/indschemes.cmi
@sha 8Oyph3Lx4EgLI1U6DsKRYbWoaE51J94Jws200i9CmTg=
@size 3736
@ts 1456328967
lib/coq/toplevel/interface.cmi
@sha fovkbux31X/KYzWSvZV2VASP/fqSY3Ap1OuC5dhZGqc=
@size 5995
@ts 1456328968
lib/coq/toplevel/lemmas.cmi
@sha LArffU8ypHI8swICCDDZPZpOTTjYprG99key1rRUHN8=
@size 4814
@ts 1456328968
lib/coq/toplevel/libtypes.cmi
@sha 4pC8/hMSWz39cQTHvQ4xNiYXZMdqZcF7ZGlMJK/m378=
@size 2241
@ts 1456328968
lib/coq/toplevel/metasyntax.cmi
@sha IT/3HBZDg1vjlqBa+gBEAA3iuhPsLF+BlfJQyY+qc5Y=
@size 4774
@ts 1456328968
lib/coq/toplevel/mltop.cmi
@sha ob1aHeEVRxQMNvgkDAANu2gKjkpQcfhkComnW8NZgHk=
@size 4326
@ts 1456328968
lib/coq/toplevel/record.cmi
@sha zXUuyt+FQ8yU0OpDRktNjk4Z5ysk/ZowpOAmOGe1fr0=
@size 4220
@ts 1456328968
lib/coq/toplevel/search.cmi
@sha 4i5ag6X1rQw6piG3Z+8J1D8lMuI9zdRnEjaJn0HeYmc=
@size 5062
@ts 1456328968
lib/coq/toplevel/toplevel.cma
@sha S+7iKnt2hpXsgcABwFERNqvY8/wjHR89iB3WwjxH8kk=
@size 615828
@ts 1456328956
lib/coq/toplevel/toplevel.cmi
@sha Ztpf+25nqFH6zu/YM5e05vWGisDdQC9bX0hyBJjd0IM=
@size 3091
@ts 1456328968
lib/coq/toplevel/usage.cmi
@sha 5tLWzd2PWX8i5+jcppZ66Pe5p+QquX9l3+tHm1Bnqgc=
@size 548
@ts 1456328968
lib/coq/toplevel/vernac.cmi
@sha d+eWl7CmtK3kk/duNVqN4erzCu9/Jo7mnLIo7qiIpdU=
@size 3566
@ts 1456328968
lib/coq/toplevel/vernacentries.cmi
@sha nY8FXigYOUPoFpC7zOePysK51JvMsz0dX8tetCMAd4w=
@size 4512
@ts 1456328968
lib/coq/toplevel/vernacexpr.cmi
@sha a929W7GD29WGiIofNKwv7YxcdNCy9hmamG3Sa2H32o4=
@size 22890
@ts 1456328968
lib/coq/toplevel/vernacinterp.cmi
@sha jRp4+LFoK2DRNBv678D9QfAs0Qj6j8Jdsf49dPXlwZY=
@size 2689
@ts 1456328968
lib/coq/toplevel/whelp.cmi
@sha hic/DuY0L2xckMJIS8kHbXfHplvBEjl6htGBfPBwMbs=
@size 2089
@ts 1456328968
lib/coq/user-contrib/
@man man/man1/coq-tex.1
@sha 0/oJpmu5LqD/B6AU04wdfvapyK0kv55qWcD9f27PsI8=
@size 3075
@ts 1456328970
@man man/man1/coq_makefile.1
@sha vQcVsz4u4Q9aIaq4DImyeJQwvWyzsb8nj9dCVbNGHUA=
@size 466
@ts 1456328970
@man man/man1/coqc.1
@sha GsPJld9hzdOI8l8UoSCZgIMIkFs7GqwX/jgmWn1PYCs=
@size 955
@ts 1456328970
@man man/man1/coqchk.1
@sha symXQdmfra3UmYkjyq4llaRe+NL7EkWWRocPeVzOPN0=
@size 1872
@ts 1456328970
@man man/man1/coqdep.1
@sha qvzAFUi65X6GlZC66CmM1l/nJF2ne0FYpy8iJ79W8s0=
@size 3589
@ts 1456328970
@man man/man1/coqdoc.1
@sha psX+7fCrvf+aHAj6YK4Zo4AN3IfRlGvkO6f6o22S7lw=
@size 4564
@ts 1456328970
@man man/man1/coqide.1
@sha WvTud5NGNA8k5UZy1HX79L+/zOOwAIHWW0r3nQtb5CQ=
@size 2572
@ts 1456328970
@man man/man1/coqmktop.1
@sha 2rF7le7yM73vsYovacMd36DWfw+KXUqoGH4TLv6rsww=
@size 1083
@ts 1456328970
@man man/man1/coqtop.1
@sha e6vepkf3v9cIAc0gLu9PbgLgyvCCSy5MCJzQJPbKa4M=
@size 2813
@ts 1456328970
@man man/man1/coqtop.byte.1
@sha 23po7XZ8jhzOWSaTfvgl9jsDPDAdsCiu+wlt39LJolY=
@size 389
@ts 1456328970
@man man/man1/coqwc.1
@sha ktW8I2PH3Rfuh9MLG2tYxBiVg67t4dnxxJadtNIpfa8=
@size 592
@ts 1456328970
@man man/man1/gallina.1
@sha nf5TDIlhAsNJShu8b3obYuyXv0s/wamuS50xapxvdQk=
@size 1182
@ts 1456328970
share/coq/
share/coq/coq.png
@sha x2rM4xsiM+TDj14G+ao/rf5pLav0bx6cjv7djkNGD3A=
@size 6269
@ts 1456328971
share/doc/coq/
share/doc/coq/CHANGES
@sha AV5mQMMaLaGLf5gP8BvdEZkAiutqprvCOgp8q83nn8w=
@size 122544
@ts 1456328971
share/doc/coq/COMPATIBILITY
@sha UwRBljKex2pq/cp2AGq2zS5ZTnPK7xvWbPFJnL72kuQ=
@size 2156
@ts 1456328971
share/doc/coq/COPYRIGHT
@sha x7W0FrkJ41jLed+LEykdbKUraOYerKdEtG34xqBMUpg=
@size 662
@ts 1456328971
share/doc/coq/CREDITS
@sha Koa3XQ49kGr29Z2T/zH28C7VOEis217pDylDDv1K5YM=
@size 7027
@ts 1456328971
share/doc/coq/FAQ-CoqIde
@sha qC3GJ1EP6j9yQ0rCOlXDE31kBJpl4Mb/JgWPAQ8q8ho=
@size 3020
@ts 1456328971
share/doc/coq/LICENSE
@sha 1FlLgvTVCEDfan6dFBMqjAo8wF0KxG0VMQomSh91RH4=
@size 24381
@ts 1456328971
share/emacs/site-lisp/coq-db.el
@sha l1PpBefFJ6qlJ9jRMK/4aJVo4IaWlmnTNdFET31f0SU=
@size 8673
@ts 1456328970
share/emacs/site-lisp/coq-font-lock.el
@sha a8jHVBDMOrL5vfplNyIeQSabyeYLwgn+vz+Wnvxm3hc=
@size 4902
@ts 1456328970
share/emacs/site-lisp/coq-inferior.el
@sha wHN4J+HMl5Zi8MLD4c9/fQ2SJ8kqqgIwqFT271hLd+s=
@size 11606
@ts 1456328970
share/emacs/site-lisp/coq-syntax.el
@sha p4m8CkoqpEQR/Sd9XfGTbnfcknOxzYCSGe2hXMTZchA=
@size 44698
@ts 1456328970
share/emacs/site-lisp/coq.el
@sha lmomZYu2zY8OGxSJLxdzH2mFtrouAza2G9Ui3UEcTac=
@size 4804
@ts 1456328970
share/emacs/site-lisp/coqdoc.sty
@sha Ib0mX5r/BDes6TO5Cv+WPuqsHDhgI7Ddbfa2lwVFEG8=
@size 5493
@ts 1456328970
share/examples/coq/
@sample /etc/xdg/
@sample /etc/xdg/coq/
share/examples/coq/coqide-gtk2rc
@sha hYoy7XKB6ASU47C0byg42UlJlmm7Xfzm8jbyCiZXq1A=
@size 903
@ts 1456328971
@sample /etc/xdg/coq/coqide-gtk2rc
