File coq.desktop of Package coq - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File coq.desktop of Package coq (Revision a78dc069cb6d07fa897cfe4a5154c2c1)

Currently displaying revision a78dc069cb6d07fa897cfe4a5154c2c1 , Show latest

openSUSE Build Service is sponsored by