cadical (1.5.3-1) unstable; urgency=medium

  * Initial release

 -- Scott Talbert <swt@techie.net>  Tue, 01 Nov 2022 14:47:18 -0400
