Accepted mathcomp-analysis 0.5.1-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted mathcomp-analysis 0.5.1-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 13 Jun 2022 09:04:41 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=UWYx6+T+42Zje4V6aoYno4ofUu11lk9iEpbnH9AvzEw=; b=dBo5E992/SMIt4VPMfD1cyRGVC 28f5wDrg1avbtVNVvspMrSFdpzvAygxFOkc5B7qjdlH3M99YJc0yBHHULyhvc6lzcgt8L83aGaq9s nMFbcnT1vL4NYU7IcjLHe3+mVXAOcJuSs875stpZrSbN8sDs6lyKs2+1AvlcBsHd+Am9LU6fS12+o PFCcNxnHGExZXCrx7TU7DOTAsZUdN6QHtuJYF6Hh9e5u5AnsIXq2i8ZtiR3zrl+pOOoYf5ko+UAf0 PtetIguwO6kT+Ks5b1uBJ/oYoKwopuuIoWEwwd/tXbFKoev9YnKAgTDRw2WUHXQP+Y4nmr09P26ij UTw0aXCg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o0g01-000IWE-V8@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 12 Jun 2022 14:24:00 +0200
Source: mathcomp-analysis
Architecture: source
Version: 0.5.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
mathcomp-analysis (0.5.1-2) unstable; urgency=medium
.
* Use dh-coq.
Checksums-Sha1:
988b67af4be5fe6384d86c22b675bf97444042e6 2319 mathcomp-analysis_0.5.1-2.dsc
7073fbd117d20332a717740c2d788924668ffe8e 8512 mathcomp-analysis_0.5.1-2.debian.tar.xz
1cea0410515f02a38f4081f1f0764af10de34be8 7682 mathcomp-analysis_0.5.1-2_source.buildinfo
Checksums-Sha256:
00ed20d1500503e6d28d0be29e138e081384f09d1635b80e416bccea1ecf7015 2319 mathcomp-analysis_0.5.1-2.dsc
b8a0ebefe049b2e09da3005d3e3fbdd8134e1efd7d7e1b3b12236304c2a42f32 8512 mathcomp-analysis_0.5.1-2.debian.tar.xz
da34a5b0d3498087ce309f05ad0556fd21806d8f7d8883f6ef2a6bf8c27d2715 7682 mathcomp-analysis_0.5.1-2_source.buildinfo
Files:
00396e40ca1533a00e3bb20c635e45a8 2319 ocaml optional mathcomp-analysis_0.5.1-2.dsc
7a218b2200e61567651870b1a7255975 8512 ocaml optional mathcomp-analysis_0.5.1-2.debian.tar.xz
3406e922e80d471d4a89137306caf00e 7682 ocaml optional mathcomp-analysis_0.5.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKm+ogSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRkKQP/2WBP3Xavbuy9Ucxv95aDzRJhldQk1w1
Vj3Z44wmdHAEEx119uBx/OvmV+/YY8TlVywC7V2Z39neDBOmnw10OTVPdgLweeQ1
r8P6KplE4gyOoesZS2GmZWTSZU/2JnusF8482SaLL5jvCxdhhwSD8e7L87KY1FDl
jE+A/tjs/OLRHAoL8sI7YmXfACMjgIoQ1Md+Gf0rxJzuxfhZQFFy841JWxQkO6RL
FxY+Fh09P+zgm/O1svONimYEWV+LjITe+Hsnwbe/vHYr7V8cXJfw0PeITpEzI50P
nfLuxEOOpuboa4gkR/DHVnIeZr7y6ZP8cn6uNRUEB8KdGVpMNLqBltdBjnTU5z3I
x5twfaPZfdkDJNGLxP/8JnSsZFd3NKO7eAsuJq5M2UE2Su8erWz+UbqbUY0kVcYu
Hg3LDVez2Gka6oxq09/l68d0CVaM1dubXVyKtmIDxgeZCvldWrniz/Q+Yo5EWBg0
6i6vNzx+k94HLgysLkuEg2PTsnVbgXAqVfqyU4INMFLPFs+b7taZZz8JiBWgBooI
kp0rs8fNNP+ifGrBIeTf8fiz90wVEoLC8Ylk0BnhXfd/RT7/q3vaj4JZqgIk0C0V
w10C/nsiy4Xl1G8xegv+jF8jvjqq+xO4Hzmh22yAoJvzqGhRozUHRlhoy3u+2yXZ
xyeXYfIitbCb
=5VIB
-----END PGP SIGNATURE-----