Back to mathcomp-algebra-tactics PTS page

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



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

Format: 1.8
Date: Mon, 13 Jun 2022 14:23:04 +0200
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.0.0-5
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-5) unstable; urgency=medium
 .
   * Add missing b-deps.
Checksums-Sha1:
 1f805826313e59b1f630a7ec01a340f04d691251 2235 mathcomp-algebra-tactics_1.0.0-5.dsc
 57b091adc144dacee964f8223f3a7044619eb4f2 8536 mathcomp-algebra-tactics_1.0.0-5.debian.tar.xz
 f81741a78efadd3831c113b024691f7d78b7cfbb 6962 mathcomp-algebra-tactics_1.0.0-5_source.buildinfo
Checksums-Sha256:
 7a4a2a55a3c1f3cb4cd9f8daa0ccb5ac11adceddd24ebe3007bfca0be7a8b662 2235 mathcomp-algebra-tactics_1.0.0-5.dsc
 569e52147554df7820d8bfe97fa4766e03524879589350a1b4256743d8c2637f 8536 mathcomp-algebra-tactics_1.0.0-5.debian.tar.xz
 a4be0457696e84f3c3546a593024cd773eb50a0ea4fb200d0b583a08717b9249 6962 mathcomp-algebra-tactics_1.0.0-5_source.buildinfo
Files:
 0fe8debd4f350f8f89db7a2c43bd8a98 2235 ocaml optional mathcomp-algebra-tactics_1.0.0-5.dsc
 51c94e7ae6a00b36b1f7c40f73e4dfe9 8536 ocaml optional mathcomp-algebra-tactics_1.0.0-5.debian.tar.xz
 7800970981947b43c9668e375038fe22 6962 ocaml optional mathcomp-algebra-tactics_1.0.0-5_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKnLEQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRvr8P+wauvhfucU1+OeZxjN5cNluymWzw8snd
lDYGCzIJd3IOv4jHroYNJ6wWh3VH/52wajt8XBtjA2jmpo3SN+ZgsxXfWQT4eJbx
Xux9VORszPdUEDcxjDHPZjtZ4RotpaudSloERf6hLRt55H8TmA9gJxHJbpjh5uWx
XSi7jmfgWlkq3d3kOFkGkADjIZmC6SixoO/OALL353rPLrN/1WMThIZRwfI1AmsO
VsQ1wUdj3BKwhpfP/O4aLYABSbnu9ShlV6dxyB5CWNGsfZVikJnyjZE/q/BND2y4
BhbYxF9Xwad6atp1dCut92ZQAWoYS3/G5upAJfsxvkpCcMxHNQb+CEIZX8AcSVqD
zH3XM70m2ulCwMxhiCY2XcOjUk/QxQlUpdGcLpn/Yr735fZgwvGyNvBEj24SIpY2
kB2pFUcEVbE9gcoqM609zefl51zT4r6T1SKDcwuXsWNInfmyFqPc4+37ex84S1O6
DAdR56e7pMuL3SH19oMgs4eCKzNpUsa4DZkLXe7K71n0EE4GxQ0L5L5KQW4OCsBV
lEGAhS4EF0vYL7JNzNbiofBKkz4XLFZZRRryBvKveVZvnn0S/PJtcc/Vl5vPrqkq
EbeEjF8AWKbgMx0AACSq1PA3l87hsccjo/uR2TZLj53ejN6+5P6t9gH8jWGVCWgz
GgiDAm0t/azm
=0S2N
-----END PGP SIGNATURE-----