Code

hax-types: version for serde-brief#1190

Code

Merged

W95Psp merged 1 commit intomaincryspen/hax:mainfrom franziskus/release-cleanupcryspen/hax:franziskus/release-cleanupCopy head branch name to clipboardDec 17, 2024

+1-1

Commits

Commits on Dec 17, 2024

• hax-types: version for serde-brief

  franziskuskiefer

  committed
  27ae160

  Copy full SHA for 27ae160