Increment version, update CHANGELOG
commit5e0301cbdcec2bb659a6695363d3bae39ea824f9
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 5 Aug 2017, 17:42 (9 years ago)
parentc79d4d3
CHANGELOG.md+2
@@ -1,6 +1,8 @@
11# New in 1.1.1
22
33+ Erasure analysis is now faster thanks to a bit smarter constraint solving.
4++ Fixed installation issue
5++ Fixed a potential segfault when concatenating strings
46
57# New in 1.1.0
68
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 1.1.0
2+Version: 1.1.1
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady