Age | Commit message (Collapse) | Author |
|
Signed-off-by: PythonShell <pythonshell@yeah.net>
|
|
Signed-off-by: PythonShell <pythonshell@yeah.net>
|
|
Signed-off-by: PythonShell <pythonshell@yeah.net>
|
|
Signed-off-by: PythonShell <pythonshell@yeah.net>
|
|
Signed-off-by: PythonShell <pythonshell@yeah.net>
|
|
Signed-off-by: PythonShell <pythonshell@yeah.net>
|
|
Signed-off-by: PythonShell <pythonshell@yeah.net>
|
|
Signed-off-by: PythonShell <pythonshell@yeah.net>
|
|
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>
|
|
Signed-off-by: PythonShell <pythonshell@yeah.net>
|
|
Signed-off-by: PythonShell <pythonshell@yeah.net>
|
|
|