The CHANGELOG is already 900+ lines long
gallais
All 9 comments
I was planning to hold fire on the release until Agda 2.6.0 comes out, and then release shortly afterwards as v1.0?
Speaking of which I need to get a move on with any remaining non-backwards compatible changes...
MatthewDaggitt
on 12 Jan 2019
This seems to be such a huge change that indeed waiting for 2.6.0 seems to 'make sense'. One big jump is better than two back to back.
JacquesCarette
on 12 Jan 2019
Okay with the release candidate out for 2.6.0 we'd better get our socks on. I'll be doing a sweep of the issues.
MatthewDaggitt
on 16 Mar 2019
Release happening on Monday (https://github.com/agda/agda/issues/3391)
MatthewDaggitt
on 21 Mar 2019
Note that the release is ready and I'm only waiting to check that there are no more unforeseen changes in Agda 2.6.0 itself (e.g. 4a53aea5c67e69e894c011f2c27b387d2e08c44f). This means that the master branch no longer works with Agda 2.5.4.2.
MatthewDaggitt
on 1 Apr 2019
When is the release happening?
xuanruiqi
on 2 Apr 2019
When is the release happening?
The short answer is whenever Agda 2.6.0 releases. Presumably later this week. I'm waiting in case there are any more breaking changes before it does so (the library needed changes between release candidate 1 and release candidate 2).
There are also two last minute bug fixes in the pipeline here.
MatthewDaggitt
on 3 Apr 2019
Version 1.0 of library has been released. Thank you everyone for all your hard work, couldn't have been done without everyone's help!
MatthewDaggitt
on 12 Apr 2019
Thanks a lot Matthew!
gallais
on 12 Apr 2019
Related issues
andreasabel
·
6Comments
HuStmpHrrr
·
3Comments
xekoukou
·
8Comments
TOTBWF
·
4Comments
gallais
·
7Comments
Most helpful comment
Note that the release is ready and I'm only waiting to check that there are no more unforeseen changes in Agda 2.6.0 itself (e.g. 4a53aea5c67e69e894c011f2c27b387d2e08c44f). This means that the master branch no longer works with Agda 2.5.4.2.