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

  • coq-libhyps_2.0.6-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Jan 25 09:10:02 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Wed, 25 Jan 2023 08:05:15 +0100
    Source: coq-libhyps
    Architecture: source
    Version: 2.0.6-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-libhyps (2.0.6-2) unstable; urgency=medium
    .
    * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1:
    d918bdc02616ffae02e0bdc92281b78a9299ff80 2072 coq-libhyps_2.0.6-2.dsc
    30bd58cb605223f91827d07b95afde8520082414 1916 coq-libhyps_2.0.6-2.debian.tar.xz
    baebc7eb36185966e2bae03e0f1ff2b6c69da768 7387 coq-libhyps_2.0.6-2_source.buildinfo
    Checksums-Sha256:
    4a2508dd9e09161e4751e9ab0f080922e502e57a4bfa577461dd1ff4a20b317b 2072 coq-libhyps_2.0.6-2.dsc
    a64794b940c5d2887231f8bc4c140564c0403c0392465fb78e4a0f691cf92d45 1916 coq-libhyps_2.0.6-2.debian.tar.xz
    21a38a0989b3b1aa42ee6123b7988ed6f2a189878d9fe0aa0a417c4f33152633 7387 coq-libhyps_2.0.6-2_source.buildinfo
    Files:
    a01affce47ac378ce7f38993005f6bde 2072 ocaml optional coq-libhyps_2.0.6-2.dsc
    3af42417a0ab03991e5a2de71fed2812 1916 ocaml optional coq-libhyps_2.0.6-2.debian.tar.xz
    50b978ee22bfa05f9cffe09a0f0c9d42 7387 ocaml optional coq-libhyps_2.0.6-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ1NkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR9BwP/3TJTU2EVclIC0j7FWC41vxnw8+1D+fs Jg54HnHlNOe4b/iRLlhyQotCHLsdEg3uXwodoAF8oJpB07+BoI5UQyWtbkCeg0YO LOfLZ561b1Aq090OQgVklK5+mhzIzQ3csC5roG5xeMs/Hw4PJ/bEliW5GSAsTrTC l5kxygFnnuAQkSYBMszhzez8xgMaCBp97DHZLy2J8sgGylTt+FWniRbFGDy6cir3 j7CEUtS2NllVHC0WmAUPIdGcjnX84A9u39GtYKYfFwtF1NPe7cJKd6DjopVkMq1t BkJWW6zx4WzyEfyxYk2H8fVDhxOdnYacdrNVngKB7fEP1gD5peegPp7LlFEo+WIR J8y+15dP9S4SHcI9neoqD6St/7lfZZyCU6L9cgdQaOa7aAnyQXpsw9ZxrRVix8En RqD4HVD4+7cABpd+oefeFpZdQ94gHSD9cYh6W1bJju6J9mYHSdKeqcn1r3UCZ0eu XBF5TlPxHG6g/Jj+FATN7xNL9O5erc32jOkD7UUMZJS3LmWwucxSNlpokFHeKeoa Eu8w0YDfpAfzXLWmsqR2AuJaEAHylu+Oc9ROiqF7HL+O6lqfRfVDI8BXaJa+7K7v m0cS1OS98jxrxAjVyYYdCRbbIf2MNowIoEvBB44f8HxOvssCXoE0j1EYPGm3unc7
    2IjnMAihAguI
    =CcmG
    -----END PGP SIGNATURE-----

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