Files named agda-2.6.4.3-87-x86_64.pkg.tar.zst.sig

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

/packages/a/agda/

· CLOUDFLARENET

SHA1: 80f2e5aa20433c1f52a0b8a10f5eaed7ff2cb6f9
SHA256: 5f70a00e37509eb6c29a3b69a5023dcda06573c5c6adeb24f8dd2a431fc4869f
application/pgp-signature
566.00B
2025-09-15 12:10:27 +0000 UTC
arch.stroytelecom.net · agda-2.6.4.3-87-x86_64.pkg.tar.zst.sig

/pool/packages/

Russia · Stroy-Telecom LTD

SHA1: 80f2e5aa20433c1f52a0b8a10f5eaed7ff2cb6f9
SHA256: 5f70a00e37509eb6c29a3b69a5023dcda06573c5c6adeb24f8dd2a431fc4869f
application/pgp-signature
566.00B
2025-09-15 12:10:27 +0000 UTC
74.120.221.146 · agda-2.6.4.3-87-x86_64.pkg.tar.zst.sig

/pool/packages/

Canada · GTCOMM

SHA1: 80f2e5aa20433c1f52a0b8a10f5eaed7ff2cb6f9
SHA256: 5f70a00e37509eb6c29a3b69a5023dcda06573c5c6adeb24f8dd2a431fc4869f
application/octet-stream
566.00B
2025-09-15 12:10:27 +0000 UTC
74.120.221.150 · agda-2.6.4.3-87-x86_64.pkg.tar.zst.sig

/pool/packages/

Canada · GTCOMM

SHA1: 80f2e5aa20433c1f52a0b8a10f5eaed7ff2cb6f9
SHA256: 5f70a00e37509eb6c29a3b69a5023dcda06573c5c6adeb24f8dd2a431fc4869f
application/octet-stream
566.00B
2025-09-15 12:10:27 +0000 UTC
mirror.tirefireind.us · agda-2.6.4.3-87-x86_64.pkg.tar.zst.sig

/archlinux/extra/os/x86_64/

United States · COMCAST-7922

SHA1: 80f2e5aa20433c1f52a0b8a10f5eaed7ff2cb6f9
SHA256: 5f70a00e37509eb6c29a3b69a5023dcda06573c5c6adeb24f8dd2a431fc4869f
application/octet-stream
566.00B
2025-09-15 12:10:27 +0000 UTC
linux.linuxlearning.tk · agda-2.6.4.3-87-x86_64.pkg.tar.zst.sig

/extra/os/x86_64/

United States · IT7NET

SHA1: 80f2e5aa20433c1f52a0b8a10f5eaed7ff2cb6f9
SHA256: 5f70a00e37509eb6c29a3b69a5023dcda06573c5c6adeb24f8dd2a431fc4869f
application/octet-stream
566.00B
2025-09-15 12:10:27 +0000 UTC
linux.linuxsource.tk · agda-2.6.4.3-87-x86_64.pkg.tar.zst.sig

/extra/os/x86_64/

United States · IT7NET

SHA1: 80f2e5aa20433c1f52a0b8a10f5eaed7ff2cb6f9
SHA256: 5f70a00e37509eb6c29a3b69a5023dcda06573c5c6adeb24f8dd2a431fc4869f
application/octet-stream
566.00B
2025-09-15 12:10:27 +0000 UTC
archlinux.mirrorservice.org · agda-2.6.4.3-87-x86_64.pkg.tar.zst.sig

/pool/packages/

United Kingdom · Jisc Services Limited

SHA1: 80f2e5aa20433c1f52a0b8a10f5eaed7ff2cb6f9
SHA256: 5f70a00e37509eb6c29a3b69a5023dcda06573c5c6adeb24f8dd2a431fc4869f
application/pgp-signature
566.00B
2025-09-15 12:10:27 +0000 UTC
archlinux.mirrorservice.org · agda-2.6.4.3-87-x86_64.pkg.tar.zst.sig

/extra-staging/os/x86_64/

United Kingdom · Jisc Services Limited

SHA1: 80f2e5aa20433c1f52a0b8a10f5eaed7ff2cb6f9
SHA256: 5f70a00e37509eb6c29a3b69a5023dcda06573c5c6adeb24f8dd2a431fc4869f
application/pgp-signature
566.00B
2025-09-15 12:10:27 +0000 UTC
archlinux.mirrorservice.org · agda-2.6.4.3-87-x86_64.pkg.tar.zst.sig

/extra-staging/os/x86_64/

United Kingdom · Jisc Services Limited

SHA1: 80f2e5aa20433c1f52a0b8a10f5eaed7ff2cb6f9
SHA256: 5f70a00e37509eb6c29a3b69a5023dcda06573c5c6adeb24f8dd2a431fc4869f
application/pgp-signature
566.00B
2025-09-15 12:10:27 +0000 UTC