Accepted coquelicot 3.2.0-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coquelicot 3.2.0-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 12 May 2022 18:00:09 +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=rCViOnQF1ynps6kl5GJFw46GX9rfHZbvpGdZfuZsGzg=; b=iukKjfZmK20XEGpgYYZglsK4cu 3QJ2yndxF6JXPwQs51hS7H5S61ZA4JGHbBWl+/D3WCqOBeqeeJCPqt3ihi1Te88HBkfuN5y3G3b7A MQpAy+CQB15Ol12O/oUFmNR3HCD6cNXTe66dj4wFTZvD18a7AVLrmzOg0DpHw2TVC8FKKrsPe8hBg 7QAVlBZSVQV3VsUEYJ2usZL9tKe4XWFlpdbr7Jh0ha5zhbOacpCw+y3relrg6qZKRU7UfSdUEpZDh rK/dh3/eLWKGtHQrudOWQFgryiUAP/Zj8OKfs3N4Bs8Oct8BkDzp877yMVyUn7hY9DmR9N7olQGJR 2zOJxqJw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1npD6f-0002qo-HV@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 09 May 2022 19:49:42 +0200
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: source amd64
Version: 3.2.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-coquelicot - Coq library for real analysis
Closes: 1010767
Changes:
coquelicot (3.2.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1010767)
Checksums-Sha1:
ba1046c7a2feaa3037f3e7fdcb4c0d6cbdc487a8 2048 coquelicot_3.2.0-1.dsc
0b00fc7c6d70433af8aee17718b39402de1ed3f9 277736 coquelicot_3.2.0.orig.tar.gz
7fde84514606023a1b478620b5fae5cd57aa844d 2080 coquelicot_3.2.0-1.debian.tar.xz
9eb432cb27d3bfab27ce1cda85a0030a09ab54db 7062 coquelicot_3.2.0-1_amd64.buildinfo
954e078ac3f3367619f742b7705ee8ff2b3a40b4 3267284 libcoq-coquelicot_3.2.0-1_amd64.deb
Checksums-Sha256:
61318bc6b252e4e9dcb62a298e617af2275292c7fd8a711aea4dfece41f27234 2048 coquelicot_3.2.0-1.dsc
2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
c96ad1374d36904ff4e366482e5fdbfe3fb7bdf57e727aacc3808b2aec763703 2080 coquelicot_3.2.0-1.debian.tar.xz
95f9d73ffae88be3b4f35cc36622c47e916582ede4bd1e7871793d2606bc0710 7062 coquelicot_3.2.0-1_amd64.buildinfo
d189ab3dafd33247fac2eda69b5fb1c54bb67e2986dfea04c1ac7a3d7db5b3f0 3267284 libcoq-coquelicot_3.2.0-1_amd64.deb
Files:
fa0a37126a77a0079ea7c3188b5059f7 2048 ocaml optional coquelicot_3.2.0-1.dsc
ecabe7b5f5286064fd4bff35fcd42673 277736 ocaml optional coquelicot_3.2.0.orig.tar.gz
ed4f7657e4188a67f376f7f858bc19c8 2080 ocaml optional coquelicot_3.2.0-1.debian.tar.xz
f7c0faa013beadcfae9a75dd5b6efd37 7062 ocaml optional coquelicot_3.2.0-1_amd64.buildinfo
619d57c06f7ce83729b76b758bc71872 3267284 ocaml optional libcoq-coquelicot_3.2.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ5VucSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR40EQAJtLyMwLbp92opmZbsulefQLIraVKSQc
kF5Nf73tT0sXqVmFfnkyEAeuRCEXpaSlEYkV02ABm5LgUZtX4iHnTlEKInOzfdrY
+A9fAFdbzdhLvQzVgQ48fJiuCBBrAn04Mg3zNPMLZnvbIqVon6osn+JcOPxeZiiO
WY+9mYOVk4pq7AaK7MINUv25kC4chsSOmh4yWWmgCOle7IL8lcNj3FuGuyejG8yR
pV4dPyZDdfpyfs5xZZb1GZUm5ROytcMrTMaV3BQUmiw7awaHiGZjv6ZVjs812/hx
D3vTu0mM0N49UUVqgn/2rJNqVTWv+SezlOwtQN8dYML20vQpXKVh0lShkN+GfdTM
XwaMEA6yRb1N86KF5wDPEuqFDPIIsEB8U/cxJv/GqI/K8Ig+giSVjQc1LK2d2ovw
0xq/KXMYFocokOVGL3/whLn660SftHPUZA77S/d2fOa/hGcHSmNCHHx+IH1HF1oV
5rHJ6gaybB+Adm0TCuY6pD1zbWcDmtSvMNhtG9VyeYNO2w5xa9CRTL8AX7kpYYiA
zustZRVWi3QCDNX27O5NWXAxS/rYIE8oFrjZmKcpd3/RdnLhOe4Y5/1jsbmiVJKf
O6WXgysEaoVQxho1JHrJlI1Ob5MtLnlKgc8JqJseEKl/TUM1912j2GFkVrpHzH8A
pBCqU6+AB6hQ
=YJzO
-----END PGP SIGNATURE-----