Search Gradle plugins

Plugin Latest Version

org.dafny.dafny

This 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.2.0
(10 January 2025)

io.github.jcohy.gradle.nexus-s01-publishing

support nexus ,gradle portal,custom repository publish

3.2.2.2
(11 May 2024)

io.github.jcohy.gradle.nexus-publishing

support nexus ,gradle portal,custom repository publish

3.2.2.2
(11 May 2024)

io.github.jcohy.gradle.gradle-plugin-publishing

support nexus ,gradle portal,custom repository publish

3.2.2.2
(11 May 2024)

com.kreait.gradle.aws

Helps to develop locally and managing different aws credential sets

0.1.0.RELEASE
(09 August 2019)

com.bmuschko.nexus

Gradle plugin for configuring and uploading artifacts to Sonatype Nexus.

2.3.1
(21 March 2015)

com.bonitasoft.gradle.maven-settings

Gradle plugin for exposing Maven settings file configuration to Gradle project. This project is forked from https://github.com/mark-vieira/gradle-maven-settings-plugin And will add more support of the `settings.xml` file (repositories in profiles)

0.7.4
(15 February 2022)

com.sinch.gradle.nexushelper

A plugin simplifying the access to Nexus Maven repos

0.1.1
(28 November 2024)

io.github.jcohy.gradle.aliyun-publishing

support nexus ,gradle portal,custom repository publish

3.2.2.2
(11 May 2024)

ga.csys.tooling.gradle.pksftp-gradle

null

0.2.1
(07 November 2017)