Package renamed to coq-concurrency-proxy