| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-02-11 | pkgver cbmc-git 5.11.r1339.gabbb38942 pkgrel 1 | PythonShell |
| 2018-09-20 | 5.10.r572.gf9a09d876 pkgrel 1 | PythonShell |
| 2018-07-01 | 5.8.r4266.g6fd77f4ad pkgrel 1 | PythonShell |
| 2017-12-01 | cbmc.5.8.r2000.994037085 pkgrel 1 | PythonShell |
| 2016-12-11 | cbmc.5.5.r387.5ec88cd pkgrel 1 | PythonShell |
| 2016-09-04 | version cbmc.5.5.r81.8f47419 pkgrel 1 | PythonShell |