On 19 Jun 2009, at 08:13, Wolfgang Jeltsch wrote:
Am Donnerstag, 18. Juni 2009 11:50 schrieb [email protected]:
I'm seeking a review/sponsor for my NEW package, Agda. In case you
don't
know what it is, here's a paste from the long description which was
in turn
stolen from the cabal package description.
Hello,
thanks a lot for packaging Agda for Debian.
What does your Agda package contain? To my knowledge, Agda covers a
library, a
command line interface and an emacs interface. I’d be very happy if
these
three things would be packaged as separate Debian packages.
Best wishes,
Wolfgang
Hi,
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, and then after that
I will try to whip up a package for the standard library. Then Debian
will be in a strong position with regards to having a full-featured
Agda stack.
Iain
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.
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
