Bug#856836: nmu: libarmci-mpi-dev_0.0~git20160222-1

To: 856836@bugs.debian.org
Subject: Bug#856836: nmu: libarmci-mpi-dev_0.0~git20160222-1
From: Michael Banck <mbanck@debian.org>
Date: Sun, 5 Mar 2017 11:44:52 +0100
Message-id: <[🔎] 20170305104451.GA1526@nighthawk.caipicrew.dd-dns.de>
Reply-to: Michael Banck <mbanck@debian.org>, 856836@bugs.debian.org
In-reply-to: <[🔎] 20170305103659.GA9159@nighthawk.caipicrew.dd-dns.de>
References: <[🔎] 20170305103659.GA9159@nighthawk.caipicrew.dd-dns.de>

Hi,

On Sun, Mar 05, 2017 at 11:37:09AM +0100, Michael Banck wrote:
> Package: release.debian.org
> Severity: normal
> User: release.debian.org@packages.debian.org
> Usertags: binnmu
> 
> nmu libarmci-mpi-dev_0.0~git20160222-1 . ALL . -m "Rebuild for PIE"

This binNMU is needed so that ga can be built against libarmci-mpi-dev,
closing #816699.


Michael

Reply to:

References:
- Bug#856836: nmu: libarmci-mpi-dev_0.0~git20160222-1
  - From: Michael Banck <mbanck@debian.org>

Prev by Date: Re: Various unblock-udebs
Next by Date: Bug#856837: unblock: yade/2017.01a-7
Previous by thread: Bug#856836: nmu: libarmci-mpi-dev_0.0~git20160222-1
Next by thread: Bug#856836: marked as done (nmu: libarmci-mpi-dev_0.0~git20160222-1)
Index(es):
- Date
- Thread