Stefano Zacchiroli wrote: > 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. Thank you for the pointer, I will look at it today and see what changes are necessary. I will think that my package conforms those criteria too. Thanks for the pointer. > > 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?) According to the authors of Nomadic Pict http://www.cl.cam.ac.uk/~pes20/nomadicpict.html <CITE> Nomadic Pict is an extension of Pict with the notion of locations, agents, migration, distribution, and failures. </CITE> It is also interesting. The Pict programming language is its predecessor: http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html I have created Debian GNU/Linux package for this one. > > 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
Attachment:
signature.asc
Description: OpenPGP digital signature