Does anybody plan to package Frama-C?

Richard W.M. Jones rjones at redhat.com
Wed Jun 4 08:18:51 UTC 2008


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




More information about the Fedora-ocaml-list mailing list