Files named agda-2.8.0-8-x86

Bulgaria · IPACCT CABLE Ltd

application/zstd
25.65MB
2026-09-01 14:16:32 +0000 UTC

195.85.215.183 · agda-2.8.0-8-x86_64.pkg.tar.zst

Bulgaria · IPACCT CABLE Ltd

application/zstd
25.65MB
2026-09-01 14:16:32 +0000 UTC

manjaro.ipacct.com · agda-2.8.0-8-x86_64.pkg.tar.zst

Bulgaria · IPACCT CABLE Ltd

application/zstd
25.65MB
2026-09-01 14:16:32 +0000 UTC

elmirror.cl · agda-2.8.0-8-x86_64.pkg.tar.zst

Chile · GRUPO ZGH SPA

application/octet-stream
25.65MB
2026-09-01 11:59:24 +0000 UTC

elmirror.cl · agda-2.8.0-8-x86_64.pkg.tar.zst

Chile · GRUPO ZGH SPA

application/octet-stream
25.65MB
2026-09-01 11:59:24 +0000 UTC

manjaro.repo.cure.edu.uy · agda-2.8.0-8-x86_64.pkg.tar.zst

/pool/sync/

Uruguay · Uruguay

application/zstd
25.65MB
2026-09-01 14:16:32 +0000 UTC

manjaro-archive.tuxboy.eu · agda-2.8.0-8-x86_64.pkg.tar.zst

United States · Interserver, Inc

application/octet-stream
25.65MB
2026-09-01 14:16:32 +0000 UTC

qvbbnl9.pages.dev · agda-2.8.0-8-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

· Cloudflare, Inc.

application/zstd
25.65MB
2026-09-01 11:59:24 +0000 UTC

spegel.eta.chalmers.se · agda-2.8.0-8-x86_64.pkg.tar.zst

Sweden · Chalmers University of Technology AB

application/octet-stream
25.65MB
2026-09-01 11:59:24 +0000 UTC

spegel.eta.chalmers.se · agda-2.8.0-8-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

Sweden · Chalmers University of Technology AB

application/octet-stream
25.65MB
2026-09-01 11:59:24 +0000 UTC

elmirror.cl · agda-2.8.0-8-x86_64.pkg.tar.zst

Chile · GRUPO ZGH SPA

application/octet-stream
25.65MB
2026-09-01 11:59:24 +0000 UTC

elmirror.cl · agda-2.8.0-8-x86_64.pkg.tar.zst

Chile · GRUPO ZGH SPA

application/octet-stream
25.65MB
2026-09-01 11:59:24 +0000 UTC

0915-1.wefsvzcz.kdns.fr · agda-2.8.0-8-x86_64.pkg.tar.zst

/manjaro/unstable/extra/x86_64/

· Cloudflare, Inc.

application/zstd
25.65MB
1970-01-01 00:00:00 +0000 UTC

mirrors.yetone.name · agda-2.8.0-8-x86_64.pkg.tar.zst

Canada · Rica Web Services

application/octet-stream
25.65MB
2026-09-01 14:16:32 +0000 UTC

mirrors.yetone.name · agda-2.8.0-8-x86_64.pkg.tar.zst

/manjaro/testing/extra/x86_64/

Canada · Rica Web Services

application/octet-stream
25.65MB
2026-09-01 14:16:32 +0000 UTC

mirrors.yetone.name · agda-2.8.0-8-x86_64.pkg.tar.zst

/manjaro/stable/extra/x86_64/

Canada · Rica Web Services

application/octet-stream
25.65MB
2026-09-01 14:16:32 +0000 UTC

umea.archive.pkgbuild.com · agda-2.8.0-8-x86_64.pkg.tar.zst

Sweden · Vetenskapsradet / SUNET

application/zstd
25.65MB
2026-09-01 11:59:24 +0000 UTC

mirrors.yetone.name · agda-2.8.0-8-x86_64.pkg.tar.zst

Canada · Rica Web Services

application/octet-stream
25.65MB
2026-09-01 14:16:32 +0000 UTC

mirror.safiabidi.com · agda-2.8.0-8-x86_64.pkg.tar.zst

/extra/os/x86_64/

Tunisia · IDDQD-AS

application/octet-stream
25.65MB
2026-09-01 11:59:24 +0000 UTC

archlinux.baloco.fr · agda-2.8.0-8-x86_64.pkg.tar.zst