Versions Packages Information History Badges Report

Versions for cbmc

55 package(s) known

Repository Package name Version Category Maintainer(s)
AUR cbmc-git 5.11.r1339.gabbb38942 - pythonshell@aur
AUR cbmc-bin 5.11 - pythonshell@aur
AUR cbmc 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 12
bookworm/main
cbmc 5.12 science mt@debian.org
Debian Stable
stable/main
cbmc 5.12 science mt@debian.org
Debian Testing
testing/main
cbmc 5.12 science mt@debian.org
Debian Unstable
sid/main
cbmc 5.12 science mt@debian.org
Deepin
main
cbmc 5.10 science mt@debian.org
Devuan 1.0 (Jessie)
jessie/main
cbmc 4.9 science mt@debian.org
Devuan 2.0 (ASCII)
ascii/main
cbmc 5.6 science mt@debian.org
Devuan 3.0 (Beowulf)
beowulf/main
cbmc 5.10 science mt@debian.org
Devuan 4.0 (Chimaera)
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
updates
cbmc 5.11 Unspecified -
Fedora 30
release
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.37.0 Unspecified -
Fedora 33
release
cbmc 5.12 Unspecified -
Fedora 34
updates
cbmc 5.37.0 Unspecified -
Fedora 34
release
cbmc 5.25.0 Unspecified -
Fedora Rawhide cbmc 5.38.0 Unspecified -
Homebrew cbmc 5.39.3 - -
Kali Linux Rolling
main
cbmc 5.12 science mt@debian.org
Linuxbrew cbmc 5.39.3 - -
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
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
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 20.10
groovy/universe
cbmc 5.12 universe/science mt@debian.org
Ubuntu 21.04
hirsute/universe
cbmc 5.12 universe/science mt@debian.org
Ubuntu 21.10
impish/universe
cbmc 5.12 universe/science mt@debian.org