Files named agda_2.5.4.1-3.dsc

mirror.raspbian.ikoula.com · agda_2.5.4.1-3.dsc

France · Ikoula Net SAS

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
3.78KB
2018-10-20 20:41:45 +0000 UTC

fake.eik.bme.hu · agda_2.5.4.1-3.dsc

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

Hungary · KIFU (Governmental Info Tech Development Agency)

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
text/prs.lines.tag
3.78KB
2018-10-20 20:41:45 +0000 UTC

ftp.bme.hu · agda_2.5.4.1-3.dsc

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

Hungary · KIFU (Governmental Info Tech Development Agency)

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
text/prs.lines.tag
3.78KB
2018-10-20 20:41:45 +0000 UTC

mirror.iomart.com · agda_2.5.4.1-3.dsc

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

United Kingdom · Iomart Cloud Services Limited

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
text/prs.lines.tag
3.78KB
2018-10-20 20:41:45 +0000 UTC

mirror.iomart.com · agda_2.5.4.1-3.dsc

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

United Kingdom · Iomart Cloud Services Limited

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
text/prs.lines.tag
3.78KB
2018-10-20 20:41:45 +0000 UTC

raspbian.ip-connect.info · agda_2.5.4.1-3.dsc

/raspbian/pool/main/a/agda/

Ukraine · IP-Connect LLC

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
text/prs.lines.tag
3.78KB
2018-10-20 20:41:45 +0000 UTC

raspbian.ip-connect.info · agda_2.5.4.1-3.dsc

/raspbian/pool/main/a/agda/

Ukraine · IP-Connect LLC

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
text/prs.lines.tag
3.78KB
2018-10-20 20:41:45 +0000 UTC

raspbian.mirror.globo.tech · agda_2.5.4.1-3.dsc

/raspbian/pool/main/a/agda/

Canada · GTCOMM

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
application/octet-stream
3.78KB
2018-10-20 20:41:45 +0000 UTC

kali.mirror.globo.tech · agda_2.5.4.1-3.dsc

/kali/pool/main/a/agda/

Canada · GTCOMM

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
application/octet-stream
3.78KB
2018-11-29 12:00:32 +0000 UTC

kali.mirror.gtcomm.net · agda_2.5.4.1-3.dsc

/kali/pool/main/a/agda/

Canada · GTCOMM

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
application/octet-stream
3.78KB
2018-11-29 12:00:32 +0000 UTC

raspbian.c3sl.ufpr.br · agda_2.5.4.1-3.dsc

/raspbian/pool/main/a/agda/

Brazil · Fundacao da UFPR para o DCTC

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
text/prs.lines.tag
3.78KB
2018-10-20 20:41:45 +0000 UTC

deepin.c3sl.ufpr.br · agda_2.5.4.1-3.dsc

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

Brazil · Fundacao da UFPR para o DCTC

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
text/prs.lines.tag
3.78KB
2022-04-11 03:17:36 +0000 UTC

deepin.c3sl.ufpr.br · agda_2.5.4.1-3.dsc

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

Brazil · Fundacao da UFPR para o DCTC

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
text/prs.lines.tag
3.78KB
2022-04-11 03:17:36 +0000 UTC

jp6.mirrors.naho.moe · agda_2.5.4.1-3.dsc

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

Japan · Contabo Asia Private Limited

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
application/octet-stream
3.78KB
2018-10-20 20:41:45 +0000 UTC

jp.mirrors.naho.moe · agda_2.5.4.1-3.dsc

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

Japan · Contabo Asia Private Limited

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
application/octet-stream
3.78KB
2018-10-20 20:41:45 +0000 UTC

raspbian.deizi.bg · agda_2.5.4.1-3.dsc

/raspbian/pool/main/a/agda/

Bulgaria · Neterra Ltd.

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
3.78KB
2018-10-20 20:41:45 +0000 UTC

raspbian.daisytech.com · agda_2.5.4.1-3.dsc

/raspbian/pool/main/a/agda/

Bulgaria · Neterra Ltd.

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
3.78KB
2018-10-20 20:41:45 +0000 UTC

raspbian.daisytechbg.com · agda_2.5.4.1-3.dsc

/raspbian/pool/main/a/agda/

Bulgaria · Neterra Ltd.

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
3.78KB
2018-10-20 20:41:45 +0000 UTC

raspbian.daisytechbg.com · agda_2.5.4.1-3.dsc

/raspbian/pool/main/a/agda/

Bulgaria · Neterra Ltd.

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
3.78KB
2018-10-20 20:41:45 +0000 UTC

raspbian.daisy.bg · agda_2.5.4.1-3.dsc

/raspbian/pool/main/a/agda/

Bulgaria · Neterra Ltd.

SHA1: 612a3a85ad79efa1bcd514360c58c74fcea32e37
SHA256: d7154765404e0d3db4b4efd4ba64a460cc3ba1e0e80fc0cee2120a5f9597b8c9
3.78KB
2018-10-20 20:41:45 +0000 UTC