Brief description of the package:
The PVS Specification and Verification System
Please read the file "DESCR" for a longer description, or browse the package's history.
This package has a home page at http://pvs.csl.sri.com/.
Please note that this package has a pvs-license license.
The package is located in the "devel/pvs" directory. The current source version of the package is "pvs-3.2nb3". For a summary on how to use the package collection, go to the top of the packages tree.
Problem reports, updates or suggestions for this package should be reported with send-pr.
The following security vulnerabilities are known for devel/pvs :
This package requires the following package(s) to build: tex-amsmath>=2.13nb2 tex-latex-bin-[0-9]* tex-latex>=2010 tex-latexconfig>=2011 kpathsea>=3.5.7 libtool-base>=2.2.6bnb3 f2c>=20090411nb2 gmake>=3.81 xz>=4.999.9betanb1 tex-latex-fonts-[0-9]* tex-luatex-[0-9]* luatex>=0.60.1 kpathsea>=6.0.1 zziplib>=0.10.82 png>=1.2.4 kpathsea>=6.0.0 poppler>=0.5.1 lcms>=1.06 jpeg>=8nb1 tiff>=3.6.1 xz>=5.0.0 tiff>=4.0.0 fontconfig>=2.4.2 freetype2>=2.1.8 freetype2>=2.1.3 expat>=1.95.7 expat>=1.95.4 freetype2>=2.4.7nb2 expat>=2.0.0nb1 fontconfig>=2.1nb2 lcms>=1.12nb2 fontconfig>=2.8.0nb2 png>=1.5.0 pkg-config>=0.19 zziplib>=0.13.56 poppler>=0.16.7 poppler-includes>=0.16.3 tex-etex-[0-9]* tex-plain-[0-9]* tex-amsfonts-[0-9]* tex-tetex>=3.0.25424 tex-texlive.infra-[0-9]* perl>=5.0 tex-cm-[0-9]* tex-hyphen-base-[0-9]* tex-misc-[0-9]* tex-pdftex-[0-9]* tex-dvips-[0-9]* tex-kpathsea-[0-9]* web2c-[0-9]* ptexenc>=1.2.0 ptexenc>=1.1.1 texlive-tetex>=2008 dialog>=1.0 kpathsea-[0-9]* tex-tetex>=3.0.24482 tex-plain>=3.14159265.12854 tk>=8.0 tcl>=8.4.6nb1 tcl>=8.4.7nb1 x11-links>=0.70 osabi-NetBSD-5.1_STABLE emacs>=23.2<24 dbus>=0.91 librsvg>=2.12.6nb1 glib2>=2.24.0 libelf>=0.8.5 autoconf>=2.50 m4>=1.4 help2man-[0-9]* p5-gettext>=1.01 perl>=5.14.0 perl<5.16.0 pcre>=8.11 pcre>=3.4nb1 libffi>=1.20 pcre>=8.30nb1 libffi>=2.0betanb1 glib2>=2.4.0 pango>=1.6.0 Xft2>=2.1 fontconfig>=2.2 Xrender>=0.9.0nb2 renderproto>=0.9.3nb1 renderproto>=0.9 Xrender>=0.2 Xrender>=0.8.2 Xrender>=0.9.0nb1 Xft2>=2.1.7nb3 Xft2>=2.1nb2 fontconfig>=2.5.0 Xrender>=0.8 glib2>=2.32.1 cairo>=1.8.0 MesaLib>=3.4.2 xextproto>=7.0 inputproto>=1.4 freetype2>=2.1.9 libxcb>=1.1.93 libXdmcp>=0.99 xproto>=7.0.9 libXau>=1.0 libxslt>=1.1.0 libgcrypt>=1.2.0 libgpg-error>=0.6 libgpg-error>=1.10nb1 libxml2>=2.6.27 xmlcatmgr>=2.0beta1 libxml2>=2.6.2 libgcrypt>=1.4.6nb2 libxml2>=2.6.23nb1 py27-xcbgen>=1.6nb2 py27-cElementTree-[0-9]* python27>=2.7 readline>=2.2 readline>=6.0 python27>=2.7.1nb2 xcb-proto>=1.6 xcb-proto>=1.4 pixman>=0.18.4 MesaLib>=7.0.3 Xft2>=2.1.7nb4 cairo>=1.0.0nb2 glib2>=2.30.2nb3 cairo>=1.10.2nb2 gobject-introspection>=0.6.14nb1 glib2>=2.30.0 bison>=1.0 gobject-introspection>=1.30.0nb2 cairo>=1.2.0 libcroco>=0.6.1 libcroco>=0.6.0 gdk-pixbuf2>=2.22.0 pango>=1.29.4nb3 libcroco>=0.6.4nb1 gdk-pixbuf2>=2.24.1nb3 giflib>=4.1.6 libXpm>=3.5.4.2 libotf>=0.9.7 m17n-lib>=1.5.1 gd>=2.0.15nb1 libotf>=0.9.11 fribidi>=0.10.4 m17n-db>=1.5.1 gd>=2.0.35nb9 libotf>=0.9.12nb1 fribidi>=0.10.4nb1 gtk2+>=2.4.0 py27-expat-[0-9]* shared-mime-info>=0.15 intltool>=0.40.0 p5-XML-Parser>=2.34nb4 atk>=1.30.0 glib2>=2.5.7 atk>=1.11.4 glib2>=2.28.0 xcursor>=1.0 Xfixes>=2.0.0 fixesproto>=3.0.0<5 Xfixes>=2.0.1nb2 xcursor>=1.1.1 Xft2>=2.1.2nb2 Xrandr>=0.99 randrproto>=1.2.0 randrproto>=1.0 Xrandr>=1.0.1 Xcomposite>=1.0.1 compositeproto>=0.3.1 fixesproto>=3.0.0 pango>=1.20.0 cairo>=1.6.0 shared-mime-info>=1.0nb1 atk>=2.2.0nb3 xcursor>=1.1.2nb1 Xrandr>=1.0.2nb3 Xcomposite>=1.0.1nb2 hicolor-icon-theme>=0.4 desktop-file-utils>=0.8 librsvg>=2.34.2nb2 m17n-lib>=1.6.2nb3 gtk2+>=2.24.10nb1 hicolor-icon-theme>=0.9nb1 desktop-file-utils>=0.10nb1 .
This package requires the following package(s) to run: tex-amsmath>=2.13nb2 tex-latex-bin-[0-9]* tex-latex>=2010 tex-latexconfig>=2011 kpathsea>=3.5.7 tex-latex-fonts-[0-9]* tex-luatex-[0-9]* luatex>=0.60.1 kpathsea>=6.0.1 zziplib>=0.10.82 png>=1.2.4 kpathsea>=6.0.0 poppler>=0.5.1 lcms>=1.06 jpeg>=8nb1 tiff>=3.6.1 xz>=5.0.0 tiff>=4.0.0 fontconfig>=2.4.2 freetype2>=2.1.8 freetype2>=2.1.3 expat>=1.95.7 expat>=1.95.4 freetype2>=2.4.7nb2 expat>=2.0.0nb1 fontconfig>=2.1nb2 lcms>=1.12nb2 fontconfig>=2.8.0nb2 png>=1.5.0 zziplib>=0.13.56 poppler>=0.16.7 tex-etex-[0-9]* tex-plain-[0-9]* tex-amsfonts-[0-9]* tex-tetex>=3.0.25424 tex-texlive.infra-[0-9]* perl>=5.0 tex-cm-[0-9]* tex-hyphen-base-[0-9]* tex-misc-[0-9]* tex-pdftex-[0-9]* tex-dvips-[0-9]* tex-kpathsea-[0-9]* web2c-[0-9]* ptexenc>=1.2.0 ptexenc>=1.1.1 texlive-tetex>=2008 dialog>=1.0 kpathsea-[0-9]* tex-tetex>=3.0.24482 tex-plain>=3.14159265.12854 tk>=8.0 tcl>=8.4.6nb1 tcl>=8.4.7nb1 emacs>=23.2<24 dbus>=0.91 librsvg>=2.12.6nb1 glib2>=2.24.0 libelf>=0.8.5 pcre>=8.11 pcre>=3.4nb1 libffi>=1.20 pcre>=8.30nb1 libffi>=2.0betanb1 glib2>=2.4.0 pango>=1.6.0 Xft2>=2.1 fontconfig>=2.2 Xrender>=0.9.0nb2 Xrender>=0.2 Xrender>=0.8.2 Xrender>=0.9.0nb1 Xft2>=2.1.7nb3 Xft2>=2.1nb2 fontconfig>=2.5.0 Xrender>=0.8 glib2>=2.32.1 cairo>=1.8.0 MesaLib>=3.4.2 freetype2>=2.1.9 libxcb>=1.1.93 libXdmcp>=0.99 libXau>=1.0 pixman>=0.18.4 MesaLib>=7.0.3 Xft2>=2.1.7nb4 cairo>=1.0.0nb2 glib2>=2.30.2nb3 cairo>=1.10.2nb2 cairo>=1.2.0 libcroco>=0.6.1 libxml2>=2.6.2 xmlcatmgr>=2.0beta1 libxml2>=2.6.23nb1 libcroco>=0.6.0 gdk-pixbuf2>=2.22.0 pango>=1.29.4nb3 libcroco>=0.6.4nb1 gdk-pixbuf2>=2.24.1nb3 giflib>=4.1.6 libXpm>=3.5.4.2 libotf>=0.9.7 m17n-lib>=1.5.1 gd>=2.0.15nb1 libotf>=0.9.11 fribidi>=0.10.4 m17n-db>=1.5.1 gd>=2.0.35nb9 libotf>=0.9.12nb1 fribidi>=0.10.4nb1 gtk2+>=2.4.0 py27-expat-[0-9]* python27>=2.7 python27>=2.7.1nb2 shared-mime-info>=0.15 atk>=1.30.0 glib2>=2.5.7 atk>=1.11.4 glib2>=2.28.0 xcursor>=1.0 Xfixes>=2.0.0 Xfixes>=2.0.1nb2 xcursor>=1.1.1 Xft2>=2.1.2nb2 Xrandr>=0.99 Xrandr>=1.0.1 Xcomposite>=1.0.1 pango>=1.20.0 cairo>=1.6.0 shared-mime-info>=1.0nb1 atk>=2.2.0nb3 xcursor>=1.1.2nb1 Xrandr>=1.0.2nb3 Xcomposite>=1.0.1nb2 hicolor-icon-theme>=0.4 desktop-file-utils>=0.8 librsvg>=2.34.2nb2 m17n-lib>=1.6.2nb3 gtk2+>=2.24.10nb1 hicolor-icon-theme>=0.9nb1 desktop-file-utils>=0.10nb1 .
Select one of the links below to download the package in precompiled binary form for installation with pkg_add(1). Available machine architectures and package versions:
| none |
The NetBSD packages collection is designed to permit easy installation from source - particularly useful if the latest binary package is not available for your chosen platform.