/archive/palladio/addons/coverage/releases/1.0/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
plugins/	-	2019-Sep-06 14:25
features/	-	2019-Sep-06 14:25
content.jar	28.2 KiB	2019-Sep-06 14:25
artifacts.jar	1.6 KiB	2019-Sep-06 14:25