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
