new_git_repository(
    name = "eigen",
    remote = "https://github.com/RLovelett/eigen.git",
    commit = "c528b39669ea9f6358b5d8d418ae05f51cdf302e",
    build_file = "eigen.BUILD",
)

new_git_repository(
    name = "dynet",
    remote = "https://github.com/clab/dynet.git",
    commit = "00d95b0a50f45c253ec7bad6f2cdc6befbe7439b",
    build_file = "dynet.BUILD",
)

new_git_repository(
    name = "easyloggingpp",
    remote = "https://github.com/easylogging/easyloggingpp.git",
    commit = "f950313804a934f9bfbccb342b900462cec7fa16",
    build_file = "easyloggingpp.BUILD",
)
