packages feed

idris-1.3.3: test/pkg008/expected.out

Entering directory `./src'
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