cvc5 (1.0.5-3) unstable; urgency=medium * Post-NEW source-only upload -- Scott Talbert Fri, 23 Jun 2023 15:50:35 -0400 cvc5 (1.0.5-2) unstable; urgency=medium * Build Python bindings (Closes: #1034268) -- Scott Talbert Thu, 22 Jun 2023 15:58:34 -0400 cvc5 (1.0.5-1) unstable; urgency=medium * Update to new upstream release 1.0.5 (Closes: #1037616) * Update Standards-Version to 4.6.2 (no changes needed) * Rules-Requires-Root: no -- Scott Talbert Tue, 20 Jun 2023 12:11:06 -0400 cvc5 (1.0.3-1) unstable; urgency=medium * Update to new upstream release 1.0.3 * Update missing shared library patch -- Scott Talbert Mon, 19 Dec 2022 20:35:50 -0500 cvc5 (1.0.2-2) unstable; urgency=medium * Fix autopkgtests -- Scott Talbert Sat, 17 Dec 2022 16:56:42 -0500 cvc5 (1.0.2-1) unstable; urgency=medium * Initial release. (Closes: #1007981) -- Scott Talbert Thu, 01 Dec 2022 18:44:45 -0500