diff --git a/collects/repos-time-stamp/doc.txt b/collects/repo-time-stamp/doc.txt
similarity index 100%
rename from collects/repos-time-stamp/doc.txt
rename to collects/repo-time-stamp/doc.txt
diff --git a/collects/repos-time-stamp/info.rkt b/collects/repo-time-stamp/info.rkt
similarity index 100%
rename from collects/repos-time-stamp/info.rkt
rename to collects/repo-time-stamp/info.rkt
diff --git a/collects/repos-time-stamp/stamp.rkt b/collects/repo-time-stamp/stamp.rkt
similarity index 100%
rename from collects/repos-time-stamp/stamp.rkt
rename to collects/repo-time-stamp/stamp.rkt
diff --git a/collects/repos-time-stamp/time-stamp.rkt b/collects/repo-time-stamp/time-stamp.rkt
similarity index 100%
rename from collects/repos-time-stamp/time-stamp.rkt
rename to collects/repo-time-stamp/time-stamp.rkt