Commits

Commits on Aug 17, 2026

Merge commit 'refs/pull/610/head' of https://github.com/gominimal/pkgs into unstable
unstable-aggregator[bot]
committed
c6eb91f
Merge commit 'refs/pull/609/head' of https://github.com/gominimal/pkgs into unstable
unstable-aggregator[bot]
committed
c3cd23f
Merge commit 'refs/pull/606/head' of https://github.com/gominimal/pkgs into unstable
unstable-aggregator[bot]
committed
6c41bfd
Merge commit 'refs/pull/604/head' of https://github.com/gominimal/pkgs into unstable
unstable-aggregator[bot]
committed
e05e9d0
Merge commit 'refs/pull/510/head' of https://github.com/gominimal/pkgs into unstable
unstable-aggregator[bot]
committed
65fc790
Update dua to 2.42.1
gominimal-pkgmgr-mgr[bot]
committed
eac7dc9

Commits on Aug 14, 2026

tamarin-prover: it is INTERMITTENT, not broken — correcting my own framing

bryan-minimal
and
claude
committed
96c5e99
ci: re-run the build unchanged — determinism probe for the amd64 tamarin failure
bryan-minimal
committed
2ade01a
tamarin-prover: use the packaged alex/happy instead of cabal's own (amd64)

bryan-minimal
and
claude
committed
0d2306c
Add maki 0.4.7 (#608)
0chroma
authored
fbf7663
Add pi 0.84.2 (#607)
0chroma
authored
6ff8592
Update ruff to 0.16.3
gominimal-pkgmgr-mgr[bot]
committed
6f02468
Update pulumi to 3.257.0
gominimal-pkgmgr-mgr[bot]
committed
6b7ce58
Update govulncheck to 1.7.0
gominimal-pkgmgr-mgr[bot]
committed
4da3ca5
Update uv to 0.12.4
gominimal-pkgmgr-mgr[bot]
committed
aef0ff0
Update bottom to 0.14.8
gominimal-pkgmgr-mgr[bot]
committed
0964f29
Update nss to 3.126.1
gominimal-pkgmgr-mgr[bot]
committed
607dece
Update harfbuzz to 14.3.1
gominimal-pkgmgr-mgr[bot]
committed
21c0928
Update go to 1.26.6
gominimal-pkgmgr-mgr[bot]
committed
71a3b47
lean: ship the module roots — `lean` cannot compile anything without them (#605)

bryan-minimal
and
claude
authored
1cb30c6

Commits on Aug 13, 2026

Commits on Aug 12, 2026

Update stacked: 8 packages (#601)

gominimal-pkgmgr-mgr[bot]
and
twitchyliquid64
authored
62a71f8
Add biome 2.5.8 (#600)

authored
53c8fa7
Update gcloud to 580.0.0 (#599)
gominimal-pkgmgr-mgr[bot]
authored
6196668

Commits on Aug 11, 2026

Update stacked: 2 packages (#598)
gominimal-pkgmgr-mgr[bot]
authored
fa95453
Update stacked: 7 packages (#597)
gominimal-pkgmgr-mgr[bot]
authored
3b996e6
Update llama.cpp to b10357 (#596)
gominimal-pkgmgr-mgr[bot]
authored
6377f9c
Update stacked: 4 packages (#595)
gominimal-pkgmgr-mgr[bot]
authored
c6b5542
Update stacked: 3 packages (#594)
gominimal-pkgmgr-mgr[bot]
authored
124d305
Update stacked: 2 packages (#593)
gominimal-pkgmgr-mgr[bot]
authored
82f682e

Commits on Aug 10, 2026