- PYTHON environment variable can be defined on the command-line   when building the C extensions.  This is handy when you need to   build with an older version of Python [trivial].
- PYTHON environment variable can be defined on the command-line
  when building the C extensions.  This is handy when you need to
  build with an older version of Python [trivial].

petrhosek/storm,PyMamba/mamba-storm,petrhosek/storm,petrhosek/storm,PyMamba/mamba-storm,PyMamba/mamba-storm