-----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@lists.alioth.debian.org> Changed-By: Alexandre Detiste <tchet@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-----
Attachment:
pgp_WFopStMWi.pgp
Description: PGP signature