On 2022-07-09 02:41, Scott Talbert wrote:
On Thu, 7 Jul 2022, Ivan Perez wrote:On 2022-06-29 15:57, Scott Talbert wrote:On Sat, 25 Jun 2022, Ivan Perez wrote:On 2022-06-19 12:26, Robert Greener wrote:On Thu, 2022-06-16 at 00:35 +0000, Clint Adams wrote:On Thu, Jun 16, 2022 at 01:07:18AM +0100, Ivan Perez wrote:Sorry Ivan - the package plan is still a work in progress after theLTS upgrade, plus there's a bunch of work going on after upgrading theGHC version and various packages. So it may be a little while before the dust is cleared up from all that. However - once it is - I think it will be a lot easier to get copilot into Debian.Ok. Let me know how it goes. Copilot 3.10 is now released. I've tried to relax all version constraints as much as possible.Hey Ivan,
Hi!
It appears that Ilias has fixed the package plan
Great! :)
[...] I just tried real quick and the first problem I encountered was that copilot-theorem doesn't like bimap 0.4.0 which is what is in the current LTS. :(I didn't try updating the bimap version to see if anything else breaks...
Yes, it doesn't like bimap 0.4. Release 0.5 of bimap was made almost expressively to fix that.
The simplest way would be to update bimap. Would that be possible? Ivan