-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 10 Nov 2022 16:23:11 +0100 Source: mathcomp-analysis Architecture: source Version: 0.5.4-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1023762 Changes: mathcomp-analysis (0.5.4-3) unstable; urgency=medium . * Fix elpi interface mismatch (Closes: #1023762) Checksums-Sha1: 9575431669ca908843ea3057df9a341f5b3a4e6f 2343 mathcomp-analysis_0.5.4-3.dsc 48bc201e62da9a1c514ebb323ea9bd116586920d 8784 mathcomp-analysis_0.5.4-3.debian.tar.xz d422b7c1c21797143c6e3e2a2a61d9d0af4d39ae 8411 mathcomp-analysis_0.5.4-3_source.buildinfo Checksums-Sha256: 3f6d7f192bff43956065f64ded9449fedc21ba6696f7561a941727e378c0c00e 2343 mathcomp-analysis_0.5.4-3.dsc 32f53317e91e25e2fc20694de5d82a7d75310a32ace5cacb1427997a7e977672 8784 mathcomp-analysis_0.5.4-3.debian.tar.xz 2b74314976c27133ed04c253abe8d63cc5625245bca1b913369a14bdb93be9d7 8411 mathcomp-analysis_0.5.4-3_source.buildinfo Files: d5a3209713ed7a228548cff46968205c 2343 ocaml optional mathcomp-analysis_0.5.4-3.dsc 95832e0ac591df4794d9a2b71a5ef11f 8784 ocaml optional mathcomp-analysis_0.5.4-3.debian.tar.xz 6d92532f628d35d29b6d753b6b242687 8411 ocaml optional mathcomp-analysis_0.5.4-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNtF58SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRYCoQAJTVwUYHP2mVT6uYG9rP2SlkSt9RFIop 7/HQW6XzKhPXdd5DAfu0E9S/uLqTL4GLzbCjNgb74a8W44koyV0yOGCBuZFwXjPF CVmYoDUZJcfEIH45yTmOhp/Kucjeaa3Wdw8YoReJDUqyn+AsKr5HkOGQnvjgVl/W DKzNT6Fv9gmDeoM+p11hCi+hcKF3o2OVDBke5iDLat/y4ULAdBdYgPbs2496pXuY 8iPOKh4hWTchITaiELoIE5nFodTJyAr77oT1kBaDgVRCLAA+tt23SoeBuempdH5j bOOWaLxxs0QZKJPncz4KPygrAVMLyd0YYy8VhLdAjmwmylGs6tMO/txvhCqaP1lm af6wrnNjMMhxebVgptoU6MNAGO/iEjoaBA7lhbW1LamfWCaw4E99dViM26b4nLn/ z/B0H7Uve2YT9su+FhbxxREnSsXhKo75Y2xp2a242vLthmafxXzW5/BgkxpIT7DD ofcoqoork3qAHAFEducJlTMEtKQJaxp3kzOIkzFPThJFL6MaMtss+Tsv4sYUzicu PiaQ7ZiNPMzBfGlwuAkxZAMZqCmvwBSo1DGbR2+ryYjksh7W/YKQtzSJzRYuRccT iXv9B0/oiYQhQjh5mBiKoV7FG05PXe+LnggeW1mMyWe0mxdvrkiwKUpG0Pm0LHUO lOFDRU80LmLL =1/8x -----END PGP SIGNATURE-----
