Back to packageRELEASE DETAILS

0.1.1

Maven

software.amazon.smithy.dafny:conversion

Convert Native Java Types to Dafny Runtime Types and vice versa

PublishedUnknown

Direct dependencies—

Transitive dependenciesNot calculated

Downloads & popularity

Awaiting observations

No metric observations yet

Download counts and popularity will appear here as the collector receives them.

Declared dependencies 0

Native requirements

— direct targetsNot calculated transitive count

No declared dependencies in this collected response

Declarations describe requirements; they are not a resolved dependency graph.

Distribution files

11 collected

Distribution 1

Source distribution · 0.13 KB

Distribution 2

Source distribution · 0.13 KB

Distribution 3

Source distribution · 0.06 KB

Distribution 4

Source distribution · 0.13 KB

Distribution 5

Source distribution · 0.06 KB

Distribution 6

Source distribution · 7.04 KB

Distribution 7

Source distribution · 0.13 KB

Distribution 8

Source distribution · 0.06 KB

Distribution 9

Source distribution · 0.13 KB

Distribution 10

Source distribution · 0.06 KB

Distribution 11

Source distribution · 35.49 KB

Metadata history

Meaningful changes

Current collected state Current

Observed since 20 Oct, 22:58 UTC

No superseded metadata states collected. Unchanged observations do not create new revisions.

Record identity

package_version:b105a71dbdfac523c60de58a056f787474e5e1945fed3219e0ddd4a34ad8eb4e

Other collected versions

0.1Unknown View all collected versions →