Ubuntu
cbmc package

Change logs for cbmc source package in Eoan

  1. Eoan (19.10)
  2. Change log 
  • cbmc (5.10-5) unstable; urgency=low

  * Use default-jdk-headless instead of openjdk-8 (Closes: #910704)

 -- Michael Tautschnig <email address hidden>  Wed, 17 Oct 2018 19:55:17 +0100