Processed: found 966346 in 0.8.2-2

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> found 966346 0.8.2-2
Bug #966346 {Done: =?utf-8?q?St=C3=A9phane_Glondu?= <glondu@debian.org>} [libmlpost-ocaml-dev] libmlpost-ocaml-dev: impossible to install on debian sid due to unavailable dependency
Marked as found in versions mlpost/0.8.2-2.
> thanks
Stopping processing here.

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