coq

coq package from fedora repository

Refresh
Refresh
Source Files
Filename Size Changed Actions
README.coq-emacs 0000000127 127 Bytes over 3 years
coq-8.5pl1.tar.gz 0005366774 5.12 MB over 3 years
coq.spec 0000020505 20 KB over 3 years
coq.xml 0000000289 289 Bytes over 3 years
coqide.appdata.xml 0000001537 1.5 KB over 3 years
coqide.desktop 0000000174 174 Bytes over 3 years
Comments for coq 0