Julien Puydt Sat, 19 Feb 2022 02:36:14 -0800
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