CVE and update status of the FreeBSD ports tree4,826 unaddressed CVEs in 618 portsAll times are CET

Port details

devel/ocaml-dolmen0.9_2

Library for writing deduction and logic languages in Objective Caml

0
unaddressed
0
VuXML only, still affected
0
fixed
Maintainer
freebsd@dev.thsi.be
Packages
ocaml-dolmen 0.9_2
Upstream
Higher version available: 0.10
CPE
none, CVEs only via VuXML
WWW
https://github.com/Gbury/dolmen
Links
cgit · VuXML

Unaddressed (0) · The CVE record lists this version as affected, no VuXML entry names the CVE

None. There is no CVE without a VuXML entry for this version.

VuXML only (0) · listed, port not fixed yet

None. pkg audit reports nothing for this version.

Fixed (0)

No VuXML entries for this package.

Commits (4)

Muhammad Moinur Rahman (bofh) · 0.9_2
Mk/**ocaml.mk: Convert remaining bsd.ocaml.mk to Uses/ocaml.mk

- Instead of USE_OCAML=yes use USES=ocaml. If empty USES=ocaml implies
  build and run
- Instead of USE_OCAMLFIND_PLIST use USES=ocaml:findplist which also
  implies USES=ocaml:findlib
- Instead of USE_OCAML_CAMLP4 use USES=ocaml:camlp4
- Instead of USE_OCAML_FINDLIB use USES=ocaml:findlib
- Instead of USE_OCAML_LDCONFIG use USES=ocaml:ldconfig
- Instead of USE_OCAML_WASH use USES=ocaml:wash
- Instead of NO_OCAML_BUILDDEPENDS use USES=ocaml:run
- Instead of NO_OCAML_RUNDDEPENDS use USES=ocaml:build
- Instead of USE_OCAML_TK use USES=ocaml:tk which actually implies
  USES=ocaml:tkbuild and USES=ocaml:tkrun
- Instead of NO_OCAMLTK_BUILDDEPENDS use USES=ocaml:tkrun
- Instead of NO_OCAMLTK_RUNDEPENDS use USES=ocaml:tkbuild
- USES=ocaml:dune remains unchanged
- Prepare to add/remove keywords easily

Approved by: mat (portmgr)
Reviewed by: freebsd@dev.thsi.be
Differential Revision: https://reviews.freebsd.org/D48227
c79c88017b
Guido Falsi (madpilot) · 0.9_2
devel/ocaml-sexplib0: Bump revisions after dependency update

PR:		282086
fc9200867e
Zsolt Udvari (uzsolt) · 0.9_1
devel/ocaml-seq: Mark DEPRECATED and set EXPIRATION_DATE to 2024-12-10

Seq the ocaml module is part of lang/ocaml since 4.07. This package is a
compatibility shims that is needed for people using 4.06 and earlier.

PR:		280761
Approved by:	submitter is maintainer
a8c9290c83
Zsolt Udvari (uzsolt) · 0.9
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
d9c44a62ac