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@xxxxxxxxxx San Diego, CA U.S.A -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
