Commit a137b3ea396213374c25563783337a07bd7e076b Parent c140ea1bc5612233c7ef7063787e3864c08b304a Author John MacFarlane <jgm@berkeley.edu> Date Fri, 7 Nov 2014 10:26:33 -0800 Shared library is again libcmark.