FriCAS sourceforge download

[Ralf Hemmecke]

Hi,

I usually don't go to https://sourceforge.net/projects/fricas .
That is too much useless information (ads etc.) for my eyes.

But there is one big green button "Download" that still gives
fricas-1.0.1-1_amd64.deb .
One first has to figure out that 1.0.1 is not the latest version by
clicking on the "Files" tab below the Download button. :-(
Then another click on "fricas" and "1.3.5" to find the actual files.

Waldek, can you at least remove the very old 1.0.1 debian package?

Thanks,
Ralf

[Waldek Hebisch]

On Wed, Jan 08, 2020 at 11:05:21AM +0100, Ralf Hemmecke wrote:
> Hi,
>
> I usually don't go to https://sourceforge.net/projects/fricas .
> That is too much useless information (ads etc.) for my eyes.
>
> But there is one big green button "Download" that still gives
> fricas-1.0.1-1_amd64.deb .
> One first has to figure out that 1.0.1 is not the latest version by
> clicking on the "Files" tab below the Download button. :-(
> Then another click on "fricas" and "1.3.5" to find the actual files.

Well, that is sourceforge weirdness. And that is why I put direct
links on downolad page. FYI, when I go to sourceforge "Download"
button points to 1.3.5 (source package).

>
> Waldek, can you at least remove the very old 1.0.1 debian package?

I am not sure if I can and if I should assuming that I can.
In the past sourceforge had policy about non-removability of
past releases. Such policy has a point: people should be able
to go back to repository and fetch whatever obsolete version
they wish (say to reproduce results published in the past).

I heard that sourceforge now allows removal, but did not check
if it works (especially on old files). And IMO arguments for
non-removal are rather strong.

--
Waldek Hebisch

[Ralf Hemmecke]

> Well, that is sourceforge weirdness.

You cannot remove the .deb package? Or upload a 1.3.5.deb package?

> FYI, when I go to sourceforge "Download"
> button points to 1.3.5 (source package).

Yes. Hovering over the "Dowload" button

shows

https://sourceforge.net/projects/fricas/files/latest/download

It's the same when I right-click and do "copy-link-location".

HOWEVER, clicking on the Download button downloads
fricas-1.0.1-1_amd64.deb. VERY STRANGE!!!

>> Waldek, can you at least remove the very old 1.0.1 debian package?

> I am not sure if I can and if I should assuming that I can.
> In the past sourceforge had policy about non-removability of
> past releases. Such policy has a point: people should be able
> to go back to repository and fetch whatever obsolete version
> they wish (say to reproduce results published in the past).

Well, OK. Leave it. But then maybe there should be prebuilt debian
packages. Obviously, now something is progressing at the fricas github site.

https://github.com/fricas/fricas/issues/2

But that would be built with ecl. I guess Kurt Pagani can help us with
providing a fricas debian package built on sbcl.

Ralf