Repositories for lablgtk2
You can configure individual flags for this package here. The repositories are inherited from the project home:radomir_cernoch:coq
You can configure individual flags for this package here. The repositories are inherited from the project home:radomir_cernoch:coq