Hi, I was looking around at all coq-related packages and found this poor thing, which seems pretty dead. I propose to ask for its removal ; I'll proceed in a few weeks if nobody objects. Cheers, J.Puydt