summaryrefslogtreecommitdiff
path: root/devel/pvs/distinfo
diff options
context:
space:
mode:
authorjschauma <jschauma>2002-09-24 17:57:24 +0000
committerjschauma <jschauma>2002-09-24 17:57:24 +0000
commitca32d6c7dbbe3f413cd820acdd5aecbff80967c8 (patch)
tree1fbfdc5b2586b99e734db7443bbf412b3a0bb860 /devel/pvs/distinfo
parent63362ea42dc2076f2a6d054ffa69ca7902acd2dc (diff)
downloadpkgsrc-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/distinfo11
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