| GroupId | GroupIdch.epfl.lara |
|---|---|
| ArtifactId | ArtifactIdinox_2.11 |
| Version | Version0.9 |
| Type | Typejar |
| Filename | Size |
|---|---|
| inox_2.11-0.9.pom | |
| inox_2.11-0.9.jar | 4 MB |
| inox_2.11-0.9-tests.jar | 347 KB |
| inox_2.11-0.9-sources.jar | 215 KB |
| inox_2.11-0.9-javadoc.jar | 2 MB |
| inox_2.11-0.9-it.jar | 357 KB |
| Browse |
<!-- https://jarcasting.com/artifacts/ch.epfl.lara/inox_2.11/ -->
<dependency>
<groupId>ch.epfl.lara</groupId>
<artifactId>inox_2.11</artifactId>
<version>0.9</version>
</dependency>
// https://jarcasting.com/artifacts/ch.epfl.lara/inox_2.11/
implementation 'ch.epfl.lara:inox_2.11:0.9'
// https://jarcasting.com/artifacts/ch.epfl.lara/inox_2.11/
implementation ("ch.epfl.lara:inox_2.11:0.9")
'ch.epfl.lara:inox_2.11:jar:0.9'
<dependency org="ch.epfl.lara" name="inox_2.11" rev="0.9">
<artifact name="inox_2.11" type="jar" />
</dependency>
@Grapes(
@Grab(group='ch.epfl.lara', module='inox_2.11', version='0.9')
)
libraryDependencies += "ch.epfl.lara" % "inox_2.11" % "0.9"
[ch.epfl.lara/inox_2.11 "0.9"]