Re: Adding copilot

[Scott Talbert <swt@techie.net>]

On 2022-09-07 09:26, Ivan Perez wrote:
> On 2022-09-07 01:15, Scott Talbert wrote:
> > [...]
> <
> > Actually that's close but not exactly right.
> >
> > kvitable has already been added to debian.
> >
> > The remaining work to do is:
> >
> > copilot -> waiting on everything
> > copilot-language -> waiting on copilot-theorem
> > copilot-libraries -> waiting on copilot-language
> > copilot-theorem -> waiting in NEW queue
> >
> > Glad to hear everything looks good so far.  At the moment, I'm blocked
> > on the ftpmasters to ACCEPT copilot-theorem.
>
> I see. The process is more involved than I realized. I'm slowly 
> learning :)
>
> Thanks for the update!

Yes, every new package in Debian has to go through the NEW queue, where 
is it reviewed by a relatively small team of members, mostly to ensure 
that the licensing and copyrights comply with Debian policies.  Hence, 
it can sometimes take a while - and hence, my questions about the 
copyrights, which they asked about.  :-)

Scott