BSD Commit Log Search

   fil.c: fix typo in a comment

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.

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.

gotosocial: remove, updated in pkgsrc

   doc: Updated www/gotosocial to 0.22.1

   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.

gotosocial: reduce diffs to www/gotosocial

also fixes download, since CODEBERG_TAG now has a particular meaning

   lean4: needs gnu99 for alloca()

   lean4: add links to upstream pull request

   cadical3: use upstream suggestion for LDFLAGS handling

   lean4: fix typo

   lean4: make leantar a full dependency

   ride import

cadical, leantar, lean4: remove, imported to pkgsrc

   doc: Added math/lean4 version 4.32.1

   math/Makefile: + lean4

   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.

   doc: Added math/cadical3 version 3.0.1

   math/Makefile: + cadical3

   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.

   cadical: mention that this is v2

   cadical: bl3.mk: do not accept cadical 3

   doc: Added math/leantar version 0.1.20

   devel/Makefile: + leantar

   math/leantar: import leantar-0.1.20

   Lean 4 .olean file (de)compressor.

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.

   lowdown: bump ABI depends for shlib change

   doc: Updated textproc/lowdown to 3.1.1

   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]

   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

   doc: Updated x11/kitty to 0.48.1