You are here:
Show more informations from pkgdb
Summary: | Symbolic Execution Engine |
---|---|
Description: | |
URL: | https://klee.github.io |
Bugzilla: | Active bugs |
Pagure: | https://src.fedoraproject.org/rpms/klee |
Koschei: | https://koschei.fedoraproject.org/package/klee |
Branch | Repository | Version-Release | Owner | Co-maintainers |
---|---|---|---|---|
f37 | base | 2.3-6.fc37 | ||
f36 | updates | 2.3-3.fc36 | ||
base | 2.2-5.fc36 | |||
f35 | updates | 2.3-1.fc35 | ||
base | 2.2-1.fc35 | |||
f34 | updates | 2.2-2.fc34 | ||
f33 | updates | 2.2-1.fc33 |