Bug#826684: /usr/bin/spin in "staden" and /usr/bin/spin in "spin"

Hi, I'm not a staden user - just packaging it. Could somebody please comment on the considerations below? Thanks Andreas. On Sat, Jun 11, 2016 at 04:47:56PM -0700, tony mancill wrote: > Hello, > > I'm not familiar with staden, but am taking a look at it and see that > /usr/bin/spin is s

Bug#826684: /usr/bin/spin in "staden" and /usr/bin/spin in "spin"

Hello, I'm not familiar with staden, but am taking a look at it and see that /usr/bin/spin is symlinked -> /usr/bin/gap4, and that is essentially a wrapper script that run things from /usr/lib/staden/bin/ (or BINDIR). I also noticed that invoking "staden" returns a list of those file in the BINDI