File Search Engine
  • Search
  • Syntax
  • Fields
  • API
  • metadata-backend.ftp-master.debian.org · unstable_NEWS

    /changelogs/main/c/coq/

    The Netherlands · SURF B.V.

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2024-11-20 09:37:25 +0000 UTC

  • metadata-backend.ftp-master.debian.org · testing_NEWS

    /changelogs/main/c/coq/

    The Netherlands · SURF B.V.

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2024-11-20 09:37:25 +0000 UTC

  • metadata-backend.ftp-master.debian.org · stable_NEWS

    /changelogs/main/c/coq/

    The Netherlands · SURF B.V.

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2022-11-29 08:28:08 +0000 UTC

  • metadata-backend.ftp-master.debian.org · oldstable_NEWS

    /changelogs/main/c/coq/

    The Netherlands · SURF B.V.

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2020-09-09 19:16:07 +0000 UTC

  • metadata-backend.ftp-master.debian.org · oldoldstable_NEWS

    /changelogs/main/c/coq/

    The Netherlands · SURF B.V.

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2019-02-03 00:29:03 +0000 UTC

  • metadata-backend.ftp-master.debian.org · experimental_NEWS

    /changelogs/main/c/coq/

    The Netherlands · SURF B.V.

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2021-11-11 16:40:04 +0000 UTC

  • metadata-backend.ftp-master.debian.org · coq_8.20.0+dfsg-1_NEWS

    /changelogs/main/c/coq/

    The Netherlands · SURF B.V.

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2024-11-20 09:37:25 +0000 UTC

  • metadata-backend.ftp-master.debian.org · coq_8.16.1+dfsg-1_NEWS

    /changelogs/main/c/coq/

    The Netherlands · SURF B.V.

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2022-11-29 08:28:08 +0000 UTC

  • metadata-backend.ftp-master.debian.org · coq_8.14.0+dfsg-2_NEWS

    /changelogs/main/c/coq/

    The Netherlands · SURF B.V.

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2021-11-11 16:40:04 +0000 UTC

  • metadata-backend.ftp-master.debian.org · coq_8.12.0-3_NEWS

    /changelogs/main/c/coq/

    The Netherlands · SURF B.V.

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2020-09-09 19:16:07 +0000 UTC

  • metadata-backend.ftp-master.debian.org · coq_8.9.0-1_NEWS

    /changelogs/main/c/coq/

    The Netherlands · SURF B.V.

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2019-02-03 00:29:03 +0000 UTC

  • metadata.ftp-master.debian.org · unstable_NEWS

    /changelogs/main/c/coq/

    Germany · FASTLY

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2024-11-20 09:37:25 +0000 UTC

  • metadata.ftp-master.debian.org · unstable_NEWS

    /changelogs/main/c/coq/

    Germany · FASTLY

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2024-11-20 09:37:25 +0000 UTC

  • metadata.ftp-master.debian.org · testing_NEWS

    /changelogs/main/c/coq/

    Germany · FASTLY

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2024-11-20 09:37:25 +0000 UTC

  • metadata.ftp-master.debian.org · testing_NEWS

    /changelogs/main/c/coq/

    Germany · FASTLY

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2024-11-20 09:37:25 +0000 UTC

  • metadata.ftp-master.debian.org · stable_NEWS

    /changelogs/main/c/coq/

    Germany · FASTLY

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2022-11-29 08:28:08 +0000 UTC

  • metadata.ftp-master.debian.org · stable_NEWS

    /changelogs/main/c/coq/

    Germany · FASTLY

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2022-11-29 08:28:08 +0000 UTC

  • metadata.ftp-master.debian.org · oldstable_NEWS

    /changelogs/main/c/coq/

    Germany · FASTLY

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2020-09-09 19:16:07 +0000 UTC

  • metadata.ftp-master.debian.org · oldstable_NEWS

    /changelogs/main/c/coq/

    Germany · FASTLY

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2020-09-09 19:16:07 +0000 UTC

  • metadata.ftp-master.debian.org · oldoldstable_NEWS

    /changelogs/main/c/coq/

    Germany · FASTLY

    SHA1: 38e0cfbfa9b56a1b3d96d4fe9cccab302cfd0a91
    SHA256: 71fc93614eb70026b023680e3ddca5d7580cc6864ca5a226783e36230a75b3d4
    text/plain
    335.00B
    2019-02-03 00:29:03 +0000 UTC