FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

Move away from deprecated batteries functions.

Open gebner opened this issue 1 year ago • 0 comments

This allows F* to build with OCaml 5.2.0.

Fixes #3048

gebner avatar Aug 29 '24 01:08 gebner