1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • coq_8.14.0+dfsg-1_amd64.changes ACCEPTED into experimental

    From Debian FTP Masters@21:1/5 to All on Mon Nov 8 10:30:01 2021
    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA512

    Format: 1.8
    Date: Mon, 08 Nov 2021 07:43:58 +0100
    Source: coq
    Binary: coq coq-dbgsym coq-theories coqide coqide-dbgsym libcoq-ocaml libcoq-ocaml-dbgsym libcoq-ocaml-dev
    Architecture: source amd64
    Version: 8.14.0+dfsg-1
    Distribution: experimental
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    coq - proof assistant for higher-order logic (toplevel and compiler)
    coq-theories - proof assistant for higher-order logic (theories)
    coqide - proof assistant for higher-order logic (gtk interface)
    libcoq-ocaml - runtime libraries for Coq
    libcoq-ocaml-dev - development libraries and tools for Coq
    Closes: 995543
    Changes:
    coq (8.14.0+dfsg-1) experimental; urgency=medium
    .
    * Non-maintainer upload.
    * Drop retired Enrico Tassi from uploaders (Closes: #995543).
    * Rework d/copyright, d/gbp.conf, d/README.source and d/watch
    so updating to a new upstream is cleaner and simpler.
    * New upstream release (update patches, d/rules...).
    Checksums-Sha1:
    be61244d1a948574d72b3df0e20b4ee622de8228 2534 coq_8.14.0+dfsg-1.dsc
    1cebd1e8d107dfe885dad6be3a6adbd80a7b4d69 4612184 coq_8.14.0+dfsg.orig.tar.xz
    3dee7aff9f1973122d1da7dcd04ac2b2b75262bd 36296 coq_8.14.0+dfsg-1.debian.tar.xz
    5591c86378e8a94e1aee4843d668415de116429e 10253236 coq-dbgsym_8.14.0+dfsg-1_amd64.deb
    5305db0eaf84397471769ce15bf5f6ab4db77fcc 24893748 coq-theories_8.14.0+dfsg-1_amd64.deb
    a669a5e02dcf91d62d7b975600ca867959fec914 17771 coq_8.14.0+dfsg-1_amd64.buildinfo
    a45ebabd0d6cb3c864896331aaabd92b326db320 78891060 coq_8.14.0+dfsg-1_amd64.deb
    de04df14a39f47af2b0b5c341766a50b30487768 575060 coqide-dbgsym_8.14.0+dfsg-1_amd64.deb
    70e6f683fe71ed9079d3f6e8c64e911f0bdf3c99 1893820 coqide_8.14.0+dfsg-1_amd64.deb
    e12492b6562ca2852fd489af65f84055594eddb5 1856912 libcoq-ocaml-dbgsym_8.14.0+dfsg-1_amd64.deb
    d7cc7b6eee6936d4bfb277b2821607a1fcd0f6ca 57553644 libcoq-ocaml-dev_8.14.0+dfsg-1_amd64.deb
    b591742a7f462c753ff6e281a4c7327cfb0408e0 6203400 libcoq-ocaml_8.14.0+dfsg-1_amd64.deb
    Checksums-Sha256:
    bf69dbe69f425d8fba44b55f88d233e22aec7a854e000661da3584a17873b8a6 2534 coq_8.14.0+dfsg-1.dsc
    7676f1a7ff01ef91ed126db8b07faa2403d9d0404ee7af44b9a1e7df288ff512 4612184 coq_8.14.0+dfsg.orig.tar.xz
    0a40555cf2e382e6791d25013e5cce6db1f79b33afe93a23c517432a76930f28 36296 coq_8.14.0+dfsg-1.debian.tar.xz
    a76e1cf738a969927539a1d07c44ff4b7c192032076ccc446f607a02ceeedff7 10253236 coq-dbgsym_8.14.0+dfsg-1_amd64.deb
    72caab8ffa5cfff786260d0ef814feb0cf497edd0fff5a48e573717a410dcfb2 24893748 coq-theories_8.14.0+dfsg-1_amd64.deb
    9b86233fa753eaac67cfff37238b8fe3212845f2cabf60c24b33dc2439a98562 17771 coq_8.14.0+dfsg-1_amd64.buildinfo
    0586529fb20edec77cfca91915b36f7645cf2c43282f4b0e8fc7c7fc212aaf70 78891060 coq_8.14.0+dfsg-1_amd64.deb
    22a1ef28393a35f4e244ab0fedbda6b25c43bc1a532498678753eacfb71e749b 575060 coqide-dbgsym_8.14.0+dfsg-1_amd64.deb
    9a0fe6171c72d762377fc38a3c15fdfda025ac68b05849e08f999d164fb969c2 1893820 coqide_8.14.0+dfsg-1_amd64.deb
    8540c6e0cee5faeac903af706fa4724123f7decef5f54c8becfd8b88e94443bc 1856912 libcoq-ocaml-dbgsym_8.14.0+dfsg-1_amd64.deb
    3ad8143ad7ceda79b9b19f0ddadeb701dd5a0a23cc5a145b05496c4d4712ab9d 57553644 libcoq-ocaml-dev_8.14.0+dfsg-1_amd64.deb
    d9c2731042f014d058c2460afa2c7043abfcaeebf39205e0e5b89abbcaaa1fda 6203400 libcoq-ocaml_8.14.0+dfsg-1_amd64.deb
    Files:
    a9fa08ff74db98ed3f8a817b70cc5e94 2534 math optional coq_8.14.0+dfsg-1.dsc
    c7d98331b270e6c20b734deb1cd3f049 4612184 math optional coq_8.14.0+dfsg.orig.tar.xz
    fbf50edc3a672b63bf8078a3abcfaa91 36296 math optional coq_8.14.0+dfsg-1.debian.tar.xz
    aa44861a5630deba1ae720db5e74c91f 10253236 debug optional coq-dbgsym_8.14.0+dfsg-1_amd64.deb
    3ad993a6d97e92d79ca69b6aa6583160 24893748 math optional coq-theories_8.14.0+dfsg-1_amd64.deb
    5fa20358ad9ebfddb7bfef490a506dfb 17771 math optional coq_8.14.0+dfsg-1_amd64.buildinfo
    ea61c5f2790e8ab137091223d71409be 78891060 math optional coq_8.14.0+dfsg-1_amd64.deb
    1da1a93fb6860904e7a00ab9672a341d 575060 debug optional coqide-dbgsym_8.14.0+dfsg-1_amd64.deb
    1655b32f6d6da573b9b9c987ec81ed72 1893820 math optional coqide_8.14.0+dfsg-1_amd64.deb
    9e234142d65d7aead97a3f4aef8169f6 1856912 debug optional libcoq-ocaml-dbgsym_8.14.0+dfsg-1_amd64.deb
    32333aab21ca5dfe32be090d55044590 57553644 ocaml optional libcoq-ocaml-dev_8.14.0+dfsg-1_amd64.deb
    2ca3f7720c9c7333f66ee1ced8f92ae1 6203400 ocaml optional libcoq-ocaml_8.14.0+dfsg-1_amd64.deb

    -----BEGIN PGP SIGNATURE-----

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGI0OASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRCnkP/RNWCJP+Q6lvgt1n2vwT4n73x21pjVrP 2WWmRj2hSY6+T+kOJfGfxift1lxgslHGjFzR2ldpZ2oZC7v7EZHDNcBIfek4Ze2q qwP/bY6gqBIM3S8eP51pFRz/HZA4dw1aVY67UxZgLxnSG6OzdhDDXoVStkMbzcaB pYWmdwYo2zu2Xbdi8TH3milwbRZGuVqrsU50cLrsPZj2bStHndAk41Qjia5kL2gS aqWoGHKL2X/y8RF4JumnVtgk8bR7SCRLwX7hP8ut8s6TpdOg1brY9tmbLv0hdAAy JxciOdBUzrO4ocgZ9B8RF0zIykvYRifjg+BaMbd19bEODSHEA7X/2WDC7nTB4bYi 2BU06j25HCwKpMP5FMX/duu5hfBi9PiMkXNLH1WYG/zeFxrXZbdQY91hQ35XvCbK +Id0CLXiBgFquotSYLmZoW2igi1cz1PeVY653IWEOcKaKf2ogEFPpFRXodr55wEt hX2y5L98XJFtpGHujXtTkqI/6NfxhUBfcBjV1aAvDSuVBUuPt3A3R+h/Sv3Qv3xH AIg/ZldWWOJDPJwgOBZT9WQgv3FRHP90OaNAQxRj/fITrTK7PgiPOaNrKNf7xmUI Z7eBRHLgaTzPrsXY+rIBKn+FyuDNvifzMfOxLut5dKS8265d1TwmGinYxo+frvBI
    yFnDWEwI6FAz
    =aaME
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)