Back to mathcomp-algebra-tactics PTS page

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



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

Format: 1.8
Date: Sun, 12 Jun 2022 14:20:14 +0200
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.0.0-4
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-4) unstable; urgency=medium
 .
   * Use dh-coq.
Checksums-Sha1:
 a2a29e62873ca5649ac5102cc9dd2ec6f27d102e 2183 mathcomp-algebra-tactics_1.0.0-4.dsc
 50cb43d3b00a6870f593868bb4d0ab9ba30b2ca1 8508 mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz
 f2f905514e0cf2d3d5cb982932d991ee3c968564 6839 mathcomp-algebra-tactics_1.0.0-4_source.buildinfo
Checksums-Sha256:
 33aa87361fd8230b46005261ea92d3934e66cdb32ff3b31582c29e999e2702fa 2183 mathcomp-algebra-tactics_1.0.0-4.dsc
 76b5fb621edf957f854eb1e17735de49221c7a5b09db8380f25c951b195ce727 8508 mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz
 2c5b587432eec12f0095842e4064622b51adebbdfd4a699f9490a860f178fd73 6839 mathcomp-algebra-tactics_1.0.0-4_source.buildinfo
Files:
 b5e984ddc288c5959ebecf4504c1d766 2183 ocaml optional mathcomp-algebra-tactics_1.0.0-4.dsc
 6169d5aaadb52c1f856b5ede95c977c6 8508 ocaml optional mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz
 7801fa806ba4861ca53d80b22a03ae12 6839 ocaml optional mathcomp-algebra-tactics_1.0.0-4_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKm+mgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR/98P/iSj5jI+S3BXHi8X/pZhEp58+OvIn/sp
3U/2bzZNbP6Ne5ONJ6R4cgD7zZ0cxOP4hQ3PXfi3UqqtzUIssUISgHiZrk9KVx+Q
QtLjUux4nFyrCQn+k7fVyYEHwTl6mjECeM10ydFdkcTA0am0KRg9WyWPkR8Nor7+
QhY8sUaPWAPBhh5RmDeMoodfa/PUAYWfTw7jDGD+26GUApzpjEMv/ihnIpKa+y0y
IXgCiMBtY3BXxsT9IICmG71HxzfGNDUG8nzkujddyJ2yIrqZFDHzIEG66lldZZVV
kzDaecRFV6LHaGIwQh2yPOOEMwnpwOUi3GCvdwVx571rlFNiALHokiaU5fnyNi12
0nRJs/usOwoUM8BxZhfV6HPG5HjXdI+Or2gS8Xkdm0Lf0firKHlsyX6q4rfJ1QjW
cCCO/ub9f1NHgmjIRbsnPuG0651XGecX1w1cY5hu9i/V7lwtDnLQuEHzb/JIB16T
F1M+8/i6WakPwWSL8JydB+N3+6DdvoIa7Zwtux5JTePKTuuB3xVhWipE5TZQ6K2B
hyoGMHYGmSme6vIYJMcInXsD3Z1ZBvX4S3ZC1/fdut3WLXEa/kdGAXRP3GEHT3M2
ub3ZeglRk+OqU7YBTMJW2kC/vIyLV4hn2UL1AkEbK7vkqSdfFzWzLxzALbMm5CQn
ruk+sAjGe34f
=9jbW
-----END PGP SIGNATURE-----