Back to mathcomp-algebra-tactics PTS page

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



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 22 Dec 2023 11:34:14 +0100
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.2.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1047108
Changes:
 mathcomp-algebra-tactics (1.2.2-1) unstable; urgency=medium
 .
   * Fix d/rules clean target (Closes: #1047108).
   * New upstream release.
Checksums-Sha1:
 b80c5f629b3af8526132f3ca1972d783971627be 2282 mathcomp-algebra-tactics_1.2.2-1.dsc
 35a32a7f578ca008370c535e0ede4c2879a24c09 58279 mathcomp-algebra-tactics_1.2.2.orig.tar.gz
 cf65e9044340d89257e5bc03580c6aa0268a73ef 8852 mathcomp-algebra-tactics_1.2.2-1.debian.tar.xz
 159e8bc0ade7be7db0987d3aae6cf06c4b8e80ab 8611 mathcomp-algebra-tactics_1.2.2-1_source.buildinfo
Checksums-Sha256:
 b189f98d73308a7cae015ddccf400ecdcf85011c90bc49e111481308d57c3319 2282 mathcomp-algebra-tactics_1.2.2-1.dsc
 e2c5b2f5ed9dec2db3ac436ebed9e271b2dd760fe5372c57e06fc0619e97a2e4 58279 mathcomp-algebra-tactics_1.2.2.orig.tar.gz
 f85de352c1b072c0824452fc01172a03b43390b199078a1a453ffa17b68c651f 8852 mathcomp-algebra-tactics_1.2.2-1.debian.tar.xz
 8963589dd52ded0aeac0922e3b6fe0ef48507fc09950e7df9b22fbd6b188e958 8611 mathcomp-algebra-tactics_1.2.2-1_source.buildinfo
Files:
 ab3c05677e27c004873c0f369cc99321 2282 ocaml optional mathcomp-algebra-tactics_1.2.2-1.dsc
 2276ad1d3ca88a784bad053c5259c1ff 58279 ocaml optional mathcomp-algebra-tactics_1.2.2.orig.tar.gz
 b13a6dfc142678d3290cade8d7bfaab3 8852 ocaml optional mathcomp-algebra-tactics_1.2.2-1.debian.tar.xz
 6a8088e43b8470d6402af6767ec92a2d 8611 ocaml optional mathcomp-algebra-tactics_1.2.2-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZkISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRG2EP/1VzWL6sJmITWXbuD21n7Z2J7+VpgTVk
8doG/8yf8pC+A9AEWS0FL+RkVZS1CDDkhHFT/PYR9HFLfLX9drv4rKRJdK5uKXnf
LefhSJEn14Lb3QMNBjuY22n83e33v723qlkxXpKM6SjaZGgJekPl7AX/t1lv5Qmc
Shq0iAmtucY4QZt5KYxfYUrAWhdizWSoNzIxl8b02uCsoqAKUxm6B2HaU/LdHZhn
l9cgJv0a8qXIHmyTwN4PFKXL7GX752I3LyrrAEsEFIVcPY3Pmj5pHmrw+cA+AdVL
a4gggLdK4OFAsYV6qQNfw1QuDRzry+Uz6LgEj9DDqmViWsfu7xWGKtuSuP2J7+tc
7oU86UW0ZPpxafIq4RuG09KmwLCC9Ebjo2/C9vErOZ4fAS+FQT1snhGzvJcMFN6b
/wPcvG20GHT01Yg2Eim705sDgPZ3cVtNQHN6bY9vIKMp6lIjgkrpPuz1IvsBHIAY
z4LgCqmjp2fyqTIxzHhHq21Qujuag9GqdtDt1meiaWTNLrLVlSI6Es1BrASOiS41
f+Bkd4L5XuiBCKDsAz7RjrYbxW49T43Nd2JmZKHUlilSBqdj9PPHR+4MMdya27Cp
3D/D4Wev04PwzbBHMSPyUiMdnt0Q0hfDzZbRDYiVmxQ+RoATHJHQOCRz2dbcOaqX
ypKrZQw7rcNm
=JcJM
-----END PGP SIGNATURE-----