[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
tarball:

BDD/bdd_interface.h
BDD/mu_interface.h
bin/tar-b64-mail
doc/api
doc/datatypes
doc/interpretations
doc/semantics
src/Field
src/Manip
src/ProofLite
src/rahd

Can you respin the source tarball with the missing elements included?
Thank you and regards,
-- 
Jerry James
http://www.jamezone.org/