You should be redirected automatically to the target URL: /file/413b39f852cf21b6da4c2f46cd6427f1605fb223/libghc-echo-dev_0.1.3-4%2Bb1_riscv64.deb. If not, click the link.