-
SHA1: aa25d309715ca90a632977cec105ee4ad58a8bd8 SHA256: 02d6b548d9e41900ac690c12e9b022547c1101ab6b0393f65b4837b77e4c2904 application/pgp-signature 566.00B
2026-08-31 10:07:46 +0000 UTC
-
SHA1: aa25d309715ca90a632977cec105ee4ad58a8bd8 SHA256: 02d6b548d9e41900ac690c12e9b022547c1101ab6b0393f65b4837b77e4c2904 application/pgp-signature 566.00B
1970-01-01 00:00:00 +0000 UTC
-
umea.archive.pkgbuild.com · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
Sweden · Vetenskapsradet / SUNETSHA1: aa25d309715ca90a632977cec105ee4ad58a8bd8 SHA256: 02d6b548d9e41900ac690c12e9b022547c1101ab6b0393f65b4837b77e4c2904 application/pgp-signature 566.00B
2026-08-31 10:07:46 +0000 UTC
-
za.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idms-linux-rolling/pool/packages/
South Africa · Linux Based Systems Design SA (Pty) LtdSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
za.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idms-linux-rolling/pool/packages/
South Africa · Linux Based Systems Design SA (Pty) LtdSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idms-linux-rolling/pool/packages/
France · OVH SASSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idms-linux-rolling/pool/packages/
France · OVH SASSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
za.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idms-linux-rolling/extra/os/x86_64/
South Africa · Linux Based Systems Design SA (Pty) LtdSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
za.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idms-linux-rolling/extra/os/x86_64/
South Africa · Linux Based Systems Design SA (Pty) LtdSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idms-linux-rolling/extra/os/x86_64/
France · OVH SASSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idms-linux-rolling/extra/os/x86_64/
France · OVH SASSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
za.mirror.allworldit.com · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idmslinux/idms-linux-rolling/extra/os/x86_64/
South Africa · Linux Based Systems Design SA (Pty) LtdSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
za1.mirror.allworldit.com · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idmslinux/idms-linux-rolling/extra/os/x86_64/
South Africa · Linux Based Systems Design SA (Pty) LtdSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
za1.mirror.allworldit.com · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idmslinux/idms-linux-rolling/extra/os/x86_64/
South Africa · Linux Based Systems Design SA (Pty) LtdSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
za.mirror.allworldit.com · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idmslinux/idms-linux-rolling/extra/os/x86_64/
South Africa · Linux Based Systems Design SA (Pty) LtdSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
uk.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idms-linux-rolling/pool/packages/
France · OVH SASSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
uk.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idms-linux-rolling/pool/packages/
France · OVH SASSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
uk.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idms-linux-rolling/extra/os/x86_64/
France · OVH SASSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
uk.cdn.idms-linux.net · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idms-linux-rolling/extra/os/x86_64/
France · OVH SASSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
-
uk1.mirror.allworldit.com · agda-2.8.0-7-x86_64.pkg.tar.zst.sig
/idmslinux/idms-linux-rolling/pool/packages/
France · OVH SASSHA1: 5e9a6a6d2ffb826a84fc0edfa85336b30f0a8452 SHA256: 20bd38c2e29d67c67c797339128e622eed0183f5bdffcc627c1e951f90618c3e application/octet-stream 566.00B
2026-09-01 06:23:22 +0000 UTC
· Cloudflare, Inc.