ocaml/opam-repository — pull request #1850 by c-cube (2014-04-02 14:11:11+00:00)
Title: remove useless packages (moved to a more specific, logic-oriented opam repo)

let's be honest, no one is going to install such programs, excepted academics that might find them from their github page, or on my team's page. I'm going to maintain their opam description in another repo that won't pollute regular OCaml users.