-----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-----
