cvc5 (1.0.3-1) unstable; urgency=medium

  * Update to new upstream release 1.0.3
  * Update missing shared library patch

 -- Scott Talbert <swt@techie.net>  Mon, 19 Dec 2022 20:35:50 -0500

cvc5 (1.0.2-2) unstable; urgency=medium

  * Fix autopkgtests

 -- Scott Talbert <swt@techie.net>  Sat, 17 Dec 2022 16:56:42 -0500

cvc5 (1.0.2-1) unstable; urgency=medium

  * Initial release. (Closes: #1007981)

 -- Scott Talbert <swt@techie.net>  Thu, 01 Dec 2022 18:44:45 -0500
