-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 06 Aug 2022 23:25:50 +0200 Source: mathcomp-analysis Architecture: source Version: 0.5.2-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1016259 1016748 Changes: mathcomp-analysis (0.5.2-2) unstable; urgency=medium . * Add patch to support more recent elpi versions (Closes: #1016748). * Upload will trigger rebuild (Closes: #1016259). Checksums-Sha1: bd88b3bb31e1d4d7a2bd0af2d005fe14d6c4ce3c 2366 mathcomp-analysis_0.5.2-2.dsc ca301eb5d2f5365f7e35251a18c023884c9a52f9 9008 mathcomp-analysis_0.5.2-2.debian.tar.xz 5b72aa5cd499f6eef5bd71a9f4801ecb8b0de6d5 7901 mathcomp-analysis_0.5.2-2_source.buildinfo Checksums-Sha256: 8ae93b458e65574dde936d7d041ef5bf1250f08bd0b3ad6d978d8b06d4af2c30 2366 mathcomp-analysis_0.5.2-2.dsc 5a784bba5d1e8b9fb17a6b54f5f02de56a1b03eea77832a351778727f67c7c30 9008 mathcomp-analysis_0.5.2-2.debian.tar.xz f91fe02b36918407847a83b6e010a52af7756954506fd41ec0f21d03c9fa9a1b 7901 mathcomp-analysis_0.5.2-2_source.buildinfo Files: 583d557ed9c92fabe2911039282f42a9 2366 ocaml optional mathcomp-analysis_0.5.2-2.dsc 070a708d7c3f897cd803cdc2e9186b57 9008 ocaml optional mathcomp-analysis_0.5.2-2.debian.tar.xz f3f4445625a0f9c9211db52238496375 7901 ocaml optional mathcomp-analysis_0.5.2-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLu3LYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRDtkP/1sid6VGeZfxdIUP7Cqu7neb60zXqMec fIa+w1aXYBTQHd7KizDqmr/iifZ2ZC+Zdxs7F0InZ6IaRi7kymeZ0rMojRKWPE8z dGU0MQbV+r9CDS8+jrvkq6qcA3bTGwoSJy20wXYKdsmfOJsxrpq0qAyhoQNbLaY3 9hqg9RLbwEyoTHSuE89cT8fxi6ninspQE1P6tW/NLofBu68/O38XqAhj3aW5aoab o3Zr4L7X9YCYlXBRZsd81rsIfVKyQwLnaSn0cizUsQ59bc2+oGXqzHyUSgveEa6B +QuNTmyeW5sg0lPMfScVMLAGI1D4QTAgxY+1anxLxI4hmmwxJlaJGk1kd1neGA7j 8+dvOcSgx96U13nInhvhMI4aZKaN3eb4Wyp59aeJK0I1OkfNaDiJ56em6QLmNXKc j/IKleqt1k/L5vNHIF+E5IdeFc+qTbKpsTng3UcbzvsnLfaoO93te+dFh9g0oCpF eE9rwWs9Cw1Yv3vxe9Me9aqzj9IKma7OZJtyKA3IaVVnbHF3WkzeQBPhhpX6DH3p QF6OkKSjlMFO7tkJUXw0RElmi9VE6j6Ifj83b2rvZLoSdsDG2pHn9sa15yJGiDqO tySobPCBRDaT+CYGNGuAN1ARZzeWneddRALan8o74qk25o63TMIzCZMcUBMuXwXB 4rzGvkFPfr7F =jsU7 -----END PGP SIGNATURE-----
