local_libs.patch
unvendor_picosat.patch
typos.patch
simplify_PROVER_Makefile.patch
