/palladio-qual-monitorrepository/releases/5.1.0/plugins/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
org.palladiosimulator.monitorrepository.edit.source_5.1.0.202201251519.jar	25.9 KiB	2022-Jan-25 16:21
org.palladiosimulator.monitorrepository.edit_5.1.0.202201251519.jar	53.8 KiB	2022-Jan-25 16:21
org.palladiosimulator.monitorrepository.editor.source_5.1.0.202201251519.jar	21.7 KiB	2022-Jan-25 16:21
org.palladiosimulator.monitorrepository.editor_5.1.0.202201251519.jar	72.8 KiB	2022-Jan-25 16:21
org.palladiosimulator.monitorrepository.map.edit.source_5.1.0.202201251519.jar	9.1 KiB	2022-Jan-25 16:21
org.palladiosimulator.monitorrepository.map.edit_5.1.0.202201251519.jar	18.1 KiB	2022-Jan-25 16:21
org.palladiosimulator.monitorrepository.map.source_5.1.0.202201251519.jar	27.3 KiB	2022-Jan-25 16:21
org.palladiosimulator.monitorrepository.map_5.1.0.202201251519.jar	40.2 KiB	2022-Jan-25 16:21
org.palladiosimulator.monitorrepository.source_5.1.0.202201251519.jar	65.6 KiB	2022-Jan-25 16:21
org.palladiosimulator.monitorrepository_5.1.0.202201251519.jar	86.7 KiB	2022-Jan-25 16:21