Scribit Samuel Mimram dies 22/03/2007 hora 18:10:
> * Package name: why
That's great! I had begun to play a bit with why, but having it as an
official Debian package will make it easier. As I'm beginning to do some
packaging, if you ever need it, I'd gladly help (packaging a new
upstream, tria
Package: wnpp
Severity: wishlist
Owner: Samuel Mimram <[EMAIL PROTECTED]>
* Package name: why
Version : 2.02
Upstream Author : Jean-Christophe Filliâtre
* URL : http://why.lri.fr/
* License : GPL
Programming Lang: OCaml
Description : A software verificat
2 matches
Mail list logo
