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

Re: Bug#296369: ITP: spin -- Powerfull model checking and softwareverification tool



Small correction :-)

Lewis Jardine wrote:
>Of course, none of these guarantees hold for non-free; the only thing that
>you can rely on for a package in non-free is that Debian

...*and* its mirror network...

>has permission to distribute it.


-- 
This space intentionally left blank.



Reply to: