I am looking for a sponsor for my package "pict". * 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