https://fricas.github.io/ : FriCAS 18a5ef5d99c796a89efeac06df40043a85b3d44d

[Grégory Vanuxem]

About https://fricas.github.io/

I wonder why this is displayed : FriCAS
18a5ef5d99c796a89efeac06df40043a85b3d44d". Even on Google search.

And the release tarball is "up to version 1.3.6" in the download page
but should be 1.3.8.

[Ralf Hemmecke]

On 01.01.23 11:12, Grégory Vanuxem wrote:
> About https://fricas.github.io/
>
> I wonder why this is displayed : FriCAS
> 18a5ef5d99c796a89efeac06df40043a85b3d44d". Even on Google search.

Easy to explain.
The current documentation is generated from the git sources with hash
shown above. That is after 1.3.6 but before 1.3.7 was released.

> And the release tarball is "up to version 1.3.6" in the download page
> but should be 1.3.8.

Well, at that time I didn't know that Waldek will upload the tarballs to
sourceforge, but rather thought that we switch completely to github also
for the release tarballs.

Ralf