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 of hardware and software are based on Formal
proof methods.
The default for the group itself will be false (will not be installed by
default). Find below a list of package names to be included in the group
with the proposed level (D for default, O for optional). Given that the
scope of application of these tools is very diverse, it made sense to
me to make most of the packages optional;
O alt-ergo
O alt-ergo-gui
O coq
O coq-coqide
O coq-doc
O coq-emacs
O coq-emacs-el
O cryptominisat
O cryptominisat-devel
O csisat
O cudd
O cvc3
O cvc3-devel
O cvc3-doc
O cvc3-emacs
O cvc3-emacs-el
O cvc3-java
O cvc3-xemacs
O cvc3-xemacs-el
O E
O emacs-common-proofgeneral
O emacs-proofgeneral
O emacs-proofgeneral-el
O flocq
O flocq-source
D frama-c
O gappa
O gappalib-coq
O glueminisat
D minisat2
O picosat
D prover9
O prover9-apps
O prover9-devel
O prover9-doc
O pvs-sbcl
O sat4j
O stp
O stp-devel
O tex-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. Peterson, KD6EKQ
mailto:jcp@eskimo.com
San Diego, CA U.S.A