name: klee version: 2.3+20220926 mtime: 1664181727 commit: 667ce0f1ef33c32fbe2d1836fc1b334066e244ca
The Open Build Service is an openSUSE project.
