packages feed

idris-1.3.3: test/pkg010/expected.out

Uncaught error: user error (wrongopts.ipkg:4:1:
  |
4 | <empty line>
  | ^
Invalid option `-total'

Usage:  [--nobanner | (-q|--quiet) | --ide-mode | --ide-mode-socket | 
          --client ARG | --log LEVEL | --logging-categories CATS | 
          --nobasepkgs | --noprelude | --nobuiltins | --check | 
          (-o|--output FILE) | --interface | --typeintype | --total | 
          --partial | --warnpartial | --warnreach | --warnipkg | --nocoverage | 
          --errorcontext | --info | --listlogcats | --link | --listlibs | 
          --libdir | --docdir | --include | --V2 | --V1 | (-V|--V0|--verbose) | 
          --ibcsubdir FILE | (-i|--idrispath ARG) | --sourcepath ARG | --warn | 
          (-p|--package ARG) | --port PORT | --build IPKG | --install IPKG | 
          --repl IPKG | --clean IPKG | --mkdoc IPKG | --installdoc IPKG | 
          --checkpkg IPKG | --testpkg IPKG | --indent-with INDENT | 
          --indent-clause INDENT | --bytecode ARG | (-S|--codegenonly) | 
          (-c|--compileonly) | --dumpdefuns ARG | --dumpcases ARG | 
          --codegen TARGET | --portable-codegen TARGET | --cg-opt ARG | 
          (-e|--eval EXPR) | --execute | --exec EXPR | (-X|--extension EXT) | 
          --O3 | --O2 | --O1 | --O0 | --partial-eval | --no-partial-eval | 
          (--optimise-nat-like-types|--optimize-nat-like-types) | 
          (--no-optimise-nat-like-types|--no-optimize-nat-like-types) | 
          (-O|--level ARG) | --target TRIPLE | --cpu CPU | (--color|--colour) | 
          (--nocolor|--nocolour) | --consolewidth WIDTH | --highlight | 
          --no-tactic-deprecation-warnings | 
          --allow-capitalized-pattern-variables] [FILES] [-v|--version]
)