diff --git a/CHANGELOG.md b/CHANGELOG.md
index e8ab24223..e33563abc 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,7 +5,7 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [Unreleased]
+## [0.25.0] - 2024-11-05
 
 ### Added
 
@@ -17,9 +17,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Fixed
 
-- Rejection of invalid parameter types and return types in function declarations (eng/recordflux/RecordFlux#977)
+- Rejection of invalid parameter types and return types in function declarations (AdaCore/RecordFlux#977, eng/recordflux/RecordFlux#977)
 - Consequential errors caused by undefined variables in binary expressions (eng/recordflux/RecordFlux#1672)
-- Rejection of variable declarations with type `Opaque` (eng/recordflux/RecordFlux#633)
+- Rejection of variable declarations with type `Opaque` (AdaCore/RecordFlux#633, eng/recordflux/RecordFlux#633)
 - Fatal error caused by variable in case expression (eng/recordflux/RecordFlux#1800)
 - Simplification of expressions with a unary minus operator (eng/recordflux/RecordFlux#1595, eng/recordflux/RecordFlux#1797)
 - Evaluation of unary minus applied to binary expressions (eng/recordflux/RecordFlux#1797)
@@ -612,7 +612,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [0.1.0] - 2019-05-14
 
-[Unreleased]: https://github.com/AdaCore/RecordFlux/compare/v0.24.0...HEAD
+[0.25.0]: https://github.com/AdaCore/RecordFlux/compare/v0.24.0...v0.25.0
 [0.24.0]: https://github.com/AdaCore/RecordFlux/compare/v0.23.0...v0.24.0
 [0.23.0]: https://github.com/AdaCore/RecordFlux/compare/v0.22.0...v0.23.0
 [0.22.0]: https://github.com/AdaCore/RecordFlux/compare/v0.21.0...v0.22.0