Well it looks like this has been resolved in 8a2cfc7bea37fd5cc5d384ac16d7cd3bd5603ab9
- bug#33745: Unnecessary dependencies in Coq Dan Frumin
- bug#33745: Unnecessary dependencies in Coq Dan Frumin
- bug#33745: (no subject) Dan Frumin
- bug#33745: Unnecessary dependencies in Coq Gábor Boskovits
