Search Gradle plugins

Plugin Latest Version


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.

(11 May 2023)


Special source for gradle

(29 June 2022)


The DexPatcher Patch Library plugin produces a DexPatcher patch library file that bundles compiled changes and additions to code and resources of a source application imported as a DexPatcher APK library, without bundling any part of the source application itself. The file is similar in structure to an Android library (AAR) file. The changes bundled in a patch library can be applied to the source application using the DexPatcher Patched Application plugin. Several patch libraries can be applied in the same step, or their application can be serialized though the cyclic use of the APK Library and Patched Application plugins. DexPatcher is free software. (GPLv3+)

(31 October 2019)