[tde-users] Is R14.1.2 available in the openSUSE Leap 15.5 repository yet?

I can't tell because the repository only says R14. | @18:52:16 root@pinto | wd=~ | ● zypper repos --uri --priority|grep -v 'openSUSE\|NVIDIA\|packman' | # | Alias | Name | Enabled | GPG Check | Refresh | Priority | URI | ---+---------------------------------+-------------------------------+---------+-----------+---------+----------+-------------------------------------------------------------------------------------- | 1 | Local | Local | Yes | ( p) Yes | No | 98 | dir:/usr/local/RPMrepository | 19 | trinity-bin | trinity-bin | Yes | (r ) Yes | Yes | 98 | http://mirror.ppa.trinitydesktop.org/trinity/rpm/opensuse15.5/trinity-r14/R… | 20 | trinity-noarch | trinity-noarch | Yes | (r ) Yes | Yes | 98 | http://mirror.ppa.trinitydesktop.org/trinity/rpm/opensuse15.5/trinity-r14/R… | rc=0 Leslie -- Platform: Linux Distribution: openSUSE Leap 15.4 (x86_64) Desktop Environment: Trinity Qt: 3.5.0 TDE: R14.1.1 tde-config: 1.0