Back to mathcomp-algebra-tactics PTS page

Accepted mathcomp-algebra-tactics 1.0.0-1 (source) into unstable



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