Versions Packages Information History Badges Report

Versions for cbmc

56 package(s) known

Repository Package name Version Category Maintainer(s)
AUR cbmc-git 5.11.r1339.gabbb38942 - pythonshell@aur
AUR cbmc 5.11 - pythonshell@aur
AUR cbmc-bin 5.11 - pythonshell@aur
Debian 8
jessie/main
cbmc 4.9 science mt@debian.org
Debian 9
stretch/main
cbmc 5.6 science mt@debian.org
Debian 10
buster/main
cbmc 5.10 science mt@debian.org
Debian 11
bullseye/main
cbmc 5.12 science mt@debian.org
Debian Unstable
sid/main
cbmc 5.12 science mt@debian.org
Deepin
main
cbmc 5.10 - mt@debian.org
Devuan 1.0
jessie/main
cbmc 4.9 science mt@debian.org
Devuan 2.0
ascii/main
cbmc 5.6 science mt@debian.org
Devuan 3.0
beowulf/main
cbmc 5.10 science mt@debian.org
Devuan 4.0
chimaera/main
cbmc 5.12 science mt@debian.org
Devuan Unstable
unstable/main
cbmc 5.12 science mt@debian.org
Fedora 26
release
cbmc 5.7 Unspecified -
Fedora 27
release
cbmc 5.7 Unspecified -
Fedora 28
release
cbmc 5.8 Unspecified -
Fedora 29
release
cbmc 5.10 Unspecified -
Fedora 30
release
cbmc 5.11 Unspecified -
Fedora 30
updates
cbmc 5.11 Unspecified -
Fedora 31
release
cbmc 5.11 Unspecified -
Fedora 32
updates
cbmc 5.25.0 Unspecified -
Fedora 32
release
cbmc 5.11 Unspecified -
Fedora 33
updates
cbmc 5.38.0 Unspecified -
Fedora 33
release
cbmc 5.12 Unspecified -
Fedora 34
updates
cbmc 5.50.0 Unspecified -
Fedora 34
release
cbmc 5.25.0 Unspecified -
Fedora 35
updates
cbmc 5.50.0 Unspecified -
Fedora 35
release
cbmc 5.38.0 Unspecified -
Fedora 36
release
cbmc 5.50.0 Unspecified -
Fedora 37
development
cbmc 5.50.0 Unspecified -
Fedora Rawhide
development
cbmc 5.50.0 Unspecified -
Homebrew cbmc 5.67.0 - -
nixpkgs unstable cbmc 5.65.1 - c@jia.je
OpenBSD Ports devel/cbmc 5.5 devel mages.simon@googlemail.com
Pardus 17
main
cbmc 5.6 science mt@debian.org
Pardus 19
main
cbmc 5.10 science mt@debian.org
Pardus 21
main
cbmc 5.12 science mt@debian.org
Parrot
parrot-updates/main
cbmc 5.12 science mt@debian.org
Parrot
parrot/main
cbmc 5.12 science mt@debian.org
PureOS Amber cbmc 5.10 misc mt@debian.org
PureOS landing cbmc 5.12 misc mt@debian.org
Raspbian Oldstable
main
cbmc 5.10 science mt@debian.org
Raspbian Stable
main
cbmc 5.12 science mt@debian.org
Raspbian Testing
main
cbmc 5.12 science mt@debian.org
Trisquel 6.0
toutatis/main
cbmc 4.0 universe/science mt@debian.org
Trisquel 7.0
belenos/main
cbmc 4.5 universe/science ubuntu-devel-discuss@lists.ubuntu.com
Trisquel 8.0
flidas/main
cbmc 5.3 universe/science mt@debian.org
Trisquel 9.0
etiona/main
cbmc 5.6 universe/science mt@debian.org
Trisquel 10.0
nabia/main
cbmc 5.10 universe/science ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 14.04
trusty/universe
cbmc 4.5 universe/science ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 16.04
xenial/universe
cbmc 5.3 universe/science mt@debian.org
Ubuntu 18.04
bionic/universe
cbmc 5.6 universe/science mt@debian.org
Ubuntu 20.04
focal/universe
cbmc 5.10 universe/science ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 22.04
jammy/universe
cbmc 5.12 universe/science mt@debian.org
Ubuntu 22.10
kinetic/universe
cbmc 5.12 universe/science mt@debian.org