File Search Engine
  • Search
  • Syntax
  • Fields
  • API
  • mirror.raspbian.ikoula.com · agda_2.5.4.1-3_all.deb

    /pool/main/a/agda/

    France · Ikoula Net SAS

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/x-debian-package
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • fake.eik.bme.hu · agda_2.5.4.1-3_all.deb

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

    Hungary · KIFU (Governmental Info Tech Development Agency)

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/vnd.debian.binary-package
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • ftp.bme.hu · agda_2.5.4.1-3_all.deb

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

    Hungary · KIFU (Governmental Info Tech Development Agency)

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/vnd.debian.binary-package
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • 81.169.140.16 · agda_2.5.4.1-3_all.deb

    /debian10/pool/main/a/agda/

    Germany · Strato AG

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/octet-stream
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • archive.snafu.de · agda_2.5.4.1-3_all.deb

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

    Germany · snafu Gesellschaft fuer interaktive Netzwerke mbH

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/octet-stream
    115.34KB
    2022-08-31 13:55:20 +0000 UTC

  • archive.snafu.de · agda_2.5.4.1-3_all.deb

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

    Germany · snafu Gesellschaft fuer interaktive Netzwerke mbH

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/octet-stream
    115.34KB
    2022-08-31 13:55:20 +0000 UTC

  • mirror.iomart.com · agda_2.5.4.1-3_all.deb

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

    United Kingdom · Iomart Cloud Services Limited

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/x-troff-man
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • mirror.iomart.com · agda_2.5.4.1-3_all.deb

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

    United Kingdom · Iomart Cloud Services Limited

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/x-troff-man
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • raspbian.ip-connect.info · agda_2.5.4.1-3_all.deb

    /raspbian/pool/main/a/agda/

    Ukraine · IP-Connect LLC

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/vnd.debian.binary-package
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • raspbian.ip-connect.info · agda_2.5.4.1-3_all.deb

    /raspbian/pool/main/a/agda/

    Ukraine · IP-Connect LLC

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/vnd.debian.binary-package
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • raspbian.mirror.globo.tech · agda_2.5.4.1-3_all.deb

    /raspbian/pool/main/a/agda/

    Canada · GTCOMM

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/octet-stream
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • kali.mirror.globo.tech · agda_2.5.4.1-3_all.deb

    /kali/pool/main/a/agda/

    Canada · GTCOMM

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/octet-stream
    115.34KB
    2018-11-29 12:00:49 +0000 UTC

  • kali.mirror.gtcomm.net · agda_2.5.4.1-3_all.deb

    /kali/pool/main/a/agda/

    Canada · GTCOMM

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/octet-stream
    115.34KB
    2018-11-29 12:00:49 +0000 UTC

  • debian.repo.nfrance.com · agda_2.5.4.1-3_all.deb

    /pool/main/a/agda/

    France · NFrance Conseil

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/x-debian-package
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • raspbian.c3sl.ufpr.br · agda_2.5.4.1-3_all.deb

    /raspbian/pool/main/a/agda/

    Brazil · Fundacao da UFPR para o DCTC

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/vnd.debian.binary-package
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • deepin.c3sl.ufpr.br · agda_2.5.4.1-3_all.deb

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

    Brazil · Fundacao da UFPR para o DCTC

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/vnd.debian.binary-package
    115.34KB
    2022-04-11 02:58:29 +0000 UTC

  • deepin.c3sl.ufpr.br · agda_2.5.4.1-3_all.deb

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

    Brazil · Fundacao da UFPR para o DCTC

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/vnd.debian.binary-package
    115.34KB
    2022-04-11 02:58:29 +0000 UTC

  • jp6.mirrors.naho.moe · agda_2.5.4.1-3_all.deb

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

    Japan · Contabo Asia Private Limited

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/octet-stream
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • jp.mirrors.naho.moe · agda_2.5.4.1-3_all.deb

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

    Japan · Contabo Asia Private Limited

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/octet-stream
    115.34KB
    2018-10-20 21:57:49 +0000 UTC

  • aptly.lf.net · agda_2.5.4.1-3_all.deb

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

    Germany · LF.net Netzwerksysteme GmbH

    SHA1: d0d76e067034e540b89dd2b1a458ec4f9b92548c
    SHA256: ed3b19d37e58579c1915acb42b29626f040784fc27541ca585a98b48f11887b2
    application/octet-stream
    115.34KB
    2019-09-24 00:13:38 +0000 UTC