Bug#146320: ITP: maria

[Moshe Zadka <m@moshez.org>]

On Sun, 4 Aug 2002, Ralf Treinen <treinen@club-internet.fr> wrote:

> I'm working on a package for maria, a reachability analyzer for
> concurrent systems that uses Algebraic System Nets, as requested
> in RFP, bug #146320.

a. You should have CCed the bug (as I'm doing)
b. You should have retitled it to "ITP"

> URL: http://www.tcs.hut.fi/maria/
> Licence: GPL v2

With no exception? Then it is illegal to distribute "maria-viz".
(If you have further issues, please discuss on debian-legal. thanks.)

> I will split off three binary packages:
> 
> - maria, containing the core
> - maria-doc, containing doc in info and html

How large are the docs? what are the chances someone will want the package
sans the docs?

Also, you included neither "short description" neither "long description"
with the ITP.

Thanks.