"nitrogen" Frama-c is two versions older than "fluorine"
Bug #1180597 reported by
Craig Denman
This bug affects 2 people
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| frama-c (Debian) |
Fix Released
|
Unknown
|
|||
| frama-c (Ubuntu) |
Fix Released
|
Wishlist
|
Unassigned | ||
Bug Description
With each newer version of Ubuntu, the same old "nitrogen" Frama-c keeps getting thrown in. Why not use the newest available version? The authors have indicated that many bugs have been fixed.
| tags: | added: upgrade-software-version |
| Changed in frama-c (Ubuntu): | |
| status: | New → Triaged |
| importance: | Undecided → Wishlist |
Revision history for this message
| Mehdi (mehdid) wrote | #1 |
| Changed in frama-c (Debian): | |
| status: | Unknown → Confirmed |
| Changed in frama-c (Debian): | |
| status: | Confirmed → Fix Released |
Revision history for this message
| Logan Rosen (logan) wrote | #2 |
| Changed in frama-c (Ubuntu): | |
| status: | Triaged → Fix Released |
To post a comment you must log in.
The answer is pretty simple: There is no Frama-C maintainer on the Ubuntu side. You have chosen to use Ubuntu, you get it with its disadvantages. You want new versions of Frama-C in Ubuntu? Pull your fingers out and do help! It is volunteers driven...