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

Re: Adding copilot



On Tue, 11 Oct 2022, Ivan Perez wrote:

On 2022-10-11 14:00, Scott Talbert wrote:
On Tue, 11 Oct 2022, Ivan Perez wrote:

On 2022-10-06 15:38, Scott Talbert wrote:
On Wed, 5 Oct 2022, Ivan Perez wrote:
On 2022-10-03 16:32, Scott Talbert wrote:
On 2022-10-02 22:30, Ivan Perez wrote:
On 2022-10-02 23:28, Scott Talbert wrote:
[...]

Scott,

I just saw that copilot is now included.

I want to thank you for following up on this and getting all of these packages in. It's really going to make a difference for our project.

And thank you also to the whole DHG team for making this possible.

You're quite welcome!  However, there is still a bit of work to get
done, as copilot hasn't migrated to testing/bookworm yet (assuming
you're interested in that happening).

Yes, definitely!

The biggest issue currently is
with what4 - it isn't building on all architectures yet, which is
preventing copilot from being built on all architectures.

You can check the package tracker here (and see testing migrations
section): https://tracker.debian.org/pkg/haskell-copilot

Ok. I'm not very familiar with the tracker's interface.

Is what4 itself not building, or is it not building because a dependency of what4 is not building?

There may be dependencies we or they can drop (we can't drop all of what4).

I expect future releases to have fewer dependencies, not more. I've been trying to prune that a lot.

It's what4 itself. It is building, but tests are not working on anything but amd64. I'll try to sort that out soon.

See: https://buildd.debian.org/status/package.php?p=haskell-what4

Scott


Reply to: