diff --git a/teensy/main.c b/teensy/main.c
index 139bd886839d0e92d1caedef66847f0bc64af7e5..bfb7413e7f974c65263fd7fe4463f5d1dd7f755d 100644
--- a/teensy/main.c
+++ b/teensy/main.c
@@ -19,6 +19,7 @@
 #include "usb.h"
 #include "gc.h"
 #include "led.h"
+#include "build/py/py-version.h"
 
 #include "Arduino.h"
 
@@ -380,7 +381,7 @@ bool do_file(const char *filename) {
 }
 
 void do_repl(void) {
-    stdout_tx_str("Micro Python for Teensy 3.1\r\n");
+    stdout_tx_str("Micro Python build " MICROPY_GIT_HASH " on " MICROPY_BUILD_DATE "; Teensy 3.1 version\n");
     stdout_tx_str("Type \"help()\" for more information.\r\n");
 
     vstr_t line;
diff --git a/unix/main.c b/unix/main.c
index 3ebd9ab82b56fc05cb285e660b9a4e23b2ecfda7..1200b7d5d16f030b38c93d8ccd095cc46d22984e 100644
--- a/unix/main.c
+++ b/unix/main.c
@@ -22,6 +22,7 @@
 #include "runtime.h"
 #include "repl.h"
 #include "gc.h"
+#include "build/py/py-version.h"
 
 #if MICROPY_USE_READLINE
 #include <readline/readline.h>
@@ -137,6 +138,9 @@ STATIC char *prompt(char *p) {
 }
 
 STATIC void do_repl(void) {
+    printf("Micro Python build " MICROPY_GIT_HASH " on " MICROPY_BUILD_DATE "; UNIX version\n");
+    printf("Type \"help()\" for more information.\n");
+
     for (;;) {
         char *line = prompt(">>> ");
         if (line == NULL) {
diff --git a/windows/main.c b/windows/main.c
index 98d293161ae19b072a5d2861f9289da3b771ce59..575572ae381e408e7b2da3aae2f291b3ed37bcc1 100644
--- a/windows/main.c
+++ b/windows/main.c
@@ -16,6 +16,7 @@
 #include "runtime0.h"
 #include "runtime.h"
 #include "repl.h"
+#include "build/py/py-version.h"
 
 #if MICROPY_USE_READLINE
 #include <readline/readline.h>
@@ -117,6 +118,9 @@ static char *prompt(char *p) {
 }
 
 static void do_repl(void) {
+    printf("Micro Python build " MICROPY_GIT_HASH " on " MICROPY_BUILD_DATE "; Windows version\n");
+    printf("Type \"help()\" for more information.\n");
+
     for (;;) {
         char *line = prompt(">>> ");
         if (line == NULL) {