sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-05-15 08:41:51 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
ports/devel/ocaml-ppx_yojson_conv_lib/distinfo
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
213 B
Text
Raw Blame History

TIMESTAMP = 1723761141
SHA256 (janestreet-ppx_yojson_conv_lib-v0.17.0_GH0.tar.gz) = f6e6ee92408c53c5ecd8bb5ae93811aa4cf71f8dc144d5943be8fc2c7697b199
SIZE (janestreet-ppx_yojson_conv_lib-v0.17.0_GH0.tar.gz) = 7370
Reference in a new issue View git blame Copy permalink