Code

prims: bump checked file version#3389

Code

Merged

mtzguido merged 1 commit intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:bump_checkedmtzguido/FStar:bump_checkedCopy head branch name to clipboardAug 20, 2024

+1-1

Commits

Commits on Aug 20, 2024

• prims: bump checked file version

  Show description for d92125f
  mtzguido

  committed
  d92125f

  Copy full SHA for d92125f