remove packages that are in the tree now
one more removal
dev-ml/zarith version bump