Re: Does anybody plan to package Frama-C? | |
| [Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] | |
On Wed, Jun 04, 2008 at 12:20:21PM +0400, Peter Lemenkov wrote: > I just found it and it looks pretty useful: > > http://frama-c.cea.fr/what_is.html Yes, it looks very cute. I have no particular plans to package it at the moment, but I did open a tracking bug for packaging it here: https://bugzilla.redhat.com/show_bug.cgi?id=448502 If you have any candidate packages, put them there and/or open a review request and I'll do a review. Rich. -- Richard Jones, Emerging Technologies, Red Hat http://et.redhat.com/~rjones virt-p2v converts physical machines to virtual machines. Boot with a live CD or over the network (PXE) and turn machines into Xen guests. http://et.redhat.com/~rjones/virt-p2v _______________________________________________ Fedora-ocaml-list mailing list Fedora-ocaml-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-ocaml-list
[Home] [Fedora Users] [Fedora Legacy List] [Fedora Maintainers] [Fedora Desktop] [Red Hat 9 Bible] [Fedora Bible] [Fedora SELinux] [Big List of Linux Books] [Yosemite News] [Yosemite Photos] [KDE Users] [Fedora Tools]
