Update version number for CUFP release
commit8fadb31fa871c1ebed367a82d258c5b3209baf8f
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 29 Aug 2014, 10:26 (12 years ago)
parent9701503
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.14.1
2+Version: 0.9.14.2
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady