Re: Agda

To: debian-haskell@lists.debian.org
Subject: Re: Agda
From: Sean Whitton <spwhitton@spwhitton.name>
Date: Mon, 20 Jun 2016 07:33:40 +0900
Message-id: <[🔎] 20160619223340.GA5999@artemis.silentflame.com>
In-reply-to: <[🔎] 20160612083441.GA1218@artemis.silentflame.com>
References: <[🔎] 1465130281.9731.9.camel@debian.org> <[🔎] 20160612083441.GA1218@artemis.silentflame.com>

Hello,

agda-stdlib has been pushed to collab-maint and is ready for upload.

-- 
Sean Whitton

Attachment: signature.asc
Description: PGP signature

Reply to:

References:
- Agda
  - From: Joachim Breitner <nomeata@debian.org>
- Re: Agda
  - From: Sean Whitton <spwhitton@spwhitton.name>

Prev by Date: Re: Next up: Testing migration
Next by Date: Re: Test suite failure on armhf
Previous by thread: Re: Agda
Next by thread: Only mueval missing
Index(es):
- Date
- Thread