Dependencies
Provides
- mimehandler(application/x-pvs)
- mu.so
- pvs = 4.2-6.20100126svn.fc14
- pvsio = 4.2-6.20100126svn.fc14
- ws1s.so
- pvs-sbcl = 4.2-6.20100126svn.fc14
- pvs-sbcl(x86-32) = 4.2-6.20100126svn.fc14
Requires
- /bin/sh
- /bin/sh
- /bin/sh
- libc.so.6
- libc.so.6(GLIBC_2.0)
- libc.so.6(GLIBC_2.1)
- libc.so.6(GLIBC_2.1.3)
- libc.so.6(GLIBC_2.11)
- libc.so.6(GLIBC_2.3.4)
- libc.so.6(GLIBC_2.4)
- libm.so.6
- libmonadfa.so.1
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(VersionedDependencies) <= 3.0.3-1
- rtld(GNU_HASH)
- sbcl
- tex(latex)
- tex(tex)
- rpmlib(PayloadIsXz) <= 5.2-1
