Update version to 0.9.11.1
commit9e8f96cb97e1ea10d8576bd0947eef25a520a0e2
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 4 Feb 2014, 18:04 (13 years ago)
parentfa9f021
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.11
2+Version: 0.9.11.1
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady