No, neither is in the default repository.
They're not in the default repo (f-droid.org/repo), but thanks for the link.
Other options:
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png)
smallweb! How are things going for you?smallweb! How are things going for you?
no subject
no subject
No, neither is in the default repository.
no subject
You can always grab Lagrange right off its page, of course:
https://gmi.skyjake.fi/lagrange/
no subject
They're not in the default repo (f-droid.org/repo), but thanks for the link.