Versions Packages Information History Related Badges Report

Versions for cbmc

53 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 10
buster/main		 cbmc 5.10 science mt@debian.org
Debian 11
bullseye/main		 cbmc 5.12 science mt@debian.org
Debian 13
trixie/main		 cbmc 5.89.0 science mt@debian.org
Debian Unstable
sid/main		 cbmc 5.89.0 science mt@debian.org
Deepin
main		 cbmc 5.10 - 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.89.0 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.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
release		 cbmc 5.50.0 Unspecified -
Fedora 38
release		 cbmc 5.50.0 Unspecified -
Fedora 39
development		 cbmc 5.50.0 Unspecified -
Fedora Rawhide
development		 cbmc 5.50.0 Unspecified -
Homebrew cbmc 5.93.0 - -
Kali Linux Rolling
main		 cbmc 5.89.0 science mt@debian.org
nixpkgs stable 22.11 cbmc 5.70.0 - c@jia.je
nixpkgs stable 23.05 cbmc 5.76.1 - c@jia.je
nixpkgs unstable cbmc 5.91.0 - c@jia.je
OpenBSD Ports devel/cbmc 5.5 devel mages.simon@googlemail.com
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 science mt@debian.org
Raspbian Oldstable
main		 cbmc 5.12 science mt@debian.org
Raspbian Testing
main		 cbmc 5.89.0 science mt@debian.org
Trisquel 10.0
nabia/main		 cbmc 5.10 universe/science ubuntu-devel-discuss@lists.ubuntu.com
Trisquel 11.0
aramo/main		 cbmc 5.12 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 22.04
jammy/universe		 cbmc 5.12 universe/science mt@debian.org
Ubuntu 23.04
lunar/universe		 cbmc 5.12 universe/science mt@debian.org
Ubuntu 23.10
mantic/universe		 cbmc 5.12 universe/science mt@debian.org
Ubuntu 23.10 Proposed
mantic-proposed/universe		 cbmc 5.89.0 universe/science mt@debian.org