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 Download File
coq-8.5pl1.tar.gz 5.12 MB
coq.spec 20 KB Download File
coq.xml 289 Bytes Download File
coqide.appdata.xml 1.5 KB Download File
coqide.desktop 174 Bytes Download File

Comments for home:bayrepo (0)

Login required, please login or signup in order to comment