`alr with wolfssl` does not work?

General
1

When I run it,

$ alr with wolfssl
error: Cannot add crate 'wolfssl' not found in index. (This error can be overridden with --force.)

Using --force seems like a bad idea. What am I missing?

Some details:

$ alr --version
alr 2.1.0

I updated the index (or I think I did: alr index --update-all, which replies Already up to date.). I’ve had no trouble adding other crates; just yesterday I added gnatprove. Not sure what other obvious issues I should check.

2

What index branch are you on? And if it’s not up to date, can you try doing alr index --reset-community?

1 Like
3

I have no idea what index branch I was on, but your suggestion seems to have done the trick. Thank you!

2 Likes