bump versions everywhere

agda · Oct 10, 2023 · f8dbbe7 · f8dbbe7
1 parent ad74381
commit f8dbbe7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CITATION.cff b/CITATION.cff
@@ -3,6 +3,6 @@ message: "If you use this software, please cite it as below."
 authors:
 - name: "The Agda Community"
 title: "Cubical Agda Library"
-version: 0.5
-date-released: 2023-07-05
+version: 0.6
+date-released: 2023-10-10
 url: "https://github.com/agda/cubical"