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
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
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
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
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
>
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
6 matches
Mail list logo