SageMath & Micro

English Applications
1

Hello,

I don’t know if this is the right place to post a package request, but I didn’t find where to post otherwise.
I am using OpenSUSE Tumbleweed for about a month and I love it, because it is rolling and stable at the same time and has a good KDE integration, at least till now. Even if something goes wrong, I can use the functions of snapper.
Many of my applications are in the official repository. I had to get some of them from Flathub, but this is fine.
Problematic are two non gui packages which can’t be installed with Flatpak: SageMath and Micro (terminal editor).
How can I request these packages to be included in the official repositories?

Thanks :slight_smile:

PS: I know that I can get Micro as snap, but I don’t want to use snaps because of the closed system behind them.

2

Hi
You can ask a community builder if they wish to submit to a development repository and maintain and push to openSUSE:Factory for inclusion…


osc se micro

No matches found for 'micro' in projects
####################################################################
matches for 'micro' in packages:

# Project               # Package
home:DarkWav:micro      micro
home:Twijg              micro
home:simonizor:editors  micro

osc se python-sagemath

No matches found for 'python-sagemath' in projects
####################################################################
matches for 'python-sagemath' in packages:

# Project           # Package
home:jayvdb:py-new  python-sagemath

https://software.opensuse.org/package/micro?search_term="micro"
https://software.opensuse.org/package/python-sagemath

openSUSE Build Service

3

Thanks for the reply!
I have found these packages on software.opensuse.org. But is it safe to trust them? When are they included in official repositories?
Plus: the package for sagemath is not sagemath. Check it here: sagemath · PyPI

4

Hi
Naming convention, there is sagemath on OBS as well, maintainer is pulling from there hence preceded with python.

Only when the get pushed to a development project and then submitted to the distribution. So ask them (maintainer of the home repo) to do that, else it will stay in a home repo that you get to use (or not) it’s your choice as well as the ability to check the package to decide if you wish to use, check the source, spec file, build log etc.