diff --git a/.github/workflows/ci-lib.yml b/.github/workflows/ci-lib.yml
index 68782c3..6d8d59c 100644
--- a/.github/workflows/ci-lib.yml
+++ b/.github/workflows/ci-lib.yml
@@ -10,8 +10,6 @@ on:
   pull_request:
     branches:
       - main
-  schedule:
-    - cron: '0 1 * * *'
 
 defaults:
   run:
@@ -30,6 +28,6 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v2
       - name: Build lib
-        run: pack install sop
+        run: pack typecheck sop
       - name: Typecheck docs
-        run: pack typecheck docs/docs.ipkg
+        run: pack typecheck sop-docs
diff --git a/.idris-version b/.idris-version
deleted file mode 100644
index 05f07cb..0000000
--- a/.idris-version
+++ /dev/null
@@ -1 +0,0 @@
-v0.5.1-324-g7c5650e9
diff --git a/README.md b/README.md
index f44ae46..3b05dc7 100644
--- a/README.md
+++ b/README.md
@@ -41,6 +41,7 @@ record Employee where
 
 Note: If a data type includes lazy fields, module `Data.Lazy`
 should be imported as well when deriving interface implementations.
+
 ## Documentation
 
 Most of the exported functions have been properly annotated
@@ -60,8 +61,7 @@ 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 is daily tested to build against the current
-HEAD of the Idris compiler. Since Idris2 releases are happening
+Since Idris2 releases are happening
 rather infrequently at the moment, it is suggested to use
 a package manager like [pack](https://github.com/stefan-hoeck/idris2-pack)
 to install and maintain matching versions of the Idris compiler
diff --git a/docs/docs.ipkg b/docs/docs.ipkg
index 595cc44..b70616f 100644
--- a/docs/docs.ipkg
+++ b/docs/docs.ipkg
@@ -1,12 +1,10 @@
 package sop-docs
 
 authors    = "stefan-hoeck"
-version    = 0.5.0
+version    = 0.6.0
 
 sourcedir  = "src"
-depends    = base      >= 0.5.1
-           , elab-util
-           , sop
+depends    = sop
 
 modules = Docs.Intro
         , Docs.Barbies
diff --git a/pack.toml b/pack.toml
new file mode 100644
index 0000000..464119e
--- /dev/null
+++ b/pack.toml
@@ -0,0 +1,9 @@
+[custom.all.sop]
+type = "local"
+path = "."
+ipkg = "sop.ipkg"
+
+[custom.all.sop-docs]
+type = "local"
+path = "docs"
+ipkg = "docs.ipkg"
diff --git a/sop.ipkg b/sop.ipkg
index 24e7ce2..02b25a3 100644
--- a/sop.ipkg
+++ b/sop.ipkg
@@ -1,14 +1,14 @@
 package sop
 
 authors    = "stefan-hoeck"
-version    = 0.5.0
+version    = 0.6.0
 brief      = "Generic representation of data types as sums of products"
 readme     = "README.md"
 license    = "BSD-2 Clause"
 
 sourcedir  = "src"
-depends    = base      >= 0.5.1
-           , elab-util >= 0.5.0
+depends    = base      >= 0.6.0
+           , elab-util
 
 modules = Data.Lazy
         , Data.SOP