Re: RFS: agda

[Iain Lane <laney@ubuntu.com>]

On 19 Jun 2009, at 14:16, Marco Túlio Gontijo e Silva wrote:

Hi.

Em Sex, 2009-06-19 às 13:10 +0100, Iain Lane escreveu:

On 19 Jun 2009, at 08:13, Wolfgang Jeltsch wrote:

Am Donnerstag, 18. Juni 2009 11:50 schrieb laney@ubuntu.com:

I'm seeking a review/sponsor for my NEW package, Agda.

(...)

thanks a lot for packaging Agda for Debian.

What does your Agda package contain?

(...)

Here we have the library and the emacs interface, which is already  

enough to do a great amount of work with Agda. I plan on packaging the  

`agda' command line tool (available on hackage as Agda-executable) in  

a -2 revision shortly after this one is uploaded

As it' from another Cabal source package, I don't think it should be
packaged in the same Debian source package, but in another one.  So, not
in a -2 revision.

Good morning.

I'm not particularly fussed about how it enters to be honest, but my reasoning for putting it in the same source package is because the code is only three lines long* and I didn't want to go for the overhead of NEW review etc etc for such a trivial package. I'll do it if people feel strongly about this though.

Regards,

Iain

* Indeed, the entire code is:

  module Main (main) where

  import qualified Agda.Main

  main = Agda.Main.main

This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.