update specs and mailman