[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#484234: RFP: frama-c -- framework for source code analysis of software written in C



On Tue, Jun 03, 2008 at 12:10:44PM +0530, Y Giridhar Appaji Nag wrote:
> Package: wnpp
> Severity: wishlist
> 
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> * Package name    : frama-c

Thanks for the packaging effort and for Cc-ing debian-ocaml-maint!

As you probably already know, OCaml packaging has some intricacies which
really benefit from collaboration between maintainers of OCaml related
packages. As such, if you are interested in maintaining frama-c, I
suggest you to join the pkg-ocaml-maint project on alioth and to use our
VCS repository to actually store the package.

We currently have a quite big subversion repository on alioth, but we
are migrating to git RSN. So, I suggest you to start packaging frama-c
directly using git, ping me if you need help in setting up the
repository.

Ah, and of course we have good starting point for OCaml packaging
available at http://wiki.debian.org/Teams/OCamlTaskForce, in particular
have a look at our policy.

Cheers.

-- 
Stefano Zacchiroli -*- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
I'm still an SGML person,this newfangled /\ All one has to do is hit the
XML stuff is so ... simplistic  -- Manoj \/ right keys at the right time

Attachment: signature.asc
Description: Digital signature


Reply to: