p2.eclipse-plugin:org.eclipse.ocl.pivot.ui-1.7.0.v20190311-1843.jar
MD5: 828cb37034235cdf3497720bd63ed6f0
Introduced 1 yr 6 mo ago
outside Jenkins
Usage
This file has been used in the following places: