[ddp] libjessie-ocaml-dev : Jessie library for code analysis

daily-debian-package at enix.org daily-debian-package at enix.org
Wed Apr 8 12:00:15 CEST 2009


Hello,

Today, I'm happy to present you the Debian package libjessie-ocaml-dev,
which is part of the libdevel section, and maintained by Debian OCaml
Maintainers <debian-ocaml-maint at lists.debian.org>. 

This package contains : Jessie library for code analysis.

Jessie library, from Why certification tool, is useful for C code
analysis. It also generates Why code.


Package homepage     :
 http://packages.debian.org/unstable/libdevel/libjessie-ocaml-dev

Package bug homepage :
 http://bugs.debian.org/libjessie-ocaml-dev

Package QA homepage  :
 http://packages.qa.debian.org/libjessie-ocaml-dev

Have fun with Debian packages !

-- 
Daily Debian package, by Thomas Petazzoni, thanks to Jérome Petazzoni
Daily-debian-package at the-doors.enix.org
http://the-doors.enix.org/cgi-bin/mailman/listinfo/daily-debian-package
http://thomas.enix.org/DebianPackageDay


More information about the Daily-debian-package mailing list