« Up

serapi dev 2 m 0 s 🏆

Context

# Packages matching: installed
# Name                # Installed # Synopsis
base-bigarray         base
base-domains          base
base-nnp              base        Naked pointers prohibited in the OCaml heap
base-threads          base
base-unix             base
conf-gmp              4           Virtual package relying on a GMP lib system installation
coq                   dev         The Coq Proof Assistant
coq-core              dev         The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib            dev         The Coq Proof Assistant -- Standard Library
coqide-server         dev         The Coq Proof Assistant, XML protocol server
dune                  3.12.2      Fast, portable, and opinionated build system
ocaml                 5.0.0       The OCaml compiler (virtual package)
ocaml-base-compiler   5.0.0       Official release 5.0.0
ocaml-config          3           OCaml Switch Configuration
ocaml-options-vanilla 1           Ensure that OCaml is compiled with no special options enabled
ocamlfind             1.9.6       A library manager for OCaml
zarith                1.13        Implements arithmetic and logical operations over arbitrary-precision integers
# opam file:
opam-version: "2.0"
maintainer:   "e@x80.org"
homepage:     "https://github.com/ejgallego/coq-serapi"
bug-reports:  "https://github.com/ejgallego/coq-serapi/issues"
dev-repo:     "git+https://github.com/ejgallego/coq-serapi.git"
license:      "GPL-3.0-or-later"
doc:          "https://ejgallego.github.io/coq-serapi/"
synopsis:     "Serialization library and protocol for machine interaction with the Coq proof assistant"
description:  """
SerAPI is a library for machine-to-machine interaction with the
Coq proof assistant, with particular emphasis on applications in IDEs,
code analysis tools, and machine learning. SerAPI provides automatic
serialization of Coq's internal OCaml datatypes from/to JSON or
S-expressions (sexps).
"""
authors: [
  "Emilio Jesús Gallego Arias"
  "Karl Palmskog"
  "Clément Pit-Claudel"
  "Kaiyu Yang"
]
depends: [
  "ocaml"               {           >= "4.09.0"              }
  "coq"                 {           >= "dev"                 }
  "cmdliner"            {           >= "1.1.0"               }
  "ocamlfind"           {           >= "1.8.0"               }
  "sexplib"             {           >= "v0.13.0"             }
  "dune"                {           >= "2.0.1"               }
  "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }
  "ppx_deriving"        {           >= "4.2.1"               }
  "ppx_sexp_conv"       {           >= "v0.13.0"             }
  "ppx_compare"         {           >= "v0.13.0"             }
  "ppx_hash"            {           >= "v0.13.0"             }
  "yojson"              {           >= "1.7.0"               }
  "ppx_deriving_yojson" {           >= "3.4"                 }
]
conflicts: [
  "result" {< "1.5"}
]
build: [ "dune" "build" "-p" name "-j" jobs ]
url {
  src: "git+https://github.com/ejgallego/coq-serapi.git#main"
}

Lint

Command
true
Return code
0

Dry install 🏜️

Dry install with the current Coq version:

Command
opam install -y --show-action coq-serapi.dev coq.dev
Return code
0

Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:

Command
true
Return code
0

Install dependencies

Command
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-serapi.dev coq.dev
Return code
0
Duration
2 m 0 s

Install 🚀

Command
opam list; echo; timeout 4h opam install -y coq-serapi.dev coq.dev
Return code
0
Duration
2 m 0 s

Installation size

Total: 276 M

  • 45 M ../ocaml-base-compiler.5.0.0/bin/sername
  • 45 M ../ocaml-base-compiler.5.0.0/bin/sercomp
  • 45 M ../ocaml-base-compiler.5.0.0/bin/sertok
  • 45 M ../ocaml-base-compiler.5.0.0/bin/sertop
  • 13 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib.cma
  • 9 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib.a
  • 8 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib.cmxs
  • 6 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vernacexpr.cmt
  • 4 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacexpr.cmt
  • 3 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_declarations.cmt
  • 3 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_constrexpr.cmt
  • 2 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr__Ser_ssrast.cmt
  • 2 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2__Ser_tac2expr.cmt
  • 2 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac.cma
  • 2 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_glob_term.cmt
  • 1 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr.cma
  • 1 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac.a
  • 1 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac.cmxs
  • 1 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_constr.cmt
  • 1 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2.cma
  • 1 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacarg.cmt
  • 1 M ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr.a
  • 981 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_ser.cmt
  • 966 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr__Ser_ssrparser.cmt
  • 932 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr.cmxs
  • 920 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_names.cmt
  • 828 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2.a
  • 760 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_genredexpr.cmt
  • 752 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib.cmxa
  • 737 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2.cmxs
  • 642 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_pattern.cmt
  • 585 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop.cma
  • 507 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vernacextend.cmt
  • 444 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop.cmxs
  • 435 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tactypes.cmt
  • 433 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_evar_kinds.cmt
  • 419 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop.a
  • 376 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_type_errors.cmt
  • 345 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_extend.cmt
  • 333 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_protocol.cmt
  • 330 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_genarg.cmt
  • 326 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ring/serlib_ring__Ser_g_ring.cmt
  • 325 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_locus.cmt
  • 313 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_sorts.cmt
  • 292 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_pretype_errors.cmt
  • 283 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_univ.cmt
  • 280 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_context.cmt
  • 265 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_environ.cmt
  • 254 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2__Ser_tac2env.cmt
  • 249 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_entries.cmt
  • 241 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cPrimitives.cmt
  • 240 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi.cma
  • 232 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_rewrite.cmt
  • 230 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_hints.cmt
  • 227 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/funind/serlib_funind__Ser_g_indfun.cmt
  • 225 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssrmatching/serlib_ssrmatching__Ser_ssrmatching.cmt
  • 225 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uvars.cmt
  • 223 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vernacexpr.cmti
  • 221 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi.cmxs
  • 218 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin__Ser_g_number_syntax.cmt
  • 215 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vmvalues.cmt
  • 214 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vmemitcodes.cmt
  • 206 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_feedback.cmt
  • 203 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi.a
  • 201 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_safe_typing.cmt
  • 196 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_pp.cmt
  • 178 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_names.cmti
  • 175 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cooking.cmt
  • 174 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_genintern.cmt
  • 173 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_decls.cmt
  • 164 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_constrexpr.cmti
  • 162 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_numTok.cmt
  • 150 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_loc.cmt
  • 149 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_goptions.cmt
  • 146 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_opaqueproof.cmt
  • 143 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_attributes.cmt
  • 143 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_ppextend.cmt
  • 142 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_libobject.cmt
  • 141 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.cma
  • 140 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_impargs.cmt
  • 138 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacexpr.cmti
  • 135 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notation_term.cmt
  • 128 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__SerType.cmt
  • 126 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ring/serlib_ring.cma
  • 122 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_nativevalues.cmt
  • 121 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tok.cmt
  • 121 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.cmxs
  • 118 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr__Ser_ssrequality.cmt
  • 118 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uState.cmt
  • 113 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_libnames.cmt
  • 113 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_sexp.cmt
  • 112 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tactics.cmt
  • 112 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_declarations.cmti
  • 110 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_protocol.cmti
  • 109 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vmbytecodes.cmt
  • 107 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin__Ser_number.cmt
  • 106 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_declaremods.cmt
  • 105 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_util.cmt
  • 101 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_rtree.cmt
  • 101 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.a
  • 98 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.cma
  • 98 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_arg.cmt
  • 96 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.cmxs
  • 93 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_constr.cmti
  • 93 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_ltac_pretype.cmt
  • 92 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/funind/serlib_funind.cmxs
  • 91 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_goal_select.cmt
  • 89 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ring/serlib_ring.cmxs
  • 89 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/funind/serlib_funind.cma
  • 87 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_genarg.cmti
  • 86 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_sList.cmt
  • 86 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_lib.cmt
  • 83 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2__Ser_g_ltac2.cmt
  • 81 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_declarations.cmx
  • 81 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_glob_term.cmti
  • 81 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacentries.cmt
  • 81 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ring/serlib_ring.a
  • 79 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.a
  • 78 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_dAst.cmt
  • 77 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cMap.cmt
  • 76 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_geninterp.cmt
  • 75 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr__Ser_ssrast.cmi
  • 74 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_context.cmti
  • 74 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_genredexpr.cmti
  • 74 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/firstorder/serlib_firstorder__Ser_g_ground.cmt
  • 73 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stdarg.cmt
  • 73 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notation_gram.cmt
  • 73 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__SerType.cmti
  • 72 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/funind/serlib_funind.a
  • 71 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_evar.cmt
  • 71 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/dune-package
  • 69 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vernacexpr.cmx
  • 69 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr__Wrap_ssrast.cmt
  • 69 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_proof_bullet.cmt
  • 68 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacarg.cmx
  • 68 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_locus.cmti
  • 68 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_univNames.cmt
  • 67 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_names.cmi
  • 67 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notationextern.cmt
  • 67 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_equality.cmt
  • 66 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_xml_datatype.cmt
  • 64 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_coqargs.cmt
  • 64 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_namegen.cmt
  • 62 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop.cmxa
  • 62 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tacred.cmt
  • 62 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cAst.cmt
  • 61 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_util.cmt
  • 61 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2__Ser_tac2expr.cmi
  • 61 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac.cmxa
  • 61 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vernacexpr.cmi
  • 60 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_hints.cmti
  • 59 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_conv_oracle.cmt
  • 59 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr__Ser_ssrparser.cmi
  • 57 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_printer.cmt
  • 56 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notation.cmt
  • 55 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cEphemeron.cmt
  • 54 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cSet.cmt
  • 54 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_typeclasses.cmt
  • 54 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_pp.cmt
  • 54 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uGraph.cmt
  • 54 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_eConstr.cmt
  • 53 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr__Ser_ssrast.cmx
  • 52 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_goals.cmt
  • 51 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib.cmt
  • 47 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr__Ser_ssrparser.cmx
  • 47 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_assumptions.cmt
  • 47 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stm.cmt
  • 47 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_profile_ltac.cmt
  • 46 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_constrexpr.cmx
  • 45 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_sorts.cmti
  • 45 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_rewrite.cmti
  • 43 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_loadpath.cmt
  • 43 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_evd.cmt
  • 43 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2__Ser_tac2expr.cmx
  • 43 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_genintern.cmti
  • 42 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/firstorder/serlib_firstorder.cmxs
  • 42 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notation_term.cmti
  • 42 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_extend.cmti
  • 42 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr.cmxa
  • 41 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacexpr.cmx
  • 41 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cMap.cmti
  • 41 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_goptions.cmti
  • 40 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_globnames.cmt
  • 40 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Comp_common.cmt
  • 40 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacenv.cmt
  • 40 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_gramlib.cmt
  • 40 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_constrexpr.cmi
  • 39 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stdlib.cmt
  • 39 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sercomp_stats.cmt
  • 39 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_init.cmt
  • 38 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi_protocol.ml
  • 38 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_mod_subst.cmt
  • 37 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/ser_tacexpr.ml
  • 37 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tactics.cmti
  • 37 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_impargs.cmti
  • 37 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_deprecation.cmt
  • 37 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vmvalues.cmti
  • 37 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_inv.cmt
  • 37 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_eConstr.cmti
  • 36 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uvars.cmti
  • 36 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_float64.cmt
  • 36 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_arg.cmti
  • 36 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_evar_kinds.cmti
  • 36 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacentries.cmti
  • 36 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_univ.cmti
  • 34 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_ser.cmti
  • 34 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notationextern.cmti
  • 33 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacexpr.cmi
  • 33 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cSet.cmti
  • 33 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_declaremods.cmti
  • 33 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uint63.cmt
  • 32 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_glob_term.cmx
  • 32 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_constr.cmx
  • 32 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_pattern.cmti
  • 31 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_class_tactics.cmt
  • 31 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_util.cmti
  • 31 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_loader.cmt
  • 31 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_geninterp.cmti
  • 30 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cUnix.cmt
  • 30 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/firstorder/serlib_firstorder.cma
  • 30 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_sexp.cmti
  • 30 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_ltac_pretype.cmti
  • 29 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi.cmxa
  • 29 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2.cmxa
  • 29 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Serlib_base.cmt
  • 28 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_safe_typing.cmti
  • 28 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_loc.cmti
  • 28 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_names.cmx
  • 28 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_mod_subst.cmti
  • 28 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_opaqueproof.cmti
  • 28 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ring/serlib_ring__Ser_g_ring.cmi
  • 28 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stateid.cmt
  • 27 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_typeclasses.cmti
  • 27 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_declarations.cmi
  • 27 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_nametab.cmt
  • 27 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_conv_oracle.cmti
  • 27 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_libnames.cmti
  • 27 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_genredexpr.cmx
  • 26 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notation.cmti
  • 26 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2__Ser_tac2env.cmi
  • 26 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tactypes.cmi
  • 26 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_goals.cmti
  • 26 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_util.cmti
  • 26 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacarg.cmti
  • 26 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_init.cmti
  • 26 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_class_tactics.cmti
  • 25 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_inv.cmti
  • 25 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi_protocol.mli
  • 25 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin__Ser_g_number_syntax.cmi
  • 25 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_feedback.cmti
  • 25 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/funind/serlib_funind__Ser_g_indfun.cmi
  • 24 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_genarg.cmx
  • 24 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_ser.cmx
  • 24 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stm.cmti
  • 23 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_int.cmt
  • 23 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Serlib_base.cmti
  • 23 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vmemitcodes.cmti
  • 23 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_pretype_errors.cmti
  • 23 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/firstorder/serlib_firstorder.a
  • 23 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_type_errors.cmti
  • 23 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cAst.cmti
  • 23 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_constr.cmi
  • 22 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cooking.cmti
  • 22 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_protocol.cmi
  • 22 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr__Wrap_ssrast.cmi
  • 22 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_dAst.cmti
  • 22 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Comp_common.cmti
  • 22 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_doc.cmt
  • 21 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_retroknowledge.cmt
  • 21 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_paths.cmt
  • 21 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/funind/serlib_funind__Ser_g_indfun.cmx
  • 21 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_ppextend.cmti
  • 21 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vernacextend.cmx
  • 21 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.cmxa
  • 21 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_evar.cmti
  • 21 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_glob_term.cmi
  • 21 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_genarg.cmi
  • 20 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_int.cmti
  • 20 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stateid.cmti
  • 20 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2__Ser_tac2env.cmx
  • 20 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_environ.cmti
  • 20 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stdarg.cmx
  • 20 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_range.cmt
  • 20 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacenv.cmti
  • 20 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_reduction.cmt
  • 20 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_safe_typing.cmx
  • 20 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_environ.cmx
  • 20 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_profile_ltac.cmti
  • 19 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_summary.cmt
  • 19 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_evd.cmti
  • 19 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_genredexpr.cmi
  • 19 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notation_gram.cmti
  • 19 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_doc.cmti
  • 18 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_entries.cmi
  • 18 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_constr_matching.cmt
  • 18 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__SerType.cmi
  • 18 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_xml_datatype.cmti
  • 18 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/extraction/serlib_extraction.cmxs
  • 18 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_context.cmi
  • 17 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_assumptions.cmti
  • 17 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_constr_matching.cmti
  • 17 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tactypes.cmx
  • 17 K ../ocaml-base-compiler.5.0.0/doc/coq-serapi/CHANGES.md
  • 17 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin__Ser_g_number_syntax.cmx
  • 17 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_locus.cmi
  • 17 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sercomp_stats.cmti
  • 17 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_loader.cmti
  • 16 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2__Ser_g_ltac2.cmi
  • 16 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uGraph.cmti
  • 16 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_sorts.cmx
  • 16 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_pp.cmti
  • 16 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Serlib_init.cmt
  • 16 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssrmatching/serlib_ssrmatching__Ser_ssrmatching.cmi
  • 16 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_hints.cmi
  • 16 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/micromega/serlib_micromega.cmxs
  • 16 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/ser_tacarg.ml
  • 16 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/tauto/serlib_tauto.cmxs
  • 16 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/zify/serlib_zify.cmxs
  • 16 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/cc/serlib_cc.cmxs
  • 16 K ../ocaml-base-compiler.5.0.0/doc/coq-serapi/README.md
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ring/serlib_ring__Ser_g_ring.cmx
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_protocol.cmx
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cMap.cmi
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_numTok.cmi
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_retroknowledge.cmti
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notation_term.cmx
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_univ.cmx
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tok.cmti
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cPrimitives.cmi
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_reduction.cmti
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vernacextend.cmi
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr__Ser_ssrequality.cmi
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vmemitcodes.cmx
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_locus.cmx
  • 15 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssrmatching/serlib_ssrmatching__Ser_ssrmatching.cmx
  • 14 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_hints.cmx
  • 14 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uvars.cmx
  • 14 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_attributes.cmi
  • 14 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_genintern.cmx
  • 14 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_libobject.cmi
  • 14 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_pattern.cmx
  • 14 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2__Ser_g_ltac2.cmx
  • 14 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__SerType.cmx
  • 14 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_genarg.ml
  • 14 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_impargs.cmx
  • 14 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cooking.cmx
  • 13 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_genintern.cmi
  • 13 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr__Ser_ssrequality.cmx
  • 13 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_evar_kinds.cmx
  • 13 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin__Ser_number.cmi
  • 13 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_numTok.cmx
  • 13 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_opaqueproof.cmx
  • 13 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_attributes.cmx
  • 13 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_sorts.cmi
  • 13 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_extend.cmi
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_rewrite.cmx
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vmvalues.cmx
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_geninterp.cmx
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_extend.cmx
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_libnames.cmx
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_entries.cmx
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uState.cmi
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/firstorder/serlib_firstorder__Ser_g_ground.cmx
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/firstorder/serlib_firstorder__Ser_g_ground.cmi
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_goptions.cmx
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacentries.cmx
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notation_term.cmi
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/ser_ssrparser.ml
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_nativevalues.cmi
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_rewrite.cmi
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin__Ser_number.cmx
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_eConstr.cmx
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_nametab.cmti
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tactics.cmx
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_goptions.cmi
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/funind/serlib_funind.cmxa
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cSet.cmi
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_impargs.cmi
  • 12 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_libobject.cmx
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_decls.cmi
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_arg.cmi
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacentries.cmi
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vmbytecodes.cmi
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stm.cmx
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_ltac_pretype.cmx
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vmbytecodes.cmx
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tactics.cmi
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uvars.cmi
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_univ.cmi
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_ser.cmi
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_pretype_errors.cmx
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notationextern.cmx
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_eConstr.cmi
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notationextern.cmi
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_nativevalues.cmx
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_declaremods.cmx
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib.cmi
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_equality.cmi
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_vernacexpr.ml
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_ppextend.cmx
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_vernacexpr.mli
  • 11 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacenv.cmx
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_lib.cmi
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_pp.cmti
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vmvalues.cmi
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ring/serlib_ring.cmxa
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notation_gram.cmx
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_type_errors.cmx
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tacred.cmi
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cPrimitives.cmx
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_conv_oracle.cmx
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_equality.cmx
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_goal_select.cmi
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_declaremods.cmi
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_coqargs.cmi
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_namegen.cmi
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_sexp.cmx
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_printer.cmi
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_evar_kinds.cmi
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_feedback.cmx
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uState.cmx
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_proof_bullet.cmi
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_ltac_pretype.cmi
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacarg.cmi
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop_sexp.ml
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notation.cmx
  • 10 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_context.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_evd.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cEphemeron.cmi
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_rtree.cmi
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tacred.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_sList.cmi
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_pattern.cmi
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_util.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.cmxa
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/firstorder/serlib_firstorder.cmxa
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_loc.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_paths.cmti
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_future.cmt
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_evar.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_mod_subst.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_geninterp.cmi
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_sexp.cmi
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_univNames.cmi
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_goal_select.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_safe_typing.cmi
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_decls.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_typeclasses.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_printer.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_proof_bullet.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_namegen.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_coqargs.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_util.cmi
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop_ser.ml
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/ser_tacexpr.mli
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_univNames.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notation.cmi
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_constr_matching.cmx
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_stdarg.ml
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_typeclasses.cmi
  • 9 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_inv.cmx
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stdlib.cmi
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib.ml
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_lib.cmx
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_class_tactics.cmi
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stateid.cmx
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_float64.cmx
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_class_tactics.cmx
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_constr.ml
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_float64.cmi
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_arg.cmx
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uGraph.cmx
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_inv.cmi
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_sList.cmx
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stdlib.cmx
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_rtree.cmx
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_globnames.cmi
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_util.cmi
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stm.cmi
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_goals.cmi
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_mod_subst.cmi
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/META
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_opaqueproof.cmi
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop_arg.ml
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cAst.cmx
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2__Ser_tac2quote.cmt
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_retroknowledge.cmx
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop_util.ml
  • 8 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_loadpath.cmi
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_globnames.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uint63.cmi
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Serlib_init.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_goals.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_nametab.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cUnix.cmi
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cUnix.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_init.cmi
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_conv_oracle.cmi
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_loc.cmi
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_libnames.cmi
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_loadpath.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uint63.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_util.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_names.ml
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cEphemeron.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_dAst.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_profile_ltac.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Serlib_base.cmi
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tok.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Serlib_init.cmti
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Serlib_base.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_int.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_vmemitcodes.cmi
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Comp_common.cmi
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_evar.cmi
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_proof.cmti
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_universes.cmt
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cMap.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cSet.cmx
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cooking.cmi
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stdarg.cmti
  • 7 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_init.cmx
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_dAst.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_flags.cmti
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/extraction/serlib_extraction__Ser_g_extraction.cmt
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_locality.cmt
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_summary.cmx
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_proof.cmt
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_gramlib.cmx
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_range.cmx
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/extraction/serlib_extraction.a
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Comp_common.cmx
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_pretype_errors.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_cAst.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_tacenv.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_constrexpr.ml
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_summary.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_doc.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_flags.cmt
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac__Ser_profile_ltac.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_gramlib.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_range.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_doc.cmx
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sercomp_stats.ml
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop.cmt
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/ser_ssrast.ml
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Ser_stream.cmt
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop_init.ml
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Ser_version.cmt
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_ppextend.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stateid.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_int.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_declarations.ml
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr__Wrap_ssrast.cmx
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_type_errors.cmi
  • 6 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_feedback.cmi
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serType.ml
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_notation_gram.cmi
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/ser_tac2expr.ml
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_evd.cmi
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_constr_matching.cmi
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_glob_term.ml
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi.cmt
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_loader.cmx
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac.cmt
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_environ.cmi
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_assumptions.cmi
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sertop_loader.cmi
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/extraction/serlib_extraction.cma
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sercomp_stats.cmi
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_constrexpr.mli
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Sercomp_stats.cmx
  • 5 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_pp.cmx
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi_goals.ml
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_constr.mli
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_reduction.cmx
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2.cmt
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr.cmt
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_reduction.cmi
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_xml_datatype.cmi
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi_pp.ml
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_deprecation.cmi
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_assumptions.cmx
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_retroknowledge.cmi
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_uGraph.cmi
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi_assumptions.ml
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_declarations.mli
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.cmt
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_entries.ml
  • 4 K ../ocaml-base-compiler.5.0.0/share/emacs/site-lisp/sertop.el
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_pp.cmi
  • 4 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_xml_datatype.cmx
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_genredexpr.ml
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_names.mli
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_deprecation.cmx
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_tok.cmi
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_genarg.mli
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/comp_common.ml
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop_loader.ml
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi_paths.ml
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop_sexp.mli
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_uvars.ml
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_locus.mli
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/funind/ser_g_indfun.ml
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_glob_term.mli
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_univ.ml
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.cmt
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/extraction/serlib_extraction.cmt
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_safe_typing.ml
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/firstorder/serlib_firstorder.cmt
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/funind/serlib_funind.cmt
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_environ.ml
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ring/serlib_ring.cmt
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop_ser.mli
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_libnames.ml
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_dAst.ml
  • 3 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib.cmx
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop_arg.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serType.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_pp.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_pretype_errors.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop_init.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_locus.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_sorts.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_cPrimitives.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_vmemitcodes.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_geninterp.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/ser_tac2env.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_tactypes.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ring/ser_g_ring.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/ser_g_number_syntax.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_feedback.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/micromega/serlib_micromega.cmt
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi_doc.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_nametab.cmi
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_libobject.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_context.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_vmvalues.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/tauto/serlib_tauto.cmt
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/zify/serlib_zify.cmt
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/micromega/serlib_micromega.a
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/cc/serlib_cc.cmt
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi_goals.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_extend.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_cooking.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_context.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_pattern.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_impargs.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_impargs.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_evar_kinds.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_genredexpr.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_notation_term.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/tauto/serlib_tauto.a
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_genintern.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/zify/serlib_zify.a
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/cc/serlib_cc.a
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/opam
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_type_errors.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/micromega/serlib_micromega.cma
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_extend.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/tauto/serlib_tauto.cma
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/zify/serlib_zify.cma
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_numTok.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/cc/serlib_cc.cma
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_type_errors.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib_base.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_cAst.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_opaqueproof.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_notation_gram.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_pretype_errors.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_hints.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_nativevalues.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_goptions.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_notation_gram.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_evar.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/ser_rewrite.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_environ.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_cMap.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_pp.cmx
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_univ.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_goptions.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_uGraph.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_cSet.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_ppextend.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssrmatching/ser_ssrmatching.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_uint63.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_ppextend.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/ser_profile_ltac.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_eConstr.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_genintern.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_declaremods.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi_assumptions.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_loc.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_paths.cmx
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/comp_common.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/ser_ssrequality.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_uvars.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop_util.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_sorts.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_eConstr.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib_base.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_vmbytecodes.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_paths.cmi
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_stdlib.ml
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_evar_kinds.mli
  • 2 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Serapi_pp.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_xml_datatype.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_evd.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_ltac_pretype.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_feedback.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi_pp.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_hints.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_tok.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_safe_typing.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_retroknowledge.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi_doc.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_vmemitcodes.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_goal_select.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_attributes.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_evd.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_cMap.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi_paths.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/ser_tacenv.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_float64.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_tacred.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_rtree.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_cSet.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_mod_subst.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_vmvalues.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/ser_tacentries.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_tactics.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_stm.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_loc.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_notation_term.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_ltac_pretype.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_pp.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_decls.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sercomp_stats.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_uGraph.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_mod_subst.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_lib.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_sList.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_conv_oracle.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_stm.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_pattern.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop_loader.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_typeclasses.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/ser_rewrite.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_declaremods.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_univNames.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_notationextern.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/ser_tacenv.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_proof_bullet.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_printer.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_cooking.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_retroknowledge.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_uState.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_cEphemeron.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_loadpath.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_tactics.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_typeclasses.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_notation.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_deprecation.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_int.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_notationextern.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_util.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_stateid.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/ser_tacentries.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_tok.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_globnames.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_reduction.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_evar.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_constr_matching.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_future.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_cUnix.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_proof.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_geninterp.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_namegen.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_util.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_xml_datatype.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/ser_profile_ltac.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_opaqueproof.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_universes.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_range.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_reduction.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_libnames.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_conv_oracle.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/ser_tacarg.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_cAst.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_int.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_gramlib.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/firstorder/ser_g_ground.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_proof.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_constr_matching.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_future.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_nametab.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_class_tactics.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_inv.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_class_tactics.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_notation.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_inv.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_nametab.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_stateid.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_stdarg.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/ser_g_ltac2.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_locality.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_flags.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_flags.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/wrap_ssrast.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_vernacextend.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_coqargs.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/ser_tac2quote.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/doc/coq-serapi/LICENSE
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Ser_stream.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Serlib_init.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi__Ser_stream.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/ser_number.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/extraction/serlib_extraction__Ser_g_extraction.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2__Ser_tac2quote.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/extraction/serlib_extraction.cmxa
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Ser_version.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/extraction/serlib_extraction__Ser_g_extraction.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib_init.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/extraction/serlib_extraction.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/firstorder/serlib_firstorder.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2__Ser_tac2quote.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac/serlib_ltac.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/funind/serlib_funind.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/serapi.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ring/serlib_ring.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/number_string_notation/serlib_number_string_notation_plugin.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_universes.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/sertop__Ser_version.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_locality.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_stdarg.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_proof.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_flags.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_summary.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ltac2/serlib_ltac2.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssreflect/serlib_ssr.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_universes.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_locality.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_proof.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib__Ser_flags.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_equality.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/extraction/serlib_extraction.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_future.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/firstorder/serlib_firstorder.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/serlib_init.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/extraction/serlib_extraction.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ssrmatching/serlib_ssrmatching.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/funind/serlib_funind.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/micromega/serlib_micromega.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ring/serlib_ring.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/firstorder/serlib_firstorder.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/tauto/serlib_tauto.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/zify/serlib_zify.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/funind/serlib_funind.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/cc/serlib_cc.cmi
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/micromega/serlib_micromega.cmxa
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ring/serlib_ring.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/tauto/serlib_tauto.cmxa
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/zify/serlib_zify.cmxa
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/micromega/serlib_micromega.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/cc/serlib_cc.cmxa
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/tauto/serlib_tauto.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serapi_v8_14/ser_stream.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/zify/serlib_zify.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/cc/serlib_cc.cmx
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/ser_dAst.mli
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/extraction/ser_g_extraction.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/sertop_v8_12/ser_version.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/zify/serlib_zify.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/tauto/serlib_tauto.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/micromega/serlib_micromega.ml
  • 1 K ../ocaml-base-compiler.5.0.0/lib/coq-serapi/serlib/cc/serlib_cc.ml

Uninstall 🧹

Command
opam remove -y coq-serapi.dev
Return code
0
Missing removes
none
Wrong removes
none

Sources are on GitHub © Guillaume Claret 🐣