-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 20 Jan 2024 20:50:42 +0100 Source: mathcomp-algebra-tactics Architecture: source Version: 1.2.3-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.2.3-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 189e6c786c422cc3d3fd13ee8f1572bb9c7ecd01 2282 mathcomp-algebra-tactics_1.2.3-1.dsc 0549a0a8cefb064df69ec32f6f8cd784005d49e9 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz f14bb3b8ab2b8ad54e24bdfa6ba063e63e20981e 8864 mathcomp-algebra-tactics_1.2.3-1.debian.tar.xz 18a9bef4619aeee1212f2d0fa672ae918207a17c 8682 mathcomp-algebra-tactics_1.2.3-1_source.buildinfo Checksums-Sha256: 83d2cddd29065487eb6405881d96664a49a52ea0ae134122a50e1b3e46d7a856 2282 mathcomp-algebra-tactics_1.2.3-1.dsc a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz b96c3c45d41c7543e7212b806d95b7989ff038c2e0ef3b348fee6cc08adb5a25 8864 mathcomp-algebra-tactics_1.2.3-1.debian.tar.xz aa50ab3fd01fa86f0a8856b2ff44924b29db0a35e27e613bec127b712ed03e78 8682 mathcomp-algebra-tactics_1.2.3-1_source.buildinfo Files: 6b2723787481b82bf8089d773cb2c285 2282 ocaml optional mathcomp-algebra-tactics_1.2.3-1.dsc c6c37f70626cb344b6f5954203ac6cb5 58366 ocaml optional mathcomp-algebra-tactics_1.2.3.orig.tar.gz 9aa9bd8debc8eb28e35a9ae28cfcff30 8864 ocaml optional mathcomp-algebra-tactics_1.2.3-1.debian.tar.xz b02cbcc56eb3dc40a0c3bd5a61877784 8682 ocaml optional mathcomp-algebra-tactics_1.2.3-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsJPMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRXNMP/jEqbyrKC8SBu2fs46loVFVSWu2rhtI9 2a2zg4jAWcnCvyuz3ajxnHHnlzI/rL0Hs10LB79xsXuVDJc6o1evMkYKHhmlpmw5 mwU4SxB+t7SLlADZQeEy66sp1e0sgxv1ax37L5AdqM/ZejZW//nZzRpjdd/f8pRU KuhI09lPLtWEppHIgOmWUScTRoWlcVZy+MFdORvvxUvRI7chrRqrES8uuJ8m35E5 i2rYfaRcHhC2CEW4rsEsbtsRBQ1XpSF395WiA3UhfCrWs2CyMopHpVc9kaVoooWm Snwvst/QTVK1T4vwlkNoojIWl4LVBH+A0TTDIMuNCN6jynsAo/CBhmxJZ52v85VE A64YvvCEa/n79xh5ihRfytlpJh+G1he5OlCx2F6+OLjcDgWjBbDY0qRJCJbi64bW cq2iS9QyCVtvNTQbBy1roOsfpTR3ybuB6NNLHeDkJPGXWzkHhz4tLKryZ2RWIaCY SZq19X7lOUznOdl2TCelQpueKz9cay5zcnSlIFCykILj74O8Zk4FVjjw49Ob8Rgw FVJQbuAYbWaMFtWhKW0+tJHzH97GOKapC+Kg+DoCkeVp8XEIACgKK6S52pe/en83 htk6gWxqwD/PGkV4r7NAyAAGSV6gCyevWzu45YAxSUBYq5CHKdxOcaaztcJ0GLL0 Sa5jG9WwFcra =N++t -----END PGP SIGNATURE-----
