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

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

/packages/a/agda/

· CLOUDFLARENET

SHA1: a58689d78ac88958b32a5f625d3205eb6306b701
SHA256: f3825be57209130e7ff42ea3400bb11e5e468cf5504514579f1ca7651563e88c
application/pgp-signature
566.00B
2025-09-16 11:39:38 +0000 UTC
arch.stroytelecom.net · agda-2.6.4.3-89-x86_64.pkg.tar.zst.sig

/pool/packages/

Russia · Stroy-Telecom LTD

SHA1: a58689d78ac88958b32a5f625d3205eb6306b701
SHA256: f3825be57209130e7ff42ea3400bb11e5e468cf5504514579f1ca7651563e88c
application/pgp-signature
566.00B
2025-09-16 11:39:38 +0000 UTC
74.120.221.146 · agda-2.6.4.3-89-x86_64.pkg.tar.zst.sig

/pool/packages/

Canada · GTCOMM

SHA1: a58689d78ac88958b32a5f625d3205eb6306b701
SHA256: f3825be57209130e7ff42ea3400bb11e5e468cf5504514579f1ca7651563e88c
application/octet-stream
566.00B
2025-09-16 11:39:38 +0000 UTC
74.120.221.150 · agda-2.6.4.3-89-x86_64.pkg.tar.zst.sig

/pool/packages/

Canada · GTCOMM

SHA1: a58689d78ac88958b32a5f625d3205eb6306b701
SHA256: f3825be57209130e7ff42ea3400bb11e5e468cf5504514579f1ca7651563e88c
application/octet-stream
566.00B
2025-09-16 11:39:38 +0000 UTC
mirror.tirefireind.us · agda-2.6.4.3-89-x86_64.pkg.tar.zst.sig

/archlinux/extra/os/x86_64/

United States · COMCAST-7922

SHA1: a58689d78ac88958b32a5f625d3205eb6306b701
SHA256: f3825be57209130e7ff42ea3400bb11e5e468cf5504514579f1ca7651563e88c
application/octet-stream
566.00B
2025-09-16 11:39:38 +0000 UTC
linux.linuxlearning.tk · agda-2.6.4.3-89-x86_64.pkg.tar.zst.sig

/extra/os/x86_64/

United States · IT7NET

SHA1: a58689d78ac88958b32a5f625d3205eb6306b701
SHA256: f3825be57209130e7ff42ea3400bb11e5e468cf5504514579f1ca7651563e88c
application/octet-stream
566.00B
2025-09-16 11:39:38 +0000 UTC
linux.linuxsource.tk · agda-2.6.4.3-89-x86_64.pkg.tar.zst.sig

/extra/os/x86_64/

United States · IT7NET

SHA1: a58689d78ac88958b32a5f625d3205eb6306b701
SHA256: f3825be57209130e7ff42ea3400bb11e5e468cf5504514579f1ca7651563e88c
application/octet-stream
566.00B
2025-09-16 11:39:38 +0000 UTC