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

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


Branch: CURRENT, Version: 3.2nb5, Package name: pvs-3.2nb5, 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/emacs26]

Required to build:
[pkgtools/cwrappers]

Master sites:


Version history: (Expand)


CVS history: (Expand)


   2022-05-15 00:25:42 by David A. Holland | Files touched by this commit (90)
Log message:
Bump all elisp packages for the CONFLICTS change.
   2021-11-15 18:41:52 by Thomas Klausner | Files touched by this commit (1)
Log message:
pvs: use BLAKE2s

found last missing one
   2021-11-15 18:32:45 by Thomas Klausner | Files touched by this commit (1)
Log message:
pvs: revert unintended commit
   2021-11-15 18:32:15 by Thomas Klausner | Files touched by this commit (2)
Log message:
pvs: use BLAKE2s

I don't have the solaris distfile, so that stays at RMD160
   2021-10-07 15:44:44 by Nia Alarie | Files touched by this commit (3017)
Log message:
devel: Remove SHA1 hashes for distfiles
   2021-04-21 10:27:24 by Thomas Klausner | Files touched by this commit (1)
Log message:
pvs: remove dead master site
   2020-01-26 18:32:28 by Roland Illig | Files touched by this commit (981)
Log message:
all: migrate homepages from http to https

pkglint -r --network --only "migrate"

As a side-effect of migrating the homepages, pkglint also fixed a few
indentations in unrelated lines. These and the new homepages have been
checked manually.
   2019-05-02 10:16:06 by Thomas Klausner | Files touched by this commit (1)
Log message:
pvs: add solaris checksum