Bug#888422: marked as done (Mixing libmpfr4 and libmpfr6 doesn't work well)

2018-02-07 Thread Debian Bug Tracking System
Your message dated Wed, 07 Feb 2018 18:20:19 + with message-id and subject line Bug#888422: fixed in mpfr4 4.0.1-1 has caused the Debian Bug report #888422, regarding Mixing libmpfr4 and libmpfr6 doesn't work well to be marked as done. This means that you claim that the problem has been dealt

Bug#888422: marked as done (Mixing libmpfr4 and libmpfr6 doesn't work well)

2018-01-30 Thread Debian Bug Tracking System
Your message dated Tue, 30 Jan 2018 09:20:58 + with message-id and subject line Bug#888422: fixed in mpfr4 4.0.0-6 has caused the Debian Bug report #888422, regarding Mixing libmpfr4 and libmpfr6 doesn't work well to be marked as done. This means that you claim that the problem has been dealt