Processed: found 863742 in libllvm-4.0-ocaml-dev/1:4.0.1~+rc3-1

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 863742 libllvm-4.0-ocaml-dev/1:4.0.1~+rc3-1
Bug #863742 [libllvm-4.0-ocaml-dev,libllvm-5.0-ocaml-dev] libllvm-5.0-ocaml-dev and libllvm-4.0-ocaml-dev: error when trying to install together
The source libllvm-4.0-ocaml-dev and version 1:4.0.1~+rc3-1 do not appear to match any binary packages
Marked as found in versions libllvm-4.0-ocaml-dev/1:4.0.1~+rc3-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
863742: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863742
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems