./devel/pvs, The PVS Specification and Verification System

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 3.2nb4, Package name: pvs-3.2nb4, Maintainer: pkgsrc-users

PVS is a verification system: that is, a specification language integrated
with support tools and a theorem prover. It is intended to capture the
state-of-the-art in mechanized formal methods and to be sufficiently rugged
that it can be used for significant applications.

MESSAGE.linux-i386 [+/-]

Required to run:
[x11/tk] [print/tex-amsmath] [editors/emacs24]

Master sites:


Version history: (Expand)


CVS history: (Expand)


   2015-03-14 18:50:26 by Tobias Nygren | Files touched by this commit (1)
Log message:
master site is gone, add a mirror
   2015-03-06 20:36:33 by Tobias Nygren | Files touched by this commit (1)
Log message:
add a comment for the next person who ventures here
   2013-02-17 20:18:11 by David A. Holland | Files touched by this commit (90)
Log message:
Revbump all elisp packages after emacs changes.
   2012-10-31 12:19:55 by Aleksej Saushev | Files touched by this commit (1460)
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
   2012-10-12 10:15:27 by OBATA Akio | Files touched by this commit (1) | Package updated
Log message:
Update primary master site's host name, from HOMEPAGE.
Drop 2nd and 3rd sites from MASTER_SITES (ver3.2 is not hosted).
PR 47059.
   2011-02-19 01:42:22 by Min Sik Kim | Files touched by this commit (1)
Log message:
pvs needs tex-amsmath, not the entire teTeX.
   2011-02-15 00:31:34 by Thomas Klausner | Files touched by this commit (1)
Log message:
Quell a pkglint warning.
   2009-08-06 03:44:57 by Min Sik Kim | Files touched by this commit (67)
Log message:
PKGREVISION bump for elisp packages because of bytecode format changes
in emacs23.