freebsd-ports/pkg-descr at main - freebsd-ports - My personal repos.

mirror/freebsd-ports

mirror of https://git.FreeBSD.org/ports.git synced 2024-11-18 00:10:04 +00: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

3 lines

101 B

Plaintext

Raw Permalink Blame History

	`Floating point numbers library which originated from the "Flocq"`
	`library for the Coq theorem prover.`