Files
| -rw-r--r-- | 1585045 | iurt | iurt | Reference-Manual.pdf |
| -rw-r--r-- | 201625 | iurt | iurt | Tutorial.pdf |
| -rw-r--r-- | 4139808 | iurt | iurt | coq-8.4pl1.tar.gz |
| -rw-r--r-- | 5641 | iurt | iurt | coq.spec |
distrib
>
Mageia
>
3
>
i586
>
media
>
core-release-src
>
by-pkgid
>
679644b6830a6e5f18a6327763043ca7
>
files
