Ubuntu
why3 package

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://packages.ubuntu.com/search?suite=bionic&searchon=names&keywords=why3

        https://packages.ubuntu.com/kinetic/why3

    (b) why3 is not presently in jammy:

        https://packages.ubuntu.com/search?suite=jammy&searchon=names&keywords=why3

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:
Revision history for this message
Manfred Hampl (m-hampl) said : 		#1

Manfred Hampl suggests this article as an answer to your question:
FAQ #3037: “no rolling release”.

Revision history for this message
Best Manfred Hampl (m-hampl) said : 		#2

At the time when Ubuntu jammy was published, there was no version of why3 available, that worked with Ubuntu jammy.
Ubuntu's strategy is not to add software packages after a certain Ubuntu release has been published (or at least to do that only in exceptional cases).

You can manually download the why3 package for kinetic and try whether it can be installed on jammy.
This can work well or may fail with broken dependencies. (I have not tested this myself.)

Revision history for this message
mgnt (magnetudinbuda) said : 		#3

It is relatively easy for me to run why3.
For example: qemu running a distribution providing why3, say kinetic, for example.

It was just a little bit surprising for me, seeing why3 not in jammy, but in kinetic, and
your answer clarified this puzzle for me.

Thanks!

Revision history for this message
mgnt (magnetudinbuda) said : 		#4

Thanks Manfred Hampl, that solved my question.

Revision history for this message
actionparsnip (andrew-woodhead666) said : 		#5

https://launchpad.net/ubuntu/+source/why3/+changelog