`lein install` may not be needed if `lein` can find the library in another
repository.