Bump version v20.07 -> v22.08

plfa · Aug 25, 2022 · e2d545f · e2d545f
1 parent 05f27e6
commit e2d545f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bumpver.toml b/bumpver.toml
@@ -1,5 +1,5 @@
 [bumpver]
-current_version = "v20.07"
+current_version = "v22.08"
 version_pattern = "v0Y.0M[.INC0]"
 commit_message = "Bump version {old_version} -> {new_version}"
 commit = true

diff --git a/plfa.cabal b/plfa.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.6
 name:               plfa
-version:            20.7
+version:            22.8
 description:        Programming Language Foundations in Agda
 homepage:           https://plfa.github.io
 license-file:       LICENSE