File coq.desktop of Package coq - openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File coq.desktop of Package coq (Revision d05bfbd1f9365394d139810cb222ddcf)

Currently displaying revision d05bfbd1f9365394d139810cb222ddcf , Show latest

openSUSE Build Service is sponsored by