Files named agda-stdlib-2.4-1-x86

United Kingdom · Servernet Internet Limited

application/octet-stream
152.94MB
2026-08-13 12:50:23 +0000 UTC

mirror.lon.server.net · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

United Kingdom · Servernet Internet Limited

application/octet-stream
152.94MB
2026-08-13 12:50:23 +0000 UTC

mirror.lon.server.net · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

United Kingdom · Servernet Internet Limited

application/octet-stream
152.94MB
2026-08-13 12:50:23 +0000 UTC

mirror.server.net · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

United Kingdom · Servernet Internet Limited

application/octet-stream
152.94MB
2026-08-13 12:50:23 +0000 UTC

umea.archive.pkgbuild.com · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

Sweden · Vetenskapsradet / SUNET

application/zstd
152.94MB
2026-08-13 12:50:23 +0000 UTC

singapore.mirror.pkgbuild.com · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

/extra/os/x86_64/

Singapore · Misaka Network, Inc.

application/zstd
152.94MB
2026-08-13 12:50:23 +0000 UTC

singapore.mirror.pkgbuild.com · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

/extra/os/x86_64/

Singapore · Misaka Network, Inc.

application/zstd
152.94MB
2026-08-13 12:50:23 +0000 UTC

miyt.bdaokhy.kdns.fr · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

· Cloudflare, Inc.

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

miyt.bdaokhy.kdns.fr · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

· Cloudflare, Inc.

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

mirror.tzulo.com · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

United States · tzulo, inc.

application/octet-stream
152.94MB
2026-08-13 12:50:23 +0000 UTC

mirror.tzulo.com · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

United States · tzulo, inc.

application/octet-stream
152.94MB
2026-08-13 12:50:23 +0000 UTC

mirror.tzulo.com · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

United States · tzulo, inc.

application/octet-stream
152.94MB
2026-08-13 12:50:23 +0000 UTC

mirror.tzulo.com · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

United States · tzulo, inc.

application/octet-stream
152.94MB
2026-08-13 12:50:23 +0000 UTC

arch.stroytelecom.net · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

/extra/os/x86_64/

Russia · Stroy-Telecom LTD

application/zstd
152.94MB
2026-08-13 12:50:23 +0000 UTC

h2r.hostodo.zmjjcg.dpdns.org · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

United States · Hostodo

application/zstd
152.94MB
2026-08-13 12:50:23 +0000 UTC

h2r.hostodo.zmjjcg.dpdns.org · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

United States · Hostodo

application/zstd
152.94MB
2026-08-13 12:50:23 +0000 UTC

grapc.pages.dev · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

· Cloudflare, Inc.

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

mirror.lcarilla.de · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

Germany · IONOS SE

application/zstd
152.94MB
2026-08-13 12:50:23 +0000 UTC

mirror.lcarilla.de · agda-stdlib-2.4-1-x86_64.pkg.tar.zst

Germany · IONOS SE

application/zstd
152.94MB
2026-08-13 12:50:23 +0000 UTC

mirror.hive.hashworks.net · agda-stdlib-2.4-1-x86_64.pkg.tar.zst