blob: 82dd2170ecf7633281ab9d9a902c4ce2b7a30c7c (
plain)
1
2
3
|
version=4
opts="dversionmangle=s/\+dfsg.*$//,filenamemangle=s/.+\/[vV]?(\d\S+)\.tar\.gz/coq-$1\.tar\.gz/,repack,repacksuffix=+dfsg," \
https://github.com/uriparser/uriparser/tags .*[^n]/(?:|v|version-|version|release-|r|REL_|rel-|uriparser(?:_|-))(\d[^\s/]*)\.(?:tar\.xz|txz|tar\.bz2|tbz2|tar\.gz|tgz)
|
