Processing control commands: > found -1 20161101+silicon+dfsg-2 Bug #851104 [frama-c] frama-c: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/frama-c/analyses_manager.cmi Marked as found in versions frama-c/20161101+silicon+dfsg-2.
-- 851104: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=851104 Debian Bug Tracking System Contact [email protected] with problems
