suggest command-line option to report version of specified (or all) plug-in(s) (#807) · Issues · pub / frama-c