org.into-cps : vdmcheck

<!-- https://mavenlibs.com/maven/pom/org.into-cps/vdmcheck --><dependency>
    <groupId>org.into-cps</groupId>
    <artifactId>vdmcheck</artifactId>
    <version>1.1.3</version>
</dependency>

// https://mavenlibs.com/maven/pom/org.into-cps/vdmcheckimplementation group: 'org.into-cps', name: 'vdmcheck', version: '1.1.3'

// https://mavenlibs.com/maven/pom/org.into-cps/vdmcheckimplementation 'org.into-cps:vdmcheck:1.1.3'

// https://mavenlibs.com/maven/pom/org.into-cps/vdmcheckimplementation("org.into-cps:vdmcheck:1.1.3")

// https://mavenlibs.com/maven/pom/org.into-cps/vdmchecklibraryDependencies += "org.into-cps" % "vdmcheck" % "1.1.3"

<!-- https://mavenlibs.com/maven/pom/org.into-cps/vdmcheck --><dependency org="org.into-cps" name="vdmcheck" rev="1.1.3"/>

// https://mavenlibs.com/maven/pom/org.into-cps/vdmcheck@Grapes(
    @Grab(group='org.into-cps', module='vdmcheck', version='1.1.3')
)

;; https://mavenlibs.com/maven/pom/org.into-cps/vdmcheck[org.into-cps/vdmcheck "1.1.3"]

# https://mavenlibs.com/maven/pom/org.into-cps/vdmcheck'org.into-cps:vdmcheck:jar:1.1.3'