+ # NOT ok to install using pip3 https://git.libre-soc.org/?p=nmigen.git
+ 'nmigen>=0.0,<=0.5',
+ # can be obtained with pip3, best done manually
+ # https://git.libre-soc.org/?p=nmutil.git
+ 'libresoc-nmutil>=0.0.0,<=1.0',
+ # these should be fine
+ 'pygdbmi==0.9.0.3', # gdb machine interface, requires older version (sigh)
+ 'ply', # python lex yacc. very cool
+ 'astor', # python AST manipulation
+ 'cffi', # LuaJIT-style C FFI for Python
+
+ # git url needed for having `pip3 install -e .` install from libre-soc git
+ 'cached-property@'+cprop,