seal5.version
=============

.. automodule:: seal5.version