[m-users.] 22.01 beta release available

[Julien Fischer]

Hi Fabrice,

On Sun, 23 Jan 2022, Fabrice Nicol wrote:

> Alert lifted.
>
> compiler/mercury_compile.c was mangled in the downloaded package, with a very 
> few other files.
>
> Downloaded a fresh package, reconfigured and rebuilt OK.
>
> Note:
>
> It might be a nice idea to add (at least for releases) checksum files on the 
> Mercury download webpage. Or, alternatively, a CHECKSUM file at the package 
> root.

Sure, I'll add checksum files to the download page.

> Adding commit IDs is not enough for users to avoid such issues as,

Putting the commit ids there was never intended for that.

> mercury_compile.c is only shipped in the package, not in the git source code 
> (by design, I assume).

Correct.  mercury_compile.c is generated from mercury_compile.m (which
is in the git repository).

Julien.