diff --git a/frontend/version.js b/frontend/version.js
index 00142e3..3b9777d 100644
--- a/frontend/version.js
+++ b/frontend/version.js
@@ -4,5 +4,5 @@ $.namespace('armadillo.Version');

 armadillo.Version.MAJOR = 0;
 armadillo.Version.MINOR = 8;
-armadillo.Version.BUILD = 640.6;
-armadillo.Version.STAMP = 1344791245;
+armadillo.Version.BUILD = 640.13;
+armadillo.Version.STAMP = 1344793882;