SOURCE_URL=https://github.com/jgraph/drawio/archive/v12.8.2.tar.gz
SOURCE_SUM=6F013D3402109EFF7262DF2EDC90D49566FB390A7DAF78BA28E3F8441DF9E273
SOURCE_SUM_PRG=sha256sum
SOURCE_FORMAT=tar.gz
SOURCE_IN_SUBDIR=true
SOURCE_FILENAME=