Files named idris-1.3.4-561-x86

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

United States · Interserver, Inc

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 14:18:54 +0000 UTC

elmirror.cl · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/pool/packages/

Chile · GRUPO ZGH SPA

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

elmirror.cl · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/pool/packages/

Chile · GRUPO ZGH SPA

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

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

/manjaro/unstable/extra/x86_64/

Canada · Rica Web Services

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 14:18:54 +0000 UTC

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

/manjaro/testing/extra/x86_64/

Canada · Rica Web Services

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 14:18:54 +0000 UTC

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

/manjaro/stable/extra/x86_64/

Canada · Rica Web Services

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 14:18:54 +0000 UTC

mirror.safiabidi.com · idris-1.3.4-561-x86_64.pkg.tar.zst

/extra/os/x86_64/

Tunisia · IDDQD-AS

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

mirror.t-home.mk · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/pool/packages/

North Macedonia · Makedonski Telekom AD-Skopje

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

mirror.t-home.mk · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/pool/packages/

North Macedonia · Makedonski Telekom AD-Skopje

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

mirror.t-home.mk · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

North Macedonia · Makedonski Telekom AD-Skopje

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

mirror.t-home.mk · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

North Macedonia · Makedonski Telekom AD-Skopje

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

mirrors.arn-fai.net · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/pool/packages/

France · Association Alsace Reseau Neutre

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

mirrors.arn-fai.net · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/pool/packages/

France · Association Alsace Reseau Neutre

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

mirrors.arn-fai.net · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

France · Association Alsace Reseau Neutre

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

mirrors.arn-fai.net · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

France · Association Alsace Reseau Neutre

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

sgp-mirror.onidel.com · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

Singapore · Onidel Pty Ltd

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/zstd
9.07MB
2026-09-01 12:57:38 +0000 UTC

sgp-mirror.onidel.com · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/pool/packages/

Singapore · Onidel Pty Ltd

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/zstd
9.07MB
2026-09-01 12:57:38 +0000 UTC

ftp.ulak.net.tr · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/pool/packages/

Türkiye · National Academic Network and Information Center

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

ftp.linux.org.tr · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/pool/packages/

Türkiye · National Academic Network and Information Center

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC

ftp.linux.org.tr · idris-1.3.4-561-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

Türkiye · National Academic Network and Information Center

SHA1: 00de5d444ca79f589f6c0ceaaf9d33f922084601
SHA256: 665a37e66dee02d7990d1032fdaadda0c74de9f82c42e8b686554397a2c69bf0
application/octet-stream
9.07MB
2026-09-01 12:57:38 +0000 UTC