Launchpad itself

  1. Bug #1685672
  2. Comment #2

Comment 2 for bug 1685672

Revision history for this message
Gianfranco Costamagna (costamagnagianfranco) wrote :

this probably happened also to frama-c 20161101+silicon+dfsg-5, disappearing from the artful archive
(copy-paste from -release log, from cjwatson)