[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#819615: RFS: spin/6.4.5-1 [ITP] -- formal software verification tool



Great, got it -- thanks Paul. Uploading to mentors again now.

On Wed, Mar 30, 2016 at 11:59 PM, Paul Wise <pabs@debian.org> wrote:
On Thu, Mar 31, 2016 at 2:47 PM, Tom Lee wrote:

> N.B. no watchfile is present due to the naming strategy of the upstream tarball:
> uscan interprets the version number as "645" when the release is actually "6.4.5".
> if there's a way to teach uscan how to figure this out, I'm all ears!

I think you want the uversionmangle option.

--
bye,
pabs

https://wiki.debian.org/PaulWise



--
Tom Lee http://tomlee.co / @tglee


Reply to: