[ release ] new release vor Idris2 version 0.4.0

stefan-hoeck · Jun 24, 2021 · f3c447f · f3c447f
1 parent 731ee24
commit f3c447f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -27,4 +27,4 @@ packages useful to automatically derive interface implementations.
 For the time being, this library tries to (and is forced to) follow closely the
 latest builds of [Idris2](https://github.com/idris-lang/Idris2).
 
-The latest commit has been built against Idris 2, version 0.3.0-aa94dd235.
+The latest commit has been built against Idris 2, version 0.4.0-ea1ad1688.
diff --git a/elab-util-docs.ipkg b/elab-util-docs.ipkg
@@ -1,7 +1,7 @@
 package elab-util-docs
 
 authors    = "stefan-hoeck"
-version    = 0.2.1
+version    = 0.3.0
 readme     = "README.md"
 license    = "BSD-2 Clause"
 

diff --git a/elab-util.ipkg b/elab-util.ipkg
@@ -1,7 +1,7 @@
 package elab-util
 
 authors    = "stefan-hoeck"
-version    = 0.2.1
+version    = 0.3.0
 readme     = "README.md"
 license    = "BSD-2 Clause"