git.iko.soy/Idris-dev
on master help sign in
Update version number to 0.9.11
b45f766Edwin Brady
idris.cabal+1−1
compare with master
unifiedsplit
@@ -1,5 +1,5 @@
1Name: idris
1Name: idris
2−Version: 0.9.10.1
2+Version: 0.9.11
3License: BSD3
3License: BSD3
4License-file: LICENSE
4License-file: LICENSE
5Author: Edwin Brady
5Author: Edwin Brady
mkpkg.sh+3−3
@@ -1,12 +1,12 @@
1#!/bin/sh
1#!/bin/sh
2
2
3+VERSION=$1
4+
3echo "Building version-$VERSION\n\n"
5echo "Building version-$VERSION\n\n"
4echo "Have you: set the release flag, checked the demos and the tutorial?"
6echo "Have you: set the release flag, checked the demos and the tutorial?"
5read $foo
7read $foo
6
8
7−git tag version-$VERSION -a
9+git tag v$VERSION -a
8−
9−VERSION=$1
10
10
11cabal sdist
11cabal sdist
12
12