[ update ] use new package version numbers

stefan-hoeck · Mar 5, 2021 · b0ba3d9 · b0ba3d9
1 parent b1f6831
commit b0ba3d9
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -59,7 +59,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 Idris2 version 0.3.0 (commit
-aa27ccbdb655c1c55560857ce8a92156260df62d
+8d4321eb9a085e3d4b9c1f7a75490b0782343acd
 )
 
 ## Limitations

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

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