Files named idris-1.3.4-562-x86

manjaro-archive.tuxboy.eu · idris-1.3.4-562-x86_64.pkg.tar.zst

United States · Interserver, Inc

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-07 06:41:55 +0000 UTC

server.4zellen.se · idris-1.3.4-562-x86_64.pkg.tar.zst

/archmirror/pool/packages/

Sweden · Bredband2 AB

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/zstd
9.06MB
2026-09-06 14:58:25 +0000 UTC

server.4zellen.se · idris-1.3.4-562-x86_64.pkg.tar.zst

/archmirror/extra/os/x86_64/

Sweden · Bredband2 AB

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/zstd
9.06MB
2026-09-06 14:58:25 +0000 UTC

mirror.danielnaaman.com · idris-1.3.4-562-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

Germany · Lior Avraham Slakman

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

mirror.moson.org · idris-1.3.4-562-x86_64.pkg.tar.zst

/arch/extra/os/x86_64/

Germany · netcup GmbH

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/zstd
9.06MB
2026-09-06 14:58:25 +0000 UTC

mirror.moson.org · idris-1.3.4-562-x86_64.pkg.tar.zst

/arch/extra/os/x86_64/

Germany · netcup GmbH

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/zstd
9.06MB
2026-09-06 14:58:25 +0000 UTC

mirror.moson.org · idris-1.3.4-562-x86_64.pkg.tar.zst

/arch/pool/packages/

Germany · netcup GmbH

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/zstd
9.06MB
2026-09-06 14:58:25 +0000 UTC

wiki.archlinux.fr · idris-1.3.4-562-x86_64.pkg.tar.zst

/pool/packages/

France · OVH SAS

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

wiki.archlinux.fr · idris-1.3.4-562-x86_64.pkg.tar.zst

/extra/os/x86_64/

France · OVH SAS

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

archlinux.xttp.de · idris-1.3.4-562-x86_64.pkg.tar.zst

/pool/packages/

Germany · netcup GmbH

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

archlinux.xttp.de · idris-1.3.4-562-x86_64.pkg.tar.zst

/pool/packages/

Germany · netcup GmbH

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

archlinux.xttp.de · idris-1.3.4-562-x86_64.pkg.tar.zst

/extra/os/x86_64/

Germany · netcup GmbH

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

archlinux.xttp.de · idris-1.3.4-562-x86_64.pkg.tar.zst

/extra/os/x86_64/

Germany · netcup GmbH

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

de.mirror.shibe.party · idris-1.3.4-562-x86_64.pkg.tar.zst

/archlinux/pool/packages/

Germany · netcup GmbH

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

de.mirror.shibe.party · idris-1.3.4-562-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

Germany · netcup GmbH

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

mirrors.yetone.name · idris-1.3.4-562-x86_64.pkg.tar.zst

/archlinux/pool/packages/

Canada · Rica Web Services

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

mirrors.yetone.name · idris-1.3.4-562-x86_64.pkg.tar.zst

/archlinux/pool/packages/

Canada · Rica Web Services

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

mirrors.yetone.name · idris-1.3.4-562-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

Canada · Rica Web Services

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

mirrors.saswata.cc · idris-1.3.4-562-x86_64.pkg.tar.zst

/archlinux/pool/packages/

India · TRIPLE PLAY BROADBAND PRIVATE LIMITED

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC

mirrors.saswata.cc · idris-1.3.4-562-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

India · TRIPLE PLAY BROADBAND PRIVATE LIMITED

SHA1: 992491f8a50e6eadaa216841abfe6bce30bd83bd
SHA256: 34663967a3db1efbcd0bb59e063fd25995ef87def8e067fa2d3b1efc278cd0c5
application/octet-stream
9.06MB
2026-09-06 14:58:25 +0000 UTC