# Installed packages for 4.06.1: apron 20160125 APRON numerical abstract domain library base-bigarray base Bigarray library distributed with the OCaml base-bytes base Bytes library distributed with the OCaml co base-threads base Threads library distributed with the OCaml base-unix base Unix library distributed with the OCaml com batteries 2.8.0 a community-maintained standard library ext camlidl 1.05 Stub code generator for OCaml camlp4 4.06+1 Camlp4 is a system for writing extensible p cil 20180523 A front-end for the C programming language conf-gmp 1 Virtual package relying on a GMP lib system conf-m4 1 Virtual package relying on m4 conf-mpfr 1 Virtual package relying on library MPFR ins conf-ntl 1 Virtual package relying on a NTL system ins conf-perl 1 Virtual package relying on perl conf-python-2-7 1.0 Virtual package relying on Python-2.7 insta cppo 1.6.5 Equivalent of the C preprocessor for OCaml cppo_ocamlbuild 1.6.0 ocamlbuild support for cppo, OCaml-friendly dune 1.2.1 Fast, portable and opinionated build system jbuilder transition This is a transition package, jbuilder is n menhir 20180905 LR(1) parser generator mlgmpidl 1.2.7 OCaml interface to the GMP library ntl 20180523 Number Theory Library num 1.1 The legacy Num library for arbitrary-precis oasis 0.4.11 Tooling for building OCaml libraries and ap ocaml-migrate-parsetree 1.0.11 Convert OCaml parsetrees between different ocamlbuild 0.12.0 OCamlbuild is a build system with builtin r ocamlfind 1.8.0 A library manager for OCaml ocamlgraph 1.8.8 A generic graph library for OCaml ocamlify 0.0.1 Include files in OCaml code ocamlmod 0.0.9 Generate OCaml modules from source files OCRS 20180427v3 Recurrence solver based on operational calc ounit 2.0.8 Unit testing framework loosely based on HUn ppx_derivers 1.0 Shared [@@deriving] plugin registry ppx_deriving 4.2.1 Type-driven code generation for OCaml >=4.0 ppx_tools 5.1+4.06.0 Tools for authors of ppx rewriters and othe result 1.3 Compatibility Result module Z3 4.7.1 Z3 SMT solver