搜索 Gradle 插件
| 插件 | 最新版本 |
|---|---|
org.dafny.dafny此插件提供了 Dafny 验证感知编程语言与 Java 的紧密集成：自动验证 Dafny 源代码并将其编译为 Java 源代码，Java 插件将随后与项目中的任何手写 Java 代码一起构建。它还通过 Gradle 支持的仓库（如 Maven Central）提供了一种鲁棒的 Dafny 依赖项分发和管理方法。 |
0.1.0
（2023 年 5 月 11 日） |
com.baioretto.specialsourceGradle 的特殊源 |
1.0.0
（2022 年 6 月 29 日） |
com.github.lanchon.dexpatcher.patch-libraryDexPatcher Patch Library 插件生成一个包含已编译更改和添加到导入为 DexPatcher APK 库的源应用程序代码和资源文件的 DexPatcher 补丁库文件，而不会捆绑源应用程序的任何部分。该文件的结构与 Android 库（AAR）文件类似。补丁库中的更改可以使用 DexPatcher Patched Application 插件应用到源应用程序。可以在同一步骤中应用多个补丁库，或通过循环使用 APK 库和补丁应用程序插件来串行化它们的应用。DexPatcher 是免费软件。（GPLv3+） |
2.0.0
（2019 年 10 月 31 日） |