[Agda] Maintenance status of Agda dependencies
Andreas Abel
andreas.abel at ifi.lmu.de
Mon Jul 28 15:41:34 CEST 2014
Hi Joachim,
thanks for your work on packaging Agda!
'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?
Cheers,
Andreas
On 26.07.2014 15:08, Joachim Breitner wrote:
> 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
>
>
>
> _______________________________________________
> 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/
More information about the Agda
mailing list