Fix license of VERSION file

Ivan-Velickovic · Ivan-Velickovic · commit de1976514080 · 2024-07-02T15:36:29.000+10:00
Signed-off-by: Ivan Velickovic &lt;i.velickovic@unsw.edu.au&gt;
diff --git a/.reuse/dep5 b/.reuse/dep5
@@ -6,7 +6,7 @@ Source: http://sel4.systems
 Files:
   tool/microkit/Cargo.lock
   CHANGES.md
-  VERSION.md
+  VERSION
 Copyright: 2024, UNSW
 License: BSD-2-Clause
 
