You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 1 - 7 hits of 7. Search took 0.00 seconds.

1

Search results for TeXmacs-2.1.2-71.1.src.rpm :

Filename	Distribution	File size
TeXmacs-2.1.2-71.1.src.rpm	Scientific Linux Other	46709 kB
TeXmacs-2.1.2-71.1.src.rpm	CentOS 7	46709 kB
TeXmacs-2.1.2-71.1.src.rpm	CentOS 8	46714 kB
TeXmacs-2.1.2-71.1.src.rpm	Fedora 36	46714 kB
TeXmacs-2.1.2-71.1.src.rpm	Fedora 37	46718 kB
TeXmacs-2.1.2-71.1.src.rpm	Fedora 38	46718 kB
TeXmacs-2.1.2-71.1.src.rpm	Fedora 39	46718 kB

1