Files
| -rw-r--r-- | 591 | vsl | rpm | ProofGeneral-3.3-perl.patch |
| -rw-r--r-- | 762807 | vsl | rpm | ProofGeneral-3.4.tar.gz |
| -rw-r--r-- | 1307 | vsl | rpm | proofgeneral.spec |
distrib
>
Altlinux
>
4.1
>
i586
>
media
>
core-src
>
by-pkgid
>
d3bfdb1b1a81ad8c510ac250622f5ece
>
files
