download for Trilinos 12.12.1 is broken?
Created by: boegel
When I try to download Trilinos 12.12.1 via https://trilinos.org/download/, I end up with a broken link.
I considered downloading from https://github.com/trilinos/Trilinos/releases instead, but the source tarball tagged there for 12.12.1 seems to be something entirely different (e.g.
CTrilinos is not in there).
Is the broken download via the website a known problem?
Is there another way to download the same
trilinos-12.12.1-Source.tar.gz that was available via https://trilinos.org/download?