[Agda] Maintenance status of Agda dependencies

[Joachim Breitner]

Dear Andreas,


Am Montag, den 28.07.2014, 15:41 +0200 schrieb Andreas Abel:
> 'boxes' is used for debug-printing tables and matrices.  It itself only 
> depends on 'split' which is also by Brent Yorgey and actually maintained 
> well (it seems).  Due to the good reputation of Brent, I had no scruples 
> using it.
> 
> Are there any concrete problems with 'boxes'?  Or any difficulties 
> packaging it?

no, and I guess I sent my mail with a slightly more annoyed tone than
warranted. Sorry for that.

From looking at the history of boxes uploads, I’d say it falls under the
“hardly maintained, but also very little need for maintenance”, so using
it for a non-critical part of Agda is fine.

But assume it had many dependencies. Then delays in upgrading it to use
newer versions of these, due to lack of active development, would be a
possible difficulty. (We had this with ChasingBottoms, which was not
compatible with the latest QuickCheck version for four months, but
eventually and after a manual nudge got fixed well.)


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/20140728/b30706b6/attachment.bin