Switch the opam packages to Unikraft 0.20.0

Author: shym

gen_opams.ml

@@ -5,7 +5,7 @@
 (* OCaml script to generate all the *.opam files *)
 
 let version_ocaml_unikraft = "1.0.0"
-let version_unikraft = "0.18.0"
+let version_unikraft = "0.20.0"
 
 (**)
 

ocaml-unikraft-backend-firecracker-arm64.opam

@@ -1,7 +1,7 @@
 # This file is generated by gen_opams.ml, edit it instead
 opam-version: "2.0"
 name: "ocaml-unikraft-backend-firecracker-arm64"
-version: "0.18.0"
+version: "0.20.0"
 maintainer: "[email protected]"
 homepage: "https://github.com/mirage/ocaml-unikraft/"
 dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"

ocaml-unikraft-backend-firecracker-x86_64.opam

@@ -1,7 +1,7 @@
 # This file is generated by gen_opams.ml, edit it instead
 opam-version: "2.0"
 name: "ocaml-unikraft-backend-firecracker-x86_64"
-version: "0.18.0"
+version: "0.20.0"
 maintainer: "[email protected]"
 homepage: "https://github.com/mirage/ocaml-unikraft/"
 dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"

ocaml-unikraft-backend-firecracker.opam

@@ -1,7 +1,7 @@
 # This file is generated by gen_opams.ml, edit it instead
 opam-version: "2.0"
 name: "ocaml-unikraft-backend-firecracker"
-version: "0.18.0"
+version: "0.20.0"
 maintainer: "[email protected]"
 homepage: "https://github.com/mirage/ocaml-unikraft/"
 dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"

ocaml-unikraft-backend-qemu-arm64.opam

@@ -1,7 +1,7 @@
 # This file is generated by gen_opams.ml, edit it instead
 opam-version: "2.0"
 name: "ocaml-unikraft-backend-qemu-arm64"
-version: "0.18.0"
+version: "0.20.0"
 maintainer: "[email protected]"
 homepage: "https://github.com/mirage/ocaml-unikraft/"
 dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"

ocaml-unikraft-backend-qemu-x86_64.opam

@@ -1,7 +1,7 @@
 # This file is generated by gen_opams.ml, edit it instead
 opam-version: "2.0"
 name: "ocaml-unikraft-backend-qemu-x86_64"
-version: "0.18.0"
+version: "0.20.0"
 maintainer: "[email protected]"
 homepage: "https://github.com/mirage/ocaml-unikraft/"
 dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"

ocaml-unikraft-backend-qemu.opam

@@ -1,7 +1,7 @@
 # This file is generated by gen_opams.ml, edit it instead
 opam-version: "2.0"
 name: "ocaml-unikraft-backend-qemu"
-version: "0.18.0"
+version: "0.20.0"
 maintainer: "[email protected]"
 homepage: "https://github.com/mirage/ocaml-unikraft/"
 dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"

ocaml-unikraft-option-debug.opam

@@ -1,7 +1,7 @@
 # This file is generated by gen_opams.ml, edit it instead
 opam-version: "2.0"
 name: "ocaml-unikraft-option-debug"
-version: "0.18.0"
+version: "0.20.0"
 maintainer: "[email protected]"
 homepage: "https://github.com/mirage/ocaml-unikraft/"
 dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"

ocaml-unikraft-toolchain-arm64.opam

@@ -1,7 +1,7 @@
 # This file is generated by gen_opams.ml, edit it instead
 opam-version: "2.0"
 name: "ocaml-unikraft-toolchain-arm64"
-version: "0.18.0"
+version: "0.20.0"
 maintainer: "[email protected]"
 homepage: "https://github.com/mirage/ocaml-unikraft/"
 dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"

ocaml-unikraft-toolchain-x86_64.opam

@@ -1,7 +1,7 @@
 # This file is generated by gen_opams.ml, edit it instead
 opam-version: "2.0"
 name: "ocaml-unikraft-toolchain-x86_64"
-version: "0.18.0"
+version: "0.20.0"
 maintainer: "[email protected]"
 homepage: "https://github.com/mirage/ocaml-unikraft/"
 dev-repo: "git+https://github.com/mirage/ocaml-unikraft.git"