Index of jcenter/ch/epfl/lara/inox_2.11/1.1.0-77-gcda28de

Name                                         Last modified      Size

../
inox_2.11-1.1.0-77-gcda28de-it.jar            12-Apr-2018 12:10  483.38 KB
inox_2.11-1.1.0-77-gcda28de-it.jar.asc        12-Apr-2018 12:10  475 bytes
inox_2.11-1.1.0-77-gcda28de-javadoc.jar       12-Apr-2018 12:10  3.49 MB
inox_2.11-1.1.0-77-gcda28de-javadoc.jar.asc   12-Apr-2018 12:10  475 bytes
inox_2.11-1.1.0-77-gcda28de-sources.jar       12-Apr-2018 12:10  283.28 KB
inox_2.11-1.1.0-77-gcda28de-sources.jar.asc   12-Apr-2018 12:10  475 bytes
inox_2.11-1.1.0-77-gcda28de-tests.jar         12-Apr-2018 12:10  513.27 KB
inox_2.11-1.1.0-77-gcda28de-tests.jar.asc     12-Apr-2018 12:10  475 bytes
inox_2.11-1.1.0-77-gcda28de.jar               12-Apr-2018 12:10  6.60 MB
inox_2.11-1.1.0-77-gcda28de.jar.asc           12-Apr-2018 12:10  475 bytes
inox_2.11-1.1.0-77-gcda28de.pom               12-Apr-2018 12:10  2.75 KB
inox_2.11-1.1.0-77-gcda28de.pom.asc           12-Apr-2018 12:10  475 bytes