Search Gradle plugins
Plugin | Latest Version |
---|---|
org.dafny.dafnyThis plugin offers tight integration of the Dafny verification-aware programming language with Java: automatically verifying Dafny source code and compiling it to Java source code, which the Java plugin will then build together with any hand-written Java in the project. It also provides a robust approach to distributing and managing Dafny dependencies through Gradle-supported repositories such as Maven Central. |
0.1.0
(11 May 2023) |
com.github.rahulsom.waena.rootConfigures the root project to publish to Maven Central. |
0.6.1
(26 December 2022) |
com.github.rahulsom.waena.publishedMarks a module as one to be published to Maven Central. |
0.6.1
(26 December 2022) |
se.svt.oss.gradle-yapp-publisherYet another plugin that manages publishing for Gradle projects |
0.1.18
(18 May 2022) |
se.svt.oss.gradle-yapp-publisher-pluginManages publishing for Gradle projects |
0.1.17
(18 May 2022) |
com.innovenso.gradle.publish.ossPublishes Maven artifacts to OSSRH, for publication in Maven Central |
6.3.0
(07 December 2021) |
nebula.oss-publishingPublishes nebula projects to Netflix OSS repositories and Maven Central |
2.0.0
(13 September 2021) |
com.github.fkorotkov.librariesSpecify versions of external libraries in a centralized place and use them across the sub-projects |
1.1
(08 May 2020) |
com.xenoterracide.gradle.mirroruse a private mirror if defined, or maven central |
0.2.1
(22 February 2019) |
pro.tark.checkstyleremote.checkstyle-remoteGrabs remote checkstyle file from centralized place and checkstyles your project |
1.0-SNAPSHOT
(02 October 2018) |