Update version for bugfix release
commit3ac9e7ddc015ce7a5dca84e26badfafafd670343
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 9 Jun 2014, 20:55 (12 years ago)
parent9815da8
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.13
2+Version: 0.9.13.1
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady