NetBSD/src tTL2uvWsys/external/bsd/ipf/netinet fil.c

   fil.c: fix typo in a comment
VersionDeltaFile
1.39+3-3sys/external/bsd/ipf/netinet/fil.c
+3-31 files

NetBSD/pkgsrc-wip e615c08hawk-scheme Makefile distinfo, hawk-scheme/patches patch-CMakeLists.txt patch-runtime.c

wip/hawk-scheme: import hawk-0.9 as wip/hawk-scheme

Hawk is a tracing JIT compiler for Scheme.  It includes a bytecode
compiler, runtime, garbage collector, interpreter, trace recorder, and native
code emitters for x86-64 and aarch64.
DeltaFile
+50-0hawk-scheme/patches/patch-CMakeLists.txt
+32-0hawk-scheme/Makefile
+17-0hawk-scheme/patches/patch-runtime.c
+14-0hawk-scheme/patches/patch-jitdump.c
+8-0hawk-scheme/distinfo
+6-0hawk-scheme/PLIST
+127-02 files not shown
+131-08 files

NetBSD/pkgsrc-wip a4efaedhawk-scheme Makefile distinfo, hawk-scheme/patches patch-CMakeLists.txt

wip/hawk-scheme: Fix "hawk --exe" compiler.

The compiler needs clang with the correct library paths.
The executable still needs "paxctl +m", which is not
fixed yet.
DeltaFile
+12-2hawk-scheme/patches/patch-CMakeLists.txt
+9-0hawk-scheme/Makefile
+1-1hawk-scheme/distinfo
+1-0hawk-scheme/PLIST
+23-34 files

NetBSD/pkgsrc-wip 523be46gotosocial distinfo go-modules.mk, gotosocial/files gotosocial.sh

gotosocial: remove, updated in pkgsrc
DeltaFile
+0-1,871gotosocial/distinfo
+0-623gotosocial/go-modules.mk
+0-456gotosocial/PLIST
+0-83gotosocial/Makefile
+0-49gotosocial/files/gotosocial.sh
+0-29gotosocial/files/smf/manifest.xml
+0-3,1114 files not shown
+0-3,14510 files

NetBSD/pkgsrc RFdhe0udoc CHANGES-2026

   doc: Updated www/gotosocial to 0.22.1
VersionDeltaFile
1.4754+2-1doc/CHANGES-2026
+2-11 files

NetBSD/pkgsrc wKeXlgLwww/gotosocial distinfo go-modules.mk

   gotosocial: Update to 0.22.1

   Provided by m33 in wip.

   # Summary
   This is a minor update.
   If you're updating to this version from v0.22.0, it's a very easy
   update with no db migrations.
VersionDeltaFile
1.23+49-49www/gotosocial/distinfo
1.4+14-14www/gotosocial/go-modules.mk
1.64+3-4www/gotosocial/Makefile
+66-673 files

NetBSD/pkgsrc-wip e59e527gotosocial Makefile

gotosocial: reduce diffs to www/gotosocial

also fixes download, since CODEBERG_TAG now has a particular meaning
DeltaFile
+2-3gotosocial/Makefile
+2-31 files

NetBSD/pkgsrc 21QqwH7math/lean4 Makefile

   lean4: needs gnu99 for alloca()
VersionDeltaFile
1.4+4-1math/lean4/Makefile
+4-11 files

NetBSD/pkgsrc qCqdT6bmath/lean4 distinfo, math/lean4/patches patch-src_CMakeLists.txt patch-src_runtime_process.cpp

   lean4: add links to upstream pull request
VersionDeltaFile
1.2+5-5math/lean4/distinfo
1.2+2-1math/lean4/patches/patch-src_CMakeLists.txt
1.2+2-1math/lean4/patches/patch-src_runtime_process.cpp
1.2+2-1math/lean4/patches/patch-stage0_src_CMakeLists.txt
1.2+2-1math/lean4/patches/patch-stage0_src_runtime_process.cpp
+13-95 files

NetBSD/pkgsrc Jbr7HOsmath/cadical3 Makefile distinfo, math/cadical3/patches patch-makefile.in

   cadical3: use upstream suggestion for LDFLAGS handling
VersionDeltaFile
1.2+5-1math/cadical3/Makefile
1.2+1-2math/cadical3/distinfo
1.2+1-1math/cadical3/patches/patch-makefile.in
+7-43 files

NetBSD/pkgsrc ByaaI2Zmath/lean4 Makefile

   lean4: fix typo
VersionDeltaFile
1.3+2-2math/lean4/Makefile
+2-21 files

NetBSD/pkgsrc vklJHwtmath/lean4 Makefile

   lean4: make leantar a full dependency

   ride import
VersionDeltaFile
1.2+2-2math/lean4/Makefile
+2-21 files

NetBSD/pkgsrc-wip a23c839lean4 PLIST Makefile, lean4/patches patch-stage0_src_runtime_process.cpp patch-src_runtime_process.cpp

cadical, leantar, lean4: remove, imported to pkgsrc
DeltaFile
+0-14,625lean4/PLIST
+0-215leantar/distinfo
+0-72leantar/cargo-depends.mk
+0-65lean4/Makefile
+0-34lean4/patches/patch-stage0_src_runtime_process.cpp
+0-34lean4/patches/patch-src_runtime_process.cpp
+0-15,04515 files not shown
+0-15,25221 files

NetBSD/pkgsrc nWnXCe8doc CHANGES-2026

   doc: Added math/lean4 version 4.32.1
VersionDeltaFile
1.4753+2-1doc/CHANGES-2026
+2-11 files

NetBSD/pkgsrc VLSYdZdmath Makefile

   math/Makefile: + lean4
VersionDeltaFile
1.644+2-1math/Makefile
+2-11 files

NetBSD/pkgsrc nN62qu9math/lean4 PLIST Makefile, math/lean4/patches patch-stage0_src_runtime_process.cpp patch-src_runtime_process.cpp

   math/lean4: import lean4-4.32.1

   Lean is a proof assistant and a functional programming language.
   It is based on the calculus of constructions with inductive types.
VersionDeltaFile
1.1+14,625-0math/lean4/PLIST
1.1+65-0math/lean4/Makefile
1.1+34-0math/lean4/patches/patch-stage0_src_runtime_process.cpp
1.1+34-0math/lean4/patches/patch-src_runtime_process.cpp
1.1+32-0math/lean4/patches/patch-src_lake_Lake_Build_Common.lean
1.1+24-0math/lean4/patches/patch-stage0_src_CMakeLists.txt
+14,814-04 files not shown
+14,865-010 files

NetBSD/pkgsrc aqEQQNNdoc CHANGES-2026

   doc: Added math/cadical3 version 3.0.1
VersionDeltaFile
1.4752+2-1doc/CHANGES-2026
+2-11 files

NetBSD/pkgsrc XvyRL5Fmath Makefile

   math/Makefile: + cadical3
VersionDeltaFile
1.643+2-1math/Makefile
+2-11 files

NetBSD/pkgsrc r5okAOFmath/cadical3 Makefile distinfo, math/cadical3/patches patch-makefile.in

   math/cadical3: import cadical-3.0.1

   The goal of the development of CaDiCaL was to obtain a CDCL solver,
   which is easy to understand and change, while at the same time not
   being much slower than other state-of-the-art CDCL solvers.
VersionDeltaFile
1.1+31-0math/cadical3/patches/patch-makefile.in
1.1+28-0math/cadical3/Makefile
1.1+6-0math/cadical3/distinfo
1.1+4-0math/cadical3/PLIST
1.1+3-0math/cadical3/DESCR
+72-05 files

NetBSD/pkgsrc eY5er63math/cadical Makefile DESCR

   cadical: mention that this is v2
VersionDeltaFile
1.3+2-2math/cadical/Makefile
1.2+2-0math/cadical/DESCR
+4-22 files

NetBSD/pkgsrc WDWwhl4math/cadical buildlink3.mk

   cadical: bl3.mk: do not accept cadical 3
VersionDeltaFile
1.2+2-2math/cadical/buildlink3.mk
+2-21 files

NetBSD/pkgsrc zjYjGmVdoc CHANGES-2026

   doc: Added math/leantar version 0.1.20
VersionDeltaFile
1.4751+2-1doc/CHANGES-2026
+2-11 files

NetBSD/pkgsrc RbDHqmamath Makefile

   devel/Makefile: + leantar
VersionDeltaFile
1.642+2-1math/Makefile
+2-11 files

NetBSD/pkgsrc 7Imcia5math/leantar distinfo cargo-depends.mk

   math/leantar: import leantar-0.1.20

   Lean 4 .olean file (de)compressor.
VersionDeltaFile
1.1+215-0math/leantar/distinfo
1.1+72-0math/leantar/cargo-depends.mk
1.1+21-0math/leantar/Makefile
1.1+3-0math/leantar/PLIST
1.1+1-0math/leantar/DESCR
+312-05 files

NetBSD/pkgsrc-wip 420766alean4 Makefile distinfo, lean4/patches patch-src_lake_Lake_Build_Common.lean patch-src_Leanc.lean

lean4: handle rpaths in lean compiler/build system

Define C++ standard used, use CMake variables instead of manual
post-installation rule. Depend on required gmp version.
DeltaFile
+32-0lean4/patches/patch-src_lake_Lake_Build_Common.lean
+18-3lean4/Makefile
+14-0lean4/patches/patch-src_Leanc.lean
+2-0lean4/distinfo
+66-34 files

NetBSD/pkgsrc ixadCEotextproc/lowdown buildlink3.mk

   lowdown: bump ABI depends for shlib change
VersionDeltaFile
1.4+2-2textproc/lowdown/buildlink3.mk
+2-21 files

NetBSD/pkgsrc 1xgTPWGdoc CHANGES-2026

   doc: Updated textproc/lowdown to 3.1.1
VersionDeltaFile
1.4750+2-1doc/CHANGES-2026
+2-11 files

NetBSD/pkgsrc KGKVTIOtextproc/lowdown distinfo Makefile, textproc/lowdown/patches patch-Makefile

   lowdown: update to 3.1.1.

   Remove libtoolization; too much work to keep it updated for no
   users of the library in pkgsrc, and probably won't be accepted by
   upstream.

   Version 3.1.1, 2026-07-19

   Fix for install failure via install_lib_common.

   Allow for CommonMark list-after-paragraph.

   Use newest oconfigure for use on old macOS machines.

   Version 3.1.0, 2026-07-18

   Flesh out how attributes are handled for links, images, and headers.
   Prior to this, only .class and #id were handled, along with some
   per-type values like width. This is now fully generalised, where

    [15 lines not shown]
VersionDeltaFile
1.41+4-5textproc/lowdown/distinfo
1.41+3-5textproc/lowdown/Makefile
1.15+4-2textproc/lowdown/PLIST
1.11+1-1textproc/lowdown/patches/patch-Makefile
+12-134 files

NetBSD/src 968HTQcexternal/gpl3/gdb/dist/gdb/cli cli-style.c

   gdb: Disable emoji in output by default.

   NetBSD users may be more likely than others to be using a physical
   DEC VT420 as their console, or at the very least the standard x86
   BIOS text console while debugging the system. Both of these would
   rather display a garbled mess than an emoji.

   Besides, this is the system debugger, so we want to keep things
   usable in a minimal environment.

   Users can still re-enable emoji output with "set style emoji on"
   if they are using kalacrittyology7 with an utf-8 locale. Or uxterm
   with symbola-ttf installed (monochrome only).

   PR bin/60497 gdb prints garbled gibberish in an attempt to show
   cutesy emoji
VersionDeltaFile
1.2+576-154external/gpl3/gdb/dist/gdb/cli/cli-style.c
+576-1541 files

NetBSD/pkgsrc 89TYwzZdoc CHANGES-2026

   doc: Updated x11/kitty to 0.48.1
VersionDeltaFile
1.4749+2-1doc/CHANGES-2026
+2-11 files