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