Proposal for new package group: Development:Formal Methods Tools

2013-08-17 Thread John C. Peterson
-- John C. Peterson, KD6EKQ mailto:j...@eskimo.com San Diego, CA U.S.A -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct

Proposal for new package group: Development:Formal Methods Tools

2013-08-23 Thread John C. Peterson
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 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. > > > >

Proposal for new package group: Development:Formal Methods Tools

2013-08-25 Thread John C. Peterson
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 the Formal Met

Proposal for new package group: Development:Formal Methods Tools

2013-08-26 Thread John C. Peterson
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 > > > wrote: > > > >