Back to mathcomp-algebra-tactics PTS page

Accepted mathcomp-algebra-tactics 0.3.0-1 (source amd64) into unstable, unstable



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