diff --git a/tools/upstream/src/main/java/libcore/Repository.java b/tools/upstream/src/main/java/libcore/Repository.java
index 8b0e2f7..0591fe1 100644
--- a/tools/upstream/src/main/java/libcore/Repository.java
+++ b/tools/upstream/src/main/java/libcore/Repository.java
@@ -84,6 +84,16 @@
         return rootPath;
     }
 
+    @Override
+    public int hashCode() {
+      return rootPath.hashCode();
+    }
+
+    @Override
+    public boolean equals(Object obj) {
+      return (obj instanceof Repository) && rootPath.equals(((Repository) obj).rootPath);
+    }
+
     /**
      * @return A human readable name to identify this repository, suitable for use as a
      *         directory name.