Ubuntu

jbmc-dbgsym 5.84.0-6 (amd64 binary) in ubuntu mantic

Details

Package version:: 5.84.0-6

Source:: cbmc 5.84.0-6 source package in Ubuntu

Status:: Superseded

Component:: universe

Priority:: Optional

Downloadable files

amd64 build of cbmc 5.84.0-6 in ubuntu mantic PROPOSED produced these files:

jbmc-dbgsym_5.84.0-6_amd64.ddeb (220.9 MiB)

Package relationships

Depends on: