upgrade the wasm package in OPAM

project-everest / everest-ci

CI scripts for project everest

3 stars 8 forks source link

Closed msprotz closed 7 years ago

msprotz commented 7 years ago

Benjamin perhaps you'd be interested:

From Andreas Rossberg:

new Wasm release tag is here:

https://github.com/WebAssembly/spec/releases/tag/v1.0

I'm happy to fix the kremlin breakage if needed

msprotz commented 7 years ago

This is a prerequisite for #102

msprotz commented 7 years ago

@beurdouche did you eventually submit a pull request to Andreas?

beurdouche commented 7 years ago

Yes, it was merged today, I think he did update the release too... I'll do the PR for the opam package tomorrow.

msprotz commented 7 years ago

Wonderful, thanks!