bug#72873: [PATCH 0/4] scilab: Update to 2024.1.0.

[Ludovic Courtès]

Hi,

Nicolas Graves <ngraves@ngraves.fr> skribis:

> This patch series includes an update and a few improvements to the
> scilab building process.
>
> Nicolas Graves (4):
>   gnu: scilab: Update to 2024.1.0.
>   gnu: scilab: Cleanup more files.
>   gnu: scilab: Fix the scilab build script.
>   gnu: scilab: Add sanity-check phase.

Finally applied, thanks!

Will push as soon as Savannah is in a better shape.

Ludo’.