[wrap-file]
directory = kissat-rel-3.0.0

source_url = https://github.com/arminbiere/kissat/archive/refs/tags/rel-3.0.0.tar.gz
source_filename = kissat-rel-3.0.0.tar.gz
source_hash = 230895b3beaec5f2c78f6cc520a7db94b294edf244cbad37e2ee6a8a63bd7bdf

patch_directory = kissat

[provide]
kissat = kissat_dep