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/.
John C. Peterson (j...@eskimo.com) said:
> On Sat, Aug 24, 2013 at 03:17:39PM +0800, Christopher Meng wrote:
> > ??? 2013-8-18 AM3:31???"John C. Peterson" ?
> > >
> > >
> > > I would like to edit comps.xml to add a new package group for the tools
> > > that have already been packaged by th
在 2013-8-18 AM3:31，"John C. Peterson" 写道：
>
>
> I would like to edit comps.xml to add a new package group for the tools
> that have already been packaged by the Formal Methods SIG.
I just want to know if Group tag is needed or not, I never add Group tag in
any specs of mine.
--
devel mailing list
On Sat, Aug 17, 2013 at 1:31 PM, John C. Peterson wrote:
> I would like to edit comps.xml to add a new package group for the tools
> that have already been packaged by the Formal Methods SIG.
>
> I propose that the group be located under the "Development" category.
>
> Id: formal-methods-tools
> N
