diff --git a/collects/meta/web/download/main.rkt b/collects/meta/web/download/main.rkt
index 36ce50b8cf..9c238e9c65 100644
--- a/collects/meta/web/download/main.rkt
+++ b/collects/meta/web/download/main.rkt
@@ -1,3 +1,3 @@
 #lang at-exp s-exp "shared.rkt"
 
-(require "index.rkt")
+(require "index.rkt" "version.rkt")
diff --git a/collects/meta/web/download/version.rkt b/collects/meta/web/download/version.rkt
new file mode 100644
index 0000000000..a3e3a21701
--- /dev/null
+++ b/collects/meta/web/download/version.rkt
@@ -0,0 +1,6 @@
+#lang at-exp s-exp "shared.rkt"
+
+(require "data.rkt")
+
+(define version.txt
+  (plain (format "~s" `((recent ,current-version) (stable ,current-version)))))