4.0.0 org.whiley wycli jar Apache License, Version 2.0 https://www.apache.org/licenses/LICENSE-2.0.txt repo org.whiley wyc-all 0.9.9 Whiley Command-Line Interface A command-line interface for interacting with the Whiley ecosystem. http://whiley.org/ https://github.com/Whiley/WhileyComandLineTool redjamjar David J. Pearce david.pearce@ecs.vuw.ac.nz http://www.ecs.vuw.ac.nz/~djp org.whiley wycc ${project.version} org.apache.httpcomponents httpclient 4.5.13