Re: Adding copilot

To: debian-haskell@lists.debian.org
Subject: Re: Adding copilot
From: Ivan Perez <ivan.perez@keera.co.uk>
Date: Tue, 20 Dec 2022 06:15:01 +0000
Message-id: <[🔎] 038e5c95-a053-5e8c-0767-fcf19602d4e5@keera.co.uk>
In-reply-to: <alpine.DEB.2.22.394.2211271838120.274372@bear.techie.net>
References: <bfcd192f19e68dcc996612e0c1cc39e4@keera.co.uk> <alpine.DEB.2.22.394.2210131935150.50482@bear.techie.net> <f5858f1615c0ef09caf0e146c231dfe1@keera.co.uk> <alpine.DEB.2.22.394.2210132038450.51586@bear.techie.net> <b9507ac051b539230ff581500d327bdc@keera.co.uk> <alpine.DEB.2.22.394.2210171908120.125892@bear.techie.net> <f3315da12f993355566e84a400d84fd6@keera.co.uk> <252707032a841d202766c9f5937ebdf6@keera.co.uk> <alpine.DEB.2.22.394.2210211650260.52514@bear.techie.net> <32087388a80e3c6463b06f99e18e63d0@keera.co.uk> <alpine.DEB.2.22.394.2210211708580.52842@bear.techie.net> <b4dbd937da6884d4dccfd4883617ac1d@keera.co.uk> <alpine.DEB.2.22.394.2210311131001.275376@bear.techie.net> <fc480dd5407febd7b1178c8d0cd45318@keera.co.uk> <alpine.DEB.2.22.394.2211221912280.144881@bear.techie.net> <alpine.DEB.2.22.394.2211242214080.209227@bear.techie.net> <65522a9dbf791b80a108e6600dea7f76@keera.co.uk> <alpine.DEB.2.22.394.2211271838120.274372@bear.techie.net>

On 27/11/2022 15:43, Scott Talbert wrote:

Unfortunately, there's another package blocking the transition:
https://bugs.debian.org/1023020

Hi Scott,

I'm following up on this. I think the bug in question has been fixed.Copilot is still in "proposed" in Ubuntu Lunar. Do you know if anythingelse is blocking it now?


Thanks,

Ivan

Reply to:

Follow-Ups:
- Re: Adding copilot
  - From: Scott Talbert <swt@techie.net>

Prev by Date: Re: Sponsored upload needed to fix elpa-agda2-mode #1017415
Next by Date: Re: Adding copilot
Previous by thread: Re: Sponsored upload needed to fix elpa-agda2-mode #1017415
Next by thread: Re: Adding copilot
Index(es):
- Date
- Thread