Files named agda-2.8.0-7-x86_64.pkg.tar.zst

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

/packages/a/agda/

· Cloudflare, Inc.

application/zstd
25.65MB
2026-08-31 10:07:46 +0000 UTC
0915-1.wefsvzcz.kdns.fr · agda-2.8.0-7-x86_64.pkg.tar.zst

/packages/a/agda/

· Cloudflare, Inc.

application/zstd
25.65MB
1970-01-01 00:00:00 +0000 UTC
umea.archive.pkgbuild.com · agda-2.8.0-7-x86_64.pkg.tar.zst

/packages/a/agda/

Sweden · Vetenskapsradet / SUNET

application/zstd
25.65MB
2026-08-31 10:07:46 +0000 UTC
za.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst

/idms-linux-rolling/pool/packages/

South Africa · Linux Based Systems Design SA (Pty) Ltd

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
za.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst

/idms-linux-rolling/pool/packages/

South Africa · Linux Based Systems Design SA (Pty) Ltd

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst

/idms-linux-rolling/pool/packages/

France · OVH SAS

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst

/idms-linux-rolling/pool/packages/

France · OVH SAS

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
za.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst

/idms-linux-rolling/extra/os/x86_64/

South Africa · Linux Based Systems Design SA (Pty) Ltd

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
za.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst

/idms-linux-rolling/extra/os/x86_64/

South Africa · Linux Based Systems Design SA (Pty) Ltd

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst

/idms-linux-rolling/extra/os/x86_64/

France · OVH SAS

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst

/idms-linux-rolling/extra/os/x86_64/

France · OVH SAS

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
za.mirror.allworldit.com · agda-2.8.0-7-x86_64.pkg.tar.zst

/idmslinux/idms-linux-rolling/extra/os/x86_64/

South Africa · Linux Based Systems Design SA (Pty) Ltd

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
za1.mirror.allworldit.com · agda-2.8.0-7-x86_64.pkg.tar.zst

/idmslinux/idms-linux-rolling/extra/os/x86_64/

South Africa · Linux Based Systems Design SA (Pty) Ltd

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
za1.mirror.allworldit.com · agda-2.8.0-7-x86_64.pkg.tar.zst

/idmslinux/idms-linux-rolling/extra/os/x86_64/

South Africa · Linux Based Systems Design SA (Pty) Ltd

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
za.mirror.allworldit.com · agda-2.8.0-7-x86_64.pkg.tar.zst

/idmslinux/idms-linux-rolling/extra/os/x86_64/

South Africa · Linux Based Systems Design SA (Pty) Ltd

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
uk.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst

/idms-linux-rolling/pool/packages/

France · OVH SAS

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
uk.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst

/idms-linux-rolling/pool/packages/

France · OVH SAS

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
uk.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst

/idms-linux-rolling/extra/os/x86_64/

France · OVH SAS

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
uk.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst

/idms-linux-rolling/extra/os/x86_64/

France · OVH SAS

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC
uk1.mirror.allworldit.com · agda-2.8.0-7-x86_64.pkg.tar.zst

/idmslinux/idms-linux-rolling/pool/packages/

France · OVH SAS

application/octet-stream
25.65MB
2026-08-31 10:07:46 +0000 UTC