Re: Adding copilot
- To: Ivan Perez <ivan.perez@keera.co.uk>
- Cc: debian-haskell@lists.debian.org
- Subject: Re: Adding copilot
- From: Scott Talbert <swt@techie.net>
- Date: Tue, 22 Nov 2022 19:17:19 -0500 (EST)
- Message-id: <[🔎] alpine.DEB.2.22.394.2211221912280.144881@bear.techie.net>
- In-reply-to: <[🔎] fc480dd5407febd7b1178c8d0cd45318@keera.co.uk>
- References: <bfcd192f19e68dcc996612e0c1cc39e4@keera.co.uk> <alpine.DEB.2.22.394.2210111433420.6414@bear.techie.net> <245b538ec04eb8dcfe562eed9922ab94@keera.co.uk> <alpine.DEB.2.22.394.2210120857220.20811@bear.techie.net> <b96b8c250950188fdf4ba3a5e139f0fd@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>
On Wed, 23 Nov 2022, Ivan Perez wrote:
Hi
Scott, thanks a lot for submitting Copilot 3.12.
I see that it is currently in Debian unstable, but not testing or in Ubuntu
Lunar.
Do you know why it's not making it through? Is there something blocking it
(e.g., build problem)?
Hey Ivan,
Yes, I happened to notice on the day you released 3.12 and went ahead and
updated it right away. :)
I actually don't understand why it currently isn't migrating to testing.
If you look at the tracker page for copilot-theorem [1], it claims to be
being blocked by haskell-what4/arm64. But this doesn't make any sense to
me because what4 already migrated to testing on Oct 17. My only guess is
that it has to do with some of the BinNMU's (rebuilds) that have occurred?
I will have to ask the release team because I don't understand how to
investigate further.
Scott
[1] https://tracker.debian.org/pkg/haskell-copilot-theorem
Reply to: