packages S V S_Old S_New V_Old V_New DeducerExtras * OK ERROR 1.5 1.5 DeducerPlugInExample * OK ERROR 0.2-0 0.2-0 DeducerSurvival * OK ERROR 0.1-0 0.1-0 mugnet * OK ERROR 0.13.5 0.13.5 replicationDemos * OK ERROR 1.00 1.00 vars * OK ERROR 1.4-9 1.4-9