Para openSUSE Tumbleweed execute o seguinte como root:
zypper addrepo https://download.opensuse.org/repositories/home:cabelo:jax/openSUSE_Tumbleweed/home:cabelo:jax.repo
zypper refresh
zypper install python-hypothesis
Para openSUSE Slowroll execute o seguinte como root:
zypper addrepo https://download.opensuse.org/repositories/home:cabelo:jax/openSUSE_Slowroll/home:cabelo:jax.repo
zypper refresh
zypper install python-hypothesis
Para 15.6 execute o seguinte como root:
zypper addrepo https://download.opensuse.org/repositories/home:cabelo:jax/15.6/home:cabelo:jax.repo
zypper refresh
zypper install python-hypothesis