Update version to 0.9.6.1
commit7e12b2a276bdee05db0520a49b5a6d702c53cd3e
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 18 Feb 2013, 18:32 (14 years ago)
parente2809b6
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.6
2+Version: 0.9.6.1
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady