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