4.0.0 org.whiley wyc-all 0.9.8 pom wycc wycli wyc wyqc Apache License, Version 2.0 https://www.apache.org/licenses/LICENSE-2.0.txt repo Whiley Compiler (WyC) The Whiley Compiler is a component of the Whiley Compiler Collection which is responsible for compiling Whiley source files into binary WyIL files. The compiler supports compile-time verification of source files. http://whiley.org https://github.com/Whiley/WhileyCompiler redjamjar David J. Pearce david.pearce@ecs.vuw.ac.nz http://www.ecs.vuw.ac.nz/~djp org.whiley jbuildfs 1.0.1 junit junit 4.13.1 test ossrh https://oss.sonatype.org/content/repositories/snapshots ossrh https://oss.sonatype.org/service/local/staging/deploy/maven2/ org.apache.maven.plugins maven-compiler-plugin 3.8.1 9 9 org.apache.maven.plugins maven-source-plugin 3.1.0 attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin 2.9.1 attach-javadocs jar -Xdoclint:none org.apache.maven.plugins maven-gpg-plugin 1.6 --pinentry-mode loopback sign-artifacts verify sign org.apache.maven.plugins maven-release-plugin 2.5.3 false release deploy org.sonatype.plugins nexus-staging-maven-plugin 1.6.8 true ossrh https://oss.sonatype.org/ true