Versions Packages Information History Badges Report

Packages for cbmc

48 package(s) known

cbmc

5.11 (5.11-1)

cbmc-bin

5.11 (5.11-1)

cbmc-git

5.11.r1339.gabbb38942 (5.11.r1339.gabbb38942-1)
Deepin
main

cbmc

5.10 (5.10-5)

cbmc

4.9 (4.9-4)

cbmc

5.6 (5.6-1)

cbmc

5.10 (5.10-5)
Devuan 4.0 (Chimaera)
chimaera/main

cbmc

5.12 (5.12-5)
Devuan Unstable
unstable/main

cbmc

5.12 (5.12-5)
Fedora 26
release

cbmc

5.7 (5.7-1.fc26)
Fedora 27
release

cbmc

5.7 (5.7-3.fc27)
Fedora 28
release

cbmc

5.8 (5.8-2.fc28)
Fedora 29
release

cbmc

5.10 (5.10-1.fc29)
Fedora 30
release

cbmc

5.11 (5.11-1.fc30)
Fedora 30
updates

cbmc

5.11 (5.11-2.fc30)
Fedora 31
release

cbmc

5.11 (5.11-4.fc31)
Fedora 32
updates

cbmc

5.25.0 (5.25.0-1.fc32)
Fedora 32
release

cbmc

5.11 (5.11-5.fc32)
Fedora 33
updates

cbmc

5.25.0 (5.25.0-1.fc33)
Fedora 33
release

cbmc

5.12 (5.12-2.fc33)

cbmc

5.25.0 (5.25.0-2.fc35)

cbmc

5.27.0

cbmc

5.12 (5.12-5)

cbmc

5.27.0

cbmc

5.6 (5.6-1)

cbmc

5.10 (5.10-5)
Parrot
main

cbmc

5.12 (5.12-5)

cbmc

5.10 (5.10-5)

cbmc

5.12 (5.12-5)

cbmc

5.6 (5.6-1)

cbmc

5.10 (5.10-5)

cbmc

5.12 (5.12-5)
Trisquel 6.0
toutatis/main

cbmc

4.0 (4.0-4)
Trisquel 7.0
belenos/main

cbmc

4.5 (4.5-2ubuntu2)
Trisquel 8.0
flidas/main

cbmc

5.3 (5.3-1)
Trisquel 9.0
etiona/main

cbmc

5.6 (5.6-1)
Ubuntu 12.04
precise/universe

cbmc

4.0 (4.0-4)
Ubuntu 14.04
trusty/universe

cbmc

4.5 (4.5-2ubuntu2)
Ubuntu 16.04
xenial/universe

cbmc

5.3 (5.3-1)
Ubuntu 18.04
bionic/universe

cbmc

5.6 (5.6-1)
Ubuntu 20.04
focal/universe

cbmc

5.10 (5.10-5ubuntu1)
Ubuntu 20.10
groovy/universe

cbmc

5.12 (5.12-5)
Ubuntu 21.04
hirsute/universe

cbmc

5.12 (5.12-5)