bump version number to 1.0.6

vzaliva · Dec 13, 2023 · 9b9e850 · 9b9e850
1 parent 388404c
commit 9b9e850
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-switch.opam b/coq-switch.opam
@@ -29,7 +29,7 @@ an inductive type with constructors, one for each of the choices, and
 a function mapping values to this type."""
 
 url {
-  src: "https://github.com/vzaliva/coq-switch/archive/v1.0.5.tar.gz"
+  src: "https://github.com/vzaliva/coq-switch/archive/v1.0.6.tar.gz"
   checksum: ""
 }