Re: Help understanding why a package isn't migrating

2022-12-01 Thread Sebastian Ramacher
On 2022-12-01 11:20:09 -0500, Scott Talbert wrote: > On Sun, 27 Nov 2022, Sebastian Ramacher wrote: > > > On 2022-11-24 09:47:51 -0500, Scott Talbert wrote: > > > On Thu, 24 Nov 2022, Sebastian Ramacher wrote: > > > > > > > Hi Scott > > > > > > > > On 2022-11-23 19:38:26 +0100, Paul Gevers

Re: Help understanding why a package isn't migrating

2022-12-01 Thread Scott Talbert
On Sun, 27 Nov 2022, Sebastian Ramacher wrote: On 2022-11-24 09:47:51 -0500, Scott Talbert wrote: On Thu, 24 Nov 2022, Sebastian Ramacher wrote: Hi Scott On 2022-11-23 19:38:26 +0100, Paul Gevers wrote: Hi Scott, On 23-11-2022 15:26, Scott Talbert wrote: Hi Release Team, I'm trying to

Re: Help understanding why a package isn't migrating

2022-11-27 Thread Sebastian Ramacher
On 2022-11-24 09:47:51 -0500, Scott Talbert wrote: > On Thu, 24 Nov 2022, Sebastian Ramacher wrote: > > > Hi Scott > > > > On 2022-11-23 19:38:26 +0100, Paul Gevers wrote: > > > Hi Scott, > > > > > > On 23-11-2022 15:26, Scott Talbert wrote: > > > > Hi Release Team, > > > > > > > > I'm trying

Re: Help understanding why a package isn't migrating

2022-11-24 Thread Scott Talbert
On Thu, 24 Nov 2022, Sebastian Ramacher wrote: Hi Scott On 2022-11-23 19:38:26 +0100, Paul Gevers wrote: Hi Scott, On 23-11-2022 15:26, Scott Talbert wrote: Hi Release Team, I'm trying to understand why this package (haskell-copilot-theorem[1]) isn't migrating to testing.  It looks like it

Re: Help understanding why a package isn't migrating

2022-11-23 Thread Sebastian Ramacher
Hi Scott On 2022-11-23 19:38:26 +0100, Paul Gevers wrote: > Hi Scott, > > On 23-11-2022 15:26, Scott Talbert wrote: > > Hi Release Team, > > > > I'm trying to understand why this package (haskell-copilot-theorem[1]) > > isn't migrating to testing.  It looks like it is saying that it is being >

Re: Help understanding why a package isn't migrating

2022-11-23 Thread Paul Gevers
Hi Scott, On 23-11-2022 15:26, Scott Talbert wrote: Hi Release Team, I'm trying to understand why this package (haskell-copilot-theorem[1]) isn't migrating to testing.  It looks like it is saying that it is being blocked by haskell-what4, but haskell-what4 has already migrated to testing on