You should be redirected automatically to the target URL: /file/46bd47fb658426ca15bfa73d20f6619a81a1bab5/gnat-mingw-w64-x86-64-win32_12.2.0-10%2B25_riscv64.deb. If not, click the link.