Dear maintainer, I see that the package coinst (version 1.9.3-6+b4) recommends dot which is not in unstable (I cannot find it either in tracker.debian.org) This can be seen in https://packages.debian.org/unstable/coinst Should it be dropped or changed? Thank you,