ANN: HostARM 25.0.2

Web server + (Annotated) Ada Reference Manual with optional filtering / replacement of navigation bars, key navigation, and local search function.

HostARM crate

6 Likes

Hey!

This will help me greatly. Thank you very much.

1 Like

Did anyone manage to download and install that locally?

When I run alr get hostarm I am getting error: Crate [hostarm] does not exist in the index.

Has the crate name changed from what is mentioned on the gh page, by any chance?

Try running alr index --reset-community before fetching the crate.

Thanks for the suggestion, tried that but still getting the same error.

I suppose this should sync my local index with the remote one?

Thanks.

I suppose you can also try updating the toolchain, and maybe also the alr binary itself.

alr toolchain --select
alr index --update-all

Fetching the latest binary worked, thanks!