search

flintlib / flint

FLINT (Fast Library for Number Theory)
http://www.flintlib.org
GNU Lesser General Public License v3.0
401 stars 235 forks source link

3.1.3 isn't in the Downlioads section of the website: https://flintlib.org/downloads.html #2022

Open yurivict opened 1 week ago

edgarcosta commented 1 week ago

@fredrik-johansson would it make sense to also add a link to https://github.com/flintlib/flint/releases?

albinahlback commented 1 week ago

@fredrik-johansson would it make sense to also add a link to https://github.com/flintlib/flint/releases?

I think so. But perhaps we should add it to the CI as well, i.e. when we do a release? We have everything set up in .github/CI/docs.yml to push it to the website, so we just have to do something similar to the release. We do, however, need to rebuild the website when we do this.