Entering directory `./src'
Type checking ./NumOps.idr
Type checking ./Test.idr
Leaving directory `./src'
Test Passed
Test Passed
Entering directory `./src'
Leaving directory `./src'
Entering directory `./src'
Removed: NumOps.ibc
Removed: Test.ibc
Removed: 00maths-idx.ibc
Leaving directory `./src'
The following packages were specified but cannot be found:
- maths