Proposal for new package group: Development:Formal Methods Tools

[Matthew Miller]

On Mon, Aug 26, 2013 at 02:49:00PM -0400, Bill Nottingham wrote:
> How do you expect people to install these packages, and in what
> combinations?

Maybe what would actually be most useful is to tag the related packages with
something ("formal methods"?) in https://apps.fedoraproject.org/tagger/.

I'm not sure this is actually used by anything yet, but it's more likely to
be useful in the future than Groups or Comps, and the more useful data
that's there, the more likely that is.

-- 
Matthew Miller  ☁☁☁  Fedora Cloud Architect  ☁☁☁  <mattdm at fedoraproject.org>