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.
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.
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: 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
kitty: update to 0.48.1
- Wayland: fix a regression in the previous release that broke window
sizing for on Hyprland/Sway with fractional scales and an initial
specified size
- Wayland: fix a regression in 0.47.3 that broke dragging on the Niri
compositor
- Wayland: get initial window size in cells working in most cases on
Hyprland/Sway with fractional scaling by using the fractional scale
of the primary monitor
- Wayland: fix using remote control to resize OS windows on some
tiling compositors leading to broken rendering
- macOS: fix edge=none panel height shrinking when margin_top is
non-zero in the panel/quick-access-terminal kittens
kew: update to 4.2.7
Packaging updates:
- added support for artists.db
- click on the artist name and it'll open that artist's website in
whatever browser xdg-open(1) opens.
Upstream updates:
Enhancements:
- Added mini-controls. The idea here is that you will be able to do
all the basic operations and will be able to sit a whole session
of listening to music, without ever using a keyboard.
- Added a new visualizer mode with a two color gradient.
- The visualizer and footer are now under the cover in track view and
don't move around depending on metadata position.
- Removed mp4 support, since it's not fully supported. Fragmented
mp4s that are used in streaming are not supported.
[13 lines not shown]
