[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



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-----


Reply to: