diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 4e4e5664..9e587524 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -1,7 +1,7 @@
 This file contains details of the changes in each new version of PRISM.
 
 -----------------------------------------------------------------------------
-Version 4.3 (first released ???)
+Version 4.3 (first released 14/7/2015)
 -----------------------------------------------------------------------------
 
 * Support for external LTL-to-automata converters via the HOA format