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! All the best, Ivan