[Nix-dev] lens 4 transition plan?

[Peter Simons]

Hi Gergely,

 > I tried to fix up diagrams-lib today for 2 hours without success.  The
 > lens4 patch from their git doesn't apply cleanly to 1.0 and after fixing
 > the conflicts it doesn't build with a type error.  I tried to track down
 > the type error, but I failed in the amount of time that I wanted to
 > spend on this.  Sorry.

man, thanks a lot for looking into this!

 > I think we should simply wait some more days for them to do the release.

Yes, let's give them a couple of days to release a new version. If all
else fails, then we can always keep the old version of lens around and
have diagram use that instead of (default version) 4.x.

Take care,
Peter