Update version number ready for upcoming release
commit7a0f64d224ad5e9f9b57133ead7b15c119919e7d
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 13 Oct 2014, 20:30 (12 years ago)
parent6bcf43a
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.14.2
2+Version: 0.9.15
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady