debian/1.3.2-1

Scott Talbert

@swt2c

844d6f83 · cvc5 (1.3.2-1) unstable; urgency=medium · Dec 23, 2025

cvc5 Debian release 1.3.2-1