git.iko.soy/Idris-dev
on master help sign in
Correct cabal file
commitb641ec8d602e2b7015b9829c33198927a6ed626c authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 31 Oct 2012, 13:30 (14 years ago) parent7508b64
2 files changed+6−2
compare with master
unifiedsplit
CHANGELOG+1 idris.cabal+5−2
CHANGELOG+1
@@ -9,6 +9,7 @@ User visible changes:
99 elaborating their definitions
1010* Implicit arguments will be added automatically only if their initial
1111 letter is lower case, or they are in a using declaration
12+* System.Concurrency modules
1213
1314New in 0.9.5:
1415-------------
idris.cabal+5−2
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.9.5
2+Version: 0.9.5.1
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady
@@ -47,9 +47,12 @@ Build-type: Custom
4747Data-files: rts/libidris_rts.a rts/idris_rts.h rts/idris_gc.h
4848 rts/idris_stdfgn.h rts/idris_main.c rts/idris_gmp.h
4949 rts/libtest.c
50−Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr lib/Network/*.idr
50+Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
51+ lib/Network/*.idr lib/Control/*.idr
5152 lib/Control/Monad/*.idr lib/Language/*.idr
53+ lib/System/Concurrency/*.idr
5254 tutorial/examples/*.idr lib/base.ipkg
55+ config.mk
5356 rts/*.c rts/*.h rts/Makefile
5457
5558source-repository head