dnscontrol: Update to 4.44.1
Release v4.44.1 highlights:
NAMECHEAP: Now supports SRV records, thanks to @willpower232!
"dnscontrol init" now supports NS1, thanks to @costasd!
Many performance optimizations in the CICD pipeline.
miniflux: Update to 2.3.3
New features
Feed and entry language detection
Miniflux now reads the language declared by feeds and entries and stores it on both feeds and entries.
Supported sources are the RSS <language> and <dc:language> elements, xml:lang on Atom 1.0 and 0.3 documents, dc:language in RDF/RSS 1.0 feeds, and the language field of JSON Feed.
Entries without their own language now inherit the language declared by the feed.
Article titles and content are rendered with a matching lang attribute, which improves screen reader pronunciation, hyphenation, and browser translation prompts.
The language field is exposed through the API and the Go client for both feeds and entries.
Other additions
Feed discovery now finds the feeds offered by GitHub pages.
TLS certificates are reloaded when the process receives SIGHUP, so renewed certificates can be picked up without a restart.
The browser favicon is now served as SVG for a sharper icon on high-density displays.
Compressed responses are negotiated with a much more standard-compliant Accept-Encoding parser, including quality values and wildcards.
Performance improvements
Long entry and feed lists render noticeably faster: off-screen rows no longer cost layout and paint work on initial render.
Reduced memory allocations when stripping and truncating HTML, roughly halving the time spent on tag-heavy content.
[36 lines not shown]
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.
