-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 26 Oct 2022 08:57:56 +0200 Source: mathcomp-algebra-tactics Architecture: source Version: 1.0.0-7 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: mathcomp-algebra-tactics (1.0.0-7) unstable; urgency=medium . * Rebuild to cope with new elpi. Checksums-Sha1: 3b7f8875b6d7d84771a0b1e3fddce03b4cfa76d8 2282 mathcomp-algebra-tactics_1.0.0-7.dsc 1d4f7d9e765cbb2ef294ed5a6b951ec4049e51d6 8656 mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz e17653fd3a7418dfd9530b6316f814ae70e8c05b 8243 mathcomp-algebra-tactics_1.0.0-7_source.buildinfo Checksums-Sha256: 6f3dde7b221f19bc8b9ab2bc1fd57625386dd1965833242bb6569c2584468f30 2282 mathcomp-algebra-tactics_1.0.0-7.dsc c05adeea4f9c0b45b7272098814a76186316e24d98ddf02c729cd41559a68576 8656 mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz 1f6db4a42b52b151482d9a7ca9c01525219df35a0a219c6423b31d848fc35ce5 8243 mathcomp-algebra-tactics_1.0.0-7_source.buildinfo Files: 40988733ef9a38cac4ff8c482744dd96 2282 ocaml optional mathcomp-algebra-tactics_1.0.0-7.dsc a0e3d0ec52cddfc0cbd6031749658cd7 8656 ocaml optional mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz c86494c693451a395cc621bc15794de7 8243 ocaml optional mathcomp-algebra-tactics_1.0.0-7_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNY2ogSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR7TAP/R0jUh3ZuPEQTbox1MgvzpZFpa+oN+p5 WGuHNCPuxVW1NApGbvpr7capUIKWZ/2dOA1DLj1cesNm0nfOs4dJtBRsBdsQO8vY oVDyCoxuGvFzxEOFtVkBMz12RIGlhkEz6HuzvGFP0unLH+GTlBFBqSr4Ahy25kDY tYtc8BRKPOKO+tKpk/AFY5Wtennkvg5YOR0nXEptsLSvLt1JyJw5xISpPFq9Em8L T0d3UUC9xR5TNhsyvMhyG0WdYEi9DbM0zi2PtLjBGU+e3GI9rJ7qtZEUg//efZTD qItL9HTHo8hSTZ8HJlfiAGHdtHix3ynY53t99PeF22OlKVvkvDxDwH6imqYWIvuN rcyKtYJ6DHr3daQfrggc89hbbbMkpdKa1goLb0QMeqIigZuFmvcLxjGULBj++lJ/ 4ynxnB9Pm76yy5XEjBOZ9bcpGcSTeRsPJf3Ck8zw3VFFC0nSE6yKAXgP0LWDjFys eSkDu/WbSY0gGHw1OXjJjfeE4WKX3LEs0huPVtSlXo7++6pegjRtpYLHtsK35rb7 +NG3Knq5VsPWTbmf0g51LOjScxjaGUY8yp9Pyft7Yq+KvwoQQf2wxrCBRhT3O/lz /R8PERUG4ZQuAiKth5pRfxPKaULCviKoY5VQy7ltJjCRjUgB91E0FfPi0JJlj+NL /jhCiT38BKpH =cApP -----END PGP SIGNATURE-----
