Question about clisp version naming

[Yaakov Selkowitz]

On Mon, 2015-03-16 at 20:41 +0100, Achim Gratz wrote:
> Achim Gratz writes:
> >> The loading of memory images via clisp works, so I'll pull the
> >> maxima-exec-clisp package until we get to the bottom of this.
> >
> > Hmm.  Scratch that, I think I got the maxima.exe (dumped image) to work.
> > Let's see if it survives installation.
> 
> No it doesn't.  Specifically, it doesn't like being stripped.  I'll
> RESTRICT that, let's hope it works now…  Yup, it does.

Ken, Achim,

Is there an issue with stripping clisp executables?  Is there a magic
number we can use to detect these automatically?

--
Yaakov