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
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
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
-zfuzz
O why
O why-all
O why-coq
O why-gwhy
O why-jessie
O why-pvs-support
O why3
O why3-emacs
O zenon
More information on these packages can be found on the wiki here:
https://fedoraproject.org/wiki/Formal_methods_tool_suite
https://fedoraproject.org/wiki/FormalMethods
Regards, John
--
John C