dejagnu from home:AndreasSchwab project

Select Your Operating System

For 13.1 run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:AndreasSchwab/13.1/home:AndreasSchwab.repo
zypper refresh
zypper install dejagnu