bump version and releasenotes

AmpersandTarski · Feb 5, 2024 · f7f4917 · f7f4917
1 parent 332b677
commit f7f4917
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/ReleaseNotes.md b/ReleaseNotes.md
@@ -1,6 +1,9 @@
 # Release notes of Ampersand
 
-## Unreleased changes
+## v5.0.1 (5 february 2024)
+- Some adaptions to w.r.t. the namespaces, in the generated funcional specification.
+
+## v5.0.0 (4 february 2024)
 
 - [Issue #1307](https://github.com/AmpersandTarski/Ampersand/issues/1307) First phase of introducing namespaces in Ampersand.
 - [Issue #1315](https://github.com/AmpersandTarski/Ampersand/issues/1315) Documentation update: landing pages for target audience, governance info for the Ampersand project added.

diff --git a/ampersand.cabal b/ampersand.cabal
@@ -5,7 +5,7 @@ cabal-version: 2.0
 -- see: https://github.com/sol/hpack
 
 name:           ampersand
-version:        5.0.0
+version:        5.0.1
 synopsis:       Toolsuite for automated design of enterprise information systems.
 description:    You can define your business processes by means of rules, written in Relation Algebra.
 category:       Database Design

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name: ampersand
-version: 5.0.0
+version: 5.0.1
 author: Stef Joosten
 maintainer: [email protected]
 synopsis: Toolsuite for automated design of enterprise information systems.