shared.patch
upstream-zlib-dimacs2g.patch
unbundle-cliquer.patch
popcnt.patch
file-offset-bits.patch
