coq.8.6.dev shall not depend on GTK+
coq.8.6.dev shall not depend on GTK+

No other coq*.dev packages does...

mattam82/coq-opam-archive,ybertot/opam-coq-archive,coq/opam-coq-archive,mattam82/coq-opam-archive,ybertot/opam-coq-archive,gmalecha/opam-coq-archive,gmalecha/opam-coq-archive,mattam82/coq-opam-archive,ybertot/opam-coq-archive,gmalecha/opam-coq-archive