diff --git a/paparazzi_version b/paparazzi_version
index 0fde2c0289..f137c8e33c 100755
--- a/paparazzi_version
+++ b/paparazzi_version
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-DEF_VER=v5.0.0_stable
+DEF_VER=v5.1_devel
 
 # First try git describe (if running on a git repo),
 # then use default version from above (for release tarballs).