FORMULA_RENAMES = {
  "cv" => "progress",
  "google-perftools" => "gperftools",
  "go-app-engine-32" => "app-engine-go-32",
  "go-app-engine-64" => "app-engine-go-64",
  "app-engine-java-sdk" => "app-engine-java",
  "google-app-engine" => "app-engine-python",
  "libcppa" => "caf",
  "objective-caml" => "ocaml",
  "mpich2" => "mpich",
  "plt-racket" => "racket"
}