- # 'sfpy',
- 'ieee754fpu', # needs to be installed manually from git.libre-soc.org
- 'pygdbmi',
- 'nmigen-soc', # install manually from git.libre-soc.org
- 'ply', # needs to be installed manually
- 'astor',
+ # 'sfpy', # needs manual patching
+ 'libresoc-ieee754fpu', # uploaded (successfully, whew) to pip
+ 'libresoc-openpower-isa', # uploaded (successfully, whew) to pip
+ # 'nmigen-soc', # install manually from git.libre-soc.org