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