• coq-interval_4.7.0-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Thu Jun 15 08:30:01 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Thu, 15 Jun 2023 07:21:58 +0200
    Source: coq-interval
    Architecture: source
    Version: 4.7.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-interval (4.7.0-1) unstable; urgency=medium
    .
    * New upstream release.
    * Bump standards-version to 4.6.2.
    Checksums-Sha1:
    5ac708b2ef3481774f154de8ee10ef19f0c03dfe 2187 coq-interval_4.7.0-1.dsc
    f9b22b532d901fc8dddeb6f62c673ca88bea9f5e 260975 coq-interval_4.7.0.orig.tar.bz2
    d20949a0d98870d361db2e0dbdfecf418a03fb58 8828 coq-interval_4.7.0-1.debian.tar.xz
    d7e1720f7f6f9024b20770b3e57ae29072a5ac50 7571 coq-interval_4.7.0-1_source.buildinfo
    Checksums-Sha256:
    011048061115873d8528317e2a8839e1aa9029bf82e78525ea22bd8b60d42f94 2187 coq-interval_4.7.0-1.dsc
    bf9a6d6fadcac7706dee3bf012ad2393e9324f4501305e62bcd89e9c78820028 260975 coq-interval_4.7.0.orig.tar.bz2
    3e1f52f94d6a8924c29e3244d90f1009f66f46557ec786ec4a3d67b745e26b7f 8828 coq-interval_4.7.0-1.debian.tar.xz
    cb42d3107d56b1d2588049ade6142a935644aeead5d64e67f18c4bf5cf6b1034 7571 coq-interval_4.7.0-1_source.buildinfo
    Files:
    925e11d0eb441082576811534596d696 2187 ocaml optional coq-interval_4.7.0-1.dsc
    281ec2a3721f822195eb172a0efd139f 260975 ocaml optional coq-interval_4.7.0.orig.tar.bz2
    06bb513d13da16d85f58a384d951ac7d 8828 ocaml optional coq-interval_4.7.0-1.debian.tar.xz
    a084cfff5f18f9938ca8d60a52c1f5dc 7571 ocaml optional coq-interval_4.7.0-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSKn/0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIKkP/3cm/rfTrkindb3ne8a3eQQG7wb2D+7C Ok/Iqc2DN7DUTs2laXU3gqidYHNKO2hPPG3AVylFIh/gVgES+nwVf1fFXPLFNq7I +0iRxX57m+ZOuD3uUvrkrUAZ7mk6+flv0SWzvpOyMp5IC9+TerSXMBjwCfTXRXyU uo+0GQ2yA+K9B4af2yewrR4dDAypuM0/jJRtCRSnX6R+/Fr0jHi888A+Pv/7+h90 7MppIvNMwWDs9nOP5Cv3OLyvmaIPV7+w0PG+CakdhVaUs5R+PG0vISCrDrhBrTWf tKcIK3pSz/nt8qJtCj8280c/++dRmkb/bz/HthI/QbTnvqKpZ49LbQD82KyNazvG JAXxgnqAJM2Q3fDi0aVpLxTwGIaIIjODUUjfgMIV7FNFTmGtVn2bXgP8lItb04lK wKFw8D6CvKYX6YkDV4ad2/tjnR4s3oP/wkjJrGpRBiGUsjqvEWvlgglM3RBO+Ufr 18kjmREJdVc1rwIOzylVRERByJgh1yov+w+Ok2AxGDWJmSbctLO4I4M+sKTa11W1 XZLEDEE1ImDt272GQ7e5QR3CTd6RIKafOAmcPoNiWpM35uDKQpV1euhoa/dXJM3O e41B1geIYhehd8/EdBw6ZCI6cSMB8RM22KeRdjW3wehbY/8I33YQT0vBr1Q4WTWi
    BqeCZfXX8UOC
    =Yhr6
    -----END PGP SIGNATURE-----

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