Ubuntu
frama-c package

  1. Bug #1180597
  2. Comment #1

Comment 1 for bug 1180597

Revision history for this message
Mehdi (mehdid) wrote :

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...