Packages uploaded by Fabian Wolff
Older packages
| Package | Description | Version | Uploader | Needs a sponsor? |
|---|---|---|---|---|
| boogie | boogie - verifiable programming language (compiler) libboogie-cil - verifiable programming language (library) |
2.4.1-0.1 | Fabian Wolff | No |