ocaml/opam-repository — pull request #2915 by chaudhuri (2014-10-22 15:05:03+00:00)
Title: +Abella 2.0.2

Also removed abella.2.0.0, which is now obsolete