Accepted mathcomp-analysis 0.5.0-2 (source) into unstable
-----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-----