-
ca.mirror.cx · idris-1.3.4-569-x86_64.pkg.tar.zst
Canada · Rica Web ServicesSHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 application/octet-stream 9.06MB
2026-09-26 01:38:56 +0000 UTC
-
ca.mirror.cx · idris-1.3.4-569-x86_64.pkg.tar.zst
Canada · Rica Web ServicesSHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 application/octet-stream 9.06MB
2026-09-26 01:38:56 +0000 UTC
-
ftp.sjtu.edu.cn · idris-1.3.4-569-x86_64.pkg.tar.zst
China · China Education and Research Network CenterSHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 application/octet-stream 9.06MB
2026-09-26 01:38:56 +0000 UTC
-
ftp.sjtu.edu.cn · idris-1.3.4-569-x86_64.pkg.tar.zst
China · China Education and Research Network CenterSHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 application/octet-stream 9.06MB
2026-09-26 01:38:56 +0000 UTC
-
articles.richard-neumann.de · idris-1.3.4-569-x86_64.pkg.tar.zst
Germany · Hetzner Online GmbHSHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 application/zstd 9.06MB
2026-09-26 01:38:56 +0000 UTC
-
SHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 text/plain 9.06MB
2026-09-26 01:38:56 +0000 UTC
-
articles.richard-neumann.de · idris-1.3.4-569-x86_64.pkg.tar.zst
Germany · Hetzner Online GmbHSHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 application/zstd 9.06MB
2026-09-26 01:38:56 +0000 UTC
-
mirror.igloo.to · idris-1.3.4-569-x86_64.pkg.tar.zst
United States · June SlaterSHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 application/octet-stream 9.06MB
2026-09-26 01:38:56 +0000 UTC
-
mirror.igloo.to · idris-1.3.4-569-x86_64.pkg.tar.zst
United States · June SlaterSHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 application/octet-stream 9.06MB
2026-09-26 01:38:56 +0000 UTC
-
mirror.igloo.to · idris-1.3.4-569-x86_64.pkg.tar.zst
United States · June SlaterSHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 application/octet-stream 9.06MB
2026-09-26 01:38:56 +0000 UTC
-
mirror.igloo.to · idris-1.3.4-569-x86_64.pkg.tar.zst
United States · June SlaterSHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 application/octet-stream 9.06MB
2026-09-26 01:38:56 +0000 UTC
-
mirror.igloo.to · idris-1.3.4-569-x86_64.pkg.tar.zst
United States · June SlaterSHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 application/octet-stream 9.06MB
2026-09-26 01:38:56 +0000 UTC
-
mirror.iscas.ac.cn · idris-1.3.4-569-x86_64.pkg.tar.zst
/archlinux/extra-staging/os/x86_64/
China · China Networks Inter-ExchangeSHA1: fa82791f41528162c4b5c74b42b90a23ee9c4318 SHA256: 689ff16eb72ce8af93cb90b37d212d025fc99822e677ffeb8b2454158f787bc4 application/octet-stream 9.06MB
2026-09-26 01:38:56 +0000 UTC