Dealii: Link to Mac OS "dealii-9.0.0.dmg" and PGP file (mirror) on web page fails (github works).

[dpeschka]

Current target:

https://dealii.kyomu.43-1.org/downloads/dealii-9.0.0.dmg
https://dealii.kyomu.43-1.org/downloads/dealii-9.0.0.dmg.asc

Probably should be

https://dealii.kyomu.43-1.org/downloads/darwin-images/dealii-9.0.0.dmg
https://dealii.kyomu.43-1.org/downloads/darwin-images/dealii-9.0.0.dmg.asc

[bangerth]

Just to clarify, are you saying that the current links are broken?

[drwells]

Yup. The kyomu links at https://www.dealii.org/download.html for the macOS package lead to pages with, e.g., The requested URL /downloads/dealii-9.0.0.dmg was not found on this server.

[tamiko]

Yup. I went ahead and fixed the links on the homepage.