Opened 14 months ago
Last modified 14 months ago
#68120 assigned update
fstar: Update to 2023.09.03
| Reported by: | ryandesign (Ryan Carsten Schmidt) | Owned by: | landonf (Landon Fuller) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | ||
| Port: | fstar |
Description
fstar 2023.09.03 was released today:
https://github.com/FStarLang/FStar/releases/tag/v2023.09.03
Maybe the port could be updated to this version.
Note: See
TracTickets for help on using
tickets.
This may fix the problems I reported in #67972.