Files named agda-2.8.0-8-x86_64.pkg.tar.zst.sig

195.85.215.183 · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

Bulgaria · IPACCT CABLE Ltd

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 14:16:33 +0000 UTC

195.85.215.183 · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/manjaro/pool/sync/

Bulgaria · IPACCT CABLE Ltd

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 14:16:33 +0000 UTC

manjaro.ipacct.com · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/manjaro/pool/sync/

Bulgaria · IPACCT CABLE Ltd

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 14:16:33 +0000 UTC

elmirror.cl · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/archlinux/pool/packages/

Chile · GRUPO ZGH SPA

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 11:59:24 +0000 UTC

elmirror.cl · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/archlinux/pool/packages/

Chile · GRUPO ZGH SPA

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 11:59:24 +0000 UTC

manjaro.repo.cure.edu.uy · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/pool/sync/

Uruguay · Uruguay

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/pgp-signature
566.00B
2026-09-01 14:16:33 +0000 UTC

manjaro-archive.tuxboy.eu · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/packages/a/agda/

United States · Interserver, Inc

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 14:16:33 +0000 UTC

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

/packages/a/agda/

· Cloudflare, Inc.

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/pgp-signature
566.00B
2026-09-01 11:59:24 +0000 UTC

spegel.eta.chalmers.se · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/archlinux/extra/os/x86_64/

Sweden · Chalmers University of Technology AB

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 11:59:24 +0000 UTC

spegel.eta.chalmers.se · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/archlinux/extra/os/x86_64/

Sweden · Chalmers University of Technology AB

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 11:59:24 +0000 UTC

elmirror.cl · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/archlinux/pool/packages/

Chile · GRUPO ZGH SPA

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 11:59:24 +0000 UTC

elmirror.cl · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/archlinux/pool/packages/

Chile · GRUPO ZGH SPA

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 11:59:24 +0000 UTC

0915-1.wefsvzcz.kdns.fr · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/packages/a/agda/

· Cloudflare, Inc.

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/pgp-signature
566.00B
1970-01-01 00:00:00 +0000 UTC

mirrors.yetone.name · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/manjaro/unstable/extra/x86_64/

Canada · Rica Web Services

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 14:16:33 +0000 UTC

mirrors.yetone.name · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/manjaro/testing/extra/x86_64/

Canada · Rica Web Services

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 14:16:33 +0000 UTC

mirrors.yetone.name · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/manjaro/stable/extra/x86_64/

Canada · Rica Web Services

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 14:16:33 +0000 UTC

umea.archive.pkgbuild.com · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/packages/a/agda/

Sweden · Vetenskapsradet / SUNET

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/pgp-signature
566.00B
2026-09-01 11:59:24 +0000 UTC

mirrors.yetone.name · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/manjaro/pool/sync/

Canada · Rica Web Services

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 14:16:33 +0000 UTC

mirror.safiabidi.com · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/extra/os/x86_64/

Tunisia · IDDQD-AS

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/octet-stream
566.00B
2026-09-01 11:59:24 +0000 UTC

archlinux.baloco.fr · agda-2.8.0-8-x86_64.pkg.tar.zst.sig

/archlinux/pool/packages/

France · Free SAS

SHA1: d18e54e80a84efa33e215e9c4ae86ada0358efed
SHA256: 19a26246ced4cfebb07a18386719ab231295953145effb386dd31280f9136c42
application/pgp-signature
566.00B
2026-09-01 11:59:24 +0000 UTC