yices2 (2.6.5-0ubuntu1) bionic; urgency=medium

  * Yices2.6.5 Release

 -- Ahmed Irfan <ahmed.irfan@sri.com>  Thu, 19 Dec 2024 13:46:30 +0000
