Re: SPARK package for Debian
2011/3/22 Florian Schanda <florian.schanda@altran-praxis.com>:
> On Friday 18 March 2011 14:02:26 'Eugeniy Meshcheryakov' wrote:
>> Man pages are not _required_, but it will be very good to have them.
>
> Attached are manpages for all user-visible tools except checker, i.e. I did
Thanks for manpages, I'll add them to the package.
> not include pages for vct, alt-ergo or wrap_utility.
There is already a Debian package for alt-ergo, it includes manpage.
> They are released under the FDL 1.3 with no invariant sections -- if that is a
> problem I can release them under the GPL3.
This is not a problem.
Regards,
Eugeniy Meshcheryakov
Reply to: