Fixed a bug in the JSON serialization of CabalInfo.