version=3
opts=filenamemangle=s/minisatp/minisat+/\
    http://minisat.se/downloads/minisatp-(.+).tar.gz