On Mon, 30 May 2022, Ivan Perez wrote:
Hi, I'm just following up on this.Have you had a chance to review what4's dependencies? Is there anything I can help with?Really hoping we can make this happen.
Hey Ivan,Unfortunately, I have not made any progress. Too much to do and too little time. :(
Something that would be very helpful, if you have time, would be to figure out the changes required to the package plan[1] in order to add/update all the necessary dependencies. This will give us the full scope of what changes need to be implemented in Debian and then we could start working on them.
The way that it works is that you would add copilot to the packages.txt file, and then run ./test-packages.pl and see if it succeeds. I have already started working on it here[2], so you could start with my changes. You can see that I patched the copilot-theorem cabal file with the changes that I mentioned.
Let me know if you have any questions! Scott [1] https://salsa.debian.org/haskell-team/package-plan [2] https://salsa.debian.org/haskell-team/package-plan/-/merge_requests/7