-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 18 May 2022 09:18:56 +0200 Source: mathcomp-algebra-tactics Architecture: source Version: 1.0.0-1 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-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.6.1. Checksums-Sha1: 8560847a0c75b74d173eb3e3a9469ae0a09ce394 2175 mathcomp-algebra-tactics_1.0.0-1.dsc aa1c3cfce1fef380c1f084d965e9f39e05197579 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz 8147c90dd13b38c8843aed34b0dff1eb052bb364 8488 mathcomp-algebra-tactics_1.0.0-1.debian.tar.xz 6456744a21a04e03b2efa0b4080d3f32b6b16508 6962 mathcomp-algebra-tactics_1.0.0-1_source.buildinfo Checksums-Sha256: ca2dfa60aba3fc51bcb862b109c3956ef10193430cdaaeb1a50802763e9688c0 2175 mathcomp-algebra-tactics_1.0.0-1.dsc fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz aaf2dbfee491c3f2d1838764692c093a3552b794bef77bb1f7d58b5dec610fca 8488 mathcomp-algebra-tactics_1.0.0-1.debian.tar.xz 58b54d73db5840b69d395af97b8782265e302393b00d3c5cc853e59cf4c118fb 6962 mathcomp-algebra-tactics_1.0.0-1_source.buildinfo Files: d011668b3cc6b92bf5c9bd63a19b5d51 2175 ocaml optional mathcomp-algebra-tactics_1.0.0-1.dsc 35854a92912c256382b2930619669af8 37243 ocaml optional mathcomp-algebra-tactics_1.0.0.orig.tar.gz 4f4bd9a1728e09c0ef838b0c742dcb7b 8488 ocaml optional mathcomp-algebra-tactics_1.0.0-1.debian.tar.xz 6962a0ef82c0cc01218198e29eaf16c6 6962 ocaml optional mathcomp-algebra-tactics_1.0.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKEnfoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRs3MP/jjaOLDYtSfottN4zKC6S8XcpBrgSe+A Ivt4N4MqLojq4cKTXpJbBC3I8+8buGcuMqo3W6xLg/PPXMvuEz9OY5RFK8OsDIQz B6M9QzBoj0CJHspu+kgtAR7hQR37VN7TXWQ/vrLjNJMgwPZt75rcgHlL2xZSoVP8 V3yXEtUnjk64u6jAAhkyHbXzQis+NDvXFxSJsqRFsi1q0xKFYEDjk//ls7YyFGx9 Hi3CYITmZSwIzBkZXeyWx02643s6xIIcP+Yf0aAeiefhZQZpChh3AkFKYzdLKBIO lQRvLJzBhMAVcjNMMkUvmPUgmK5hZgYwyi6yOxK/gRUHDJRSVWpaGPUtcYNtJDOD e/Nq+8+8RypyWs/NL+tkgoAn3hVib9PzcAX1CgUs8o5oHsH8m9QAXAYClbghnxpt WvTEsgG/pCVya4hJjNHQ2Q2bUov8TSuojFaZEWKysUUyGzI+xX9rAwmvIOjKSg8p VbAsvtxxexiL6v7o5WxkudqZo9JQXscq5N7rNfyZr0MKfDgpvOvXoUAbsqO83JV4 Whbj23wiFJdD5Lu45tQFlG485luk1j4kuk1SOQBGtgAt2181/m6l9E7B2eGzccbB aE4WSaqyPmzfbA1A9F5GSQCliYlxELEqdtRL4YuyZogrS9UzAhR0f2Bls66G0QbO mlLScmORGqys =lJE/ -----END PGP SIGNATURE-----
