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

  * Initial release. (Closes: #864786)

 -- Ian A. Mason <iam@csl.sri.com>  Thu, 10 Aug 2017 13:46:30 +0000