libva: updated to 2.24.0
2.24.0 - 02.Jul.2026
* va: Add VA_PICTURE_H264_NON_EXISTING flag
* va: use secure_getenv instead of getenv in va_x11.c
* doc: fix libva av1 link for doxygen
* trace: dump input/output data in va_TraceProtectedSessionExecute
* trace: Add ProtectedSession Related Log in Trace
Initial import of math/cvc5 version 1.3.4.
An efficient open-source automatic theorem prover for Satisfiability
Modulo Theories (SMT) problems. It can be used to prove the
satisfiability (or, dually, the validity) of first-order formulas
with respect to (combinations of) a variety of useful background
theories.
Initial import of math/libpoly version 0.2.1.
SRI LibPoly is a C library for manipulating polynomials. The target
applications are symbolic reasoning engines, such as SMT solvers,
that need to reason about polynomial constraints. It is research
software under development, so the features and the API might change
rapidly.
Initial import of math/symfpu version 1.2.0.
SymFPU is an implementation of the SMT-LIB theory of (IEEE-754)
floating-point in terms of bit-vector operations. It is templated
in terms of the bit-vectors, propositions, floating-point formats
and rounding mode types used.
joker: update to 1.9.0
## General improvements
- Updated dependencies.
## Linter improvements
- Added support for union types in return values.
- Added linter return tags for core functions and expanded type
tagging coverage.
## Fixes
- Fixed type inference for stubs.
- Fixed linter deref return types for volatile and other core
functions.
kew: update to 4.1.6
4.1.0:
- Added custom layouts.
- Added AutoResume (persists playback state; enabled by default).
- Added experimental crossfade with new commands/settings.
- Added/improved visualizer modes (including Party Mode and others).
- Added new theme pack and improved themes/color behavior.
- Added scrolling lyrics behavior and more UX improvements.
- Included many bug fixes and internal refactors.
4.1.1:
- Fixed an issue affecting Homebrew tests.
4.1.2:
- Fixed an installation issue on FreeBSD.
4.1.3:
- Changed Discord integration to opt-in (off by default).
[13 lines not shown]
pinentry: add a CHECK_PORTABILITY_SKIP
build-aux/config.rpath:286:12: double brackets
if [[ $libdir = '/usr/lib' ]] || [[ $libdir = '/usr/lib64' ]] ;
This file comes from gnulib and was perhaps generated with an
old version? gnulib master does not have the double brackets.
This code is under a case statement for GNU platforms so don't
bother patching it in pkgsrc.