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

Reply via email to