git.iko.soy/Idris-dev
on master help sign in
Increment version, update CHANGELOG
5e0301cEdwin Brady
CHANGELOG.md+2
compare with master
unifiedsplit
@@ -1,6 +1,8 @@
1# New in 1.1.1
1# New in 1.1.1
2
2
3+ Erasure analysis is now faster thanks to a bit smarter constraint solving.
3+ Erasure analysis is now faster thanks to a bit smarter constraint solving.
4++ Fixed installation issue
5++ Fixed a potential segfault when concatenating strings
4
6
5# New in 1.1.0
7# New in 1.1.0
6
8
idris.cabal+1−1
@@ -1,5 +1,5 @@
1Name: idris
1Name: idris
2−Version: 1.1.0
2+Version: 1.1.1
3License: BSD3
3License: BSD3
4License-file: LICENSE
4License-file: LICENSE
5Author: Edwin Brady
5Author: Edwin Brady