![[Jenkins]](/chess/static/109842bc/images/svgs/logo.svg){kind=logo}
p2.eclipse-feature:eu.fbk.tools.editor.nusmv.feature-1.0.0.202211291504.jar
MD5: 284023362e9bc69e69fffda318f48423
Introduced 1 yr 6 mo ago
outside Jenkins
Usage
This file has been used in the following places:
| master MAN build-bundle-release | Failed Success |
| master MAN build-bundle-release/org.polarsys.chess:org.polarsys.chess.product | Success Success |