-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 22 Apr 2022 13:02:06 +0200 Source: mathcomp-algebra-tactics Binary: libcoq-mathcomp-algebra-tactics Architecture: source amd64 Version: 0.3.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-mathcomp-algebra-tactics - Ring and field tactics for Mathematical Components Closes: 1010014 Changes: mathcomp-algebra-tactics (0.3.0-1) unstable; urgency=medium . * Initial release. (Closes: #1010014) Checksums-Sha1: 2e20a9f726f5d6f31c6a7eb3836e32e0232c8009 2175 mathcomp-algebra-tactics_0.3.0-1.dsc d5d1d1a9c294947936c1eb46be782a302c7fb9b7 32700 mathcomp-algebra-tactics_0.3.0.orig.tar.gz 6cf56eae937ac8048eae370c1212a403755c92a7 8440 mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz d81154f7ae54490c68a49f4fbb6b4ae83b1933c2 221664 libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb d2be91734dd66569c52bf668ea4b9325a1e32932 7309 mathcomp-algebra-tactics_0.3.0-1_amd64.buildinfo Checksums-Sha256: 9a8d067b63a95ac535835094750207e6d85bc094ebcb36ab5edd47ac6e2f7c33 2175 mathcomp-algebra-tactics_0.3.0-1.dsc 5539bedd4ec15bdccfd52412c618d63b7e69447189bf23289f5169d9e23a8dcc 32700 mathcomp-algebra-tactics_0.3.0.orig.tar.gz 3b1a757b1d71f13edca6563ef6fd8aa2675a427cb37b596d196df60a2c0e64b1 8440 mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz f5228793250180af277e97812220abbe08c9a1e4d0487fc774fb1c71fb939868 221664 libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb bdb8767f37089703644a5922bf496e25d2c2e93b7d4c7e75820f2fd791a00da7 7309 mathcomp-algebra-tactics_0.3.0-1_amd64.buildinfo Files: 2b0821cefe398ab8f82de90af082ab4a 2175 ocaml optional mathcomp-algebra-tactics_0.3.0-1.dsc 4056c4fa92303092f4f2abf40dd0d039 32700 ocaml optional mathcomp-algebra-tactics_0.3.0.orig.tar.gz 2e719a5b322066357fbc727a13bd7a50 8440 ocaml optional mathcomp-algebra-tactics_0.3.0-1.debian.tar.xz 56e413e49a5f69f298bb46493e9742ce 221664 ocaml optional libcoq-mathcomp-algebra-tactics_0.3.0-1_amd64.deb e1e0153527a53345e9d6ea2896f1c29f 7309 ocaml optional mathcomp-algebra-tactics_0.3.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ+RI4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRJ/wP/3eWV+NNPhFKAy5IRBP1+FFPRF/4+JXK 1LLTGhuCsOLIp+ZwJlD+OA9uS0HSTVGTd+WpQeElDFML6UTVKX+A1ZjJpuThbt4n VmXA+G0RF89G9A7aihSh/uUpVce8PnRbt/Ifx0ZWwvr8cz0kdj+vLKSCPjKcFiao 5g8TkN/1NGJg4Gim+P/F+xJ1nSxrnAvWBBclT8WgQKyiEpI/7sw9H5tOBiXAQbUk MwUuUV5+oB8OHuSOX7DbOPEdu9A1Mi28SUr0OYqniju5dFIp90PFYk1vjY9q/wUv oNqgsifXTEANlB6eJALxxq075bYghDAczWt91m6t9RQ0UbeJhtS0tQWwAsO9XuIN bsVPy55/sZtrkdvRfjXZdCYbardqUz6ex93EClGsZFsgT2jf4MQFRuX2xCUEnxNU v7rvHOpkYoc7qBeDuAEvmOlyTgtR7A8IqXEufEbRpnOpznIecdEWRsHlBLJgQPlw 1k7LsRVYI5zLusJX+vxOpmZq1gj4MrgyGW+7+lxhytYSR4lHdGV6ZJfNi9Okst92 Y7PT9epfAHLrt7Fub4PutBuasu14qN/GriSNXlfVr8VElH8pTa2AgUZsfTteHNy5 3PNhtcYIa8MVbaobNbilpUfbdWMsWPGbpJGqcXHNqoFwa7qg7xC1F4w7YUB5zGUK rvEfZGn2fnma =b04z -----END PGP SIGNATURE-----
