diff --git a/CHANGES b/CHANGES
index 8e7ed1dc..2d25e0aa 100644
--- a/CHANGES
+++ b/CHANGES
@@ -9,14 +9,6 @@ Upcoming release
 
 ## Changes
 
-
-## Upgrade Notes
----
-3.6.0 2018-11-07
-Using seL4 version 10.1.0
-  
-## Changes
-
 * AARCH64 is now supported.
 * CakeML components are now supported.
 * Added `query` type to Camkes ADL to allow for querying plugins for component configuration values.
diff --git a/VERSION b/VERSION
index 084e244c..846d0f1d 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-3.6.0
\ No newline at end of file
+camkes-3.5.0-dev
\ No newline at end of file