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

Comments for home:bayrepo (0)

Login required, please login or signup in order to comment