[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS-Help] PVS 5.0 missing sources
Thanks for the PVS 5.0 release! I'm working on packaging it for
Fedora, and have encountered some missing files and directories. In
particular, these are in subversion, but not in the released source
Can you respin the source tarball with the missing elements included?
Thank you and regards,