Agda 2.4.2

To: debian-haskell@lists.debian.org
Subject: Agda 2.4.2
From: Joachim Breitner <nomeata@debian.org>
Date: Wed, 29 Apr 2015 09:11:40 +0200
Message-id: <[🔎] 1430291500.24905.0.camel@debian.org>

Hi Laney,

would you mind uploading Agda-2.4.2.2? If not all dependencies are
installable on unstable right now, let me know.


Thanks,
Joachim


-- 
Joachim "nomeata" Breitner
Debian Developer
  nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: F0FBF51F
  JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata

Attachment: signature.asc
Description: This is a digitally signed message part

Reply to:

Prev by Date: Re: docs in multiarch path
Next by Date: Bug#783682: RM: haskell-hamlet haskell-monadcatchio-mtl haskell-process-conduit haskell-shakespeare-css haskell-shakespeare-i18n haskell-shakespeare-js haskell-shakespeare-text -- ROM; obsoleted by upstream
Previous by thread: Re: docs in multiarch path
Next by thread: Bug#783682: RM: haskell-hamlet haskell-monadcatchio-mtl haskell-process-conduit haskell-shakespeare-css haskell-shakespeare-i18n haskell-shakespeare-js haskell-shakespeare-text -- ROM; obsoleted by upstream
Index(es):
- Date
- Thread