Complete log of that session: $ opam install coq-serapi
The following actions will be performed:
⊘ remove patdiff v0.12.1 [uses expect_test_helpers]
↗ upgrade ocaml-migrate-parsetree 1.5.0 to 1.8.0 [required by ppxlib]
⊘ remove core_bench v0.12.0 [conflicts with ppx_jane]
↗ upgrade sexplib0 v0.12.0 to v0.14.0 [required by ppx_sexp_conv]
⊘ remove shell v0.12.0 [uses core_kernel]
⊘ remove patience_diff v0.12.0 [uses core_kernel]
⊘ remove expect_test_helpers v0.12.0 [uses async]
⊘ remove core_extended v0.12.0 [uses core_kernel]
↗ upgrade ppxfind 1.3 to 1.4 [uses ocaml-migrate-parsetree]
↻ recompile ppx_tools_versioned 5.3.0 [uses ocaml-migrate-parsetree]
↻ recompile js_of_ocaml-compiler 3.7.1 [uses ocaml-migrate-parsetree]
↗ upgrade ppxlib 0.8.1 to 0.15.0 [required by ppx_sexp_conv]
⊘ remove re2 v0.12.1 [uses core_kernel]
⊘ remove expect_test_helpers_kernel v0.12.0 [uses core_kernel]
⊘ remove async v0.12.0 [uses core_kernel]
↻ recompile ppx_deriving 4.4.1 [uses ocaml-migrate-parsetree]
↻ recompile bisect_ppx dev [uses ocaml-migrate-parsetree]
↻ recompile js_of_ocaml 3.7.1 [uses ocaml-migrate-parsetree]
↗ upgrade ppx_pipebang v0.12.0 to v0.14.0 [required by ppx_jane]
↻ recompile ppx_import 1.7.1 [uses ppxlib]
⊘ remove textutils v0.12.0 [conflicts with ppx_jane]
⊘ remove async_extra v0.12.0 [conflicts with ppx_jane]
↻ recompile ppx_deriving_yojson 3.5.2 [uses ppx_deriving]
↻ recompile js_of_ocaml-ppx 3.7.1 [uses ocaml-migrate-parsetree]
⊘ remove async_unix v0.12.0 [uses core_kernel]
⊘ remove async_rpc_kernel v0.12.0 [uses core_kernel]
⊘ remove core v0.12.4 [uses core_kernel]
⊘ remove protocol_version_header v0.12.0 [uses core_kernel]
⊘ remove async_kernel v0.12.0 [uses core_kernel]
⊘ remove core_kernel v0.12.3 [conflicts with ppx_sexp_conv]
↗ upgrade jane-street-headers v0.12.0 to v0.14.0 [upstream changes]
↗ upgrade base v0.12.2 to v0.14.0 [required by ppx_sexp_conv]
∗ install ppx_fixed_literal v0.14.0 [required by ppx_jane]
∗ install ppx_cold v0.14.0 [required by ppx_base]
↗ upgrade variantslib v0.12.0 to v0.14.0 [upstream changes]
↗ upgrade typerep v0.12.0 to v0.14.0 [upstream changes]
↗ upgrade stdio v0.12.0 to v0.14.0 [upstream changes]
↗ upgrade ppx_stable v0.12.0 to v0.14.1 [required by ppx_jane]
↗ upgrade ppx_sexp_conv v0.12.0 to v0.14.1 [required by coq-serapi]
↗ upgrade ppx_optional v0.12.0 to v0.14.0 [required by ppx_jane]
↗ upgrade ppx_let v0.12.0 to v0.14.0 [required by ppx_jane]
↗ upgrade ppx_js_style v0.12.0 to v0.14.1 [uses base]
↗ upgrade ppx_here v0.12.0 to v0.14.0 [required by ppx_jane]
↗ upgrade ppx_enumerate v0.12.0 to v0.14.0 [uses base]
↗ upgrade ppx_compare v0.12.0 to v0.14.0 [uses base]
↗ upgrade parsexp v0.12.0 to v0.14.1 [uses base]
↗ upgrade fieldslib v0.12.0 to v0.14.0 [upstream changes]
↗ upgrade ppx_variants_conv v0.12.0 to v0.14.1 [required by ppx_jane]
↗ upgrade ppx_typerep_conv v0.12.0 to v0.14.1 [required by ppx_jane]
↗ upgrade ppx_optcomp v0.12.0 to v0.14.0 [required by ppx_jane]
↗ upgrade ppx_custom_printf v0.12.1 to v0.14.0 [uses ppx_sexp_conv]
↗ upgrade ppx_sexp_value v0.12.0 to v0.14.0 [uses ppx_sexp_conv]
↗ upgrade ppx_sexp_message v0.12.0 to v0.14.0 [uses ppx_sexp_conv]
↗ upgrade ppx_fail v0.12.0 to v0.14.0 [uses base]
↗ upgrade ppx_hash v0.12.0 to v0.14.0 [uses ppx_sexp_conv]
↗ upgrade ppx_assert v0.12.0 to v0.14.0 [uses ppx_sexp_conv]
↗ upgrade sexplib v0.12.0 to v0.14.0 [required by coq-serapi]
↗ upgrade ppx_fields_conv v0.12.0 to v0.14.1 [required by ppx_jane]
↗ upgrade ppx_base v0.12.0 to v0.14.0 [uses ppx_sexp_conv]
↗ upgrade jst-config v0.12.0 to v0.14.0 [upstream changes]
∗ install coq-serapi 8.13.0+0.13.0
↻ recompile ppx_cstruct 5.1.1 [uses ocaml-migrate-parsetree]
↗ upgrade bin_prot v0.12.0 to v0.14.0 [uses ppx_sexp_conv]
∗ install ppx_string v0.14.1 [required by ppx_jane]
↗ upgrade sexp_pretty v0.12.0 to v0.14.0 [upstream changes]
↗ upgrade time_now v0.12.0 to v0.14.0 [upstream changes]
↻ recompile pcap-format 0.5.2 [uses ppx_cstruct]
↗ upgrade ppx_bin_prot v0.12.1 to v0.14.0 [required by ppx_jane]
↗ upgrade ppx_module_timer v0.12.0 to v0.14.0 [required by ppx_jane]
↗ upgrade ppx_inline_test v0.12.0 to v0.14.1 [upstream changes]
↗ upgrade ppx_expect v0.12.0 to v0.14.0 [required by ppx_jane]
↗ upgrade ppx_bench v0.12.0 to v0.14.1 [required by ppx_jane]
↗ upgrade splittable_random v0.12.0 to v0.14.0 [upstream changes]
↗ upgrade base_quickcheck v0.12.1 to v0.14.0 [upstream changes]
↗ upgrade ppx_jane v0.12.0 to v0.14.0 [upstream changes]
↗ upgrade base_bigstring v0.12.0 to v0.14.0 [upstream changes]
===== ∗ 4 ↻ 10 ↗ 45 ⊘ 17 =====
Do you want to continue? [Y/n] n
$ opam install --criteria="-removed" coq-serapi
The following actions will be performed:
↘ downgrade num 1.3 to 1.0 [required by batteries]
⊘ remove patdiff v0.12.1 [conflicts with sexplib]
↘ downgrade easy-format 1.3.2 to 1.0.1 [required by yojson]
⊘ remove core_bench v0.12.0 [uses core]
↘ downgrade result 1.5 to 1.0 [required by cmdliner]
↘ downgrade ocamlbuild 0.14.0 to 0.9.1 [required by cmdliner]
↘ downgrade ocaml-secondary-compiler 4.08.1-1 to 4.08.1
↘ downgrade conf-pkg-config 1.1 to 1.0 [required by conf-gtksourceview3]
↘ downgrade camlp5 7.11 to 7.06.10-g84ce6cc4
↘ downgrade zarith 1.12 to 1.11 [required by coq]
↘ downgrade jbuilder 1.0+beta20.2 to 1.0+beta18.1 [required by re]
↘ downgrade lablgtk 2.18.10 to 2.18.7 [required by ocamlnet]
⊘ remove shell v0.12.0 [uses core]
⊘ remove patience_diff v0.12.0 [conflicts with dune]
⊘ remove expect_test_helpers v0.12.0 [uses core]
⊘ remove core_extended v0.12.0 [uses core]
↘ downgrade topkg 1.0.1 to 0.8.1 [required by cmdliner]
↘ downgrade stdint 0.6.0 to 0.3.0-0 [uses ocamlbuild]
↘ downgrade react 1.2.1 to 1.0.0 [uses ocamlbuild]
↘ downgrade pprint 20200316 to 20171003 [uses ocamlbuild]
↘ downgrade pcre 7.4.1 to 7.1.5 [uses ocamlbuild]
↘ downgrade ounit 2.2.2 to 2.0.0 [uses ocamlbuild]
↘ downgrade menhir 20190924 to 20160303 [uses ocamlbuild]
↘ downgrade batteries 3.0.0 to 2.9.0 [uses ocamlbuild]
↻ recompile ocamlfind-secondary 1.8.1 [uses ocaml-secondary-compiler]
↘ downgrade conf-gtksourceview3 0+1 to 0 [required by lablgtk3-sourceview3]
↻ recompile coq 8.13.2* [uses num]
↘ downgrade ppx_derivers 1.2.1 to 1.0 [required by ppxlib]
↘ downgrade ocaml-compiler-libs v0.12.1 to v0.11.0 [required by ppxlib]
↘ downgrade cppo 1.6.6 to 1.6.1 [uses jbuilder]
↘ downgrade camomile 1.0.2 to 1.0.0 [uses jbuilder]
↻ recompile ocamlgraph 1.8.8 [uses lablgtk]
⊘ remove re2 v0.12.1 [conflicts with dune]
⊘ remove expect_test_helpers_kernel v0.12.0 [conflicts with dune]
⊘ remove async v0.12.0 [uses core]
↘ downgrade octavius 1.2.2 to 0.1.0 [uses ocamlbuild]
↘ downgrade cmdliner 1.0.4 to 1.0.0 [required by coq-serapi]
↘ downgrade reactiveData 0.2.2 to 0.1 [uses ocamlbuild]
∗ install ocamlnet 4.1.7 [required by tyxml]
↻ recompile ocplib-endian 1.0 [uses ocamlbuild]
↘ downgrade cppo_ocamlbuild 1.6.6 to 1.6.0 [uses ocamlbuild]
↘ downgrade zed 2.0.6 to 1.6 [uses jbuilder]
⊘ remove textutils v0.12.0 [uses core]
⊘ remove async_extra v0.12.0 [uses core]
↘ downgrade uutf 1.0.2 to 1.0.1 [uses cmdliner]
↘ downgrade tyxml 4.4.0 to 2.2.0 [uses pcre]
↘ downgrade lwt 5.2.0 to 3.0.0 [uses ocamlbuild]
For module Lwt_glib, please install package lwt_glib
⊘ remove async_unix v0.12.0 [uses core]
⊘ remove async_rpc_kernel v0.12.0 [conflicts with dune]
↘ downgrade lwt_react 1.1.3 to 1.0.1 [uses lwt]
↘ downgrade lwt_log 1.1.1 to 1.0.0 [uses jbuilder]
⊘ remove core v0.12.4 [conflicts with sexplib]
⊘ remove protocol_version_header v0.12.0 [conflicts with dune]
⊘ remove async_kernel v0.12.0 [conflicts with dune]
↘ downgrade lambda-term 2.0.3 to 1.12.0 [uses jbuilder]
⊘ remove core_kernel v0.12.3 [conflicts with sexplib]
↘ downgrade utop 2.4.3 to 2.2.0 [uses jbuilder]
↘ downgrade dune 2.7.1 to 2.0.1 [required by coq-serapi]
∗ install dune-private-libs 2.0.1 [required by dune-configurator]
↗ upgrade sexplib0 v0.12.0 to v0.13.0 [required by sexplib]
↗ upgrade jane-street-headers v0.12.0 to v0.13.0 [uses dune]
↻ recompile stdlib-shims 0.1.0 [uses dune]
↻ recompile spawn v0.13.0 [uses core]
↻ recompile ocaml-migrate-parsetree 1.5.0 [uses dune]
↻ recompile biniou 1.2.1 [uses dune]
↻ recompile bigarray-compat 1.0.0 [uses dune]
↘ downgrade seq base to 0.2.2 [uses dune]
↘ downgrade ocp-indent 1.8.1 to 1.7.0 [uses cmdliner]
↘ downgrade mmap 1.1.0 to 1.0.2 [uses dune]
↘ downgrade csexp 1.3.2 to 1.0.0 [uses dune]
↘ downgrade charInfo_width 1.1.0 to 0.1.0 [uses dune]
↘ downgrade dune-configurator 2.7.1 to 2.0.1 [uses dune]
↘ downgrade ounit2 2.2.2 to 2.2.0 [uses dune]
↻ recompile ppx_tools_versioned 5.3.0 [uses dune]
↘ downgrade ppxfind 1.3 to 1.1 [uses jbuilder]
↘ downgrade ppx_deriving 4.4.1 to 4.2.1 [required by coq-serapi]
↻ recompile yojson 1.7.0 [uses dune]
↘ downgrade re 1.9.0 to 1.8.0 [upstream changes]
↗ upgrade base v0.12.2 to v0.13.0 [uses dune]
↘ downgrade cairo2 0.6.1 to 0.6 [uses dune]
↻ recompile bisect_ppx dev [uses cmdliner]
↘ downgrade ppx_deriving_yojson 3.5.2 to 3.4 [required by coq-serapi]
↘ downgrade merlin 3.3.3 to 3.2.1 [uses dune]
↘ downgrade js_of_ocaml-compiler 3.7.1 to 3.2.0 [uses cmdliner]
↗ upgrade variantslib v0.12.0 to v0.13.0 [uses dune]
↗ upgrade typerep v0.12.0 to v0.13.0 [uses dune]
↗ upgrade stdio v0.12.0 to v0.13.0 [uses dune]
↗ upgrade parsexp v0.12.0 to v0.13.0 [required by sexplib]
↗ upgrade fieldslib v0.12.0 to v0.13.0 [uses dune]
↘ downgrade lablgtk3 3.1.0 to 3.0.beta5 [uses dune]
↘ downgrade js_of_ocaml 3.7.1 to 3.2.0 [uses jbuilder]
↗ upgrade ppxlib 0.8.1 to 0.9.0 [uses dune]
↗ upgrade sexplib v0.12.0 to v0.13.0 [required by coq-serapi]
↘ downgrade lablgtk3-sourceview3 3.1.0 to 3.0.beta4 [uses dune]
↘ downgrade js_of_ocaml-ppx 3.7.1 to 3.2.0 [uses jbuilder]
∗ install ppx_cold v0.13.0 [required by ppx_assert]
↗ upgrade ppx_variants_conv v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_typerep_conv v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_stable v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_sexp_conv v0.12.0 to v0.13.0 [required by coq-serapi]
↗ upgrade ppx_pipebang v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_optional v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_optcomp v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_let v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_js_style v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_inline_test v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_here v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_fields_conv v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_enumerate v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_compare v0.12.0 to v0.13.0 [uses dune]
↘ downgrade ppx_import 1.7.1 to 1.7.0 [required by coq-serapi]
↘ downgrade cstruct 5.1.1 to 3.0.1 [uses sexplib]
↗ upgrade ppx_custom_printf v0.12.1 to v0.13.0 [uses dune]
↗ upgrade ppx_bench v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_sexp_value v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_sexp_message v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_fail v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_hash v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_assert v0.12.0 to v0.13.0 [uses dune]
∗ install coq-serapi 8.13.0+0.13.0
↘ downgrade ppx_cstruct 5.1.1 to 3.0.1 [uses jbuilder]
↗ upgrade bin_prot v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_base v0.12.0 to v0.13.0 [uses dune]
↗ upgrade splittable_random v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_expect v0.12.0 to v0.13.0 [uses dune]
↗ upgrade jst-config v0.12.0 to v0.13.0 [upstream changes]
↘ downgrade pcap-format 0.5.2 to 0.5.0 [uses ocamlbuild]
↗ upgrade ppx_bin_prot v0.12.1 to v0.13.0 [uses dune]
↗ upgrade sexp_pretty v0.12.0 to v0.13.0 [uses sexplib]
↗ upgrade base_quickcheck v0.12.1 to v0.13.0 [uses dune]
↗ upgrade time_now v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_module_timer v0.12.0 to v0.13.0 [uses dune]
↗ upgrade ppx_jane v0.12.0 to v0.13.0 [upstream changes]
↗ upgrade base_bigstring v0.12.0 to v0.13.0 [uses dune]
===== ∗ 4 ↻ 12 ↗ 43 ↘ 58 ⊘ 17 =====
Do you want to continue? [Y/n] n
$ opam install --criteria="-removed,-changed" coq-serapi
The following actions will be performed:
⊘ remove patdiff v0.12.1 [uses expect_test_helpers]
⊘ remove core_bench v0.12.0 [conflicts with ppx_jane]
↗ upgrade sexplib0 v0.12.0 to v0.13.0 [required by ppx_sexp_conv]
⊘ remove shell v0.12.0 [uses core_kernel]
⊘ remove patience_diff v0.12.0 [uses core_kernel]
⊘ remove expect_test_helpers v0.12.0 [uses async]
⊘ remove core_extended v0.12.0 [uses core_kernel]
⊘ remove re2 v0.12.1 [uses core_kernel]
⊘ remove expect_test_helpers_kernel v0.12.0 [uses core_kernel]
⊘ remove async v0.12.0 [uses core_kernel]
⊘ remove textutils v0.12.0 [conflicts with ppx_jane]
⊘ remove async_extra v0.12.0 [conflicts with ppx_jane]
⊘ remove async_unix v0.12.0 [uses core_kernel]
⊘ remove async_rpc_kernel v0.12.0 [uses core_kernel]
⊘ remove core v0.12.4 [uses core_kernel]
⊘ remove protocol_version_header v0.12.0 [uses core_kernel]
⊘ remove async_kernel v0.12.0 [uses core_kernel]
⊘ remove core_kernel v0.12.3 [conflicts with ppx_sexp_conv]
↗ upgrade jane-street-headers v0.12.0 to v0.13.0 [upstream changes]
↗ upgrade base v0.12.2 to v0.13.0 [required by ppx_sexp_conv]
↗ upgrade variantslib v0.12.0 to v0.13.0 [upstream changes]
↗ upgrade typerep v0.12.0 to v0.13.0 [upstream changes]
↗ upgrade stdio v0.12.0 to v0.13.0 [upstream changes]
↗ upgrade parsexp v0.12.0 to v0.13.0 [uses base]
↗ upgrade fieldslib v0.12.0 to v0.13.0 [upstream changes]
↗ upgrade ppxlib 0.8.1 to 0.9.0 [required by ppx_sexp_conv]
↗ upgrade sexplib v0.12.0 to v0.13.0 [required by coq-serapi]
∗ install ppx_cold v0.13.0 [required by ppx_base]
↗ upgrade ppx_variants_conv v0.12.0 to v0.13.0 [required by ppx_jane]
↗ upgrade ppx_typerep_conv v0.12.0 to v0.13.0 [required by ppx_jane]
↗ upgrade ppx_stable v0.12.0 to v0.13.0 [required by ppx_jane]
↗ upgrade ppx_sexp_conv v0.12.0 to v0.13.0 [required by coq-serapi]
↗ upgrade ppx_pipebang v0.12.0 to v0.13.0 [required by ppx_jane]
↗ upgrade ppx_optional v0.12.0 to v0.13.0 [required by ppx_jane]
↗ upgrade ppx_optcomp v0.12.0 to v0.13.0 [required by ppx_jane]
↗ upgrade ppx_let v0.12.0 to v0.13.0 [required by ppx_jane]
↗ upgrade ppx_js_style v0.12.0 to v0.13.0 [uses base]
↗ upgrade ppx_inline_test v0.12.0 to v0.13.0 [upstream changes]
↗ upgrade ppx_here v0.12.0 to v0.13.0 [required by ppx_jane]
↗ upgrade ppx_fields_conv v0.12.0 to v0.13.0 [required by ppx_jane]
↗ upgrade ppx_enumerate v0.12.0 to v0.13.0 [uses base]
↗ upgrade ppx_compare v0.12.0 to v0.13.0 [uses base]
↻ recompile ppx_import 1.7.1 [uses ppxlib]
↻ recompile ppx_cstruct 5.1.1 [uses sexplib]
↗ upgrade ppx_custom_printf v0.12.1 to v0.13.0 [uses ppx_sexp_conv]
↗ upgrade ppx_bench v0.12.0 to v0.13.0 [required by ppx_jane]
↗ upgrade ppx_sexp_value v0.12.0 to v0.13.0 [uses ppx_sexp_conv]
↗ upgrade ppx_sexp_message v0.12.0 to v0.13.0 [uses ppx_sexp_conv]
↗ upgrade ppx_fail v0.12.0 to v0.13.0 [required by ppx_jane]
↗ upgrade ppx_hash v0.12.0 to v0.13.0 [uses ppx_sexp_conv]
↗ upgrade ppx_assert v0.12.0 to v0.13.0 [uses ppx_sexp_conv]
∗ install coq-serapi 8.13.0+0.13.0
↻ recompile pcap-format 0.5.2 [uses ppx_cstruct]
↗ upgrade bin_prot v0.12.0 to v0.13.0 [uses ppx_sexp_conv]
↗ upgrade ppx_base v0.12.0 to v0.13.0 [uses ppx_sexp_conv]
↗ upgrade splittable_random v0.12.0 to v0.13.0 [upstream changes]
↗ upgrade ppx_expect v0.12.0 to v0.13.0 [uses ppx_sexp_conv]
↗ upgrade jst-config v0.12.0 to v0.13.0 [upstream changes]
↗ upgrade ppx_bin_prot v0.12.1 to v0.13.0 [required by ppx_jane]
↗ upgrade sexp_pretty v0.12.0 to v0.13.0 [upstream changes]
↗ upgrade base_quickcheck v0.12.1 to v0.13.0 [upstream changes]
↗ upgrade time_now v0.12.0 to v0.13.0 [upstream changes]
↗ upgrade ppx_module_timer v0.12.0 to v0.13.0 [required by ppx_jane]
↗ upgrade ppx_jane v0.12.0 to v0.13.0 [upstream changes]
↗ upgrade base_bigstring v0.12.0 to v0.13.0 [upstream changes]
===== ∗ 2 ↻ 3 ↗ 43 ⊘ 17 =====
Do you want to continue? [Y/n] n
$ opam install --criteria="-removed,-changed" coq-serapi patdiff
[NOTE] Package patdiff is already installed (current version is v0.12.1).
The following dependencies couldn't be met:
- patdiff → core < v0.11 → sexplib < 113.34.00+4.03 → ocaml < 4.06.0
base of this switch (use `--unlock-base' to force)
- patdiff → core < v0.11 → ppx_jane < 113.34.00 → ocaml = 4.02.3
base of this switch (use `--unlock-base' to force)
- patdiff → core < v0.11 → ppx_jane < 113.34.00 → ppx_bin_prot < 113.34.00+4.03 → ppx_core < 113.34.00+4.03 → ocaml <
4.05
base of this switch (use `--unlock-base' to force)
- patdiff → core < v0.11 → ppx_jane < 113.34.00 → ppx_bin_prot < 113.34.00+4.03 → ocaml < 4.03
base of this switch (use `--unlock-base' to force)
- patdiff → core < v0.11 → ppx_jane < 113.34.00 → ppx_fields_conv < 113.25.00 → ppx_core < 113.25.00 → ocaml < 4.03.0
base of this switch (use `--unlock-base' to force)
- patdiff → core < v0.11 → ppx_jane < 113.34.00 → ppx_fields_conv < 113.25.00 → ocaml < 4.03
base of this switch (use `--unlock-base' to force)
- patdiff → core < v0.11 → ppx_jane < 113.34.00 → ppx_sexp_value < 113.25.00 → ppx_core < 113.25.00 → ocaml < 4.03.0
base of this switch (use `--unlock-base' to force)
- patdiff → core < v0.11 → ppx_jane < 113.34.00 → ppx_sexp_value < 113.25.00 → ocaml < 4.03
base of this switch (use `--unlock-base' to force)
- patdiff → core < v0.11 → ppx_expect < 113.25.00 → ppx_core < 113.25.00 → ocaml < 4.03.0
base of this switch (use `--unlock-base' to force)
- patdiff → core < v0.11 → ocaml < 4.06.0
base of this switch (use `--unlock-base' to force)
- patdiff → core < v0.11 → base < v0.11 → ocaml < 4.07.0
base of this switch (use `--unlock-base' to force)
- patdiff → core_extended < 111.28.00 → ocaml < 4.03
base of this switch (use `--unlock-base' to force)
- patdiff → core_extended < 111.28.00 → core < 109.19.00 → ocaml < 4.01.0
base of this switch (use `--unlock-base' to force)
- patdiff → ocaml (< 4.03 | >= 4.08.0)
base of this switch (use `--unlock-base' to force)
- patdiff → patience_diff < 112.25.00 → pipebang = 110.01.00 → ocaml < 4.06.0
base of this switch (use `--unlock-base' to force)
- patdiff → patience_diff < 112.25.00 → ocaml < 4.03
base of this switch (use `--unlock-base' to force)
- patdiff → patience_diff < 112.25.00 → core_kernel < 112.18.00 → ocaml < 4.03
base of this switch (use `--unlock-base' to force)
- patdiff → ppx_jane < 113.34.00 → ppx_sexp_value < 113.25.00 → ocaml < 4.03
base of this switch (use `--unlock-base' to force)
- patdiff → ppx_jane < 113.34.00 → ppx_sexp_value < 113.25.00 → ppx_core < 113.25.00 → ocaml < 4.03.0
base of this switch (use `--unlock-base' to force)
- patdiff → ppx_jane < 113.34.00 → ppx_fields_conv < 113.25.00 → ocaml < 4.03
base of this switch (use `--unlock-base' to force)
- patdiff → ppx_jane < 113.34.00 → ppx_fields_conv < 113.25.00 → ppx_core < 113.25.00 → ocaml < 4.03.0
base of this switch (use `--unlock-base' to force)
- patdiff → ppx_jane < 113.34.00 → ppx_bin_prot < 113.34.00+4.03 → ocaml < 4.03
base of this switch (use `--unlock-base' to force)
- patdiff → ppx_jane < 113.34.00 → ppx_bin_prot < 113.34.00+4.03 → ppx_core < 113.34.00+4.03 → ocaml < 4.05
base of this switch (use `--unlock-base' to force)
- patdiff → ppx_jane < 113.34.00 → ocaml = 4.02.3
base of this switch (use `--unlock-base' to force)
- patdiff → sexplib < v0.13 → ocaml < 4.06.0
base of this switch (use `--unlock-base' to force)
- coq-serapi → coq < 8.13
not available because the package is pinned to version 8.13.2
- coq-serapi → ocaml < 4.07.0
base of this switch (use `--unlock-base' to force)
- coq-serapi → sexplib >= v0.13.0
Your request can't be satisfied:
- No available version of sexplib satisfies the constraints
No solution found, exiting
$ opam unpin coq
Ok, coq is no longer pinned to https://github.com/coq/coq/archive/V8.13.2.tar.gz (version 8.13.2)
Already up-to-date.
Nothing to do.
$ opam install --criteria="-removed,-changed" coq-serapi patdiff
[NOTE] Package patdiff is already installed (current version is v0.12.1).
The following actions will be performed:
↘ downgrade coq 8.13.2 to 8.11.0 [required by coq-serapi]
∗ install coq-serapi 8.11.0+0.11.0
===== ∗ 1 ↘ 1 =====
Do you want to continue? [Y/n] n
$ opam install --unlock-base --criteria="-removed,-changed" coq-serapi patdiff
[NOTE] Package patdiff is already installed (current version is v0.12.1).
The following actions will be performed:
↘ downgrade coq 8.13.2 to 8.11.0 [required by coq-serapi]
∗ install coq-serapi 8.11.0+0.11.0
===== ∗ 1 ↘ 1 =====
Do you want to continue? [Y/n] n
$ opam show coq-serapi
<><> coq-serapi: information on all versions ><><><><><><><><><><><><><><><><><>
name coq-serapi
all-installed-versions 8.10.0+0.7.0 [/home/clement/documents/mit/plv/blog] 8.11.0+0.11.0 [4.09.0] 8.12.0+0.12.0
[coq-8.12] 8.13.0+0.13.0 [coq-latest]
all-versions 8.7.1+0.4 8.7.1+0.4.1 8.7.1+0.4.2 8.7.1+0.4.8 8.7.1+0.4.12 8.7.2+0.4.13 8.8.0+0.5.1
8.8.0+0.5.2 8.8.0+0.5.3 8.8.0+0.5.4 8.8.0+0.5.5 8.8.0+0.5.6 8.9.0+0.6.0 8.9.0+0.6.1
8.10.0+0.7.0 8.10.0+0.7.1 8.10.0+0.7.2 8.11.0+0.11.0 8.11.0+0.11.1 8.12.0+0.12.0
8.12.0+0.12.1 8.13.0+0.13.0
<><> Version-specific details <><><><><><><><><><><><><><><><><><><><><><><><><>
version 8.13.0+0.13.0
repository default
url.src: "https://github.com/ejgallego/coq-serapi/releases/download/8.13.0%2B0.13.0/coq-serapi-8.13.0.0.13.0.tbz"
url.checksum:
"sha256=ddef1d7278021ce391f62e8e222e10962c7a308d6a2dfd8320382b4cf9a8cd75"
"sha512=8ee9cc09e5b8708b6cd7b0af8fccaa900413aa106cb47d99ca1fdd5b39c52676fa906204766f8f9e0964cc7e3ef987009de79f26b534b2021cf66f20c3d62bfe"
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"
authors: "Emilio Jesús Gallego Arias"
"Karl Palmskog"
"Clément Pit-Claudel"
"Kaiyu Yang"
maintainer: "[email protected] "
license: "GPL-3.0-or-later"
depends: "ocaml" {>= "4.07.0"}
"coq" {>= "8.13.0" & < "8.14"}
"cmdliner" {>= "1.0.0"}
"ocamlfind" {>= "1.8.0"}
"sexplib" {>= "v0.13.0"}
"dune" {>= "2.0.1"}
"ppx_import" {build & >= "1.5-3"}
"ppx_deriving" {>= "4.2.1"}
"ppx_sexp_conv" {>= "v0.13.0" & < "v0.15"}
"yojson" {>= "1.7.0"}
"ppx_deriving_yojson" {>= "3.4"}
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).
$ opam install --unlock-base --criteria="-removed,-changed" coq-serapi=8.13.0+0.13.0 patdiff
[NOTE] Package patdiff is already installed (current version is v0.12.1).
The following actions will be performed:
↗ upgrade ocaml-base-compiler 4.07.1 to 4.09.0 [required by ocaml]
↻ recompile ocaml-config 1 [uses ocaml-base-compiler]
↗ upgrade ocaml 4.07.1 to 4.09.0 [required by coq-serapi, patdiff]
↻ recompile seq base [uses ocaml]
↻ recompile ocamlfind 1.8.1 [uses ocaml]
↻ recompile ocamlbuild 0.14.0 [uses ocaml]
↻ recompile ocaml-secondary-compiler 4.08.1-1 [uses ocaml]
↻ recompile jbuilder 1.0+beta20.2 [uses ocaml]
↻ recompile cmdliner 1.0.4 [uses ocaml]
↻ recompile camlp5 7.11 [uses ocaml]
↗ upgrade ppx_tools 5.1+4.06.0 to 5.2+4.08.0 [uses ocaml]
↻ recompile zarith 1.12 [uses ocaml]
↻ recompile num 1.3 [uses ocaml]
↻ recompile lablgtk 2.18.10 [uses ocaml]
↻ recompile hashcons 1.3 [uses ocaml]
↻ recompile base-bytes base [uses ocaml]
↗ upgrade camlp4 4.07+1 to 4.09+1 [uses ocaml]
↻ recompile uchar 0.0.2 [uses ocaml]
↻ recompile topkg 1.0.1 [uses ocaml]
↻ recompile menhir 20190924 [uses ocaml]
↻ recompile ocamlfind-secondary 1.8.1 [uses ocaml-secondary-compiler, ocamlfind]
↻ recompile coq 8.13.2 [uses ocaml]
↻ recompile batteries 3.0.0 [uses ocaml]
↻ recompile ocamlgraph 1.8.8 [uses ocaml]
↻ recompile ulex 1.2 [uses ocaml]
↻ recompile uutf 1.0.2 [uses ocaml]
↻ recompile react 1.2.1 [uses ocaml]
↻ recompile dune 2.7.1 [uses ocaml]
↻ recompile reactiveData 0.2.2 [uses ocaml]
↗ upgrade sexplib0 v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade jane-street-headers v0.12.0 to v0.13.0 [uses ocaml]
↻ recompile stdlib-shims 0.1.0 [uses ocaml]
↻ recompile stdint 0.6.0 [uses ocaml]
↻ recompile spawn v0.13.0 [uses ocaml]
↻ recompile result 1.5 [uses ocaml]
↻ recompile re 1.9.0 [uses ocaml]
↻ recompile ppx_derivers 1.2.1 [uses ocaml]
↻ recompile pprint 20200316 [uses ocaml]
↻ recompile octavius 1.2.2 [uses ocaml]
↻ recompile ocp-indent 1.8.1 [uses ocaml]
↻ recompile ocaml-compiler-libs v0.12.1 [uses ocaml]
↻ recompile mmap 1.1.0 [uses ocaml]
↻ recompile easy-format 1.3.2 [uses ocaml]
↻ recompile cppo 1.6.6 [uses ocaml]
↻ recompile camomile 1.0.2 [uses ocaml]
↻ recompile bigarray-compat 1.0.0 [uses ocaml]
↻ recompile ounit2 2.2.2 [uses ocaml]
↻ recompile csexp 1.3.2 [uses ocaml]
↻ recompile tyxml 4.4.0 [uses ocaml]
↻ recompile ocaml-migrate-parsetree 1.5.0 [uses ocaml]
↻ recompile biniou 1.2.1 [uses ocaml]
↻ recompile ocplib-endian 1.0 [uses ocaml]
↻ recompile cppo_ocamlbuild 1.6.6 [uses ocaml]
↻ recompile charInfo_width 1.1.0 [uses ocaml]
↻ recompile cstruct 5.1.1 [uses ocaml]
↻ recompile ounit 2.2.2 [uses ocamlfind]
↻ recompile dune-configurator 2.7.1 [uses ocaml]
↻ recompile ppxfind 1.3 [uses ocaml]
↻ recompile ppx_tools_versioned 5.3.0 [uses ocaml]
↻ recompile yojson 1.7.0 [uses ocaml]
↻ recompile zed 2.0.6 [uses ocaml]
↗ upgrade base v0.12.2 to v0.13.0 [uses ocaml]
↻ recompile lwt 5.2.0 [uses ocaml]
↻ recompile cairo2 0.6.1 [uses ocaml]
↻ recompile ppx_deriving 4.4.1 [uses ocaml]
↻ recompile bisect_ppx dev [uses ocaml]
↻ recompile merlin 3.3.3 [uses ocaml]
↻ recompile js_of_ocaml-compiler 3.7.1 [uses ocaml]
↗ upgrade variantslib v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade typerep v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade stdio v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade parsexp v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade fieldslib v0.12.0 to v0.13.0 [uses ocaml]
↻ recompile pcre 7.4.1 [uses ocaml]
↻ recompile lwt_react 1.1.3 [uses ocaml]
↻ recompile lwt_log 1.1.1 [uses dune]
↻ recompile lablgtk3 3.1.0 [uses ocaml]
↻ recompile ppx_deriving_yojson 3.5.2 [uses ocaml]
↻ recompile js_of_ocaml 3.7.1 [uses ocaml]
↗ upgrade ppxlib 0.8.1 to 0.9.0 [uses ocaml]
↗ upgrade sexplib v0.12.0 to v0.13.0 [required by coq-serapi]
↻ recompile lambda-term 2.0.3 [uses ocaml]
↻ recompile lablgtk3-sourceview3 3.1.0 [uses ocaml]
↻ recompile js_of_ocaml-ppx 3.7.1 [uses ocaml]
∗ install ppx_cold v0.13.0 [required by ppx_base]
↗ upgrade ppx_variants_conv v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_typerep_conv v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_stable v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_sexp_conv v0.12.0 to v0.13.0 [required by coq-serapi]
↗ upgrade ppx_pipebang v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_optional v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_optcomp v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_let v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_js_style v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_inline_test v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_here v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_fields_conv v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_enumerate v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_compare v0.12.0 to v0.13.0 [uses ocaml]
↻ recompile ppx_import 1.7.1 [uses ocaml]
↻ recompile ppx_cstruct 5.1.1 [uses ocaml]
↻ recompile utop 2.4.3 [uses ocaml]
↗ upgrade ppx_custom_printf v0.12.1 to v0.13.0 [uses ocaml]
↗ upgrade ppx_bench v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_sexp_value v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_sexp_message v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_fail v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_hash v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_assert v0.12.0 to v0.13.0 [uses ocaml]
∗ install coq-serapi 8.13.0+0.13.0
↻ recompile pcap-format 0.5.2 [uses ocaml]
↗ upgrade bin_prot v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_base v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade splittable_random v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_expect v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade jst-config v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_bin_prot v0.12.1 to v0.13.0 [uses ocaml]
↗ upgrade sexp_pretty v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade base_quickcheck v0.12.1 to v0.13.0 [uses ocaml]
↗ upgrade time_now v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_module_timer v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade ppx_jane v0.12.0 to v0.13.0 [required by patdiff]
↗ upgrade base_bigstring v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade core_kernel v0.12.3 to v0.13.1 [required by patdiff]
↗ upgrade re2 v0.12.1 to v0.13.0 [uses ocaml]
↗ upgrade protocol_version_header v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade patience_diff v0.12.0 to v0.13.0 [required by patdiff]
↗ upgrade expect_test_helpers_kernel v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade core v0.12.4 to v0.13.0 [required by patdiff]
↗ upgrade async_kernel v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade textutils v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade patdiff v0.12.1 to v0.13.0
↗ upgrade core_extended v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade async_unix v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade async_rpc_kernel v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade async_extra v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade shell v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade core_bench v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade async v0.12.0 to v0.13.0 [uses ocaml]
↗ upgrade expect_test_helpers v0.12.0 to v0.13.0 [uses ocaml]
===== ∗ 2 ↻ 74 ↗ 64 =====
Do you want to continue? [Y/n] y
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[async_extra.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[async.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[async_kernel.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[async_rpc_kernel.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[async_unix.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[base_bigstring.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[base.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[base_quickcheck.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[bigarray-compat.1.0.0] downloaded from cache at https://opam.ocaml.org/cache
[biniou.1.2.1] found in cache
[batteries.3.0.0] downloaded from cache at https://opam.ocaml.org/cache
[bin_prot.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[cairo2.0.6.1] downloaded from cache at https://opam.ocaml.org/cache
[bisect_ppx.dev] synchronised from git+https://github.com/aantron/bisect_ppx.git
[camlp4.4.09+1] downloaded from cache at https://opam.ocaml.org/cache
[charInfo_width.1.1.0] downloaded from cache at https://opam.ocaml.org/cache
[camlp5.7.11] downloaded from cache at https://opam.ocaml.org/cache
[coq.8.13.2] found in cache
[cmdliner.1.0.4] downloaded from cache at https://opam.ocaml.org/cache
[coq-serapi.8.13.0+0.13.0] found in cache
[camomile.1.0.2] downloaded from cache at https://opam.ocaml.org/cache
[core_bench.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[core_extended.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[core.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[cppo.1.6.6] downloaded from cache at https://opam.ocaml.org/cache
[core_kernel.v0.13.1] downloaded from cache at https://opam.ocaml.org/cache
[csexp.1.3.2] downloaded from cache at https://opam.ocaml.org/cache
[cstruct.5.1.1] downloaded from cache at https://opam.ocaml.org/cache
[cppo_ocamlbuild.1.6.6] downloaded from cache at https://opam.ocaml.org/cache
[easy-format.1.3.2] found in cache
[dune.2.7.1] downloaded from cache at https://opam.ocaml.org/cache
[expect_test_helpers.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[expect_test_helpers_kernel.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[fieldslib.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[hashcons.1.3] downloaded from cache at https://opam.ocaml.org/cache
[jane-street-headers.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[dune-configurator.2.7.1] downloaded from cache at https://opam.ocaml.org/cache
[jbuilder.1.0+beta20.2] downloaded from cache at https://opam.ocaml.org/cache
[js_of_ocaml.3.7.1] downloaded from cache at https://opam.ocaml.org/cache
[jst-config.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[js_of_ocaml-compiler.3.7.1] downloaded from cache at https://opam.ocaml.org/cache
[lablgtk.2.18.10] downloaded from cache at https://opam.ocaml.org/cache
[js_of_ocaml-ppx.3.7.1] downloaded from cache at https://opam.ocaml.org/cache
[lablgtk3.3.1.0] downloaded from cache at https://opam.ocaml.org/cache
[lambda-term.2.0.3] downloaded from cache at https://opam.ocaml.org/cache
[lwt.5.2.0] downloaded from cache at https://opam.ocaml.org/cache
[lablgtk3-sourceview3.3.1.0] downloaded from cache at https://opam.ocaml.org/cache
[lwt_log.1.1.1] downloaded from cache at https://opam.ocaml.org/cache
[lwt_react.1.1.3] downloaded from cache at https://opam.ocaml.org/cache
[mmap.1.1.0] downloaded from cache at https://opam.ocaml.org/cache
[num.1.3] downloaded from cache at https://opam.ocaml.org/cache
[menhir.20190924] downloaded from cache at https://opam.ocaml.org/cache
[ocaml-compiler-libs.v0.12.1] downloaded from cache at https://opam.ocaml.org/cache
[ocaml-migrate-parsetree.1.5.0] downloaded from cache at https://opam.ocaml.org/cache
[merlin.3.3.3] downloaded from cache at https://opam.ocaml.org/cache
[ocaml-base-compiler.4.09.0] downloaded from cache at https://opam.ocaml.org/cache
[ocamlbuild.0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[ocaml-secondary-compiler.4.08.1-1] downloaded from cache at https://opam.ocaml.org/cache
[ocamlfind.1.8.1] downloaded from cache at https://opam.ocaml.org/cache
[ocp-indent.1.8.1] downloaded from cache at https://opam.ocaml.org/cache
[ocamlfind-secondary.1.8.1] downloaded from cache at https://opam.ocaml.org/cache
[ocamlgraph.1.8.8] downloaded from cache at https://opam.ocaml.org/cache
[octavius.1.2.2] found in cache
[ocplib-endian.1.0] downloaded from cache at https://opam.ocaml.org/cache
[ounit.2.2.2] downloaded from cache at https://opam.ocaml.org/cache
[patdiff.v0.13.0] found in cache
[patience_diff.v0.13.0] found in cache
[parsexp.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[pcap-format.0.5.2] downloaded from cache at https://opam.ocaml.org/cache
[pcre.7.4.1] downloaded from cache at https://opam.ocaml.org/cache
[ounit2.2.2.2] downloaded from cache at https://opam.ocaml.org/cache
[pprint.20200316] downloaded from cache at https://opam.ocaml.org/cache
[ppx_assert.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_base.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_bench.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_bin_prot.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_cstruct.5.1.1] found in cache
[ppx_cold.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_compare.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_derivers.1.2.1] found in cache
[ppx_custom_printf.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_deriving.4.4.1] downloaded from cache at https://opam.ocaml.org/cache
[ppx_deriving_yojson.3.5.2] downloaded from cache at https://opam.ocaml.org/cache
[ppx_enumerate.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_fail.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_expect.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_fields_conv.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_hash.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_here.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_import.1.7.1] downloaded from cache at https://opam.ocaml.org/cache
[ppx_inline_test.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_jane.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_js_style.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_let.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_module_timer.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_optcomp.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_optional.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_pipebang.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_sexp_conv.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_sexp_message.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_sexp_value.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_stable.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_tools.5.2+4.08.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_tools_versioned.5.3.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_typerep_conv.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_variants_conv.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppxfind.1.3] downloaded from cache at https://opam.ocaml.org/cache
[re.1.9.0] found in cache
[protocol_version_header.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[ppxlib.0.9.0] downloaded from cache at https://opam.ocaml.org/cache
[react.1.2.1] downloaded from cache at https://opam.ocaml.org/cache
[result.1.5] found in cache
[reactiveData.0.2.2] downloaded from cache at https://opam.ocaml.org/cache
[re2.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[sexp_pretty.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[sexplib.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[spawn.v0.13.0] found in cache
[sexplib0.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[shell.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[splittable_random.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[stdint.0.6.0] downloaded from cache at https://opam.ocaml.org/cache
[stdio.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[stdlib-shims.0.1.0] downloaded from cache at https://opam.ocaml.org/cache
[textutils.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[time_now.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[topkg.1.0.1] downloaded from cache at https://opam.ocaml.org/cache
[typerep.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[tyxml.4.4.0] downloaded from cache at https://opam.ocaml.org/cache
[uchar.0.0.2] downloaded from cache at https://opam.ocaml.org/cache
[ulex.1.2] downloaded from cache at https://opam.ocaml.org/cache
[uutf.1.0.2] downloaded from cache at https://opam.ocaml.org/cache
[variantslib.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache
[yojson.1.7.0] found in cache
[zarith.1.12] found in cache
[utop.2.4.3] downloaded from cache at https://opam.ocaml.org/cache
[zed.2.0.6] downloaded from cache at https://opam.ocaml.org/cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[WARNING] While removing batteries.3.0.0: not removing files that changed since:
- lib/batteries/extlib.cmx
- lib/batteries/extlib.cmt
- lib/batteries/extlib.cmi
- lib/batteries/batteriesThread.cmxs
- lib/batteries/batteriesThread.cmxa
- lib/batteries/batteriesThread.cmx
- lib/batteries/batteriesThread.cmt
- lib/batteries/batteriesThread.cmi
- lib/batteries/batteriesThread.cma
- lib/batteries/batteriesThread.a
- lib/batteries/batteriesPrint.cmx
- lib/batteries/batteriesPrint.cmt
- lib/batteries/batteriesPrint.cmo
- lib/batteries/batteriesPrint.cmi
- lib/batteries/batteriesHelp.mli
- lib/batteries/batteriesHelp.cmti
- lib/batteries/batteriesHelp.cmt
- lib/batteries/batteriesHelp.cmo
- lib/batteries/batteriesHelp.cmi
- lib/batteries/batteriesExceptionless.cmx
- lib/batteries/batteriesExceptionless.cmt
- lib/batteries/batteriesExceptionless.cmi
- lib/batteries/batteriesConfig.cmx
- lib/batteries/batteriesConfig.cmt
- lib/batteries/batteriesConfig.cmo
- lib/batteries/batteriesConfig.cmi
- lib/batteries/batteries.cmxs
- lib/batteries/batteries.cmxa
- lib/batteries/batteries.cmx
- lib/batteries/batteries.cmt
- lib/batteries/batteries.cmi
- lib/batteries/batteries.cma
- lib/batteries/batteries.a
- lib/batteries/batVect.mli
- lib/batteries/batVect.cmx
- lib/batteries/batVect.cmti
- lib/batteries/batVect.cmt
- lib/batteries/batVect.cmi
- lib/batteries/batUref.mli
- lib/batteries/batUref.cmx
- lib/batteries/batUref.cmti
- lib/batteries/batUref.cmt
- lib/batteries/batUref.cmi
- lib/batteries/batUnix.mli
- lib/batteries/batUnix.cmx
- lib/batteries/batUnix.cmti
- lib/batteries/batUnix.cmt
- lib/batteries/batUnix.cmi
- lib/batteries/batUnit.mli
- lib/batteries/batUnit.cmx
- lib/batteries/batUnit.cmti
- lib/batteries/batUnit.cmt
- lib/batteries/batUnit.cmi
- lib/batteries/batUTF8.mli
- lib/batteries/batUTF8.cmx
- lib/batteries/batUTF8.cmti
- lib/batteries/batUTF8.cmt
- lib/batteries/batUTF8.cmi
- lib/batteries/batUChar.mli
- lib/batteries/batUChar.cmx
- lib/batteries/batUChar.cmti
- lib/batteries/batUChar.cmt
- lib/batteries/batUChar.cmi
- lib/batteries/batTuple.mli
- lib/batteries/batTuple.cmx
- lib/batteries/batTuple.cmti
- lib/batteries/batTuple.cmt
- lib/batteries/batTuple.cmi
- lib/batteries/batText.mli
- lib/batteries/batText.cmx
- lib/batteries/batText.cmti
- lib/batteries/batText.cmt
- lib/batteries/batText.cmi
- lib/batteries/batSys.mli
- lib/batteries/batSys.cmx
- lib/batteries/batSys.cmti
- lib/batteries/batSys.cmt
- lib/batteries/batSys.cmi
- lib/batteries/batSubstring.mli
- lib/batteries/batSubstring.cmx
- lib/batteries/batSubstring.cmti
- lib/batteries/batSubstring.cmt
- lib/batteries/batSubstring.cmi
- lib/batteries/batString.mli
- lib/batteries/batString.cmx
- lib/batteries/batString.cmti
- lib/batteries/batString.cmt
- lib/batteries/batString.cmi
- lib/batteries/batStream.mli
- lib/batteries/batStream.cmx
- lib/batteries/batStream.cmti
- lib/batteries/batStream.cmt
- lib/batteries/batStream.cmi
- lib/batteries/batStack.mli
- lib/batteries/batStack.cmx
- lib/batteries/batStack.cmti
- lib/batteries/batStack.cmt
- lib/batteries/batStack.cmi
- lib/batteries/batSplay.mli
- lib/batteries/batSplay.cmx
- lib/batteries/batSplay.cmti
- lib/batteries/batSplay.cmt
- lib/batteries/batSplay.cmi
- lib/batteries/batSet.mli
- lib/batteries/batSet.cmx
- lib/batteries/batSet.cmti
- lib/batteries/batSet.cmt
- lib/batteries/batSet.cmi
- lib/batteries/batSeq.mli
- lib/batteries/batSeq.cmx
- lib/batteries/batSeq.cmti
- lib/batteries/batSeq.cmt
- lib/batteries/batSeq.cmi
- lib/batteries/batScanf.mli
- lib/batteries/batScanf.cmx
- lib/batteries/batScanf.cmti
- lib/batteries/batScanf.cmt
- lib/batteries/batScanf.cmi
- lib/batteries/batReturn.mli
- lib/batteries/batReturn.cmx
- lib/batteries/batReturn.cmti
- lib/batteries/batReturn.cmt
- lib/batteries/batReturn.cmi
- lib/batteries/batResult.mli
- lib/batteries/batResult.cmx
- lib/batteries/batResult.cmti
- lib/batteries/batResult.cmt
- lib/batteries/batResult.cmi
- lib/batteries/batRefList.cmx
- lib/batteries/batRefList.cmti
- lib/batteries/batRefList.cmt
- lib/batteries/batRefList.cmi
- lib/batteries/batRef.mli
- lib/batteries/batRef.cmx
- lib/batteries/batRef.cmti
- lib/batteries/batRef.cmt
- lib/batteries/batRef.cmi
- lib/batteries/batRandom.mli
- lib/batteries/batRandom.cmx
- lib/batteries/batRandom.cmti
- lib/batteries/batRandom.cmt
- lib/batteries/batRandom.cmi
- lib/batteries/batRMutex.mli
- lib/batteries/batRMutex.cmx
- lib/batteries/batRMutex.cmti
- lib/batteries/batRMutex.cmt
- lib/batteries/batRMutex.cmi
- lib/batteries/batQueue.mli
- lib/batteries/batQueue.cmx
- lib/batteries/batQueue.cmti
- lib/batteries/batQueue.cmt
- lib/batteries/batQueue.cmi
- lib/batteries/batPrintf.mli
- lib/batteries/batPrintf.cmx
- lib/batteries/batPrintf.cmti
- lib/batteries/batPrintf.cmt
- lib/batteries/batPrintf.cmi
- lib/batteries/batPrintexc.mli
- lib/batteries/batPrintexc.cmx
- lib/batteries/batPrintexc.cmti
- lib/batteries/batPrintexc.cmt
- lib/batteries/batPrintexc.cmi
- lib/batteries/batPervasives.mli
- lib/batteries/batPervasives.cmx
- lib/batteries/batPervasives.cmti
- lib/batteries/batPervasives.cmt
- lib/batteries/batPervasives.cmi
- lib/batteries/batPathGen.mli
- lib/batteries/batPathGen.cmx
- lib/batteries/batPathGen.cmti
- lib/batteries/batPathGen.cmt
- lib/batteries/batPathGen.cmi
- lib/batteries/batParserCo.mli
- lib/batteries/batParserCo.cmx
- lib/batteries/batParserCo.cmti
- lib/batteries/batParserCo.cmt
- lib/batteries/batParserCo.cmi
- lib/batteries/batOrd.mli
- lib/batteries/batOrd.cmx
- lib/batteries/batOrd.cmti
- lib/batteries/batOrd.cmt
- lib/batteries/batOrd.cmi
- lib/batteries/batOption.mli
- lib/batteries/batOption.cmx
- lib/batteries/batOption.cmti
- lib/batteries/batOption.cmt
- lib/batteries/batOption.cmi
- lib/batteries/batOptParse.mli
- lib/batteries/batOptParse.cmx
- lib/batteries/batOptParse.cmti
- lib/batteries/batOptParse.cmt
- lib/batteries/batOptParse.cmi
- lib/batteries/batOpaqueInnerSys.cmx
- lib/batteries/batOpaqueInnerSys.cmt
- lib/batteries/batOpaqueInnerSys.cmi
- lib/batteries/batNumber.mli
- lib/batteries/batNumber.cmx
- lib/batteries/batNumber.cmti
- lib/batteries/batNumber.cmt
- lib/batteries/batNumber.cmi
- lib/batteries/batNum.mli
- lib/batteries/batNum.cmx
- lib/batteries/batNum.cmti
- lib/batteries/batNum.cmt
- lib/batteries/batNum.cmi
- lib/batteries/batNativeint.mli
- lib/batteries/batNativeint.cmx
- lib/batteries/batNativeint.cmti
- lib/batteries/batNativeint.cmt
- lib/batteries/batNativeint.cmi
- lib/batteries/batMutex.mli
- lib/batteries/batMutex.cmx
- lib/batteries/batMutex.cmti
- lib/batteries/batMutex.cmt
- lib/batteries/batMutex.cmi
- lib/batteries/batMultiPMap.mli
- lib/batteries/batMultiPMap.cmx
- lib/batteries/batMultiPMap.cmti
- lib/batteries/batMultiPMap.cmt
- lib/batteries/batMultiPMap.cmi
- lib/batteries/batMultiMap.mli
- lib/batteries/batMultiMap.cmx
- lib/batteries/batMultiMap.cmti
- lib/batteries/batMultiMap.cmt
- lib/batteries/batMultiMap.cmi
- lib/batteries/batMarshal.mli
- lib/batteries/batMarshal.cmx
- lib/batteries/batMarshal.cmti
- lib/batteries/batMarshal.cmt
- lib/batteries/batMarshal.cmi
- lib/batteries/batMap.mli
- lib/batteries/batMap.cmx
- lib/batteries/batMap.cmti
- lib/batteries/batMap.cmt
- lib/batteries/batMap.cmi
- lib/batteries/batLogger.mli
- lib/batteries/batLogger.cmx
- lib/batteries/batLogger.cmti
- lib/batteries/batLogger.cmt
- lib/batteries/batLogger.cmi
- lib/batteries/batLog.mli
- lib/batteries/batLog.cmx
- lib/batteries/batLog.cmti
- lib/batteries/batLog.cmt
- lib/batteries/batLog.cmi
- lib/batteries/batList.mli
- lib/batteries/batList.cmx
- lib/batteries/batList.cmti
- lib/batteries/batList.cmt
- lib/batteries/batList.cmi
- lib/batteries/batLexing.mli
- lib/batteries/batLexing.cmx
- lib/batteries/batLexing.cmti
- lib/batteries/batLexing.cmt
- lib/batteries/batLexing.cmi
- lib/batteries/batLazyList.mli
- lib/batteries/batLazyList.cmx
- lib/batteries/batLazyList.cmti
- lib/batteries/batLazyList.cmt
- lib/batteries/batLazyList.cmi
- lib/batteries/batInterfaces.mli
- lib/batteries/batInterfaces.cmx
- lib/batteries/batInterfaces.cmti
- lib/batteries/batInterfaces.cmt
- lib/batteries/batInterfaces.cmi
- lib/batteries/batInt64.mli
- lib/batteries/batInt64.cmx
- lib/batteries/batInt64.cmti
- lib/batteries/batInt64.cmt
- lib/batteries/batInt64.cmi
- lib/batteries/batInt32.mli
- lib/batteries/batInt32.cmx
- lib/batteries/batInt32.cmti
- lib/batteries/batInt32.cmt
- lib/batteries/batInt32.cmi
- lib/batteries/batInt.mli
- lib/batteries/batInt.cmx
- lib/batteries/batInt.cmti
- lib/batteries/batInt.cmt
- lib/batteries/batInt.cmi
- lib/batteries/batInnerWeaktbl.mli
- lib/batteries/batInnerWeaktbl.cmx
- lib/batteries/batInnerWeaktbl.cmti
- lib/batteries/batInnerWeaktbl.cmt
- lib/batteries/batInnerWeaktbl.cmi
- lib/batteries/batInnerShuffle.cmx
- lib/batteries/batInnerShuffle.cmt
- lib/batteries/batInnerShuffle.cmi
- lib/batteries/batInnerPervasives.cmx
- lib/batteries/batInnerPervasives.cmt
- lib/batteries/batInnerPervasives.cmi
- lib/batteries/batInnerIO.mli
- lib/batteries/batInnerIO.cmx
- lib/batteries/batInnerIO.cmti
- lib/batteries/batInnerIO.cmt
- lib/batteries/batInnerIO.cmi
- lib/batteries/batISet.mli
- lib/batteries/batISet.cmx
- lib/batteries/batISet.cmti
- lib/batteries/batISet.cmt
- lib/batteries/batISet.cmi
- lib/batteries/batIO.mli
- lib/batteries/batIO.cmx
- lib/batteries/batIO.cmti
- lib/batteries/batIO.cmt
- lib/batteries/batIO.cmi
- lib/batteries/batIMap.mli
- lib/batteries/batIMap.cmx
- lib/batteries/batIMap.cmti
- lib/batteries/batIMap.cmt
- lib/batteries/batIMap.cmi
- lib/batteries/batHeap.mli
- lib/batteries/batHeap.cmx
- lib/batteries/batHeap.cmti
- lib/batteries/batHeap.cmt
- lib/batteries/batHeap.cmi
- lib/batteries/batHashtbl.mli
- lib/batteries/batHashtbl.cmx
- lib/batteries/batHashtbl.cmti
- lib/batteries/batHashtbl.cmt
- lib/batteries/batHashtbl.cmi
- lib/batteries/batHashcons.mli
- lib/batteries/batHashcons.cmx
- lib/batteries/batHashcons.cmti
- lib/batteries/batHashcons.cmt
- lib/batteries/batHashcons.cmi
- lib/batteries/batGlobal.mli
- lib/batteries/batGlobal.cmx
- lib/batteries/batGlobal.cmti
- lib/batteries/batGlobal.cmt
- lib/batteries/batGlobal.cmi
- lib/batteries/batGenlex.mli
- lib/batteries/batGenlex.cmx
- lib/batteries/batGenlex.cmti
- lib/batteries/batGenlex.cmt
- lib/batteries/batGenlex.cmi
- lib/batteries/batGc.mli
- lib/batteries/batGc.cmx
- lib/batteries/batGc.cmti
- lib/batteries/batGc.cmt
- lib/batteries/batGc.cmi
- lib/batteries/batFormat.mli
- lib/batteries/batFormat.cmx
- lib/batteries/batFormat.cmti
- lib/batteries/batFormat.cmt
- lib/batteries/batFormat.cmi
- lib/batteries/batFloat.mli
- lib/batteries/batFloat.cmx
- lib/batteries/batFloat.cmti
- lib/batteries/batFloat.cmt
- lib/batteries/batFloat.cmi
- lib/batteries/batFingerTree.mli
- lib/batteries/batFingerTree.cmx
- lib/batteries/batFingerTree.cmti
- lib/batteries/batFingerTree.cmt
- lib/batteries/batFingerTree.cmi
- lib/batteries/batFilename.mli
- lib/batteries/batFilename.cmx
- lib/batteries/batFilename.cmti
- lib/batteries/batFilename.cmt
- lib/batteries/batFilename.cmi
- lib/batteries/batFile.mli
- lib/batteries/batFile.cmx
- lib/batteries/batFile.cmti
- lib/batteries/batFile.cmt
- lib/batteries/batFile.cmi
- lib/batteries/batEnum.mli
- lib/batteries/batEnum.cmx
- lib/batteries/batEnum.cmti
- lib/batteries/batEnum.cmt
- lib/batteries/batEnum.cmi
- lib/batteries/batDynArray.mli
- lib/batteries/batDynArray.cmx
- lib/batteries/batDynArray.cmti
- lib/batteries/batDynArray.cmt
- lib/batteries/batDynArray.cmi
- lib/batteries/batDllist.mli
- lib/batteries/batDllist.cmx
- lib/batteries/batDllist.cmti
- lib/batteries/batDllist.cmt
- lib/batteries/batDllist.cmi
- lib/batteries/batDigest.mli
- lib/batteries/batDigest.cmx
- lib/batteries/batDigest.cmti
- lib/batteries/batDigest.cmt
- lib/batteries/batDigest.cmi
- lib/batteries/batDeque.mli
- lib/batteries/batDeque.cmx
- lib/batteries/batDeque.cmti
- lib/batteries/batDeque.cmt
- lib/batteries/batDeque.cmi
- lib/batteries/batConcurrent.mli
- lib/batteries/batConcurrent.cmx
- lib/batteries/batConcurrent.cmti
- lib/batteries/batConcurrent.cmt
- lib/batteries/batConcurrent.cmi
- lib/batteries/batConcreteQueue.cmx
- lib/batteries/batConcreteQueue.cmt
- lib/batteries/batConcreteQueue.cmi
- lib/batteries/batComplex.mli
- lib/batteries/batComplex.cmx
- lib/batteries/batComplex.cmti
- lib/batteries/batComplex.cmt
- lib/batteries/batComplex.cmi
- lib/batteries/batCharParser.mli
- lib/batteries/batCharParser.cmx
- lib/batteries/batCharParser.cmti
- lib/batteries/batCharParser.cmt
- lib/batteries/batCharParser.cmi
- lib/batteries/batChar.mli
- lib/batteries/batChar.cmx
- lib/batteries/batChar.cmti
- lib/batteries/batChar.cmt
- lib/batteries/batChar.cmi
- lib/batteries/batCache.mli
- lib/batteries/batCache.cmx
- lib/batteries/batCache.cmti
- lib/batteries/batCache.cmt
- lib/batteries/batCache.cmi
- lib/batteries/batBytesCompat.cmx
- lib/batteries/batBytesCompat.cmt
- lib/batteries/batBytesCompat.cmi
- lib/batteries/batBytes.mli
- lib/batteries/batBytes.cmx
- lib/batteries/batBytes.cmti
- lib/batteries/batBytes.cmt
- lib/batteries/batBytes.cmi
- lib/batteries/batBuffer.mli
- lib/batteries/batBuffer.cmx
- lib/batteries/batBuffer.cmti
- lib/batteries/batBuffer.cmt
- lib/batteries/batBuffer.cmi
- lib/batteries/batBounded.mli
- lib/batteries/batBounded.cmx
- lib/batteries/batBounded.cmti
- lib/batteries/batBounded.cmt
- lib/batteries/batBounded.cmi
- lib/batteries/batBool.mli
- lib/batteries/batBool.cmx
- lib/batteries/batBool.cmti
- lib/batteries/batBool.cmt
- lib/batteries/batBool.cmi
- lib/batteries/batBitSet.mli
- lib/batteries/batBitSet.cmx
- lib/batteries/batBitSet.cmti
- lib/batteries/batBitSet.cmt
- lib/batteries/batBitSet.cmi
- lib/batteries/batBigarray.mli
- lib/batteries/batBigarray.cmx
- lib/batteries/batBigarray.cmti
- lib/batteries/batBigarray.cmt
- lib/batteries/batBigarray.cmi
- lib/batteries/batBig_int.mli
- lib/batteries/batBig_int.cmx
- lib/batteries/batBig_int.cmti
- lib/batteries/batBig_int.cmt
- lib/batteries/batBig_int.cmi
- lib/batteries/batBase64.mli
- lib/batteries/batBase64.cmx
- lib/batteries/batBase64.cmti
- lib/batteries/batBase64.cmt
- lib/batteries/batBase64.cmi
- lib/batteries/batAvlTree.mli
- lib/batteries/batAvlTree.cmx
- lib/batteries/batAvlTree.cmti
- lib/batteries/batAvlTree.cmt
- lib/batteries/batAvlTree.cmi
- lib/batteries/batArray.mli
- lib/batteries/batArray.cmx
- lib/batteries/batArray.cmti
- lib/batteries/batArray.cmt
- lib/batteries/batArray.cmi
- lib/batteries/META
[NOTE] While removing batteries.3.0.0: not removing non-empty directories:
- lib/batteries
⊘ removed batteries.3.0.0
⊘ removed bisect_ppx.dev
[WARNING] While removing camlp5.7.11: not removing files that changed since:
- man/man1/camlp5.1
- lib/camlp5/versdep.cmx
- lib/camlp5/versdep.cmi
- lib/camlp5/token.mli
- lib/camlp5/token.cmx
- lib/camlp5/token.cmi
- lib/camlp5/stdpp.mli
- lib/camlp5/stdpp.cmx
- lib/camlp5/stdpp.cmi
- lib/camlp5/reloc.mli
- lib/camlp5/reloc.cmi
- lib/camlp5/quotation.mli
- lib/camlp5/quotation.cmi
- lib/camlp5/q_phony.o
- lib/camlp5/q_phony.cmx
- lib/camlp5/q_phony.cmo
- lib/camlp5/q_ast.o
- lib/camlp5/q_ast.cmx
- lib/camlp5/q_ast.cmo
- lib/camlp5/q_MLast.o
- lib/camlp5/q_MLast.cmx
- lib/camlp5/q_MLast.cmo
- lib/camlp5/prtools.mli
- lib/camlp5/prtools.cmi
- lib/camlp5/pretty.mli
- lib/camlp5/pretty.cmx
- lib/camlp5/pretty.cmi
- lib/camlp5/pr_schemep.o
- lib/camlp5/pr_schemep.cmx
- lib/camlp5/pr_schemep.cmo
- lib/camlp5/pr_scheme.o
- lib/camlp5/pr_scheme.cmx
- lib/camlp5/pr_scheme.cmo
- lib/camlp5/pr_rp.o
- lib/camlp5/pr_rp.cmx
- lib/camlp5/pr_rp.cmo
- lib/camlp5/pr_ro.o
- lib/camlp5/pr_ro.cmx
- lib/camlp5/pr_ro.cmo
- lib/camlp5/pr_r.o
- lib/camlp5/pr_r.cmx
- lib/camlp5/pr_r.cmo
- lib/camlp5/pr_op.o
- lib/camlp5/pr_op.cmx
- lib/camlp5/pr_op.cmo
- lib/camlp5/pr_o.o
- lib/camlp5/pr_o.cmx
- lib/camlp5/pr_o.cmo
- lib/camlp5/pr_null.o
- lib/camlp5/pr_null.cmx
- lib/camlp5/pr_null.cmo
- lib/camlp5/pr_extprint.o
- lib/camlp5/pr_extprint.cmx
- lib/camlp5/pr_extprint.cmo
- lib/camlp5/pr_extfun.o
- lib/camlp5/pr_extfun.cmx
- lib/camlp5/pr_extfun.cmo
- lib/camlp5/pr_extend.o
- lib/camlp5/pr_extend.cmx
- lib/camlp5/pr_extend.cmo
- lib/camlp5/pr_dump.o
- lib/camlp5/pr_dump.cmx
- lib/camlp5/pr_dump.cmo
- lib/camlp5/pr_depend.o
- lib/camlp5/pr_depend.cmx
- lib/camlp5/pr_depend.cmo
- lib/camlp5/pprintf.mli
- lib/camlp5/pprintf.cmx
- lib/camlp5/pprintf.cmi
- lib/camlp5/ploc.mli
- lib/camlp5/ploc.cmx
- lib/camlp5/ploc.cmi
- lib/camlp5/plexing.mli
- lib/camlp5/plexing.cmx
- lib/camlp5/plexing.cmi
- lib/camlp5/plexer.mli
- lib/camlp5/plexer.cmx
- lib/camlp5/plexer.cmi
- lib/camlp5/pcaml.mli
- lib/camlp5/pcaml.cmi
- lib/camlp5/pa_sml.o
- lib/camlp5/pa_sml.cmx
- lib/camlp5/pa_sml.cmo
- lib/camlp5/pa_scheme.o
- lib/camlp5/pa_scheme.cmx
- lib/camlp5/pa_scheme.cmo
- lib/camlp5/pa_rp.o
- lib/camlp5/pa_rp.cmx
- lib/camlp5/pa_rp.cmo
- lib/camlp5/pa_reloc.o
- lib/camlp5/pa_reloc.cmx
- lib/camlp5/pa_reloc.cmo
- lib/camlp5/pa_r.o
- lib/camlp5/pa_r.cmx
- lib/camlp5/pa_r.cmo
- lib/camlp5/pa_pragma.o
- lib/camlp5/pa_pragma.cmx
- lib/camlp5/pa_pragma.cmo
- lib/camlp5/pa_pprintf.o
- lib/camlp5/pa_pprintf.cmx
- lib/camlp5/pa_pprintf.cmo
- lib/camlp5/pa_op.o
- lib/camlp5/pa_op.cmx
- lib/camlp5/pa_op.cmo
- lib/camlp5/pa_oop.o
- lib/camlp5/pa_oop.cmx
- lib/camlp5/pa_oop.cmo
- lib/camlp5/pa_o_fast.o
- lib/camlp5/pa_o_fast.cmx
- lib/camlp5/pa_o.o
- lib/camlp5/pa_o.cmx
- lib/camlp5/pa_o.cmo
- lib/camlp5/pa_mktest.o
- lib/camlp5/pa_mktest.cmx
- lib/camlp5/pa_mktest.cmo
- lib/camlp5/pa_mkast.o
- lib/camlp5/pa_mkast.cmx
- lib/camlp5/pa_mkast.cmo
- lib/camlp5/pa_macro_print.o
- lib/camlp5/pa_macro_print.cmx
- lib/camlp5/pa_macro_print.cmo
- lib/camlp5/pa_macro_gram.o
- lib/camlp5/pa_macro_gram.cmx
- lib/camlp5/pa_macro_gram.cmo
- lib/camlp5/pa_macro_gram.cmi
- lib/camlp5/pa_macro.o
- lib/camlp5/pa_macro.cmx
- lib/camlp5/pa_macro.cmo
- lib/camlp5/pa_macro.cmi
- lib/camlp5/pa_lisp.o
- lib/camlp5/pa_lisp.cmx
- lib/camlp5/pa_lisp.cmo
- lib/camlp5/pa_lexer.o
- lib/camlp5/pa_lexer.cmx
- lib/camlp5/pa_lexer.cmo
- lib/camlp5/pa_lefteval.o
- lib/camlp5/pa_lefteval.cmx
- lib/camlp5/pa_lefteval.cmo
- lib/camlp5/pa_fstream.o
- lib/camlp5/pa_fstream.cmx
- lib/camlp5/pa_fstream.cmo
- lib/camlp5/pa_extprint.o
- lib/camlp5/pa_extprint.cmx
- lib/camlp5/pa_extprint.cmo
- lib/camlp5/pa_extfun.o
- lib/camlp5/pa_extfun.cmx
- lib/camlp5/pa_extfun.cmo
- lib/camlp5/pa_extfold.o
- lib/camlp5/pa_extfold.cmx
- lib/camlp5/pa_extfold.cmo
- lib/camlp5/pa_extend_m.o
- lib/camlp5/pa_extend_m.cmx
- lib/camlp5/pa_extend_m.cmo
- lib/camlp5/pa_extend.o
- lib/camlp5/pa_extend.cmx
- lib/camlp5/pa_extend.cmo
- lib/camlp5/pa_extend.cmi
- lib/camlp5/odyl.o
- lib/camlp5/odyl.cmxa
- lib/camlp5/odyl.cmx
- lib/camlp5/odyl.cmo
- lib/camlp5/odyl.cma
- lib/camlp5/odyl.a
- lib/camlp5/ocpp.cmo
- lib/camlp5/mLast.mli
- lib/camlp5/mLast.cmi
- lib/camlp5/lib.sml
- lib/camlp5/grammar.mli
- lib/camlp5/grammar.cmx
- lib/camlp5/grammar.cmi
- lib/camlp5/gramlib.cmxa
- lib/camlp5/gramlib.cma
- lib/camlp5/gramext.mli
- lib/camlp5/gramext.cmx
- lib/camlp5/gramext.cmi
- lib/camlp5/fstream.mli
- lib/camlp5/fstream.cmx
- lib/camlp5/fstream.cmi
- lib/camlp5/extfun.mli
- lib/camlp5/extfun.cmx
- lib/camlp5/extfun.cmi
- lib/camlp5/extfold.mli
- lib/camlp5/extfold.cmx
- lib/camlp5/extfold.cmi
- lib/camlp5/eprinter.mli
- lib/camlp5/eprinter.cmx
- lib/camlp5/eprinter.cmi
- lib/camlp5/diff.mli
- lib/camlp5/diff.cmx
- lib/camlp5/diff.cmi
- lib/camlp5/camlp5sch.cma
- lib/camlp5/camlp5r.cma
- lib/camlp5/camlp5o.cma
- lib/camlp5/camlp5_top.cma
- lib/camlp5/camlp5.cmxa
- lib/camlp5/camlp5.cma
- lib/camlp5/camlp5.a
- lib/camlp5/ast2pt.mli
- lib/camlp5/ast2pt.cmi
- lib/camlp5/META
- bin/ocpp5
- bin/mkcamlp5.opt
- bin/mkcamlp5
- bin/camlp5sch
- bin/camlp5r.opt
- bin/camlp5r
- bin/camlp5o.opt
- bin/camlp5o
- bin/camlp5
[NOTE] While removing camlp5.7.11: not removing non-empty directories:
- lib/camlp5
⊘ removed camlp5.7.11
⊘ removed coq.8.13.2
⊘ removed core_bench.v0.12.0
⊘ removed cppo_ocamlbuild.1.6.6
⊘ removed hashcons.1.3
⊘ removed jbuilder.1.0+beta20.2
⊘ removed js_of_ocaml-ppx.3.7.1
⊘ removed js_of_ocaml.3.7.1
⊘ removed js_of_ocaml-compiler.3.7.1
⊘ removed lablgtk3-sourceview3.3.1.0
⊘ removed lablgtk3.3.1.0
⊘ removed cairo2.0.6.1
[WARNING] While removing menhir.20190924: not removing files that changed since:
- man/man1/menhir.1
- lib/menhirSdk/menhirSdk.cmxs
- lib/menhirSdk/menhirSdk.cmo
- lib/menhirSdk/menhirSdk.cmi
- lib/menhirSdk/META
- lib/menhirLib/menhirLib.o
- lib/menhirLib/menhirLib.mli
- lib/menhirLib/menhirLib.ml
- lib/menhirLib/menhirLib.cmxs
- lib/menhirLib/menhirLib.cmx
- lib/menhirLib/menhirLib.cmo
- lib/menhirLib/menhirLib.cmi
- lib/menhirLib/META
- doc/menhir/manual003.png
- doc/menhir/manual002.png
- doc/menhir/manual001.png
- doc/menhir/manual.pdf
- doc/menhir/manual.html
- doc/menhir/demos/obsolete/ocamldep.wrapper
- doc/menhir/demos/obsolete/Makefile.shared
- doc/menhir/demos/obsolete/Makefile.calc-two
- doc/menhir/demos/obsolete/Makefile.auto
- doc/menhir/demos/generate-printers/generate.ml
- doc/menhir/demos/generate-printers/_tags
- doc/menhir/demos/generate-printers/README.md
- doc/menhir/demos/generate-printers/Makefile
- doc/menhir/demos/generate-printers/.merlin
- doc/menhir/demos/generate-printers/.gitignore
- doc/menhir/demos/generate-printers-dune/generate.ml
- doc/menhir/demos/generate-printers-dune/dune-project
- doc/menhir/demos/generate-printers-dune/dune
- doc/menhir/demos/generate-printers-dune/README.md
- doc/menhir/demos/generate-printers-dune/Makefile
- doc/menhir/demos/generate-printers-dune/.gitignore
- doc/menhir/demos/coq-minicalc/_CoqProject
- doc/menhir/demos/coq-minicalc/README.md
- doc/menhir/demos/coq-minicalc/Parser.vy
- doc/menhir/demos/coq-minicalc/MiniCalc.v
- doc/menhir/demos/coq-minicalc/Makefile
- doc/menhir/demos/coq-minicalc/Lexer.v
- doc/menhir/demos/calc/parser.mly
- doc/menhir/demos/calc/lexer.mll
- doc/menhir/demos/calc/calc.ml
- doc/menhir/demos/calc/README
- doc/menhir/demos/calc/Makefile
- doc/menhir/demos/calc/.merlin
- doc/menhir/demos/calc/.gitignore
- doc/menhir/demos/calc-two/tokens.mlypack
- doc/menhir/demos/calc-two/tokens.mly
- doc/menhir/demos/calc-two/reverse.mlypack
- doc/menhir/demos/calc-two/reverse.mly
- doc/menhir/demos/calc-two/myocamlbuild.ml
- doc/menhir/demos/calc-two/lexer.mll
- doc/menhir/demos/calc-two/common.mly
- doc/menhir/demos/calc-two/calc.ml
- doc/menhir/demos/calc-two/algebraic.mlypack
- doc/menhir/demos/calc-two/algebraic.mly
- doc/menhir/demos/calc-two/_tags
- doc/menhir/demos/calc-two/README
- doc/menhir/demos/calc-two/Makefile
- doc/menhir/demos/calc-two/.merlin
- doc/menhir/demos/calc-two/.gitignore
- doc/menhir/demos/calc-two-dune/tokens.mlypack
- doc/menhir/demos/calc-two-dune/tokens.mly
- doc/menhir/demos/calc-two-dune/reverse.mlypack
- doc/menhir/demos/calc-two-dune/reverse.mly
- doc/menhir/demos/calc-two-dune/lexer.mll
- doc/menhir/demos/calc-two-dune/dune-project
- doc/menhir/demos/calc-two-dune/dune
- doc/menhir/demos/calc-two-dune/common.mly
- doc/menhir/demos/calc-two-dune/calc.ml
- doc/menhir/demos/calc-two-dune/algebraic.mlypack
- doc/menhir/demos/calc-two-dune/algebraic.mly
- doc/menhir/demos/calc-two-dune/README
- doc/menhir/demos/calc-two-dune/Makefile
- doc/menhir/demos/calc-two-dune/.gitignore
- doc/menhir/demos/calc-param/tokens.mlypack
- doc/menhir/demos/calc-param/tokens.mly
- doc/menhir/demos/calc-param/parser.mlypack
- doc/menhir/demos/calc-param/parser.mly
- doc/menhir/demos/calc-param/myocamlbuild.ml
- doc/menhir/demos/calc-param/lexer.mll
- doc/menhir/demos/calc-param/calc.ml
- doc/menhir/demos/calc-param/_tags
- doc/menhir/demos/calc-param/README
- doc/menhir/demos/calc-param/Makefile
- doc/menhir/demos/calc-param/.merlin
- doc/menhir/demos/calc-param/.gitignore
- doc/menhir/demos/calc-param-dune/tokens.mly
- doc/menhir/demos/calc-param-dune/parser.mly
- doc/menhir/demos/calc-param-dune/lexer.mll
- doc/menhir/demos/calc-param-dune/dune-project
- doc/menhir/demos/calc-param-dune/dune
- doc/menhir/demos/calc-param-dune/calc.ml
- doc/menhir/demos/calc-param-dune/README
- doc/menhir/demos/calc-param-dune/Makefile
- doc/menhir/demos/calc-param-dune/.gitignore
- doc/menhir/demos/calc-new-syntax-dune/parser.mly
- doc/menhir/demos/calc-new-syntax-dune/lexer.mll
- doc/menhir/demos/calc-new-syntax-dune/dune-project
- doc/menhir/demos/calc-new-syntax-dune/dune
- doc/menhir/demos/calc-new-syntax-dune/calc.ml
- doc/menhir/demos/calc-new-syntax-dune/README.md
- doc/menhir/demos/calc-new-syntax-dune/Makefile
- doc/menhir/demos/calc-new-syntax-dune/.gitignore
- doc/menhir/demos/calc-inspection/parser.mly
- doc/menhir/demos/calc-inspection/lexer.mll
- doc/menhir/demos/calc-inspection/calc.ml
- doc/menhir/demos/calc-inspection/README
- doc/menhir/demos/calc-inspection/Makefile
- doc/menhir/demos/calc-inspection/ErrorReporting.mli
- doc/menhir/demos/calc-inspection/ErrorReporting.ml
- doc/menhir/demos/calc-inspection/CalcPrinters.mli
- doc/menhir/demos/calc-inspection/CalcPrinters.ml
- doc/menhir/demos/calc-inspection/CalcErrorReporting.mli
- doc/menhir/demos/calc-inspection/CalcErrorReporting.ml
- doc/menhir/demos/calc-inspection/.merlin
- doc/menhir/demos/calc-inspection/.gitignore
- doc/menhir/demos/calc-inspection-dune/parser.mly
- doc/menhir/demos/calc-inspection-dune/lexer.mll
- doc/menhir/demos/calc-inspection-dune/dune-project
- doc/menhir/demos/calc-inspection-dune/dune
- doc/menhir/demos/calc-inspection-dune/calc.ml
- doc/menhir/demos/calc-inspection-dune/README
- doc/menhir/demos/calc-inspection-dune/Makefile
- doc/menhir/demos/calc-inspection-dune/ErrorReporting.mli
- doc/menhir/demos/calc-inspection-dune/ErrorReporting.ml
- doc/menhir/demos/calc-inspection-dune/CalcPrinters.mli
- doc/menhir/demos/calc-inspection-dune/CalcPrinters.ml
- doc/menhir/demos/calc-inspection-dune/CalcErrorReporting.mli
- doc/menhir/demos/calc-inspection-dune/CalcErrorReporting.ml
- doc/menhir/demos/calc-inspection-dune/.gitignore
- doc/menhir/demos/calc-incremental/parser.mly
- doc/menhir/demos/calc-incremental/lexer.mll
- doc/menhir/demos/calc-incremental/calc.ml
- doc/menhir/demos/calc-incremental/README
- doc/menhir/demos/calc-incremental/Makefile
- doc/menhir/demos/calc-incremental/.merlin
- doc/menhir/demos/calc-incremental/.gitignore
- doc/menhir/demos/calc-incremental-dune/parser.mly
- doc/menhir/demos/calc-incremental-dune/lexer.mll
- doc/menhir/demos/calc-incremental-dune/dune-project
- doc/menhir/demos/calc-incremental-dune/dune
- doc/menhir/demos/calc-incremental-dune/calc.ml
- doc/menhir/demos/calc-incremental-dune/README.md
- doc/menhir/demos/calc-incremental-dune/Makefile
- doc/menhir/demos/calc-incremental-dune/.gitignore
- doc/menhir/demos/calc-dune/parser.mly
- doc/menhir/demos/calc-dune/lexer.mll
- doc/menhir/demos/calc-dune/dune-project
- doc/menhir/demos/calc-dune/dune
- doc/menhir/demos/calc-dune/calc.ml
- doc/menhir/demos/calc-dune/README.md
- doc/menhir/demos/calc-dune/Makefile
- doc/menhir/demos/calc-dune/.gitignore
- doc/menhir/demos/calc-ast-dune/syntax.ml
- doc/menhir/demos/calc-ast-dune/parser.mly
- doc/menhir/demos/calc-ast-dune/lexer.mll
- doc/menhir/demos/calc-ast-dune/dune-project
- doc/menhir/demos/calc-ast-dune/dune
- doc/menhir/demos/calc-ast-dune/calc.ml
- doc/menhir/demos/calc-ast-dune/README.md
- doc/menhir/demos/calc-ast-dune/Makefile
- doc/menhir/demos/calc-ast-dune/.gitignore
- doc/menhir/demos/calc-alias/parser.mly
- doc/menhir/demos/calc-alias/lexer.mll
- doc/menhir/demos/calc-alias/calc.ml
- doc/menhir/demos/calc-alias/README
- doc/menhir/demos/calc-alias/Makefile
- doc/menhir/demos/calc-alias/.merlin
- doc/menhir/demos/calc-alias/.gitignore
- doc/menhir/demos/Makefile
- bin/menhir
[NOTE] While removing menhir.20190924: not removing non-empty directories:
- lib/menhirSdk
- lib/menhirLib
- doc/menhir/demos/obsolete
- doc/menhir/demos/generate-printers-dune
- doc/menhir/demos/coq-minicalc
- doc/menhir/demos/calc-two-dune
- doc/menhir/demos/calc-param-dune
- doc/menhir/demos/calc-new-syntax-dune
- doc/menhir/demos/calc-inspection-dune
- doc/menhir/demos/calc-incremental-dune
- doc/menhir/demos/calc-dune
- doc/menhir/demos/calc-ast-dune
- doc/menhir/demos/calc-alias
⊘ removed menhir.20190924
⊘ removed merlin.3.3.3
⊘ removed ocamlgraph.1.8.8
[WARNING] While removing lablgtk.2.18.10: not removing files that changed since:
- lib/stublibs/dlllablrsvg.so.owner
- lib/stublibs/dlllablrsvg.so
- lib/stublibs/dlllablgtksourceview2.so.owner
- lib/stublibs/dlllablgtksourceview2.so
- lib/stublibs/dlllablgtk2.so.owner
- lib/stublibs/dlllablgtk2.so
- lib/lablgtk2/varcc
- lib/lablgtk2/sourceView2_tags.h
- lib/lablgtk2/sourceView2Enums.ml
- lib/lablgtk2/sourceView2Enums.cmx
- lib/lablgtk2/sourceView2Enums.cmi
- lib/lablgtk2/rsvg.cmx
- lib/lablgtk2/rsvg.cmi
- lib/lablgtk2/propcc
- lib/lablgtk2/pango_tags.h
- lib/lablgtk2/pangoEnums.ml
- lib/lablgtk2/pangoEnums.cmx
- lib/lablgtk2/pangoEnums.cmi
- lib/lablgtk2/pango.cmx
- lib/lablgtk2/pango.cmi
- lib/lablgtk2/ogtkTreeProps.ml
- lib/lablgtk2/ogtkTreeProps.cmx
- lib/lablgtk2/ogtkTreeProps.cmi
- lib/lablgtk2/ogtkTextProps.ml
- lib/lablgtk2/ogtkTextProps.cmx
- lib/lablgtk2/ogtkTextProps.cmi
- lib/lablgtk2/ogtkRangeProps.ml
- lib/lablgtk2/ogtkRangeProps.cmx
- lib/lablgtk2/ogtkRangeProps.cmi
- lib/lablgtk2/ogtkPackProps.ml
- lib/lablgtk2/ogtkPackProps.cmx
- lib/lablgtk2/ogtkPackProps.cmi
- lib/lablgtk2/ogtkMiscProps.ml
- lib/lablgtk2/ogtkMiscProps.cmx
- lib/lablgtk2/ogtkMiscProps.cmi
- lib/lablgtk2/ogtkMenuProps.ml
- lib/lablgtk2/ogtkMenuProps.cmx
- lib/lablgtk2/ogtkMenuProps.cmi
- lib/lablgtk2/ogtkListProps.ml
- lib/lablgtk2/ogtkListProps.cmx
- lib/lablgtk2/ogtkListProps.cmi
- lib/lablgtk2/ogtkFileProps.ml
- lib/lablgtk2/ogtkFileProps.cmx
- lib/lablgtk2/ogtkFileProps.cmi
- lib/lablgtk2/ogtkEditProps.ml
- lib/lablgtk2/ogtkEditProps.cmx
- lib/lablgtk2/ogtkEditProps.cmi
- lib/lablgtk2/ogtkButtonProps.ml
- lib/lablgtk2/ogtkButtonProps.cmx
- lib/lablgtk2/ogtkButtonProps.cmi
- lib/lablgtk2/ogtkBrokenProps.ml
- lib/lablgtk2/ogtkBrokenProps.cmx
- lib/lablgtk2/ogtkBrokenProps.cmi
- lib/lablgtk2/ogtkBinProps.ml
- lib/lablgtk2/ogtkBinProps.cmx
- lib/lablgtk2/ogtkBinProps.cmi
- lib/lablgtk2/ogtkBaseProps.ml
- lib/lablgtk2/ogtkBaseProps.cmx
- lib/lablgtk2/ogtkBaseProps.cmi
- lib/lablgtk2/ogtkAssistantProps.ml
- lib/lablgtk2/ogtkAssistantProps.cmx
- lib/lablgtk2/ogtkAssistantProps.cmi
- lib/lablgtk2/ogtkActionProps.ml
- lib/lablgtk2/ogtkActionProps.cmx
- lib/lablgtk2/ogtkActionProps.cmi
- lib/lablgtk2/liblablrsvg.a
- lib/lablgtk2/liblablgtksourceview2.a
- lib/lablgtk2/liblablgtk2.a
- lib/lablgtk2/lablrsvg.cmxs
- lib/lablgtk2/lablrsvg.cmxa
- lib/lablgtk2/lablrsvg.cma
- lib/lablgtk2/lablrsvg.a
- lib/lablgtk2/lablgtksourceview2.cmxs
- lib/lablgtk2/lablgtksourceview2.cmxa
- lib/lablgtk2/lablgtksourceview2.cma
- lib/lablgtk2/lablgtksourceview2.a
- lib/lablgtk2/lablgtk.cmxs
- lib/lablgtk2/lablgtk.cmxa
- lib/lablgtk2/lablgtk.cma
- lib/lablgtk2/lablgtk.a
- lib/lablgtk2/gutf8.cmx
- lib/lablgtk2/gutf8.cmi
- lib/lablgtk2/gtk_tags.h
- lib/lablgtk2/gtkWindow.cmx
- lib/lablgtk2/gtkWindow.cmi
- lib/lablgtk2/gtkTreeProps.ml
- lib/lablgtk2/gtkTreeProps.cmx
- lib/lablgtk2/gtkTreeProps.cmi
- lib/lablgtk2/gtkTree.cmx
- lib/lablgtk2/gtkTree.cmi
- lib/lablgtk2/gtkThread.o
- lib/lablgtk2/gtkThread.cmx
- lib/lablgtk2/gtkThread.cmo
- lib/lablgtk2/gtkThread.cmi
- lib/lablgtk2/gtkThInit.cmo
- lib/lablgtk2/gtkThInit.cmi
- lib/lablgtk2/gtkTextProps.ml
- lib/lablgtk2/gtkTextProps.cmx
- lib/lablgtk2/gtkTextProps.cmi
- lib/lablgtk2/gtkText.cmx
- lib/lablgtk2/gtkText.cmi
- lib/lablgtk2/gtkStock.cmx
- lib/lablgtk2/gtkStock.cmi
- lib/lablgtk2/gtkSourceView2.cmx
- lib/lablgtk2/gtkSourceView2.cmi
- lib/lablgtk2/gtkSignal.cmx
- lib/lablgtk2/gtkSignal.cmi
- lib/lablgtk2/gtkRangeProps.ml
- lib/lablgtk2/gtkRangeProps.cmx
- lib/lablgtk2/gtkRangeProps.cmi
- lib/lablgtk2/gtkRange.cmx
- lib/lablgtk2/gtkRange.cmi
- lib/lablgtk2/gtkPackProps.ml
- lib/lablgtk2/gtkPackProps.cmx
- lib/lablgtk2/gtkPackProps.cmi
- lib/lablgtk2/gtkPack.cmx
- lib/lablgtk2/gtkPack.cmi
- lib/lablgtk2/gtkObject.cmx
- lib/lablgtk2/gtkObject.cmi
- lib/lablgtk2/gtkMiscProps.ml
- lib/lablgtk2/gtkMiscProps.cmx
- lib/lablgtk2/gtkMiscProps.cmi
- lib/lablgtk2/gtkMisc.cmx
- lib/lablgtk2/gtkMisc.cmi
- lib/lablgtk2/gtkMenuProps.ml
- lib/lablgtk2/gtkMenuProps.cmx
- lib/lablgtk2/gtkMenuProps.cmi
- lib/lablgtk2/gtkMenu.cmx
- lib/lablgtk2/gtkMenu.cmi
- lib/lablgtk2/gtkMain.cmx
- lib/lablgtk2/gtkMain.cmi
- lib/lablgtk2/gtkListProps.ml
- lib/lablgtk2/gtkListProps.cmx
- lib/lablgtk2/gtkListProps.cmi
- lib/lablgtk2/gtkList.cmx
- lib/lablgtk2/gtkList.cmi
- lib/lablgtk2/gtkInit.o
- lib/lablgtk2/gtkInit.cmx
- lib/lablgtk2/gtkInit.cmo
- lib/lablgtk2/gtkInit.cmi
- lib/lablgtk2/gtkFileProps.ml
- lib/lablgtk2/gtkFileProps.cmx
- lib/lablgtk2/gtkFileProps.cmi
- lib/lablgtk2/gtkFile.cmx
- lib/lablgtk2/gtkFile.cmi
- lib/lablgtk2/gtkEnums.ml
- lib/lablgtk2/gtkEnums.cmx
- lib/lablgtk2/gtkEnums.cmi
- lib/lablgtk2/gtkEditProps.ml
- lib/lablgtk2/gtkEditProps.cmx
- lib/lablgtk2/gtkEditProps.cmi
- lib/lablgtk2/gtkEdit.cmx
- lib/lablgtk2/gtkEdit.cmi
- lib/lablgtk2/gtkData.cmx
- lib/lablgtk2/gtkData.cmi
- lib/lablgtk2/gtkButtonProps.ml
- lib/lablgtk2/gtkButtonProps.cmx
- lib/lablgtk2/gtkButtonProps.cmi
- lib/lablgtk2/gtkButton.cmx
- lib/lablgtk2/gtkButton.cmi
- lib/lablgtk2/gtkBrokenProps.ml
- lib/lablgtk2/gtkBrokenProps.cmx
- lib/lablgtk2/gtkBrokenProps.cmi
- lib/lablgtk2/gtkBroken.cmx
- lib/lablgtk2/gtkBroken.cmi
- lib/lablgtk2/gtkBinProps.ml
- lib/lablgtk2/gtkBinProps.cmx
- lib/lablgtk2/gtkBinProps.cmi
- lib/lablgtk2/gtkBin.cmx
- lib/lablgtk2/gtkBin.cmi
- lib/lablgtk2/gtkBaseProps.ml
- lib/lablgtk2/gtkBaseProps.cmx
- lib/lablgtk2/gtkBaseProps.cmi
- lib/lablgtk2/gtkBase.cmx
- lib/lablgtk2/gtkBase.cmi
- lib/lablgtk2/gtkAssistantProps.ml
- lib/lablgtk2/gtkAssistantProps.cmx
- lib/lablgtk2/gtkAssistantProps.cmi
- lib/lablgtk2/gtkAssistant.cmx
- lib/lablgtk2/gtkAssistant.cmi
- lib/lablgtk2/gtkActionProps.ml
- lib/lablgtk2/gtkActionProps.cmx
- lib/lablgtk2/gtkActionProps.cmi
- lib/lablgtk2/gtk.cmx
- lib/lablgtk2/gtk.cmi
- lib/lablgtk2/gpointer.cmx
- lib/lablgtk2/gpointer.cmi
- lib/lablgtk2/gobject_tags.h
- lib/lablgtk2/gobject.cmx
- lib/lablgtk2/gobject.cmi
- lib/lablgtk2/glib_tags.h
- lib/lablgtk2/glib.cmx
- lib/lablgtk2/glib.cmi
- lib/lablgtk2/gdkpixbuf_tags.h
- lib/lablgtk2/gdk_tags.h
- lib/lablgtk2/gdkPixbuf.cmx
- lib/lablgtk2/gdkPixbuf.cmi
- lib/lablgtk2/gdkKeysyms.cmx
- lib/lablgtk2/gdkKeysyms.cmi
- lib/lablgtk2/gdkEvent.cmx
- lib/lablgtk2/gdkEvent.cmi
- lib/lablgtk2/gdkEnums.ml
- lib/lablgtk2/gdkEnums.cmx
- lib/lablgtk2/gdkEnums.cmi
- lib/lablgtk2/gdk.cmx
- lib/lablgtk2/gdk.cmi
- lib/lablgtk2/gaux.cmx
- lib/lablgtk2/gaux.cmi
- lib/lablgtk2/gWindow.cmx
- lib/lablgtk2/gWindow.cmi
- lib/lablgtk2/gUtil.cmx
- lib/lablgtk2/gUtil.cmi
- lib/lablgtk2/gTree.cmx
- lib/lablgtk2/gTree.cmi
- lib/lablgtk2/gToolbox.cmx
- lib/lablgtk2/gToolbox.cmi
- lib/lablgtk2/gText.cmx
- lib/lablgtk2/gText.cmi
- lib/lablgtk2/gSourceView2.cmx
- lib/lablgtk2/gSourceView2.cmi
- lib/lablgtk2/gRange.cmx
- lib/lablgtk2/gRange.cmi
- lib/lablgtk2/gPango.cmx
- lib/lablgtk2/gPango.cmi
- lib/lablgtk2/gPack.cmx
- lib/lablgtk2/gPack.cmi
- lib/lablgtk2/gObj.cmx
- lib/lablgtk2/gObj.cmi
- lib/lablgtk2/gMisc.cmx
- lib/lablgtk2/gMisc.cmi
- lib/lablgtk2/gMenu.cmx
- lib/lablgtk2/gMenu.cmi
- lib/lablgtk2/gMain.cmx
- lib/lablgtk2/gMain.cmi
- lib/lablgtk2/gList.cmx
- lib/lablgtk2/gList.cmi
- lib/lablgtk2/gFile.cmx
- lib/lablgtk2/gFile.cmi
- lib/lablgtk2/gEdit.cmx
- lib/lablgtk2/gEdit.cmi
- lib/lablgtk2/gDraw.cmx
- lib/lablgtk2/gDraw.cmi
- lib/lablgtk2/gData.cmx
- lib/lablgtk2/gData.cmi
- lib/lablgtk2/gContainer.cmx
- lib/lablgtk2/gContainer.cmi
- lib/lablgtk2/gButton.cmx
- lib/lablgtk2/gButton.cmi
- lib/lablgtk2/gBroken.cmx
- lib/lablgtk2/gBroken.cmi
- lib/lablgtk2/gBin.cmx
- lib/lablgtk2/gBin.cmi
- lib/lablgtk2/gAssistant.cmx
- lib/lablgtk2/gAssistant.cmi
- lib/lablgtk2/gAction.cmx
- lib/lablgtk2/gAction.cmi
- lib/lablgtk2/build.ml
[NOTE] While removing lablgtk.2.18.10: not removing non-empty directories:
- lib/lablgtk2
⊘ removed lablgtk.2.18.10
⊘ removed ocp-indent.1.8.1
⊘ removed ounit.2.2.2
⊘ removed ounit2.2.2.2
⊘ removed patdiff.v0.12.1
⊘ removed core_extended.v0.12.0
⊘ removed expect_test_helpers.v0.12.0
⊘ removed async.v0.12.0
⊘ removed async_extra.v0.12.0
⊘ removed async_rpc_kernel.v0.12.0
⊘ removed async_unix.v0.12.0
⊘ removed async_kernel.v0.12.0
⊘ removed expect_test_helpers_kernel.v0.12.0
⊘ removed patience_diff.v0.12.0
⊘ removed pcap-format.0.5.2
⊘ removed pcre.7.4.1
⊘ removed pprint.20200316
⊘ removed ppx_cstruct.5.1.1
⊘ removed cstruct.5.1.1
⊘ removed bigarray-compat.1.0.0
⊘ removed ppx_deriving_yojson.3.5.2
⊘ removed ppx_deriving.4.4.1
⊘ removed ppx_import.1.7.1
⊘ removed ppx_tools.5.1+4.06.0
⊘ removed ppx_tools_versioned.5.3.0
⊘ removed ppxfind.1.3
⊘ removed protocol_version_header.v0.12.0
⊘ removed reactiveData.0.2.2
⊘ removed sexp_pretty.v0.12.0
⊘ removed shell.v0.12.0
⊘ removed re2.v0.12.1
⊘ removed stdint.0.6.0
⊘ removed stdlib-shims.0.1.0
⊘ removed textutils.v0.12.0
⊘ removed core.v0.12.4
⊘ removed core_kernel.v0.12.3
⊘ removed base_bigstring.v0.12.0
⊘ removed ppx_jane.v0.12.0
⊘ removed base_quickcheck.v0.12.1
⊘ removed ppx_bin_prot.v0.12.1
⊘ removed bin_prot.v0.12.0
⊘ removed ppx_expect.v0.12.0
⊘ removed ppx_custom_printf.v0.12.1
⊘ removed ppx_fail.v0.12.0
⊘ removed ppx_fields_conv.v0.12.0
⊘ removed fieldslib.v0.12.0
⊘ removed ppx_let.v0.12.0
⊘ removed ppx_module_timer.v0.12.0
⊘ removed ppx_optional.v0.12.0
⊘ removed ppx_pipebang.v0.12.0
⊘ removed ppx_sexp_value.v0.12.0
⊘ removed ppx_stable.v0.12.0
⊘ removed ppx_typerep_conv.v0.12.0
⊘ removed ppx_variants_conv.v0.12.0
⊘ removed sexplib.v0.12.0
[WARNING] While removing num.1.3: not removing files that changed since:
- lib/ocaml/stublibs/dllnums.so
- lib/ocaml/ratio.mli
- lib/ocaml/ratio.cmx
- lib/ocaml/ratio.cmti
- lib/ocaml/ratio.cmi
- lib/ocaml/nums.cmxs
- lib/ocaml/nums.cmxa
- lib/ocaml/nums.cma
- lib/ocaml/nums.a
- lib/ocaml/num.mli
- lib/ocaml/num.cmx
- lib/ocaml/num.cmti
- lib/ocaml/num.cmi
- lib/ocaml/nat.mli
- lib/ocaml/nat.cmx
- lib/ocaml/nat.cmti
- lib/ocaml/nat.cmi
- lib/ocaml/libnums.a
- lib/ocaml/int_misc.cmx
- lib/ocaml/big_int.mli
- lib/ocaml/big_int.cmx
- lib/ocaml/big_int.cmti
- lib/ocaml/big_int.cmi
- lib/ocaml/arith_status.mli
- lib/ocaml/arith_status.cmx
- lib/ocaml/arith_status.cmti
- lib/ocaml/arith_status.cmi
- lib/ocaml/arith_flags.cmx
- lib/num/META
- lib/num-top/num_top_printers.cmi
- lib/num-top/num_top.cmi
- lib/num-top/num_top.cma
- lib/num-top/META
[NOTE] While removing num.1.3: not removing non-empty directories:
- lib/num-top
[WARNING] While removing num.1.3: cannot revert:
- permission change of lib/ocaml
⊘ removed num.1.3
⊘ removed parsexp.v0.12.0
⊘ removed spawn.v0.13.0
⊘ removed splittable_random.v0.12.0
⊘ removed ppx_bench.v0.12.0
⊘ removed ppx_inline_test.v0.12.0
⊘ removed ppx_sexp_message.v0.12.0
⊘ removed time_now.v0.12.0
⊘ removed jane-street-headers.v0.12.0
⊘ removed jst-config.v0.12.0
⊘ removed ppx_assert.v0.12.0
⊘ removed ppx_base.v0.12.0
⊘ removed ppx_enumerate.v0.12.0
⊘ removed ppx_hash.v0.12.0
⊘ removed ppx_compare.v0.12.0
⊘ removed ppx_here.v0.12.0
⊘ removed ppx_js_style.v0.12.0
⊘ removed octavius.1.2.2
⊘ removed ppx_optcomp.v0.12.0
⊘ removed ppx_sexp_conv.v0.12.0
⊘ removed ppxlib.0.8.1
⊘ removed ocaml-compiler-libs.v0.12.1
⊘ removed ocaml-migrate-parsetree.1.5.0
⊘ removed ppx_derivers.1.2.1
⊘ removed stdio.v0.12.0
⊘ removed typerep.v0.12.0
⊘ removed tyxml.4.4.0
⊘ removed re.1.9.0
⊘ removed ulex.1.2
[WARNING] While removing camlp4.4.07+1: not removing files that changed since:
- bin/camlp4rf.opt
- bin/camlp4r.opt
- bin/camlp4orf.opt
- bin/camlp4oof.opt
- bin/camlp4of.opt
- bin/camlp4o.opt
⊘ removed camlp4.4.07+1
⊘ removed utop.2.4.3
⊘ removed lambda-term.2.0.3
⊘ removed lwt_log.1.1.1
⊘ removed lwt_react.1.1.3
⊘ removed lwt.5.2.0
⊘ removed mmap.1.1.0
⊘ removed ocplib-endian.1.0
⊘ removed seq.base
⊘ removed uutf.1.0.2
[WARNING] While removing cmdliner.1.0.4: not removing files that changed since:
- lib/cmdliner/opam
- lib/cmdliner/cmdliner_trie.cmx
- lib/cmdliner/cmdliner_term.cmx
- lib/cmdliner/cmdliner_suggest.cmx
- lib/cmdliner/cmdliner_msg.cmx
- lib/cmdliner/cmdliner_manpage.cmx
- lib/cmdliner/cmdliner_info.cmx
- lib/cmdliner/cmdliner_docgen.cmx
- lib/cmdliner/cmdliner_cline.cmx
- lib/cmdliner/cmdliner_base.cmx
- lib/cmdliner/cmdliner_arg.cmx
- lib/cmdliner/cmdliner.mli
- lib/cmdliner/cmdliner.cmxs
- lib/cmdliner/cmdliner.cmxa
- lib/cmdliner/cmdliner.cmx
- lib/cmdliner/cmdliner.cmti
- lib/cmdliner/cmdliner.cmi
- lib/cmdliner/cmdliner.cma
- lib/cmdliner/cmdliner.a
- lib/cmdliner/META
- doc/cmdliner/README.md
- doc/cmdliner/LICENSE.md
- doc/cmdliner/CHANGES.md
[NOTE] While removing cmdliner.1.0.4: not removing non-empty directories:
- lib/cmdliner
- doc/cmdliner
⊘ removed cmdliner.1.0.4
⊘ removed uchar.0.0.2
⊘ removed variantslib.v0.12.0
⊘ removed base.v0.12.2
⊘ removed dune-configurator.2.7.1
⊘ removed csexp.1.3.2
⊘ removed sexplib0.v0.12.0
⊘ removed yojson.1.7.0
⊘ removed biniou.1.2.1
⊘ removed cppo.1.6.6
⊘ removed easy-format.1.3.2
⊘ removed zarith.1.12
⊘ removed zed.2.0.6
⊘ removed base-bytes.base
⊘ removed charInfo_width.1.1.0
⊘ removed camomile.1.0.2
⊘ removed react.1.2.1
⊘ removed result.1.5
⊘ removed ocamlfind-secondary.1.8.1
⊘ removed ocaml-secondary-compiler.4.08.1-1
⊘ removed topkg.1.0.1
⊘ removed ocamlbuild.0.14.0
[WARNING] While removing ocamlfind.1.8.1: not removing files that changed since:
- man/man5/site-lib.5
- man/man5/findlib.conf.5
- man/man5/META.5
- man/man1/ocamlfind.1
- lib/unix/META
- lib/toplevel/topfind
- lib/threads/META
- lib/str/META
- lib/stdlib/META
- lib/raw_spacetime/META
- lib/ocamldoc/META
- lib/ocaml/topfind
- lib/graphics/META
- lib/findlib/topfind.mli
- lib/findlib/topfind.cmi
- lib/findlib/fl_package_base.mli
- lib/findlib/fl_package_base.cmi
- lib/findlib/fl_metatoken.cmi
- lib/findlib/fl_metascanner.mli
- lib/findlib/fl_metascanner.cmi
- lib/findlib/fl_dynload.mli
- lib/findlib/fl_dynload.cmi
- lib/findlib/findlib_top.cmxs
- lib/findlib/findlib_top.cmxa
- lib/findlib/findlib_top.cma
- lib/findlib/findlib_top.a
- lib/findlib/findlib_dynload.cmxs
- lib/findlib/findlib_dynload.cmxa
- lib/findlib/findlib_dynload.cma
- lib/findlib/findlib_dynload.a
- lib/findlib/findlib.mli
- lib/findlib/findlib.cmxs
- lib/findlib/findlib.cmxa
- lib/findlib/findlib.cmi
- lib/findlib/findlib.cma
- lib/findlib/findlib.a
- lib/findlib/Makefile.config
- lib/findlib/META
- lib/findlib.conf
- lib/dynlink/META
- lib/compiler-libs/META
- lib/bytes/META
- lib/bigarray/META
[NOTE] While removing ocamlfind.1.8.1: not removing non-empty directories:
- lib/unix
- lib/threads
- lib/str
- lib/stdlib
- lib/raw_spacetime
- lib/ocamldoc
- lib/graphics
- lib/findlib
- lib/dynlink
- lib/compiler-libs
- lib/bytes
- lib/bigarray
⊘ removed ocamlfind.1.8.1
⊘ removed ocaml.4.07.1
[NOTE] While removing ocaml-config.1: not removing non-empty directories:
- share
⊘ removed ocaml-config.1
[WARNING] While removing ocaml-base-compiler.4.07.1: not removing files that changed since:
- man/man3/Weak.S.3o
- man/man3/Weak.Make.3o
- man/man3/Weak.3o
- man/man3/Warnings.3o
- man/man3/UnixLabels.LargeFile.3o
- man/man3/UnixLabels.3o
- man/man3/Unix.LargeFile.3o
- man/man3/Unix.3o
- man/man3/Uchar.3o
- man/man3/Typemod.InterfaceHooks.3o
- man/man3/Typemod.ImplementationHooks.3o
- man/man3/Typemod.3o
- man/man3/ThreadUnix.3o
- man/man3/Thread.3o
- man/man3/Terminfo.3o
- man/man3/Tbl.3o
- man/man3/Targetint.3o
- man/man3/Sys.3o
- man/man3/Syntaxerr.3o
- man/man3/Strongly_connected_components.S.Id.3o
- man/man3/Strongly_connected_components.S.3o
- man/man3/Strongly_connected_components.Make.3o
- man/man3/Strongly_connected_components.3o
- man/man3/StringLabels.3o
- man/man3/String.3o
- man/man3/Stream.3o
- man/man3/Str.3o
- man/man3/StdLabels.String.3o
- man/man3/StdLabels.List.3o
- man/man3/StdLabels.Bytes.3o
- man/man3/StdLabels.Array.3o
- man/man3/StdLabels.3o
- man/man3/Stack.3o
- man/man3/Spacetime.Snapshot.3o
- man/man3/Spacetime.Series.3o
- man/man3/Spacetime.3o
- man/man3/Sort.3o
- man/man3/Simplif.Hooks.3o
- man/man3/Simplif.3o
- man/man3/Set.S.3o
- man/man3/Set.OrderedType.3o
- man/man3/Set.Make.3o
- man/man3/Set.3o
- man/man3/Seq.3o
- man/man3/Scanf.Scanning.3o
- man/man3/Scanf.3o
- man/man3/Random.State.3o
- man/man3/Random.3o
- man/man3/Queue.3o
- man/man3/Profile.3o
- man/man3/Printf.3o
- man/man3/Printexc.Slot.3o
- man/man3/Printexc.3o
- man/man3/Printast.3o
- man/man3/Pprintast.3o
- man/man3/Pparse.InterfaceHooks.3o
- man/man3/Pparse.ImplementationHooks.3o
- man/man3/Pparse.3o
- man/man3/Pervasives.LargeFile.3o
- man/man3/Pervasives.3o
- man/man3/Parsing.3o
- man/man3/Parsetree.3o
- man/man3/Parser.3o
- man/man3/Parse.3o
- man/man3/Oo.3o
- man/man3/Obj.Ephemeron.3o
- man/man3/Obj.3o
- man/man3/Numbers.Int8.3o
- man/man3/Numbers.Int16.3o
- man/man3/Numbers.Int.3o
- man/man3/Numbers.Float.3o
- man/man3/Numbers.3o
- man/man3/Nativeint.3o
- man/man3/Mutex.3o
- man/man3/MoreLabels.Set.S.3o
- man/man3/MoreLabels.Set.OrderedType.3o
- man/man3/MoreLabels.Set.Make.3o
- man/man3/MoreLabels.Set.3o
- man/man3/MoreLabels.Map.S.3o
- man/man3/MoreLabels.Map.OrderedType.3o
- man/man3/MoreLabels.Map.Make.3o
- man/man3/MoreLabels.Map.3o
- man/man3/MoreLabels.Hashtbl.SeededS.3o
- man/man3/MoreLabels.Hashtbl.SeededHashedType.3o
- man/man3/MoreLabels.Hashtbl.S.3o
- man/man3/MoreLabels.Hashtbl.MakeSeeded.3o
- man/man3/MoreLabels.Hashtbl.Make.3o
- man/man3/MoreLabels.Hashtbl.HashedType.3o
- man/man3/MoreLabels.Hashtbl.3o
- man/man3/MoreLabels.3o
- man/man3/Misc.StringSet.3o
- man/man3/Misc.StringMap.3o
- man/man3/Misc.Stdlib.Option.3o
- man/man3/Misc.Stdlib.List.3o
- man/man3/Misc.Stdlib.Array.3o
- man/man3/Misc.Stdlib.3o
- man/man3/Misc.MakeHooks.3o
- man/man3/Misc.LongString.3o
- man/man3/Misc.Int_literal_converter.3o
- man/man3/Misc.HookSig.3o
- man/man3/Misc.Color.3o
- man/man3/Misc.3o
- man/man3/Marshal.3o
- man/man3/Map.S.3o
- man/man3/Map.OrderedType.3o
- man/man3/Map.Make.3o
- man/man3/Map.3o
- man/man3/Longident.3o
- man/man3/Location.3o
- man/man3/ListLabels.3o
- man/man3/List.3o
- man/man3/Lexing.3o
- man/man3/Lexer.3o
- man/man3/Lazy.3o
- man/man3/Int64.3o
- man/man3/Int32.3o
- man/man3/Identifiable.Thing.3o
- man/man3/Identifiable.Tbl.T.3o
- man/man3/Identifiable.Tbl.3o
- man/man3/Identifiable.Set.T.3o
- man/man3/Identifiable.Set.3o
- man/man3/Identifiable.S.Tbl.3o
- man/man3/Identifiable.S.T.3o
- man/man3/Identifiable.S.Set.3o
- man/man3/Identifiable.S.Map.3o
- man/man3/Identifiable.S.3o
- man/man3/Identifiable.Pair.3o
- man/man3/Identifiable.Map.T.3o
- man/man3/Identifiable.Map.3o
- man/man3/Identifiable.Make.3o
- man/man3/Identifiable.3o
- man/man3/Hashtbl.SeededS.3o
- man/man3/Hashtbl.SeededHashedType.3o
- man/man3/Hashtbl.S.3o
- man/man3/Hashtbl.MakeSeeded.3o
- man/man3/Hashtbl.Make.3o
- man/man3/Hashtbl.HashedType.3o
- man/man3/Hashtbl.3o
- man/man3/GraphicsX11.3o
- man/man3/Graphics.3o
- man/man3/Genlex.3o
- man/man3/Gc.3o
- man/man3/Format.3o
- man/man3/Float.Array.3o
- man/man3/Float.3o
- man/man3/Filename.3o
- man/man3/Event.3o
- man/man3/Ephemeron.SeededS.3o
- man/man3/Ephemeron.S.3o
- man/man3/Ephemeron.Kn.MakeSeeded.3o
- man/man3/Ephemeron.Kn.Make.3o
- man/man3/Ephemeron.Kn.3o
- man/man3/Ephemeron.K2.MakeSeeded.3o
- man/man3/Ephemeron.K2.Make.3o
- man/man3/Ephemeron.K2.3o
- man/man3/Ephemeron.K1.MakeSeeded.3o
- man/man3/Ephemeron.K1.Make.3o
- man/man3/Ephemeron.K1.3o
- man/man3/Ephemeron.GenHashTable.MakeSeeded.3o
- man/man3/Ephemeron.GenHashTable.3o
- man/man3/Ephemeron.3o
- man/man3/Dynlink.3o
- man/man3/Docstrings.3o
- man/man3/Digest.3o
- man/man3/Depend.StringSet.3o
- man/man3/Depend.StringMap.3o
- man/man3/Depend.3o
- man/man3/Consistbl.3o
- man/man3/Config.3o
- man/man3/Condition.3o
- man/man3/Complex.3o
- man/man3/Clflags.Int_arg_helper.3o
- man/man3/Clflags.Float_arg_helper.3o
- man/man3/Clflags.3o
- man/man3/Char.3o
- man/man3/Ccomp.3o
- man/man3/CamlinternalOO.3o
- man/man3/CamlinternalMod.3o
- man/man3/CamlinternalLazy.3o
- man/man3/CamlinternalFormatBasics.3o
- man/man3/CamlinternalFormat.3o
- man/man3/Callback.3o
- man/man3/BytesLabels.3o
- man/man3/Bytes.3o
- man/man3/Builtin_attributes.3o
- man/man3/Build_path_prefix_map.3o
- man/man3/Buffer.3o
- man/man3/Bigarray.Genarray.3o
- man/man3/Bigarray.Array3.3o
- man/man3/Bigarray.Array2.3o
- man/man3/Bigarray.Array1.3o
- man/man3/Bigarray.Array0.3o
- man/man3/Bigarray.3o
- man/man3/Attr_helper.3o
- man/man3/Asttypes.3o
- man/man3/Ast_mapper.3o
- man/man3/Ast_iterator.3o
- man/man3/Ast_invariants.3o
- man/man3/Ast_helper.Vb.3o
- man/man3/Ast_helper.Val.3o
- man/man3/Ast_helper.Type.3o
- man/man3/Ast_helper.Typ.3o
- man/man3/Ast_helper.Te.3o
- man/man3/Ast_helper.Str.3o
- man/man3/Ast_helper.Sig.3o
- man/man3/Ast_helper.Pat.3o
- man/man3/Ast_helper.Opn.3o
- man/man3/Ast_helper.Mty.3o
- man/man3/Ast_helper.Mtd.3o
- man/man3/Ast_helper.Mod.3o
- man/man3/Ast_helper.Md.3o
- man/man3/Ast_helper.Mb.3o
- man/man3/Ast_helper.Incl.3o
- man/man3/Ast_helper.Exp.3o
- man/man3/Ast_helper.Cty.3o
- man/man3/Ast_helper.Ctf.3o
- man/man3/Ast_helper.Cstr.3o
- man/man3/Ast_helper.Csig.3o
- man/man3/Ast_helper.Const.3o
- man/man3/Ast_helper.Cl.3o
- man/man3/Ast_helper.Ci.3o
- man/man3/Ast_helper.Cf.3o
- man/man3/Ast_helper.3o
- man/man3/ArrayLabels.3o
- man/man3/Array.3o
- man/man3/Arg_helper.Make.3o
- man/man3/Arg_helper.3o
- man/man3/Arg.3o
- man/man1/ocamlyacc.1
- man/man1/ocamlrun.1
- man/man1/ocamlprof.1
- man/man1/ocamloptp.1
- man/man1/ocamlopt.opt.1
- man/man1/ocamlopt.1
- man/man1/ocamlmktop.1
- man/man1/ocamllex.1
- man/man1/ocamldoc.1
- man/man1/ocamldep.1
- man/man1/ocamldebug.1
- man/man1/ocamlcp.1
- man/man1/ocamlc.opt.1
- man/man1/ocamlc.1
- man/man1/ocaml.1
- lib/ocaml/weak.mli
- lib/ocaml/weak.ml
- lib/ocaml/vmthreads/unix.cma
- lib/ocaml/vmthreads/threads.cma
- lib/ocaml/vmthreads/threadUnix.mli
- lib/ocaml/vmthreads/threadUnix.cmti
- lib/ocaml/vmthreads/threadUnix.cmi
- lib/ocaml/vmthreads/thread.mli
- lib/ocaml/vmthreads/thread.cmti
- lib/ocaml/vmthreads/thread.cmi
- lib/ocaml/vmthreads/stdlib.cma
- lib/ocaml/vmthreads/mutex.mli
- lib/ocaml/vmthreads/mutex.cmti
- lib/ocaml/vmthreads/mutex.cmi
- lib/ocaml/vmthreads/libvmthreads.a
- lib/ocaml/vmthreads/event.mli
- lib/ocaml/vmthreads/event.cmti
- lib/ocaml/vmthreads/event.cmi
- lib/ocaml/vmthreads/condition.mli
- lib/ocaml/vmthreads/condition.cmti
- lib/ocaml/vmthreads/condition.cmi
- lib/ocaml/unixLabels.mli
- lib/ocaml/unixLabels.cmx
- lib/ocaml/unixLabels.cmti
- lib/ocaml/unixLabels.cmi
- lib/ocaml/unix.mli
- lib/ocaml/unix.cmxs
- lib/ocaml/unix.cmxa
- lib/ocaml/unix.cmx
- lib/ocaml/unix.cmti
- lib/ocaml/unix.cmi
- lib/ocaml/unix.cma
- lib/ocaml/unix.a
- lib/ocaml/uchar.mli
- lib/ocaml/uchar.ml
- lib/ocaml/topdirs.mli
- lib/ocaml/topdirs.cmti
- lib/ocaml/topdirs.cmt
- lib/ocaml/topdirs.cmi
- lib/ocaml/threads/threads.cmxa
- lib/ocaml/threads/threads.cma
- lib/ocaml/threads/threads.a
- lib/ocaml/threads/threadUnix.cmx
- lib/ocaml/threads/threadUnix.cmti
- lib/ocaml/threads/threadUnix.cmi
- lib/ocaml/threads/thread.cmx
- lib/ocaml/threads/thread.cmti
- lib/ocaml/threads/thread.cmi
- lib/ocaml/threads/mutex.cmx
- lib/ocaml/threads/mutex.cmti
- lib/ocaml/threads/mutex.cmi
- lib/ocaml/threads/event.cmx
- lib/ocaml/threads/event.cmti
- lib/ocaml/threads/event.cmi
- lib/ocaml/threads/condition.cmx
- lib/ocaml/threads/condition.cmti
- lib/ocaml/threads/condition.cmi
- lib/ocaml/threadUnix.mli
- lib/ocaml/thread.mli
- lib/ocaml/target_camlheaderi
- lib/ocaml/target_camlheaderd
- lib/ocaml/sys.mli
- lib/ocaml/sys.ml
- lib/ocaml/stublibs/dllvmthreads.so
- lib/ocaml/stublibs/dllunix.so
- lib/ocaml/stublibs/dllthreads.so
- lib/ocaml/stublibs/dllraw_spacetime_lib.so
- lib/ocaml/stublibs/dllgraphics.so
- lib/ocaml/stublibs/dllcamlstr.so
- lib/ocaml/stublibs/dllbigarray.so
- lib/ocaml/stringLabels.mli
- lib/ocaml/stringLabels.ml
- lib/ocaml/string.mli
- lib/ocaml/string.ml
- lib/ocaml/stream.mli
- lib/ocaml/stream.ml
- lib/ocaml/str.mli
- lib/ocaml/str.cmxs
- lib/ocaml/str.cmxa
- lib/ocaml/str.cmx
- lib/ocaml/str.cmti
- lib/ocaml/str.cmi
- lib/ocaml/str.cma
- lib/ocaml/str.a
- lib/ocaml/stdlib__weak.p.cmx
- lib/ocaml/stdlib__weak.p.cmt
- lib/ocaml/stdlib__weak.cmx
- lib/ocaml/stdlib__weak.cmti
- lib/ocaml/stdlib__weak.cmt
- lib/ocaml/stdlib__weak.cmi
- lib/ocaml/stdlib__uchar.p.cmx
- lib/ocaml/stdlib__uchar.p.cmt
- lib/ocaml/stdlib__uchar.cmx
- lib/ocaml/stdlib__uchar.cmti
- lib/ocaml/stdlib__uchar.cmt
- lib/ocaml/stdlib__uchar.cmi
- lib/ocaml/stdlib__sys.p.cmx
- lib/ocaml/stdlib__sys.p.cmt
- lib/ocaml/stdlib__sys.cmx
- lib/ocaml/stdlib__sys.cmti
- lib/ocaml/stdlib__sys.cmt
- lib/ocaml/stdlib__sys.cmi
- lib/ocaml/stdlib__stringLabels.p.cmx
- lib/ocaml/stdlib__stringLabels.p.cmt
- lib/ocaml/stdlib__stringLabels.cmx
- lib/ocaml/stdlib__stringLabels.cmti
- lib/ocaml/stdlib__stringLabels.cmt
- lib/ocaml/stdlib__stringLabels.cmi
- lib/ocaml/stdlib__string.p.cmx
- lib/ocaml/stdlib__string.p.cmt
- lib/ocaml/stdlib__string.cmx
- lib/ocaml/stdlib__string.cmti
- lib/ocaml/stdlib__string.cmt
- lib/ocaml/stdlib__string.cmi
- lib/ocaml/stdlib__stream.p.cmx
- lib/ocaml/stdlib__stream.p.cmt
- lib/ocaml/stdlib__stream.cmx
- lib/ocaml/stdlib__stream.cmti
- lib/ocaml/stdlib__stream.cmt
- lib/ocaml/stdlib__stream.cmi
- lib/ocaml/stdlib__stdLabels.p.cmx
- lib/ocaml/stdlib__stdLabels.p.cmt
- lib/ocaml/stdlib__stdLabels.cmx
- lib/ocaml/stdlib__stdLabels.cmti
- lib/ocaml/stdlib__stdLabels.cmt
- lib/ocaml/stdlib__stdLabels.cmi
- lib/ocaml/stdlib__stack.p.cmx
- lib/ocaml/stdlib__stack.p.cmt
- lib/ocaml/stdlib__stack.cmx
- lib/ocaml/stdlib__stack.cmti
- lib/ocaml/stdlib__stack.cmt
- lib/ocaml/stdlib__stack.cmi
- lib/ocaml/stdlib__spacetime.p.cmx
- lib/ocaml/stdlib__spacetime.p.cmt
- lib/ocaml/stdlib__spacetime.cmx
- lib/ocaml/stdlib__spacetime.cmti
- lib/ocaml/stdlib__spacetime.cmt
- lib/ocaml/stdlib__spacetime.cmi
- lib/ocaml/stdlib__sort.p.cmx
- lib/ocaml/stdlib__sort.p.cmt
- lib/ocaml/stdlib__sort.cmx
- lib/ocaml/stdlib__sort.cmti
- lib/ocaml/stdlib__sort.cmt
- lib/ocaml/stdlib__sort.cmi
- lib/ocaml/stdlib__set.p.cmx
- lib/ocaml/stdlib__set.p.cmt
- lib/ocaml/stdlib__set.cmx
- lib/ocaml/stdlib__set.cmti
- lib/ocaml/stdlib__set.cmt
- lib/ocaml/stdlib__set.cmi
- lib/ocaml/stdlib__seq.p.cmx
- lib/ocaml/stdlib__seq.p.cmt
- lib/ocaml/stdlib__seq.cmx
- lib/ocaml/stdlib__seq.cmti
- lib/ocaml/stdlib__seq.cmt
- lib/ocaml/stdlib__seq.cmi
- lib/ocaml/stdlib__scanf.p.cmx
- lib/ocaml/stdlib__scanf.p.cmt
- lib/ocaml/stdlib__scanf.cmx
- lib/ocaml/stdlib__scanf.cmti
- lib/ocaml/stdlib__scanf.cmt
- lib/ocaml/stdlib__scanf.cmi
- lib/ocaml/stdlib__random.p.cmx
- lib/ocaml/stdlib__random.p.cmt
- lib/ocaml/stdlib__random.cmx
- lib/ocaml/stdlib__random.cmti
- lib/ocaml/stdlib__random.cmt
- lib/ocaml/stdlib__random.cmi
- lib/ocaml/stdlib__queue.p.cmx
- lib/ocaml/stdlib__queue.p.cmt
- lib/ocaml/stdlib__queue.cmx
- lib/ocaml/stdlib__queue.cmti
- lib/ocaml/stdlib__queue.cmt
- lib/ocaml/stdlib__queue.cmi
- lib/ocaml/stdlib__printf.p.cmx
- lib/ocaml/stdlib__printf.p.cmt
- lib/ocaml/stdlib__printf.cmx
- lib/ocaml/stdlib__printf.cmti
- lib/ocaml/stdlib__printf.cmt
- lib/ocaml/stdlib__printf.cmi
- lib/ocaml/stdlib__printexc.p.cmx
- lib/ocaml/stdlib__printexc.p.cmt
- lib/ocaml/stdlib__printexc.cmx
- lib/ocaml/stdlib__printexc.cmti
- lib/ocaml/stdlib__printexc.cmt
- lib/ocaml/stdlib__printexc.cmi
- lib/ocaml/stdlib__parsing.p.cmx
- lib/ocaml/stdlib__parsing.p.cmt
- lib/ocaml/stdlib__parsing.cmx
- lib/ocaml/stdlib__parsing.cmti
- lib/ocaml/stdlib__parsing.cmt
- lib/ocaml/stdlib__parsing.cmi
- lib/ocaml/stdlib__oo.p.cmx
- lib/ocaml/stdlib__oo.p.cmt
- lib/ocaml/stdlib__oo.cmx
- lib/ocaml/stdlib__oo.cmti
- lib/ocaml/stdlib__oo.cmt
- lib/ocaml/stdlib__oo.cmi
- lib/ocaml/stdlib__obj.p.cmx
- lib/ocaml/stdlib__obj.p.cmt
- lib/ocaml/stdlib__obj.cmx
- lib/ocaml/stdlib__obj.cmti
- lib/ocaml/stdlib__obj.cmt
- lib/ocaml/stdlib__obj.cmi
- lib/ocaml/stdlib__nativeint.p.cmx
- lib/ocaml/stdlib__nativeint.p.cmt
- lib/ocaml/stdlib__nativeint.cmx
- lib/ocaml/stdlib__nativeint.cmti
- lib/ocaml/stdlib__nativeint.cmt
- lib/ocaml/stdlib__nativeint.cmi
- lib/ocaml/stdlib__moreLabels.p.cmx
- lib/ocaml/stdlib__moreLabels.p.cmt
- lib/ocaml/stdlib__moreLabels.cmx
- lib/ocaml/stdlib__moreLabels.cmti
- lib/ocaml/stdlib__moreLabels.cmt
- lib/ocaml/stdlib__moreLabels.cmi
- lib/ocaml/stdlib__marshal.p.cmx
- lib/ocaml/stdlib__marshal.p.cmt
- lib/ocaml/stdlib__marshal.cmx
- lib/ocaml/stdlib__marshal.cmti
- lib/ocaml/stdlib__marshal.cmt
- lib/ocaml/stdlib__marshal.cmi
- lib/ocaml/stdlib__map.p.cmx
- lib/ocaml/stdlib__map.p.cmt
- lib/ocaml/stdlib__map.cmx
- lib/ocaml/stdlib__map.cmti
- lib/ocaml/stdlib__map.cmt
- lib/ocaml/stdlib__map.cmi
- lib/ocaml/stdlib__listLabels.p.cmx
- lib/ocaml/stdlib__listLabels.p.cmt
- lib/ocaml/stdlib__listLabels.cmx
- lib/ocaml/stdlib__listLabels.cmti
- lib/ocaml/stdlib__listLabels.cmt
- lib/ocaml/stdlib__listLabels.cmi
- lib/ocaml/stdlib__list.p.cmx
- lib/ocaml/stdlib__list.p.cmt
- lib/ocaml/stdlib__list.cmx
- lib/ocaml/stdlib__list.cmti
- lib/ocaml/stdlib__list.cmt
- lib/ocaml/stdlib__list.cmi
- lib/ocaml/stdlib__lexing.p.cmx
- lib/ocaml/stdlib__lexing.p.cmt
- lib/ocaml/stdlib__lexing.cmx
- lib/ocaml/stdlib__lexing.cmti
- lib/ocaml/stdlib__lexing.cmt
- lib/ocaml/stdlib__lexing.cmi
- lib/ocaml/stdlib__lazy.p.cmx
- lib/ocaml/stdlib__lazy.p.cmt
- lib/ocaml/stdlib__lazy.cmx
- lib/ocaml/stdlib__lazy.cmti
- lib/ocaml/stdlib__lazy.cmt
- lib/ocaml/stdlib__lazy.cmi
- lib/ocaml/stdlib__int64.p.cmx
- lib/ocaml/stdlib__int64.p.cmt
- lib/ocaml/stdlib__int64.cmx
- lib/ocaml/stdlib__int64.cmti
- lib/ocaml/stdlib__int64.cmt
- lib/ocaml/stdlib__int64.cmi
- lib/ocaml/stdlib__int32.p.cmx
- lib/ocaml/stdlib__int32.p.cmt
- lib/ocaml/stdlib__int32.cmx
- lib/ocaml/stdlib__int32.cmti
- lib/ocaml/stdlib__int32.cmt
- lib/ocaml/stdlib__int32.cmi
- lib/ocaml/stdlib__hashtbl.p.cmx
- lib/ocaml/stdlib__hashtbl.p.cmt
- lib/ocaml/stdlib__hashtbl.cmx
- lib/ocaml/stdlib__hashtbl.cmti
- lib/ocaml/stdlib__hashtbl.cmt
- lib/ocaml/stdlib__hashtbl.cmi
- lib/ocaml/stdlib__genlex.p.cmx
- lib/ocaml/stdlib__genlex.p.cmt
- lib/ocaml/stdlib__genlex.cmx
- lib/ocaml/stdlib__genlex.cmti
- lib/ocaml/stdlib__genlex.cmt
- lib/ocaml/stdlib__genlex.cmi
- lib/ocaml/stdlib__gc.p.cmx
- lib/ocaml/stdlib__gc.p.cmt
- lib/ocaml/stdlib__gc.cmx
- lib/ocaml/stdlib__gc.cmti
- lib/ocaml/stdlib__gc.cmt
- lib/ocaml/stdlib__gc.cmi
- lib/ocaml/stdlib__format.p.cmx
- lib/ocaml/stdlib__format.p.cmt
- lib/ocaml/stdlib__format.cmx
- lib/ocaml/stdlib__format.cmti
- lib/ocaml/stdlib__format.cmt
- lib/ocaml/stdlib__format.cmi
- lib/ocaml/stdlib__float.p.cmx
- lib/ocaml/stdlib__float.p.cmt
- lib/ocaml/stdlib__float.cmx
- lib/ocaml/stdlib__float.cmti
- lib/ocaml/stdlib__float.cmt
- lib/ocaml/stdlib__float.cmi
- lib/ocaml/stdlib__filename.p.cmx
- lib/ocaml/stdlib__filename.p.cmt
- lib/ocaml/stdlib__filename.cmx
- lib/ocaml/stdlib__filename.cmti
- lib/ocaml/stdlib__filename.cmt
- lib/ocaml/stdlib__filename.cmi
- lib/ocaml/stdlib__ephemeron.p.cmx
- lib/ocaml/stdlib__ephemeron.p.cmt
- lib/ocaml/stdlib__ephemeron.cmx
- lib/ocaml/stdlib__ephemeron.cmti
- lib/ocaml/stdlib__ephemeron.cmt
- lib/ocaml/stdlib__ephemeron.cmi
- lib/ocaml/stdlib__digest.p.cmx
- lib/ocaml/stdlib__digest.p.cmt
- lib/ocaml/stdlib__digest.cmx
- lib/ocaml/stdlib__digest.cmti
- lib/ocaml/stdlib__digest.cmt
- lib/ocaml/stdlib__digest.cmi
- lib/ocaml/stdlib__complex.p.cmx
- lib/ocaml/stdlib__complex.p.cmt
- lib/ocaml/stdlib__complex.cmx
- lib/ocaml/stdlib__complex.cmti
- lib/ocaml/stdlib__complex.cmt
- lib/ocaml/stdlib__complex.cmi
- lib/ocaml/stdlib__char.p.cmx
- lib/ocaml/stdlib__char.p.cmt
- lib/ocaml/stdlib__char.cmx
- lib/ocaml/stdlib__char.cmti
- lib/ocaml/stdlib__char.cmt
- lib/ocaml/stdlib__char.cmi
- lib/ocaml/stdlib__callback.p.cmx
- lib/ocaml/stdlib__callback.p.cmt
- lib/ocaml/stdlib__callback.cmx
- lib/ocaml/stdlib__callback.cmti
- lib/ocaml/stdlib__callback.cmt
- lib/ocaml/stdlib__callback.cmi
- lib/ocaml/stdlib__bytesLabels.p.cmx
- lib/ocaml/stdlib__bytesLabels.p.cmt
- lib/ocaml/stdlib__bytesLabels.cmx
- lib/ocaml/stdlib__bytesLabels.cmti
- lib/ocaml/stdlib__bytesLabels.cmt
- lib/ocaml/stdlib__bytesLabels.cmi
- lib/ocaml/stdlib__bytes.p.cmx
- lib/ocaml/stdlib__bytes.p.cmt
- lib/ocaml/stdlib__bytes.cmx
- lib/ocaml/stdlib__bytes.cmti
- lib/ocaml/stdlib__bytes.cmt
- lib/ocaml/stdlib__bytes.cmi
- lib/ocaml/stdlib__buffer.p.cmx
- lib/ocaml/stdlib__buffer.p.cmt
- lib/ocaml/stdlib__buffer.cmx
- lib/ocaml/stdlib__buffer.cmti
- lib/ocaml/stdlib__buffer.cmt
- lib/ocaml/stdlib__buffer.cmi
- lib/ocaml/stdlib__bigarray.p.cmx
- lib/ocaml/stdlib__bigarray.p.cmt
- lib/ocaml/stdlib__bigarray.cmx
- lib/ocaml/stdlib__bigarray.cmti
- lib/ocaml/stdlib__bigarray.cmt
- lib/ocaml/stdlib__bigarray.cmi
- lib/ocaml/stdlib__arrayLabels.p.cmx
- lib/ocaml/stdlib__arrayLabels.p.cmt
- lib/ocaml/stdlib__arrayLabels.cmx
- lib/ocaml/stdlib__arrayLabels.cmti
- lib/ocaml/stdlib__arrayLabels.cmt
- lib/ocaml/stdlib__arrayLabels.cmi
- lib/ocaml/stdlib__array.p.cmx
- lib/ocaml/stdlib__array.p.cmt
- lib/ocaml/stdlib__array.cmx
- lib/ocaml/stdlib__array.cmti
- lib/ocaml/stdlib__array.cmt
- lib/ocaml/stdlib__array.cmi
- lib/ocaml/stdlib__arg.p.cmx
- lib/ocaml/stdlib__arg.p.cmt
- lib/ocaml/stdlib__arg.cmx
- lib/ocaml/stdlib__arg.cmti
- lib/ocaml/stdlib__arg.cmt
- lib/ocaml/stdlib__arg.cmi
- lib/ocaml/stdlib.p.cmxa
- lib/ocaml/stdlib.p.cmx
- lib/ocaml/stdlib.p.cmt
- lib/ocaml/stdlib.p.a
- lib/ocaml/stdlib.mli
- lib/ocaml/stdlib.ml
- lib/ocaml/stdlib.cmxa
- lib/ocaml/stdlib.cmx
- lib/ocaml/stdlib.cmti
- lib/ocaml/stdlib.cmt
- lib/ocaml/stdlib.cmi
- lib/ocaml/stdlib.cma
- lib/ocaml/stdlib.a
- lib/ocaml/std_exit.p.o
- lib/ocaml/std_exit.p.cmx
- lib/ocaml/std_exit.p.cmt
- lib/ocaml/std_exit.o
- lib/ocaml/std_exit.ml
- lib/ocaml/std_exit.cmx
- lib/ocaml/std_exit.cmt
- lib/ocaml/std_exit.cmo
- lib/ocaml/std_exit.cmi
- lib/ocaml/stdLabels.mli
- lib/ocaml/stdLabels.ml
- lib/ocaml/stack.mli
- lib/ocaml/stack.ml
- lib/ocaml/spacetime.mli
- lib/ocaml/spacetime.ml
- lib/ocaml/sort.mli
- lib/ocaml/sort.ml
- lib/ocaml/set.mli
- lib/ocaml/set.ml
- lib/ocaml/seq.mli
- lib/ocaml/seq.ml
- lib/ocaml/scanf.mli
- lib/ocaml/scanf.ml
- lib/ocaml/raw_spacetime_lib.mli
- lib/ocaml/raw_spacetime_lib.cmxs
- lib/ocaml/raw_spacetime_lib.cmxa
- lib/ocaml/raw_spacetime_lib.cmx
- lib/ocaml/raw_spacetime_lib.cmti
- lib/ocaml/raw_spacetime_lib.cmi
- lib/ocaml/raw_spacetime_lib.cma
- lib/ocaml/raw_spacetime_lib.a
- lib/ocaml/random.mli
- lib/ocaml/random.ml
- lib/ocaml/queue.mli
- lib/ocaml/queue.ml
- lib/ocaml/profiling.o
- lib/ocaml/profiling.cmx
- lib/ocaml/profiling.cmti
- lib/ocaml/profiling.cmt
- lib/ocaml/profiling.cmo
- lib/ocaml/profiling.cmi
- lib/ocaml/printf.mli
- lib/ocaml/printf.ml
- lib/ocaml/printexc.mli
- lib/ocaml/printexc.ml
- lib/ocaml/parsing.mli
- lib/ocaml/parsing.ml
- lib/ocaml/oo.mli
- lib/ocaml/oo.ml
- lib/ocaml/ocamldoc/odoc_value.cmx
- lib/ocaml/ocamldoc/odoc_value.cmi
- lib/ocaml/ocamldoc/odoc_types.cmx
- lib/ocaml/ocamldoc/odoc_types.cmi
- lib/ocaml/ocamldoc/odoc_type.cmx
- lib/ocaml/ocamldoc/odoc_type.cmi
- lib/ocaml/ocamldoc/odoc_to_text.cmx
- lib/ocaml/ocamldoc/odoc_to_text.cmi
- lib/ocaml/ocamldoc/odoc_text_parser.cmx
- lib/ocaml/ocamldoc/odoc_text_parser.cmi
- lib/ocaml/ocamldoc/odoc_text_lexer.cmx
- lib/ocaml/ocamldoc/odoc_text_lexer.cmi
- lib/ocaml/ocamldoc/odoc_text.cmx
- lib/ocaml/ocamldoc/odoc_text.cmi
- lib/ocaml/ocamldoc/odoc_texi.cmx
- lib/ocaml/ocamldoc/odoc_texi.cmi
- lib/ocaml/ocamldoc/odoc_test.cmi
- lib/ocaml/ocamldoc/odoc_str.cmx
- lib/ocaml/ocamldoc/odoc_str.cmi
- lib/ocaml/ocamldoc/odoc_sig.cmx
- lib/ocaml/ocamldoc/odoc_sig.cmi
- lib/ocaml/ocamldoc/odoc_see_lexer.cmx
- lib/ocaml/ocamldoc/odoc_see_lexer.cmi
- lib/ocaml/ocamldoc/odoc_search.cmx
- lib/ocaml/ocamldoc/odoc_search.cmi
- lib/ocaml/ocamldoc/odoc_scan.cmx
- lib/ocaml/ocamldoc/odoc_scan.cmi
- lib/ocaml/ocamldoc/odoc_print.cmx
- lib/ocaml/ocamldoc/odoc_print.cmi
- lib/ocaml/ocamldoc/odoc_parser.cmx
- lib/ocaml/ocamldoc/odoc_parser.cmi
- lib/ocaml/ocamldoc/odoc_parameter.cmx
- lib/ocaml/ocamldoc/odoc_parameter.cmi
- lib/ocaml/ocamldoc/odoc_ocamlhtml.cmx
- lib/ocaml/ocamldoc/odoc_ocamlhtml.cmi
- lib/ocaml/ocamldoc/odoc_name.cmx
- lib/ocaml/ocamldoc/odoc_name.cmi
- lib/ocaml/ocamldoc/odoc_module.cmx
- lib/ocaml/ocamldoc/odoc_module.cmi
- lib/ocaml/ocamldoc/odoc_misc.cmx
- lib/ocaml/ocamldoc/odoc_misc.cmi
- lib/ocaml/ocamldoc/odoc_messages.cmx
- lib/ocaml/ocamldoc/odoc_messages.cmi
- lib/ocaml/ocamldoc/odoc_merge.cmx
- lib/ocaml/ocamldoc/odoc_merge.cmi
- lib/ocaml/ocamldoc/odoc_man.cmx
- lib/ocaml/ocamldoc/odoc_man.cmi
- lib/ocaml/ocamldoc/odoc_lexer.cmx
- lib/ocaml/ocamldoc/odoc_lexer.cmi
- lib/ocaml/ocamldoc/odoc_latex_style.cmx
- lib/ocaml/ocamldoc/odoc_latex_style.cmi
- lib/ocaml/ocamldoc/odoc_latex.cmx
- lib/ocaml/ocamldoc/odoc_latex.cmi
- lib/ocaml/ocamldoc/odoc_inherit.cmx
- lib/ocaml/ocamldoc/odoc_inherit.cmi
- lib/ocaml/ocamldoc/odoc_info.mli
- lib/ocaml/ocamldoc/odoc_info.cmxa
- lib/ocaml/ocamldoc/odoc_info.cmx
- lib/ocaml/ocamldoc/odoc_info.cmti
- lib/ocaml/ocamldoc/odoc_info.cmt
- lib/ocaml/ocamldoc/odoc_info.cmi
- lib/ocaml/ocamldoc/odoc_info.cma
- lib/ocaml/ocamldoc/odoc_info.a
- lib/ocaml/ocamldoc/odoc_html.cmx
- lib/ocaml/ocamldoc/odoc_html.cmi
- lib/ocaml/ocamldoc/odoc_global.cmx
- lib/ocaml/ocamldoc/odoc_global.cmi
- lib/ocaml/ocamldoc/odoc_gen.cmx
- lib/ocaml/ocamldoc/odoc_gen.cmi
- lib/ocaml/ocamldoc/odoc_extension.cmx
- lib/ocaml/ocamldoc/odoc_extension.cmi
- lib/ocaml/ocamldoc/odoc_exception.cmx
- lib/ocaml/ocamldoc/odoc_exception.cmi
- lib/ocaml/ocamldoc/odoc_env.cmx
- lib/ocaml/ocamldoc/odoc_env.cmi
- lib/ocaml/ocamldoc/odoc_dot.cmx
- lib/ocaml/ocamldoc/odoc_dot.cmi
- lib/ocaml/ocamldoc/odoc_dep.cmx
- lib/ocaml/ocamldoc/odoc_dep.cmi
- lib/ocaml/ocamldoc/odoc_dag2html.cmx
- lib/ocaml/ocamldoc/odoc_dag2html.cmi
- lib/ocaml/ocamldoc/odoc_cross.cmx
- lib/ocaml/ocamldoc/odoc_cross.cmi
- lib/ocaml/ocamldoc/odoc_control.cmx
- lib/ocaml/ocamldoc/odoc_control.cmi
- lib/ocaml/ocamldoc/odoc_config.cmx
- lib/ocaml/ocamldoc/odoc_config.cmi
- lib/ocaml/ocamldoc/odoc_comments_global.cmx
- lib/ocaml/ocamldoc/odoc_comments_global.cmi
- lib/ocaml/ocamldoc/odoc_comments.cmx
- lib/ocaml/ocamldoc/odoc_comments.cmi
- lib/ocaml/ocamldoc/odoc_class.cmx
- lib/ocaml/ocamldoc/odoc_class.cmi
- lib/ocaml/ocamldoc/odoc_ast.cmx
- lib/ocaml/ocamldoc/odoc_ast.cmi
- lib/ocaml/ocamldoc/odoc_args.cmx
- lib/ocaml/ocamldoc/odoc_args.cmi
- lib/ocaml/ocamldoc/odoc_analyse.cmx
- lib/ocaml/ocamldoc/odoc_analyse.cmi
- lib/ocaml/ocamldoc/odoc.cmx
- lib/ocaml/ocamldoc/odoc.cmi
- lib/ocaml/ocamldoc/ocamldoc.hva
- lib/ocaml/objinfo_helper
- lib/ocaml/obj.mli
- lib/ocaml/obj.ml
- lib/ocaml/nativeint.mli
- lib/ocaml/nativeint.ml
- lib/ocaml/mutex.mli
- lib/ocaml/moreLabels.mli
- lib/ocaml/moreLabels.ml
- lib/ocaml/marshal.mli
- lib/ocaml/marshal.ml
- lib/ocaml/map.mli
- lib/ocaml/map.ml
- lib/ocaml/listLabels.mli
- lib/ocaml/listLabels.ml
- lib/ocaml/list.mli
- lib/ocaml/list.ml
- lib/ocaml/libunix.a
- lib/ocaml/libthreadsnat.a
- lib/ocaml/libthreads.a
- lib/ocaml/libraw_spacetime_lib.a
- lib/ocaml/libgraphics.a
- lib/ocaml/libcamlstr.a
- lib/ocaml/libcamlruni.a
- lib/ocaml/libcamlrund.a
- lib/ocaml/libcamlrun_shared.so
- lib/ocaml/libcamlrun_pic.a
- lib/ocaml/libcamlrun.a
- lib/ocaml/libbigarray.a
- lib/ocaml/libasmrunp.a
- lib/ocaml/libasmruni.a
- lib/ocaml/libasmrund.a
- lib/ocaml/libasmrun_shared.so
- lib/ocaml/libasmrun_pic.a
- lib/ocaml/libasmrun.a
- lib/ocaml/lexing.mli
- lib/ocaml/lexing.ml
- lib/ocaml/ld.conf
- lib/ocaml/lazy.mli
- lib/ocaml/lazy.ml
- lib/ocaml/int64.mli
- lib/ocaml/int64.ml
- lib/ocaml/int32.mli
- lib/ocaml/int32.ml
- lib/ocaml/hashtbl.mli
- lib/ocaml/hashtbl.ml
- lib/ocaml/graphicsX11.mli
- lib/ocaml/graphicsX11.cmx
- lib/ocaml/graphicsX11.cmti
- lib/ocaml/graphicsX11.cmi
- lib/ocaml/graphics.mli
- lib/ocaml/graphics.cmxs
- lib/ocaml/graphics.cmxa
- lib/ocaml/graphics.cmx
- lib/ocaml/graphics.cmti
- lib/ocaml/graphics.cmi
- lib/ocaml/graphics.cma
- lib/ocaml/graphics.a
- lib/ocaml/genlex.mli
- lib/ocaml/genlex.ml
- lib/ocaml/gc.mli
- lib/ocaml/gc.ml
- lib/ocaml/format.mli
- lib/ocaml/format.ml
- lib/ocaml/float.mli
- lib/ocaml/float.ml
- lib/ocaml/filename.mli
- lib/ocaml/filename.ml
- lib/ocaml/extract_crc
- lib/ocaml/expunge
- lib/ocaml/event.mli
- lib/ocaml/ephemeron.mli
- lib/ocaml/ephemeron.ml
- lib/ocaml/dynlink.mli
- lib/ocaml/dynlink.cmxa
- lib/ocaml/dynlink.cmx
- lib/ocaml/dynlink.cmti
- lib/ocaml/dynlink.cmi
- lib/ocaml/dynlink.cma
- lib/ocaml/dynlink.a
- lib/ocaml/digest.mli
- lib/ocaml/digest.ml
- lib/ocaml/condition.mli
- lib/ocaml/complex.mli
- lib/ocaml/complex.ml
- lib/ocaml/compiler-libs/x86_proc.mli
- lib/ocaml/compiler-libs/x86_proc.cmx
- lib/ocaml/compiler-libs/x86_proc.cmti
- lib/ocaml/compiler-libs/x86_proc.cmt
- lib/ocaml/compiler-libs/x86_proc.cmi
- lib/ocaml/compiler-libs/x86_masm.mli
- lib/ocaml/compiler-libs/x86_masm.cmx
- lib/ocaml/compiler-libs/x86_masm.cmti
- lib/ocaml/compiler-libs/x86_masm.cmt
- lib/ocaml/compiler-libs/x86_masm.cmi
- lib/ocaml/compiler-libs/x86_gas.mli
- lib/ocaml/compiler-libs/x86_gas.cmx
- lib/ocaml/compiler-libs/x86_gas.cmti
- lib/ocaml/compiler-libs/x86_gas.cmt
- lib/ocaml/compiler-libs/x86_gas.cmi
- lib/ocaml/compiler-libs/x86_dsl.mli
- lib/ocaml/compiler-libs/x86_dsl.cmx
- lib/ocaml/compiler-libs/x86_dsl.cmti
- lib/ocaml/compiler-libs/x86_dsl.cmt
- lib/ocaml/compiler-libs/x86_dsl.cmi
- lib/ocaml/compiler-libs/x86_ast.mli
- lib/ocaml/compiler-libs/x86_ast.cmti
- lib/ocaml/compiler-libs/x86_ast.cmi
- lib/ocaml/compiler-libs/warnings.mli
- lib/ocaml/compiler-libs/warnings.cmx
- lib/ocaml/compiler-libs/warnings.cmti
- lib/ocaml/compiler-libs/warnings.cmt
- lib/ocaml/compiler-libs/warnings.cmi
- lib/ocaml/compiler-libs/variable.mli
- lib/ocaml/compiler-libs/variable.cmti
- lib/ocaml/compiler-libs/variable.cmt
- lib/ocaml/compiler-libs/variable.cmi
- lib/ocaml/compiler-libs/var_within_closure.mli
- lib/ocaml/compiler-libs/var_within_closure.cmti
- lib/ocaml/compiler-libs/var_within_closure.cmt
- lib/ocaml/compiler-libs/var_within_closure.cmi
- lib/ocaml/compiler-libs/untypeast.mli
- lib/ocaml/compiler-libs/untypeast.cmx
- lib/ocaml/compiler-libs/untypeast.cmti
- lib/ocaml/compiler-libs/untypeast.cmt
- lib/ocaml/compiler-libs/untypeast.cmi
- lib/ocaml/compiler-libs/unbox_specialised_args.mli
- lib/ocaml/compiler-libs/unbox_specialised_args.cmti
- lib/ocaml/compiler-libs/unbox_specialised_args.cmt
- lib/ocaml/compiler-libs/unbox_specialised_args.cmi
- lib/ocaml/compiler-libs/unbox_free_vars_of_closures.mli
- lib/ocaml/compiler-libs/unbox_free_vars_of_closures.cmti
- lib/ocaml/compiler-libs/unbox_free_vars_of_closures.cmt
- lib/ocaml/compiler-libs/unbox_free_vars_of_closures.cmi
- lib/ocaml/compiler-libs/unbox_closures.mli
- lib/ocaml/compiler-libs/unbox_closures.cmti
- lib/ocaml/compiler-libs/unbox_closures.cmt
- lib/ocaml/compiler-libs/unbox_closures.cmi
- lib/ocaml/compiler-libs/un_anf.mli
- lib/ocaml/compiler-libs/un_anf.cmx
- lib/ocaml/compiler-libs/un_anf.cmti
- lib/ocaml/compiler-libs/un_anf.cmt
- lib/ocaml/compiler-libs/un_anf.cmi
- lib/ocaml/compiler-libs/typetexp.mli
- lib/ocaml/compiler-libs/typetexp.cmx
- lib/ocaml/compiler-libs/typetexp.cmti
- lib/ocaml/compiler-libs/typetexp.cmt
- lib/ocaml/compiler-libs/typetexp.cmi
- lib/ocaml/compiler-libs/types.mli
- lib/ocaml/compiler-libs/types.cmx
- lib/ocaml/compiler-libs/types.cmti
- lib/ocaml/compiler-libs/types.cmt
- lib/ocaml/compiler-libs/types.cmi
- lib/ocaml/compiler-libs/typeopt.mli
- lib/ocaml/compiler-libs/typeopt.cmx
- lib/ocaml/compiler-libs/typeopt.cmti
- lib/ocaml/compiler-libs/typeopt.cmt
- lib/ocaml/compiler-libs/typeopt.cmi
- lib/ocaml/compiler-libs/typemod.mli
- lib/ocaml/compiler-libs/typemod.cmx
- lib/ocaml/compiler-libs/typemod.cmti
- lib/ocaml/compiler-libs/typemod.cmt
- lib/ocaml/compiler-libs/typemod.cmi
- lib/ocaml/compiler-libs/typedtreeMap.mli
- lib/ocaml/compiler-libs/typedtreeMap.cmx
- lib/ocaml/compiler-libs/typedtreeMap.cmti
- lib/ocaml/compiler-libs/typedtreeMap.cmt
- lib/ocaml/compiler-libs/typedtreeMap.cmi
- lib/ocaml/compiler-libs/typedtreeIter.mli
- lib/ocaml/compiler-libs/typedtreeIter.cmx
- lib/ocaml/compiler-libs/typedtreeIter.cmti
- lib/ocaml/compiler-libs/typedtreeIter.cmt
- lib/ocaml/compiler-libs/typedtreeIter.cmi
- lib/ocaml/compiler-libs/typedtree.mli
- lib/ocaml/compiler-libs/typedtree.cmx
- lib/ocaml/compiler-libs/typedtree.cmti
- lib/ocaml/compiler-libs/typedtree.cmt
- lib/ocaml/compiler-libs/typedtree.cmi
- lib/ocaml/compiler-libs/typedecl.mli
- lib/ocaml/compiler-libs/typedecl.cmx
- lib/ocaml/compiler-libs/typedecl.cmti
- lib/ocaml/compiler-libs/typedecl.cmt
- lib/ocaml/compiler-libs/typedecl.cmi
- lib/ocaml/compiler-libs/typecore.mli
- lib/ocaml/compiler-libs/typecore.cmx
- lib/ocaml/compiler-libs/typecore.cmti
- lib/ocaml/compiler-libs/typecore.cmt
- lib/ocaml/compiler-libs/typecore.cmi
- lib/ocaml/compiler-libs/typeclass.mli
- lib/ocaml/compiler-libs/typeclass.cmx
- lib/ocaml/compiler-libs/typeclass.cmti
- lib/ocaml/compiler-libs/typeclass.cmt
- lib/ocaml/compiler-libs/typeclass.cmi
- lib/ocaml/compiler-libs/traverse_for_exported_symbols.mli
- lib/ocaml/compiler-libs/traverse_for_exported_symbols.cmx
- lib/ocaml/compiler-libs/traverse_for_exported_symbols.cmti
- lib/ocaml/compiler-libs/traverse_for_exported_symbols.cmt
- lib/ocaml/compiler-libs/traverse_for_exported_symbols.cmi
- lib/ocaml/compiler-libs/translprim.mli
- lib/ocaml/compiler-libs/translprim.cmx
- lib/ocaml/compiler-libs/translprim.cmti
- lib/ocaml/compiler-libs/translprim.cmt
- lib/ocaml/compiler-libs/translprim.cmi
- lib/ocaml/compiler-libs/translobj.mli
- lib/ocaml/compiler-libs/translobj.cmx
- lib/ocaml/compiler-libs/translobj.cmti
- lib/ocaml/compiler-libs/translobj.cmt
- lib/ocaml/compiler-libs/translobj.cmi
- lib/ocaml/compiler-libs/translmod.mli
- lib/ocaml/compiler-libs/translmod.cmx
- lib/ocaml/compiler-libs/translmod.cmti
- lib/ocaml/compiler-libs/translmod.cmt
- lib/ocaml/compiler-libs/translmod.cmi
- lib/ocaml/compiler-libs/translcore.mli
- lib/ocaml/compiler-libs/translcore.cmx
- lib/ocaml/compiler-libs/translcore.cmti
- lib/ocaml/compiler-libs/translcore.cmt
- lib/ocaml/compiler-libs/translcore.cmi
- lib/ocaml/compiler-libs/translclass.mli
- lib/ocaml/compiler-libs/translclass.cmx
- lib/ocaml/compiler-libs/translclass.cmti
- lib/ocaml/compiler-libs/translclass.cmt
- lib/ocaml/compiler-libs/translclass.cmi
- lib/ocaml/compiler-libs/translattribute.mli
- lib/ocaml/compiler-libs/translattribute.cmx
- lib/ocaml/compiler-libs/translattribute.cmti
- lib/ocaml/compiler-libs/translattribute.cmt
- lib/ocaml/compiler-libs/translattribute.cmi
- lib/ocaml/compiler-libs/trace.mli
- lib/ocaml/compiler-libs/trace.cmti
- lib/ocaml/compiler-libs/trace.cmt
- lib/ocaml/compiler-libs/trace.cmi
- lib/ocaml/compiler-libs/topstart.cmt
- lib/ocaml/compiler-libs/topstart.cmo
- lib/ocaml/compiler-libs/topstart.cmi
- lib/ocaml/compiler-libs/topmain.mli
- lib/ocaml/compiler-libs/topmain.cmti
- lib/ocaml/compiler-libs/topmain.cmt
- lib/ocaml/compiler-libs/topmain.cmi
- lib/ocaml/compiler-libs/toploop.mli
- lib/ocaml/compiler-libs/toploop.cmti
- lib/ocaml/compiler-libs/toploop.cmt
- lib/ocaml/compiler-libs/toploop.cmi
- lib/ocaml/compiler-libs/topdirs.mli
- lib/ocaml/compiler-libs/topdirs.cmti
- lib/ocaml/compiler-libs/topdirs.cmt
- lib/ocaml/compiler-libs/topdirs.cmi
- lib/ocaml/compiler-libs/terminfo.mli
- lib/ocaml/compiler-libs/terminfo.cmx
- lib/ocaml/compiler-libs/terminfo.cmti
- lib/ocaml/compiler-libs/terminfo.cmt
- lib/ocaml/compiler-libs/terminfo.cmi
- lib/ocaml/compiler-libs/tbl.mli
- lib/ocaml/compiler-libs/tbl.cmx
- lib/ocaml/compiler-libs/tbl.cmti
- lib/ocaml/compiler-libs/tbl.cmt
- lib/ocaml/compiler-libs/tbl.cmi
- lib/ocaml/compiler-libs/tast_mapper.mli
- lib/ocaml/compiler-libs/tast_mapper.cmx
- lib/ocaml/compiler-libs/tast_mapper.cmti
- lib/ocaml/compiler-libs/tast_mapper.cmt
- lib/ocaml/compiler-libs/tast_mapper.cmi
- lib/ocaml/compiler-libs/targetint.mli
- lib/ocaml/compiler-libs/targetint.cmx
- lib/ocaml/compiler-libs/targetint.cmti
- lib/ocaml/compiler-libs/targetint.cmt
- lib/ocaml/compiler-libs/targetint.cmi
- lib/ocaml/compiler-libs/tag.mli
- lib/ocaml/compiler-libs/tag.cmti
- lib/ocaml/compiler-libs/tag.cmt
- lib/ocaml/compiler-libs/tag.cmi
- lib/ocaml/compiler-libs/syntaxerr.mli
- lib/ocaml/compiler-libs/syntaxerr.cmx
- lib/ocaml/compiler-libs/syntaxerr.cmti
- lib/ocaml/compiler-libs/syntaxerr.cmt
- lib/ocaml/compiler-libs/syntaxerr.cmi
- lib/ocaml/compiler-libs/symtable.mli
- lib/ocaml/compiler-libs/symtable.cmx
- lib/ocaml/compiler-libs/symtable.cmti
- lib/ocaml/compiler-libs/symtable.cmt
- lib/ocaml/compiler-libs/symtable.cmi
- lib/ocaml/compiler-libs/symbol.mli
- lib/ocaml/compiler-libs/symbol.cmti
- lib/ocaml/compiler-libs/symbol.cmt
- lib/ocaml/compiler-libs/symbol.cmi
- lib/ocaml/compiler-libs/switch.mli
- lib/ocaml/compiler-libs/switch.cmx
- lib/ocaml/compiler-libs/switch.cmti
- lib/ocaml/compiler-libs/switch.cmt
- lib/ocaml/compiler-libs/switch.cmi
- lib/ocaml/compiler-libs/subst.mli
- lib/ocaml/compiler-libs/subst.cmx
- lib/ocaml/compiler-libs/subst.cmti
- lib/ocaml/compiler-libs/subst.cmt
- lib/ocaml/compiler-libs/subst.cmi
- lib/ocaml/compiler-libs/stypes.mli
- lib/ocaml/compiler-libs/stypes.cmx
- lib/ocaml/compiler-libs/stypes.cmti
- lib/ocaml/compiler-libs/stypes.cmt
- lib/ocaml/compiler-libs/stypes.cmi
- lib/ocaml/compiler-libs/strongly_connected_components.mli
- lib/ocaml/compiler-libs/strongly_connected_components.cmx
- lib/ocaml/compiler-libs/strongly_connected_components.cmti
- lib/ocaml/compiler-libs/strongly_connected_components.cmt
- lib/ocaml/compiler-libs/strongly_connected_components.cmi
- lib/ocaml/compiler-libs/strmatch.mli
- lib/ocaml/compiler-libs/strmatch.cmx
- lib/ocaml/compiler-libs/strmatch.cmti
- lib/ocaml/compiler-libs/strmatch.cmt
- lib/ocaml/compiler-libs/strmatch.cmi
- lib/ocaml/compiler-libs/static_exception.mli
- lib/ocaml/compiler-libs/static_exception.cmti
- lib/ocaml/compiler-libs/static_exception.cmt
- lib/ocaml/compiler-libs/static_exception.cmi
- lib/ocaml/compiler-libs/split.mli
- lib/ocaml/compiler-libs/split.cmx
- lib/ocaml/compiler-libs/split.cmti
- lib/ocaml/compiler-libs/split.cmt
- lib/ocaml/compiler-libs/split.cmi
- lib/ocaml/compiler-libs/spill.mli
- lib/ocaml/compiler-libs/spill.cmx
- lib/ocaml/compiler-libs/spill.cmti
- lib/ocaml/compiler-libs/spill.cmt
- lib/ocaml/compiler-libs/spill.cmi
- lib/ocaml/compiler-libs/spacetime_profiling.mli
- lib/ocaml/compiler-libs/spacetime_profiling.cmx
- lib/ocaml/compiler-libs/spacetime_profiling.cmti
- lib/ocaml/compiler-libs/spacetime_profiling.cmt
- lib/ocaml/compiler-libs/spacetime_profiling.cmi
- lib/ocaml/compiler-libs/simplify_primitives.mli
- lib/ocaml/compiler-libs/simplify_primitives.cmti
- lib/ocaml/compiler-libs/simplify_primitives.cmt
- lib/ocaml/compiler-libs/simplify_primitives.cmi
- lib/ocaml/compiler-libs/simplify_common.mli
- lib/ocaml/compiler-libs/simplify_common.cmti
- lib/ocaml/compiler-libs/simplify_common.cmt
- lib/ocaml/compiler-libs/simplify_common.cmi
- lib/ocaml/compiler-libs/simplify_boxed_integer_ops_intf.mli
- lib/ocaml/compiler-libs/simplify_boxed_integer_ops_intf.cmti
- lib/ocaml/compiler-libs/simplify_boxed_integer_ops_intf.cmi
- lib/ocaml/compiler-libs/simplify_boxed_integer_ops.mli
- lib/ocaml/compiler-libs/simplify_boxed_integer_ops.cmti
- lib/ocaml/compiler-libs/simplify_boxed_integer_ops.cmt
- lib/ocaml/compiler-libs/simplify_boxed_integer_ops.cmi
- lib/ocaml/compiler-libs/simplif.mli
- lib/ocaml/compiler-libs/simplif.cmx
- lib/ocaml/compiler-libs/simplif.cmti
- lib/ocaml/compiler-libs/simplif.cmt
- lib/ocaml/compiler-libs/simplif.cmi
- lib/ocaml/compiler-libs/simple_value_approx.mli
- lib/ocaml/compiler-libs/simple_value_approx.cmti
- lib/ocaml/compiler-libs/simple_value_approx.cmt
- lib/ocaml/compiler-libs/simple_value_approx.cmi
- lib/ocaml/compiler-libs/share_constants.mli
- lib/ocaml/compiler-libs/share_constants.cmti
- lib/ocaml/compiler-libs/share_constants.cmt
- lib/ocaml/compiler-libs/share_constants.cmi
- lib/ocaml/compiler-libs/set_of_closures_origin.mli
- lib/ocaml/compiler-libs/set_of_closures_origin.cmti
- lib/ocaml/compiler-libs/set_of_closures_origin.cmt
- lib/ocaml/compiler-libs/set_of_closures_origin.cmi
- lib/ocaml/compiler-libs/set_of_closures_id.mli
- lib/ocaml/compiler-libs/set_of_closures_id.cmti
- lib/ocaml/compiler-libs/set_of_closures_id.cmt
- lib/ocaml/compiler-libs/set_of_closures_id.cmi
- lib/ocaml/compiler-libs/semantics_of_primitives.mli
- lib/ocaml/compiler-libs/semantics_of_primitives.cmx
- lib/ocaml/compiler-libs/semantics_of_primitives.cmti
- lib/ocaml/compiler-libs/semantics_of_primitives.cmt
- lib/ocaml/compiler-libs/semantics_of_primitives.cmi
- lib/ocaml/compiler-libs/selection.mli
- lib/ocaml/compiler-libs/selection.cmx
- lib/ocaml/compiler-libs/selection.cmti
- lib/ocaml/compiler-libs/selection.cmt
- lib/ocaml/compiler-libs/selection.cmi
- lib/ocaml/compiler-libs/selectgen.mli
- lib/ocaml/compiler-libs/selectgen.cmx
- lib/ocaml/compiler-libs/selectgen.cmti
- lib/ocaml/compiler-libs/selectgen.cmt
- lib/ocaml/compiler-libs/selectgen.cmi
- lib/ocaml/compiler-libs/scheduling.mli
- lib/ocaml/compiler-libs/scheduling.cmx
- lib/ocaml/compiler-libs/scheduling.cmti
- lib/ocaml/compiler-libs/scheduling.cmt
- lib/ocaml/compiler-libs/scheduling.cmi
- lib/ocaml/compiler-libs/schedgen.mli
- lib/ocaml/compiler-libs/schedgen.cmx
- lib/ocaml/compiler-libs/schedgen.cmti
- lib/ocaml/compiler-libs/schedgen.cmt
- lib/ocaml/compiler-libs/schedgen.cmi
- lib/ocaml/compiler-libs/runtimedef.mli
- lib/ocaml/compiler-libs/runtimedef.cmx
- lib/ocaml/compiler-libs/runtimedef.cmti
- lib/ocaml/compiler-libs/runtimedef.cmt
- lib/ocaml/compiler-libs/runtimedef.cmi
- lib/ocaml/compiler-libs/remove_unused_program_constructs.mli
- lib/ocaml/compiler-libs/remove_unused_program_constructs.cmti
- lib/ocaml/compiler-libs/remove_unused_program_constructs.cmt
- lib/ocaml/compiler-libs/remove_unused_program_constructs.cmi
- lib/ocaml/compiler-libs/remove_unused_closure_vars.mli
- lib/ocaml/compiler-libs/remove_unused_closure_vars.cmti
- lib/ocaml/compiler-libs/remove_unused_closure_vars.cmt
- lib/ocaml/compiler-libs/remove_unused_closure_vars.cmi
- lib/ocaml/compiler-libs/remove_unused_arguments.mli
- lib/ocaml/compiler-libs/remove_unused_arguments.cmti
- lib/ocaml/compiler-libs/remove_unused_arguments.cmt
- lib/ocaml/compiler-libs/remove_unused_arguments.cmi
- lib/ocaml/compiler-libs/remove_free_vars_equal_to_args.mli
- lib/ocaml/compiler-libs/remove_free_vars_equal_to_args.cmti
- lib/ocaml/compiler-libs/remove_free_vars_equal_to_args.cmt
- lib/ocaml/compiler-libs/remove_free_vars_equal_to_args.cmi
- lib/ocaml/compiler-libs/reloadgen.mli
- lib/ocaml/compiler-libs/reloadgen.cmx
- lib/ocaml/compiler-libs/reloadgen.cmti
- lib/ocaml/compiler-libs/reloadgen.cmt
- lib/ocaml/compiler-libs/reloadgen.cmi
- lib/ocaml/compiler-libs/reload.mli
- lib/ocaml/compiler-libs/reload.cmx
- lib/ocaml/compiler-libs/reload.cmti
- lib/ocaml/compiler-libs/reload.cmt
- lib/ocaml/compiler-libs/reload.cmi
- lib/ocaml/compiler-libs/reg.mli
- lib/ocaml/compiler-libs/reg.cmx
- lib/ocaml/compiler-libs/reg.cmti
- lib/ocaml/compiler-libs/reg.cmt
- lib/ocaml/compiler-libs/reg.cmi
- lib/ocaml/compiler-libs/ref_to_variables.mli
- lib/ocaml/compiler-libs/ref_to_variables.cmti
- lib/ocaml/compiler-libs/ref_to_variables.cmt
- lib/ocaml/compiler-libs/ref_to_variables.cmi
- lib/ocaml/compiler-libs/projection.mli
- lib/ocaml/compiler-libs/projection.cmti
- lib/ocaml/compiler-libs/projection.cmt
- lib/ocaml/compiler-libs/projection.cmi
- lib/ocaml/compiler-libs/profile.mli
- lib/ocaml/compiler-libs/profile.cmx
- lib/ocaml/compiler-libs/profile.cmti
- lib/ocaml/compiler-libs/profile.cmt
- lib/ocaml/compiler-libs/profile.cmi
- lib/ocaml/compiler-libs/proc.mli
- lib/ocaml/compiler-libs/proc.cmx
- lib/ocaml/compiler-libs/proc.cmti
- lib/ocaml/compiler-libs/proc.cmt
- lib/ocaml/compiler-libs/proc.cmi
- lib/ocaml/compiler-libs/printtyped.mli
- lib/ocaml/compiler-libs/printtyped.cmx
- lib/ocaml/compiler-libs/printtyped.cmti
- lib/ocaml/compiler-libs/printtyped.cmt
- lib/ocaml/compiler-libs/printtyped.cmi
- lib/ocaml/compiler-libs/printtyp.mli
- lib/ocaml/compiler-libs/printtyp.cmx
- lib/ocaml/compiler-libs/printtyp.cmti
- lib/ocaml/compiler-libs/printtyp.cmt
- lib/ocaml/compiler-libs/printtyp.cmi
- lib/ocaml/compiler-libs/printpat.mli
- lib/ocaml/compiler-libs/printpat.cmx
- lib/ocaml/compiler-libs/printpat.cmti
- lib/ocaml/compiler-libs/printpat.cmt
- lib/ocaml/compiler-libs/printpat.cmi
- lib/ocaml/compiler-libs/printmach.mli
- lib/ocaml/compiler-libs/printmach.cmx
- lib/ocaml/compiler-libs/printmach.cmti
- lib/ocaml/compiler-libs/printmach.cmt
- lib/ocaml/compiler-libs/printmach.cmi
- lib/ocaml/compiler-libs/printlinear.mli
- lib/ocaml/compiler-libs/printlinear.cmx
- lib/ocaml/compiler-libs/printlinear.cmti
- lib/ocaml/compiler-libs/printlinear.cmt
- lib/ocaml/compiler-libs/printlinear.cmi
- lib/ocaml/compiler-libs/printlambda.mli
- lib/ocaml/compiler-libs/printlambda.cmx
- lib/ocaml/compiler-libs/printlambda.cmti
- lib/ocaml/compiler-libs/printlambda.cmt
- lib/ocaml/compiler-libs/printlambda.cmi
- lib/ocaml/compiler-libs/printinstr.mli
- lib/ocaml/compiler-libs/printinstr.cmx
- lib/ocaml/compiler-libs/printinstr.cmti
- lib/ocaml/compiler-libs/printinstr.cmt
- lib/ocaml/compiler-libs/printinstr.cmi
- lib/ocaml/compiler-libs/printcmm.mli
- lib/ocaml/compiler-libs/printcmm.cmx
- lib/ocaml/compiler-libs/printcmm.cmti
- lib/ocaml/compiler-libs/printcmm.cmt
- lib/ocaml/compiler-libs/printcmm.cmi
- lib/ocaml/compiler-libs/printclambda.mli
- lib/ocaml/compiler-libs/printclambda.cmx
- lib/ocaml/compiler-libs/printclambda.cmti
- lib/ocaml/compiler-libs/printclambda.cmt
- lib/ocaml/compiler-libs/printclambda.cmi
- lib/ocaml/compiler-libs/printast.mli
- lib/ocaml/compiler-libs/printast.cmx
- lib/ocaml/compiler-libs/printast.cmti
- lib/ocaml/compiler-libs/printast.cmt
- lib/ocaml/compiler-libs/printast.cmi
- lib/ocaml/compiler-libs/primitive.mli
- lib/ocaml/compiler-libs/primitive.cmx
- lib/ocaml/compiler-libs/primitive.cmti
- lib/ocaml/compiler-libs/primitive.cmt
- lib/ocaml/compiler-libs/primitive.cmi
- lib/ocaml/compiler-libs/predef.mli
- lib/ocaml/compiler-libs/predef.cmx
- lib/ocaml/compiler-libs/predef.cmti
- lib/ocaml/compiler-libs/predef.cmt
- lib/ocaml/compiler-libs/predef.cmi
- lib/ocaml/compiler-libs/pprintast.mli
- lib/ocaml/compiler-libs/pprintast.cmx
- lib/ocaml/compiler-libs/pprintast.cmti
- lib/ocaml/compiler-libs/pprintast.cmt
- lib/ocaml/compiler-libs/pprintast.cmi
- lib/ocaml/compiler-libs/pparse.mli
- lib/ocaml/compiler-libs/pparse.cmx
- lib/ocaml/compiler-libs/pparse.cmti
- lib/ocaml/compiler-libs/pparse.cmt
- lib/ocaml/compiler-libs/pparse.cmi
- lib/ocaml/compiler-libs/path.mli
- lib/ocaml/compiler-libs/path.cmx
- lib/ocaml/compiler-libs/path.cmti
- lib/ocaml/compiler-libs/path.cmt
- lib/ocaml/compiler-libs/path.cmi
- lib/ocaml/compiler-libs/pass_wrapper.mli
- lib/ocaml/compiler-libs/pass_wrapper.cmti
- lib/ocaml/compiler-libs/pass_wrapper.cmt
- lib/ocaml/compiler-libs/pass_wrapper.cmi
- lib/ocaml/compiler-libs/parsetree.mli
- lib/ocaml/compiler-libs/parsetree.cmti
- lib/ocaml/compiler-libs/parsetree.cmi
- lib/ocaml/compiler-libs/parser.mli
- lib/ocaml/compiler-libs/parser.cmx
- lib/ocaml/compiler-libs/parser.cmti
- lib/ocaml/compiler-libs/parser.cmt
- lib/ocaml/compiler-libs/parser.cmi
- lib/ocaml/compiler-libs/parse.mli
- lib/ocaml/compiler-libs/parse.cmx
- lib/ocaml/compiler-libs/parse.cmti
- lib/ocaml/compiler-libs/parse.cmt
- lib/ocaml/compiler-libs/parse.cmi
- lib/ocaml/compiler-libs/parmatch.mli
- lib/ocaml/compiler-libs/parmatch.cmx
- lib/ocaml/compiler-libs/parmatch.cmti
- lib/ocaml/compiler-libs/parmatch.cmt
- lib/ocaml/compiler-libs/parmatch.cmi
- lib/ocaml/compiler-libs/parameter.mli
- lib/ocaml/compiler-libs/parameter.cmti
- lib/ocaml/compiler-libs/parameter.cmt
- lib/ocaml/compiler-libs/parameter.cmi
- lib/ocaml/compiler-libs/outcometree.mli
- lib/ocaml/compiler-libs/outcometree.cmti
- lib/ocaml/compiler-libs/outcometree.cmi
- lib/ocaml/compiler-libs/opttopmain.mli
- lib/ocaml/compiler-libs/opttoploop.mli
- lib/ocaml/compiler-libs/opttopdirs.mli
- lib/ocaml/compiler-libs/optmain.o
- lib/ocaml/compiler-libs/optmain.mli
- lib/ocaml/compiler-libs/optmain.cmx
- lib/ocaml/compiler-libs/optmain.cmti
- lib/ocaml/compiler-libs/optmain.cmt
- lib/ocaml/compiler-libs/optmain.cmo
- lib/ocaml/compiler-libs/optmain.cmi
- lib/ocaml/compiler-libs/opterrors.mli
- lib/ocaml/compiler-libs/opterrors.cmx
- lib/ocaml/compiler-libs/opterrors.cmti
- lib/ocaml/compiler-libs/opterrors.cmt
- lib/ocaml/compiler-libs/opterrors.cmi
- lib/ocaml/compiler-libs/optcompile.mli
- lib/ocaml/compiler-libs/optcompile.cmx
- lib/ocaml/compiler-libs/optcompile.cmti
- lib/ocaml/compiler-libs/optcompile.cmt
- lib/ocaml/compiler-libs/optcompile.cmi
- lib/ocaml/compiler-libs/oprint.mli
- lib/ocaml/compiler-libs/oprint.cmx
- lib/ocaml/compiler-libs/oprint.cmti
- lib/ocaml/compiler-libs/oprint.cmt
- lib/ocaml/compiler-libs/oprint.cmi
- lib/ocaml/compiler-libs/opcodes.cmx
- lib/ocaml/compiler-libs/opcodes.cmt
- lib/ocaml/compiler-libs/opcodes.cmi
- lib/ocaml/compiler-libs/ocamltoplevel.cma
- lib/ocaml/compiler-libs/ocamloptcomp.cmxa
- lib/ocaml/compiler-libs/ocamloptcomp.cma
- lib/ocaml/compiler-libs/ocamloptcomp.a
- lib/ocaml/compiler-libs/ocamlcommon.cmxa
- lib/ocaml/compiler-libs/ocamlcommon.cma
- lib/ocaml/compiler-libs/ocamlcommon.a
- lib/ocaml/compiler-libs/ocamlbytecomp.cmxa
- lib/ocaml/compiler-libs/ocamlbytecomp.cma
- lib/ocaml/compiler-libs/ocamlbytecomp.a
- lib/ocaml/compiler-libs/numbers.mli
- lib/ocaml/compiler-libs/numbers.cmx
- lib/ocaml/compiler-libs/numbers.cmti
- lib/ocaml/compiler-libs/numbers.cmt
- lib/ocaml/compiler-libs/numbers.cmi
- lib/ocaml/compiler-libs/mutable_variable.mli
- lib/ocaml/compiler-libs/mutable_variable.cmti
- lib/ocaml/compiler-libs/mutable_variable.cmt
- lib/ocaml/compiler-libs/mutable_variable.cmi
- lib/ocaml/compiler-libs/mtype.mli
- lib/ocaml/compiler-libs/mtype.cmx
- lib/ocaml/compiler-libs/mtype.cmti
- lib/ocaml/compiler-libs/mtype.cmt
- lib/ocaml/compiler-libs/mtype.cmi
- lib/ocaml/compiler-libs/misc.mli
- lib/ocaml/compiler-libs/misc.cmx
- lib/ocaml/compiler-libs/misc.cmti
- lib/ocaml/compiler-libs/misc.cmt
- lib/ocaml/compiler-libs/misc.cmi
- lib/ocaml/compiler-libs/middle_end.mli
- lib/ocaml/compiler-libs/middle_end.cmti
- lib/ocaml/compiler-libs/middle_end.cmt
- lib/ocaml/compiler-libs/middle_end.cmi
- lib/ocaml/compiler-libs/meta.mli
- lib/ocaml/compiler-libs/meta.cmx
- lib/ocaml/compiler-libs/meta.cmti
- lib/ocaml/compiler-libs/meta.cmt
- lib/ocaml/compiler-libs/meta.cmi
- lib/ocaml/compiler-libs/matching.mli
- lib/ocaml/compiler-libs/matching.cmx
- lib/ocaml/compiler-libs/matching.cmti
- lib/ocaml/compiler-libs/matching.cmt
- lib/ocaml/compiler-libs/matching.cmi
- lib/ocaml/compiler-libs/makedepend.mli
- lib/ocaml/compiler-libs/makedepend.cmx
- lib/ocaml/compiler-libs/makedepend.cmti
- lib/ocaml/compiler-libs/makedepend.cmt
- lib/ocaml/compiler-libs/makedepend.cmi
- lib/ocaml/compiler-libs/main_args.mli
- lib/ocaml/compiler-libs/main_args.cmx
- lib/ocaml/compiler-libs/main_args.cmti
- lib/ocaml/compiler-libs/main_args.cmt
- lib/ocaml/compiler-libs/main_args.cmi
- lib/ocaml/compiler-libs/main.o
- lib/ocaml/compiler-libs/main.mli
- lib/ocaml/compiler-libs/main.cmx
- lib/ocaml/compiler-libs/main.cmti
- lib/ocaml/compiler-libs/main.cmt
- lib/ocaml/compiler-libs/main.cmo
- lib/ocaml/compiler-libs/main.cmi
- lib/ocaml/compiler-libs/mach.mli
- lib/ocaml/compiler-libs/mach.cmx
- lib/ocaml/compiler-libs/mach.cmti
- lib/ocaml/compiler-libs/mach.cmt
- lib/ocaml/compiler-libs/mach.cmi
- lib/ocaml/compiler-libs/longident.mli
- lib/ocaml/compiler-libs/longident.cmx
- lib/ocaml/compiler-libs/longident.cmti
- lib/ocaml/compiler-libs/longident.cmt
- lib/ocaml/compiler-libs/longident.cmi
- lib/ocaml/compiler-libs/location.mli
- lib/ocaml/compiler-libs/location.cmx
- lib/ocaml/compiler-libs/location.cmti
- lib/ocaml/compiler-libs/location.cmt
- lib/ocaml/compiler-libs/location.cmi
- lib/ocaml/compiler-libs/liveness.mli
- lib/ocaml/compiler-libs/liveness.cmx
- lib/ocaml/compiler-libs/liveness.cmti
- lib/ocaml/compiler-libs/liveness.cmt
- lib/ocaml/compiler-libs/liveness.cmi
- lib/ocaml/compiler-libs/linscan.mli
- lib/ocaml/compiler-libs/linscan.cmx
- lib/ocaml/compiler-libs/linscan.cmti
- lib/ocaml/compiler-libs/linscan.cmt
- lib/ocaml/compiler-libs/linscan.cmi
- lib/ocaml/compiler-libs/linkage_name.mli
- lib/ocaml/compiler-libs/linkage_name.cmti
- lib/ocaml/compiler-libs/linkage_name.cmt
- lib/ocaml/compiler-libs/linkage_name.cmi
- lib/ocaml/compiler-libs/linearize.mli
- lib/ocaml/compiler-libs/linearize.cmx
- lib/ocaml/compiler-libs/linearize.cmti
- lib/ocaml/compiler-libs/linearize.cmt
- lib/ocaml/compiler-libs/linearize.cmi
- lib/ocaml/compiler-libs/lift_let_to_initialize_symbol.mli
- lib/ocaml/compiler-libs/lift_let_to_initialize_symbol.cmti
- lib/ocaml/compiler-libs/lift_let_to_initialize_symbol.cmt
- lib/ocaml/compiler-libs/lift_let_to_initialize_symbol.cmi
- lib/ocaml/compiler-libs/lift_constants.mli
- lib/ocaml/compiler-libs/lift_constants.cmti
- lib/ocaml/compiler-libs/lift_constants.cmt
- lib/ocaml/compiler-libs/lift_constants.cmi
- lib/ocaml/compiler-libs/lift_code.mli
- lib/ocaml/compiler-libs/lift_code.cmti
- lib/ocaml/compiler-libs/lift_code.cmt
- lib/ocaml/compiler-libs/lift_code.cmi
- lib/ocaml/compiler-libs/lexer.mli
- lib/ocaml/compiler-libs/lexer.cmx
- lib/ocaml/compiler-libs/lexer.cmti
- lib/ocaml/compiler-libs/lexer.cmt
- lib/ocaml/compiler-libs/lexer.cmi
- lib/ocaml/compiler-libs/lambda.mli
- lib/ocaml/compiler-libs/lambda.cmx
- lib/ocaml/compiler-libs/lambda.cmti
- lib/ocaml/compiler-libs/lambda.cmt
- lib/ocaml/compiler-libs/lambda.cmi
- lib/ocaml/compiler-libs/invariant_params.mli
- lib/ocaml/compiler-libs/invariant_params.cmti
- lib/ocaml/compiler-libs/invariant_params.cmt
- lib/ocaml/compiler-libs/invariant_params.cmi
- lib/ocaml/compiler-libs/interval.mli
- lib/ocaml/compiler-libs/interval.cmx
- lib/ocaml/compiler-libs/interval.cmti
- lib/ocaml/compiler-libs/interval.cmt
- lib/ocaml/compiler-libs/interval.cmi
- lib/ocaml/compiler-libs/internal_variable_names.mli
- lib/ocaml/compiler-libs/internal_variable_names.cmti
- lib/ocaml/compiler-libs/internal_variable_names.cmt
- lib/ocaml/compiler-libs/internal_variable_names.cmi
- lib/ocaml/compiler-libs/interf.mli
- lib/ocaml/compiler-libs/interf.cmx
- lib/ocaml/compiler-libs/interf.cmti
- lib/ocaml/compiler-libs/interf.cmt
- lib/ocaml/compiler-libs/interf.cmi
- lib/ocaml/compiler-libs/instruct.mli
- lib/ocaml/compiler-libs/instruct.cmx
- lib/ocaml/compiler-libs/instruct.cmti
- lib/ocaml/compiler-libs/instruct.cmt
- lib/ocaml/compiler-libs/instruct.cmi
- lib/ocaml/compiler-libs/inlining_transforms.mli
- lib/ocaml/compiler-libs/inlining_transforms.cmti
- lib/ocaml/compiler-libs/inlining_transforms.cmt
- lib/ocaml/compiler-libs/inlining_transforms.cmi
- lib/ocaml/compiler-libs/inlining_stats_types.mli
- lib/ocaml/compiler-libs/inlining_stats_types.cmti
- lib/ocaml/compiler-libs/inlining_stats_types.cmt
- lib/ocaml/compiler-libs/inlining_stats_types.cmi
- lib/ocaml/compiler-libs/inlining_stats.mli
- lib/ocaml/compiler-libs/inlining_stats.cmti
- lib/ocaml/compiler-libs/inlining_stats.cmt
- lib/ocaml/compiler-libs/inlining_stats.cmi
- lib/ocaml/compiler-libs/inlining_decision_intf.mli
- lib/ocaml/compiler-libs/inlining_decision_intf.cmti
- lib/ocaml/compiler-libs/inlining_decision_intf.cmi
- lib/ocaml/compiler-libs/inlining_decision.mli
- lib/ocaml/compiler-libs/inlining_decision.cmti
- lib/ocaml/compiler-libs/inlining_decision.cmt
- lib/ocaml/compiler-libs/inlining_decision.cmi
- lib/ocaml/compiler-libs/inlining_cost.mli
- lib/ocaml/compiler-libs/inlining_cost.cmti
- lib/ocaml/compiler-libs/inlining_cost.cmt
- lib/ocaml/compiler-libs/inlining_cost.cmi
- lib/ocaml/compiler-libs/inline_and_simplify_aux.mli
- lib/ocaml/compiler-libs/inline_and_simplify_aux.cmti
- lib/ocaml/compiler-libs/inline_and_simplify_aux.cmt
- lib/ocaml/compiler-libs/inline_and_simplify_aux.cmi
- lib/ocaml/compiler-libs/inline_and_simplify.mli
- lib/ocaml/compiler-libs/inline_and_simplify.cmti
- lib/ocaml/compiler-libs/inline_and_simplify.cmt
- lib/ocaml/compiler-libs/inline_and_simplify.cmi
- lib/ocaml/compiler-libs/initialize_symbol_to_let_symbol.mli
- lib/ocaml/compiler-libs/initialize_symbol_to_let_symbol.cmti
- lib/ocaml/compiler-libs/initialize_symbol_to_let_symbol.cmt
- lib/ocaml/compiler-libs/initialize_symbol_to_let_symbol.cmi
- lib/ocaml/compiler-libs/inconstant_idents.mli
- lib/ocaml/compiler-libs/inconstant_idents.cmti
- lib/ocaml/compiler-libs/inconstant_idents.cmt
- lib/ocaml/compiler-libs/inconstant_idents.cmi
- lib/ocaml/compiler-libs/includemod.mli
- lib/ocaml/compiler-libs/includemod.cmx
- lib/ocaml/compiler-libs/includemod.cmti
- lib/ocaml/compiler-libs/includemod.cmt
- lib/ocaml/compiler-libs/includemod.cmi
- lib/ocaml/compiler-libs/includecore.mli
- lib/ocaml/compiler-libs/includecore.cmx
- lib/ocaml/compiler-libs/includecore.cmti
- lib/ocaml/compiler-libs/includecore.cmt
- lib/ocaml/compiler-libs/includecore.cmi
- lib/ocaml/compiler-libs/includeclass.mli
- lib/ocaml/compiler-libs/includeclass.cmx
- lib/ocaml/compiler-libs/includeclass.cmti
- lib/ocaml/compiler-libs/includeclass.cmt
- lib/ocaml/compiler-libs/includeclass.cmi
- lib/ocaml/compiler-libs/import_approx.mli
- lib/ocaml/compiler-libs/import_approx.cmx
- lib/ocaml/compiler-libs/import_approx.cmti
- lib/ocaml/compiler-libs/import_approx.cmt
- lib/ocaml/compiler-libs/import_approx.cmi
- lib/ocaml/compiler-libs/identifiable.mli
- lib/ocaml/compiler-libs/identifiable.cmx
- lib/ocaml/compiler-libs/identifiable.cmti
- lib/ocaml/compiler-libs/identifiable.cmt
- lib/ocaml/compiler-libs/identifiable.cmi
- lib/ocaml/compiler-libs/ident.mli
- lib/ocaml/compiler-libs/ident.cmx
- lib/ocaml/compiler-libs/ident.cmti
- lib/ocaml/compiler-libs/ident.cmt
- lib/ocaml/compiler-libs/ident.cmi
- lib/ocaml/compiler-libs/id_types.mli
- lib/ocaml/compiler-libs/id_types.cmti
- lib/ocaml/compiler-libs/id_types.cmt
- lib/ocaml/compiler-libs/id_types.cmi
- lib/ocaml/compiler-libs/genprintval.mli
- lib/ocaml/compiler-libs/genprintval.cmti
- lib/ocaml/compiler-libs/genprintval.cmt
- lib/ocaml/compiler-libs/genprintval.cmi
- lib/ocaml/compiler-libs/freshening.mli
- lib/ocaml/compiler-libs/freshening.cmti
- lib/ocaml/compiler-libs/freshening.cmt
- lib/ocaml/compiler-libs/freshening.cmi
- lib/ocaml/compiler-libs/flambda_utils.mli
- lib/ocaml/compiler-libs/flambda_utils.cmti
- lib/ocaml/compiler-libs/flambda_utils.cmt
- lib/ocaml/compiler-libs/flambda_utils.cmi
- lib/ocaml/compiler-libs/flambda_to_clambda.mli
- lib/ocaml/compiler-libs/flambda_to_clambda.cmx
- lib/ocaml/compiler-libs/flambda_to_clambda.cmti
- lib/ocaml/compiler-libs/flambda_to_clambda.cmt
- lib/ocaml/compiler-libs/flambda_to_clambda.cmi
- lib/ocaml/compiler-libs/flambda_iterators.mli
- lib/ocaml/compiler-libs/flambda_iterators.cmti
- lib/ocaml/compiler-libs/flambda_iterators.cmt
- lib/ocaml/compiler-libs/flambda_iterators.cmi
- lib/ocaml/compiler-libs/flambda_invariants.mli
- lib/ocaml/compiler-libs/flambda_invariants.cmti
- lib/ocaml/compiler-libs/flambda_invariants.cmt
- lib/ocaml/compiler-libs/flambda_invariants.cmi
- lib/ocaml/compiler-libs/flambda.mli
- lib/ocaml/compiler-libs/flambda.cmti
- lib/ocaml/compiler-libs/flambda.cmt
- lib/ocaml/compiler-libs/flambda.cmi
- lib/ocaml/compiler-libs/find_recursive_functions.mli
- lib/ocaml/compiler-libs/find_recursive_functions.cmti
- lib/ocaml/compiler-libs/find_recursive_functions.cmt
- lib/ocaml/compiler-libs/find_recursive_functions.cmi
- lib/ocaml/compiler-libs/extract_projections.mli
- lib/ocaml/compiler-libs/extract_projections.cmti
- lib/ocaml/compiler-libs/extract_projections.cmt
- lib/ocaml/compiler-libs/extract_projections.cmi
- lib/ocaml/compiler-libs/expunge.cmt
- lib/ocaml/compiler-libs/expunge.cmi
- lib/ocaml/compiler-libs/export_info_for_pack.mli
- lib/ocaml/compiler-libs/export_info_for_pack.cmx
- lib/ocaml/compiler-libs/export_info_for_pack.cmti
- lib/ocaml/compiler-libs/export_info_for_pack.cmt
- lib/ocaml/compiler-libs/export_info_for_pack.cmi
- lib/ocaml/compiler-libs/export_info.mli
- lib/ocaml/compiler-libs/export_info.cmx
- lib/ocaml/compiler-libs/export_info.cmti
- lib/ocaml/compiler-libs/export_info.cmt
- lib/ocaml/compiler-libs/export_info.cmi
- lib/ocaml/compiler-libs/export_id.mli
- lib/ocaml/compiler-libs/export_id.cmti
- lib/ocaml/compiler-libs/export_id.cmt
- lib/ocaml/compiler-libs/export_id.cmi
- lib/ocaml/compiler-libs/errors.mli
- lib/ocaml/compiler-libs/errors.cmx
- lib/ocaml/compiler-libs/errors.cmti
- lib/ocaml/compiler-libs/errors.cmt
- lib/ocaml/compiler-libs/errors.cmi
- lib/ocaml/compiler-libs/envaux.mli
- lib/ocaml/compiler-libs/envaux.cmx
- lib/ocaml/compiler-libs/envaux.cmti
- lib/ocaml/compiler-libs/envaux.cmt
- lib/ocaml/compiler-libs/envaux.cmi
- lib/ocaml/compiler-libs/env.mli
- lib/ocaml/compiler-libs/env.cmx
- lib/ocaml/compiler-libs/env.cmti
- lib/ocaml/compiler-libs/env.cmt
- lib/ocaml/compiler-libs/env.cmi
- lib/ocaml/compiler-libs/emitcode.mli
- lib/ocaml/compiler-libs/emitcode.cmx
- lib/ocaml/compiler-libs/emitcode.cmti
- lib/ocaml/compiler-libs/emitcode.cmt
- lib/ocaml/compiler-libs/emitcode.cmi
- lib/ocaml/compiler-libs/emitaux.mli
- lib/ocaml/compiler-libs/emitaux.cmx
- lib/ocaml/compiler-libs/emitaux.cmti
- lib/ocaml/compiler-libs/emitaux.cmt
- lib/ocaml/compiler-libs/emitaux.cmi
- lib/ocaml/compiler-libs/emit.mli
- lib/ocaml/compiler-libs/emit.cmx
- lib/ocaml/compiler-libs/emit.cmti
- lib/ocaml/compiler-libs/emit.cmt
- lib/ocaml/compiler-libs/emit.cmi
- lib/ocaml/compiler-libs/effect_analysis.mli
- lib/ocaml/compiler-libs/effect_analysis.cmti
- lib/ocaml/compiler-libs/effect_analysis.cmt
- lib/ocaml/compiler-libs/effect_analysis.cmi
- lib/ocaml/compiler-libs/docstrings.mli
- lib/ocaml/compiler-libs/docstrings.cmx
- lib/ocaml/compiler-libs/docstrings.cmti
- lib/ocaml/compiler-libs/docstrings.cmt
- lib/ocaml/compiler-libs/docstrings.cmi
- lib/ocaml/compiler-libs/dll.mli
- lib/ocaml/compiler-libs/dll.cmx
- lib/ocaml/compiler-libs/dll.cmti
- lib/ocaml/compiler-libs/dll.cmt
- lib/ocaml/compiler-libs/dll.cmi
- lib/ocaml/compiler-libs/depend.mli
- lib/ocaml/compiler-libs/depend.cmx
- lib/ocaml/compiler-libs/depend.cmti
- lib/ocaml/compiler-libs/depend.cmt
- lib/ocaml/compiler-libs/depend.cmi
- lib/ocaml/compiler-libs/debuginfo.mli
- lib/ocaml/compiler-libs/debuginfo.cmti
- lib/ocaml/compiler-libs/debuginfo.cmt
- lib/ocaml/compiler-libs/debuginfo.cmi
- lib/ocaml/compiler-libs/deadcode.mli
- lib/ocaml/compiler-libs/deadcode.cmx
- lib/ocaml/compiler-libs/deadcode.cmti
- lib/ocaml/compiler-libs/deadcode.cmt
- lib/ocaml/compiler-libs/deadcode.cmi
- lib/ocaml/compiler-libs/datarepr.mli
- lib/ocaml/compiler-libs/datarepr.cmx
- lib/ocaml/compiler-libs/datarepr.cmti
- lib/ocaml/compiler-libs/datarepr.cmt
- lib/ocaml/compiler-libs/datarepr.cmi
- lib/ocaml/compiler-libs/ctype.mli
- lib/ocaml/compiler-libs/ctype.cmx
- lib/ocaml/compiler-libs/ctype.cmti
- lib/ocaml/compiler-libs/ctype.cmt
- lib/ocaml/compiler-libs/ctype.cmi
- lib/ocaml/compiler-libs/consistbl.mli
- lib/ocaml/compiler-libs/consistbl.cmx
- lib/ocaml/compiler-libs/consistbl.cmti
- lib/ocaml/compiler-libs/consistbl.cmt
- lib/ocaml/compiler-libs/consistbl.cmi
- lib/ocaml/compiler-libs/config.mli
- lib/ocaml/compiler-libs/config.cmx
- lib/ocaml/compiler-libs/config.cmti
- lib/ocaml/compiler-libs/config.cmt
- lib/ocaml/compiler-libs/config.cmi
- lib/ocaml/compiler-libs/compplugin.mli
- lib/ocaml/compiler-libs/compplugin.cmx
- lib/ocaml/compiler-libs/compplugin.cmti
- lib/ocaml/compiler-libs/compplugin.cmt
- lib/ocaml/compiler-libs/compplugin.cmi
- lib/ocaml/compiler-libs/compmisc.mli
- lib/ocaml/compiler-libs/compmisc.cmx
- lib/ocaml/compiler-libs/compmisc.cmti
- lib/ocaml/compiler-libs/compmisc.cmt
- lib/ocaml/compiler-libs/compmisc.cmi
- lib/ocaml/compiler-libs/compilenv.mli
- lib/ocaml/compiler-libs/compilenv.cmx
- lib/ocaml/compiler-libs/compilenv.cmti
- lib/ocaml/compiler-libs/compilenv.cmt
- lib/ocaml/compiler-libs/compilenv.cmi
- lib/ocaml/compiler-libs/compile.mli
- lib/ocaml/compiler-libs/compile.cmx
- lib/ocaml/compiler-libs/compile.cmti
- lib/ocaml/compiler-libs/compile.cmt
- lib/ocaml/compiler-libs/compile.cmi
- lib/ocaml/compiler-libs/compilation_unit.mli
- lib/ocaml/compiler-libs/compilation_unit.cmti
- lib/ocaml/compiler-libs/compilation_unit.cmt
- lib/ocaml/compiler-libs/compilation_unit.cmi
- lib/ocaml/compiler-libs/compenv.mli
- lib/ocaml/compiler-libs/compenv.cmx
- lib/ocaml/compiler-libs/compenv.cmti
- lib/ocaml/compiler-libs/compenv.cmt
- lib/ocaml/compiler-libs/compenv.cmi
- lib/ocaml/compiler-libs/compdynlink.mli
- lib/ocaml/compiler-libs/compdynlink.cmx
- lib/ocaml/compiler-libs/compdynlink.cmti
- lib/ocaml/compiler-libs/compdynlink.cmt
- lib/ocaml/compiler-libs/compdynlink.cmi
- lib/ocaml/compiler-libs/comballoc.mli
- lib/ocaml/compiler-libs/comballoc.cmx
- lib/ocaml/compiler-libs/comballoc.cmti
- lib/ocaml/compiler-libs/comballoc.cmt
- lib/ocaml/compiler-libs/comballoc.cmi
- lib/ocaml/compiler-libs/coloring.mli
- lib/ocaml/compiler-libs/coloring.cmx
- lib/ocaml/compiler-libs/coloring.cmti
- lib/ocaml/compiler-libs/coloring.cmt
- lib/ocaml/compiler-libs/coloring.cmi
- lib/ocaml/compiler-libs/cmx_format.mli
- lib/ocaml/compiler-libs/cmx_format.cmti
- lib/ocaml/compiler-libs/cmx_format.cmi
- lib/ocaml/compiler-libs/cmt_format.mli
- lib/ocaml/compiler-libs/cmt_format.cmx
- lib/ocaml/compiler-libs/cmt_format.cmti
- lib/ocaml/compiler-libs/cmt_format.cmt
- lib/ocaml/compiler-libs/cmt_format.cmi
- lib/ocaml/compiler-libs/cmo_format.mli
- lib/ocaml/compiler-libs/cmo_format.cmti
- lib/ocaml/compiler-libs/cmo_format.cmi
- lib/ocaml/compiler-libs/cmmgen.mli
- lib/ocaml/compiler-libs/cmmgen.cmx
- lib/ocaml/compiler-libs/cmmgen.cmti
- lib/ocaml/compiler-libs/cmmgen.cmt
- lib/ocaml/compiler-libs/cmmgen.cmi
- lib/ocaml/compiler-libs/cmm.mli
- lib/ocaml/compiler-libs/cmm.cmx
- lib/ocaml/compiler-libs/cmm.cmti
- lib/ocaml/compiler-libs/cmm.cmt
- lib/ocaml/compiler-libs/cmm.cmi
- lib/ocaml/compiler-libs/cmi_format.mli
- lib/ocaml/compiler-libs/cmi_format.cmx
- lib/ocaml/compiler-libs/cmi_format.cmti
- lib/ocaml/compiler-libs/cmi_format.cmt
- lib/ocaml/compiler-libs/cmi_format.cmi
- lib/ocaml/compiler-libs/closure_origin.mli
- lib/ocaml/compiler-libs/closure_origin.cmti
- lib/ocaml/compiler-libs/closure_origin.cmt
- lib/ocaml/compiler-libs/closure_origin.cmi
- lib/ocaml/compiler-libs/closure_offsets.mli
- lib/ocaml/compiler-libs/closure_offsets.cmx
- lib/ocaml/compiler-libs/closure_offsets.cmti
- lib/ocaml/compiler-libs/closure_offsets.cmt
- lib/ocaml/compiler-libs/closure_offsets.cmi
- lib/ocaml/compiler-libs/closure_id.mli
- lib/ocaml/compiler-libs/closure_id.cmti
- lib/ocaml/compiler-libs/closure_id.cmt
- lib/ocaml/compiler-libs/closure_id.cmi
- lib/ocaml/compiler-libs/closure_element.mli
- lib/ocaml/compiler-libs/closure_element.cmti
- lib/ocaml/compiler-libs/closure_element.cmt
- lib/ocaml/compiler-libs/closure_element.cmi
- lib/ocaml/compiler-libs/closure_conversion_aux.mli
- lib/ocaml/compiler-libs/closure_conversion_aux.cmti
- lib/ocaml/compiler-libs/closure_conversion_aux.cmt
- lib/ocaml/compiler-libs/closure_conversion_aux.cmi
- lib/ocaml/compiler-libs/closure_conversion.mli
- lib/ocaml/compiler-libs/closure_conversion.cmti
- lib/ocaml/compiler-libs/closure_conversion.cmt
- lib/ocaml/compiler-libs/closure_conversion.cmi
- lib/ocaml/compiler-libs/closure.mli
- lib/ocaml/compiler-libs/closure.cmx
- lib/ocaml/compiler-libs/closure.cmti
- lib/ocaml/compiler-libs/closure.cmt
- lib/ocaml/compiler-libs/closure.cmi
- lib/ocaml/compiler-libs/clflags.mli
- lib/ocaml/compiler-libs/clflags.cmx
- lib/ocaml/compiler-libs/clflags.cmti
- lib/ocaml/compiler-libs/clflags.cmt
- lib/ocaml/compiler-libs/clflags.cmi
- lib/ocaml/compiler-libs/clambda.mli
- lib/ocaml/compiler-libs/clambda.cmx
- lib/ocaml/compiler-libs/clambda.cmti
- lib/ocaml/compiler-libs/clambda.cmt
- lib/ocaml/compiler-libs/clambda.cmi
- lib/ocaml/compiler-libs/ccomp.mli
- lib/ocaml/compiler-libs/ccomp.cmx
- lib/ocaml/compiler-libs/ccomp.cmti
- lib/ocaml/compiler-libs/ccomp.cmt
- lib/ocaml/compiler-libs/ccomp.cmi
- lib/ocaml/compiler-libs/bytesections.mli
- lib/ocaml/compiler-libs/bytesections.cmx
- lib/ocaml/compiler-libs/bytesections.cmti
- lib/ocaml/compiler-libs/bytesections.cmt
- lib/ocaml/compiler-libs/bytesections.cmi
- lib/ocaml/compiler-libs/bytepackager.mli
- lib/ocaml/compiler-libs/bytepackager.cmx
- lib/ocaml/compiler-libs/bytepackager.cmti
- lib/ocaml/compiler-libs/bytepackager.cmt
- lib/ocaml/compiler-libs/bytepackager.cmi
- lib/ocaml/compiler-libs/bytelink.mli
- lib/ocaml/compiler-libs/bytelink.cmx
- lib/ocaml/compiler-libs/bytelink.cmti
- lib/ocaml/compiler-libs/bytelink.cmt
- lib/ocaml/compiler-libs/bytelink.cmi
- lib/ocaml/compiler-libs/bytelibrarian.mli
- lib/ocaml/compiler-libs/bytelibrarian.cmx
- lib/ocaml/compiler-libs/bytelibrarian.cmti
- lib/ocaml/compiler-libs/bytelibrarian.cmt
- lib/ocaml/compiler-libs/bytelibrarian.cmi
- lib/ocaml/compiler-libs/bytegen.mli
- lib/ocaml/compiler-libs/bytegen.cmx
- lib/ocaml/compiler-libs/bytegen.cmti
- lib/ocaml/compiler-libs/bytegen.cmt
- lib/ocaml/compiler-libs/bytegen.cmi
- lib/ocaml/compiler-libs/builtin_attributes.mli
- lib/ocaml/compiler-libs/builtin_attributes.cmx
- lib/ocaml/compiler-libs/builtin_attributes.cmti
- lib/ocaml/compiler-libs/builtin_attributes.cmt
- lib/ocaml/compiler-libs/builtin_attributes.cmi
- lib/ocaml/compiler-libs/build_path_prefix_map.mli
- lib/ocaml/compiler-libs/build_path_prefix_map.cmx
- lib/ocaml/compiler-libs/build_path_prefix_map.cmti
- lib/ocaml/compiler-libs/build_path_prefix_map.cmt
- lib/ocaml/compiler-libs/build_path_prefix_map.cmi
- lib/ocaml/compiler-libs/build_export_info.mli
- lib/ocaml/compiler-libs/build_export_info.cmx
- lib/ocaml/compiler-libs/build_export_info.cmti
- lib/ocaml/compiler-libs/build_export_info.cmt
- lib/ocaml/compiler-libs/build_export_info.cmi
- lib/ocaml/compiler-libs/btype.mli
- lib/ocaml/compiler-libs/btype.cmx
- lib/ocaml/compiler-libs/btype.cmti
- lib/ocaml/compiler-libs/btype.cmt
- lib/ocaml/compiler-libs/btype.cmi
- lib/ocaml/compiler-libs/branch_relaxation_intf.cmx
- lib/ocaml/compiler-libs/branch_relaxation_intf.cmt
- lib/ocaml/compiler-libs/branch_relaxation_intf.cmi
- lib/ocaml/compiler-libs/branch_relaxation.mli
- lib/ocaml/compiler-libs/branch_relaxation.cmx
- lib/ocaml/compiler-libs/branch_relaxation.cmti
- lib/ocaml/compiler-libs/branch_relaxation.cmt
- lib/ocaml/compiler-libs/branch_relaxation.cmi
- lib/ocaml/compiler-libs/backend_intf.mli
- lib/ocaml/compiler-libs/backend_intf.cmti
- lib/ocaml/compiler-libs/backend_intf.cmi
- lib/ocaml/compiler-libs/augment_specialised_args.mli
- lib/ocaml/compiler-libs/augment_specialised_args.cmti
- lib/ocaml/compiler-libs/augment_specialised_args.cmt
- lib/ocaml/compiler-libs/augment_specialised_args.cmi
- lib/ocaml/compiler-libs/attr_helper.mli
- lib/ocaml/compiler-libs/attr_helper.cmx
- lib/ocaml/compiler-libs/attr_helper.cmti
- lib/ocaml/compiler-libs/attr_helper.cmt
- lib/ocaml/compiler-libs/attr_helper.cmi
- lib/ocaml/compiler-libs/asttypes.mli
- lib/ocaml/compiler-libs/asttypes.cmti
- lib/ocaml/compiler-libs/asttypes.cmi
- lib/ocaml/compiler-libs/ast_mapper.mli
- lib/ocaml/compiler-libs/ast_mapper.cmx
- lib/ocaml/compiler-libs/ast_mapper.cmti
- lib/ocaml/compiler-libs/ast_mapper.cmt
- lib/ocaml/compiler-libs/ast_mapper.cmi
- lib/ocaml/compiler-libs/ast_iterator.mli
- lib/ocaml/compiler-libs/ast_iterator.cmx
- lib/ocaml/compiler-libs/ast_iterator.cmti
- lib/ocaml/compiler-libs/ast_iterator.cmt
- lib/ocaml/compiler-libs/ast_iterator.cmi
- lib/ocaml/compiler-libs/ast_invariants.mli
- lib/ocaml/compiler-libs/ast_invariants.cmx
- lib/ocaml/compiler-libs/ast_invariants.cmti
- lib/ocaml/compiler-libs/ast_invariants.cmt
- lib/ocaml/compiler-libs/ast_invariants.cmi
- lib/ocaml/compiler-libs/ast_helper.mli
- lib/ocaml/compiler-libs/ast_helper.cmx
- lib/ocaml/compiler-libs/ast_helper.cmti
- lib/ocaml/compiler-libs/ast_helper.cmt
- lib/ocaml/compiler-libs/ast_helper.cmi
- lib/ocaml/compiler-libs/asmpackager.mli
- lib/ocaml/compiler-libs/asmpackager.cmx
- lib/ocaml/compiler-libs/asmpackager.cmti
- lib/ocaml/compiler-libs/asmpackager.cmt
- lib/ocaml/compiler-libs/asmpackager.cmi
- lib/ocaml/compiler-libs/asmlink.mli
- lib/ocaml/compiler-libs/asmlink.cmx
- lib/ocaml/compiler-libs/asmlink.cmti
- lib/ocaml/compiler-libs/asmlink.cmt
- lib/ocaml/compiler-libs/asmlink.cmi
- lib/ocaml/compiler-libs/asmlibrarian.mli
- lib/ocaml/compiler-libs/asmlibrarian.cmx
- lib/ocaml/compiler-libs/asmlibrarian.cmti
- lib/ocaml/compiler-libs/asmlibrarian.cmt
- lib/ocaml/compiler-libs/asmlibrarian.cmi
- lib/ocaml/compiler-libs/asmgen.mli
- lib/ocaml/compiler-libs/asmgen.cmx
- lib/ocaml/compiler-libs/asmgen.cmti
- lib/ocaml/compiler-libs/asmgen.cmt
- lib/ocaml/compiler-libs/asmgen.cmi
- lib/ocaml/compiler-libs/arg_helper.mli
- lib/ocaml/compiler-libs/arg_helper.cmx
- lib/ocaml/compiler-libs/arg_helper.cmti
- lib/ocaml/compiler-libs/arg_helper.cmt
- lib/ocaml/compiler-libs/arg_helper.cmi
- lib/ocaml/compiler-libs/arch.cmx
- lib/ocaml/compiler-libs/arch.cmt
- lib/ocaml/compiler-libs/arch.cmi
- lib/ocaml/compiler-libs/annot.mli
- lib/ocaml/compiler-libs/annot.cmti
- lib/ocaml/compiler-libs/annot.cmi
- lib/ocaml/compiler-libs/allocated_const.mli
- lib/ocaml/compiler-libs/allocated_const.cmti
- lib/ocaml/compiler-libs/allocated_const.cmt
- lib/ocaml/compiler-libs/allocated_const.cmi
- lib/ocaml/compiler-libs/alias_analysis.mli
- lib/ocaml/compiler-libs/alias_analysis.cmti
- lib/ocaml/compiler-libs/alias_analysis.cmt
- lib/ocaml/compiler-libs/alias_analysis.cmi
- lib/ocaml/compiler-libs/afl_instrument.mli
- lib/ocaml/compiler-libs/afl_instrument.cmx
- lib/ocaml/compiler-libs/afl_instrument.cmti
- lib/ocaml/compiler-libs/afl_instrument.cmt
- lib/ocaml/compiler-libs/afl_instrument.cmi
- lib/ocaml/compiler-libs/CSEgen.mli
- lib/ocaml/compiler-libs/CSEgen.cmx
- lib/ocaml/compiler-libs/CSEgen.cmti
- lib/ocaml/compiler-libs/CSEgen.cmt
- lib/ocaml/compiler-libs/CSEgen.cmi
- lib/ocaml/compiler-libs/CSE.cmx
- lib/ocaml/compiler-libs/CSE.cmt
- lib/ocaml/compiler-libs/CSE.cmi
- lib/ocaml/char.mli
- lib/ocaml/char.ml
- lib/ocaml/camlinternalOO.p.cmx
- lib/ocaml/camlinternalOO.p.cmt
- lib/ocaml/camlinternalOO.mli
- lib/ocaml/camlinternalOO.ml
- lib/ocaml/camlinternalOO.cmx
- lib/ocaml/camlinternalOO.cmti
- lib/ocaml/camlinternalOO.cmt
- lib/ocaml/camlinternalOO.cmi
- lib/ocaml/camlinternalMod.p.cmx
- lib/ocaml/camlinternalMod.p.cmt
- lib/ocaml/camlinternalMod.mli
- lib/ocaml/camlinternalMod.ml
- lib/ocaml/camlinternalMod.cmx
- lib/ocaml/camlinternalMod.cmti
- lib/ocaml/camlinternalMod.cmt
- lib/ocaml/camlinternalMod.cmi
- lib/ocaml/camlinternalLazy.p.cmx
- lib/ocaml/camlinternalLazy.p.cmt
- lib/ocaml/camlinternalLazy.mli
- lib/ocaml/camlinternalLazy.ml
- lib/ocaml/camlinternalLazy.cmx
- lib/ocaml/camlinternalLazy.cmti
- lib/ocaml/camlinternalLazy.cmt
- lib/ocaml/camlinternalLazy.cmi
- lib/ocaml/camlinternalFormatBasics.p.cmx
- lib/ocaml/camlinternalFormatBasics.p.cmt
- lib/ocaml/camlinternalFormatBasics.mli
- lib/ocaml/camlinternalFormatBasics.ml
- lib/ocaml/camlinternalFormatBasics.cmx
- lib/ocaml/camlinternalFormatBasics.cmti
- lib/ocaml/camlinternalFormatBasics.cmt
- lib/ocaml/camlinternalFormatBasics.cmi
- lib/ocaml/camlinternalFormat.p.cmx
- lib/ocaml/camlinternalFormat.p.cmt
- lib/ocaml/camlinternalFormat.mli
- lib/ocaml/camlinternalFormat.ml
- lib/ocaml/camlinternalFormat.cmx
- lib/ocaml/camlinternalFormat.cmti
- lib/ocaml/camlinternalFormat.cmt
- lib/ocaml/camlinternalFormat.cmi
- lib/ocaml/camlheader_ur
- lib/ocaml/camlheader
- lib/ocaml/caml/weak.h
- lib/ocaml/caml/version.h
- lib/ocaml/caml/unixsupport.h
- lib/ocaml/caml/ui.h
- lib/ocaml/caml/threads.h
- lib/ocaml/caml/sys.h
- lib/ocaml/caml/startup_aux.h
- lib/ocaml/caml/startup.h
- lib/ocaml/caml/stacks.h
- lib/ocaml/caml/stack.h
- lib/ocaml/caml/spacetime.h
- lib/ocaml/caml/socketaddr.h
- lib/ocaml/caml/signals_machdep.h
- lib/ocaml/caml/signals.h
- lib/ocaml/caml/s.h
- lib/ocaml/caml/roots.h
- lib/ocaml/caml/reverse.h
- lib/ocaml/caml/printexc.h
- lib/ocaml/caml/prims.h
- lib/ocaml/caml/osdeps.h
- lib/ocaml/caml/opnames.h
- lib/ocaml/caml/mlvalues.h
- lib/ocaml/caml/misc.h
- lib/ocaml/caml/minor_gc.h
- lib/ocaml/caml/memory.h
- lib/ocaml/caml/md5.h
- lib/ocaml/caml/major_gc.h
- lib/ocaml/caml/m.h
- lib/ocaml/caml/jumptbl.h
- lib/ocaml/caml/io.h
- lib/ocaml/caml/intext.h
- lib/ocaml/caml/interp.h
- lib/ocaml/caml/int64_native.h
- lib/ocaml/caml/int64_format.h
- lib/ocaml/caml/int64_emul.h
- lib/ocaml/caml/instruct.h
- lib/ocaml/caml/instrtrace.h
- lib/ocaml/caml/hooks.h
- lib/ocaml/caml/hash.h
- lib/ocaml/caml/globroots.h
- lib/ocaml/caml/gc_ctrl.h
- lib/ocaml/caml/gc.h
- lib/ocaml/caml/freelist.h
- lib/ocaml/caml/fix_code.h
- lib/ocaml/caml/finalise.h
- lib/ocaml/caml/fail.h
- lib/ocaml/caml/exec.h
- lib/ocaml/caml/dynlink.h
- lib/ocaml/caml/debugger.h
- lib/ocaml/caml/custom.h
- lib/ocaml/caml/config.h
- lib/ocaml/caml/compatibility.h
- lib/ocaml/caml/compare.h
- lib/ocaml/caml/compact.h
- lib/ocaml/caml/callback.h
- lib/ocaml/caml/bigarray.h
- lib/ocaml/caml/backtrace_prim.h
- lib/ocaml/caml/backtrace.h
- lib/ocaml/caml/alloc.h
- lib/ocaml/caml/address_class.h
- lib/ocaml/callback.mli
- lib/ocaml/callback.ml
- lib/ocaml/bytesLabels.mli
- lib/ocaml/bytesLabels.ml
- lib/ocaml/bytes.mli
- lib/ocaml/bytes.ml
- lib/ocaml/buffer.mli
- lib/ocaml/buffer.ml
- lib/ocaml/bigarray.mli
- lib/ocaml/bigarray.ml
- lib/ocaml/bigarray.cmxs
- lib/ocaml/bigarray.cmxa
- lib/ocaml/bigarray.cmx
- lib/ocaml/bigarray.cmti
- lib/ocaml/bigarray.cmi
- lib/ocaml/bigarray.cma
- lib/ocaml/bigarray.a
- lib/ocaml/arrayLabels.mli
- lib/ocaml/arrayLabels.ml
- lib/ocaml/array.mli
- lib/ocaml/array.ml
- lib/ocaml/arg.mli
- lib/ocaml/arg.ml
- lib/ocaml/Makefile.config
- bin/ocamlyacc
- bin/ocamlruni
- bin/ocamlrund
- bin/ocamlrun
- bin/ocamlprof.opt
- bin/ocamlprof.byte
- bin/ocamloptp.opt
- bin/ocamloptp.byte
- bin/ocamlopt.opt
- bin/ocamlopt.byte
- bin/ocamlobjinfo.opt
- bin/ocamlobjinfo.byte
- bin/ocamlmktop.opt
- bin/ocamlmktop.byte
- bin/ocamlmklib.opt
- bin/ocamlmklib.byte
- bin/ocamllex.opt
- bin/ocamllex.byte
- bin/ocamldoc.opt
- bin/ocamldoc
- bin/ocamldep.opt
- bin/ocamldep.byte
- bin/ocamldebug
- bin/ocamlcp.opt
- bin/ocamlcp.byte
- bin/ocamlcmt
- bin/ocamlc.opt
- bin/ocamlc.byte
- bin/ocaml-instr-report
- bin/ocaml-instr-graph
- bin/ocaml
[NOTE] While removing ocaml-base-compiler.4.07.1: not removing non-empty directories:
- lib/ocaml/vmthreads
- lib/ocaml/threads
- lib/ocaml/stublibs
- lib/ocaml/ocamldoc
- lib/ocaml/compiler-libs
- lib/ocaml/caml
⊘ removed ocaml-base-compiler.4.07.1
∗ installed ocaml-base-compiler.4.09.0
∗ installed ocaml-config.1
∗ installed ocaml.4.09.0
∗ installed seq.base
∗ installed cmdliner.1.0.4
∗ installed ocamlfind.1.8.1
∗ installed base-bytes.base
∗ installed hashcons.1.3
[ERROR] The installation of num failed at "make install".
∗ installed ocamlbuild.0.14.0
∗ installed jbuilder.1.0+beta20.2
∗ installed ppx_tools.5.2+4.08.0
∗ installed uchar.0.0.2
∗ installed zarith.1.12
∗ installed topkg.1.0.1
∗ installed uutf.1.0.2
∗ installed react.1.2.1
∗ installed reactiveData.0.2.2
[ERROR] The installation of lablgtk failed at "make install".
∗ installed menhir.20190924
∗ installed camlp5.7.11
∗ installed camlp4.4.09+1
∗ installed ulex.1.2
∗ installed ocaml-secondary-compiler.4.08.1-1
∗ installed ocamlfind-secondary.1.8.1
∗ installed dune.2.7.1
∗ installed bigarray-compat.1.0.0
∗ installed cppo.1.6.6
∗ installed easy-format.1.3.2
∗ installed jane-street-headers.v0.13.0
∗ installed mmap.1.1.0
∗ installed ocaml-compiler-libs.v0.12.1
∗ installed ocp-indent.1.8.1
∗ installed octavius.1.2.2
∗ installed pprint.20200316
∗ installed ppx_derivers.1.2.1
∗ installed re.1.9.0
∗ installed camomile.1.0.2
∗ installed result.1.5
∗ installed cppo_ocamlbuild.1.6.6
∗ installed cstruct.5.1.1
∗ installed sexplib0.v0.13.0
∗ installed spawn.v0.13.0
∗ installed stdint.0.6.0
∗ installed stdlib-shims.0.1.0
∗ installed biniou.1.2.1
∗ installed tyxml.4.4.0
∗ installed charInfo_width.1.1.0
∗ installed csexp.1.3.2
∗ installed ocaml-migrate-parsetree.1.5.0
∗ installed ounit2.2.2.2
∗ installed ounit.2.2.2
∗ installed dune-configurator.2.7.1
∗ installed ocplib-endian.1.0
∗ installed ppx_tools_versioned.5.3.0
∗ installed ppxfind.1.3
∗ installed yojson.1.7.0
∗ installed base.v0.13.0
[ERROR] The compilation of bisect_ppx failed at "/home/clement/.opam/opam-init/hooks/sandbox.sh build dune build -p
bisect_ppx -j 7".
[ERROR] The compilation of js_of_ocaml-compiler failed at "/home/clement/.opam/opam-init/hooks/sandbox.sh build dune
build -p js_of_ocaml-compiler -j 7".
∗ installed cairo2.0.6.1
∗ installed fieldslib.v0.13.0
∗ installed merlin.3.3.3
∗ installed pcre.7.4.1
∗ installed ppx_deriving.4.4.1
∗ installed parsexp.v0.13.0
∗ installed zed.2.0.6
∗ installed lwt.5.2.0
∗ installed stdio.v0.13.0
∗ installed typerep.v0.13.0
∗ installed variantslib.v0.13.0
∗ installed lablgtk3.3.1.0
∗ installed ppx_deriving_yojson.3.5.2
∗ installed lwt_log.1.1.1
∗ installed lwt_react.1.1.3
∗ installed ppxlib.0.9.0
∗ installed lablgtk3-sourceview3.3.1.0
∗ installed lambda-term.2.0.3
∗ installed ppx_cold.v0.13.0
∗ installed ppx_compare.v0.13.0
∗ installed ppx_enumerate.v0.13.0
∗ installed ppx_fields_conv.v0.13.0
∗ installed ppx_here.v0.13.0
∗ installed ppx_import.1.7.1
∗ installed ppx_inline_test.v0.13.0
∗ installed ppx_js_style.v0.13.0
∗ installed ppx_let.v0.13.0
∗ installed ppx_optcomp.v0.13.0
∗ installed ppx_optional.v0.13.0
∗ installed ppx_pipebang.v0.13.0
∗ installed ppx_sexp_conv.v0.13.0
∗ installed ppx_fail.v0.13.0
∗ installed ppx_stable.v0.13.0
∗ installed ppx_typerep_conv.v0.13.0
∗ installed ppx_variants_conv.v0.13.0
∗ installed utop.2.4.3
∗ installed ppx_bench.v0.13.0
∗ installed ppx_assert.v0.13.0
∗ installed ppx_custom_printf.v0.13.0
∗ installed ppx_hash.v0.13.0
∗ installed ppx_sexp_message.v0.13.0
∗ installed ppx_sexp_value.v0.13.0
∗ installed jst-config.v0.13.0
∗ installed bin_prot.v0.13.0
∗ installed ppx_expect.v0.13.0
∗ installed ppx_base.v0.13.0
∗ installed splittable_random.v0.13.0
∗ installed ppx_bin_prot.v0.13.0
∗ installed time_now.v0.13.0
∗ installed base_quickcheck.v0.13.0
∗ installed ppx_module_timer.v0.13.0
∗ installed ppx_jane.v0.13.0
∗ installed base_bigstring.v0.13.0
#=== ERROR while installing num.1.3 ===========================================#
# context 2.0.7 | linux/x86_64 | ocaml-base-compiler.4.09.0 | https://opam.ocaml.org#e1ac5eed
# path ~/.opam/default/.opam-switch/build/num.1.3
# command ~/.opam/opam-init/hooks/sandbox.sh install make install
# exit-code 2
# env-file ~/.opam/log/num-54593-308d32.env
# output-file ~/.opam/log/num-54593-308d32.out
### output ###
# make -C src install
# make[1]: Entering directory '/home/clement/.opam/default/.opam-switch/build/num.1.3/src'
# install -d /home/clement/.opam/default/lib/ocaml
# sed -e 's/%%VERSION%%/1.3/g' META.in > META
# ocamlfind install num META
# ocamlfind: Package num is already installed
# - (file /home/clement/.opam/default/lib/num/META already exists)
# make[1]: *** [Makefile:91: install] Error 2
# make[1]: Leaving directory '/home/clement/.opam/default/.opam-switch/build/num.1.3/src'
# make: *** [Makefile:14: install] Error 2
#=== ERROR while installing lablgtk.2.18.10 ===================================#
# context 2.0.7 | linux/x86_64 | ocaml-base-compiler.4.09.0 | https://opam.ocaml.org#e1ac5eed
# path ~/.opam/default/.opam-switch/build/lablgtk.2.18.10
# command ~/.opam/opam-init/hooks/sandbox.sh install make install
# exit-code 2
# env-file ~/.opam/log/lablgtk-54593-c2f9f9.env
# output-file ~/.opam/log/lablgtk-54593-c2f9f9.out
### output ###
# ocamlfind install -destdir "/home/clement/.opam/default/lib" \
# [...]
# then \
# echo "-dll dlllablgtk2.so dlllablrsvg.so -nodll" ; \
# fi` \
# `if test -f dlllablgtk2.a; \
# then \
# echo dlllablgtk2.a dlllablrsvg.a ; \
# fi`
# ocamlfind: Conflict with file: /home/clement/.opam/default/lib/lablgtk2/gtkThread.o
# make[1]: *** [Makefile:405: findlib-install] Error 2
# make[1]: Leaving directory '/home/clement/.opam/default/.opam-switch/build/lablgtk.2.18.10/src'
# make: *** [Makefile:5: install] Error 2
#=== ERROR while compiling js_of_ocaml-compiler.3.7.1 =========================#
# context 2.0.7 | linux/x86_64 | ocaml-base-compiler.4.09.0 | https://opam.ocaml.org#e1ac5eed
# path ~/.opam/default/.opam-switch/build/js_of_ocaml-compiler.3.7.1
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p js_of_ocaml-compiler -j 7
# exit-code 1
# env-file ~/.opam/log/js_of_ocaml-compiler-54593-85897f.env
# output-file ~/.opam/log/js_of_ocaml-compiler-54593-85897f.out
### output ###
# ocamlc compiler/lib/.js_of_ocaml_compiler.objs/byte/js_of_ocaml_compiler__Js_parser.{cmi,cmti} (exit 2)
# (cd _build/default && /home/clement/.opam/default/bin/ocamlc.opt -w -40 -w -7-37 -safe-string -g -bin-annot -I compiler/lib/.js_of_ocaml_compiler.objs/byte -I /home/clement/.opam/default/lib/biniou -I /home/clement/.opam/default/lib/bytes -I /home/clement/.opam/default/lib/easy-format -I /home/clement/.opam/default/lib/menhirLib -I /home/clement/.opam/default/lib/ocaml/compiler-libs -I /home/[...]
# File "compiler/lib/js_parser.mli", line 1:
# Error: /home/clement/.opam/default/lib/menhirLib/menhirLib.cmi
# is not a compiled interface for this version of OCaml.
# It seems to be for an older version of OCaml.
#=== ERROR while compiling bisect_ppx.dev =====================================#
# context 2.0.7 | linux/x86_64 | ocaml-base-compiler.4.09.0 | no repo
# path ~/.opam/default/.opam-switch/build/bisect_ppx.dev
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p bisect_ppx -j 7
# exit-code 1
# env-file ~/.opam/log/bisect_ppx-54593-47b235.env
# output-file ~/.opam/log/bisect_ppx-54593-47b235.out
### output ###
# File "src/ppx/dune", line 11, characters 18-33:
# 11 | (preprocess (pps ppxlib.metaquot))
# ^^^^^^^^^^^^^^^
# Error: Library "ppxlib.metaquot" not found.
# Hint: try:
# dune external-lib-deps --missing -p bisect_ppx -j 7 @install
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build bisect_ppx dev
│ λ build js_of_ocaml-compiler 3.7.1
│ ∗ install lablgtk 2.18.10
│ ∗ install num 1.3
└─
┌─ The following changes have been performed (the rest was aborted)
│ ⊘ remove async v0.12.0
│ ⊘ remove async_extra v0.12.0
│ ⊘ remove async_kernel v0.12.0
│ ⊘ remove async_rpc_kernel v0.12.0
│ ⊘ remove async_unix v0.12.0
│ ⊘ remove batteries 3.0.0
│ ⊘ remove bisect_ppx dev
│ ⊘ remove coq 8.13.2
│ ⊘ remove core v0.12.4
│ ⊘ remove core_bench v0.12.0
│ ⊘ remove core_extended v0.12.0
│ ⊘ remove core_kernel v0.12.3
│ ⊘ remove expect_test_helpers v0.12.0
│ ⊘ remove expect_test_helpers_kernel v0.12.0
│ ⊘ remove js_of_ocaml 3.7.1
│ ⊘ remove js_of_ocaml-compiler 3.7.1
│ ⊘ remove js_of_ocaml-ppx 3.7.1
│ ⊘ remove lablgtk 2.18.10
│ ⊘ remove num 1.3
│ ⊘ remove ocamlgraph 1.8.8
│ ⊘ remove patdiff v0.12.1
│ ⊘ remove patience_diff v0.12.0
│ ⊘ remove pcap-format 0.5.2
│ ⊘ remove ppx_cstruct 5.1.1
│ ⊘ remove protocol_version_header v0.12.0
│ ⊘ remove re2 v0.12.1
│ ⊘ remove sexp_pretty v0.12.0
│ ⊘ remove sexplib v0.12.0
│ ⊘ remove shell v0.12.0
│ ⊘ remove textutils v0.12.0
│ ↻ recompile base-bytes base
│ ↻ recompile bigarray-compat 1.0.0
│ ↻ recompile biniou 1.2.1
│ ↻ recompile cairo2 0.6.1
│ ↻ recompile camlp5 7.11
│ ↻ recompile camomile 1.0.2
│ ↻ recompile charInfo_width 1.1.0
│ ↻ recompile cmdliner 1.0.4
│ ↻ recompile cppo 1.6.6
│ ↻ recompile cppo_ocamlbuild 1.6.6
│ ↻ recompile csexp 1.3.2
│ ↻ recompile cstruct 5.1.1
│ ↻ recompile dune 2.7.1
│ ↻ recompile dune-configurator 2.7.1
│ ↻ recompile easy-format 1.3.2
│ ↻ recompile hashcons 1.3
│ ↻ recompile jbuilder 1.0+beta20.2
│ ↻ recompile lablgtk3 3.1.0
│ ↻ recompile lablgtk3-sourceview3 3.1.0
│ ↻ recompile lambda-term 2.0.3
│ ↻ recompile lwt 5.2.0
│ ↻ recompile lwt_log 1.1.1
│ ↻ recompile lwt_react 1.1.3
│ ↻ recompile menhir 20190924
│ ↻ recompile merlin 3.3.3
│ ↻ recompile mmap 1.1.0
│ ↻ recompile ocaml-compiler-libs v0.12.1
│ ↻ recompile ocaml-config 1
│ ↻ recompile ocaml-migrate-parsetree 1.5.0
│ ↻ recompile ocaml-secondary-compiler 4.08.1-1
│ ↻ recompile ocamlbuild 0.14.0
│ ↻ recompile ocamlfind 1.8.1
│ ↻ recompile ocamlfind-secondary 1.8.1
│ ↻ recompile ocp-indent 1.8.1
│ ↻ recompile ocplib-endian 1.0
│ ↻ recompile octavius 1.2.2
│ ↻ recompile ounit 2.2.2
│ ↻ recompile ounit2 2.2.2
│ ↻ recompile pcre 7.4.1
│ ↻ recompile pprint 20200316
│ ↻ recompile ppx_derivers 1.2.1
│ ↻ recompile ppx_deriving 4.4.1
│ ↻ recompile ppx_deriving_yojson 3.5.2
│ ↻ recompile ppx_import 1.7.1
│ ↻ recompile ppx_tools_versioned 5.3.0
│ ↻ recompile ppxfind 1.3
│ ↻ recompile re 1.9.0
│ ↻ recompile react 1.2.1
│ ↻ recompile reactiveData 0.2.2
│ ↻ recompile result 1.5
│ ↻ recompile seq base
│ ↻ recompile spawn v0.13.0
│ ↻ recompile stdint 0.6.0
│ ↻ recompile stdlib-shims 0.1.0
│ ↻ recompile topkg 1.0.1
│ ↻ recompile tyxml 4.4.0
│ ↻ recompile uchar 0.0.2
│ ↻ recompile ulex 1.2
│ ↻ recompile utop 2.4.3
│ ↻ recompile uutf 1.0.2
│ ↻ recompile yojson 1.7.0
│ ↻ recompile zarith 1.12
│ ↻ recompile zed 2.0.6
│ ↗ upgrade base v0.12.2 to v0.13.0
│ ↗ upgrade base_bigstring v0.12.0 to v0.13.0
│ ↗ upgrade base_quickcheck v0.12.1 to v0.13.0
│ ↗ upgrade bin_prot v0.12.0 to v0.13.0
│ ↗ upgrade camlp4 4.07+1 to 4.09+1
│ ↗ upgrade fieldslib v0.12.0 to v0.13.0
│ ↗ upgrade jane-street-headers v0.12.0 to v0.13.0
│ ↗ upgrade jst-config v0.12.0 to v0.13.0
│ ↗ upgrade ocaml 4.07.1 to 4.09.0
│ ↗ upgrade ocaml-base-compiler 4.07.1 to 4.09.0
│ ↗ upgrade parsexp v0.12.0 to v0.13.0
│ ↗ upgrade ppx_assert v0.12.0 to v0.13.0
│ ↗ upgrade ppx_base v0.12.0 to v0.13.0
│ ↗ upgrade ppx_bench v0.12.0 to v0.13.0
│ ↗ upgrade ppx_bin_prot v0.12.1 to v0.13.0
│ ↗ upgrade ppx_compare v0.12.0 to v0.13.0
│ ↗ upgrade ppx_custom_printf v0.12.1 to v0.13.0
│ ↗ upgrade ppx_enumerate v0.12.0 to v0.13.0
│ ↗ upgrade ppx_expect v0.12.0 to v0.13.0
│ ↗ upgrade ppx_fail v0.12.0 to v0.13.0
│ ↗ upgrade ppx_fields_conv v0.12.0 to v0.13.0
│ ↗ upgrade ppx_hash v0.12.0 to v0.13.0
│ ↗ upgrade ppx_here v0.12.0 to v0.13.0
│ ↗ upgrade ppx_inline_test v0.12.0 to v0.13.0
│ ↗ upgrade ppx_jane v0.12.0 to v0.13.0
│ ↗ upgrade ppx_js_style v0.12.0 to v0.13.0
│ ↗ upgrade ppx_let v0.12.0 to v0.13.0
│ ↗ upgrade ppx_module_timer v0.12.0 to v0.13.0
│ ↗ upgrade ppx_optcomp v0.12.0 to v0.13.0
│ ↗ upgrade ppx_optional v0.12.0 to v0.13.0
│ ↗ upgrade ppx_pipebang v0.12.0 to v0.13.0
│ ↗ upgrade ppx_sexp_conv v0.12.0 to v0.13.0
│ ↗ upgrade ppx_sexp_message v0.12.0 to v0.13.0
│ ↗ upgrade ppx_sexp_value v0.12.0 to v0.13.0
│ ↗ upgrade ppx_stable v0.12.0 to v0.13.0
│ ↗ upgrade ppx_tools 5.1+4.06.0 to 5.2+4.08.0
│ ↗ upgrade ppx_typerep_conv v0.12.0 to v0.13.0
│ ↗ upgrade ppx_variants_conv v0.12.0 to v0.13.0
│ ↗ upgrade ppxlib 0.8.1 to 0.9.0
│ ↗ upgrade sexplib0 v0.12.0 to v0.13.0
│ ↗ upgrade splittable_random v0.12.0 to v0.13.0
│ ↗ upgrade stdio v0.12.0 to v0.13.0
│ ↗ upgrade time_now v0.12.0 to v0.13.0
│ ↗ upgrade typerep v0.12.0 to v0.13.0
│ ↗ upgrade variantslib v0.12.0 to v0.13.0
│ ∗ install ppx_cold v0.13.0
└─
<><> ocp-indent.1.8.1 installed successfully ><><><><><><><><><><><><><><><><><>
=> This package requires additional configuration for use in editors. Install package 'user-setup', or manually:
* for Emacs, add these lines to ~/.emacs:
(add-to-list 'load-path "/home/clement/.opam/default/share/emacs/site-lisp")
(require 'ocp-indent)
* for Vim, add this line to ~/.vimrc:
set rtp^="/home/clement/.opam/default/share/ocp-indent/vim"
<><> merlin.3.3.3 installed successfully ><><><><><><><><><><><><><><><><><><><>
=> merlin installed.
Quick setup for VIM
-------------------
Append this to your .vimrc to add merlin to vim's runtime-path:
let g:opamshare = substitute(system('opam config var share'),'\n$','','''')
execute "set rtp+=" . g:opamshare . "/merlin/vim"
Also run the following line in vim to index the documentation:
:execute "helptags " . g:opamshare . "/merlin/vim/doc"
Quick setup for EMACS
-------------------
Add opam emacs directory to your load-path by appending this to your .emacs:
(let ((opam-share (ignore-errors (car (process-lines "opam" "config" "var" "share")))))
(when (and opam-share (file-directory-p opam-share))
;; Register Merlin
(add-to-list 'load-path (expand-file-name "emacs/site-lisp" opam-share))
(autoload 'merlin-mode "merlin" nil t nil)
;; Automatically start it in OCaml buffers
(add-hook 'tuareg-mode-hook 'merlin-mode t)
(add-hook 'caml-mode-hook 'merlin-mode t)
;; Use opam switch to lookup ocamlmerlin binary
(setq merlin-command 'opam)))
Take a look at https://github.com/ocaml/merlin for more information
Quick setup with opam-user-setup
--------------------------------
Opam-user-setup support Merlin.
$ opam user-setup install
should take care of basic setup.
See https://github.com/OCamlPro/opam-user-setup
<><> lablgtk.2.18.10 troubleshooting ><><><><><><><><><><><><><><><><><><><><><>
=> This package requires gtk+ 2.0 development packages installed on your system
The former state can be restored with:
opam switch import "/home/clement/.opam/default/.opam-switch/backup/state-20210731134234.export"
Or you can retry to install your package selection with:
opam install --restore
$ opam install --restore
Packages to be restored: { batteries, bisect_ppx, coq, coq-reduction-effects, coqide, core, core_bench, js_of_ocaml, js_of_ocaml-ppx, ocamlgraph, patdiff, pcap-format }
The following actions will be performed:
⊘ remove ppx_import 1.7.1 [conflicts with ppxlib]
⊘ remove ppxfind 1.3 [conflicts with ocaml-migrate-parsetree]
↗ upgrade sexplib0 v0.13.0 to v0.14.0 [required by ppxlib]
∗ install ocamlgraph 2.0.0
↗ upgrade cstruct 5.1.1 to 6.0.0 [required by pcap-format]
↗ upgrade jane-street-headers v0.13.0 to v0.14.0 [required by core_kernel]
∗ install num 1.4 [required by batteries, coq]
⊘ remove ppx_tools_versioned 5.3.0 [conflicts with ocaml-migrate-parsetree]
↗ upgrade base v0.13.0 to v0.14.1 [required by core_kernel, patience_diff]
∗ install coq 8.13.2
∗ install batteries 3.3.0
↗ upgrade ocaml-migrate-parsetree 1.5.0 to 2.2.0 [required by ppxlib]
↗ upgrade variantslib v0.13.0 to v0.14.0 [required by core_kernel]
↗ upgrade typerep v0.13.0 to v0.14.0 [required by core_kernel]
↗ upgrade stdio v0.13.0 to v0.14.0 [required by core_kernel]
↗ upgrade parsexp v0.13.0 to v0.14.1 [uses sexplib0]
↗ upgrade fieldslib v0.13.0 to v0.14.0 [required by core_kernel]
∗ install coqide 8.13.2
∗ install coq-reduction-effects 0.1.2
↗ upgrade ppxlib 0.9.0 to 0.22.2 [required by js_of_ocaml, bisect_ppx, js_of_ocaml-ppx]
∗ install sexplib v0.14.0 [required by core]
∗ install ppx_fixed_literal v0.14.0 [required by ppx_jane]
∗ install js_of_ocaml-compiler 3.9.1 [required by js_of_ocaml]
∗ install bisect_ppx 2.6.0*
↗ upgrade ppx_variants_conv v0.13.0 to v0.14.1 [uses ppxlib]
↗ upgrade ppx_typerep_conv v0.13.0 to v0.14.2 [uses ppxlib]
↗ upgrade ppx_stable v0.13.0 to v0.14.1 [uses ppxlib]
↗ upgrade ppx_sexp_conv v0.13.0 to v0.14.3 [uses ppxlib]
↗ upgrade ppx_pipebang v0.13.0 to v0.14.0 [uses ppxlib]
↗ upgrade ppx_optional v0.13.0 to v0.14.0 [uses ppxlib]
↗ upgrade ppx_optcomp v0.13.0 to v0.14.2 [uses ppxlib]
↗ upgrade ppx_let v0.13.0 to v0.14.0 [uses ppxlib]
↗ upgrade ppx_js_style v0.13.0 to v0.14.1 [uses ppxlib]
↗ upgrade ppx_here v0.13.0 to v0.14.0 [uses ppxlib]
↗ upgrade ppx_fields_conv v0.13.0 to v0.14.2 [uses ppxlib]
↗ upgrade ppx_enumerate v0.13.0 to v0.14.0 [uses ppxlib]
↗ upgrade ppx_deriving 4.4.1 to 5.2.1 [uses ppxlib]
↗ upgrade ppx_compare v0.13.0 to v0.14.0 [uses ppxlib]
↗ upgrade ppx_cold v0.13.0 to v0.14.0 [uses ppxlib]
∗ install ppx_cstruct 6.0.0 [required by pcap-format]
∗ install js_of_ocaml 3.9.0
↗ upgrade ppx_custom_printf v0.13.0 to v0.14.1 [uses ppxlib]
↗ upgrade ppx_sexp_value v0.13.0 to v0.14.0 [uses ppxlib]
↗ upgrade ppx_sexp_message v0.13.0 to v0.14.1 [uses ppxlib]
↗ upgrade ppx_fail v0.13.0 to v0.14.0 [uses ppxlib]
↗ upgrade ppx_deriving_yojson 3.5.2 to 3.6.1 [uses ppxlib]
↗ upgrade ppx_hash v0.13.0 to v0.14.0 [uses ppxlib]
↗ upgrade ppx_assert v0.13.0 to v0.14.0 [uses ppxlib]
∗ install pcap-format 0.5.2
∗ install js_of_ocaml-ppx 3.9.0
↗ upgrade bin_prot v0.13.0 to v0.14.0 [required by core_kernel]
↗ upgrade ppx_base v0.13.0 to v0.14.0 [uses ppxlib]
↗ upgrade jst-config v0.13.0 to v0.14.0 [required by core]
↗ upgrade ppx_bin_prot v0.13.0 to v0.14.0 [uses ppxlib]
∗ install ppx_string v0.14.1 [required by ppx_jane]
↗ upgrade time_now v0.13.0 to v0.14.0 [required by core_kernel]
↗ upgrade ppx_module_timer v0.13.0 to v0.14.0 [uses ppxlib]
↗ upgrade ppx_inline_test v0.13.0 to v0.14.1 [uses ppxlib]
↗ upgrade ppx_expect v0.13.0 to v0.14.1 [uses ppxlib]
↗ upgrade ppx_bench v0.13.0 to v0.14.1 [uses ppxlib]
↗ upgrade splittable_random v0.13.0 to v0.14.0 [required by core_kernel]
↗ upgrade base_quickcheck v0.13.0 to v0.14.1 [uses ppxlib]
↗ upgrade ppx_jane v0.13.0 to v0.14.0 [required by core_bench, core, patdiff]
↗ upgrade base_bigstring v0.13.0 to v0.14.0 [required by core_kernel]
∗ install core_kernel v0.14.1 [required by core_bench, core, patdiff]
∗ install timezone v0.14.0 [required by core]
∗ install patience_diff v0.14.0 [required by patdiff]
∗ install core v0.14.1
∗ install textutils v0.14.0 [required by core_bench]
∗ install patdiff v0.14.0
∗ install core_bench v0.14.0
===== ∗ 22 ↗ 46 ⊘ 3 =====
Do you want to continue? [Y/n] y
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[base.v0.14.1] found in cache
[base_bigstring.v0.14.0] found in cache
[bin_prot.v0.14.0] found in cache
[coq.8.13.2] found in cache
[coq-reduction-effects.0.1.2] found in cache
[base_quickcheck.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache
[coqide.8.13.2] found in cache
[core.v0.14.1] found in cache
[batteries.3.3.0] downloaded from cache at https://opam.ocaml.org/cache
[core_kernel.v0.14.1] found in cache
[core_bench.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[fieldslib.v0.14.0] found in cache
[jane-street-headers.v0.14.0] found in cache
[cstruct.6.0.0] downloaded from cache at https://opam.ocaml.org/cache
[js_of_ocaml.3.9.0] downloaded from cache at https://opam.ocaml.org/cache
[js_of_ocaml-compiler.3.9.1] downloaded from cache at https://opam.ocaml.org/cache
[jst-config.v0.14.0] found in cache
[num.1.4] downloaded from cache at https://opam.ocaml.org/cache
[ocaml-migrate-parsetree.2.2.0] downloaded from cache at https://opam.ocaml.org/cache
[parsexp.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache
[js_of_ocaml-ppx.3.9.0] downloaded from cache at https://opam.ocaml.org/cache
[ocamlgraph.2.0.0] downloaded from cache at https://opam.ocaml.org/cache
[pcap-format.0.5.2] found in cache
[ppx_assert.v0.14.0] found in cache
[ppx_base.v0.14.0] found in cache
[ppx_bench.v0.14.1] found in cache
[ppx_bin_prot.v0.14.0] found in cache
[patience_diff.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_cold.v0.14.0] found in cache
[patdiff.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_compare.v0.14.0] found in cache
[ppx_cstruct.6.0.0] found in cache
[ppx_deriving_yojson.3.6.1] found in cache
[ppx_enumerate.v0.14.0] found in cache
[ppx_custom_printf.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache
[ppx_deriving.5.2.1] downloaded from cache at https://opam.ocaml.org/cache
[ppx_expect.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache
[ppx_fixed_literal.v0.14.0] found in cache
[ppx_hash.v0.14.0] found in cache
[ppx_fail.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_fields_conv.v0.14.2] downloaded from cache at https://opam.ocaml.org/cache
[ppx_here.v0.14.0] found in cache
[ppx_inline_test.v0.14.1] found in cache
[ppx_jane.v0.14.0] found in cache
[ppx_let.v0.14.0] found in cache
[ppx_module_timer.v0.14.0] found in cache
[ppx_optional.v0.14.0] found in cache
[ppx_pipebang.v0.14.0] found in cache
[ppx_js_style.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache
[ppx_optcomp.v0.14.2] downloaded from cache at https://opam.ocaml.org/cache
[ppx_sexp_value.v0.14.0] found in cache
[ppx_stable.v0.14.1] found in cache
[ppx_string.v0.14.1] found in cache
[ppx_sexp_conv.v0.14.3] downloaded from cache at https://opam.ocaml.org/cache
[ppx_sexp_message.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache
[ppx_variants_conv.v0.14.1] found in cache
[sexplib.v0.14.0] found in cache
[sexplib0.v0.14.0] found in cache
[splittable_random.v0.14.0] found in cache
[ppx_typerep_conv.v0.14.2] downloaded from cache at https://opam.ocaml.org/cache
[stdio.v0.14.0] found in cache
[time_now.v0.14.0] found in cache
[timezone.v0.14.0] found in cache
[ppxlib.0.22.2] downloaded from cache at https://opam.ocaml.org/cache
[typerep.v0.14.0] found in cache
[textutils.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[variantslib.v0.14.0] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⊘ removed ppx_import.1.7.1
⊘ removed ppx_tools_versioned.5.3.0
⊘ removed cstruct.5.1.1
∗ installed cstruct.6.0.0
[ERROR] The installation of num failed at "make install".
⊘ removed parsexp.v0.13.0
⊘ removed base_bigstring.v0.13.0
⊘ removed ppx_deriving_yojson.3.5.2
⊘ removed ppx_deriving.4.4.1
⊘ removed ppx_jane.v0.13.0
⊘ removed base_quickcheck.v0.13.0
⊘ removed ppx_bin_prot.v0.13.0
⊘ removed bin_prot.v0.13.0
⊘ removed ppx_expect.v0.13.0
⊘ removed ppx_custom_printf.v0.13.0
⊘ removed ppx_fail.v0.13.0
⊘ removed ppx_fields_conv.v0.13.0
⊘ removed fieldslib.v0.13.0
⊘ removed ppx_let.v0.13.0
⊘ removed ppx_module_timer.v0.13.0
⊘ removed ppx_optional.v0.13.0
⊘ removed ppx_pipebang.v0.13.0
⊘ removed ppx_sexp_value.v0.13.0
⊘ removed ppx_stable.v0.13.0
⊘ removed ppx_typerep_conv.v0.13.0
⊘ removed ppx_variants_conv.v0.13.0
⊘ removed ppxfind.1.3
⊘ removed splittable_random.v0.13.0
⊘ removed ppx_bench.v0.13.0
⊘ removed ppx_inline_test.v0.13.0
⊘ removed ppx_sexp_message.v0.13.0
⊘ removed time_now.v0.13.0
⊘ removed jane-street-headers.v0.13.0
⊘ removed jst-config.v0.13.0
⊘ removed ppx_assert.v0.13.0
⊘ removed ppx_base.v0.13.0
⊘ removed ppx_cold.v0.13.0
⊘ removed ppx_enumerate.v0.13.0
⊘ removed ppx_hash.v0.13.0
⊘ removed ppx_compare.v0.13.0
⊘ removed ppx_here.v0.13.0
⊘ removed ppx_js_style.v0.13.0
⊘ removed ppx_optcomp.v0.13.0
⊘ removed ppx_sexp_conv.v0.13.0
⊘ removed ppxlib.0.9.0
⊘ removed ocaml-migrate-parsetree.1.5.0
⊘ removed stdio.v0.13.0
⊘ removed typerep.v0.13.0
⊘ removed variantslib.v0.13.0
⊘ removed base.v0.13.0
⊘ removed sexplib0.v0.13.0
∗ installed jane-street-headers.v0.14.0
∗ installed ocaml-migrate-parsetree.2.2.0
∗ installed sexplib0.v0.14.0
∗ installed ocamlgraph.2.0.0
∗ installed base.v0.14.1
∗ installed ppxlib.0.22.2
∗ installed bisect_ppx.2.6.0
∗ installed fieldslib.v0.14.0
[ERROR] The compilation of js_of_ocaml-compiler failed at "/home/clement/.opam/opam-init/hooks/sandbox.sh build dune
build -p js_of_ocaml-compiler -j 7".
∗ installed parsexp.v0.14.1
∗ installed ppx_cold.v0.14.0
∗ installed ppx_compare.v0.14.0
∗ installed ppx_deriving.5.2.1
∗ installed ppx_enumerate.v0.14.0
∗ installed ppx_fixed_literal.v0.14.0
∗ installed ppx_here.v0.14.0
∗ installed ppx_js_style.v0.14.1
∗ installed ppx_let.v0.14.0
∗ installed ppx_optional.v0.14.0
∗ installed stdio.v0.14.0
∗ installed ppx_pipebang.v0.14.0
∗ installed typerep.v0.14.0
∗ installed ppx_sexp_conv.v0.14.3
∗ installed ppx_deriving_yojson.3.6.1
∗ installed ppx_fail.v0.14.0
∗ installed ppx_fields_conv.v0.14.2
∗ installed ppx_optcomp.v0.14.2
∗ installed ppx_stable.v0.14.1
∗ installed variantslib.v0.14.0
∗ installed ppx_typerep_conv.v0.14.2
∗ installed ppx_assert.v0.14.0
∗ installed ppx_custom_printf.v0.14.1
∗ installed ppx_hash.v0.14.0
∗ installed ppx_sexp_message.v0.14.1
∗ installed ppx_sexp_value.v0.14.0
∗ installed ppx_variants_conv.v0.14.1
∗ installed jst-config.v0.14.0
∗ installed ppx_base.v0.14.0
∗ installed bin_prot.v0.14.0
∗ installed ppx_string.v0.14.1
∗ installed time_now.v0.14.0
∗ installed ppx_bin_prot.v0.14.0
∗ installed ppx_module_timer.v0.14.0
∗ installed ppx_inline_test.v0.14.1
∗ installed ppx_bench.v0.14.1
∗ installed ppx_expect.v0.14.1
∗ installed splittable_random.v0.14.0
∗ installed base_quickcheck.v0.14.1
∗ installed ppx_jane.v0.14.0
∗ installed base_bigstring.v0.14.0
#=== ERROR while installing num.1.4 ===========================================#
# context 2.0.7 | linux/x86_64 | ocaml-base-compiler.4.09.0 | https://opam.ocaml.org#e1ac5eed
# path ~/.opam/default/.opam-switch/build/num.1.4
# command ~/.opam/opam-init/hooks/sandbox.sh install make install
# exit-code 2
# env-file ~/.opam/log/num-117582-b2c72e.env
# output-file ~/.opam/log/num-117582-b2c72e.out
### output ###
# make -C src install
# make[1]: Entering directory '/home/clement/.opam/default/.opam-switch/build/num.1.4/src'
# install -d /home/clement/.opam/default/lib/ocaml
# sed -e 's/%%VERSION%%/1.4/g' META.in > META
# ocamlfind install num META
# ocamlfind: Package num is already installed
# - (file /home/clement/.opam/default/lib/num/META already exists)
# make[1]: *** [Makefile:91: install] Error 2
# make[1]: Leaving directory '/home/clement/.opam/default/.opam-switch/build/num.1.4/src'
# make: *** [Makefile:14: install] Error 2
#=== ERROR while compiling js_of_ocaml-compiler.3.9.1 =========================#
# context 2.0.7 | linux/x86_64 | ocaml-base-compiler.4.09.0 | https://opam.ocaml.org#e1ac5eed
# path ~/.opam/default/.opam-switch/build/js_of_ocaml-compiler.3.9.1
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p js_of_ocaml-compiler -j 7
# exit-code 1
# env-file ~/.opam/log/js_of_ocaml-compiler-117582-d94da0.env
# output-file ~/.opam/log/js_of_ocaml-compiler-117582-d94da0.out
### output ###
# ocamlc compiler/lib/.js_of_ocaml_compiler.objs/byte/js_of_ocaml_compiler__Js_parser.{cmi,cmti} (exit 2)
# (cd _build/default && /home/clement/.opam/default/bin/ocamlc.opt -w -40 -w -7-37 -safe-string -g -bin-annot -I compiler/lib/.js_of_ocaml_compiler.objs/byte -I /home/clement/.opam/default/lib/biniou -I /home/clement/.opam/default/lib/bytes -I /home/clement/.opam/default/lib/easy-format -I /home/clement/.opam/default/lib/menhirLib -I /home/clement/.opam/default/lib/ocaml/compiler-libs -I /home/[...]
# File "compiler/lib/js_parser.mli", line 1:
# Error: /home/clement/.opam/default/lib/menhirLib/menhirLib.cmi
# is not a compiled interface for this version of OCaml.
# It seems to be for an older version of OCaml.
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build js_of_ocaml-compiler 3.9.1
│ ∗ install num 1.4
└─
┌─ The following changes have been performed (the rest was aborted)
│ ⊘ remove ppx_import 1.7.1
│ ⊘ remove ppx_tools_versioned 5.3.0
│ ⊘ remove ppxfind 1.3
│ ↗ upgrade base v0.13.0 to v0.14.1
│ ↗ upgrade base_bigstring v0.13.0 to v0.14.0
│ ↗ upgrade base_quickcheck v0.13.0 to v0.14.1
│ ↗ upgrade bin_prot v0.13.0 to v0.14.0
│ ↗ upgrade cstruct 5.1.1 to 6.0.0
│ ↗ upgrade fieldslib v0.13.0 to v0.14.0
│ ↗ upgrade jane-street-headers v0.13.0 to v0.14.0
│ ↗ upgrade jst-config v0.13.0 to v0.14.0
│ ↗ upgrade ocaml-migrate-parsetree 1.5.0 to 2.2.0
│ ↗ upgrade parsexp v0.13.0 to v0.14.1
│ ↗ upgrade ppx_assert v0.13.0 to v0.14.0
│ ↗ upgrade ppx_base v0.13.0 to v0.14.0
│ ↗ upgrade ppx_bench v0.13.0 to v0.14.1
│ ↗ upgrade ppx_bin_prot v0.13.0 to v0.14.0
│ ↗ upgrade ppx_cold v0.13.0 to v0.14.0
│ ↗ upgrade ppx_compare v0.13.0 to v0.14.0
│ ↗ upgrade ppx_custom_printf v0.13.0 to v0.14.1
│ ↗ upgrade ppx_deriving 4.4.1 to 5.2.1
│ ↗ upgrade ppx_deriving_yojson 3.5.2 to 3.6.1
│ ↗ upgrade ppx_enumerate v0.13.0 to v0.14.0
│ ↗ upgrade ppx_expect v0.13.0 to v0.14.1
│ ↗ upgrade ppx_fail v0.13.0 to v0.14.0
│ ↗ upgrade ppx_fields_conv v0.13.0 to v0.14.2
│ ↗ upgrade ppx_hash v0.13.0 to v0.14.0
│ ↗ upgrade ppx_here v0.13.0 to v0.14.0
│ ↗ upgrade ppx_inline_test v0.13.0 to v0.14.1
│ ↗ upgrade ppx_jane v0.13.0 to v0.14.0
│ ↗ upgrade ppx_js_style v0.13.0 to v0.14.1
│ ↗ upgrade ppx_let v0.13.0 to v0.14.0
│ ↗ upgrade ppx_module_timer v0.13.0 to v0.14.0
│ ↗ upgrade ppx_optcomp v0.13.0 to v0.14.2
│ ↗ upgrade ppx_optional v0.13.0 to v0.14.0
│ ↗ upgrade ppx_pipebang v0.13.0 to v0.14.0
│ ↗ upgrade ppx_sexp_conv v0.13.0 to v0.14.3
│ ↗ upgrade ppx_sexp_message v0.13.0 to v0.14.1
│ ↗ upgrade ppx_sexp_value v0.13.0 to v0.14.0
│ ↗ upgrade ppx_stable v0.13.0 to v0.14.1
│ ↗ upgrade ppx_typerep_conv v0.13.0 to v0.14.2
│ ↗ upgrade ppx_variants_conv v0.13.0 to v0.14.1
│ ↗ upgrade ppxlib 0.9.0 to 0.22.2
│ ↗ upgrade sexplib0 v0.13.0 to v0.14.0
│ ↗ upgrade splittable_random v0.13.0 to v0.14.0
│ ↗ upgrade stdio v0.13.0 to v0.14.0
│ ↗ upgrade time_now v0.13.0 to v0.14.0
│ ↗ upgrade typerep v0.13.0 to v0.14.0
│ ↗ upgrade variantslib v0.13.0 to v0.14.0
│ ∗ install bisect_ppx 2.6.0
│ ∗ install ocamlgraph 2.0.0
│ ∗ install ppx_fixed_literal v0.14.0
│ ∗ install ppx_string v0.14.1
└─
The former state can be restored with:
opam switch import "/home/clement/.opam/default/.opam-switch/backup/state-20210731135946.export"
Or you can retry to install your package selection with:
opam install --restore
$ opam clean
Cleaning up switch default
Clearing cache of downloaded files
Clearing logs
$ opam install --restore
Packages to be restored: { batteries, coq, coq-reduction-effects, coqide, core, core_bench, js_of_ocaml, js_of_ocaml-ppx, patdiff, pcap-format }
The following actions will be performed:
∗ install js_of_ocaml-compiler 3.9.1 [required by js_of_ocaml]
∗ install num 1.4 [required by batteries, coq]
∗ install js_of_ocaml 3.9.0
∗ install sexplib v0.14.0 [required by core]
∗ install coq 8.13.2
∗ install batteries 3.3.0
∗ install js_of_ocaml-ppx 3.9.0
∗ install ppx_cstruct 6.0.0 [required by pcap-format]
∗ install core_kernel v0.14.1 [required by core_bench, core, patdiff]
∗ install coqide 8.13.2
∗ install coq-reduction-effects 0.1.2
∗ install pcap-format 0.5.2
∗ install timezone v0.14.0 [required by core]
∗ install patience_diff v0.14.0 [required by patdiff]
∗ install core v0.14.1
∗ install textutils v0.14.0 [required by core_bench]
∗ install patdiff v0.14.0
∗ install core_bench v0.14.0
===== ∗ 18 =====
Do you want to continue? [Y/n] y
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[coq-reduction-effects.0.1.2] downloaded from https://github.com/coq-community/reduction-effects/archive/v0.1.2.tar.gz
[batteries.3.3.0] downloaded from cache at https://opam.ocaml.org/cache
[core.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache
[core_bench.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[coq.8.13.2] downloaded from cache at https://opam.ocaml.org/cache
[core_kernel.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache
[js_of_ocaml.3.9.0] downloaded from cache at https://opam.ocaml.org/cache
[js_of_ocaml-ppx.3.9.0] found in cache
[js_of_ocaml-compiler.3.9.1] downloaded from cache at https://opam.ocaml.org/cache
[num.1.4] downloaded from cache at https://opam.ocaml.org/cache
[patience_diff.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[coqide.8.13.2] downloaded from cache at https://opam.ocaml.org/cache
[patdiff.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[pcap-format.0.5.2] downloaded from cache at https://opam.ocaml.org/cache
[textutils.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[sexplib.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache
[ppx_cstruct.6.0.0] downloaded from cache at https://opam.ocaml.org/cache
[timezone.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ERROR] The installation of num failed at "make install".
[ERROR] The compilation of js_of_ocaml-compiler failed at "/home/clement/.opam/opam-init/hooks/sandbox.sh build dune
build -p js_of_ocaml-compiler -j 7".
#=== ERROR while installing num.1.4 ===========================================#
# context 2.0.7 | linux/x86_64 | ocaml-base-compiler.4.09.0 | https://opam.ocaml.org#e1ac5eed
# path ~/.opam/default/.opam-switch/build/num.1.4
# command ~/.opam/opam-init/hooks/sandbox.sh install make install
# exit-code 2
# env-file ~/.opam/log/num-132901-17d454.env
# output-file ~/.opam/log/num-132901-17d454.out
### output ###
# make -C src install
# make[1]: Entering directory '/home/clement/.opam/default/.opam-switch/build/num.1.4/src'
# install -d /home/clement/.opam/default/lib/ocaml
# sed -e 's/%%VERSION%%/1.4/g' META.in > META
# ocamlfind install num META
# ocamlfind: Package num is already installed
# - (file /home/clement/.opam/default/lib/num/META already exists)
# make[1]: *** [Makefile:91: install] Error 2
# make[1]: Leaving directory '/home/clement/.opam/default/.opam-switch/build/num.1.4/src'
# make: *** [Makefile:14: install] Error 2
#=== ERROR while compiling js_of_ocaml-compiler.3.9.1 =========================#
# context 2.0.7 | linux/x86_64 | ocaml-base-compiler.4.09.0 | https://opam.ocaml.org#e1ac5eed
# path ~/.opam/default/.opam-switch/build/js_of_ocaml-compiler.3.9.1
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p js_of_ocaml-compiler -j 7
# exit-code 1
# env-file ~/.opam/log/js_of_ocaml-compiler-132901-ea5034.env
# output-file ~/.opam/log/js_of_ocaml-compiler-132901-ea5034.out
### output ###
# ocamlc compiler/lib/.js_of_ocaml_compiler.objs/byte/js_of_ocaml_compiler__Js_parser.{cmi,cmti} (exit 2)
# (cd _build/default && /home/clement/.opam/default/bin/ocamlc.opt -w -40 -w -7-37 -safe-string -g -bin-annot -I compiler/lib/.js_of_ocaml_compiler.objs/byte -I /home/clement/.opam/default/lib/biniou -I /home/clement/.opam/default/lib/bytes -I /home/clement/.opam/default/lib/easy-format -I /home/clement/.opam/default/lib/menhirLib -I /home/clement/.opam/default/lib/ocaml/compiler-libs -I /home/[...]
# File "compiler/lib/js_parser.mli", line 1:
# Error: /home/clement/.opam/default/lib/menhirLib/menhirLib.cmi
# is not a compiled interface for this version of OCaml.
# It seems to be for an older version of OCaml.
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build js_of_ocaml-compiler 3.9.1
│ ∗ install num 1.4
└─
╶─ No changes have been performed
