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.
cheers,
sven