Files named agda_2.5.4.1.orig.tar.gz

mirror.raspbian.ikoula.com · agda_2.5.4.1.orig.tar.gz

France · Ikoula Net SAS

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC

fake.eik.bme.hu · agda_2.5.4.1.orig.tar.gz

/deb.freexian.com/extended-lts/pool/main/a/agda/

Hungary · KIFU (Governmental Info Tech Development Agency)

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC

ftp.bme.hu · agda_2.5.4.1.orig.tar.gz

/deb.freexian.com/extended-lts/pool/main/a/agda/

Hungary · KIFU (Governmental Info Tech Development Agency)

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC

mirror.iomart.com · agda_2.5.4.1.orig.tar.gz

/raspberrypi/raspbian/pool/main/a/agda/

United Kingdom · Iomart Cloud Services Limited

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC

mirror.iomart.com · agda_2.5.4.1.orig.tar.gz

/raspberrypi/raspbian/pool/main/a/agda/

United Kingdom · Iomart Cloud Services Limited

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC

raspbian.ip-connect.info · agda_2.5.4.1.orig.tar.gz

/raspbian/pool/main/a/agda/

Ukraine · IP-Connect LLC

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC

raspbian.ip-connect.info · agda_2.5.4.1.orig.tar.gz

/raspbian/pool/main/a/agda/

Ukraine · IP-Connect LLC

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC

raspbian.mirror.globo.tech · agda_2.5.4.1.orig.tar.gz

/raspbian/pool/main/a/agda/

Canada · GTCOMM

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/octet-stream
1.90MB
2018-09-30 10:54:26 +0000 UTC

kali.mirror.globo.tech · agda_2.5.4.1.orig.tar.gz

/kali/pool/main/a/agda/

Canada · GTCOMM

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/octet-stream
1.90MB
2018-11-29 12:00:32 +0000 UTC

kali.mirror.gtcomm.net · agda_2.5.4.1.orig.tar.gz

/kali/pool/main/a/agda/

Canada · GTCOMM

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/octet-stream
1.90MB
2018-11-29 12:00:32 +0000 UTC

raspbian.c3sl.ufpr.br · agda_2.5.4.1.orig.tar.gz

/raspbian/pool/main/a/agda/

Brazil · Fundacao da UFPR para o DCTC

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC

deepin.c3sl.ufpr.br · agda_2.5.4.1.orig.tar.gz

/deepin/apricot/pool/main/a/agda/

Brazil · Fundacao da UFPR para o DCTC

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2022-04-11 03:17:36 +0000 UTC

deepin.c3sl.ufpr.br · agda_2.5.4.1.orig.tar.gz

/deepin/apricot/pool/main/a/agda/

Brazil · Fundacao da UFPR para o DCTC

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2022-04-11 03:17:36 +0000 UTC

jp6.mirrors.naho.moe · agda_2.5.4.1.orig.tar.gz

/raspbian/raspbian/pool/main/a/agda/

Japan · Contabo Asia Private Limited

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/octet-stream
1.90MB
2018-09-30 10:54:26 +0000 UTC

jp.mirrors.naho.moe · agda_2.5.4.1.orig.tar.gz

/raspbian/raspbian/pool/main/a/agda/

Japan · Contabo Asia Private Limited

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/octet-stream
1.90MB
2018-09-30 10:54:26 +0000 UTC

raspbian.deizi.bg · agda_2.5.4.1.orig.tar.gz

/raspbian/pool/main/a/agda/

Bulgaria · Neterra Ltd.

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC

raspbian.daisytech.com · agda_2.5.4.1.orig.tar.gz

/raspbian/pool/main/a/agda/

Bulgaria · Neterra Ltd.

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC

raspbian.daisytechbg.com · agda_2.5.4.1.orig.tar.gz

/raspbian/pool/main/a/agda/

Bulgaria · Neterra Ltd.

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC

raspbian.daisytechbg.com · agda_2.5.4.1.orig.tar.gz

/raspbian/pool/main/a/agda/

Bulgaria · Neterra Ltd.

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC

raspbian.daisy.bg · agda_2.5.4.1.orig.tar.gz

/raspbian/pool/main/a/agda/

Bulgaria · Neterra Ltd.

SHA1: 8717e3b8fef13f09576dde1e272b84ac7cb3b17f
SHA256: 7759aa76936e6a35325c2e186a7546553921775155a426c8edc9a234f58ab72f
application/x-gzip
1.90MB
2018-09-30 10:54:26 +0000 UTC