From 9b9e8505c5ce56fc350ea6c42e10ac6b02a71daa Mon Sep 17 00:00:00 2001
From: Vadim Zaliva <lord@crocodile.org>
Date: Wed, 13 Dec 2023 08:48:35 -0800
Subject: [PATCH] bump version number to 1.0.6

---
 coq-switch.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-switch.opam b/coq-switch.opam
index bad69c6..aaa1bc2 100644
--- 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: ""
 }