packages feed

idris-1.3.2: test/pkg010/expected

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]
)