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

Re: RFS: pict



On Wed, Feb 21, 2007 at 03:00:07PM +0100, Matej Kosik wrote:
> I am looking for a sponsor for my package "pict".

Have you read the OCaml packaging policy available in
/usr/share/doc/ocaml/ocaml_packaging_policy.txt.gz (ocaml package)?
Being a program implemented in OCaml it should obey to it.

I'm Cc-ing the debian-ocaml-maint mailing list (the contact point for
all maintainers of OCaml-related programs). People there (are supposed
to :-)) have good knowledge of OCaml packaging issues and you can be
probably more lucky in finding there a sponsor.

Thanks for packaging pict! (which I guess is the same thing as "nomadic
pict", am I wrong?)

Cheers.

PS fully quoting your post for the benefits of debian-ocaml-maint
readers

> * Package name: pict
> * Version: 4.1.0-1
> * Upstream Authors: Benjamin C. Pierce <pierce AT cs.indiana.edu>
>                     David N. Turner
> * URL:
> http://altair.dcs.elf.stuba.sk/~kosik/debian/pool/main/p/pict/pict_4.1.0-1.dsc
> * Description: Compiler of the Pict programming language
>  Pict is a programming language in the ML tradition,
>  formed by adding high-level derived forms and powerful
>  static type system to a tiny core language. The core,
>  Milner's pi-calculus, is becoming popular as a theoretical
>  foundation for a broad class of concurrent applications.
>  The goal in Pict is to identify and support idioms that
>  arise naturally when these primitives are used to build
>  working programs---idioms such as basic data structures,
>  protocols for returning results, higher-order programming,
>  selective communication, and concurrent objects. The type
>  system integrates a number of features found in recent work
>  on theoretical foundations for typed object-oriented languages:
>  higher-order polymorphism, simple recursive data-types, subtyping,
>  and a useful partial type inference algorithm.
> 
> 
> The package is lintian clean.
> 
> The package is not linda clean
> E: pict; Binary /usr/lib/pict/pict contains unneeded section comment.
> E: pict; Binary /usr/lib/pict/src2pi contains unneeded section comment.
> E: pict; Binary /usr/lib/pict/src2tex contains unneeded section comment.
> E: pict; Binary /usr/lib/pict/pict is not stripped.
> E: pict; Binary /usr/lib/pict/src2pi is not stripped.
> E: pict; Binary /usr/lib/pict/src2tex is not stripped.
> because
> #256900: ocaml: Ocaml compiled programs cannot be stripped, hence either
> don't work or violate policy
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=256900
> 
> It is possible to build the package in the pbuilder environment.
> 
> Although the software exists already for some time, it was not yet
> packaged for Debian.
> 
> Regards,
> -- 
> Matej Kosik

-- 
Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48)  Zack: e la demo dema ?    /\    All one has to do is hit the
(15:57:15)  Bac: no, la demo scema    \/    right keys at the right time

Attachment: signature.asc
Description: Digital signature


Reply to: