name: klee version: 3.0+20231023 mtime: 1698093351 commit: fc83f06b17221bf5ef20e30d9da1ccff927beb17
The Open Build Service is an openSUSE project.
