Accepted:
-----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-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)