-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 25 Mar 2022 07:29:22 +0100 Source: mathcomp-analysis Architecture: source Version: 0.5.0-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.0-2) unstable; urgency=medium . * Trigger rebuild with new coq. Checksums-Sha1: e6663a97930ddf648aa4f3dcc79869ceb3ab1b3d 2188 mathcomp-analysis_0.5.0-2.dsc f5c8345995f251c90896889303cd04e6c5fc77e5 8348 mathcomp-analysis_0.5.0-2.debian.tar.xz ba5ac5293e0797c338b975e2205367de50da874d 7017 mathcomp-analysis_0.5.0-2_source.buildinfo Checksums-Sha256: 6bcd9d0dad96aeaff690a9cff8dc3fdb5cca61d2f98d9bb4c47da91e912e637e 2188 mathcomp-analysis_0.5.0-2.dsc 7f27f8720248aba4a2444533488758524e8dd3ae8c13d392d790024791302cc2 8348 mathcomp-analysis_0.5.0-2.debian.tar.xz c4efa6cfc28576d560d5aadcd4016ea69452a144e5b09249bcdfd5ec096e1981 7017 mathcomp-analysis_0.5.0-2_source.buildinfo Files: 73a3c8d3d470eceb4c2fea4675c253af 2188 ocaml optional mathcomp-analysis_0.5.0-2.dsc c6b0df33fbbc33b434a57e134f0de51e 8348 ocaml optional mathcomp-analysis_0.5.0-2.debian.tar.xz 19ce969855b3755fd8762d50236d1710 7017 ocaml optional mathcomp-analysis_0.5.0-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI9YYYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRjykP/10fnYlh8RHYGkx0V6qVR2s+2DZLf51C P89iCLi667NvsYGOzKn3Fl2fCGPnyan3oT2OJu6LTGIGToGSUTuKPHmWAbvuI/oy rl4HyiWZ7ItsmDlGn7L27iuLMNRpwB+PdvgG6idz0R1okIOus6/krVfcf/6P7wtG RD3/t7yLILrhM/c8jk6D5CAf6Bzl7owYd+MGUxsYBkUyMk8lrZtNRll9mcj2eU7Y Wlwhbx7h1QtdlZUj4hV9186GNoyf28LOV3oVqvli/+iLp89V0oxu48NRSzmKiiPI bxGYmL9uRXI5mxQRgEecvYvsgOiOuKs5zcKdG52/+IlQBAyrPjrP+zHDUeVSEHJZ Cq3oJrnnNBavoDosq01t+q+X5q6fRpwY26ucwOYEnTdMvs69gLpKafQ0diL/ZHm4 jMM3amSvdtLgGQBD+oYuNoAvKQglL/FhMXMG+m83fzkMqTD6HSVbYWFZdMfLCB1i jV0nOOKwvGlqP+pxNucdxcHTj5VU0biFoPHaONjLgq9kieHKM9pkOINT6XQmwnib Gc/bSczC1tAixpy27x+SeTNkhNUEkHoVc4P4psxZmJTmTyFVRFkPd84K8pMSe9+A N0wjiuy4jXQnLh5PT/BDJe5D5ISqk1z7Wp5b/oxV90VNlEhzko68IKytIRlnUBFw LrzTZmYFHVfk =mev0 -----END PGP SIGNATURE-----
