Back to mathcomp-algebra-tactics PTS page

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



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

Format: 1.8
Date: Tue, 05 Jul 2022 09:32:14 +0200
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.0.0-6
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-6) unstable; urgency=medium
 .
   * Add an autopkgtest.
Checksums-Sha1:
 0c2cd6d74b4dce924d5445cc56aa86f857c266b3 2282 mathcomp-algebra-tactics_1.0.0-6.dsc
 024bd12371b27b17bc0d2f74154b2177f2e90e06 8624 mathcomp-algebra-tactics_1.0.0-6.debian.tar.xz
 6c540812a8ca59253b8c4edb23a89b994be1d9cb 7051 mathcomp-algebra-tactics_1.0.0-6_source.buildinfo
Checksums-Sha256:
 6e256479b14532bb5a9807b8d236b61a0567ed59a7620b14304b0dfd1739c207 2282 mathcomp-algebra-tactics_1.0.0-6.dsc
 74280795b9b5b085bea8b748f9004cc5aa4c048338790fe266185e82d1252211 8624 mathcomp-algebra-tactics_1.0.0-6.debian.tar.xz
 068f5899f32d6bb0c0096f33bbc6367006e25490eaed2df18a50a2e9f491556e 7051 mathcomp-algebra-tactics_1.0.0-6_source.buildinfo
Files:
 8316218a03603e04ad1379a8427324f0 2282 ocaml optional mathcomp-algebra-tactics_1.0.0-6.dsc
 9a2689fd8f587c875c8a5a093531560e 8624 ocaml optional mathcomp-algebra-tactics_1.0.0-6.debian.tar.xz
 9030f4f813bb9196e0d9fb9cc8fc8451 7051 ocaml optional mathcomp-algebra-tactics_1.0.0-6_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLD6SQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFsYP/11QMPoj9VOGHpfC4HFe4JXOkdefUuxY
4bhLWc37VhhyZWwCcE0Q51p9wWQ6vOFPJGCwl1TTxVUZJ1FXz7BiCkbTDeelZWSm
5JBQZzM6jg2ibFb8Y7KEqV/s745qIOh8xrLrJLFOBiH48HPPmoFN7w1CDWjk2U3D
qTm8aNtvTiC2VbOpxt/FE1D6hyfBXAyDycP7/AhPhNAilNnbBVx4EkpwLQYO1otH
2AR9uW94bdZB6+FN7899WVI8PrJNMvgbU5yiHFtzsGrTii1zGUWi5SJszWzGPuTo
MNLWTVzXxOxU8w/Hmm8q1BnqLSUzNBJeWIEPb7SFtVs/F68o2z4Rifj0IzmhmuIF
5o0MQDHE5aON6sXFfW3w/OMnShG+81K29f744aiBeMBdjna8RrT8MmmS6QxRfLSq
qOFtOmLaRXqBpfNkRvDUDfq7dNSxAt0uRS/GOALnb+Ef3WFHSrhl4nLgwLx4ptfh
TQ8hJgMDyDc5CMJQb6HWYmbOWDQwdKKPlZinn/PbQJ1feDmB7pwbTv13ZyWs5pMk
ZQgmozYiWTXEHenEITVNF4JXUPCkFuBhVE+SOXIY97qAWmauLBkV+1pkjXrXLaPn
OiobNwBdU0cjARkUFjk9eYSadmb1A3J38/kxuCMiJoX6hHIu3n9AECJcd2On/pUY
JBMfGRUCe0kl
=YFI3
-----END PGP SIGNATURE-----