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