UbuntuUpdates.org

Package "jbmc"

Name: jbmc

Description:

bounded model checker for Java programs
Latest version: 5.95.1-4ubuntu1
Release: noble (24.04)
Level: base
Repository: universe
Head package: cbmc
Homepage: http://www.cprover.org/cbmc/

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "jbmc"

32-bit deb package
64-bit deb package
APT INSTALL

Other versions of "jbmc" in Noble

No other version of this package is available in the Noble release.

Changelog

Version: 5.95.1-4ubuntu1 2024-04-24 12:07:10 UTC

  cbmc (5.95.1-4ubuntu1) noble; urgency=medium

  * Disable LTO everywhere (LP: #2036745)
    (cbmc is already in lto-disabled-list for amd64 and ppc64el,
    but not touching that package during final freeze)

 -- Graham Inggs <email address hidden> Tue, 23 Apr 2024 16:36:24 +0000
2036745 FTBFS cbmc 5.89.0-2


About   -   Send Feedback to @ubuntu_updates