<div dir="ltr">I hear that Racket is having some trouble determining "who broke what" in the package ecosystem. I do not know the specifics of this problem, but there was a recent discussion on the OCaml mailing list about OPAM's method of tracking package compatibility that may be relevant:<div><br></div><div><a href="http://lists.ocaml.org/pipermail/opam-devel/2014-September/000654.html">http://lists.ocaml.org/pipermail/opam-devel/2014-September/000654.html</a><br></div><div><br></div><div>In particular, the second message (of 26) in the thread has a link to a survey paper on the formal aspects of package systems.</div><div><br></div><div><a href="http://www.dicosmo.org/Articles/2012-DiCosmoTreinenZacchiroli-Fmco.pdf">http://www.dicosmo.org/Articles/2012-DiCosmoTreinenZacchiroli-Fmco.pdf</a></div></div>