Am 28.05.2018 um 15:58 schrieb Allin Cottrell:
On Mon, 28 May 2018, Sven Schreiber wrote:
> Am 28.05.2018 um 15:02 schrieb Artur T.:
>>
>> As it seems that the "extra" package tends to become a requirement
>> for some new packages or updates and definitely includes some
>> helpful "helper" functions, why not adding it as a native package
>> which is shipped with the basic gretl installation?
>
> Not 100% sure, but I think it already is shipped automatically. It's
> not an official "addon" like 'gig' and so on, but like
'criteria' it
> seems to be included always.
Actually, no, it's not packaged with gretl at present. But it could
be. In that case I think it should be entered into git along with gig
et al.
BTW, if we were to make this more official then there's the
moving-target problem. I forget if there's currently a way to query
within a package what the version of an included package is?
thanks,
sven