Version increment to 0.11.1
commitf678a008130eade9b5c8f50fb607e924947c6f92
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 1 May 2016, 19:03 (10 years ago)
parentfe1d470
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.11
2+Version: 0.11.1
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady