Set version for patch release
commit16ce78dcd3e90456d911a65fca1c428f582deb65
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 10 Feb 2014, 10:12 (13 years ago)
parent85e68a7
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.11.1
2+Version: 0.9.11.2
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady