[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: SPARK package for Debian



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 
not include pages for vct, alt-ergo or wrap_utility.

They are released under the FDL 1.3 with no invariant sections -- if that is a 
problem I can release them under the GPL3.

	Florian

Attachment: spark_manpages_r6.tar.bz2
Description: application/tbz


Reply to: