Files named coqide-8.20.0-1-x86

mirror.bouwhuis.network · coqide-8.20.0-1-x86_64.pkg.tar.zst

The Netherlands · Nick Bouwhuis

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 23:13:30 +0000 UTC

repo.30p87.de · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/pool/packages/

Germany · Vodafone GmbH

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/zstd
2.16MB
2024-10-13 17:34:25 +0000 UTC

archlinux.za.mirror.allworldit.com · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

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

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC

za.mirror.allworldit.com · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

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

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC

repo.30p87.de · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

Germany · Vodafone GmbH

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/zstd
2.16MB
2024-10-13 17:34:25 +0000 UTC

archlinux.za.mirror.allworldit.com · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

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

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC

za.mirror.allworldit.com · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

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

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC

mirror.bgp.rodeo · coqide-8.20.0-1-x86_64.pkg.tar.zst

/manjaro/pool/sync/

The Netherlands · Nick Bouwhuis

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 23:13:30 +0000 UTC

mirror.bouwhuis.network · coqide-8.20.0-1-x86_64.pkg.tar.zst

/manjaro/pool/sync/

The Netherlands · Nick Bouwhuis

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 23:13:30 +0000 UTC

mirror.bgp.rodeo · coqide-8.20.0-1-x86_64.pkg.tar.zst

/manjaro/pool/sync/

The Netherlands · Nick Bouwhuis

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 23:13:30 +0000 UTC

mirror.previder.nl · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/pool/packages/

The Netherlands · Previder B.V.

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/zstd
2.16MB
2024-10-13 17:34:25 +0000 UTC

mirror.bouwhuis.network · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/pool/packages/

The Netherlands · Nick Bouwhuis

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC

mirror.bgp.rodeo · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/pool/packages/

The Netherlands · Nick Bouwhuis

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC

mirror.bgp.rodeo · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/pool/packages/

The Netherlands · Nick Bouwhuis

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC

mirror.bouwhuis.network · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/pool/packages/

The Netherlands · Nick Bouwhuis

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC

mirror.bgp.rodeo · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

The Netherlands · Nick Bouwhuis

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC

mirror.bouwhuis.network · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

The Netherlands · Nick Bouwhuis

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC

mirror.bgp.rodeo · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

The Netherlands · Nick Bouwhuis

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC

mirror.bouwhuis.network · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

The Netherlands · Nick Bouwhuis

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC

asia.kiran.workers.dev · coqide-8.20.0-1-x86_64.pkg.tar.zst

/archlinux/extra/os/x86_64/

· CLOUDFLARENET

SHA1: d855887e3335c541d14e11d1046284b30495c6c2
SHA256: 2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360
application/octet-stream
2.16MB
2024-10-13 17:34:25 +0000 UTC