Bug#858364: nmu: frama-c_20161101+silicon+dfsg-5

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#858364: nmu: frama-c_20161101+silicon+dfsg-5
From: Andreas Beckmann <anbe@debian.org>
Date: Tue, 21 Mar 2017 16:58:30 +0100
Message-id: <[🔎] 20170321155830.31954.81852.reportbug@zam581.zam.kfa-juelich.de>
Reply-to: Andreas Beckmann <anbe@debian.org>, 858364@bugs.debian.org

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: binnmu

nmu frama-c_20161101+silicon+dfsg-5 . ANY . unstable . -m "Rebuild against ocaml-zarith 1.4.1-2"

It's uninstallable at least on i386:

The following packages have unmet dependencies:
 frama-c-base : Depends: libzarith-ocaml-fpp32


Andreas

Reply to:

Follow-Ups:
- Bug#858364: marked as done (nmu: frama-c_20161101+silicon+dfsg-5)
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: Bug#858362: unblock: kde-runtime/4:16.08.3-2
Next by Date: Bug#858365: unblock: smarty3/3.1.31+20161214.1.c7d42e4+selfpack1-2
Previous by thread: Bug#858362: marked as done (unblock: kde-runtime/4:16.08.3-2)
Next by thread: Bug#858364: marked as done (nmu: frama-c_20161101+silicon+dfsg-5)
Index(es):
- Date
- Thread