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 j...@eskimo.com?
I would like to edit comps.xml to add a new package group for the tools
that have already been packaged by the
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
On Mon, Aug 26, 2013 at 02:49:00PM -0400, Bill Nottingham wrote:
John C. Peterson (j...@eskimo.com) said:
On Sat, Aug 24, 2013 at 03:17:39PM +0800, Christopher Meng wrote:
On Sat, Aug 17, 2013 at 1:31 PM, John C. Peterson jcp at eskimo.com
wrote:
I would like to edit comps.xml to
On Sat, Aug 24, 2013 at 03:17:39PM +0800, Christopher Meng wrote:
??? 2013-8-18 AM3:31???John C. Peterson j...@eskimo.com?
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
在 2013-8-18 AM3:31，John C. Peterson j...@eskimo.com写道：
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
On Thu, Aug 22, 2013 at 03:26:48PM -0600, Jerry James wrote:
On Sat, Aug 17, 2013 at 1:31 PM, John C. Peterson j...@eskimo.com 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
On Sat, Aug 17, 2013 at 1:31 PM, John C. Peterson j...@eskimo.com 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:
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
Name: Formal Methods Tools
Description: These tools for the development
