Back to mathcomp-algebra-tactics PTS page

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



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

Format: 1.8
Date: Thu, 15 Jun 2023 07:22:19 +0200
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.1.1-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.1.1-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.6.2.
Checksums-Sha1:
 bb96eede19e614e3ddc477ad1f00eb49cc255f3e 2282 mathcomp-algebra-tactics_1.1.1-1.dsc
 1eb3d7c208d1d0de20bfaaeb0ef0e0a09109db34 52308 mathcomp-algebra-tactics_1.1.1.orig.tar.gz
 04f6464a6404e7a2fbf95ba8325f8ec3c844e23d 8732 mathcomp-algebra-tactics_1.1.1-1.debian.tar.xz
 c69b1ca215ea0a64b9b7bd040dd07c8221efcc31 8166 mathcomp-algebra-tactics_1.1.1-1_source.buildinfo
Checksums-Sha256:
 49c028231636683f1939605164473263012b5255d240a207053eb899f46214d1 2282 mathcomp-algebra-tactics_1.1.1-1.dsc
 85b2c3eb60b12b1241c36ef85e25467323775b9d0234be0caab24b8809863e47 52308 mathcomp-algebra-tactics_1.1.1.orig.tar.gz
 c33787bc6167db70f034348a38cce55c0c073d7cffa250bd6fae29cd600237c0 8732 mathcomp-algebra-tactics_1.1.1-1.debian.tar.xz
 239bb52ae04e874f7695e000f7e1229af93c8bc1e45326d63e227fb9c00faa67 8166 mathcomp-algebra-tactics_1.1.1-1_source.buildinfo
Files:
 dfd01a820a0cbb308a29e8d8d80258a9 2282 ocaml optional mathcomp-algebra-tactics_1.1.1-1.dsc
 ae8683925df708112560e413f34bc02e 52308 ocaml optional mathcomp-algebra-tactics_1.1.1.orig.tar.gz
 b4485cc5e502274cbb309f5be7c15d29 8732 ocaml optional mathcomp-algebra-tactics_1.1.1-1.debian.tar.xz
 7a6102dc2fe620c3c294489692a6b51a 8166 ocaml optional mathcomp-algebra-tactics_1.1.1-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSKoBESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRu5cP/21+xLz9/jNEqlvfZK+SIzZQ3dDjjKnB
s3Yaled/C4eNX2HzaG38iPAo/2ZB21Kp8jJ98VwXjB9tXp8tQiHKbEm10hoUMGb1
UYqq9C/N/VxCZklKjiigYTrdK4EYhbRD/F6yVcQYn0LivgxDc/yWRgBAoQYQjnsF
ew5LbT58srwXFb0HXALUHmxKUG9lfSvpV/QyarfjWwa3K2H+WF+WEHaXqgzPV/09
Pe5LroehkgUlqSwFWEAU+2u+l5BfwTVGxqeu4nMZazz3tzyj397t2tdHhoYebJXv
9IY01OkmFEcYpuJE76BzyC/sA/68shnLSxf9/FiKcYcCVWQg0UqD9iTLeopW1g9f
zGDo34LtR/ILHz8ndPfCAymFIVvwO8z+Rl0qIcQphRB9nK7ctDtck2MCq9lk1Sfh
cOd7IM7KSVOouyFVTwa+AeGD5VAT72MOytc5/aCVK+/+Wx2ClKf88QxkO89Squby
/+7CJd1qxkptlrcKt0+WKzzeMTpgNZJ7IjHP5YmuXP40FHqIluum8cyhNrZMow63
dlcVcKPB3LUWUngo31Ys4hz+9fPRn1g9N7T70NGrNrmSOSkYv5TGgMOBn3OkTxtd
7oj0FjNKVBEWBQANcFtRMhEvdq027/jsgoI5tLcRpKdEi5senb8S5x2w/k4rbIaK
58G4m9S/j+lB
=fCw1
-----END PGP SIGNATURE-----