[ release ] new release vor Idris2 version 0.4.0

stefan-hoeck · Jun 24, 2021 · 540882a · 540882a
1 parent c1117fc
commit 540882a
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 9 deletions.
diff --git a/README.md b/README.md
@@ -58,7 +58,7 @@ this library makes use of functionality provided by the
 
 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.3.0-aa94dd235.
+This commit was built against Idris 2, version 0.4.0-ea1ad1688.
 
 ## Limitations
 

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

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