On Sat, 9 Jul 2022, Ivan Perez wrote:
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 the LTS upgrade, plus there's a bunch of work going on after upgrading the GHC 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 planGreat! :)[...] 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?
It looks like updating bimap doesn't seem to break anything else, so it seems it should be possible. After updating that in the package plan, this list of additional packages isn't too terrible:
ERROR: Additional dependency pulled in: what4-1.3 ERROR: Additional dependency pulled in: copilot-core-3.10 ERROR: Additional dependency pulled in: data-reify-0.6.3 ERROR: Additional dependency pulled in: copilot-language-3.10 ERROR: Additional dependency pulled in: libBF-0.6.3 ERROR: Additional dependency pulled in: zenc-0.1.2 ERROR: Additional dependency pulled in: versions-5.0.3 ERROR: Additional dependency pulled in: bitwise-1.0.0.1 ERROR: Additional dependency pulled in: language-c99-util-0.1.1 ERROR: Additional dependency pulled in: bv-sized-1.0.4 ERROR: Additional dependency pulled in: parameterized-utils-2.1.5.0 ERROR: Additional dependency pulled in: language-c99-0.1.3 ERROR: Additional dependency pulled in: concurrent-extra-0.7.0.12 ERROR: Additional dependency pulled in: copilot-c99-3.10 ERROR: Additional dependency pulled in: copilot-libraries-3.10 ERROR: Additional dependency pulled in: language-c99-simple-0.1.2 ERROR: Additional dependency pulled in: copilot-theorem-3.10 Scott