HardenedBSD/ports fc0bc88 — devel/cargo-deny distinfo Makefile, math/lean4 pkg-plist Makefile

by HardenedBSD Sync Services on ⎇
Merge branch 'freebsd/main' into hardenedbsd/main
DeltaFile
+1,525-288math/lean4/pkg-plist
+1,139-0multimedia/vlc/files/vlc-3.0.21-fedora_ffmpeg7-1.patch
+365-381devel/cargo-deny/distinfo
+393-0multimedia/vlc/files/vlc-3.0.21-ffmpeg8-1.patch
+183-192devel/cargo-deny/Makefile
+15-4math/lean4/Makefile
+3,620-86543 files not shown
+3,770-96649 files

HardenedBSD/ports 744fe5e — devel/elfutils Makefile

by Shawn Webb on ⎇
HBSD: Disable HARDCFLAGS for devel/elfutils

Signed-off-by:  Shawn Webb <shawn.webb at hardenedbsd.org>
DeltaFile
+1-1devel/elfutils/Makefile
+1-11 files

HardenedBSD/ports 1d2e67f — devel/cargo-deny distinfo Makefile

by Yuri Victorovich (yuri) on ⎇
devel/cargo-deny: update 0.18.5 → 0.18.6
DeltaFile
+365-381devel/cargo-deny/distinfo
+183-192devel/cargo-deny/Makefile
+548-5732 files

HardenedBSD/ports e6e1219 — misc/claude-code distinfo Makefile

by Yuri Victorovich (yuri) on ⎇
misc/claude-code: update 2.0.42 → 2.0.50
DeltaFile
+3-3misc/claude-code/distinfo
+1-1misc/claude-code/Makefile
+4-42 files

HardenedBSD/ports 2b14653 — net/fb303 distinfo Makefile

by Yuri Victorovich (yuri) on ⎇
net/fb303: update 2025.11.17.00 → 2025.11.24.00
DeltaFile
+3-3net/fb303/distinfo
+1-1net/fb303/Makefile
+4-42 files

HardenedBSD/ports d7692d2 — net/mvfst pkg-plist distinfo

by Yuri Victorovich (yuri) on ⎇
net/mvfst: update 2025.11.17.00 → 2025.11.24.00
DeltaFile
+0-12net/mvfst/pkg-plist
+3-3net/mvfst/distinfo
+1-1net/mvfst/Makefile
+4-163 files

HardenedBSD/ports 8938892 — www/proxygen distinfo Makefile

by Yuri Victorovich (yuri) on ⎇
www/proxygen: update 2025.11.17.00 → 2025.11.24.00
DeltaFile
+3-3www/proxygen/distinfo
+1-1www/proxygen/Makefile
+4-42 files

HardenedBSD/ports 77ed2c4 — devel/folly distinfo Makefile

by Yuri Victorovich (yuri) on ⎇
devel/folly: update 2025.11.17.00 → 2025.11.24.00
DeltaFile
+3-3devel/folly/distinfo
+1-1devel/folly/Makefile
+1-0devel/folly/pkg-plist
+5-43 files

HardenedBSD/ports ecfba18 — math/lean4 pkg-plist Makefile, math/lean4/files patch-src_CMakeLists.txt patch-stage0_src_CMakeLists.txt

by Yuri Victorovich (yuri) on ⎇
math/lean4: update 4.23.0 → 4.25.1
DeltaFile
+1,525-288math/lean4/pkg-plist
+15-4math/lean4/Makefile
+14-3math/lean4/files/patch-src_CMakeLists.txt
+14-3math/lean4/files/patch-stage0_src_CMakeLists.txt
+11-0math/lean4/files/patch-stage0_src_shell_CMakeLists.txt
+11-0math/lean4/files/patch-src_shell_CMakeLists.txt
+1,590-2983 files not shown
+1,603-3099 files

HardenedBSD/ports a046ef6 — devel/fatal distinfo Makefile

by Yuri Victorovich (yuri) on ⎇
devel/fatal: update 2025.11.17.00 → 2025.11.24.00
DeltaFile
+3-3devel/fatal/distinfo
+1-1devel/fatal/Makefile
+4-42 files

HardenedBSD/ports 0ec94f8 — devel/fbthrift distinfo pkg-plist

by Yuri Victorovich (yuri) on ⎇
devel/fbthrift: update 2025.11.17.00 → 2025.11.24.00
DeltaFile
+3-3devel/fbthrift/distinfo
+6-0devel/fbthrift/pkg-plist
+1-1devel/fbthrift/Makefile
+10-43 files

HardenedBSD/ports ea455d5 — net/wangle distinfo Makefile

by Yuri Victorovich (yuri) on ⎇
net/wangle: update 2025.11.17.00 → 2025.11.24.00
DeltaFile
+3-3net/wangle/distinfo
+1-1net/wangle/Makefile
+4-42 files

HardenedBSD/ports 8895794 — security/fizz distinfo Makefile

by Yuri Victorovich (yuri) on ⎇
security/fizz: update 2025.11.17.00 → 2025.11.24.00
DeltaFile
+3-3security/fizz/distinfo
+1-1security/fizz/Makefile
+4-42 files

HardenedBSD/ports 69c8a95 — devel/gitleaks distinfo Makefile

by Yuri Victorovich (yuri) on ⎇
devel/gitleaks: update 8.29.0 → 8.29.1
DeltaFile
+7-7devel/gitleaks/distinfo
+2-2devel/gitleaks/Makefile
+9-92 files

HardenedBSD/ports 603c652 — multimedia/smpeg/files patch-plaympeg.c

by Shawn Webb on ⎇
HBSD: Fix HARDCFLAGS for multimedia/smpeg

Signed-off-by:  Shawn Webb <shawn.webb at hardenedbsd.org>
DeltaFile
+11-0multimedia/smpeg/files/patch-plaympeg.c
+11-01 files

HardenedBSD/ports c3eb8b8 — databases/cego distinfo Makefile, devel/lfcbase distinfo Makefile

by Björn Lemke via Kurt Jaeger (pi) on ⎇
devel/lfcbase: 1.22.3 -> 1.22.4, databases/cego: 2.52.43 -> 2.52.44

- Warning elimination for G++ based compiles
DeltaFile
+3-3databases/cego/distinfo
+3-3devel/lfcbase/distinfo
+1-1devel/lfcbase/Makefile
+1-1databases/cego/Makefile
+8-84 files

HardenedBSD/ports 2353e6c — multimedia/vlc Makefile, multimedia/vlc/files vlc-3.0.21-fedora_ffmpeg7-1.patch vlc-3.0.21-ffmpeg8-1.patch

by Baptiste Daroussin (bapt) on ⎇
multimedia/vlc: fix build with ffmpeg8

Incorporate patches to fix build with ffmpeg 7 and 8

PR:             289056
Obtained from:  Linux From Scatch
DeltaFile
+1,139-0multimedia/vlc/files/vlc-3.0.21-fedora_ffmpeg7-1.patch
+393-0multimedia/vlc/files/vlc-3.0.21-ffmpeg8-1.patch
+3-0multimedia/vlc/Makefile
+1,535-03 files

HardenedBSD/ports 2da281c — security/R-cran-digest distinfo Makefile

by Zsolt Udvari (uzsolt) on ⎇
security/R-cran-digest: Update to 0.6.39

Change WWW to canonical form.

Changelog: https://cran.r-project.org/web/packages/digest/ChangeLog
DeltaFile
+3-3security/R-cran-digest/distinfo
+2-2security/R-cran-digest/Makefile
+5-52 files

HardenedBSD/ports b609de2 — lang/gcc16-devel Makefile

by Shawn Webb on ⎇
HBSD: Disable HardenedBSD features for lang/gcc16-devel

Signed-off-by:  Shawn Webb <shawn.webb at hardenedbsd.org>
DeltaFile
+2-0lang/gcc16-devel/Makefile
+2-01 files

HardenedBSD/ports 6645dbc — lang/gcc15 Makefile

by Shawn Webb on ⎇
HBSD: Disable HardenedBSD features for lang/gcc15

Signed-off-by:  Shawn Webb <shawn.webb at hardenedbsd.org>
DeltaFile
+2-0lang/gcc15/Makefile
+2-01 files

HardenedBSD/ports fad0a32 — lang/gcc14 Makefile

by Shawn Webb on ⎇
HBSD: Disable HardenedBSD features for lang/gcc14

Signed-off-by:  Shawn Webb <shawn.webb at hardenedbsd.org>
DeltaFile
+2-0lang/gcc14/Makefile
+2-01 files

HardenedBSD/ports 045c4df — lang/gcc12 Makefile

by Shawn Webb on ⎇
HBSD: Disable HARDCFLAGS for lang/gcc12

Signed-off-by:  Shawn Webb <shawn.webb at hardenedbsd.org>
DeltaFile
+1-1lang/gcc12/Makefile
+1-11 files

HardenedBSD/ports 701ffe1 — multimedia/webcamd/files patch-contrib_v4l2loopback_v4l2loopback.c

by Shawn Webb on ⎇
HBSD: Fix HARDCFLAGS for multimedia/webcamd

Signed-off-by:  Shawn Webb <shawn.webb at hardenedbsd.org>
DeltaFile
+20-0multimedia/webcamd/files/patch-contrib_v4l2loopback_v4l2loopback.c
+20-01 files

HardenedBSD/ports 8983f7c — devel/ivykis pkg-plist, devel/ivykis/files patch-libivykis.posix.ver

by Shawn Webb on ⎇
HBSD: Fix the devel/ivykis port

The pkg-plist file was incorrect for HardenedBSD. I'm unsure why. So in
this commit, I've regenerated the pkg-plist file on a HardenedBSD
16-CURRENT/amd64 (src commit: 6d0ee2014c9e9742963bea14cca47925e11151f0.)

Signed-off-by:  Shawn Webb <shawn.webb at hardenedbsd.org>
DeltaFile
+0-15devel/ivykis/files/patch-libivykis.posix.ver
+9-3devel/ivykis/pkg-plist
+9-182 files

HardenedBSD/ports 459aa00 — x11-wm/bspwm-devel distinfo

by Joel Bodenmann (jbo) on ⎇
x11-wm/bspwm-devel: Fix distinfo

Fixes: 05babdf5f63b5bddeb945cddc54f6af3ef3d2216
DeltaFile
+3-3x11-wm/bspwm-devel/distinfo
+3-31 files

HardenedBSD/ports b38ce0a — print/plutobook distinfo Makefile

by Joel Bodenmann (jbo) on ⎇
print/plutobook: Update to 0.11.1

Changelog: https://github.com/plutoprint/plutobook/releases/tag/v0.11.1
DeltaFile
+3-3print/plutobook/distinfo
+1-1print/plutobook/Makefile
+4-42 files

HardenedBSD/ports c7cdc99 — net-mgmt/victoria-metrics pkg-plist distinfo

by Alexey Dokuchaev (danfe) on ⎇
net-mgmt/victoria-metrics: update VictoriaMetrics to version 1.130.0

Reported by:    portscout
DeltaFile
+7-2net-mgmt/victoria-metrics/pkg-plist
+3-3net-mgmt/victoria-metrics/distinfo
+2-2net-mgmt/victoria-metrics/Makefile
+12-73 files

HardenedBSD/ports 4106567 — databases/couchdb3 pkg-plist, devel/uv distinfo

by HardenedBSD Sync Services on ⎇
Merge branch 'freebsd/main' into hardenedbsd/main
DeltaFile
+151-143www/py-granian/distinfo
+107-42databases/couchdb3/pkg-plist
+75-71www/py-granian/Makefile.crates
+47-29shells/starship/distinfo
+58-0sysutils/mods/Makefile
+41-17devel/uv/distinfo
+479-30259 files not shown
+702-50365 files

HardenedBSD/ports 6204300 — databases/couchdb3 pkg-plist distinfo

by Dave Cottlehuber (dch) on ⎇
databases/couchdb3: update to 3.5.1

- https://blog.couchdb.org/2025/11/11/3-5-1/
- https://docs.couchdb.org/en/stable/whatsnew/3.5.html
DeltaFile
+107-42databases/couchdb3/pkg-plist
+3-3databases/couchdb3/distinfo
+1-2databases/couchdb3/Makefile
+111-473 files

HardenedBSD/ports 408be98 — sysutils/mods Makefile distinfo

by Mark Phillips via Koichiro Iwao (meta) on ⎇
sysutils/mods: New port: AI for the command line, built for pipelines

PR:             291155
DeltaFile
+58-0sysutils/mods/Makefile
+5-0sysutils/mods/distinfo
+3-0sysutils/mods/pkg-descr
+66-03 files