git: d9c44a62acbf - main - math/alt-ergo: Update to 2.5.4, many new ports
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 08 Oct 2024 12:57:06 UTC
The branch main has been updated by uzsolt:
URL: https://cgit.FreeBSD.org/ports/commit/?id=d9c44a62acbfe6ed3268bdf1e3f34e089756ada9
commit d9c44a62acbfe6ed3268bdf1e3f34e089756ada9
Author: Benjamin Jacobs <freebsd@dev.thsi.be>
AuthorDate: 2024-10-08 12:44:36 +0000
Commit: Zsolt Udvari <uzsolt@FreeBSD.org>
CommitDate: 2024-10-08 12:56:48 +0000
math/alt-ergo: Update to 2.5.4, many new ports
Replace GNU configure to dune builds system.
Add do-test target.
Submitter takes maintainership.
Update WWW.
Switch to DISTVERSION.
The last update of alt-ergo in ports tree was about 10 years ago, the newest
version requires many new libraries in ports tree.
New ports:
devel/ocaml-dolmen
devel/ocaml-gen
devel/ocaml-hmap
devel/ocaml-linol
devel/ocaml-lsp
devel/ocaml-octavius
devel/ocaml-pp_loc
devel/ocaml-ppx_blob
devel/ocaml-ppx_compare
devel/ocaml-ppx_deriving
devel/ocaml-ppx_hash
devel/ocaml-ppx_js_style
devel/ocaml-ppx_yojson_conv
devel/ocaml-ppx_yojson_conv_lib
devel/ocaml-psmt2-frontend
devel/ocaml-trace
math/ocaml-farith
math/ocaml-ocplib-simplex
textproc/ocaml-spelll
PR: 279337
---
devel/Makefile | 16 +
devel/ocaml-dolmen/Makefile | 95 +++
devel/ocaml-dolmen/distinfo | 3 +
devel/ocaml-dolmen/files/patch-src_bin_main.ml | 36 +
devel/ocaml-dolmen/files/patch-src_lsp_main.ml | 11 +
devel/ocaml-dolmen/files/patch-src_lsp_server.ml | 27 +
devel/ocaml-dolmen/files/patch-src_lsp_state.ml | 20 +
devel/ocaml-dolmen/pkg-descr | 7 +
devel/ocaml-dolmen/pkg-plist | 867 +++++++++++++++++++++
devel/ocaml-gen/Makefile | 34 +
devel/ocaml-gen/distinfo | 3 +
devel/ocaml-gen/pkg-descr | 2 +
devel/ocaml-gen/pkg-plist | 53 ++
devel/ocaml-hmap/Makefile | 43 +
devel/ocaml-hmap/distinfo | 3 +
devel/ocaml-hmap/pkg-descr | 2 +
devel/ocaml-hmap/pkg-plist | 10 +
devel/ocaml-linol/Makefile | 43 +
devel/ocaml-linol/distinfo | 3 +
devel/ocaml-linol/files/patch-src_server.ml | 35 +
devel/ocaml-linol/pkg-descr | 3 +
devel/ocaml-linol/pkg-plist | 54 ++
devel/ocaml-lsp/Makefile | 47 ++
devel/ocaml-lsp/distinfo | 3 +
devel/ocaml-lsp/pkg-descr | 5 +
devel/ocaml-lsp/pkg-plist | 158 ++++
devel/ocaml-ocplib-endian/Makefile | 2 +-
devel/ocaml-octavius/Makefile | 37 +
devel/ocaml-octavius/distinfo | 3 +
devel/ocaml-octavius/pkg-descr | 3 +
devel/ocaml-octavius/pkg-plist | 52 ++
devel/ocaml-pp_loc/Makefile | 28 +
devel/ocaml-pp_loc/distinfo | 3 +
devel/ocaml-pp_loc/pkg-descr | 5 +
devel/ocaml-pp_loc/pkg-plist | 23 +
devel/ocaml-ppx_blob/Makefile | 40 +
devel/ocaml-ppx_blob/distinfo | 3 +
devel/ocaml-ppx_blob/pkg-descr | 2 +
devel/ocaml-ppx_blob/pkg-plist | 12 +
devel/ocaml-ppx_compare/Makefile | 38 +
devel/ocaml-ppx_compare/distinfo | 3 +
devel/ocaml-ppx_compare/pkg-descr | 5 +
devel/ocaml-ppx_compare/pkg-plist | 39 +
devel/ocaml-ppx_deriving/Makefile | 45 ++
devel/ocaml-ppx_deriving/distinfo | 3 +
devel/ocaml-ppx_deriving/pkg-descr | 3 +
devel/ocaml-ppx_deriving/pkg-plist | 104 +++
devel/ocaml-ppx_hash/Makefile | 42 +
devel/ocaml-ppx_hash/distinfo | 3 +
devel/ocaml-ppx_hash/pkg-descr | 5 +
devel/ocaml-ppx_hash/pkg-plist | 31 +
devel/ocaml-ppx_js_style/Makefile | 38 +
devel/ocaml-ppx_js_style/distinfo | 3 +
devel/ocaml-ppx_js_style/pkg-descr | 3 +
devel/ocaml-ppx_js_style/pkg-plist | 14 +
devel/ocaml-ppx_yojson_conv/Makefile | 48 ++
devel/ocaml-ppx_yojson_conv/distinfo | 3 +
devel/ocaml-ppx_yojson_conv/pkg-descr | 4 +
devel/ocaml-ppx_yojson_conv/pkg-plist | 39 +
devel/ocaml-ppx_yojson_conv_lib/Makefile | 38 +
devel/ocaml-ppx_yojson_conv_lib/distinfo | 3 +
devel/ocaml-ppx_yojson_conv_lib/pkg-descr | 2 +
devel/ocaml-ppx_yojson_conv_lib/pkg-plist | 29 +
devel/ocaml-psmt2-frontend/Makefile | 31 +
devel/ocaml-psmt2-frontend/distinfo | 3 +
devel/ocaml-psmt2-frontend/pkg-descr | 3 +
devel/ocaml-psmt2-frontend/pkg-plist | 69 ++
devel/ocaml-trace/Makefile | 47 ++
devel/ocaml-trace/distinfo | 3 +
devel/ocaml-trace/pkg-descr | 13 +
devel/ocaml-trace/pkg-plist | 96 +++
math/Makefile | 2 +
math/alt-ergo/Makefile | 85 +-
math/alt-ergo/distinfo | 5 +-
.../files/patch-src_bin_common_parse__command.ml | 190 +++++
math/alt-ergo/pkg-plist | 563 ++++++++++++-
math/ocaml-farith/Makefile | 40 +
math/ocaml-farith/distinfo | 3 +
math/ocaml-farith/pkg-descr | 2 +
math/ocaml-farith/pkg-plist | 171 ++++
math/ocaml-ocplib-simplex/Makefile | 43 +
math/ocaml-ocplib-simplex/distinfo | 3 +
math/ocaml-ocplib-simplex/pkg-descr | 4 +
math/ocaml-ocplib-simplex/pkg-plist | 65 ++
textproc/Makefile | 1 +
textproc/ocaml-spelll/Makefile | 35 +
textproc/ocaml-spelll/distinfo | 3 +
textproc/ocaml-spelll/pkg-descr | 8 +
textproc/ocaml-spelll/pkg-plist | 13 +
89 files changed, 3807 insertions(+), 35 deletions(-)
diff --git a/devel/Makefile b/devel/Makefile
index 96bdbd729db7..a5607a0e5ee1 100644
--- a/devel/Makefile
+++ b/devel/Makefile
@@ -1747,20 +1747,26 @@
SUBDIR += ocaml-csexp
SUBDIR += ocaml-cstruct
SUBDIR += ocaml-curses
+ SUBDIR += ocaml-dolmen
SUBDIR += ocaml-domain-name
SUBDIR += ocaml-dune
SUBDIR += ocaml-extlib
SUBDIR += ocaml-findlib
SUBDIR += ocaml-fmt
SUBDIR += ocaml-fpath
+ SUBDIR += ocaml-gen
+ SUBDIR += ocaml-hmap
SUBDIR += ocaml-ipaddr
SUBDIR += ocaml-lacaml
+ SUBDIR += ocaml-linol
SUBDIR += ocaml-logs
+ SUBDIR += ocaml-lsp
SUBDIR += ocaml-lwt
SUBDIR += ocaml-magic
SUBDIR += ocaml-mtime
SUBDIR += ocaml-ocamlbuild
SUBDIR += ocaml-ocplib-endian
+ SUBDIR += ocaml-octavius
SUBDIR += ocaml-opam
SUBDIR += ocaml-ounit
SUBDIR += ocaml-parmap
@@ -1768,10 +1774,19 @@
SUBDIR += ocaml-pcre
SUBDIR += ocaml-pcre2
SUBDIR += ocaml-pomap
+ SUBDIR += ocaml-pp_loc
SUBDIR += ocaml-ppx-tools
+ SUBDIR += ocaml-ppx_blob
+ SUBDIR += ocaml-ppx_compare
SUBDIR += ocaml-ppx_derivers
+ SUBDIR += ocaml-ppx_deriving
+ SUBDIR += ocaml-ppx_hash
+ SUBDIR += ocaml-ppx_js_style
SUBDIR += ocaml-ppx_sexp_conv
+ SUBDIR += ocaml-ppx_yojson_conv
+ SUBDIR += ocaml-ppx_yojson_conv_lib
SUBDIR += ocaml-ppxlib
+ SUBDIR += ocaml-psmt2-frontend
SUBDIR += ocaml-re
SUBDIR += ocaml-react
SUBDIR += ocaml-res
@@ -1784,6 +1799,7 @@
SUBDIR += ocaml-sexplib0
SUBDIR += ocaml-stdio
SUBDIR += ocaml-topkg
+ SUBDIR += ocaml-trace
SUBDIR += ocaml-type_conv
SUBDIR += ocaml-uchar
SUBDIR += ocaml-ulex
diff --git a/devel/ocaml-dolmen/Makefile b/devel/ocaml-dolmen/Makefile
new file mode 100644
index 000000000000..be0f524d1956
--- /dev/null
+++ b/devel/ocaml-dolmen/Makefile
@@ -0,0 +1,95 @@
+PORTNAME= dolmen
+DISTVERSIONPREFIX= v
+DISTVERSION= 0.9
+CATEGORIES= devel
+PKGNAMEPREFIX= ocaml-
+
+MAINTAINER= freebsd@dev.thsi.be
+COMMENT= Library for writing deduction and logic languages in Objective Caml
+WWW= https://github.com/Gbury/dolmen
+
+LICENSE= BSD2CLAUSE
+LICENSE_FILE= ${WRKSRC}/LICENSE
+
+BUILD_DEPENDS= ${LOCALBASE}/bin/menhir:devel/menhir \
+ ${SA_DIR}/farith/META:math/ocaml-farith \
+ ${SA_DIR}/fmt/META:devel/ocaml-fmt \
+ ${SA_DIR}/gen/META:devel/ocaml-gen \
+ ${SA_DIR}/linol/META:devel/ocaml-linol \
+ ${SA_DIR}/logs/META:devel/ocaml-logs \
+ ${SA_DIR}/lsp/META:devel/ocaml-lsp \
+ ${SA_DIR}/pp_loc/META:devel/ocaml-pp_loc \
+ ${SA_DIR}/ppx_deriving/META:devel/ocaml-ppx_deriving \
+ ${SA_DIR}/ppx_hash/META:devel/ocaml-ppx_hash \
+ ${SA_DIR}/ppx_yojson_conv/META:devel/ocaml-ppx_yojson_conv \
+ ${SA_DIR}/spelll/META:textproc/ocaml-spelll \
+ ${SA_DIR}/uutf/META:devel/ocaml-uutf
+LIB_DEPENDS= libev.so:devel/libev \
+ libgmp.so:math/gmp
+RUN_DEPENDS= ${SA_DIR}/farith/META:math/ocaml-farith \
+ ${SA_DIR}/fmt/META:devel/ocaml-fmt \
+ ${SA_DIR}/gen/META:devel/ocaml-gen \
+ ${SA_DIR}/linol/META:devel/ocaml-linol \
+ ${SA_DIR}/logs/META:devel/ocaml-logs \
+ ${SA_DIR}/lsp/META:devel/ocaml-lsp \
+ ${SA_DIR}/menhirLib/META:devel/menhir \
+ ${SA_DIR}/pp_loc/META:devel/ocaml-pp_loc \
+ ${SA_DIR}/ppx_deriving/META:devel/ocaml-ppx_deriving \
+ ${SA_DIR}/ppx_hash/META:devel/ocaml-ppx_hash \
+ ${SA_DIR}/ppx_yojson_conv_lib/META:devel/ocaml-ppx_yojson_conv_lib \
+ ${SA_DIR}/spelll/META:textproc/ocaml-spelll \
+ ${SA_DIR}/uutf/META:devel/ocaml-uutf
+
+USES= ocaml:dune
+USE_GITHUB= yes
+GH_ACCOUNT= Gbury
+
+USE_OCAML= yes
+OCAML_PACKAGES= ${PORTNAME} ${PORTNAME}_bin ${PORTNAME}_loop \
+ ${PORTNAME}_lsp ${PORTNAME}_model ${PORTNAME}_type
+DUNE_INSTALL_TARGETS= ${OCAML_PACKAGES}
+
+DOCSDIR= ${OCAML_DOCSDIR}
+PORTDOCS= dolmen/odoc-pages/index.mld \
+ ${OCAML_PACKAGES:@p@$p/CHANGES.md $p/LICENSE $p/README.md@}
+
+OPTIONS_DEFINE= DOCS MANPAGES
+OPTIONS_SUB= yes
+
+SA_DIR= ${LOCALBASE}/${OCAML_SITELIBDIR}
+
+post-patch:
+ @${REINPLACE_CMD} \
+ -e "/^version:/s/dev/${PORTVERSION}/" \
+ ${WRKSRC}/dolmen.opam \
+ ${WRKSRC}/dolmen_bin.opam \
+ ${WRKSRC}/dolmen_loop.opam \
+ ${WRKSRC}/dolmen_lsp.opam \
+ ${WRKSRC}/dolmen_model.opam \
+ ${WRKSRC}/dolmen_type.opam
+
+post-install:
+ @${STRIP_CMD} \
+ ${STAGEDIR}${PREFIX}/bin/dolmen \
+ ${STAGEDIR}${PREFIX}/bin/dolmenls
+ @(cd ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}; \
+ ${STRIP_CMD} \
+ dolmen/ae/dolmen_ae.cmxs \
+ dolmen/class/dolmen_class.cmxs \
+ dolmen/dimacs/dolmen_dimacs.cmxs dolmen/dolmen.cmxs \
+ dolmen/icnf/dolmen_icnf.cmxs \
+ dolmen/intf/dolmen_intf.cmxs \
+ dolmen/line/dolmen_line.cmxs \
+ dolmen/smtlib2/dolmen_smtlib2.cmxs \
+ dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmxs \
+ dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmxs \
+ dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmxs \
+ dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmxs \
+ dolmen/std/dolmen_std.cmxs \
+ dolmen/tptp/dolmen_tptp.cmxs \
+ dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmxs \
+ dolmen/zf/dolmen_zf.cmxs dolmen_loop/dolmen_loop.cmxs \
+ dolmen_model/dolmen_model.cmxs \
+ dolmen_type/dolmen_type.cmxs)
+
+.include <bsd.port.mk>
diff --git a/devel/ocaml-dolmen/distinfo b/devel/ocaml-dolmen/distinfo
new file mode 100644
index 000000000000..44a592c1ff23
--- /dev/null
+++ b/devel/ocaml-dolmen/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1723760391
+SHA256 (Gbury-dolmen-v0.9_GH0.tar.gz) = b1d00c0b969ea4e7c8d14ef0854303daebe60e796562d67b510a7783841aa967
+SIZE (Gbury-dolmen-v0.9_GH0.tar.gz) = 1150826
diff --git a/devel/ocaml-dolmen/files/patch-src_bin_main.ml b/devel/ocaml-dolmen/files/patch-src_bin_main.ml
new file mode 100644
index 000000000000..7220993b0084
--- /dev/null
+++ b/devel/ocaml-dolmen/files/patch-src_bin_main.ml
@@ -0,0 +1,36 @@
+--- src/bin/main.ml.orig 2024-08-15 00:57:27 UTC
++++ src/bin/main.ml
+@@ -127,22 +127,21 @@ let () =
+ let exits =
+ List.map (fun code ->
+ let retcode, doc = Dolmen_loop.Code.descr code in
+- Cmdliner.Cmd.Exit.info ~doc retcode
++ Cmdliner.Term.exit_info ~doc retcode
+ ) (Dolmen_loop.Code.errors ())
+- @ Cmdliner.Cmd.Exit.defaults
++ @ Cmdliner.Term.default_exits
+ in
+- let cli_term = Cmdliner.Cmd.v
+- (Cmdliner.Cmd.info "dolmen" ~exits ~man:Man.cli ~version)
+- Options.cli
++ let cli_info =
++ (Cmdliner.Term.info "dolmen" ~exits ~man:Man.cli ~version)
+ in
+- match Cmdliner.Cmd.eval_value cli_term with
+- | Ok (`Version | `Help) ->
++ match Cmdliner.Term.eval (Options.cli, cli_info) with
++ | `Version | `Help ->
+ exit 0
+- | Error (`Parse | `Term | `Exn) ->
+- exit Cmdliner.Cmd.Exit.cli_error
+- | Ok (`Ok Run { state ; preludes; logic_file }) ->
++ | `Error (`Parse | `Term | `Exn) ->
++ exit Cmdliner.Term.exit_status_cli_error
++ | `Ok (Run { state ; preludes; logic_file }) ->
+ run state preludes logic_file
+- | Ok (`Ok Doc { report; conf; }) ->
++ | `Ok (Doc { report; conf; }) ->
+ doc conf report
+- | Ok (`Ok List_reports { conf; }) ->
++ | `Ok (List_reports { conf; }) ->
+ list conf
diff --git a/devel/ocaml-dolmen/files/patch-src_lsp_main.ml b/devel/ocaml-dolmen/files/patch-src_lsp_main.ml
new file mode 100644
index 000000000000..8d26baf58bfb
--- /dev/null
+++ b/devel/ocaml-dolmen/files/patch-src_lsp_main.ml
@@ -0,0 +1,11 @@
+--- src/lsp/main.ml.orig 2024-08-15 00:50:43 UTC
++++ src/lsp/main.ml
+@@ -3,7 +3,7 @@ let run () =
+
+ let run () =
+ let s = new Server.dolmen_lsp_server in
+- let server = Linol_lwt.Jsonrpc2.create_stdio s in
++ let server = Linol_lwt.Jsonrpc2.create_stdio ~env:() s in
+ let task = Linol_lwt.Jsonrpc2.run server in
+ match Linol_lwt.run task with
+ | () -> ()
diff --git a/devel/ocaml-dolmen/files/patch-src_lsp_server.ml b/devel/ocaml-dolmen/files/patch-src_lsp_server.ml
new file mode 100644
index 000000000000..76c950e2854a
--- /dev/null
+++ b/devel/ocaml-dolmen/files/patch-src_lsp_server.ml
@@ -0,0 +1,27 @@
+--- src/lsp/server.ml.orig 2024-08-15 00:37:20 UTC
++++ src/lsp/server.ml
+@@ -55,14 +55,14 @@ class dolmen_lsp_server =
+ let change = Lsp.Types.TextDocumentSyncKind.Incremental in
+ (* Lsp.Types.TextDocumentSyncKind.Full *)
+ Lsp.Types.TextDocumentSyncOptions.create ~openClose:true ~change
+- ~save:(Lsp.Types.SaveOptions.create ~includeText:false ())
++ ~save:(`SaveOptions (Lsp.Types.SaveOptions.create ~includeText:false ()))
+ ()
+
+ method private _on_doc
+ ~(notify_back:Linol_lwt.Jsonrpc2.notify_back)
+ (uri:Lsp.Types.DocumentUri.t) (contents:string) =
+ (* TODO: unescape uri/translate it to a correct path ? *)
+- match Loop.process prelude (preprocess_uri uri) (Some contents) with
++ match Loop.process prelude (Lsp.Uri.to_path uri) (Some contents) with
+ | Ok state ->
+ let diags = State.get State.diagnostics state in
+ Hashtbl.replace buffers uri state;
+@@ -94,5 +94,7 @@ class dolmen_lsp_server =
+ method on_notif_doc_did_close ~notify_back d =
+ Hashtbl.remove buffers d.uri;
+ notify_back#send_diagnostic []
++
++ method spawn_query_handler = Lwt.async
+
+ end
diff --git a/devel/ocaml-dolmen/files/patch-src_lsp_state.ml b/devel/ocaml-dolmen/files/patch-src_lsp_state.ml
new file mode 100644
index 000000000000..857f64b34d69
--- /dev/null
+++ b/devel/ocaml-dolmen/files/patch-src_lsp_state.ml
@@ -0,0 +1,20 @@
+--- src/lsp/state.ml.orig 2024-08-15 00:34:51 UTC
++++ src/lsp/state.ml
+@@ -45,7 +45,7 @@ let warn ?file:_ ?loc t warn payload =
+ in
+ Format.kfprintf (fun _ ->
+ let msg = Format.flush_str_formatter () in
+- let d = Diagnostic.warn ~loc msg in
++ let d = Diagnostic.warn ~loc (`String msg) in
+ add_diag d t) Format.str_formatter "%a"
+ Dolmen_loop.Report.Warning.print (warn, payload)
+
+@@ -67,7 +67,7 @@ let error ?file:_ ?loc t err payload =
+ (* Print the error message *)
+ Format.kfprintf (fun _ ->
+ let msg = Format.flush_str_formatter () in
+- let d = Diagnostic.error ~loc msg in
++ let d = Diagnostic.error ~loc (`String msg) in
+ add_diag d t) Format.str_formatter "%a"
+ Dolmen_loop.Report.Error.print (err, payload)
+
diff --git a/devel/ocaml-dolmen/pkg-descr b/devel/ocaml-dolmen/pkg-descr
new file mode 100644
index 000000000000..29e71972e925
--- /dev/null
+++ b/devel/ocaml-dolmen/pkg-descr
@@ -0,0 +1,7 @@
+The dolmen library for OCaml provides modules for parsing,
+type-checking and main loop controling.
+
+The dolmen binary allows to parse and type-check input against a
+language specification.
+
+Dolmen comes with a LSP server implementation.
diff --git a/devel/ocaml-dolmen/pkg-plist b/devel/ocaml-dolmen/pkg-plist
new file mode 100644
index 000000000000..b68f9abf339a
--- /dev/null
+++ b/devel/ocaml-dolmen/pkg-plist
@@ -0,0 +1,867 @@
+bin/dolmen
+bin/dolmenls
+%%OCAML_SITELIBDIR%%/dolmen/META
+%%OCAML_SITELIBDIR%%/dolmen/ae/ast.ml
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.a
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cma
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cmi
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cmt
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cmti
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cmx
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.ml
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae.mli
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__.cmi
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__.cmt
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__.cmx
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__.ml
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Ast.cmi
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Ast.cmt
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Ast.cmx
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Lexer.cmi
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Lexer.cmt
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Lexer.cmx
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Parser.cmi
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Parser.cmt
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Parser.cmti
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Parser.cmx
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Syntax_messages.cmi
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Syntax_messages.cmt
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Syntax_messages.cmx
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Tokens.cmi
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Tokens.cmt
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Tokens.cmti
+%%OCAML_SITELIBDIR%%/dolmen/ae/dolmen_ae__Tokens.cmx
+%%OCAML_SITELIBDIR%%/dolmen/ae/lexer.ml
+%%OCAML_SITELIBDIR%%/dolmen/ae/parser.ml
+%%OCAML_SITELIBDIR%%/dolmen/ae/parser.mli
+%%OCAML_SITELIBDIR%%/dolmen/ae/syntax_messages.ml
+%%OCAML_SITELIBDIR%%/dolmen/ae/tokens.ml
+%%OCAML_SITELIBDIR%%/dolmen/ae/tokens.mli
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.a
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.cma
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.cmi
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.cmt
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.cmx
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class.ml
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Logic.cmi
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Logic.cmt
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Logic.cmti
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Logic.cmx
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Response.cmi
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Response.cmt
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Response.cmti
+%%OCAML_SITELIBDIR%%/dolmen/class/dolmen_class__Response.cmx
+%%OCAML_SITELIBDIR%%/dolmen/class/logic.ml
+%%OCAML_SITELIBDIR%%/dolmen/class/logic.mli
+%%OCAML_SITELIBDIR%%/dolmen/class/response.ml
+%%OCAML_SITELIBDIR%%/dolmen/class/response.mli
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/ast.ml
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.a
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cma
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cmi
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cmt
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cmti
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cmx
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.ml
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs.mli
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__.cmi
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__.cmt
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__.cmx
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__.ml
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Ast.cmi
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Ast.cmt
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Ast.cmx
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Lexer.cmi
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Lexer.cmt
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Lexer.cmx
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Parser.cmi
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Parser.cmt
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Parser.cmti
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Parser.cmx
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Syntax_messages.cmi
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Syntax_messages.cmt
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Syntax_messages.cmx
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Tokens.cmi
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Tokens.cmt
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Tokens.cmti
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/dolmen_dimacs__Tokens.cmx
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/lexer.ml
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/parser.ml
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/parser.mli
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/syntax_messages.ml
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/tokens.ml
+%%OCAML_SITELIBDIR%%/dolmen/dimacs/tokens.mli
+%%OCAML_SITELIBDIR%%/dolmen/dolmen.a
+%%OCAML_SITELIBDIR%%/dolmen/dolmen.cma
+%%OCAML_SITELIBDIR%%/dolmen/dolmen.cmi
+%%OCAML_SITELIBDIR%%/dolmen/dolmen.cmt
+%%OCAML_SITELIBDIR%%/dolmen/dolmen.cmx
+%%OCAML_SITELIBDIR%%/dolmen/dolmen.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/dolmen.ml
+%%OCAML_SITELIBDIR%%/dolmen/dune-package
+%%OCAML_SITELIBDIR%%/dolmen/icnf/ast.ml
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.a
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cma
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cmi
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cmt
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cmti
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cmx
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.ml
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf.mli
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__.cmi
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__.cmt
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__.cmx
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__.ml
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Ast.cmi
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Ast.cmt
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Ast.cmx
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Lexer.cmi
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Lexer.cmt
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Lexer.cmx
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Parser.cmi
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Parser.cmt
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Parser.cmti
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Parser.cmx
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Syntax_messages.cmi
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Syntax_messages.cmt
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Syntax_messages.cmx
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Tokens.cmi
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Tokens.cmt
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Tokens.cmti
+%%OCAML_SITELIBDIR%%/dolmen/icnf/dolmen_icnf__Tokens.cmx
+%%OCAML_SITELIBDIR%%/dolmen/icnf/lexer.ml
+%%OCAML_SITELIBDIR%%/dolmen/icnf/parser.ml
+%%OCAML_SITELIBDIR%%/dolmen/icnf/parser.mli
+%%OCAML_SITELIBDIR%%/dolmen/icnf/syntax_messages.ml
+%%OCAML_SITELIBDIR%%/dolmen/icnf/tokens.ml
+%%OCAML_SITELIBDIR%%/dolmen/icnf/tokens.mli
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.a
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.cma
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf.ml
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Id.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Id.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Id.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Language.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Language.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Language.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Lex.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Lex.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Lex.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Location.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Location.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Location.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Map.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Map.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Map.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Msg.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Msg.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Msg.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Parse.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Parse.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Parse.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Stmt.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Stmt.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Stmt.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Tag.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Tag.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Tag.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Term.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Term.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Term.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Tok.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Tok.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Tok.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Ty.cmi
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Ty.cmt
+%%OCAML_SITELIBDIR%%/dolmen/intf/dolmen_intf__Ty.cmx
+%%OCAML_SITELIBDIR%%/dolmen/intf/id.ml
+%%OCAML_SITELIBDIR%%/dolmen/intf/language.ml
+%%OCAML_SITELIBDIR%%/dolmen/intf/lex.ml
+%%OCAML_SITELIBDIR%%/dolmen/intf/location.ml
+%%OCAML_SITELIBDIR%%/dolmen/intf/map.ml
+%%OCAML_SITELIBDIR%%/dolmen/intf/msg.ml
+%%OCAML_SITELIBDIR%%/dolmen/intf/parse.ml
+%%OCAML_SITELIBDIR%%/dolmen/intf/stmt.ml
+%%OCAML_SITELIBDIR%%/dolmen/intf/tag.ml
+%%OCAML_SITELIBDIR%%/dolmen/intf/term.ml
+%%OCAML_SITELIBDIR%%/dolmen/intf/tok.ml
+%%OCAML_SITELIBDIR%%/dolmen/intf/ty.ml
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.a
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cma
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cmi
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cmt
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cmti
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cmx
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.ml
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line.mli
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__.cmi
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__.cmt
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__.cmx
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__.ml
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__LexLine.cmi
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__LexLine.cmt
+%%OCAML_SITELIBDIR%%/dolmen/line/dolmen_line__LexLine.cmx
+%%OCAML_SITELIBDIR%%/dolmen/line/lexLine.ml
+%%OCAML_SITELIBDIR%%/dolmen/opam
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.a
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.cma
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/dolmen_smtlib2.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/ast.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.a
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cma
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmti
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly.mli
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Ast.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Ast.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Ast.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Lexer.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Lexer.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Lexer.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Parser.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Parser.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Parser.cmti
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Parser.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Syntax_messages.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Syntax_messages.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Syntax_messages.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Tokens.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Tokens.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Tokens.cmti
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/dolmen_smtlib2_poly__Tokens.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/lexer.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/parser.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/parser.mli
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/syntax_messages.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/tokens.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/poly/tokens.mli
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.a
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cma
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6/dolmen_smtlib2_v6.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/ast.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.a
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cma
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmti
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response.mli
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Ast.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Ast.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Ast.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Lexer.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Lexer.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Lexer.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Parser.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Parser.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Parser.cmti
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Parser.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Syntax_messages.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Syntax_messages.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Syntax_messages.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Tokens.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Tokens.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Tokens.cmti
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/dolmen_smtlib2_v6_response__Tokens.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/lexer.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/parser.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/parser.mli
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/syntax_messages.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/tokens.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_response/tokens.mli
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/ast.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.a
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cma
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmti
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script.mli
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Ast.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Ast.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Ast.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Lexer.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Lexer.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Lexer.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Parser.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Parser.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Parser.cmti
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Parser.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Syntax_messages.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Syntax_messages.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Syntax_messages.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Tokens.cmi
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Tokens.cmt
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Tokens.cmti
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/dolmen_smtlib2_v6_script__Tokens.cmx
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/lexer.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/parser.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/parser.mli
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/syntax_messages.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/tokens.ml
+%%OCAML_SITELIBDIR%%/dolmen/smtlib2/v6_script/tokens.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/answer.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/answer.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/builtin.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/builtin.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.a
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.cma
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Answer.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Answer.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Answer.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Answer.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Builtin.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Builtin.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Builtin.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Builtin.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Escape.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Escape.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Escape.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Escape.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Expr.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Expr.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Expr.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Expr.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Hmap.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Hmap.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Hmap.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Hmap.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Id.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Id.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Id.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Id.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Loc.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Loc.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Loc.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Loc.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps_string.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps_string.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps_string.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Maps_string.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Misc.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Misc.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Misc.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Misc.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Msg.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Msg.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Msg.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Name.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Name.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Name.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Name.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Namespace.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Namespace.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Namespace.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Namespace.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Normalize.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Normalize.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Normalize.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Normalize.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Path.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Path.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Path.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Path.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Pretty.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Pretty.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Pretty.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Statement.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Statement.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Statement.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Statement.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Stats.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Stats.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Stats.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Stats.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tag.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tag.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tag.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tag.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Term.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Term.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Term.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Term.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Timer.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Timer.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Timer.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Timer.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tok.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tok.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Tok.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Transformer.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Transformer.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Transformer.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Vec.cmi
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Vec.cmt
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Vec.cmti
+%%OCAML_SITELIBDIR%%/dolmen/std/dolmen_std__Vec.cmx
+%%OCAML_SITELIBDIR%%/dolmen/std/escape.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/escape.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/expr.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/expr.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/hmap.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/hmap.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/id.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/id.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/loc.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/loc.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/maps.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/maps.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/maps_string.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/maps_string.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/misc.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/misc.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/msg.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/name.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/name.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/namespace.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/namespace.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/normalize.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/normalize.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/path.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/path.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/pretty.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/statement.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/statement.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/stats.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/stats.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/tag.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/tag.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/term.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/term.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/timer.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/timer.mli
+%%OCAML_SITELIBDIR%%/dolmen/std/tok.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/transformer.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/vec.ml
+%%OCAML_SITELIBDIR%%/dolmen/std/vec.mli
+%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.a
+%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.cma
+%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.cmi
+%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.cmt
+%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.cmx
+%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/tptp/dolmen_tptp.ml
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/ast.ml
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.a
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cma
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmi
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmt
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmti
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmx
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.ml
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0.mli
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__.cmi
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__.cmt
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__.cmx
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__.ml
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Ast.cmi
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Ast.cmt
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Ast.cmx
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Lexer.cmi
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Lexer.cmt
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Lexer.cmx
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Parser.cmi
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Parser.cmt
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Parser.cmti
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Parser.cmx
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Syntax_messages.cmi
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Syntax_messages.cmt
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Syntax_messages.cmx
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Tokens.cmi
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Tokens.cmt
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Tokens.cmti
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/dolmen_tptp_v6_3_0__Tokens.cmx
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/lexer.ml
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/parser.ml
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/parser.mli
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/syntax_messages.ml
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/tokens.ml
+%%OCAML_SITELIBDIR%%/dolmen/tptp/v6_3_0/tokens.mli
+%%OCAML_SITELIBDIR%%/dolmen/zf/ast.ml
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.a
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cma
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cmi
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cmt
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cmti
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cmx
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.cmxa
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.ml
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf.mli
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__.cmi
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__.cmt
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__.cmx
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__.ml
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Ast.cmi
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Ast.cmt
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Ast.cmx
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Lexer.cmi
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Lexer.cmt
+%%OCAML_SITELIBDIR%%/dolmen/zf/dolmen_zf__Lexer.cmx
*** 3592 LINES SKIPPED ***