mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-18 00:10:04 +00:00
d9c44a62ac
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
54 lines
1.9 KiB
Plaintext
54 lines
1.9 KiB
Plaintext
%%OCAML_SITELIBDIR%%/gen/GenShims_.ml
|
|
%%OCAML_SITELIBDIR%%/gen/META
|
|
%%OCAML_SITELIBDIR%%/gen/dune-package
|
|
%%OCAML_SITELIBDIR%%/gen/gen.a
|
|
%%OCAML_SITELIBDIR%%/gen/gen.cma
|
|
%%OCAML_SITELIBDIR%%/gen/gen.cmi
|
|
%%OCAML_SITELIBDIR%%/gen/gen.cmt
|
|
%%OCAML_SITELIBDIR%%/gen/gen.cmti
|
|
%%OCAML_SITELIBDIR%%/gen/gen.cmx
|
|
%%OCAML_SITELIBDIR%%/gen/gen.cmxa
|
|
%%OCAML_SITELIBDIR%%/gen/gen.cmxs
|
|
%%OCAML_SITELIBDIR%%/gen/gen.ml
|
|
%%OCAML_SITELIBDIR%%/gen/gen.mli
|
|
%%OCAML_SITELIBDIR%%/gen/genClone.cmi
|
|
%%OCAML_SITELIBDIR%%/gen/genClone.cmt
|
|
%%OCAML_SITELIBDIR%%/gen/genClone.cmti
|
|
%%OCAML_SITELIBDIR%%/gen/genClone.cmx
|
|
%%OCAML_SITELIBDIR%%/gen/genClone.ml
|
|
%%OCAML_SITELIBDIR%%/gen/genClone.mli
|
|
%%OCAML_SITELIBDIR%%/gen/genLabels.cmi
|
|
%%OCAML_SITELIBDIR%%/gen/genLabels.cmt
|
|
%%OCAML_SITELIBDIR%%/gen/genLabels.cmti
|
|
%%OCAML_SITELIBDIR%%/gen/genLabels.cmx
|
|
%%OCAML_SITELIBDIR%%/gen/genLabels.ml
|
|
%%OCAML_SITELIBDIR%%/gen/genLabels.mli
|
|
%%OCAML_SITELIBDIR%%/gen/genLabels_intf.cmi
|
|
%%OCAML_SITELIBDIR%%/gen/genLabels_intf.cmt
|
|
%%OCAML_SITELIBDIR%%/gen/genLabels_intf.cmx
|
|
%%OCAML_SITELIBDIR%%/gen/genLabels_intf.ml
|
|
%%OCAML_SITELIBDIR%%/gen/genM.cmi
|
|
%%OCAML_SITELIBDIR%%/gen/genM.cmt
|
|
%%OCAML_SITELIBDIR%%/gen/genM.cmti
|
|
%%OCAML_SITELIBDIR%%/gen/genM.cmx
|
|
%%OCAML_SITELIBDIR%%/gen/genM.ml
|
|
%%OCAML_SITELIBDIR%%/gen/genM.mli
|
|
%%OCAML_SITELIBDIR%%/gen/genMList.cmi
|
|
%%OCAML_SITELIBDIR%%/gen/genMList.cmt
|
|
%%OCAML_SITELIBDIR%%/gen/genMList.cmti
|
|
%%OCAML_SITELIBDIR%%/gen/genMList.cmx
|
|
%%OCAML_SITELIBDIR%%/gen/genMList.ml
|
|
%%OCAML_SITELIBDIR%%/gen/genMList.mli
|
|
%%OCAML_SITELIBDIR%%/gen/genM_intf.cmi
|
|
%%OCAML_SITELIBDIR%%/gen/genM_intf.cmt
|
|
%%OCAML_SITELIBDIR%%/gen/genM_intf.cmx
|
|
%%OCAML_SITELIBDIR%%/gen/genM_intf.ml
|
|
%%OCAML_SITELIBDIR%%/gen/genShims_.cmi
|
|
%%OCAML_SITELIBDIR%%/gen/genShims_.cmt
|
|
%%OCAML_SITELIBDIR%%/gen/genShims_.cmx
|
|
%%OCAML_SITELIBDIR%%/gen/gen_intf.cmi
|
|
%%OCAML_SITELIBDIR%%/gen/gen_intf.cmt
|
|
%%OCAML_SITELIBDIR%%/gen/gen_intf.cmx
|
|
%%OCAML_SITELIBDIR%%/gen/gen_intf.ml
|
|
%%OCAML_SITELIBDIR%%/gen/opam
|