"coq-iris-deprecated.opam" did not exist on "master"
move coPset-generic hint to coPset.v
I see no good reason for it to be in namespaces.v. The old one that got removed in e09f7ce3 was in coPset.v as well.
I see no good reason for it to be in namespaces.v. The old one that got removed in e09f7ce3 was in coPset.v as well.