stp
No description set
- Developed at devel:tools:statica
- Sources inherited from project openSUSE:Factory
-
2
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:seife:Factory/stp && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| _service | 0000000496 496 Bytes | |
| _servicedata | 0000000218 218 Bytes | |
| stp-2.2+20161105.tar.xz | 0002144288 2.04 MB | |
| stp.changes | 0000003344 3.27 KB | |
| stp.spec | 0000003769 3.68 KB |
Revision 1 (latest revision is 15)
Dominique Leuenberger (dimstar_suse)
accepted
request 458928
from
Jiri Slaby (jirislaby)
(revision 1)
stp is needed by klee
Comments 0