thanks for your explanation on FriCAS long term goals. Below a few, mild
> In general
> you need to figure out what package manager given disto uses and what
> flavour of packages it needs. That already two extra steps compared to
> using a tarball (OK, using a tarball you need to know if you run 32
> bit distro or 64 bit one and you are out of luck if the machine is
> not PC-compatible, but still simpler).
Mmm... you are skipping "...with a guarantee of future automatic upgrades.":
I do "apt-get install" once, then I "apt-get dist-upgrade" (or apt-get
safe-upgrade") and all the software in my machine is up to date with no
effort.... what is simpler for a lazy|busy user?
>_You_ may voice request at distribution to include FriCAS.
OK, could be better written, but done:
I guess that FriCAS users interested in having binaries distributed by debian,
if any around, should support my request for a new package fricas (reportbug,
package: wnpp, bug: 890525), otherwise it will have zero measure...
> Does it matter much what is official?
Right, bad wording: replace "official" by "reliable".
> That is a wiki: by definition it is unstructured and disorganised.
Just for nut-picking's love: "Unstructured by definition" OK, but
"disorganized" is not necessary the case if the goal of the wiki is to transmit
information to users. I do not know the current software, but in eg Mediawiki
you may organize articles in a graph of categories just by adding simple tags
like [[SPAD]], [[Install]], [[Integration]], [[History]], [[Beginners]] and
have the category page automatically generated. Overview or starting point
pages describing stable content may be manually added for tree-like reading.
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to email@example.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.