]>
-rw-r--r-- | 2082 | coq-lablgtk2.patch | blob | blame | history | raw |
-rw-r--r-- | 5643 | coq.spec | blob | blame | history | raw |
-rw-r--r-- | 201 | coqide.desktop | blob | blame | history | raw |
-rw-r--r-- | 1459 | coqide.xpm | blob | blame | history | raw |