git.iko.soy/Idris-dev
on master help sign in
Correct cabal file
b641ec8Edwin Brady
CHANGELOG+1
compare with master
unifiedsplit
@@ -9,6 +9,7 @@ User visible changes:
9 elaborating their definitions
9 elaborating their definitions
10* Implicit arguments will be added automatically only if their initial
10* Implicit arguments will be added automatically only if their initial
11 letter is lower case, or they are in a using declaration
11 letter is lower case, or they are in a using declaration
12+* System.Concurrency modules
12
13
13New in 0.9.5:
14New in 0.9.5:
14-------------
15-------------
idris.cabal+5−2
@@ -1,5 +1,5 @@
1Name: idris
1Name: idris
2−Version: 0.9.5
2+Version: 0.9.5.1
3License: BSD3
3License: BSD3
4License-file: LICENSE
4License-file: LICENSE
5Author: Edwin Brady
5Author: Edwin Brady
@@ -47,9 +47,12 @@ Build-type: Custom
47Data-files: rts/libidris_rts.a rts/idris_rts.h rts/idris_gc.h
47Data-files: rts/libidris_rts.a rts/idris_rts.h rts/idris_gc.h
48 rts/idris_stdfgn.h rts/idris_main.c rts/idris_gmp.h
48 rts/idris_stdfgn.h rts/idris_main.c rts/idris_gmp.h
49 rts/libtest.c
49 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
51 lib/Control/Monad/*.idr lib/Language/*.idr
52 lib/Control/Monad/*.idr lib/Language/*.idr
53+ lib/System/Concurrency/*.idr
52 tutorial/examples/*.idr lib/base.ipkg
54 tutorial/examples/*.idr lib/base.ipkg
55+ config.mk
53 rts/*.c rts/*.h rts/Makefile
56 rts/*.c rts/*.h rts/Makefile
54
57
55source-repository head
58source-repository head