[Agda] Maintenance status of Agda dependencies

Joachim Breitner mail at joachim-breitner.de
Sat Jul 26 15:08:54 CEST 2014


Hi,

I’m still working on packaging Agda 2.4 for Debian. It has a few new
dependencies, among them "boxes". But it seems that boxes is not an
actively developed library:

https://github.com/Eelis/boxes/issues/4#issuecomment-50233208


Are the Agda developers are going to care about such dependencies?

In general I’d advise to be selective in what you depend on. Hackage is
a code dump, and not everything there has the stability and maintenance
status that a high-profile package like Agda should demand.

It would also make downstream packager’s work easier.

Greetings,
Joachim

-- 
Joachim “nomeata” Breitner
  mail at joachim-breitner.dehttp://www.joachim-breitner.de/
  Jabber: nomeata at joachim-breitner.de  • GPG-Key: 0xF0FBF51F
  Debian Developer: nomeata at debian.org

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
Url : http://lists.chalmers.se/pipermail/agda/attachments/20140726/c7da8223/attachment.bin


More information about the Agda mailing list