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