| GroupId | GroupIdch.epfl.lara |
|---|---|
| ArtifactId | ArtifactIdinox_2.12 |
| Version | Version1.0.2 |
| Type | Typejar |
| Filename | Size |
|---|---|
| inox_2.12-1.0.2.pom | |
| inox_2.12-1.0.2.jar | 2 MB |
| inox_2.12-1.0.2-tests.jar | 123 KB |
| inox_2.12-1.0.2-sources.jar | 225 KB |
| inox_2.12-1.0.2-javadoc.jar | 3 MB |
| inox_2.12-1.0.2-it.jar | 183 KB |
| Browse |
<!-- https://jarcasting.com/artifacts/ch.epfl.lara/inox_2.12/ -->
<dependency>
<groupId>ch.epfl.lara</groupId>
<artifactId>inox_2.12</artifactId>
<version>1.0.2</version>
</dependency>
// https://jarcasting.com/artifacts/ch.epfl.lara/inox_2.12/
implementation 'ch.epfl.lara:inox_2.12:1.0.2'
// https://jarcasting.com/artifacts/ch.epfl.lara/inox_2.12/
implementation ("ch.epfl.lara:inox_2.12:1.0.2")
'ch.epfl.lara:inox_2.12:jar:1.0.2'
<dependency org="ch.epfl.lara" name="inox_2.12" rev="1.0.2">
<artifact name="inox_2.12" type="jar" />
</dependency>
@Grapes(
@Grab(group='ch.epfl.lara', module='inox_2.12', version='1.0.2')
)
libraryDependencies += "ch.epfl.lara" % "inox_2.12" % "1.0.2"
[ch.epfl.lara/inox_2.12 "1.0.2"]