Packages for uploader lukewang19@icloud.com
Uploaded long ago
| Package | Description | Version | Uploader | Needs a sponsor | Already in Debian |
|---|---|---|---|---|---|
| esbmc | Efficient SMT-based Context-Bounded Model Checker | 8.4+dfsg-1 (unstable) | Weiqi Wang | Yes | No |
| Package | Description | Version | Uploader | Needs a sponsor | Already in Debian |
|---|---|---|---|---|---|
| esbmc | Efficient SMT-based Context-Bounded Model Checker | 8.4+dfsg-1 (unstable) | Weiqi Wang | Yes | No |