packages feed

idris-1.3.2: test/pkg008/expected

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