| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-03-19 | version 5.4 pkgrel 1 | PythonShell | |
| Signed-off-by: PythonShell <pythonshell@yeah.net> | |||
| 2015-12-05 | version 5.3 pkgrel 2 | PythonShell | |
| fix issue in frederik comment. ``` package() can not find /tmp/yaourt-tmp/aur-cbmc-bin/src/hw-cbmc - no such file or directory ``` Signed-off-by: PythonShell <pythonshell@yeah.net> | |||
| 2015-12-03 | version 5.3 pkgrel 1 | PythonShell | |
| Signed-off-by: PythonShell <pythonshell@yeah.net> | |||
| 2015-10-10 | version 5.2 pkgrel 1 | PythonShell | |
| Signed-off-by: PythonShell <pythonshell@yeah.net> | |||
| 2015-06-13 | Initial commit | PythonShell | |