lean4: fix alloca warning (during package build, and 'lake build')
The -std=gnu99 didn't help because alloca() was used in a C++ file.
Replace calls to alloca with __builtin_alloca instead, and get rid of
the forced gnu99.
Bump PKGREVISION.
fluidsynth: updated to 2.5.7
2.5.7
Fix a bug where DLS files that contain a PGAL chunk may sound incorrectly
Fix a build issue with MSVC
Fix DLS sample invalidation logic to avoid possible use of uninitialized memory
appstream: updated to 1.1.5
1.1.5
Features:
* sysinfo: Implement display size detection on macOS
Bugfixes:
* qt: Add back wrong const Component::addBundle for ABI compatibility
* qt: Use strndup for C string-list conversion
* pool: Fix bidirectional wildcard search for modalias provides
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.
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.
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]
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
