Files
| -rw-r--r-- | 3237 | mandrake | mandrake | coq-8.3-camlp5-6-compat.patch |
| -rw-r--r-- | 2748 | mandrake | mandrake | coq-8.3-make-3.82-compat.patch |
| -rw-r--r-- | 3736420 | mandrake | mandrake | coq-8.3.tar.gz |
| -rw-r--r-- | 3629 | mandrake | mandrake | coq.spec |
| -rw-r--r-- | 3237 | mandrake | mandrake | coq-8.3-camlp5-6-compat.patch |
| -rw-r--r-- | 2748 | mandrake | mandrake | coq-8.3-make-3.82-compat.patch |
| -rw-r--r-- | 3736420 | mandrake | mandrake | coq-8.3.tar.gz |
| -rw-r--r-- | 3629 | mandrake | mandrake | coq.spec |
::
::
::
