Accepted flocq 4.1.0-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted flocq 4.1.0-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 29 Jun 2022 18:10:13 +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=YuV/mRPpzkJqg7kwBpHeJ4w3M0V0B7SBX/y9RQiOw9A=; b=UuoyxOXdOp9nHaBQ9knsJ6M1fj FARCRFBDx1nNBoXWFOqIYrzzWdXFuT/xFdSRD8yGN1AEvZ6EfLKQ/Bc0UaftAqaKJnnjBoMi/1rd6 T33rhkksyOwkWCKvmKP9QXyI+/yoEMQ7ilFEGCWZKMJRnCvQoxeu08e/6861t4Zoyyl/u6q5SnSHq DBgoxbTA53aNYW0E/jeOCNHWi2aQ91BoG5SDj7Jxtxp0uYZ5SYZ6EzB8fXAPnukGU8StwFAtKZFoZ AK1qKrN2idbFLZSb40VJvWXUy++KEOiLMeDuUfiv/Gd9hYhaI2VJAqP+2X7O6VIurHlVt7kMADRKZ M58ZWzkw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o6c8j-000BBv-3I@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 29 Jun 2022 14:17:52 +0200
Source: flocq
Binary: libcoq-flocq
Architecture: source amd64
Version: 4.1.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-flocq - Floating-point arithmetic for Coq
Closes: 1014048
Changes:
flocq (4.1.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1014048)
Checksums-Sha1:
3fa2a9574a68df478a05de7420c9000439189a3e 2016 flocq_4.1.0-1.dsc
21449f2922ef3ecb6e53bbfab0de3ec24bab42c3 333149 flocq_4.1.0.orig.tar.bz2
949dfe30d3c13e957ba70b3cd9e6f9fe16ff699e 1484 flocq_4.1.0-1.debian.tar.xz
5f1d9599037aed77ad767c6d1c3678404b6d4046 7093 flocq_4.1.0-1_amd64.buildinfo
5f253996ef56e78cf457597a5bf2c0a8bb02c05e 3270468 libcoq-flocq_4.1.0-1_amd64.deb
Checksums-Sha256:
65ae485a2d0bc6e59af7768d5448a75b20bb283dcf643d6216818280c0b1d017 2016 flocq_4.1.0-1.dsc
0a73d9ad143c4022e818a6df20a4cf5a4c173e24c36585f4f2ddd24af4964fba 333149 flocq_4.1.0.orig.tar.bz2
78df3f8397c392865b23be3343e7ecc49ad19fe6507fb1a7025950375fb6aa0f 1484 flocq_4.1.0-1.debian.tar.xz
341fc9e6d1fcd48d33bb15423b3e108361d9fdbffc1d69fa75d077afbb53d7f1 7093 flocq_4.1.0-1_amd64.buildinfo
f099aade5f3c86290f06045c032ca6044136ffce16c445190235a0d3c0f3bf7c 3270468 libcoq-flocq_4.1.0-1_amd64.deb
Files:
3b46a121c51d073dcc7bcd24b7402210 2016 ocaml optional flocq_4.1.0-1.dsc
e7148b368a70f81feb3726f72c600b15 333149 ocaml optional flocq_4.1.0.orig.tar.bz2
566bc925f6d6e8738ed6454ba3a8272d 1484 ocaml optional flocq_4.1.0-1.debian.tar.xz
23dcc2d9a96bc3b3018420389131141b 7093 ocaml optional flocq_4.1.0-1_amd64.buildinfo
b8c3e09f4a2e6de82775d9c9d8ac3e6e 3270468 ocaml optional libcoq-flocq_4.1.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK8RHESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR930QAJKUM31Ia/rFJuaHh6cXAGFKH135Eq8t
jGkFsGYyL8Ie2+C4qyyZh7ftWLFKFy+u0st7SB5X7vWVSe/a41CUxEeI+McXrwhZ
qB0nJr5XpvcRayVQZbpGAE9iinG2mtkFXwq4oVvCJFZDWUn/4uIWDCZeWj5U6LsB
FDmG7jqoPlUM8lrQOy8Mpp6Vla6Ad5GaiF9QG7mauO3yO/KfYf27GbH8K/hmU5wH
5o3oHHfQj1bsIAgj3TLrIiWLxaNKETLk9oAMLV5sGKlh/bcI4e+YzCy3wz4PMctk
rmcP7eYYFImtk07fosKQIYYYWOfFXaWDTzRhUVNL7JLuwmxVEo4kh0fMC7UJvPq7
6y4zd48zXiGvDs526WAvqs+by1PQ+acFJn9+n5tqPAgc/reH7JT4MGiguEz3m4pn
AeVh1i77h3ZNHVpL7hejcPW6qxJRaZWUUF1rxEO/ufkT9Ja2DH1Lbdb2HR+dTfms
7pdU4JB6e4SVoO8epQ8PUkhFjttWWr4jfphi76bXIghu/jvRVO/sU3fYYy0aouhV
rT3CvPLIsSSldxgqWk+pKhBRNADe0yk/P6H9i8eYOKUFiybOxwIxBDmeYpvuH5ZG
3jdMhp/fXye6vzR/xJoewyHTUUkloAmpHH/oPW8TvLhPib+jCyGWOj/d69+W8S6j
7EiwtrR+Hwvf
=d2jy
-----END PGP SIGNATURE-----