-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 23 Jun 2023 15:50:35 -0400 Source: cvc5 Architecture: source Version: 1.0.5-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net> Changed-By: Scott Talbert <swt@techie.net> Changes: cvc5 (1.0.5-3) unstable; urgency=medium . * Post-NEW source-only upload Checksums-Sha1: 8e316db10aeb399cbcfa395c0c57ee7de3267d02 2495 cvc5_1.0.5-3.dsc 7e0a9d7aea61350e4b02b63e27fa6416f52debe9 7072 cvc5_1.0.5-3.debian.tar.xz 2c1f88a06513ca04f69171b948167c678aa7447b 10598 cvc5_1.0.5-3_source.buildinfo Checksums-Sha256: 70898638fd11aeb1e31d04370688d310ee523c248cafae52b6dbc21069d2c70a 2495 cvc5_1.0.5-3.dsc 5bcf8290d17fe2481f9f97c9f011a8be10b3111b51b75d97feed3d829ba0956a 7072 cvc5_1.0.5-3.debian.tar.xz 5cffec6de1aaa2525d7842f7366ba205ad033ae6cc73648bb37b3a09099042cd 10598 cvc5_1.0.5-3_source.buildinfo Files: 4b664462da59f285e3faab0081915ad4 2495 math optional cvc5_1.0.5-3.dsc 584594a814c4ba284317287007c353c7 7072 math optional cvc5_1.0.5-3.debian.tar.xz b9d4ed27e602a4613b6e12cac5e16c80 10598 math optional cvc5_1.0.5-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSV974PHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiGSUQAJLnoFikLi/ontpNC/zv7N3OH7dgC52cn2I+ DT5FCI/C0reW4tbPGdCcGgh9E4jQqeWDWSjru9izg3AeWcUa2Z7zM2rHoffTHwLQ lDJu7K7Avx/8pRgEwwzN5crMGwvwPV044G/FxKDm3M/Sk2vd4rAlqnCCjRMSc+Ie 8ALFX4uILPXsXEZySINOveFwacV2eyVDNZ/I/rYRVL6adYcrXYdFAsjZQikbKese asexxQC9uDzhNhCvuzHUIx433RqlyCvxEFiZtB89m+9T1Y0YMcEM+oUOxyw+PNjI 7Vm3BcZSm1h1S+688YGzBnOUZy6JEEBuXojKyOZ3hjHngY53DeUV7QOaVnnmAHDG 7CjLw3lqyphjT2THyk1/0yCWhtNrOyMNdxm3V32ZtRkIgShENnp/PeZuqVwp8ix3 /LJzLsqgbnb31y5b6BqndaXpxArGpBw5Kyn0tPecS4q5fdQl/PKC7SdU2YsnqsaY Gf0FsSSM+DywnJ0ECEnwXgDaJyGcBOKlvzTJKVpMuD33d4w6uTQ0uGvps7usdGYd M4Qs3rRREZxP8Ts/VX11RqTN+qLiODd59dk85RTlQCtVXew43otbUCZtvdhS+Bsl bbWDoHOJ1DIjYXEzZJT+qXhJIHlJiDVQjFBnvf456Lr2V+YoM4GmiHvRrG8NTBAe uYhklCc4 =abIO -----END PGP SIGNATURE-----
