Processed: frama-c: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/frama-c/analyses_manager.cmi

To: Andreas Beckmann <anbe@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: frama-c: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/frama-c/analyses_manager.cmi
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Thu, 12 Jan 2017 01:39:04 +0000
Message-id: <[🔎] handler.s.B.148418501428635.transcript@bugs.debian.org>
References: <[🔎] 20170112013649.24670.61328.reportbug@zam581.zam.kfa-juelich.de> <[🔎] 20170112013649.24670.61328.reportbug@zam581.zam.kfa-juelich.de>

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 owner@bugs.debian.org with problems

Reply to:

References:
- Bug#851104: frama-c: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/frama-c/analyses_manager.cmi
  - From: Andreas Beckmann <anbe@debian.org>

Prev by Date: Bug#850943: [Dose-devel] Bug#850943: dose-builddebcheck: please add an option to check non-full builds
Next by Date: Bug#851104: frama-c: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/frama-c/analyses_manager.cmi
Previous by thread: Bug#851104: frama-c: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/frama-c/analyses_manager.cmi
Next by thread: new hol-light package in git
Index(es):
- Date
- Thread