diff --git a/collects/mred/info.rkt b/collects/mred/info.rkt index 9b6cbaad87..c522ee60d2 100644 --- a/collects/mred/info.rkt +++ b/collects/mred/info.rkt @@ -1,4 +1,4 @@ #lang setup/infotab -(define version '(400)) +(define version '(510)) (define post-install-collection "installer.rkt") diff --git a/collects/mzscheme/info.rkt b/collects/mzscheme/info.rkt index 0ec5662c1f..dd99f67f26 100644 --- a/collects/mzscheme/info.rkt +++ b/collects/mzscheme/info.rkt @@ -1,6 +1,6 @@ #lang setup/infotab -(define version '(400)) +(define version '(510)) (define post-install-collection "installer.rkt")