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

Name                                         Last modified      Size

../
inox_2.12-1.1.0-77-gcda28de-it.jar            12-Apr-2018 12:13  217.55 KB
inox_2.12-1.1.0-77-gcda28de-it.jar.asc        12-Apr-2018 12:12  475 bytes
inox_2.12-1.1.0-77-gcda28de-javadoc.jar       12-Apr-2018 12:12  5.14 MB
inox_2.12-1.1.0-77-gcda28de-javadoc.jar.asc   12-Apr-2018 12:13  475 bytes
inox_2.12-1.1.0-77-gcda28de-sources.jar       12-Apr-2018 12:14  283.28 KB
inox_2.12-1.1.0-77-gcda28de-sources.jar.asc   12-Apr-2018 12:13  475 bytes
inox_2.12-1.1.0-77-gcda28de-tests.jar         12-Apr-2018 12:12  173.14 KB
inox_2.12-1.1.0-77-gcda28de-tests.jar.asc     12-Apr-2018 12:13  475 bytes
inox_2.12-1.1.0-77-gcda28de.jar               12-Apr-2018 12:14  3.35 MB
inox_2.12-1.1.0-77-gcda28de.jar.asc           12-Apr-2018 12:12  475 bytes
inox_2.12-1.1.0-77-gcda28de.pom               12-Apr-2018 12:13  2.75 KB
inox_2.12-1.1.0-77-gcda28de.pom.asc           12-Apr-2018 12:13  475 bytes