[Agda] Maintenance status of Agda dependencies

[Andreas Abel]

Dear Joachim,

glad to hear that this works out.  If there are problems, please let me 
know!  We can get rid of this dependency if need be.

Cheers,
Andreas

On 28.07.2014 15:53, Joachim Breitner wrote:
> 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
>
>
>
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/