Accepted coq-interval 4.6.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-interval 4.6.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 27 Oct 2022 18:34:02 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-interval_4.6.0-1_source.changes
- Debian-source: coq-interval
- Debian-suite: unstable
- Debian-version: 4.6.0-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=sS/GRg5EqbpFOCqCZ4S23bgCf0zlP8CZC7kRmFDY9O4=; b=gpBi9bJjuozhIgww+57DXKQR5/ sqPHR2muuv4RTu/ZLWjmOaPQG64ZMaB73EHZshNQSqjsTwLvK/yS7TJD910ovQs1YVePPuWvTsJ+W CptSIqSVqa5Tr3c8P6kNGRgLdRdklN6L+HfC2jtpAdo000E1obKSOzSR4xlAF76Uj8KfYKlKeIUFn 63YdMeywuduZ4RZ427WLHyqng9BB9UemY3o/h9B5DFqZkNw0d+7lGf3on9ADtLJUSK2naZIR1So7/ mdHJfCnDohiNBz62HgTxJDmTUKTe/jK+m9yEVdd5F+c9TLpMHVzu+RMdAJC4M0gaJBrINF3O/gPfi M/Dz0apQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oo7ha-003DJZ-VD@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 27 Oct 2022 20:19:05 +0200
Source: coq-interval
Architecture: source
Version: 4.6.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.6.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
0a48d58068c9566cb5d2378c2aff5a74d24d55ed 2182 coq-interval_4.6.0-1.dsc
ca1c5a5293a958c97634d7d90f892be97bd17a71 259268 coq-interval_4.6.0.orig.tar.bz2
3971607ead1eb068d83bb264a89cacc0aa55480e 8720 coq-interval_4.6.0-1.debian.tar.xz
bd78e1e96e81e5ac5712fd6943389d76a804515c 7647 coq-interval_4.6.0-1_source.buildinfo
Checksums-Sha256:
ea5f1b6d573c40c21a4ba91444515d7689a89d921c6c174ba9529f9ba42dffcd 2182 coq-interval_4.6.0-1.dsc
d42c8eda6ce2a7c52952fefeda269059646fe903d7cdfafc51c9f55004e0aa6a 259268 coq-interval_4.6.0.orig.tar.bz2
634061b685630a082504e034e628d1d43c5dd1520432ef799828c601fe90ab48 8720 coq-interval_4.6.0-1.debian.tar.xz
b4fd30f26dafecd6396fcd08cc5968dd13085d18985838047c6cd8522d79dd69 7647 coq-interval_4.6.0-1_source.buildinfo
Files:
dc66f1c64df4cdbc17c105b0290e6a9c 2182 ocaml optional coq-interval_4.6.0-1.dsc
7fca1f97a24a51983a28372e65042615 259268 ocaml optional coq-interval_4.6.0.orig.tar.bz2
b29b68c942deb281492970522876c952 8720 ocaml optional coq-interval_4.6.0-1.debian.tar.xz
8248addb0aa94f1e06a562a8be911a65 7647 ocaml optional coq-interval_4.6.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNay7gSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR70AP/Roq4K8bDvWw6NhZtTFXMe509AxVEktE
mXmquviJLOIH6110qieUtsb24M+qoMTc0oU0V22KBxm9+DPX2cpp0E2fZJXTGQ5O
Opi4GrniMNfas5xuSMU+XAmb5tbFT8A9xnbGm7MnIK2gF3qvG6VI6VkJrkhDCJZZ
Gt8E4DfnmT1rrrlp268damsd+mN/SDIaLzaI477iLsS5G7T6Pu14BmWkeLwu6hLP
w9EJlFu/5yxquH4fl8hBYTTE+AB/1Qxq4x03ntdODdOA27uf0GnB/K54sfBk11NO
VbwURwxijvrB+/fAL0cucpK7hHMskiET07ZW7R1SpjwSGUUWhtYU4SGBHvsDHqU1
Jicd/DSRFvOziWsx/4jvxc2RMGB/xMSm7suJzl3eSfMgbPf8D4BgrcYQt5BOhhEp
kyGD2Ry5sMsusEeBixGgHTw8gWFe+JsXXQuLxexEloF0zkb7uKClKc5Zi6lfFkcP
SNv60YMcIW+ZMGKfCony1CJ3eO/VLghCY9bzgpcepHUdnHsl4oHyKw6x9cE1pVdx
KDv6KbS1UxsIjz8GF9ey+0Q7lDWZkNVdT0Fdb5EJgWi5dPiXzbumJJ6E1cyg8jss
BvKvogG5gk3XtS9c4IGOCqqgZxuQBbZm4MT487gPli0Mwv+haFy1uoWI0zQ6oUX/
ZGoNav3XXRW1
=qP43
-----END PGP SIGNATURE-----