<dependency>
    <groupId>org.key-project</groupId>
    <artifactId>key.core.example</artifactId>
    <version>2.12.1</version>
    <scope>compile</scope>
</dependency>

Scope:

Format:

Include backlinks

implementation("org.key-project:key.core.example:2.12.1")

Scope:

Include backlinks

libraryDependencies += "org.key-project" % "key.core.example" % "2.12.1"

Scope:

Include backlinks

ivy"org.key-project:key.core.example:2.12.1"

Scope:

Include backlinks

<dependency org="org.key-project" name="key.core.example" rev="2.12.1"/>

Scope:

Include backlinks

@Grapes(
    @Grab(group='org.key-project', module='key.core.example', version='2.12.1')
)

Scope:

Include backlinks

[org.key-project/key.core.example "2.12.1"]

Scope:

Include backlinks

'org.key-project:key.core.example:jar:2.12.1'

Licenses

License

URL

GNU General Public License (GPL), Version 2

https://www.gnu.org/licenses/old-licenses/gpl-2.0.html

Developers

Name Email Dev Id Roles Organization

KeY Developers support<at>key-project.org key

Current Group

Categories (277)

Key Core Example » 2.12.1

Licenses

Developers

Indexed Repositories (3352)

Popular Tags

About