diff --git a/CHANGES.md b/CHANGES.md
index c38f155..4df7501 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,5 +1,11 @@
 # Changelog for wellfounded-coind
 
+## 0.0.6
+
+- Update examples to work with Agda 2.6.0.1/agda-stdlib 1.1. No changes to the
+  library. This version should also be compatible with Agda 2.6.0 and
+  agda-stdlib 1.0.
+
 ## 0.0.5
 
 - Update examples and library to work with Agda 2.6.0/agda-stdlib 1.0.
diff --git a/README.md b/README.md
index 81dde5d..9cb9b7f 100644
--- a/README.md
+++ b/README.md
@@ -10,9 +10,14 @@ relatively easy to implement using this library.
 
 ## Tested build configurations
 
+### Version 0.0.6
+
+- Agda 2.6.0.1; agda-stdlib 1.1
+
 ### Version 0.0.5
 
-- Agda 2.6.0; agda-stdlib 1.0
+- Agda 2.6.0;   agda-stdlib 1.0
+- Agda 2.6.0.1; agda-stdlib 1.1 (excluding examples!)
 
 ### Version 0.0.4