cvc5_1.1.2-3_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sun, 27 Jul 2025 13:13:23 +0200
Source: cvc5
Architecture: source
Version: 1.1.2-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Alexandre Detiste <tchet at debian.org>
Changes:
 cvc5 (1.1.2-3) unstable; urgency=medium
 .
   * Team Upload
   * Fix Team email address
   * Drop dependency on python3-toml
Checksums-Sha1:
 ea10232463beeea813d3f283bfa22f059cdc445b 2460 cvc5_1.1.2-3.dsc
 cf66beaa8343e76b19eceb0a6e54e15645a9a292 7392 cvc5_1.1.2-3.debian.tar.xz
 c25eef2e09a682b752d4c6e56957b5777c875bd0 9619 cvc5_1.1.2-3_source.buildinfo
Checksums-Sha256:
 899687b6edd1aaad85e75a10cbd98662df5fe564d8aab8fd4cdb91c8abb37084 2460 cvc5_1.1.2-3.dsc
 50ecc68f94688b620ba5e1c45caf446e11fa91876db8d70a7dbdb7d94538ddc2 7392 cvc5_1.1.2-3.debian.tar.xz
 50e8c97ef9779d984a0b22b9c32455f20666dedfb8ef2c2eb62e00b4ccf08179 9619 cvc5_1.1.2-3_source.buildinfo
Files:
 40b9916e0e099df0ad632e4b5ae38b58 2460 math optional cvc5_1.1.2-3.dsc
 dcfd2db73d4e000959678c61786b9afb 7392 math optional cvc5_1.1.2-3.debian.tar.xz
 b278e1710d4834b7d535fff1d17b2825 9619 math optional cvc5_1.1.2-3_source.buildinfo

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

iQJFBAEBCgAvFiEEj23hBDd/OxHnQXSHMfMURUShdBoFAmiGFWIRHHRjaGV0QGRl
Ymlhbi5vcmcACgkQMfMURUShdBocmQ//dg5bSo9gQ4qbgJK5hoJXlpt4syZ7bCvf
klFojLCigNQL5fdlVhrSf20aPSsBRw5CrEmcxeOsNZOQPQ9/SAGGunNqCQdX0AG0
MvVcglN1icx+JaOKIk9VyeNTAShR1E2uyGprvoZ90oZ319EIBXQwJaotG4O6uOji
GhUYAZgdBZ7dcZ10IP3dbRGvf448uN4/JP1d4kQWfOFXucm7f53KbKd5GbuwkdmS
HDzOu1G4XONRbUJtNLWCS1fwHazGS29E13KIYNAHL30fdV6Q62oeMYFG3f2KclNo
VGp7BiOMna8Ud/PV6ruzg0SWSBKYlqNstK/Ws8Qdd+M9VhP+m14hTIJAd2C6C14D
bix6Mmajsv+X+iZ1P1TUPbYMBaf1t4Ag1aa66bY9o76Dbw+rC88nVy6tlcd9BvXD
fU6M+WEE8bfMazRm10gyoXH1rwYcHCR4/wzT58EQkOHBnfrJoZBZY8js+/NaxU9P
d9LL+em9xIIBmXyXqVQy47QV57nxQO4FDu3XLpf5bTOCI3k5rnNi56UMeQ8fWSAB
yK0BS0f6SPZWE72Z9j+ceQjGAj8LEhO373kF2BaMOVxGfVACvLZXS51ZJjjlXtGu
PbKRE1k4nO81BND2DRccOCyK66UHrAkAp5yVcrO3fjKcfULQYM/PhtE3uU+JvUiX
wI7JCEYbxBI=
=APlk
-----END PGP SIGNATURE-----

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20250811/18b4d566/attachment.sig>