CHANGES/README update for v0.0.6

JLimperg · Jul 21, 2019 · bbd5b0c · bbd5b0c
1 parent 3adc6da
commit bbd5b0c
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git 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
@@ -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