Re: Proposal for new package group: Development:Formal Methods Tools

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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@xxxxxxxxxxxxxxxxx>
-- 
devel mailing list
devel@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/devel
Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct





[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]
  Powered by Linux