SOURCE_URL=https://github.com/jgraph/drawio/archive/v12.9.3.tar.gz
SOURCE_SUM=28ffb1600c72fc89fdd21618e59b55d4736dcb15e1e00c5e0523e4e75e6b3b39
SOURCE_SUM_PRG=sha256sum
SOURCE_FORMAT=tar.gz
SOURCE_IN_SUBDIR=true
SOURCE_FILENAME=