Releases · diffblue/homebrew-cbmc · GitHub

06 Jul 15:45

Tap binaries Latest

This is a release to serve only as a basket of sorts for various binaries we wish to preserve

Assets 301

cbmc@5.61.0-5.61.0.arm64_big_sur.bottle.tar.gz

21.2 MB 2022-07-19T10:13:22Z
cbmc@5.61.0-5.61.0.arm64_monterey.bottle.tar.gz

22.4 MB 2022-07-19T10:13:29Z
cbmc@5.61.0-5.61.0.big_sur.bottle.tar.gz

22.4 MB 2022-07-19T10:13:35Z
cbmc@5.61.0-5.61.0.catalina.bottle.tar.gz

22.7 MB 2022-07-19T10:13:42Z
cbmc@5.61.0-5.61.0.monterey.bottle.tar.gz

23.7 MB 2022-07-19T10:13:49Z
cbmc@5.61.0-5.61.0.x86_64_linux.bottle.tar.gz

34.1 MB 2022-07-19T10:13:56Z
cbmc@5.62.0-5.62.0.arm64_big_sur.bottle.tar.gz

21.2 MB 2022-07-27T08:57:18Z
cbmc@5.62.0-5.62.0.arm64_monterey.bottle.tar.gz

22.4 MB 2022-07-27T08:57:27Z
cbmc@5.62.0-5.62.0.big_sur.bottle.tar.gz

22.4 MB 2022-07-27T08:57:40Z
cbmc@5.62.0-5.62.0.catalina.bottle.tar.gz

22.7 MB 2022-07-27T08:57:53Z
Source code (zip)

2022-06-24T09:09:21Z
Source code (tar.gz)

2022-06-24T09:09:21Z