File Search Engine
  • Search
  • Syntax
  • Fields
  • API
  • fake.eik.bme.hu · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Hungary · KIFU (Governmental Info Tech Development Agency)

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/vnd.debian.binary-package
    5.60MB
    2018-12-04 10:59:05 +0000 UTC

  • ftp.bme.hu · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Hungary · KIFU (Governmental Info Tech Development Agency)

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/vnd.debian.binary-package
    5.60MB
    2018-12-04 10:59:05 +0000 UTC

  • archive.snafu.de · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Germany · snafu Gesellschaft fuer interaktive Netzwerke mbH

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/octet-stream
    5.60MB
    2022-08-31 13:55:20 +0000 UTC

  • archive.snafu.de · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Germany · snafu Gesellschaft fuer interaktive Netzwerke mbH

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/octet-stream
    5.60MB
    2022-08-31 13:55:20 +0000 UTC

  • kali.mirror.globo.tech · agda-bin_2.5.4.1-3+b1_amd64.deb

    /kali/pool/main/a/agda/

    Canada · GTCOMM

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/octet-stream
    5.60MB
    2018-12-27 00:04:46 +0000 UTC

  • kali.mirror.gtcomm.net · agda-bin_2.5.4.1-3+b1_amd64.deb

    /kali/pool/main/a/agda/

    Canada · GTCOMM

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/octet-stream
    5.60MB
    2018-12-27 00:04:46 +0000 UTC

  • debian.repo.nfrance.com · agda-bin_2.5.4.1-3+b1_amd64.deb

    /pool/main/a/agda/

    France · NFrance Conseil

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/x-debian-package
    5.60MB
    2018-12-04 10:59:05 +0000 UTC

  • deepin.c3sl.ufpr.br · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Brazil · Fundacao da UFPR para o DCTC

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/vnd.debian.binary-package
    5.60MB
    2022-04-11 03:38:07 +0000 UTC

  • deepin.c3sl.ufpr.br · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Brazil · Fundacao da UFPR para o DCTC

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/vnd.debian.binary-package
    5.60MB
    2022-04-11 03:38:07 +0000 UTC

  • aptly.lf.net · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Germany · LF.net Netzwerksysteme GmbH

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/octet-stream
    5.60MB
    2019-09-24 00:15:10 +0000 UTC

  • aptly.lf.net · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Germany · LF.net Netzwerksysteme GmbH

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/octet-stream
    5.60MB
    2019-09-24 00:15:10 +0000 UTC

  • 185.85.248.30 · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Switzerland · Init7 (Switzerland) Ltd.

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/x-debian-package
    5.60MB
    2022-04-11 03:38:07 +0000 UTC

  • 194.150.225.74 · agda-bin_2.5.4.1-3+b1_amd64.deb

    /pool/main/a/agda/

    Belgium · Combell NV

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/octet-stream
    5.60MB
    2018-12-04 10:59:05 +0000 UTC

  • 5.9.58.210 · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Germany · Hetzner Online GmbH

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/x-debian-package
    5.60MB
    2022-04-11 03:38:07 +0000 UTC

  • 195.85.215.207 · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Bulgaria · IPACCT CABLE Ltd

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/octet-stream
    5.60MB
    2022-04-11 03:38:07 +0000 UTC

  • kali.mirror.globo.tech · agda-bin_2.5.4.1-3+b1_amd64.deb

    /kali/pool/main/a/agda/

    Canada · GTCOMM

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/octet-stream
    5.60MB
    2018-12-27 00:04:46 +0000 UTC

  • kali.mirror.gtcomm.net · agda-bin_2.5.4.1-3+b1_amd64.deb

    /kali/pool/main/a/agda/

    Canada · GTCOMM

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/octet-stream
    5.60MB
    2018-12-27 00:04:46 +0000 UTC

  • mirror3.tuxinator.org · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Germany · Hetzner Online GmbH

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/x-debian-package
    5.60MB
    2022-04-11 03:38:07 +0000 UTC

  • mirror3.tuxinator.org · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Germany · Hetzner Online GmbH

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/x-debian-package
    5.60MB
    2022-04-11 03:38:07 +0000 UTC

  • mirror2.tuxinator.org · agda-bin_2.5.4.1-3+b1_amd64.deb

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

    Germany · Hetzner Online GmbH

    SHA1: b7af8c8d6d83e70f3a0dcc12043da4a5c761d3e9
    SHA256: bf1952f4615c2fe085ea169caa2fdf540fd1c8befe780303f3bea0c871a1dff2
    application/x-debian-package
    5.60MB
    2022-04-11 03:38:07 +0000 UTC