/palladio-thirdparty-library/releases/4.2.0/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
plugins/	-	2019-Nov-26 23:08
features/	-	2019-Nov-26 23:08
content.jar	167.2 KiB	2019-Nov-26 23:08
category.xml	317 B	2019-Nov-26 23:08
artifacts.jar	2.3 KiB	2019-Nov-26 23:08