On Sun, 4 Aug 2002, Ralf Treinen <[EMAIL PROTECTED]> 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.
