flint icon indicating copy to clipboard operation
flint copied to clipboard

3.2.2 is missing from the downloads page

Open saraedum opened this issue 8 months ago • 2 comments

The page https://flintlib.org/downloads.html does not mention 3.2.2. It's only on the GitHub releases.

saraedum avatar Apr 29 '25 22:04 saraedum

Yeah, Github was acting up at the time of the release. I'll make a manual upload in a couple of days.

albinahlback avatar Apr 29 '25 22:04 albinahlback

It is also missing from the changes page: https://flintlib.org/doc/history.html

AndreasEnge avatar May 12 '25 15:05 AndreasEnge

Just a quick ping :-)

AndreasEnge avatar Jun 06 '25 13:06 AndreasEnge

Fixing this now!

albinahlback avatar Jun 11 '25 20:06 albinahlback

It is also missing from the changes page: https://flintlib.org/doc/history.html

This should be fixed as of #2333.

albinahlback avatar Jun 11 '25 20:06 albinahlback

This should now be fixed. I did not upload any documentation, so you'd have to build that on your own.

albinahlback avatar Jun 11 '25 20:06 albinahlback