Catalog changes

The last 10 commits to the package catalog, newest first.

Compare any two commits

Enter two commit shas — base is the older commit, target the newer — to see every catalog change between them.

c930e31Update biome to 2.5.15 (#851)committed 2 days ago
Upgraded
biome2.5.14 → 2.5.15
9541425Update helm to 4.3.0 (#852)committed 2 days ago
Upgraded
helm4.2.4 → 4.3.0
74dfa70Update govulncheck to 1.8.0 (#844)committed 2 days ago
Upgraded
govulncheck1.7.0 → 1.8.0
1b5767dAdd verus-latest (0.2026.10.04.426d8b0) + z3 4.16.0 (#840)committed 2 days ago
Added
verus-latest0.2026.10.04.426d8b0
z3-4.16.04.16.0
391f9bbtlaplus: add the TLA+ tools 1.7.4 (TLC, SANY, PlusCal) from source (#839)committed 2 days ago
Added
tlaplus1.7.4
63c0c07Add Kani: kissat 4.0.4, cbmc 6.11.0, kani 0.68.0 (#838)committed 2 days ago
Added
cbmc6.11.0
kani0.68.0
kissat4.0.4
f4decf6Follow moved/renamed GitHub repos: podman, skopeo, libkrun, libkrunfw, biff (#847)committed 2 days ago
No catalog changes in this commit.
3c58c5eUpdate openssh to 10.6p1 (#850)committed 2 days ago
Upgraded
openssh10.5p1 → 10.6p1
Advisory changes
openssh1 → 0 active
780670fAdd cvc5 1.4.2 SMT solver (+ symfpu, py-pyparsing) (#837)committed 2 days ago
Added
cvc51.4.2
py-pyparsing3.3.3
symfpu1.2.0
a9c39ecAdd --version smoke tests to 27 untested packages (#820)committed 2 days ago
Baseline — oldest commit in this window, nothing earlier to diff against.