On Mon, 17 Oct 2022, Ivan Perez wrote:
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! :)))
Yay!
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.
On Ubuntu, I believe there is usually a pre-release freeze where Ubuntu
stops automatically importing Debian packages, so I suspect copilot will
not (completely) make it into 22.10. :(
Scott