Files named libghc-agda-dev_2.5.4.1-3+b1

mirror3.tuxinator.org · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

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

Germany · Hetzner Online GmbH

application/vnd.debian.binary-package
16.38MB
2022-04-11 03:15:10 +0000 UTC

mirror2.tuxinator.org · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

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

Germany · Hetzner Online GmbH

application/vnd.debian.binary-package
16.38MB
2022-04-11 03:15:10 +0000 UTC

mirror3.tuxinator.org · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

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

Germany · Hetzner Online GmbH

application/vnd.debian.binary-package
16.38MB
2022-04-11 03:15:10 +0000 UTC

5.9.58.210 · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

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

Germany · Hetzner Online GmbH

application/vnd.debian.binary-package
16.38MB
2022-04-11 03:15:10 +0000 UTC

mirror.logicmax.pw · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

/debian-dev/pool/main/a/agda/

France · Easter-eggs Sarl

application/x-debian-package
16.38MB
2018-12-04 10:59:05 +0000 UTC

mirror.logicmax.pw · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

/debian-dev/pool/main/a/agda/

France · Easter-eggs Sarl

application/x-debian-package
16.38MB
2018-12-04 10:59:05 +0000 UTC

debian.apt.nerve.cloud · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

/pool/main/a/agda/

The Netherlands · MICROSOFT-CORP-MSN-AS-BLOCK

application/octet-stream
16.38MB
2019-04-08 10:40:50 +0000 UTC

dl2.jiddak.com · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

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

· CLOUDFLARENET

application/vnd.debian.binary-package
16.38MB
2022-04-11 03:15:10 +0000 UTC

fake.eik.bme.hu · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

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

Hungary · KIFU (Governmental Info Tech Development Agency)

application/vnd.debian.binary-package
16.38MB
2018-12-04 10:59:05 +0000 UTC

ftp.bme.hu · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

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

Hungary · KIFU (Governmental Info Tech Development Agency)

application/vnd.debian.binary-package
16.38MB
2018-12-04 10:59:05 +0000 UTC

archive.snafu.de · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

/debian-php/pool/main/a/agda/

Germany · snafu Gesellschaft fuer interaktive Netzwerke mbH

application/octet-stream
16.38MB
2022-08-31 13:55:21 +0000 UTC

archive.snafu.de · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

/debian-php/pool/main/a/agda/

Germany · snafu Gesellschaft fuer interaktive Netzwerke mbH

application/octet-stream
16.38MB
2022-08-31 13:55:21 +0000 UTC

kali.mirror.globo.tech · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

/kali/pool/main/a/agda/

Canada · GTCOMM

application/octet-stream
16.38MB
2018-12-27 00:05:01 +0000 UTC

kali.mirror.gtcomm.net · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

/kali/pool/main/a/agda/

Canada · GTCOMM

application/octet-stream
16.38MB
2018-12-27 00:05:01 +0000 UTC

debian.repo.nfrance.com · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

/pool/main/a/agda/

France · NFrance Conseil

application/x-debian-package
16.38MB
2018-12-04 10:59:05 +0000 UTC

deepin.c3sl.ufpr.br · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

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

Brazil · Fundacao da UFPR para o DCTC

application/vnd.debian.binary-package
16.38MB
2022-04-11 03:15:10 +0000 UTC

deepin.c3sl.ufpr.br · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

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

Brazil · Fundacao da UFPR para o DCTC

application/vnd.debian.binary-package
16.38MB
2022-04-11 03:15:10 +0000 UTC

aptly.lf.net · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

/nightly/debian-10-official-release/pool/main/a/agda/

Germany · LF.net Netzwerksysteme GmbH

application/octet-stream
16.38MB
2019-09-24 00:47:23 +0000 UTC

aptly.lf.net · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

/nightly/debian-10-official-release/pool/main/a/agda/

Germany · LF.net Netzwerksysteme GmbH

application/octet-stream
16.38MB
2019-09-24 00:47:23 +0000 UTC

185.85.248.30 · libghc-agda-dev_2.5.4.1-3+b1_amd64.deb

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

Switzerland · Init7 (Switzerland) Ltd.

application/x-debian-package
16.38MB
2022-04-11 03:15:10 +0000 UTC