git.iko.soy/Idris-dev
on 4162113 help sign in
Idris-dev/test/pkg008/expected
15 lines 365 B history raw
1Entering directory `./src'
2Type checking ./NumOps.idr
3Type checking ./Test.idr
4Leaving directory `./src'
5Test Passed
6Test Passed
7Entering directory `./src'
8Leaving directory `./src'
9Entering directory `./src'
10Removed: NumOps.ibc
11Removed: Test.ibc
12Removed: 00maths-idx.ibc
13Leaving directory `./src'
14The following packages were specified but cannot be found:
15- maths