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