Release Wasm 2.0.0 (#21446)

* Update Wasm package

Release interpreter package for Wasm 2.0

* Actually create a new package

* Revert stupid change

* Add dune dependency

* Fix dune version

* Remove dune dep; disable arm32, ppc64

* Narrow Kremlin dep

* kremlin.1.0.0: point to original tarball archive

now in the opam-source-archives

* Removed test disabling, should work now

* Forgot to update checksum

Co-authored-by: Marcello Seri <[email protected]>

packages/kremlin/kremlin.1.0.0/opam

@@ -18,7 +18,7 @@ depends: [
   "process"
   "fix"
   "visitors"
-  "wasm" {>= "1.1.1"}
+  "wasm" {= "1.1.1"}
   "ppx_deriving"
   "ppx_deriving_yojson"
   "fstar" {= "2022.01.15"}
@@ -43,7 +43,7 @@ bug-reports: "https://github.com/FStarLang/kremlin/issues"
 synopsis: "A compiler from Low*, a low-level subset of F*, to C"
 flags: light-uninstall
 url {
-  src: "https://github.com/FStarLang/kremlin/archive/refs/tags/v1.0.0.zip"
+  src: "https://github.com/ocaml/opam-source-archives/raw/main/kremlin-1.0.0.zip"
   checksum: [
     "md5=b8bf9167faca0927f86cf5bb1d3d987a"
     "sha512=e49938727bf31dc6fd739628be6fbe97fe01ec7dde2e7e72ee57af1ab2fc61934728f3b7b792268f432e6bb03a03f9aa48da9b7908b15ca9162fb0819790ccf2"

packages/wasm/wasm.2.0.0/opam

@@ -0,0 +1,22 @@
+opam-version: "2.0"
+maintainer: "Andreas Rossberg <[email protected]>"
+authors: "Andreas Rossberg <[email protected]>"
+homepage: "https://github.com/WebAssembly/spec"
+bug-reports: "https://github.com/WebAssembly/spec/issues"
+license: "Apache-2.0"
+dev-repo: "git+https://github.com/WebAssembly/spec.git"
+build: [
+  [make "-C" "interpreter" "opt" "unopt"]
+]
+install: [make "-C" "interpreter" "install"]
+depends: [
+  "ocaml" {>= "4.08.0"}
+  "ocamlfind" {build}
+  "ocamlbuild" {build}
+]
+synopsis:
+  "Library to read and write WebAssembly (Wasm) files and manipulate their AST"
+url {
+  src: "https://github.com/WebAssembly/spec/archive/opam-2.0.0.zip"
+  checksum: "md5=08baf4cc16e800eae59c69425d3ec9fa"
+}