Okay, let's use semver... (increment to v1.1.0)
...instead of arbitrary choices as to version number.
See http://semver.org/
commit70f172c92ada0d57495ccbe477271d699ef7de85
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 1 Aug 2017, 12:30 (9 years ago)
parent5d7388b
CHANGELOG.md+1−1
@@ -1,4 +1,4 @@
1−# New in 1.0.1
1+# New in 1.1.0
22
33## Library Updates
44
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 1.0.1
2+Version: 1.1.0
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady