# Generated by devtools/yamaker from nixpkgs 22.11.

SUBSCRIBER(g:contrib)

VERSION(2022-05-14)

ORIGINAL_SOURCE(https://github.com/WAVM/WAVM/archive/3f9a150cac7faf28eab357a2c5b83d2ec740c7d9.tar.gz)

RECURSE(
    Lib
    Programs/wavm
)