summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Expand)Author
2019-02-11pkgver cbmc-git 5.11.r1339.gabbb38942 pkgrel 1PythonShell
2018-09-205.10.r572.gf9a09d876 pkgrel 1PythonShell
2018-07-015.8.r4266.g6fd77f4ad pkgrel 1PythonShell
2017-12-01cbmc.5.8.r2000.994037085 pkgrel 1PythonShell
2016-12-11cbmc.5.5.r387.5ec88cd pkgrel 1PythonShell
2016-09-04version cbmc.5.5.r81.8f47419 pkgrel 1PythonShell