[ release ] v0.5.0

stefan-hoeck · Sep 21, 2021 · a90f2e5 · a90f2e5
1 parent b2e0d9f
commit a90f2e5
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 11 deletions.
diff --git a/README.md b/README.md
@@ -56,9 +56,11 @@ this library makes use of functionality provided by the
 
 ### Idris2 Version
 
-Making use of elaborator reflection, this library has to closely
-follow the latest Idris2 builds until things settle down a bit.
-This commit was built against Idris 2, version 0.4.0-dd7d77d41.
+Starting from Idris2 version 0.5.1, tagged releases of the same
+minor version number (e.g. 0.5.x) will be made available, while the main
+branch keeps following the Idris2 main branch.
+
+The latest commit has been built against Idris 2, version 0.5.1-bf0a15725.
 
 ## Limitations
 

diff --git a/sop-docs.ipkg b/sop-docs.ipkg
@@ -1,12 +1,12 @@
 package sop-docs
 
 authors    = "stefan-hoeck"
-version    = 0.4.0
+version    = 0.5.0
 
 sourcedir  = "src"
-depends    = base      >= 0.4.0
-           , contrib   >= 0.4.0
-           , elab-util >= 0.3.1
+depends    = base      >= 0.5.1
+           , contrib   >= 0.5.1
+           , elab-util >= 0.5.0
 
 modules = Doc.Intro
         , Doc.Barbies

diff --git a/sop.ipkg b/sop.ipkg
@@ -1,14 +1,14 @@
 package sop
 
 authors    = "stefan-hoeck"
-version    = 0.4.0
+version    = 0.5.0
 readme     = "README.md"
 license    = "BSD-2 Clause"
 
 sourcedir  = "src"
-depends    = base      >= 0.4.0
-           , contrib   >= 0.4.0
-           , elab-util >= 0.3.1
+depends    = base      >= 0.5.1
+           , contrib   >= 0.5.1
+           , elab-util >= 0.5.0
 
 modules = Data.Lazy
         , Data.SOP