p2.eclipse-plugin:eu.fbk.tools.editor.nusmv.ui-1.0.0.202011031435.jar
MD5: b8a76804b25db1973f4f5a6c52ab286d
Introduced 3 yr 8 mo ago
outside Jenkins
Usage
This file has been used in the following places:
This file has been used in the following places: