Back to mathcomp-analysis PTS page

Accepted mathcomp-analysis 0.5.4-2 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 26 Oct 2022 08:59:02 +0200
Source: mathcomp-analysis
Architecture: source
Version: 0.5.4-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.4-2) unstable; urgency=medium
 .
   * Rebuild to cope with new elpi.
Checksums-Sha1:
 7d2a34911375a1ab9a9ca3dc21eae05bf982e2f0 2343 mathcomp-analysis_0.5.4-2.dsc
 427d413013a4be723ee6a4c5b8bf7a81e4bbd6b4 8748 mathcomp-analysis_0.5.4-2.debian.tar.xz
 abbf40c1ed69a9fb7abed268abbf0efa4c93f17d 8361 mathcomp-analysis_0.5.4-2_source.buildinfo
Checksums-Sha256:
 1afb683aad5f69af86e4c17da8261b5139bf75a66f2b305f08031eb06f9dc365 2343 mathcomp-analysis_0.5.4-2.dsc
 84e0629572b737f8226ee98a3d4133d3244d4b1215dbfc8151aaee767268b454 8748 mathcomp-analysis_0.5.4-2.debian.tar.xz
 a3901ee891fd304c8e6d0de766fb150925781c1d0529aaa4ee1b1c269bf953c3 8361 mathcomp-analysis_0.5.4-2_source.buildinfo
Files:
 bfa222ecb5a80e83fc12c6ba8918f8ac 2343 ocaml optional mathcomp-analysis_0.5.4-2.dsc
 788096d1fe93b1ac70215243f6ed8044 8748 ocaml optional mathcomp-analysis_0.5.4-2.debian.tar.xz
 3ba4a25284d7a4df8641d735c87230b6 8361 ocaml optional mathcomp-analysis_0.5.4-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNY2skSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRe6AP/06sQ3/bRx3Le4KM+SZEyHXjLBuOfu0V
OBJ1Rkk9C6YvtKtR/XNxJjUnqhagCJjJ6qcv/GoNFd8VDes0+YllmExcj5Y1MM70
E8b3UPAceIhFjYYb/Ide+MOSfJ140rPDa/e/tQ53Smw7BZ1OjNS5xTIgf6CMd4lV
HoduSD8HDXpvJpUJtx5qjT2bxpuY9hRDDPvPqvFQi+yuqsDn0xOZ5cXi615vjSBl
mvHUX6T+uI9AdsBCL+UxIXbv3oyzaG+vGShVUSq7EoHBo54nsj9US4hOndtgNL4R
XPtDpoeamso5VxTYOC+GLfEa5lWWY/0yE4UT86qTanQSAZkFAG5HvmSlp1195k8Y
v2zNkRSKKDob0F4/hV+CWitKJHIRme3OlWw+rZPgfeS8EMD4bEeqmgBzrvi5iI3H
50XaAPxGS9/hHV1GdNHy8HYOCJ29tQiMQZjfBLZyQX9HTJLJDPs7MdoGhjpYPeDa
pKg099cXEF6kPfDj2NRRJROpOaupBNqVVPDatOKXWhWESu9FyKrouT/0oXG7ZQGT
mqTegMT0sOoYSUI6aGCQM9P8zHSUURoYrTf/ilMBT2dBtKVMVPG50GB41xaTtqkm
2Iz7zkYm4p+ipIuQApaCUHAP5GTuQKpmw6LdiUevlKTxk+ok3qP5GYSkhH3NaH+1
BjC7Hly4d4dz
=rWq8
-----END PGP SIGNATURE-----