On 2022-10-14 01:41, Scott Talbert wrote:
Everything has now built successfully on all architectures, so I believe copilot* should migrate to testing (bookworm) in about 3 days. :)
It's now in bookworm! :)))Do you think there's a chance it might make it into Ubuntu Kinetic / 22.10? I see 3 packages (copilot-core, copilot-c99, copilot-theorem), all 3.10s, but not copilot-libraries, copilot-language or copilot proper, and no 3.11 versions.
It's being released in 3 days. I know it's an "intermediate" ubuntu release (just a .10, not a .4), but it'd still be pretty cool.
Cheers, Ivan