why3, jammy
Asked by
mgnt
Presently, in jammy, the why3 package is not provided.
Is it possible that this will change and why3 will be provided also in jammy?
Example:
(a) why3 is provided in bionic, kinetic:
https:/
https:/
(b) why3 is not presently in jammy:
https:/
Question information
- Language:
- English Edit question
- Status:
- Solved
- For:
- Ubuntu why3 Edit question
- Assignee:
- No assignee Edit question
- Solved by:
- Manfred Hampl
- Solved:
- Last query:
- Last reply:
To post a message you must log in.