@@ -56,9 +56,9 @@ author = u'The Idris Community'
56# built documents.
56# built documents.
58# The short X.Y version.
58# The short X.Y version.
59−version = '0.9.16'
59+version = '0.9.17'
60# The full version, including alpha/beta/rc tags.
60# The full version, including alpha/beta/rc tags.
61−release = '0.9.16'
61+release = '0.9.17'
63# The language for content autogenerated by Sphinx. Refer to documentation
63# The language for content autogenerated by Sphinx. Refer to documentation
64# for a list of supported languages.
64# for a list of supported languages.