• coq-hott_8.17-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Mon Jun 12 23:20:01 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Mon, 12 Jun 2023 19:30:39 +0200
    Source: coq-hott
    Architecture: source
    Version: 8.17-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-hott (8.17-1) unstable; urgency=medium
    .
    * New upstream release.
    * Bump standards-version to 4.6.2.
    Checksums-Sha1:
    3e9d31ec7cdfca12c98b8efe8c1629d150c587a6 2029 coq-hott_8.17-1.dsc
    e6f3e473361b5c7585511587729ee0fc587052b4 908619 coq-hott_8.17.orig.tar.gz
    9ed082ea3f48e41ca107402d4038da8b48d0a8e8 2604 coq-hott_8.17-1.debian.tar.xz
    56f7faadb2f56b50ae56fab1f832660c8ec444b2 7323 coq-hott_8.17-1_source.buildinfo Checksums-Sha256:
    41969e60a79c98fe3ae1963c3bba26f19e128a62afae2da2ac5f66b5b6600b06 2029 coq-hott_8.17-1.dsc
    31e072757fa037b24316a466a8533da5b24dbe9549e17de17ef0d75cdb4e3d4c 908619 coq-hott_8.17.orig.tar.gz
    a2749b705c3e3ba5d75895729324a33e47261eaced267c8f6ad54909155aec72 2604 coq-hott_8.17-1.debian.tar.xz
    ff9b9934afa10d3a30812260491ff1d243a19f15b4b7065959c0a903daf6232f 7323 coq-hott_8.17-1_source.buildinfo
    Files:
    cb92791825cc2c7632ba9b1e97a56999 2029 ocaml optional coq-hott_8.17-1.dsc
    0990129003de98db86d291f947e3e016 908619 ocaml optional coq-hott_8.17.orig.tar.gz
    54b6b0fe2beca4e324058d43925769dc 2604 ocaml optional coq-hott_8.17-1.debian.tar.xz
    15bdfb6917c27731a3a03d0b4ca4d141 7323 ocaml optional coq-hott_8.17-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVkoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRXTAP/3HplFyUlxFqDJAO9WWoganMcFJIVuNC 7pifY2ZOqr9wFkSc6E2gQpOoyImmW7ZAtxlbNC1fNhiqeXmIq69eJorNe1ozkBz5 L887yten9jwfR3xdJ/h54ILKBPdODBen/In3ORSJSfWuwUCBktLbYS18pRSIcj+X aifeBebWYPbAxFt/d9jiW7b+xibHGGSoCQOhSLjRgx3QCKF5s3pUFcYuJ8VGnNUI D/0ysUL0foKUNS2YzKFZNyQ36rsxDZ9X5PPTz5EY2mGh9eLWnV9Qvi74gmtba8IX dQl5tH4L6XMEoh7UAPcdhlzLFMuRR4LofTw8RnfZa+IEGzpgMqfzQylHquWr+HNf WLKbh8n4NqSc7Rq497FA3ViuyA9azjsnUZfRqc4LWQIyFQMgmcrfe5cF2XLCD85u RNFZeGJD2L6S4+mpT2TxKSHOPlSxzEe0b7O44LcOYptAE5o0REYWP0c4/EYuzzTz Es/rlp55phE4QLPgrFR3AqcrTX+ytaUngpzOBPZFOFl4Y9CfjNGzW5GcoxeJUBOR nrV44vWus6AuohUuaUf8hmtsZ6x8hVfJ/38aPlvc0iKMbHYxonk27VB6flxheAuM cXkpPl6mVhpkr3IbsRfzWSFmgnC5yILOx5i+Bg/LHyRRM5a4Y02qMVAwpu9lQGfp
    kQms944Tx8Yn
    =7xou
    -----END PGP SIGNATURE-----

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