Merge pull request #313 from na4zagin3/feature/add-satysfi-version

Support SATySFi version 0.0.7 through 0.0.9
na4zagin3 · Sep 24, 2023 · e04eb8e · e04eb8e
2 parents 06513d1 + 2b363d7
commit e04eb8e
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/src/satysfi/version.ml b/src/satysfi/version.ml
@@ -5,9 +5,12 @@ type t =
   | Satysfi_0_0_4
   | Satysfi_0_0_5
   | Satysfi_0_0_6
+  | Satysfi_0_0_7
+  | Satysfi_0_0_8
+  | Satysfi_0_0_9
 [@@deriving sexp, compare, equal]
 
-let latest_version = Satysfi_0_0_6
+let latest_version = Satysfi_0_0_9
 
 let alist = [
   "0.0.3", Satysfi_0_0_3;
@@ -18,6 +21,12 @@ let alist = [
   "v0.0.5", Satysfi_0_0_5;
   "0.0.6", Satysfi_0_0_6;
   "v0.0.6", Satysfi_0_0_6;
+  "0.0.7", Satysfi_0_0_7;
+  "v0.0.7", Satysfi_0_0_7;
+  "0.0.8", Satysfi_0_0_8;
+  "v0.0.8", Satysfi_0_0_8;
+  "0.0.9", Satysfi_0_0_9;
+  "v0.0.9", Satysfi_0_0_9;
 ]
 
 let of_string_opt =