You should be redirected automatically to target URL: https://repo.ito.gov.ir/fedora/releases/37/Everything/x86_64/os/Packages/i/idris-static-1.3.4-5.fc37.x86_64.rpm. If not click the link.