LogoopenSUSE Build Service > Projects
Sign Up | Log In

coq

coq package from fedora repository

Source Files

Filename Size Changed Actions
README.coq-emacs 127 Bytes almost 2 years ago Download File
coq-8.5pl1.tar.gz 5.12 MB almost 2 years ago
coq.spec 20 KB almost 2 years ago Download File
coq.xml 289 Bytes almost 2 years ago Download File
coqide.appdata.xml 1.5 KB almost 2 years ago Download File
coqide.desktop 174 Bytes almost 2 years ago Download File

Comments for home:bayrepo (0)