No, neither is in the default repository.
They're not in the default repo (f-droid.org/repo), but thanks for the link.
![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
carisma_senseicarisma_sensei
no subject
Date: 2025-01-27 02:15 am (UTC)no subject
Date: 2025-01-27 02:34 am (UTC)No, neither is in the default repository.
no subject
Date: 2025-01-27 02:40 am (UTC)You can always grab Lagrange right off its page, of course:
https://gmi.skyjake.fi/lagrange/
no subject
Date: 2025-01-27 04:07 am (UTC)They're not in the default repo (f-droid.org/repo), but thanks for the link.