FORMULA_RENAMES = {
  "libcppa" => "caf",
  "objective-caml" => "ocaml",
  "plt-racket" => "racket"
}