[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.de • http://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