flint-3.0.0-rc1

22 views

Skip to first unread message

unread,

Oct 13, 2023, 5:48:22 PM10/13/23

to flint-devel

Hi all,

Following this week's workshop in Kaiserslautern (a longer writeup about that later), we have tagged a release candidate version of flint-3.0.0.

Please test and report any remaining issues!

Fredrik

Reply all

Reply to author

Forward

0 new messages