Just installed pyenv:

---<
$ rpm -qi pyenv
Name        : pyenv
Version     : 2.3.5
--->

The man page of pyenv says:
---<
 1. Append the following to $HOME/.bashrc
      source /usr/share/pyenv/pyenv_user_setup.bash
--->

However, that file is not included in the pyenv package:
---<
$ ls -l /usr/share/pyenv/pyenv_user_setup.bash
ls: cannot access '/usr/share/pyenv/pyenv_user_setup.bash': No such file or
directory
$ rpm -ql pyenv |grep /usr/share/pyenv/
$ 
--->

So, either the man page is wrong, or the file is missing from the RPM.