Back to mathcomp-algebra-tactics PTS page

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



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

Format: 1.8
Date: Wed, 26 Oct 2022 08:57:56 +0200
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.0.0-7
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-7) unstable; urgency=medium
 .
   * Rebuild to cope with new elpi.
Checksums-Sha1:
 3b7f8875b6d7d84771a0b1e3fddce03b4cfa76d8 2282 mathcomp-algebra-tactics_1.0.0-7.dsc
 1d4f7d9e765cbb2ef294ed5a6b951ec4049e51d6 8656 mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz
 e17653fd3a7418dfd9530b6316f814ae70e8c05b 8243 mathcomp-algebra-tactics_1.0.0-7_source.buildinfo
Checksums-Sha256:
 6f3dde7b221f19bc8b9ab2bc1fd57625386dd1965833242bb6569c2584468f30 2282 mathcomp-algebra-tactics_1.0.0-7.dsc
 c05adeea4f9c0b45b7272098814a76186316e24d98ddf02c729cd41559a68576 8656 mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz
 1f6db4a42b52b151482d9a7ca9c01525219df35a0a219c6423b31d848fc35ce5 8243 mathcomp-algebra-tactics_1.0.0-7_source.buildinfo
Files:
 40988733ef9a38cac4ff8c482744dd96 2282 ocaml optional mathcomp-algebra-tactics_1.0.0-7.dsc
 a0e3d0ec52cddfc0cbd6031749658cd7 8656 ocaml optional mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz
 c86494c693451a395cc621bc15794de7 8243 ocaml optional mathcomp-algebra-tactics_1.0.0-7_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNY2ogSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR7TAP/R0jUh3ZuPEQTbox1MgvzpZFpa+oN+p5
WGuHNCPuxVW1NApGbvpr7capUIKWZ/2dOA1DLj1cesNm0nfOs4dJtBRsBdsQO8vY
oVDyCoxuGvFzxEOFtVkBMz12RIGlhkEz6HuzvGFP0unLH+GTlBFBqSr4Ahy25kDY
tYtc8BRKPOKO+tKpk/AFY5Wtennkvg5YOR0nXEptsLSvLt1JyJw5xISpPFq9Em8L
T0d3UUC9xR5TNhsyvMhyG0WdYEi9DbM0zi2PtLjBGU+e3GI9rJ7qtZEUg//efZTD
qItL9HTHo8hSTZ8HJlfiAGHdtHix3ynY53t99PeF22OlKVvkvDxDwH6imqYWIvuN
rcyKtYJ6DHr3daQfrggc89hbbbMkpdKa1goLb0QMeqIigZuFmvcLxjGULBj++lJ/
4ynxnB9Pm76yy5XEjBOZ9bcpGcSTeRsPJf3Ck8zw3VFFC0nSE6yKAXgP0LWDjFys
eSkDu/WbSY0gGHw1OXjJjfeE4WKX3LEs0huPVtSlXo7++6pegjRtpYLHtsK35rb7
+NG3Knq5VsPWTbmf0g51LOjScxjaGUY8yp9Pyft7Yq+KvwoQQf2wxrCBRhT3O/lz
/R8PERUG4ZQuAiKth5pRfxPKaULCviKoY5VQy7ltJjCRjUgB91E0FfPi0JJlj+NL
/jhCiT38BKpH
=cApP
-----END PGP SIGNATURE-----