[Agda-dev] Agda and Packages/Libraries

[Andrés Sicard-Ramírez]

2016-02-04 16:47 GMT-05:00 Philipp Hausmann <philipp.hausmann at 314.ch>:
>> Why? I don't
>> want that a serious bux-fix to `fauchi` implies a release of Agda or
>> vice versa.

> Would that really be a (serious) problem? The only issue I can think of
> right now is that Agda's release process seems to be rather complicated and
> time-consuming, so (potentially) having more releases would require too much
> effort?

Remove "serious buf-fix" from my comment, that is, I would expect that
for example fauchi 0.1, 0.2 and 0.3 work with the same version of
Agda.

> The advantage of releasing it together is that it greatly reduces
> testing & support effort, as there are much less version
> combinations.

I agree. This is a drawback of my proposal.

-- 
Andrés