Files named agda-2.6.4.3-86-x86

qvbbnl9.pages.dev · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/packages/a/agda/

· CLOUDFLARENET

application/zstd
24.01MB
2025-09-14 10:16:57 +0000 UTC

arch.stroytelecom.net · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/pool/packages/

Russia · Stroy-Telecom LTD

application/zstd
24.01MB
2025-09-14 10:16:57 +0000 UTC

74.120.221.146 · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/pool/packages/

Canada · GTCOMM

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

74.120.221.150 · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/pool/packages/

Canada · GTCOMM

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

mirror.tirefireind.us · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

United States · COMCAST-7922

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

linux.linuxlearning.tk · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/extra/os/x86_64/

United States · IT7NET

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

linux.linuxsource.tk · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/extra/os/x86_64/

United States · IT7NET

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

download.sin.cvut.cz · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/arch/pool/packages/

Czechia · CESNET z.s.p.o.

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

download.sin.cvut.cz · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/arch/pool/packages/

Czechia · CESNET z.s.p.o.

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

gluttony.sin.cvut.cz · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/arch/pool/packages/

Czechia · CESNET z.s.p.o.

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

ftp.sin.cvut.cz · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/arch/pool/packages/

Czechia · CESNET z.s.p.o.

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

gluttony.sin.cvut.cz · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/arch/extra/os/x86_64/

Czechia · CESNET z.s.p.o.

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

ftp.sin.cvut.cz · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/arch/extra/os/x86_64/

Czechia · CESNET z.s.p.o.

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

download.sin.cvut.cz · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/arch/extra/os/x86_64/

Czechia · CESNET z.s.p.o.

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

download.sin.cvut.cz · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/arch/extra/os/x86_64/

Czechia · CESNET z.s.p.o.

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

ftp.sin.cvut.cz · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/arch/extra/os/x86_64/

Czechia · CESNET z.s.p.o.

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

gluttony.sin.cvut.cz · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/arch/extra/os/x86_64/

Czechia · CESNET z.s.p.o.

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC

mirror.abderraziq.com · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/archlinux/pool/packages/

Morocco · ASMedi

application/zstd
24.01MB
2025-09-14 10:16:57 +0000 UTC

mirror.abderraziq.com · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

Morocco · ASMedi

application/zstd
24.01MB
2025-09-14 10:16:57 +0000 UTC

za1.mirror.allworldit.com · agda-2.6.4.3-86-x86_64.pkg.tar.zst

/archlinux/archlinux/pool/packages/

South Africa · Linux-Based-Systems-Design-AS

application/octet-stream
24.01MB
2025-09-14 10:16:57 +0000 UTC