MVN

software.amazon.smithy.dafny : conversion

Maven & Gradle

May 23, 2023

1.7k stars

Smithy :: Dafny :: Conversion · Convert Native Java Types to Dafny Runtime Types and vice versa

Homepage Maven Central

<!-- https://mavenlibs.com/maven/dependency/software.amazon.smithy.dafny/conversion --><dependency>
    <groupId>software.amazon.smithy.dafny</groupId>
    <artifactId>conversion</artifactId>
    <version>0.1</version>
</dependency>

// https://mavenlibs.com/maven/dependency/software.amazon.smithy.dafny/conversionimplementation group: 'software.amazon.smithy.dafny', name: 'conversion', version: '0.1'

// https://mavenlibs.com/maven/dependency/software.amazon.smithy.dafny/conversionimplementation 'software.amazon.smithy.dafny:conversion:0.1'

// https://mavenlibs.com/maven/dependency/software.amazon.smithy.dafny/conversionimplementation("software.amazon.smithy.dafny:conversion:0.1")

// https://mavenlibs.com/maven/dependency/software.amazon.smithy.dafny/conversionlibraryDependencies += "software.amazon.smithy.dafny" % "conversion" % "0.1"

<!-- https://mavenlibs.com/maven/dependency/software.amazon.smithy.dafny/conversion --><dependency org="software.amazon.smithy.dafny" name="conversion" rev="0.1"/>

// https://mavenlibs.com/maven/dependency/software.amazon.smithy.dafny/conversion@Grapes(
    @Grab(group='software.amazon.smithy.dafny', module='conversion', version='0.1')
)

;; https://mavenlibs.com/maven/dependency/software.amazon.smithy.dafny/conversion[software.amazon.smithy.dafny/conversion "0.1"]

# https://mavenlibs.com/maven/dependency/software.amazon.smithy.dafny/conversion'software.amazon.smithy.dafny:conversion:jar:0.1'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a dependency to Maven
How to add a dependency to Gradle
How to add a dependency to SBT Scala

Latest Version

Choose a version of software.amazon.smithy.dafny : conversion to add to Maven or Gradle - Latest Versions:

Latest Stable: 0.1

All Versions

Choose a version of software.amazon.smithy.dafny : conversion to add to Maven or Gradle - All Versions:

Version	Vulnerabilities	Updated
0.1	conversion-0.1		May 23, 2023

Version

Vulnerabilities

Updated

0.1

conversion-0.1

May 23, 2023

How to add a dependency to Maven

Add the following software.amazon.smithy.dafny : conversion maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>software.amazon.smithy.dafny</groupId>
    <artifactId>conversion</artifactId>
    <version>0.1</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following software.amazon.smithy.dafny : conversion gradle dependency to your build.gradle file:

implementation 'software.amazon.smithy.dafny:conversion:0.1'

Gradle Kotlin DSL: Add the following software.amazon.smithy.dafny : conversion gradle kotlin dependency to your build.gradle.kts file:

implementation("software.amazon.smithy.dafny:conversion:0.1")

How to add a dependency to SBT Scala

SBT Scala: Add the following software.amazon.smithy.dafny : conversion sbt scala dependency to your build.sbt file:

libraryDependencies += "software.amazon.smithy.dafny" % "conversion" % "0.1"

Dependencies from Group

conversion

@software.amazon.smithy.dafny

May 23, 2023

1.7k stars

smithy-dafny-codegen

@software.amazon.smithy.dafny

Jun 07, 2023

1.7k stars

More Dependencies ❯

Discover Dependencies

properties-maven-plugin

@tech.polivakha.maven

May 23, 2023

20 stars

jltk

@org.geepawhill

Jul 17, 2023

2 stars

admin-core

@org.marketcetera

May 23, 2023

admin-rest-server

@org.marketcetera

May 23, 2023

admin-rpc-server

@org.marketcetera

May 23, 2023

admin-server

@org.marketcetera

May 23, 2023

cluster-rpc-server

@org.marketcetera

May 23, 2023

cluster-rpc-client

@org.marketcetera

May 23, 2023

cluster-rpc-core

@org.marketcetera

May 23, 2023

dare-package

@org.marketcetera

May 23, 2023

More Dependencies ❯