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
signature.asc
Description: OpenPGP digital signature
