Back to mathcomp-algebra-tactics PTS page

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



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

Format: 1.8
Date: Wed, 05 Jul 2023 14:41:02 +0200
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.1.1-2
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-2) unstable; urgency=medium
 .
   * Fix abi issue.
Checksums-Sha1:
 6623142367e8cf24265f3798d080f22a37d1e302 2282 mathcomp-algebra-tactics_1.1.1-2.dsc
 738ec5ce3a15cac58ae36ee31f7b2dfd74f1b216 8756 mathcomp-algebra-tactics_1.1.1-2.debian.tar.xz
 db8d726c52898a4d104c4aa04475fadd67b75022 8231 mathcomp-algebra-tactics_1.1.1-2_source.buildinfo
Checksums-Sha256:
 70692318642177ae4bdb7c9ccc9d07556bd02102be46471668e34d1512fecddc 2282 mathcomp-algebra-tactics_1.1.1-2.dsc
 09e20666a64ff4a6b0b1241c5613b8176ce20fae9b300991559dff37aef2663f 8756 mathcomp-algebra-tactics_1.1.1-2.debian.tar.xz
 c571ce89971fdac739ab7da0fe40b500eba523dfa98db00650c4aafb7989c2cb 8231 mathcomp-algebra-tactics_1.1.1-2_source.buildinfo
Files:
 16758bbc1e3f02993222760cad52c724 2282 ocaml optional mathcomp-algebra-tactics_1.1.1-2.dsc
 401d9a64cb38d9713f96507c7fdbf4c2 8756 ocaml optional mathcomp-algebra-tactics_1.1.1-2.debian.tar.xz
 78d71b1282335e5235d47e5ac2c9e917 8231 ocaml optional mathcomp-algebra-tactics_1.1.1-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSlZPsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRUDAQAKfWGelJorQtHUZLQb+g6o15GHNwjUla
moxIOHG3KblgUjZqYe6XInIIoJ/FVcqgBkqPHCtzFEMyBNSn7VMGFu1LZj4YyvUt
q6J+wydl14/Vsq3d9IVRqkN1M1uk6ulnfkfHdX7OGuiINa7OY0NWI9WEX5CS64wf
XEAUs6AXMhVBDH1w4m/GZapBPEC8jI5ZAPTFFxnQ2wylH0R9BrZGGcKekcQEK5dW
hixoD38PFTxCc0DqIoCwJaajQyJPGdFUm/XOLIShDAAMe9GMk2wlxEaF98Ra3IKU
ou0U98939Uz6zceKVSAzxRjhTIVuPjDYRPk23H0BqasdJs8RXORPjZ/RAwBtgjrN
04whLf9qCddnPdrelOKkOjjh1JTraWTWM/UQGZ3hWpQLnwoCTkkR8K7LzxS7XqmQ
uCJGc0q1bLTj7mCOd3bMKdnwb6XLnp9iNU1sKBbnzdrNdKRd5j+T1OIMrIfplc1H
r6eNK2BXmGGWpgWN0MQjbbwx9iet0zkoR1FP4cAqhNizuRQ+l2uB4SFHxs2oYHE8
vJsvg2J3q1gRJ7QBZraH6z+rKdZlJNRI3pif44eeK8xG8zQFaJ4GdiDrLvdkxPeL
TofmGwPcIhhWEL5Qrt3VH34iBn+H5CRStRYcMoWwU0ohcWDeIcaFf5KfrOIMBA1w
Kzcs5D2St1Sn
=bku4
-----END PGP SIGNATURE-----