https://github.com/stp/minisat git minisat enable @PARENT_TAG@+%cd releases/(.*) \1 minisat-*.tar xz