The F40 download is two versions out-of-date, and now EOL.

[beedell-roke]

veracrypt.io/en/Downloads.html solely includes /html/body/div[3]/ul[3]/li/ul/li[5]/ul/li[1]: ¹

Fedora 40:

That's two versions behind the most recent – F42 – and F40 is EOL.

Meta

I don't see any reference to the source of the website at veracrypt.io/en/Source%20Code.html, so I'll presume that this is the correct tracker.

Footnotes

1. view-source:https://veracrypt.io/en/Downloads.html#line182:~:text=%3Cul%3E,%3C/ul%3E ↩