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

  • coq_8.15.2+dfsg-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Jun 11 23:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 11 Jun 2022 16:16:14 +0200
    Source: coq
    Architecture: source
    Version: 8.15.2+dfsg-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq (8.15.2+dfsg-2) unstable; urgency=medium
    .
    * Use dh-coq.
    Checksums-Sha1:
    4ba4ae71645f294ebc4a00de4c317f0417cf787f 2607 coq_8.15.2+dfsg-2.dsc
    13c9e58644622abf2707e8e7dbe3268da1a8fa05 40124 coq_8.15.2+dfsg-2.debian.tar.xz
    c4502b2727c5dc4634203ffa45d1b3703b054f89 14767 coq_8.15.2+dfsg-2_source.buildinfo
    Checksums-Sha256:
    a0e60559a0532e200567ac4d2cbaa43f28cf99271c3879c62d0a0efaf6f072f0 2607 coq_8.15.2+dfsg-2.dsc
    623be694fd78e147608bd20a1e34593efff5f8d28bc4597d075fe8278f22c6f4 40124 coq_8.15.2+dfsg-2.debian.tar.xz
    22cd13171844e496eb52cc879df2b9fe5423ac8a496b05ad47da9450bc3a3baf 14767 coq_8.15.2+dfsg-2_source.buildinfo
    Files:
    529996150988b5b7ddd9b3cf879267c4 2607 math optional coq_8.15.2+dfsg-2.dsc
    1340e15f0dfc36eab8ddf7567dc5e3e4 40124 math optional coq_8.15.2+dfsg-2.debian.tar.xz
    b8a4ace7551a5c8098ec643c4b99a7c3 14767 math optional coq_8.15.2+dfsg-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKk+LcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR4E4QAJWW6Cv5Cq1f/vzbGMfbsHZPadWfl45x 0D6dcyn6G3E46986boFflxV9qdgTdQXegDFQskIDyYJYpKZbCrjko0xKw4iIDqa1 2AEP087R+yu75FDud4gjS6Bc1oNfRuF4qOULFCxD3uj7IQGFTn76d23O+A+rUbkK 7FqwARmmYVMO+sVxsc6yKfE5zdjCkrQowPxgZKTBKynpDWZXu/fg5qciRlhhhOST Y9ZQ+V5lP4F1gteMuSF2foE+h6RH74NMLqUEM44ynOqBjzxDzI+/H2OpF1aA1h0C 5HiZj6z2yaPSsCHZXpWiZcPBJKPUVSFUN7sAlU+mt8hmpxmso+FpnZH35cbioFFj bLh3WqtDQ5OPp2WxajP+Pcy694VjhHErmr5bs+C8NMRCI0H2Oc0AAwp8xmjMEYt2 8RzYTOoJx6NhZjW1QNHP1LoJqqT6NDCMCt2u69JwNpzpw8vdw0S0QvMavcyGVf1k s7oZxoT9DzB0IEmMPQ/TLkQJVfgEXLK2eWlhYtzuVQgFjQUscHW2ma1t32hgMv9D sDjw/JhGle70R/fAkHrd5KWTv0p/iAQsBQvyqD4ddsMQkwoF3n8zXb1G+XJWojmG XhEplj6mB5yoyfYxAz499l0yj28t977mFIaF7zuT7Dm+TE5n2HKtxOuv0gB6wYBy
    1AIFCSXaadDf
    =b54b
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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