Update patch version
For intermediate hackage release
commitfdb04aff1e29233e47c46a44b79ecaa1f612244d
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 25 Feb 2016, 15:44 (11 years ago)
parent76c46bb
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.10
2+Version: 0.10.1
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady