Bug#745307: Re-assigning to OCamlgraph

2014-05-08 Thread Ralf Treinen
On Wed, May 07, 2014 at 08:51:48PM +0100, Peter Michael Green wrote:
 This bug is due to an API change appeared in
 OCamlgraph 1.8.4 and then reverted
 back in 1.8.5. OCamlgraph 1.8.3 (present
 testing's version) is not affected.
 Am I correct in thinking that means that the binnmus for dose3 should be
 given back?

If this means whether dose3 should be rebuild against ocamlgraph 1.8.5:
yes, please !

-Ralf.


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



Bug#745307: Re-assigning to OCamlgraph

2014-05-08 Thread Mehdi Dogguy

Le 2014-05-07 21:51, Peter Michael Green a écrit :

This bug is due to an API change appeared in
OCamlgraph 1.8.4 and then reverted
back in 1.8.5. OCamlgraph 1.8.3 (present
testing's version) is not affected.

Am I correct in thinking that means that the binnmus for dose3 should
be given back?


Yes. Thanks for the notice. I just did that now.

Regards,

--
Mehdi


--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



Bug#745307: Re-assigning to OCamlgraph

2014-05-07 Thread Peter Michael Green

This bug is due to an API change appeared in
OCamlgraph 1.8.4 and then reverted
back in 1.8.5. OCamlgraph 1.8.3 (present
testing's version) is not affected.
Am I correct in thinking that means that the binnmus for dose3 should 
be given back?



--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



Bug#745307: Re-assigning to OCamlgraph

2014-05-06 Thread Mehdi Dogguy

Control: reopen 745307
Control: reassign 745307 ocamlgraph 1.8.4-1
Control: close 745307 1.8.5-1


This bug is due to an API change appeared in OCamlgraph 1.8.4 and then 
reverted
back in 1.8.5. OCamlgraph 1.8.3 (present testing's version) is not 
affected.



--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org