ports/devel/ocaml-ppx_blob/pkg-descr at b51aaadd34c74bfa63653b7af6616a2d55618326 - sync/ports - Archuserorg Forgejo: Archuser.org's Forgejo Server

sync/ports

mirror of https://git.freebsd.org/ports.git synced 2025-05-03 20:16:39 -04:00

Benjamin Jacobs d9c44a62ac 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

2024-10-08 14:56:48 +02:00

2 lines

84 B

Text

Raw Blame History

	`This PPX rewriter plugin permits to include a file`
	`in an OCaml source, as a string.`