git.iko.soy/Idris-dev
on master help sign in
sort top-level modules in contrib.ipkg
237f4b8Michael Morgan
libs/contrib/contrib.ipkg+6−6
compare with master
unifiedsplit
@@ -64,6 +64,12 @@ modules = CFFI
64
64
65 , System.Concurrency.Process
65 , System.Concurrency.Process
66
66
67+ , Test.Unit.Display
68+ , Test.Unit.Runners
69+ , Test.Unit.Generic
70+ , Test.Unit.Assertions
71+ , Test.Unit
72+
67 , Text.Lexer
73 , Text.Lexer
68 , Text.Lexer.Core
74 , Text.Lexer.Core
69
75
@@ -78,9 +84,3 @@ modules = CFFI
78 , Text.PrettyPrint.WL
84 , Text.PrettyPrint.WL
79
85
80 , Text.Quantity
86 , Text.Quantity
81−
82− , Test.Unit.Display
83− , Test.Unit.Runners
84− , Test.Unit.Generic
85− , Test.Unit.Assertions
86− , Test.Unit