lang/ocaml; Update to 4.14.3
Addresses some security issues but NEWS lacks CVE refs.
Successfully built 10 ocaml-foo and unison, on NetBSD 10 amd64.
OCaml 4.14.3 (17 February 2026)
------------------------------
### Bug fixes:
- #12070, #12075, #13209: auto-detect whether `ar` support @FILE arguments at
configure-time to avoid using this feature with toolchains that do not support
it (eg FreeBSD/Darwin); backport from 5.3.
(backport by Boris Dobroslavov, original fix by Nicolás Ojeda Bär, review by
Xavier Leroy, David Allsopp, Javier Chávarri, Anil Madhavapeddy)
- #12207, #12222: Make closure computation linear in the number of recursive
[28 lines not shown]
yt-dlp-ejs: update to 0.5.0
- Dev and runtime improvements
- fix: sig extraction in main variant of player
- Fix sig solving for tce and es6 player variants
Update devel/yices2 to version 2.6.5.
Yices 2.6.5:
New Features:
- Arrays support in the MCSat solver
- MCSat Thread Safety
- New logics: QF_AUFBVLIA, QF_UFBVLIA, QF_BVLRA, QF_AUFBVNIA, QF_UFBVNIA
- Set static variable order in the MCSat solver
- Set initial var order in the MCSat solver
- Parallel make check
- Plugin decision hint queue in the MCSat solver
Many fixes
Yices 2.6.4:
New features:
- solving modulo a model in the MCSAT solver
[21 lines not shown]
pkg_install: fix null pointer dereference
The pkg_add -m option crashes on null pointer dereference if the input has a
slash but then no space.
Patch by riastradh@ in PR pkg/59991.
lapack and derived packages: update to 3.12.1
What’s Changed
Enables Fortran before including CheckFortranFunctionExists in CMakeL… by @weslleyspereira in 948
Fixes for the NAG Fortran compiler by @ACSimon33 inhttps://github.com/Reference-LAPACK/lapack/pull/951[951]
Fixed HAS_ATTRIBUTE_WEAK_SUPPORT flag for CBLAS objects by @ACSimon33 in 950
Fixed memory leak in testing framework by @ACSimon33 in 953
Fixed search phrase for determining the amount of successful tests by @ACSimon33 in 954
handle and document corner cases of lwork in lapack by @dklyuchinskiy in 942
fix some DMD issues by @dklyuchinskiy in 959
Remove executable permissions from source files by @turboencabulator in 970
[92 lines not shown]
textproc/treemd: update to 0.5.7
[0.5.7] - 2026-02-26
Added
Home/End key bindings - Navigate to first/last with Home/End keys (#43)
Works in Normal, Interactive, Help, and FilePicker modes
Also added PageUp/PageDown bindings in Normal mode for consistency
Directory and multi-file support - Open file picker with directory argument (#43)
treemd . opens file picker in current directory
treemd docs/ opens file picker in specified directory
Multiple file arguments supported (e.g., treemd *.md)
Compact tree style - Gapless box-drawing characters for tree visualization (#43)
Now uses ├── instead of ├─ (connected, no gaps)
Config option tree_style: "compact" (default) or "spaced"
Works in both --tree CLI output and query tree output
[56 lines not shown]