[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Adding copilot



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


Reply to: