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