diff options
author | jschauma <jschauma> | 2002-09-24 17:57:24 +0000 |
---|---|---|
committer | jschauma <jschauma> | 2002-09-24 17:57:24 +0000 |
commit | ca32d6c7dbbe3f413cd820acdd5aecbff80967c8 (patch) | |
tree | 1fbfdc5b2586b99e734db7443bbf412b3a0bb860 /devel/pvs/distinfo | |
parent | 63362ea42dc2076f2a6d054ffa69ca7902acd2dc (diff) | |
download | pkgsrc-ca32d6c7dbbe3f413cd820acdd5aecbff80967c8.tar.gz |
Initial import of devel/pvs into pkgsrc:
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.
For more details, please see http://pvs.csl.sri.com/ and
http://pvs.csl.sri.com/overview.html
This package was tested on NetBSD-1.6-i386 and Linux-i386, it might work
(but might need some modification) on NetBSD-1.6-sparc and SunOS as well.
For i386, NetBSD 1.6 is required -- on 1.5.x versions, it will (seemingly)
install fine but not work correctly in various instances.
Diffstat (limited to 'devel/pvs/distinfo')
-rw-r--r-- | devel/pvs/distinfo | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/pvs/distinfo b/devel/pvs/distinfo new file mode 100644 index 00000000000..31a8d6c92fb --- /dev/null +++ b/devel/pvs/distinfo @@ -0,0 +1,11 @@ +$NetBSD: distinfo,v 1.1.1.1 2002/09/24 17:57:25 jschauma Exp $ + +SHA1 (pvs-3.0-redhat5.tgz) = 62996ae43bf8c61a99d324bf92598dbcf7c9e527 +Size (pvs-3.0-redhat5.tgz) = 12252501 bytes +SHA1 (pvs-3.0-system.tgz) = d019ab1c52c6f53d6fb14088dba9eae8550159d4 +Size (pvs-3.0-system.tgz) = 1343169 bytes +SHA1 (pvs-3.0-emacs19.tgz) = 191a63c304fa4244cc885fad39826eaa2106744b +Size (pvs-3.0-emacs19.tgz) = 352394 bytes +SHA1 (pvs-3.0-libraries.tgz) = cf67df788384be6c94593a3b4f3aa901e20cba9c +Size (pvs-3.0-libraries.tgz) = 1104488 bytes +SHA1 (patch-aa) = c2da82352e0adc0f4d27ff895136baf1b1430437 |